_____________ / 2 \/ x - x - 12 >= x
sqrt(x^2 - x - 12) >= x
And(x <= -3, -oo < x)
(x <= -3)∧(-oo < x)
(-oo, -3]
x in Interval(-oo, -3)