for f.
4
Let b(z) = z + 4. Let f be b(1). Suppose -4*m - 30 = -2*h, -f*h + 29 = -3*m - 11. Solve h*n + 2*p - 3 = -9, -p = 3 for n.
0
Let z(p) = -2*p + 20. Let v be z(9). Let j = -6 + 9. Let q be 16 - ((0 - j) + 0). Solve -u = -5*n - 2, 3*u + v*u = -4*n - q for n.
-1
Suppose 164 - 160 = 2*s. Solve -m + 3 = -i + m, 3*i - s*m = -5 for i.
-1
Let p(v) = v + 16. Let f be p(-14). Let x(m) = 4*m - 6. Let t be x(f). Solve o - 3*a - 27 = t*a, 0 = -5*o - 4*a - 10 for o.
2
Let j(k) = k**2 - 5*k - 4. Let m be j(6). Let t be (5 + -6)*1 + 4. Solve 0 = -m*g - t*x - 17, -g + 18 = g - 4*x for g.
-1
Let q be -3*((-2*6)/2 + 5). Solve q*s - s = 2, 2*k + 4*s - 10 = 0 for k.
3
Let b = 15 - 15. Let a = 2 - b. Solve 0 = c + 4*z - 11, 3*c - 2*c + 7 = a*z for c.
-1
Suppose -4*w = 24 + 4. Let z(p) = -2*p - 13. Let l be z(w). Let q be (50/20)/(l/2). Solve q*b = -3*f, -7 - 3 = 5*b + f for b.
-3
Suppose -7*h = -3*h + 16. Let g be h/(3/(18/(-4))). Suppose g*b - 2*b = 3*r - 8, -r = -4*b. Solve r*f - 4*d + 20 = 0, -3*d = f - 2 - 9 for f.
-1
Suppose w = -w. Let l = 17 - 21. Let t be (-16)/(-2) - 0/(-2 - l). Solve 0 = b + 2*b - 5*p - 1, w = 5*b - 2*p - t for b.
2
Let c be ((-2)/7)/(15/(-14) + 1). Solve -u + 3 = -j + 2*u, -c*u + 4 = -2*j for j.
0
Let y = -13 + 7. Let l be 2 + y/3 + 2. Suppose l*p + 0*p = 4. Solve -2*u - c = -u + 8, 0 = -p*u - 3*c - 19 for u.
-5
Suppose -3 = -4*x + 3*i - 10, 5*x - 35 = -5*i. Solve 11*o = -4*w + 13*o + 18, -w = x*o - 7 for w.
5
Let o = -57 + 60. Suppose -o*d + 2*i = -2*i + 8, 5*d - 5*i + 5 = 0. Solve -4*v - 4*j + 12 = 0, -4*j + 6 - 2 = -d*v for v.
1
Let y(o) = -o**2 - 18*o - 40. Let c be y(-15). Solve 0 = -2*u + 7*u - 5*i, -3*i + 6 = -c*u for u.
-3
Suppose 15*f - 22 = 38. Solve -3*t = 3*s - t + 1, f*t = 4*s - 32 for s.
3
Let b(y) = -y**2 + 8*y - 3. Let o be b(7). Let a = 23 + 0. Let m = -20 + a. Solve -5*n = s + o*s, 5*n + m*s = -2 for n.
-1
Let n = 6 - 6. Suppose 4*x + 16 - 196 = n. Let d = x - 32. Solve 4*l - 4*y - d = y, l - 22 = 5*y for l.
-3
Let w(c) = -c**3 - 14*c**2 - 21*c + 40. Let j be w(-12). Solve -5*s + j*u = 45, -4*s - 5*u + 2 + 3 = 0 for s.
-5
Let y(i) = 2*i**3 + 9*i**2 + 2*i - 3. Let b be y(-4). Solve 3*h + b*x = 2, 3*h + 3*x = -2*h - 2 for h.
-1
Suppose 2*o - 96 + 16 = 0. Let z be ((-3)/(-5))/(12/o). Solve -z*v = -g - 11, v - 4*v = -4*g - 24 for g.
-3
Suppose -22 = -4*k - 22. Solve 2*w + k = 3*v - 1, 2*w - 5 = -3*v for w.
1
Suppose 2*w = -w + 9. Suppose -w*g + 20 = g. Solve -g*a - 20 = -0*a - 5*c, 2*c = 10 for a.
1
Let v(h) = -h + 6. Suppose 20 = -8*t + 13*t. Let o be v(t). Solve -2*n - 16 = -o*y + 4, 2*y - 4*n - 30 = 0 for y.
5
Let j be (2/(-2))/(-5 - 70/(-15)). Solve 6*z - 2*k = z + 21, -4*z = j*k - 26 for z.
5
Let q(j) be the third derivative of j**6/120 - 7*j**5/60 + j**4/3 - 2*j**3 + 16*j**2. Let p be q(6). Solve -2*d = -p*g + 3*g - 4, 0 = 5*d + 20 for g.
4
Let l(v) = 5*v**2 - 4*v + 5. Let y be l(2). Let t = y + -14. Suppose -g = t*g - 8. Solve -1 = 4*b - f, 0*b + 5*b + g*f - 2 = 0 for b.
0
Let n be (-3*(-5)/2)/((-663)/(-442)). Solve 0*k + n*f = 2*k + 20, -2*f + 8 = -4*k for k.
0
Suppose -5*t - 3*c + 30 = 0, 10*t = 9*t - 4*c + 23. Solve t*i = 2*m + 18, 2*m = 2*i - m - 17 for i.
4
Suppose 2*l + 3 = k + 4*l, 5*k - 2*l - 27 = 0. Solve 8 = -4*p - 3*o, 3*p - k*p - 22 = -3*o for p.
-5
Let f = 4 - 3. Let l be (-10)/(-4) + f/2. Suppose -l*n = -0 - 12. Solve -5*g = -10, -4*v - 9 = -n*g - 1 for v.
0
Suppose -2635*q = -2656*q + 63. Let h be -2 - (1 + -2 - 6). Solve f = -2*i + h, q*i - 5*f - 16 = -2 for i.
3
Let s(m) = -3*m**2 - 20*m - 9. Let k be s(-6). Solve -k*h - n = -6, 2*n = h - 3*h for h.
3
Let g = 54 - -4. Let u = g + -54. Solve 0 = 5*h + u*z, 3*h - z = 3 + 14 for h.
4
Let z be 6/(-27) + (-22)/(-18). Let t(d) = 4 + 2*d**2 + d + d**3 + 2*d**2 - 1 + 2*d. Let b be t(-2). Solve 0 = -b*j + 2*m + m + z, -3*j + 3 = -m for j.
2
Let s be (-1)/(4/168) + -3. Let i = s + 48. Solve -4*h + 12 = -b, i*b + 3*h - 8 - 1 = 0 for b.
0
Let q(i) be the second derivative of i**3/3 + 8*i**2 + 2*i - 17. Let h be q(-7). Solve h*k - 4*n = 4*k - 30, 2*n = 2*k for k.
5
Let v be ((-12)/2 - -8)/((-2)/(-9)). Suppose -4*a + 5*h = v, a + h + 11 = 5*a. Solve -2*q + 6 = i + i, a*i = -3*q + 12 for i.
3
Let o(z) = -z**3 + z**2 - z + 5. Let k be o(0). Let q = k + 0. Solve -2*l = -q*t - 6*l + 6, t + l = 1 for t.
2
Let g = 1 + 0. Let r = g - -2. Let n(i) = i**3 - 16*i**2 + 15*i + 2. Let p be n(15). Solve p*q + 12 = r*v, 2*v + 2*v + 3*q = 16 for v.
4
Let n(s) = 4*s - 11. Let c be n(8). Let d = 26 + -7. Suppose d = 4*l + m + 4*m, 2*m + c = l. Solve 0 = 5*h - 5*k - l + 1, 2*h - 4*k = 0 for h.
4
Let l be (8*13/(-572))/(3/(-99)). Let a be (-2 - 0)*-1 - -2. Solve -z = -3*o - 2*z - a, -l = 2*o - z for o.
-2
Let g = -206 - -208. Solve 1 = 2*i + 2*x + 9, i - g*x + 7 = 0 for i.
-5
Let o(b) = b**3 + 19*b**2 - 19*b + 25. Let h be o(-20). Solve -4*y + 8 = 0, 2*s - 7*y = -h*y - 8 for s.
-2
Let u = -12 - -14. Suppose -5*s = -24 + 54. Let k be (0 - 0) + (-2 - s). Solve u*m - 5*c - 2 - 24 = 0, k*m = 4*c + 28 for m.
3
Let l(a) = 14*a + 6. Let w be l(-3). Let y = w - -41. Solve 3*g = -y*n + 31, g = -4*n + 5*g + 12 for n.
5
Suppose 3*h = 4*k - 11, 3*k - 4*h + 3*h - 12 = 0. Solve -2*b + 2*q = -4, 2*b - 3*b + k*q = -14 for b.
-1
Suppose -2*i + 6 = 0, -i + 37 = 5*p - 41. Solve p = -y - 4*t + 10, -2*y - 4 = 2*t for y.
-1
Suppose 0*z - 18 = -2*b - 5*z, 2 = 2*b - 3*z. Solve 16 = 5*a - b*r, 5*a + 21 - 9 = -3*r for a.
0
Let n = 9 + -5. Let a = 789 - 786. Suppose -n*d - 3 = -a*d, u = -3*d - 7. Solve 4*v - 1 = q - u, -2*q - 3*v = 9 for q.
-3
Let w = -11 + 16. Let a be (-4)/(-14) - (-2)/(-7). Let p be 0 - ((-4)/(-1) + -3)*0. Solve a = -5*n - 4*h + 4, p = -5*h - 0 + w for n.
0
Suppose 5*z = -d - d - 73, -3*d - z - 77 = 0. Let m = d - -25. Solve 4*u + 3 = -5*l, 0 = 3*u + 2*l + 3*l + m for u.
-2
Let l = 65 + -62. Suppose 7 - l = -2*z, 2*f - z - 6 = 0. Solve -v + 4 = 0, 4 = 3*u + f*v - 7 for u.
1
Let d = -1278 - -1282. Solve -3*p + d*z - 32 = 0, 0 = 3*p - 0*p + 2*z + 2 for p.
-4
Let v(s) = 0 + 7 + s + 1 + 1. Let p be v(-4). Let h be -4*(-2)/((-8)/(-9)). Solve -p*a - h = -b, -13 = a - 4*b + 4 for a.
-1
Let s = -2304 + 2307. Solve -25*b = -27*b + l + 7, s*b = l + 9 for b.
2
Suppose 0 = -3*a + 5*t + 23, 3*t = 58*a - 60*a + 9. Solve -y = -2*h - 0*h - 1, 3*y + 3*h = -a for y.
-1
Suppose 7*w - 5*w = 8. Let g be 0 + (w - (3 + 1)). Solve g*q - 4*z + 6 = -2*q, q - 3*z + 2 = 0 for q.
-5
Suppose -5*i - k + 31 = -4*i, 5*i + 2*k = 158. Suppose -h + 35 = i. Solve 5*p + 3 = 3*c + 5, -h*p - 14 = 2*c for p.
-2
Suppose 0 = -3*i + 5*i + 2. Let n(o) = -o + 2. Let c be n(i). Solve u + 5*g + c = 0, 2 = 5*u - 2*u + 4*g for u.
2
Let b = 325 + -325. Solve -z + b*z - 5*m - 15 = 0, 2*z = -m + 6 for z.
5
Suppose -5*i = -3*r - 29, 0 = -5*i + 2*r - 6 + 32. Solve 3*t - i + 16 = -4*x, 5*x + 15 = 0 for t.
0
Suppose -n + t = 11 - 16, -2*n + 3*t = -12. Solve 5*q = 4*j, n*q + j - 10 = 7 for q.
4
Let l = 0 + 2. Suppose 0 = -3*f - 5*n + 16, -3*n - 6 + 14 = f. Solve -t = w - 6 - 0, -f = -5*t + l*w for t.
2
Suppose -8*q + 28 + 28 = 0. Solve -q*v - 4*r = -3*v - 24, 3*r = -5*v + 24 for v.
3
Let c(r) = r**2 + 12*r - 128. Let m be c(7). Solve 4*t - 36 = -4*j, -m*j + t + t = -17 for j.
5
Suppose -47*x = -1041 + 383. Solve 0 = 5*r + 10, -2*r = -2*n + x for n.
5
Suppose 2*d = -p - 27 + 28, -2*d = 2*p. Solve -2*g - d = m, -10 + 0 = -5*m + 5*g for m.
1
Suppose -5*n + v = -2, 5*v = 4*n + 29 - 39. Solve 5*o + 5*k + 0*k - 20 = n, k - 5 = 0 for o.
-1
Let k(a) = 11*a - 3. Let h be k(1). Let c(o) = -o**3 + 8*o**2 + 4. Let i be c(h). Solve -4*g + 8 = 3*w, 0 = -2*g - 2*w - i + 10 for g.
-1
Suppose 14 = -2*k + 2*q + 66, 5*k + 3*q - 106 = 0. Let h = 72 + -68. Solve -2*m - h*a - 1 = k, 2*m = 2*a for m.
-4
Suppose c + 3*c - 2*j - 28 = 0, -29 = -5*c + j. Solve -p + 4*x = 7*x + 1, -c*p = 4*x - 6 for p.
2
Suppose -4*a - 4*p + 36 = 0, 28 = -0*a + 2*a + 4*p. Solve a + 6 = 5*i, 2*y = -3*i - 2 for y.
-4
Suppose 6*w - 4*w = -5*t + 52, -72 = -5*t + 3*w. Solve 3*c + t = u + c, -12 = 3*c for u.
4
Let l be (-21)/(-4) + 5/(-20). Let t(k) = 2*k - 3. Let h be t(l). Suppose -2*i = 1 - 7. Solve 2*c + i*y - 19 = 0, -4*y + 5 = -h for c.
5
Suppose -2*w - 2*u = -40, 8*u - 13*u + 62 = 3*w. Solve -16 = -2*m - 7*q + 3*q, -2*m + 3*q = w for m.
-2
Suppose n + 4 = -n - 4*q, 6*n - q - 1 =