x x + 1 < 8 - - 3
x + 1 < -x/3 + 8
And(-oo < x, x < 21/4)
(-oo < x)∧(x < 21/4)
(-oo, 21/4)
x in Interval.open(-oo, 21/4)