2*x + -2*x + 1 > 1 - 4*x
2*x + 1 - 2*x > 1 - 4*x
And(0 < x, x < oo)
(0 < x)∧(x < oo)
(0, oo)
x in Interval.open(0, oo)