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