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