________ \/ 24 - x <= x - 12
sqrt(24 - x) <= x - 12
[15, 24]
x in Interval(15, 24)
And(15 <= x, x <= 24)
(15 <= x)∧(x <= 24)