1 for z.
1
Let j = -23 - -38. Suppose 4*n + j = 43. Solve -5*c = -n + 2 for c.
1
Let u = 69 + -54. Let w = u - 13. Solve 8 = 4*f - w*f for f.
4
Suppose -259 = 5*j - 284. Solve 2*f = f - j*f for f.
0
Let r(l) = 9*l + 37. Let a be r(-11). Let s = a - -64. Solve 5*c - s = 3*c for c.
1
Suppose -4*l + 59 = -j - 0*j, -4*j = 2*l - 52. Suppose -1 = -a + 4. Solve m = a*m - l for m.
4
Let v(a) = -a + 14. Let n be v(-11). Let q = n - 22. Suppose -2*w + 10 = 4*o, o - 7 = -w - q*o. Solve -7*c + w*c = -12 for c.
3
Let l be (8/6)/((-2)/(-3)). Let q be 41/8 + (-4)/32. Suppose 5*x - q*a = 12 - 2, 0 = -5*a. Solve -2 = -x*n + l for n.
2
Suppose -2 = -2*j + 4. Suppose 0 = d + j*m - 13, -3*m = -10 + 1. Solve -12 = -0*z - d*z for z.
3
Suppose 31*q + 222 = 25*q. Let r = -43 + 80. Let g = r + q. Solve g*b = b + 4 for b.
-4
Let t = -442 + 444. Solve -8 = -2*b - t for b.
3
Let j = 85 + -83. Solve q = j*q for q.
0
Let l = -199 - -203. Solve -t - 6 = -l for t.
-2
Suppose 4*c - 122 = -5*m, 0 = 3*c + 9*m - 11*m - 80. Solve 0 = 5*x - c + 8 for x.
4
Let b(i) = i**2 - 7*i - 4. Let k be b(8). Let g be 151/(-9) - k/18. Let a = g - -19. Solve a*y - 12 = -y for y.
4
Let r(g) = 3*g**2 - 11*g + 36. Let m be r(4). Suppose -37*l - 21 = -m*l. Solve 3*a + l = -5 for a.
-4
Let y = -20 + -43. Let m = y - -68. Solve -m*o = 1 + 4 for o.
-1
Let x be (136/(-102))/((-2)/3). Solve -5 = x*o + 1 for o.
-3
Let g(l) = l**3 - 3*l**2 - 11*l + 1. Let f be g(5). Let j be 11 - (f + 3 - 3). Solve -3*c = 2*c + j for c.
-3
Let i(t) = -t**3 + 11*t**2 - 19*t + 19. Let g be i(9). Let u be 44/g - (-4 + (-66)/(-15)). Solve u*k - 8*k - 8 = 0 for k.
-2
Let k be (36/(-12))/(-3 + 2). Let m = 11 + -7. Solve -k*c + 2*c = -m for c.
4
Suppose 11*l - 6*l + 10 = 0, -2*l = 4*f - 8. Let m be (8 - (5 - 2)) + -3. Solve f*p - 8 = -m for p.
2
Let l be (-182)/(-8) - (-7)/28. Let h = -20 + l. Solve -h = -3*t + 3 for t.
2
Let q = 61 + -60. Let o be 19*q + (-64)/16. Solve -z - 2*z = o for z.
-5
Suppose 54 = 5*j + j. Suppose -8*l - j = -11*l. Solve 0 = l*y + y - 20 for y.
5
Suppose 0 = 4*l - 5*m - 33, 0 = -2*l - 0*l - 5*m - 21. Suppose 4*x + 36 = 3*t - l, 4*t - 3*x = 60. Solve -5*k = -t + 43 for k.
-5
Let k(f) = -4*f**2 + 25*f + 60. Let l be k(8). Solve 0 = -l*a - 5*a - 0*a for a.
0
Let v = -23 + 23. Suppose 3*q + 60 = -3*k, q + k + 12 = 4*k. Let a = 34 + q. Solve 4*r - a = -v for r.
4
Let x(s) = 9*s + 304. Let t be x(-32). Solve -9*f = 20 + t for f.
-4
Suppose 4*y = 4*i - 0*y - 20, -4*i + 17 = -5*y. Suppose -n + 0*n = -i. Solve -w - w - n = 0 for w.
-4
Suppose 3*z = 14 + 7. Suppose z*f = 4*f. Suppose f = -d + 6*d - 50. Solve -5*h + 5 = -d for h.
3
Let w = 64 + -58. Let y(z) be the third derivative of z**5/60 - 7*z**4/24 + 4*z**3/3 - 2*z**2. Let a be y(w). Solve 3 = a*f + f for f.
1
Let y(u) = -4*u**2 - 10*u - 2. Let m be y(-2). Let d be (3/2)/(1 + m/(-4)). Solve -d*z = 2*z - 20 for z.
4
Suppose 5*g + m + 0*m = 5, 15 = 3*g + 3*m. Solve -3 = v - g*v for v.
-3
Let d(f) = -f**2 - 9*f - 8. Let h be d(-6). Let y(l) = -l + 22. Let k be y(h). Suppose -3*b = 3*g + 2*b - k, -2*b = 0. Solve -9*x + g*x = 10 for x.
-2
Let z = -624 + 634. Solve -4*f + z*f = -24 for f.
-4
Suppose 19*q - 14*q + y - 117 = 0, 2*y - 4 = 0. Solve -q*z + 3 = 118 for z.
-5
Let y = -3 - -8. Suppose -5*u = 5*r + 20, -r + y*u + 21 = 1. Solve 4*n - 2*n - 4 = r for n.
2
Suppose -7 = -4*z + 5*q, 3*q + 3 - 6 = 0. Suppose 0 = -14*j + z*j + 44. Solve -j = k - 1 for k.
-3
Let p be -4 + 2 - (7 - 13). Suppose 2*q + d = 0, -2*q + 6 = d - 3*d. Let w be ((-15)/(-6))/(q/2). Solve -7 = p*o + w for o.
-3
Let u(i) = 2*i - 10 + 27 - i - 11. Let v be u(-2). Solve -2 = 2*g + v for g.
-3
Let f(o) = o**3 + 4*o**2 - 21*o + 4. Suppose -6*b - 44 = -2. Let m be f(b). Solve -3*q - m = 11 for q.
-5
Suppose -6*k + 12 = -5*k - 5*p, -2*k + 2 = p. Suppose 3*x + 1 = -k. Let d = -1 - x. Solve 2*i + d = 6 for i.
3
Let k be -2*(-4)/8*-8. Suppose 15 = 2*f + 39. Let l = k - f. Solve -l*i + 7*i = 0 for i.
0
Suppose 197*g = 201*g - 44. Solve 7 = j + g for j.
-4
Let z = 230 - 228. Solve -5 = -z*a + a for a.
5
Let j(b) = b**3 + 11*b**2 - 11*b. Let q be j(-12). Let p be (4 - (-21)/q) + 1/(-4). Solve 4*x = p*x - 4 for x.
-2
Let w(f) = f**2 - f - 1. Let b(l) = -7*l**2 + 5*l + 4. Let q(p) = -b(p) - 4*w(p). Let o be q(-1). Solve -2*h = -o*h for h.
0
Let n(z) = 3*z**2 - 2*z + 2. Let m = 3 - 2. Let y be n(m). Solve -b = -y*b + 8 for b.
4
Suppose -124*g = -49*g. Suppose 0 = a + 3*a - 8. Solve g = 3*w + a*w - 5 for w.
1
Let u(n) = n**2 + 7*n + 8. Let w(i) be the first derivative of -i**4/2 + 5*i**3/3 - 3*i**2 + 2*i + 1. Let o be w(2). Let v be u(o). Solve 0*q - 8 = -v*q for q.
4
Suppose 8*v - 31 + 103 = 0. Let g be (2 - 0)/(36/v)*-4. Solve 3*n = g + 1 for n.
1
Let b be 0/(-4) - (-8 - (-3 + 3)). Suppose 6 + 10 = b*s. Solve 2 = 2*h - s for h.
2
Let h = -612 - -617. Solve 6 = i + h*i for i.
1
Let w(i) = -2*i**3 - 5*i**2 - 3*i + 4. Let p be w(-2). Solve -24*x = -21*x + p for x.
-2
Suppose 0 = 6*p - 7*p + 4. Suppose -p*b + 12 = -2*j, 3*b = -0*j - 3*j + 27. Suppose 0 = t - b*t + 16. Solve c - t*c = 12 for c.
-4
Suppose -4*x - 23 = -2*r - x, -5 = 5*x. Suppose 18 + r = -4*o. Let s = -6 - o. Solve -1 = 2*l + s for l.
-1
Suppose 0 = -3*z - 2*z + 2*g - 81, 4*g = -4*z - 48. Let x = 4 + z. Let m be (-24)/x - 16/88. Solve -m*s + 0*s + 6 = 0 for s.
3
Let f be (-11 - -8)/((-3)/(-28)). Let v = f + 45. Solve 3*w - v = -5 for w.
4
Let d = -247 + 247. Let v(q) = q**3 - 2*q - 1. Let p be v(-1). Suppose 2*c + 10 = 3*i, -5*i + p*c = 2*c - 22. Solve -b + d*b + i = 0 for b.
4
Let p(r) = r + 5. Let j be p(-5). Let x(f) = -f + 7 - 4*f + 4*f. Let l be x(4). Solve j = -l*g + 6 for g.
2
Let h(a) = -a**2 + a + 9. Let t be h(3). Solve -4*s - 35 = t*s for s.
-5
Let r(d) = 80*d + 496. Let v be r(-6). Solve v = 15*q + 76 for q.
-4
Let k be 27*(8 - 23/3). Solve 13 = 11*t - k for t.
2
Let q(c) be the second derivative of -c**3 + 19*c**2/2 - 4*c. Let a(g) = g. Let h(d) = 5*a(d) + q(d). Let l be h(13). Solve 0 = 2*s - 0*s - l for s.
3
Let m(v) be the second derivative of 5*v**3/6 + 2*v**2 + 4*v. Let b(f) = -11*f - 9. Let g(d) = 4*b(d) + 9*m(d). Let z be g(5). Solve z = 5*p - 0 for p.
1
Let g = 225 - 222. Solve 8 = k + g for k.
5
Let k be (-3 + (8 - 4))*-2. Let l be (1/k)/(4/(-8)). Solve -l + 2 = -o for o.
-1
Suppose -22*c + 406 = 142. Let m(n) = -n**3 - 3*n**2 - n + 1. Let f be m(-3). Suppose -3*w + 2*w = -f. Solve w*o - c = o for o.
4
Let y = 30 - 28. Suppose -2*w = -v + 3, y + 4 = -v - w. Let i(c) = c**3 + 4*c**2 + 5*c + 6. Let z be i(v). Solve z*b + 4*b = 12 for b.
3
Let z(v) = -v**2 - 13*v - 24. Let o be z(-3). Solve -u - o = -3*u for u.
3
Let p be (2/4)/((-7)/(-14)). Let x be -3 - p - (-1 + -2). Let m be 2/((-1)/x)*2. Solve m*z + 22 = 2 for z.
-5
Suppose v + 3 = -5*u - 0, 0 = 4*v - 3*u - 103. Solve 0 = 17*g - v*g - 15 for g.
-3
Suppose i = -3*p - 10, 3*i - 5*p - 10 = -4*p. Let q(t) = -t**2 - 3*t - 1. Let j be q(-2). Solve i*f + 3 = -j for f.
-2
Let v = 9 + 3. Suppose -v - 8 = -4*d. Suppose 2*x = 2, d*x - 55 = -2*q + 4*x. Solve 0 = -5*k + q - 2 for k.
5
Let c(i) = -8*i. Let f be c(0). Solve f = -4*w + 2*w for w.
0
Let o = 0 + -4. Let q(v) = -v**3 - 5*v**2 - 5*v - 6. Let z be q(o). Let m be 0 - -7 - (1 - z). Solve -k - 20 = m*k for k.
-4
Let b be 189/35 - (-3)/30*-4. Solve b = -5*n + 10 for n.
1
Let a(j) = -2*j**2 + 3*j - 8 + 0*j**2 + 4*j**2 + 3*j. Let k be a(-6). Suppose 18 = 2*p + 3*h, -p - 4*h + k = 3*p. Solve -8 = -p*n - 2 for n.
2
Let i = 351 + -346. Solve -1 = -4*h - i for h.
-1
Suppose -4*o - 3*c - 5 = 0, 0*c = -5*o + c - 30. Let w be (-1)/(-5) - 9/o. Solve -y = w*y for y.
0
Let i = 36 - 48. Let v be (4/(i/15))/(-1). Solve -4*r - r = v for r.
-1
Let m(d) be the third derivative of d**4/8 + 13*d**3/3 - 6*d**2. Let l be m(-8). Solve v - 3 = l*v for v.
-3
Let h = -212 - -225. Solve 17 = -10*p - h for p.
-3
Suppose -22 = -3*z + 26. Suppose -2*y - 14 = -2*h, 0 = -2*h - 4*y - z + 6. Solve q + h - 7 = 0 for q.
4
Let h = 120 - 114. Suppose h*n - 24 = -0*n. Solve 0 = 5*k - 4*k - n for k.
4
Let m = 15 + -15. Suppose 2*i - 2*z + 50 = -m*i, -20 = i - 2*z. Let d = i - -37. Solve -4*w - d - 9 = 0 for w.
-4
Suppose -19*h + 128 = -24. Solve -h*g - 35 = -15*g for g.
5
Let u(k) be the third derivative of k**5/60 - 11*k**4/12 + 7*k**3/2 + 29*k**2. Let i be u(21)