9 - 7*(x + 3) >= 5 - 6*x
(-oo, -17]
x in Interval(-oo, -17)
And(x <= -17, -oo < x)
(x <= -17)∧(-oo < x)