13*x + 8 < 8*x - 18
And(-oo < x, x < -26/5)
(-oo < x)∧(x < -26/5)
(-oo, -26/5)
x in Interval.open(-oo, -26/5)