17 - 2*(x - 5) < 19 - 7*x
(-oo, -8/5)
x in Interval.open(-oo, -8/5)
And(-oo < x, x < -8/5)
(-oo < x)∧(x < -8/5)