17 + 12*x <= 9*x - 4
12*x + 17 <= 9*x - 4
(-oo, -7]
x in Interval(-oo, -7)
And(x <= -7, -oo < x)
(x <= -7)∧(-oo < x)