x - 6 - 4 >= 6*(x - 7)
And(x <= 32/5, -oo < x)
(x <= 32/5)∧(-oo < x)
(-oo, 32/5]
x in Interval(-oo, 32/5)