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