• ExistsRealQ[ineqs, {, , ... }] tests whether there exist real values of the for which the inequalities and equations ineqs are satisfied.