Solving one-step linear inequalities