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