a=b+5 and b=c-7 and c=a+b