| 2 | 2 |x + 3*x + 12| <= x - 3
|x^2 + 3*x + 12| <= x^2 - 3
(-oo, -5]
x in Interval(-oo, -5)
And(x <= -5, -oo < x)
(x <= -5)∧(-oo < x)