Let c = 12 + -6. Solve 0 = b - c*b + 10 for b.

2

Let t(n) be the second derivative of n520 - 5*n412 + n32 + 3*n22 + n. Let r be t(3). Let g be 3/(r/4)*-1. Solve g*f = -2*f for f.

0

Let k(v) = 4*v - 12. Let m be k(3). Solve 0 = -m*f + 5*f for f.

0

Suppose h - 2 = 3. Suppose -h*c = -c - 72. Solve -c = -4*t + 2 for t.

5

Let q(y) = -2*y - y + y2 - 5 + 0*y2 + 6. Let v be q(4). Suppose v*g - 3*g - 4 = 0. Solve -2*k - g = -10 for k.

4

Suppose 3*c + 72 = -5*r, -14 = 2*r + 5*c + 11. Let a = 15 + r. Solve a = -d - 3 for d.

-3

Let z® = r**2 - 3*r. Let i = -9 - -12. Let k be z(i). Solve k - 5 = -p for p.

5

Suppose 0 = -f - 2*b + 7, 0*f = 3*f + 5*b - 21. Let z = f - 0. Solve 32 = -5*r + z for r.

-5

Suppose 0 = -8*d + 9*d - 8. Solve 0*z = -4*z - d for z.

-2

Let c(s) = s - 5. Let p be c(6). Solve 6 = f + p for f.

5