Solving and translating inequalities.