Simplify linear expressions using properties