Solve inequation

Solves an inequation or a systems of inequations.

solve_inequation(Inequation, Identifier)

Given an inequation and an identifier x, solves the inequation for x.

If one uses logical operators to express the inequations, the output is true or false, whether the system of inequations has a solution or not.

solve_inequation(List, Identifier)

Given a list of inequation representing the system of inequations and an identifier x, solves the system of inequations for x.