a.
3
Suppose -2*i = 3*j - 12, -4*j + 0*i + 2*i + 16 = 0. Suppose j*r - r - 4*w - 23 = 0, -3*r + 5*w = -25. Suppose a = r*a. Solve a = 2*z + 1 + 3 for z.
-2
Suppose 0*j = 3*j - 2*z - 49, 0 = -3*j + 4*z + 53. Suppose 7*f + 3*f - 11*f = 0. Suppose m = -2*a + 16 - 7, f = -2*m + 2. Solve -a*t - t + j = 0 for t.
3
Suppose m = 2*p + 38, 6*m - 2*m + p = 143. Suppose -3*u + m = -0*u. Solve -2*x + u = x for x.
4
Let h(b) be the third derivative of -b**4/8 - 6*b**3 + 40*b**2. Let l be h(-14). Solve a - 20 = l*a for a.
-4
Let o = 1032 - 1006. Solve -8*m - 6 - o = 0 for m.
-4
Let w be ((-2)/(-4))/(3/12 - 0). Suppose 2*r + 2*r - 20 = 0. Suppose -k - r*g = -5, 2*k + 0*g = -2*g + 2. Solve -w*b + k = 6 for b.
-3
Let m(u) = -u**2 + 12*u + 4. Let s be m(12). Let q(y) = y**2 - 4*y + 3. Let d be q(5). Solve -s + d = z for z.
4
Let o be 2/(-7) - (-160)/(-28). Let u be o/(-1)*(7 - 9). Let r = u - -13. Solve -5 = -4*f - r for f.
1
Let x = 19 - 19. Let o be 0 - 0 - (x - 0). Suppose -5*i = -2*c - o*i + 9, 0 = -c + 5*i + 7. Solve 0 = 5*p - c*p - 3 for p.
1
Suppose 0 = -3*b + 5*m, b + 3*m = -b. Solve b = -12*a - 3*a for a.
0
Let i = -183 - -195. Solve -i = -6*h - 6*h for h.
1
Let q = -39 - -43. Solve -q = 20*t - 16*t for t.
-1
Suppose 0 = -0*i + 2*i. Suppose 20 = 12*w + 80. Let g be i/((-5)/w - 3). Solve 5*f = -g + 5 for f.
1
Let y = 363 + -353. Solve -y*h + 17*h = -14 for h.
-2
Suppose 2*i = -2*i + 6*i. Solve i*y - 6 = 6*y for y.
-1
Let r(b) = -b**2 + 19 - 36*b + 59*b - 30*b. Let z be r(-6). Solve -z = 2*y + 3*y for y.
-5
Suppose -2*h + 92 = -5*v - 7, -4*h - 5*v + 123 = 0. Suppose 0 = 5*t + 25, 3*z - 5*t = z + h. Solve z*f - 3*f = 0 for f.
0
Suppose -x = -r + 5, 6*r - 3*x + 25 = 7*r. Solve 2*d + 3*d = -r for d.
-2
Let r(x) = -x**3 - x**2 + 3*x - 7. Let d be r(-3). Suppose -j + 6 = -2*j - 2*c, -2*j + c + 13 = 0. Solve 0 = d*t - 0*t - j for t.
2
Suppose -4*q - 80 = -4*u, q + 60 = 4*u - 5. Suppose -13*a = -u*a + 34. Suppose -12 = a*f - 20*f. Solve -f*w - 17 + 1 = 0 for w.
-4
Let r be (-10)/(-4) + (1 - -1)/4. Suppose -r*t = -8*t + 40. Solve 0 = z - 3*z - t for z.
-4
Let l = 206 - 195. Solve 3*i + 4 = -l for i.
-5
Let x be (-189)/(-252)*400/6. Solve 5*y - 15*y + x = 0 for y.
5
Let v(o) = -o**2 - 7*o. Let w be v(-7). Suppose 4*x - 2*x - 2 = 0. Let d = 9 - x. Solve w*m + d = 4*m for m.
2
Let n = 29 + -13. Suppose -2*y = a - 0 - 6, -2*a - n = -3*y. Suppose 3*u - 12 = 4*i, -y*u - 16 = -8*u - 4*i. Solve r + 0*r - u = 0 for r.
4
Suppose -3*i = -88 + 19. Let c = 28 - i. Solve d - c = -3 for d.
2
Let r = 244 + -241. Solve r*x - 7 = 8 for x.
5
Let l be -6*1/((-9)/6). Let j be (-8)/((-12)/(-3)) + 4. Suppose 3*r - r = -j*h + 12, 30 = 5*h + l*r. Solve g + 2*g = -h for g.
-2
Let h be (2 - 1)*(-12 + 8). Let p = h - -6. Solve -2*l = -l + p for l.
-2
Suppose -19*f = 31*f - 200. Solve -41*k = -40*k + f for k.
-4
Let x(c) = 9*c + 61. Let u be x(-6). Solve -u*g = -6*g for g.
0
Let r = -380 - -394. Solve 0 = s - 12 + r for s.
-2
Let h(r) = 10*r + 5*r - 16*r + 8 + 5. Let s be h(0). Let d(o) = -o**2 + 13*o + 3. Let p be d(s). Solve -w + 1 = p for w.
-2
Suppose 7*u - 2 = 12. Suppose -2*c - 1 = -5. Suppose c*p = -3*p + 25. Solve -3 = -u*r + p for r.
4
Let s(y) = 26*y**2 + y - 1. Let a be s(1). Let g = a - 26. Solve 3*h + g = 9 for h.
3
Let p = -309 - -310. Solve -12*h + 11*h - p = 0 for h.
-1
Let u(d) = -d**3 + 7*d**2 - d + 9. Suppose -3*o + 0*a + 16 = 4*a, 3*a = -2*o + 12. Suppose 0*s + 2*s - 14 = o. Let l be u(s). Solve 0 = -m - 5 + l for m.
-3
Suppose 6*h - 5*h = 5. Suppose h*v + 7*s - 15 = 2*s, 0 = 2*s - 10. Let a be v + 2 - -4 - 1. Solve -a*r = -4*r - 1 for r.
-1
Suppose 0 + 47 = 5*q - s, -2*q + 5*s + 5 = 0. Solve -2*h - q = -0*h for h.
-5
Let m = 639 + -636. Let h be (-2 - -1) + 12/6. Solve -m = f + h for f.
-4
Let h = -84 + 55. Let r = h - -29. Solve -c + 5*c = r for c.
0
Suppose 5*i - 2*t - 140 = 0, 4*i + 3*t = -0*i + 112. Let k be (2/4)/(7/i). Solve k*x - 9 = -1 for x.
4
Let i = 4675 + -4671. Let k(d) be the first derivative of -d**4/4 + 4*d**3/3 - 3*d**2/2 - 2. Let t be k(3). Solve t*q - 4 = i*q for q.
-1
Let c be 224/20 + (-1 - (-20)/25). Solve -31 + c = 5*d for d.
-4
Suppose -97 = -55*y + 398. Solve -45*o = -48*o + y for o.
3
Let j be (-1 + 2)*(7 + -1). Let s = j - 6. Let t be ((-15)/(-6))/(20/48). Solve -2*w + t + 0 = s for w.
3
Let y = 72 + -159. Let i = y - -91. Solve -i*s = -5*s for s.
0
Let u be -3*(3 + (-20)/12). Let r be (-6)/u*(-2 + 4). Suppose 5*z + r*p - 1 = 6*p, -4 = z - 2*p. Solve 6 = -z*g + 2 for g.
-2
Suppose -2*j = -j - o + 8, 0 = -j + 3*o - 10. Let d(f) = -f**2 - 7*f - 6. Let a be d(j). Let m = 16 + a. Solve h = -h + m for h.
5
Suppose 19*x = 2 + 245. Solve 11*a = x*a + 4 for a.
-2
Suppose -3*p = -3*k, 19*k = 14*k + 2*p + 6. Solve -20 = -3*b - k*b for b.
4
Suppose -2*r + 12 = x, 5 + 11 = 2*r + 3*x. Solve -6*n + n = -r for n.
1
Suppose -10*s = -94 - 176. Solve -4*h - s = -15 for h.
-3
Let x(f) be the first derivative of 0*f - 1 - 1/2*f**2. Let h be x(-4). Solve 4*s - 8 = -h for s.
1
Suppose -91 = 5*n + 14. Let x be 7/n*(2 + -2). Solve x = 5*j + 3 + 2 for j.
-1
Suppose 139 = 5*q + 19. Suppose q*x - 10 = 23*x. Solve -2*n + 4*n = -x for n.
-5
Let p = -557 + 563. Solve 0 = -p*z + 4*z + z for z.
0
Let b = -4 + 15. Suppose b = 3*f - 2*f. Let u = 5 + f. Solve 0 = 5*a + 6 - u for a.
2
Suppose -20 = z - 4*h, -2*z = -0*z - 5*h + 25. Suppose 4*u - 66 = -3*q, 2*q + 0*q = -u + 44. Let t be (4/5)/(q/55). Solve z = -3*r - t*r + 5 for r.
1
Let p = 1706 - 1342. Solve p*m - 12 = 367*m for m.
-4
Let w(a) = a**3 - 16*a**2 + 16*a. Suppose -7*z + 97 = -8. Let k be w(z). Solve 0*r + 5*r = -k for r.
-3
Let h(n) = 5*n**2 + n. Let k be h(-1). Let f = -4 + k. Suppose f = q - 0*q. Solve 0 = w - q*w for w.
0
Let u = -20 + 29. Suppose 5*l - 5*p + 13 - 73 = 0, 3*l = 5*p + 34. Let m = l - u. Solve -15 = -v - m*v for v.
3
Let d(u) = 7*u + 40. Let x be d(7). Let k = 91 - x. Solve k*n - n = 5 for n.
5
Let u(i) = -i**3 + 9*i**2 - 8*i + 78. Let o be u(9). Solve 0 = 4*g - 6*g - o for g.
-3
Let y be 4/(-3) - (-87)/(-9). Let v(h) = 2*h + 24. Let a be v(y). Solve 2*x = -a - 6 for x.
-4
Suppose 0 = -v + w + 3, v - 2*v + 4*w + 3 = 0. Suppose 4*z + 8 = 0, 0 = v*g + 3*z - 6. Solve -3*l - 5 - g = 0 for l.
-3
Let a(v) = v**3 - 6*v**2 - 5*v - 9. Let i be a(7). Let t be 13/i + 39/(-65). Solve t*l = -0*l for l.
0
Suppose -59*m - 6 = -57*m. Let z be -9*m/((-27)/(-6)). Solve -2*r = -0*r + z for r.
-3
Let d(o) = -o + 12. Let z be d(10). Solve 6 = -r + z for r.
-4
Let k = 1 - 36. Let z = 55 + k. Let h be (1/(-2))/((-10)/z). Solve -w = -0 + h for w.
-1
Let i(v) = 2*v + 12. Let w be i(-6). Let h = 95 - 63. Suppose -h = -0*z - 4*z. Solve w = g + g + z for g.
-4
Suppose -4*c + 16 = 4*d, c - 4 = 3*d - 5*d. Suppose d = 8*a - 15 - 1. Suppose 0 = -3*x + a*x + 9. Solve -2*v - x = -1 for v.
-4
Suppose -3*r + 16 = 4*a + r, -52 = -3*a + 5*r. Let y = a - 9. Suppose k = -y*k. Solve -2 = -v - k for v.
2
Let b(p) = 5*p**3 + 16*p**2 - 12*p - 4. Let y(l) = l**3 + l**2 - l. Let r(z) = b(z) - 6*y(z). Let o be r(9). Let f = -18 + o. Solve -2*w + 3 + f = 0 for w.
4
Suppose 2*f - f + 22 = -2*w, -5*f - 65 = -5*w. Let v be (-2)/16 + (-50)/f. Solve -2*h - v*h = 15 for h.
-3
Let y be (15/(-6) - -2)*(1 + -3). Let c be (-62 + 62)*2/4*y. Solve c*q = 4*q for q.
0
Suppose -2176 = 99*z - 115*z. Solve 120 - z = 4*g for g.
-4
Suppose 5*q = 3*z + 2*q - 3, 5*q - 15 = 0. Solve 3*u + z = -8 for u.
-4
Let f(x) = -3 - 5 - x - 2 + 8. Let u be f(-8). Let i be (-2)/6 - (-20)/u. Solve 7 = -2*m + i for m.
-2
Let u = 252 + -206. Solve -5*y - 66 = -u for y.
-4
Suppose -5*d + 22 = -148. Solve -16*c = c + d for c.
-2
Let o(b) = -b**2 + 6*b - 5. Let x be 2 - (-1)/(30/9 - 3). Let q be o(x). Solve 5*f + 13 + 12 = q for f.
-5
Let r be 16/((6 - 0)/12). Solve -r*p = -21*p + 44 for p.
-4
Suppose -o = -4*o - o. Suppose -10*q + 4*q + 18 = o. Solve 2*y + q = 11 for y.
4
Suppose -p + 6 + 6 = 3*v, 3*v - 2*p = 21. Suppose v*l + 27 = 77. Let x = 5 + l. Solve -f = -6*f + x for f.
3
Let n(s) = s + 20. Let x(h) = -2*h - 30. Let v(p) = 8*n(p) + 5*x(p). Let m be v(7). Let a be 1/m - (-82)/8. Solve 0 = -3*c + a - 1 for c.
3
Let n = -101 + 101. Suppose -2*x + 5*k = -18 - 16, n = -4*x + k + 50. Solve -x = 4*b - 8*b for b.
3
Let j(l) be the first derivative of -4 + 2*l**2 - 1/3*l**3 + 5*l. L