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