Polynomial And Rational Inequalities Solver