Combining like terms with negative coefficients