 for f.
2
Suppose 5*v = 0, 15 = 2*r + r - 5*v. Let o = 22 + -19. Let n be ((-56)/(-4))/(2/o). Solve 0 = 4*b + 3*g - n, 0*g - 2*g + 21 = r*b for b.
3
Let i = 136 - 130. Solve z = 4*g + 16, 0 = -4*z - 2*g + 4*g - i for z.
-4
Let d(z) = z**2 + 30*z + 189. Let b be d(-22). Solve 4*j + 28 = 4*n, -3*j - 10 - b = -4*n for j.
-5
Let k = -22 - -24. Let c(s) = s**2 + 9*s - 6. Let j be c(-10). Suppose 20 = -0*o + j*o. Solve d - x + k = 4, o*x = 3*d for d.
5
Suppose 10*u - 53*u + 86 = 0. Solve 5*w - 2 = z + 2*w, -u*w - 2 = 0 for z.
-5
Suppose -9*w = -0 + 9. Let r be -4*(-3)/(-6)*w. Solve -2*u + r*s - 3*s = 10, -2*u + s - 6 = 0 for u.
-4
Suppose 0 = -n + 1040 - 1037. Solve q - u + 5*u = n, 0 = 2*u for q.
3
Let x(c) = c**2 - 8*c - 46. Let p be x(12). Solve -p*g - 16 = -5*v + 2*g, -5*g - 20 = 5*v for v.
0
Let p be (-5)/(-4) + 2 + 3/(-12). Suppose p*j = j - j. Solve j = l + 2*o - 4, 2*l = 5*o - 10 for l.
0
Suppose 0 = j - 5*j. Let g = 6 - j. Let z be g/(-4) + (-45)/(-10). Solve -2*n - 5*c - 27 = -5*n, -z*n - c + 9 = 0 for n.
4
Suppose 0 = -6*r + 17*r - 3*r. Solve r = 2*d + 3*s + 13, 11*d - 4*s = 9*d + 8 for d.
-2
Suppose 18*r = 6*r. Suppose 3*u + 5 - 17 = r. Solve -t + u*y + 3 = 8, 4*t + 20 = -5*y for t.
-5
Let b = -90 + 92. Solve b*y = 3*q + 1, q - 3 = 2*q for y.
-4
Let x be (4/14)/((-2)/(-14)). Suppose -x*l = -l - 10. Let b(v) = v**2 - 9*v - 7. Let j be b(l). Solve -j*n = 3*d + 6, -d - 6 = -0*d + 3*n for d.
0
Suppose -3*m + 8 + 20 = 4*x, -2*m = 8. Suppose -x*v + 18*v - 40 = 0. Solve 5*l = 2*w - w + 24, v*l = 4*w + 21 for l.
5
Let g(y) = y**2 - 4*y - 8. Let k be g(8). Let p = 24 - k. Solve 2*m - 4*n + 1 - 7 = 0, 4*n + 4 = p for m.
1
Let c(v) = -6*v**2 - 47*v + 10. Let p be c(-8). Solve 4*k - 6 = -2*d, 4*k + p*d - 6 = -k for k.
0
Let x(n) = 2*n**3 - 96*n**2 + 79*n + 725. Let c be x(47). Let k = -29 + 85. Let u be (-4)/(-10) - k/(-10). Solve 2*a - u = 5*t - 31, 4*t - c = 2*a for a.
0
Let s be 1296/126 + 4/(-14) + -5. Solve -9 = -b + 3*y, 4*b - 4*y + 16 = -s*y for b.
-3
Suppose -4*g + 2*q - 210 = 4*q, 5*g + 2*q = -263. Let o = -50 - g. Suppose -4*b = -9 - 11. Solve -b*y = -2*d + o, -2*d - 13 = -5*d - y for d.
4
Let w = 757 - 732. Solve 0 = -4*v + 3*y - 17 + 2, 0 = -2*v - 5*y + w for v.
0
Suppose 3*w = -6, 0 = -23*z + 28*z - 2*w - 49. Solve 0 + z = -q + 3*m, -11 = 5*q + 2*m for q.
-3
Let x = -289 - -295. Solve 0 = 4*y - x*y + 3*l - 8, -l = 4*y + 2 for y.
-1
Let x = -993 - -998. Solve m + 2*z + 1 = -0*m, -x*m - 4*z - 5 = 0 for m.
-1
Let k = -4 - -10. Let h(f) = 25 - 9*f - 7*f - 15 + 3*f**2. Let d be h(5). Solve -k = -4*w + 5*b, w - d*b + 2 = 11 for w.
-1
Let r = 2 + -6. Let f(l) = -4*l**2 - 4*l - 8. Let d be f(-2). Let t be (3/4)/(r/d). Solve t*w - 5*h = 5*w - 5, 4*w - 2*h = -26 for w.
-5
Let r(b) = 42 + 5*b**2 - 89 + 50 + 3*b. Let n be r(-1). Solve n*c - 5*q + 24 + 26 = 0, 4*c + q = -15 for c.
-5
Suppose -3*c + 2*v = 2*c - 104, 5*v = 5*c - 95. Suppose -3*k - i = 4 - c, -3*k + 2*i = -9. Solve 5*g + 2*t - 6*t - k = 0, 2 = g - t for g.
-3
Let i(x) = x - 19. Let v be i(4). Let y(t) = -2*t**2 + t - 3. Let k be y(3). Let u = v - k. Solve -4*a = -2*d + 2, -2*d - 1 + u = -a for d.
1
Let z be 120/63 - (-20)/210. Solve 3*a - 6 = z*k, -4*a + 2*a = 3*k - 17 for a.
4
Let h(g) = g**3 - 5*g**2 - 17*g + 23. Let j be h(7). Solve -2*u = -4*s - 20, -3*u = -j*s - 2 - 8 for u.
0
Let b(r) = 4*r + 17. Let j be b(-4). Solve 5*m + q + j = 0, q + 2 = -3*m - q for m.
0
Let d(f) = -6*f - 28. Suppose -21 = 5*x - 4*a, -a = 1 - 0. Let z be d(x). Solve 4*k = -z*h, 4*h + 0*h = -16 for k.
2
Suppose 5*z - 27 = -4*s, 3*z = 3*s - 4 - 23. Suppose -4 = -3*x + s. Solve 5*a + x*m + 23 = 0, 0*m = 3*a + 5*m + 19 for a.
-3
Let c = 1037 + -1035. Solve -c*s = 8, -4*n - 3*s = -22 + 54 for n.
-5
Let v be 4/(-12)*(-5 - -3 - 7). Solve -v*b + 1 = -5*r, -2*b = b - 6 for r.
1
Let w(u) = u**3 + 8*u**2 + 7*u - 30. Let c be w(-6). Let x(t) = t**2 - 7*t + 9. Let b be x(6). Solve 12 = 2*g - b*f + 4, c = g - 2*f - 5 for g.
1
Suppose -20 = -5*j + a, a = -2*j - 3*a + 8. Solve -2*d = 5*q - 12, q + 4 = 2*d - j*d for q.
4
Let a(w) = 6*w + 6. Let n(o) = -o - 1. Let z(s) = 4*a(s) + 28*n(s). Let i be z(-2). Let j = -4 - -20. Solve -2*m + j = -i*v, -3*m + 0*v - 4*v = 26 for m.
-2
Let j be (1 - 2)*(5 + 5 + -10). Suppose -2*a - 4*g - 2 = j, g + 17 = a - 3*g. Solve 2*i + 5*y - 22 = 0, -4*y + a = -3*i - 8 for i.
1
Let o be (4/(-5))/(1/(-10)). Let y = -148 + 150. Suppose -2*q = s - o, -q + y*s = 3 - 2. Solve 3*j = -3*w + 9, -q = -w - 0 for j.
0
Let q = 401 - 399. Solve -k = -3*k - q*n + 18, -3*n = 4*k - 32 for k.
5
Suppose -8*l + 44 = 14*l. Solve 2*d + 16 = 5*f, -f + l*f = 5*d + 17 for d.
-3
Let u be 12/15 - (-28)/(-35). Let x be (-1)/(-5) - 48/(-10). Solve x*d + 4*m - 12 = u, -10 = 5*m - 0*m for d.
4
Suppose 4*t = 3*n - 8*n + 37, 4*n + 2*t = 26. Let h = -3 + 5. Solve 0 = -h*f + n*o + 15, 0*f = -2*f + 3*o + 9 for f.
0
Suppose 0 = -3*u - 6, -5*u - 7 = -2*t + 37. Suppose t*q - 2*q = 60. Solve 0*n + 4*a = q*n - 24, -5*n + a = -10 for n.
1
Let n be 236/354*(-9)/(-2). Solve n*w - 5*s = 9, 5*w = w + s - 5 for w.
-2
Let w(g) = g**2 - 3*g - 14. Let d be w(-3). Solve -2*x - 3*x + a - 9 = 0, -5*a = d*x - 16 for x.
-1
Let m = -33 + 47. Suppose -m*y + 124 = -128. Solve 4*v - w - 2*w + y = 0, -v + 3*w = 9 for v.
-3
Let h(k) be the second derivative of k**5/20 - k**4/3 - k**3/2 - 4*k**2 - 20*k. Let v be h(5). Solve v*f = -l - 5, -4*f + 3 = -5*l - 8 for l.
-3
Let o = 22 - -22. Suppose 6 = o*w - 42*w. Solve w*r + 5 = 2*q, q - 5 = -5*r + 4*r for q.
4
Suppose 3*r - 25 = -2*r. Suppose 2*q + d + 19 = r*q, 4*q - 4*d = 28. Let f = 5 - 1. Solve 4*o - 3*h + 17 = 0, -2*o - q*h + 2 = -f*h for o.
-2
Let h(q) = q + 5. Let m be h(0). Suppose -2*g - 239 = -3*z, 5*g - 24 = 1. Let i = -76 + z. Solve -3 = -m*t + 3*j, -4*t + i = -3*t + j for t.
3
Suppose 3*m = -4*g + 35, -8*g = -4*m - 3*g - 5. Solve -17 - 12 = -4*u - m*r, -u - 3*r = -16 for u.
1
Let i = 113 - 109. Suppose i*p = -3*g + 48, g = p - 3 - 9. Solve 4*v = 4*h - p, 2*h = -2*v - 19 + 5 for h.
-2
Let p be (-4 + 8)/4 - (1 + 0). Suppose 2*s = -p*s + 10. Suppose -1 = -3*y + 8. Solve -3*l - 5*k = -14, -s*k + 26 + 0 = -y*l for l.
-2
Let s(h) = 4*h**2 + 45*h + 14. Let y be s(-11). Solve -4 = -2*o + v, 16 = y*o - o + 2*v for o.
4
Suppose 3*g - 8 = -2. Suppose -5*i + 6 = 3*m, m - i - i = g. Let x be (170/(-20))/((-1)/m). Solve f + 13 = 5*u - f, 0 = -3*u - 5*f - x for u.
1
Let y(l) = -l**2 - 10*l + 4. Let v = 0 - 9. Let z be y(v). Suppose 0 = -x - x - 4*d + 8, -4*x = 5*d - z. Solve 4*w + 4*q + 8 = 0, 2 = -3*w + q - x*q for w.
0
Let h(c) = 0*c + 0*c + c + 4*c - 10. Let k be h(11). Solve 5*t + 0*t - k = -4*d, -4*d + 2*t + 10 = 0 for d.
5
Let g(b) = -3*b - 9. Let y be g(-3). Suppose y = -3*d + 74 - 26. Solve 0 = z + 3*j + 2, 5*z + 12 + d = 3*j for z.
-5
Let w = 6 - 7. Suppose -2*r + 3 + 0 = -3*p, 5*p - 17 = -4*r. Let a = w + r. Solve 5*b - 24 = -a*x, 3*b - 6 = -x + 4*x for b.
4
Suppose 0 = 3*n + n - 16. Suppose 2*k + 24 = 3*h + k, 12 = -n*k. Let a = h + -5. Solve -3*m = -5*m - 2*z, z = -a*m for m.
0
Let l(y) = 3*y - 4. Let b = 56 - 53. Let o be l(b). Solve -5*m + 5*k = 15, 4*m - o*m = 2*k + 3 for m.
-3
Let p be -3*(-24)/(-108) - (-33)/9. Solve p*a = -5*k + 18, 4*k + a - 17 = -4*a for k.
3
Let g be (-52)/10*5/(-2). Suppose -7 = -2*p + g. Let v = -7 + p. Solve 0*r + 4*t - 12 = 2*r, -9 = v*r + 3*t for r.
-4
Let w = -45 - -53. Solve 4*q - w*q - 4 = 0, -5*m + 30 = -5*q for m.
5
Let x = 3035 + -3035. Solve -z - 20*d + 16*d = 14, x = 2*z - d + 1 for z.
-2
Suppose -6 = 11*d - 39. Suppose 21*t = 20*t + d. Solve -a = -3*i + 8, -5*a + 13 = t*i - 1 for i.
3
Let z be 2*4/(-60) - 77/(-15). Solve l = -z*f - 18, l = -2*f - 3 - 6 for f.
-3
Suppose 8 = 2*i + 2. Let c = 160 + -108. Let x = c + -49. Solve 2*q = -x*a + 15, 4*a + i*q - 31 = -11 for a.
5
Let d(w) = w + 7. Let c(n) = 2*n + 15. Let y(m) = 2*c(m) - 5*d(m). Let u be y(-8). Let v = u - -1. Solve -v*l = -3*s - 0*s - 16, -5*l = 3*s - 20 for s.
0
Let h(b) = -b**3 - 7*b**2 + 6*b + 75. Let g be h(-6). Solve g*w + 5 = -t - 5, 4*t = 2*w - 12 for w.
-2
Suppose -k + 2*k - 35 = 0. Let s = 69 - 67. Suppose 5*t - 3*a = 16, -4*t + 0*a = s*a - 26. Solve -6 - 16 = 4*g + 2*q, t*g + 5*q = -k for g.
-4
Suppose -10*c = -15*c. Suppose -2*y - 6 + c = -2*h, y = -1. Solve -2*a - 8 = -6*a + h*t, 3*a =