3*x - 4*(x + 1) < 8 + 5*x
3*x - 4*(x + 1) < 5*x + 8
And(-2 < x, x < oo)
(-2 < x)∧(x < oo)
(-2, oo)
x in Interval.open(-2, oo)