MT8U3L2 - Linear Inequalities in One Variable