Sistema di disequazioni

Questa domanda è leggermente migliore della precedente: il titolo dichiara "Sistema" e c'è un carattere "^ caret" come operatore esplicito di esponenziazione.
Si comprende l'intenzione
• ((3 - x)^2 - x*(x - 5) <= 4) & (x + 2 >= 2*x - 3) ≡
≡ ((3 - x)^2 - x*(x - 5) - 4 <= 0) & (x + 2 - (2*x - 3) >= 0) ≡
≡ (x^2 - 6*x + 9 + 5*x - x^2 - 4 <= 0) & (5 - x >= 0) ≡
≡ (5 - x <= 0) & (5 - x >= 0) ≡
≡ (5 <= x) & (5 >= x) ≡
≡ x = 5