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