inequality solver