Solve[{x==7&&x+5==y&&1+z==x,z+x+y=k},{k}]