For the following programs, assume the output specification requires that result $>15.$ Find the weakest preconditions for each line:

a$.$

$\{\frac{N}{A}\}$

int $x=15$

int $y=x**2$

int $z=y-5$

int result $=\frac{z}{2}$

cout $$ result;

$\{$ result $>15\}$

$($Yes $/$ No$)$ Does the value for $\text{'}x\text{'}$ meet the required postcondition you determined on the first line of the program?

b$.$

$\{\frac{N}{A}\}$ int $p=40$

int $q=p-5$

int $r=q**2$

int result $=\frac{r}{3}$

cout $$ result;

result $50$