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