4*x - 3 < 2*x + 10
And(-oo < x, x < 13/2)
(-oo < x)∧(x < 13/2)
(-oo, 13/2)
x in Interval.open(-oo, 13/2)