Let q(p) = p - 3. Let y(h) = -h**2 - 5*h + 7. Let w be y(-5). Let r be q(w). Solve 2 = -r*v + 22 for v.
5
Let b(f) = f3 - 2*f2 + f. Let a(l) = -1 - 6*l + 5*l + 2. Let d(i) = 3*a(i) + b(i). Let r be d(3). Solve -q + r = 2*q for q.
2
Suppose -7*p + 20 = -2*r - 2*p, -5*p + 20 = -r. Let v = 27 + -18. Suppose r = 4*c + v - 21. Solve 0 = -a + c*a for a.
0
Suppose -2*m + 5*s = -7, 5*m - 4*s - 70 = -2*s. Solve -4*c - 4 = m for c.
-5
Suppose -5*d + 8 = -7. Suppose d*z + 0*z - 9 = 0. Solve 7*a = z*a for a.
0
Let u(d) = d**2 + 8*d. Let k be u(-8). Solve -5*a + k + 20 = 0 for a.
4
Let q = -15 + 1. Let x = -14 - q. Solve x = -w - 5 for w.
-5
Suppose 0 = -16*g - 0*g + 96. Solve -3*x + 21 = g for x.
5
Suppose 5*y = n - 4*n + 65, n = y - 21. Suppose q - 5*d + d = -12, -5*q + d + y = 0. Suppose 0*c - c = 2*w - 4, q*w - 4*c - 8 = 0. Solve -w*f + 6 + 0 = 0 for f.
3
Let g(k) = 6*k2 - 2*k2 - 4*k2 + k3. Let s be g(1). Solve a + 0 = s for a.
1