incorporate isolve into inequalities