3*x - 10 < 8*x + 4
And(-14/5 < x, x < oo)
(-14/5 < x)∧(x < oo)
(-14/5, oo)
x in Interval.open(-14/5, oo)