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