_____________ / 2 \/ x + x - 12 < x
sqrt(x^2 + x - 12) < x
And(3 <= x, x < 12)
(3 <= x)∧(x < 12)
[3, 12)
x in Interval.Ropen(3, 12)