Let r = 2 - 2. Let q = r + 4. Suppose 0 = 2*v - b - 11, -q*v + b = v - 26. Solve -2*z = -3 - v for z.
4
Let a(f) = -f**2 + 6*f. Let u be a(6). Suppose 6*p - 2*p = 16. Suppose 3*t - 3*c = 15, -2*t + 3 = -c - p. Solve h + t = -u for h.
-2
Suppose -3*f + 2*i = -34, 2*f + 0*f - 23 = i. Let v be (1 + -2)/((-5)/10). Solve f = -2*p - v*p for p.
-3
Suppose -2*l = 0, -5*c - 3*l = -6*l - 10. Solve 2*o - c = 2 for o.
2
Suppose 0 = 5*u + 2*v - 25, 2*u - 2*v - 10 = -3*v. Let l = u - 2. Solve 0*n - n = l for n.
-3
Suppose -22*l = -26*l + 8. Solve o = -o + l for o.
1
Let o = 4 + 0. Let s be -1 + 6 - (3 + -4). Suppose -m = -s*m. Solve m = 3*x - 2*x - o for x.
4
Let r be (-23)/(-5) + (-16)/(-40). Suppose -3*k + 2 = -r*m - 6, -m = -5. Solve -3*p + k - 2 = 0 for p.
3
Let t(f) = f3 - 4*f2 - 1. Let w be t(4). Let l be (w - 2)/(9/(-6)). Suppose -5*v - 24 = -u - l, -3*u + 26 = -5*v. Solve u*y - 2 = 6 for y.
4
Suppose 2 = -2*l, 5*p - 36 = -l + 23. Solve -3*q - q = -p for q.
3