1. given f=9/5c+32 prove c=5/9(f-32)
2. give x+y=z,w+v=z,w=y prove x=v