d/dy ((x - 5 y) - -12)