3 x ----- > 13 + - - x 1 - x 1
3/(1 - x) > -x + x/1 + 13
/10 \ And|-- < x, x < 1| \13 /
(10/13 < x)∧(x < 1)
10 (--, 1) 13
x in Interval.open(10/13, 1)