Compute the weakest precondition for each of the following assignment

statements and postconditions:

b = (c + 10) / 3 {b > 6}