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