a - (4b - (a - (5b - c) + 3c - (a - b - 9c)))