 It is then trivial to decide whether the resulting system is true or false.It is true if and only if the original system has solutions.As a consequence, elimination of all variables can be used to detect whether a system of inequalities has solutions or not.