17 2*x -20*x + -- <= 5 - --- 15 9
17/15 - 20*x <= -2*x/9 + 5
/-87 \ And|---- <= x, x < oo| \445 /
(-87/445 <= x)∧(x < oo)
-87 [----, oo) 445
x in Interval(-87/445, oo)