20*x + 9 < 18*x - 18
(-oo, -27/2)
x in Interval.open(-oo, -27/2)
And(-oo < x, x < -27/2)
(-oo < x)∧(x < -27/2)