x-5 = x + 7

x-5-7 = x
x - 12 = x
x = x + 12
QED