x + 7 6 - x ----- <= ----- 5 3
(x + 7)/5 <= (6 - x)/3
(-oo, 9/8]
x in Interval(-oo, 9/8)
And(x <= 9/8, -oo < x)
(x <= 9/8)∧(-oo < x)