y+12=y+10+2

try it ... y can be any value