17 + -x - 2 > 12*x - 11
-x - 2 + 17 > 12*x - 11
(-oo, 2)
x in Interval.open(-oo, 2)
And(-oo < x, x < 2)
(-oo < x)∧(x < 2)