2 8 7*x x + 7*x + -------- - 9 <= 3*x + --- - 6 2 3 (x + 1)
x^2 + 7*x + 8/(x + 1)^2 - 9 <= 7*x/3 + 3*x - 6