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