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