Solving inequalities for goal achievement