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