Solving multi-step linear inequalities