Translating Linear Inequalities