6*x - 8 < 4*x + 17
And(-oo < x, x < 25/2)
(-oo < x)∧(x < 25/2)
(-oo, 25/2)
x in Interval.open(-oo, 25/2)