WATCH: Systems of Linear Inequalities