2 2 (x - 1) >= (x + 2)
(x - 1)^2 >= (x + 2)^2
(-oo, -1/2]
x in Interval(-oo, -1/2)
And(x <= -1/2, -oo < x)
(x <= -1/2)∧(-oo < x)