3 + x > 8;