Please Compute the weakest precondition for each of the following assignment statements and postconditions:

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

(2) a = 3 * (2 * b + a);

b = 2 * a 1

{b > 5}