Translating And Solving Inequalities