Genevieve wants to verify that 1/5 * (5x - 20) - 1/2 * (4x - 8) equivalent to -x which procedure can Genevieve to determine if the two expressions are equivalent?