(x + 1)*(x + 2)*(x + 3) -----------------------*(x - 2)*(x - 3) >= 1 x - 1
(((((x + 1)*(x + 2))*(x + 3))/(x - 1))*(x - 2))*(x - 3) >= 1
/ 5 4 3 2 \ / 5 4 3 2 \ / 5 4 3 2 \ / 5 4 3 2 \ / 5 4 3 2 \ (-oo, CRootOf\x + x - 13*x - 13*x + 35*x + 37, 0/] U [CRootOf\x + x - 13*x - 13*x + 35*x + 37, 1/, CRootOf\x + x - 13*x - 13*x + 35*x + 37, 2/] U (1, CRootOf\x + x - 13*x - 13*x + 35*x + 37, 3/] U [CRootOf\x + x - 13*x - 13*x + 35*x + 37, 4/, oo)
x in Union(Interval(-oo, CRootOf(x^5 + x^4 - 13*x^3 - 13*x^2 + 35*x + 37, 0)), Interval.Lopen(1, CRootOf(x^5 + x^4 - 13*x^3 - 13*x^2 + 35*x + 37, 3)), Interval(CRootOf(x^5 + x^4 - 13*x^3 - 13*x^2 + 35*x + 37, 1), CRootOf(x^5 + x^4 - 13*x^3 - 13*x^2 + 35*x + 37, 2)), Interval(CRootOf(x^5 + x^4 - 13*x^3 - 13*x^2 + 35*x + 37, 4), oo))
/ / / 5 4 3 2 \ / 5 4 3 2 \ \ / / 5 4 3 2 \ \ / / 5 4 3 2 \ \ / / 5 4 3 2 \ \\ Or\And\x <= CRootOf\x + x - 13*x - 13*x + 35*x + 37, 2/, CRootOf\x + x - 13*x - 13*x + 35*x + 37, 1/ <= x/, And\x <= CRootOf\x + x - 13*x - 13*x + 35*x + 37, 0/, -oo < x/, And\x <= CRootOf\x + x - 13*x - 13*x + 35*x + 37, 3/, 1 < x/, And\CRootOf\x + x - 13*x - 13*x + 35*x + 37, 4/ <= x, x < oo//
((-oo < x)∧(x <= CRootOf(x^5 + x^4 - 13*x^3 - 13*x^2 + 35*x + 37, 0)))∨((1 < x)∧(x <= CRootOf(x^5 + x^4 - 13*x^3 - 13*x^2 + 35*x + 37, 3)))∨((x < oo)∧(CRootOf(x^5 + x^4 - 13*x^3 - 13*x^2 + 35*x + 37, 4) <= x))∨((x <= CRootOf(x^5 + x^4 - 13*x^3 - 13*x^2 + 35*x + 37, 2))∧(CRootOf(x^5 + x^4 - 13*x^3 - 13*x^2 + 35*x + 37, 1) <= x))