Simplify Linear Expressions Using Properties