4-Compute the weakest precondition for the following statements

A.

x = 6 * (4 * y + x);

y=4*x- 2 {y > 5}

B.

if (x > y) y=3*x+ 1

else y= 3 * x; {y > 2}