16, b*y = -2*m for y.
2
Let w(y) = 2*y + 25. Let v be w(-13). Let d = v - -3. Suppose -5*p + d*p = 0. Solve 5*a + 20 + p = 5*x, -5*a - 2*x = 6 for a.
-2
Let g be -1 - (20/(-50) - 2/(-5)). Let q = 3 + g. Solve q*n + 5*m + 8 = -n, -2*m = 2*n for n.
4
Let p(c) = -5*c**3 + 15*c**2 + 14*c - 2. Let b be p(-1). Solve 2 + b = -2*z - 4*t, 3*t + 4 = -2*z for z.
1
Let h(g) = -3*g - 9. Let b be h(-5). Suppose b*f = 2*f - 100. Let z be f/(-9) + (-16)/(-72). Solve 2*d - 5 = -4*u - 15, 3*u = z*d - 3 for d.
-1
Let n be (70/5 - 4) + -8. Solve 0 = 2*l - 5*v - 19, 0 = 4*l + 7*v - n*v + 7 for l.
2
Suppose -72*m + 3 = -69*m. Solve 2*u = 5*w, -2*w = -4*u - 15 - m for w.
-2
Let t = 1 + 4. Suppose -1 = -4*c - t. Let b be (35/(-14))/(c/2). Solve b*z - 17 = n + 6, 0 = -z + 5*n - 5 for z.
5
Let f(n) = 7*n**2 - n**3 + 0*n**3 + 0*n + 1 - 4*n - 2*n. Let k be f(6). Solve 5*w - 7 = 3*i - k, 8 = -w - 4*i for w.
0
Let l = -60 - -65. Solve -l*g = 4*w, -2*g = 2*w - 6*g for w.
0
Let s = 52 + -28. Suppose -3*a + 7*w + s = 3*w, 16 = 2*a + 3*w. Suppose -16 = -4*g, d + a = 3*d + 2*g. Solve 3 = 5*v - t, d = -3*v - 3*t - 0 + 9 for v.
1
Let v be 3 - (-10)/2 - (-28)/(-7). Solve 3 = 2*o + l - 0, -4*o - v*l = 0 for o.
3
Let c(a) = -a**2 + 3*a + 3. Let g be c(3). Suppose -4*b - 2 = -g*n - 1, -b = -2. Solve -n*o + 3*h + 6 = 0, -7*o + 11 = -3*o - h for o.
3
Let q = 86 - 81. Suppose 6*w - 5 = q*w. Solve -5*x + 0 = -w, 0 = 4*b - 4*x + 20 for b.
-4
Let r be 70/15 - 2/(-6). Let g = 467 + -467. Solve g = -r*t - 4*o + 29, 0*o + 10 = t + 5*o for t.
5
Suppose -x - 3*x - 5*b = 17, 10 = -4*x + 2*b. Let n be (-27)/63 + x/(-7). Solve n = -3*k - l - 7, -2*k = 3*k + 4*l + 14 for k.
-2
Let u(z) = -z + 0*z**2 + 5*z**2 + 1 + 3*z - z**2. Let n be u(-1). Solve 0 = a, 0 = -n*k + 3*a - 7 - 2 for k.
-3
Suppose 0 = -3*s + 9 - 15. Let l be (1 + (-5 - -3))*s. Solve -5*t = -w - 0*w, -3*t = -l*w for t.
0
Let r(u) = 4*u + 47. Let f be r(-11). Suppose 2*s = -f + 9. Solve 3*o - 24 = -3*k, -2*o + 0*o - 4 = -s*k for k.
4
Let f be ((-9)/(-27))/(6/36). Solve -6*p + f*p + 3*s = 0, 5*p + 4*s + 31 = 0 for p.
-3
Let a be (210/5)/(-4 + 5). Let g = -19 + a. Solve 2*z = -5*k + g, -2*z - 15 - 2 = -3*k for k.
5
Let t be (3/(-18))/((-2)/12). Solve s + 4*i + 1 = 5*i, 2*i = 3*s - t for s.
3
Suppose -3*p - 19 = -28. Suppose -3*n - 3*g - p = 0, 4*n - 2 = 3*g + 1. Solve 0 = -4*b - 2*c + 14, 0 = 3*b - c - 3 - n for b.
2
Suppose 0 = -3*m + 4*m - 11. Suppose 0 = -y + m - 6. Solve 2*q + y*d = -13 - 17, 4*d = -4*q - 36 for q.
-5
Let m be 13 + 2/(-7) + (-5)/7. Let y be 3 + 11/(-4) - (-105)/m. Solve z - 9 = s - 3*z, -y = -4*s + z for s.
3
Let n = 436 - 395. Solve -g + n = 5*k + 15, -2 = -k + 3*g for k.
5
Suppose -4*g + 9*g - 5 = 0. Let l = -1 - g. Let d be (3 + 6/(-2))/l. Solve d = -3*a + 2*o - 2 + 6, -5*a + 3*o = -8 for a.
4
Suppose -5*i = -3*i - 46. Suppose 0 = 12*v - i*v + 33. Solve -s - 2*a = 1, -v*s + a + 0 = 10 for s.
-3
Suppose -2*q = 2, 0*w = -4*w + 2*q + 18. Solve 20 = -w*u - 0*u, -u = 4*s - 15 for s.
5
Let z(n) = 17*n - 143. Let j be z(9). Solve -6*v = -2*v - 2*h - j, -h = 4*v - 13 for v.
3
Let y(m) = -8*m**2 + 127*m + 18. Let u be y(16). Solve -12 = -2*w + 4*b, -3*w + 5*b + 6 = u*b for w.
-2
Let m = 830 - 823. Solve 3*j + d = m*j + 9, 2*j - 3 = -d for j.
-1
Suppose 5*w + 10 = 2*y, -4*w = -0*w. Let r = 464 - 462. Let n = -10 - -22. Solve -3*d = 4*l, -y*d + n = -r*d for l.
-3
Let p(m) = -4*m + 19. Let s be p(10). Let z = s - -26. Let t = -2 + 2. Solve z*r + 3*y = t, r - 5*y + 28 = -0*r for r.
-3
Let g = -11 + 16. Suppose -24 = -g*d + 4*s, 2*s + 8 - 26 = -5*d. Solve 0 = -4*m + 8, -5*m = -2*x + d*x for x.
-5
Let i(w) = -2*w + 84. Let r be i(28). Solve 2*c - r = -2*c + 4*b, -2*c - 5*b - 14 = 0 for c.
3
Let j = -42 + 90. Let d = 52 - j. Solve d*o = 3*o - w - 5, -3*o - 4*w = 20 for o.
0
Suppose -13*l = 40 - 79. Solve 2*c - 2*k - l = -3*c, 0 = 3*c + 5*k - 8 for c.
1
Let h(p) = -2*p + 3. Suppose 3*m = 10 - 4. Let d be (1 + 3)*(-1)/m. Let l be h(d). Solve s = -5*v - 2, -2*v + 2*s = -v + l for v.
-1
Let q be (-1)/3 - 14/(-6). Let w(n) = q*n - 4*n + 3*n + 5 - 1. Let l be w(-2). Solve 0 = 3*f + 5*o + 18, 5*f + l*o + 3 = -8 for f.
-1
Let o = 174 - 171. Suppose 0 = 4*p + p - 3*r - 18, 12 = 3*r. Let j be -1 - (-12)/3*1. Solve o*s - 3*d = -p, -d - j*d = 8 for s.
-4
Let f(i) = -i. Let h be f(-2). Suppose -z + h - 6 = 0. Let l = z - -7. Solve n - 2*n = l*a + 1, -5 = 2*a + 5*n for a.
0
Let v = -2331 + 2335. Solve v*f - 4 = -5*t + 1, f - 2 = -t for t.
-3
Let w(m) be the second derivative of -m**4/12 + m**3/2 + m**2 - 7*m. Let s be w(2). Let u = 0 + s. Solve -u*j + 2*f - 4 = 0, 2*f = 7*f - 10 for j.
0
Suppose -14*l + u = -16*l + 13, -2*u - 2 = -3*l. Solve 8 - 29 = 3*v - 3*s, v + 16 = l*s for v.
-4
Let u = 2413 + -2407. Solve 4*m - 3*v = 18, -5*m - 5*v + 17 = -u*v for m.
3
Suppose -4*f = -3*j - 55, 5*j - j = 3*f - 50. Solve 0 = -5*k - 2*g + 28 - f, -5*k + 17 = 3*g for k.
4
Let s = 14 + -19. Let t be (s/(-4))/((-4)/(-16)). Solve g - 4*g + i = -t, 7 = g + i for g.
3
Suppose 4*k - 849 = -9. Let t = k + -119. Let s be t/28 + 3/(-12). Solve -3*i - 9 = 0, 5*i = s*h + i for h.
-4
Let p(x) be the third derivative of x**4/24 + 10*x**3/3 - 32*x**2. Let g be p(-17). Solve 4*h + h = g*u + 35, 11 = u + 4*h for u.
-5
Let i be (4 + -5 + 0)/((-12)/48). Solve 8*s = 3*j + 3*s, i*j = 5*s for j.
0
Let m(j) = 7*j**3 - j**2. Suppose -4*o = 3*w + 9, 4*o = -w - o - 14. Let k be m(w). Suppose -b = -k - 0. Solve 5*f + 4*q + b = 0, -3*f - 7 - 7 = 5*q for f.
2
Let w be ((-36)/(-10))/(2/(-5)). Let t = -6 - w. Solve t*h = -u + 6*u, -u = 3 for h.
-5
Let i(j) = -j**2 + 24*j + 90. Let x be i(27). Solve 3*d - x = 3*h, -6 = h - 0*h + 2*d for h.
-4
Let q be ((-40)/6 + 4)/((-32)/48). Solve 2*p = -2, q*l - 5 = 6*l + 5*p for l.
0
Let t = -919 - -944. Solve -9*d - 5*a = -5*d + 33, 0 = -5*a - t for d.
-2
Suppose 2*d = 7*d - 30. Let s be 3/(-2)*d/(-9). Let r = 6 - s. Solve -r*c - 4*a - 18 = -0*a, 4*c + 5*a = -18 for c.
-2
Let j = 78 - 78. Let v be j - (-1)/(-3)*(-24)/8. Solve 3*p - 5*r + 2 = 0, -2*r + 1 + v = 0 for p.
1
Suppose -4*p = 0, -8 = -0*z - 2*z - 5*p. Suppose -38 - 10 = -4*x. Let s = 12 - x. Solve s*d + 3*d = -2*k - 21, 5*k + 35 = -z*d for k.
-3
Let b = -77 + 112. Let r be (-6)/(-4) + 3/6. Suppose 4 - 20 = -r*w + 2*j, 4*w - 5*j - b = 0. Solve h - g + 5*g = w, 2 = g for h.
-3
Let t(b) = b**2 - 13*b + 51. Let u be t(9). Solve p - 3*p + 3*h + u = 0, 15 = -2*p - 3*h for p.
0
Suppose 0 = a + 2*a. Let o = a - -3. Let y be (-3 - -5)*(o - 2). Solve -y = -2*j - 4*t, t + 2 = 1 for j.
3
Let s = -11 + 14. Suppose 0 = -s*c + 12, 4*c - 5 = 2*y + 5. Let i be y/(-9) + 22/3. Solve -3*x + 3*q + 4 = i*q, 4*q = -8 for x.
4
Let q = 40 - 32. Let c = 16 + -10. Suppose s - c*s = -15. Solve -3*t - t - r = -q, s*r - 10 = 2*t for t.
1
Let o(i) = 7*i**2 + 2*i - 8. Let n be o(2). Let y = n + -24. Solve 2 = r - j, y*r + 4 = 4*r - 3*j for r.
-2
Let u = -44 + 50. Solve -3*o - 3*z + u = 0, 4*z + 21 = 3*o + 2*z for o.
5
Let v be (-32)/(-8) + (0 + -1 - -2). Solve -4*j + 4*y = 36, -v*j + 0*j + 2*y - 33 = 0 for j.
-5
Suppose 59*q - 758 = -286. Let g = 4 - 2. Solve -4*r - q = -2*s, 0*r = 3*r - g*s + 6 for r.
-2
Suppose z - 18*i + 16*i - 3 = 0, -4*z + 12 = 3*i. Solve -6*t + z*t = m + 17, 4*t = 3*m - 1 for t.
-4
Suppose 84*w = 80*w + 20. Solve -x + 3*g - 10 = 0, -w*x + 27 = 5*g - 23 for x.
5
Suppose -4*x = -4*m - 32, -x + m + 2*m = 0. Let p = x - 15. Let c be 0/((-4 - -7)/p). Solve -s + g - 1 = c, 3*s - 17 = -5*g + 3*g for s.
3
Let i be (-15)/(-4)*(-56)/(-21). Let q be 15/6*8/i. Suppose -2 = t, 2 = q*l - 2*t - 6. Solve 4*p + l + 4 = 2*n, -3*n + 4*p = -5 for n.
-1
Let a(p) = -p**3 + 5*p**2 + 7*p - 2. Let n be a(6). Suppose 0 = 3*v - 2*v - 3. Solve 0 = 2*o + i + 3, 4 = v*o + n*i + 21 for o.
1
Suppose 3 = -k + 9. Let t be 6*k/(-9) - 0. Let y be (-1)/(-1)*(t - -7). Solve -4*i + 4 = -y*l, -4*l - 2*i + 24 = -0*i for l.
4
Let v(o) = o**2 - 9*o - 250. Let m be v(21). Solve 0 = -2*y + m, -3*t + 5 + 3 = -y for t.
3
Let i be 120/35 + -3 - (-625)/175. Solve 3*g = -t + 3, 0 = -i*g - 3*t - 3 + 7 for g.
1
Suppose x + 24 = -8. Let r = 54 + x. Suppose -4*p + r = -5*d, 3*d - 6*d = -4*p + 18. Solve 5*g = -0*i - i + 20, 0 = -p*i - 2*g - 5 for i.
-5
Let y be 12/10*5*(-1)/(-3). Suppose 4*k - 2*k - 2*n - 6 = 0, k + y*n = 0. Solve 3*d + 0*d = k*l + 