Linear Inequalities with Variables