 for f.
-3
Let b = 2 - -58. Let h = -14 - -18. Let i be 10*9/b*h. Solve 4*l + 21 = -k + i, 3*l = -12 for k.
1
Let i(u) = 2*u**3 + 2*u**2 + 6*u - 5. Let g be i(3). Suppose 0 = -j + g - 59. Let a be 1/(-2 - -3)*3. Solve -2*y = 4*d + j, 0*y - y = a*d + 18 for d.
-5
Suppose 399 + 77 = 17*x. Solve 0 = 3*s + 5*g - x, g - 8 = -6*s + 3*s for s.
1
Suppose -14*q = 3*d - 9*q + 9, 0 = 4*d + q - 5. Solve 4*u = d*z, 5*u + 9 + 6 = -5*z for z.
-2
Let t be (-2)/6 - 1/(21/(-70)). Solve -3*j + t*r = -j + 16, 0 = 5*j - 4*r + 33 for j.
-5
Let p(a) be the first derivative of 1/3*a**3 - a - 2*a**2 + 5. Let o be p(5). Solve 7*t - o*t = 5*n - 9, 14 = 2*n + 4*t for n.
3
Let c = 9 - 9. Suppose -10*d + 9*d + 5 = c. Suppose -j = 3*j - 12. Solve v + 22 = -j*v - 3*f, 0 = -d*v + 2*f - 16 for v.
-4
Suppose 0 = -3*j + 9*j - 12. Solve m + 4 = -o - 0*m, 2 = 4*o - j*m for o.
-1
Suppose 3*a = -2*s + 49, -85*a - 106 = -5*s - 87*a. Solve u + 3*c - s = 2*u, -4*u - 25 = -c for u.
-5
Let a = -26 - -31. Suppose h - 7 = -a. Suppose i - 3*i = 0. Solve d - h*q - 5 = i, -2*q = -3*d - q + 5 for d.
1
Suppose 0*g + g + 5*x - 20 = 0, 0 = 5*g - 5*x - 10. Let a(i) = i**3 + 13. Let z be a(0). Solve -g*h = -3*y - 1, 0*h - z = -2*h - 3*y for h.
2
Let o = 701 - 696. Solve 0 = -3*g - 5*h + 1, -4*g + 6 = -3*h + o*h for g.
2
Let n(o) be the first derivative of o + 1/2*o**2 - 6. Let m be n(3). Solve g - 4 = s, g = -g + m for s.
-2
Let g be 1 + 2 + 5 + -6. Solve -a = g*j + 1, -j - 3 = -5 for a.
-5
Let j be 9 - (-26 + 8)/(-3). Solve -4*o + 23 = 5*b, 6*o = 3*b + 3*o - j for b.
3
Let q = 97 + -91. Suppose -q*l + 10 = -8. Solve 0 = -4*f - z - l + 1, 4 = 2*z for f.
-1
Suppose 0 = 4*o - 14 - 2. Let h = 8 - o. Let d be 24/h*2/4. Solve 12 = -3*u - 2*y, -d*u - 2*y - 16 = 2*u for u.
-2
Suppose 35 = -6*r + 11*r. Let n be (-24)/(-56)*r*(-4)/(-6). Solve -2*k - b + 5 = 0, 0*b + 2*b - n = 0 for k.
2
Suppose j - 4*j = -3, 0 = 5*l + 5*j + 275. Let h be l/(-6)*(-36)/(-42). Solve -v - 4*g = 2*v - 19, -g = 4*v - h for v.
1
Let o be (4 - 3/(-3)) + (-30 - -30). Solve -o*n - 12 = -n, -3*n = -2*z + 9 for z.
0
Let y(v) = v**3 - v**2 + v**3 + 2*v**3 - 3*v**3. Let i be y(-1). Let d be (i + -1)*(-3)/3. Solve -5*k - 29 = -d*g, -2*g - 10 = -0*g + 4*k for g.
3
Let u be (5 - 16) + 19 + -7. Solve -j - 5 = s - 6, 3*j = -s + u for j.
0
Let k = -47 - -64. Solve -5*d = y - 7, -4*d = -5*y + 2*y - k for d.
2
Suppose 0 = 47*h - 44*h. Solve 5*g - 35 = -5*d, 5*g - d = -h*d + 23 for g.
5
Let x be 7 - 7/(35/10). Suppose 0*a = 3*a + 3*w, -x*w = 0. Solve 4*b + 14 = 2*t - 4, a = 5*t - 4*b - 15 for t.
-1
Let t(w) = -9*w - 52. Let x be t(-6). Solve 4*c = 4*m, -x*c + 20 = 3*m - 0 for c.
4
Let l = -4 - -10. Let n = -49 - -89. Let b = -40 + n. Solve 3*r + 3*w = -l, b = w + 2*w for r.
-2
Let j = -21 + 19. Let k be 2*(2 - 0) - (j + 6). Solve 2*m - 10 = k, 4*m - 23 = -4*i + i for i.
1
Let s(g) = -3*g - 2. Let p be s(-6). Suppose 5*l + 75 = 3*r, -4*l - p = -r + 9. Solve 4*c + 5*j = -r, c + 2*j = -j - 15 for c.
0
Suppose -29*n + 32*n = 18. Suppose 6 = 2*p + 3*w, -2*p + 2*w - n = -w. Solve 3*t - l - 3 - 3 = p, 6 = 2*l for t.
3
Suppose 49 = 8*c + 1. Let u(m) = 3*m - 14. Let v be u(c). Solve 0 = v*o - 3*d + 11 - 0, -5*o - 4*d = 6 for o.
-2
Let q(v) = -794*v + 4767. Let u be q(6). Suppose 5*g = -5*p + 20, 3*p + 0*g = 5*g - 20. Let f be 2/2 + p - -2. Solve 0 = -c - u*h - 4, 3*h + f = -6 for c.
5
Let d be 1 + -2 + 2 + -1. Suppose v + 4*i - 2 = 0, -v + 4*i + 21 - 19 = 0. Let l = v + d. Solve 5*o + l*s = 2 - 0, -5*o - 1 = -s for o.
0
Suppose 0 = -5*a - v + 107, -4*a + 0*a - 5*v = -94. Solve -2*m - l - 13 = 0, -4*m - l = -0*m + a for m.
-4
Let v be -75*(7/84)/(7/(-28)). Solve -5*p = 5*k, 4*k + v - 9 = 0 for p.
4
Suppose -5*f + 391 = 151. Suppose -f*k = -44*k - 20. Solve 0 = -4*a - a - x - 1, -3*a + 5*x + k = 0 for a.
0
Suppose 2*d - 3*i = 24, 3*i = -35*d + 38*d - 30. Solve j = -u + d, 3*j - 11 - 9 = -4*u for j.
4
Let t(z) be the second derivative of -z**5/20 - 7*z**4/6 - z**3/3 - z**2/2 - 20*z. Let q be t(-14). Solve q = -p + 5*o, -4*o + 8*o = 4*p + 28 for p.
-2
Let f = -1537 + 1554. Solve 0*p + 4*u - f = 5*p, 5*p = -5*u - 35 for p.
-5
Let n(o) = -9*o - 7. Let c be n(-4). Suppose -5*d + 51 = -c. Solve v + 3*u = -2, 2*v - d = -v + 2*u for v.
4
Suppose 0 = -4*p - 2*l + 8 - 2, -5*l = -4*p + 13. Suppose -49 + 147 = 49*c. Solve p*t + 4*o - c*o = -6, -4*o = -3*t + 26 for t.
2
Let m = 69 - 65. Suppose 255 = 5*y + j + 55, -m*y - 2*j = -160. Solve -5*d = 5*a - y, 2*a = -2*a + 16 for d.
4
Suppose 0 = -3*t + 6. Suppose 3*l = -2*k - 24 + 33, 2*l = -2*k + 8. Let q be (-2)/4 + 14/4. Solve 0 = -q*x + y + 2*y, -x - t = -k*y for x.
1
Let f(h) = -h**3 - 11*h**2 - 19*h - 6. Let x be f(-9). Solve -4*y + 3*y + 1 = -3*i, i - 5 = x*y for i.
-1
Let x be ((-1010)/110 + 9)/((-1)/22). Solve 5*n = 2*z + 22, 3*n - n - 4 = -x*z for n.
4
Let a be (-26)/5 + 2/10. Let w = a + 7. Let z be (-14)/(-3 - -1) - w. Solve -4*b + 7 = x, -z*b + 6 = -3*x - 7 for b.
2
Let c = 13 + -8. Suppose c*a - 4*y = 7, -4*a - 3*y = -6*y - 6. Suppose -7 = t - 37. Solve -3*v = 5*r - t, -a*r = -7*r + 12 for v.
5
Suppose 3*s + 21 = 4*x, -2*x + 3*s + 15 = -0*s. Suppose -2*h - 3*j + 2 = -j, x*h = -2*j + 5. Solve -h*o + 5*r = 2*o + 35, -5*r + 30 = -4*o for o.
-5
Suppose k = -0*k + 3. Suppose 4*p = -k*o + 3, -4*o = p - 0*o - 4. Solve -j + 0*t - 3*t + 9 = p, 0 = 3*j + 3*t - 9 for j.
0
Let d be (8/2 - 4)/(7/(-7)). Solve 2*m + 3*y - 8 = 0, -3*m + 12 = -d*m + 4*y for m.
4
Let z(r) = 16*r**2 + 2*r + 1. Let v be z(-1). Let l = 310 + -307. Let g(j) = -j**2 + 11*j - 12. Let s be g(9). Solve -l*b = 3*d - s*d - 3, -v = 3*d for b.
-4
Let k = -28 - -42. Let w = -8 + k. Let r = 11 - w. Solve s - 2*h = 2, -r*s - h + 10 = h for s.
2
Suppose 4*f - 13 = -q - 0, -4*q - 20 = -2*f. Let c = 2 - q. Solve n + 3*m + 20 = -m, 5*m = -c*n - 40 for n.
-4
Let d(o) = -o. Let h(j) = -j - 22. Let u(g) = 3*d(g) - h(g). Let b be u(9). Solve 3*w - 10 = -s - 0*w, 0 = -s - b*w + 15 for s.
-5
Suppose -2*g = -3*g. Suppose -3*x - 4*t = -34, 7*x - 5*t = 2*x - 25. Solve -x*i = -8*a + 4*a + 12, g = a + i for a.
2
Suppose -10*i - 24 = 2*i. Let d be -5*7/(35/i). Solve 5*q - 3 = 3*s, d*s + 1 = q + 2*q for s.
4
Suppose 5*v - 18 = 42. Solve 0 = -5*l + 2*g + 18, -4*g = 2*l - 0*l - v for l.
4
Let r(b) = b**3 - 13*b**2 + 3*b - 26. Let l be r(13). Let h = l - 9. Solve 2*x = 8, 1 = -o + 2*x - h for o.
3
Suppose 3*x - 1 - 27 = -i, 0 = -5*i + 20. Let c(g) = -20 + g**3 + 7*g**2 + 10*g - 2*g**3 + 4. Let n be c(x). Solve 0 = 3*p - 2*w - 7 - n, -4*w - 7 = p for p.
1
Let u = 391 + -261. Suppose -w - u = -134. Let p(o) = o**2 + o + 3. Let k be p(-3). Solve w*z = 3*d - 11, 0*z - 5*z - k = d for z.
-2
Let a = -83 - -68. Let l be (-4)/(-20) - 42/a. Solve -4*w + 10 = -2*g, -l*g - 3*w = -0*w - 12 for g.
1
Suppose -b = -1, -3*n - 3*b - b = 5. Let w be (n - 0)/(15/(-25)). Suppose w*g = 0, -p = -0*p - 4*g - 2. Solve -2*t + 4*t = p*s, 5*s + 15 = 0 for t.
-3
Let g be 146/4*-2*3/3. Let k = g - -77. Let l = 10 - 6. Solve 8 = -k*z - l*n + 4, -4*n - 20 = 0 for z.
4
Suppose 3*v = -57*s + 54*s + 15, -5*s - 3*v = -15. Solve -1 = -g - r - s, 5*g = -4*r + 6 for g.
2
Let c be (-9)/(-6)*(7 - -1). Let b be 1/(2*2/c). Let h be (-1)/(71/(-710) + 2/(-5)). Solve 4*s + 4 = 0, -a - b*s = 2*s + h for a.
3
Let n(y) be the first derivative of -y**3/3 + 9*y**2/2 + 25*y + 1. Let z be n(11). Solve 23 = -5*x + 2*c - c, -z*x - 4*c = 23 for x.
-5
Let l(m) = 3*m**3 - 2*m**2 - 2*m. Let y be l(2). Suppose -14*f + y = -12*f. Let w be 2 + 0 + 1 + -1. Solve 5*v + 10 = 5*q, f*q = -w*v + 2*q - 16 for v.
-4
Let h be (-69)/(-46)*(-4 - 0)/(-2). Solve -3*f = 2*a - 2, 6*f - h*f - 14 = 4*a for f.
2
Let l be (-6)/(-33) - (-97)/11. Suppose 3*u - 101 = -2. Suppose -2*w - 23 = -u. Solve 2*j + l = 5*j - 3*i, 5*i - w = 0 for j.
4
Suppose 0 = 11*j - 8*j + 15. Suppose -2*b - 5*l - 25 = -4*b, b - 5 = 4*l. Let g be 370/b + (-1)/j. Solve -3*c - g + 6 = -3*n, 9 = -3*c - 5*n for c.
-3
Let d = 65 + -43. Suppose 0 = 2*v - 3*w, -v - w - 3*w + d = 0. Suppose -5*x = 2*k - 15, v = 2*x + 2*k + k. Solve -x*o - 6 = o + 2*m, -2*o - 4*m + 12 = 0 for o.
-4
Suppose -4*w = -5*u - 55 - 94, 2*w + 2*u = 52. Suppose 0 = -6*h + 11 + w. Solve -2*z = 5*p - h, -7*p = 5*z - 2*p - 10 for z.
1
Let y be ((4 - 18)/(-1))/(2 + 0). Suppose 169 = 5*z - y*b + 3*b, 3*b + 25 = z. Solv