Multi-step linear inequalities