Finding Solutions to Inequalities in Context