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