Aggiungo al sistema la condizione che debba essere ben definito
* (x^2 - 5*x + 6 >= 0) & (x + 1 - (7*x + 2)/(x + 2) < 0) & (x != - 2) ≡
≡ ((x - 2)*(x - 3) >= 0) & ((x - 4)*x/(x + 2) < 0) & (x != - 2) ≡
≡ ((x <= 2) oppure (x >= 3)) & ((x + 2)*x*(x - 4) < 0) & (x != - 2) ≡
≡ ((x <= 2) oppure (x >= 3)) & ((x < - 2) oppure (0 < x < 4)) & (x != - 2) ≡
≡ ((x <= 2) oppure (x >= 3)) & (x < - 2) oppure ((x <= 2) oppure (x >= 3)) & (0 < x < 4) ≡
≡ (x <= 2) & (x < - 2) oppure (x >= 3) & (x < - 2) oppure (x <= 2) & (0 < x < 4) oppure (x >= 3) & (0 < x < 4) ≡
≡ (x < - 2) oppure (insieme vuoto) oppure (0 < x <= 2) oppure (3 <= x < 4) ≡
≡ (x < - 2) oppure (0 < x <= 2) oppure (3 <= x < 4)
CONTROPROVA nel paragrafo "Solutions" al link
http://www.wolframalpha.com/input/?i=%28x%5E2-5*x%2B6%3E%3D0%29%26%28x%2B1-%287*x%2B2%29%2F%28x%2B2%29%3C0%29%26%28x%21%3D-2%29