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