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