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