Identify the property that is being used to solve the problem:
-5 > -2x + 12
-5 + (-12) > -2x + 12 + (-12)