0 = -2*z, -5*z - v - q*v = 25 for z.
-5
Let w be (-6)/15 + 102/30. Suppose 2 = g - i, g + 5 = w*g - 3*i. Suppose 3*t - g = 8. Solve 5*n + 5 = -v + 29, t*v = -2*n + 20 for n.
4
Suppose -4*f = 2*w, -3*w + 24 = -2*w - 4*f. Suppose -8 = -3*g - 4*l, 3*g - 14 = 4*l - 2*l. Solve g*h - 2 + w = 3*t, 2*t - 4 = h for h.
0
Suppose -3*n + 23 = 4*j, 5 = -4*n + 5*n. Let c be (18 + -4)*j/4. Let g = 15 - c. Solve 2*a - g = -4*u, -a + 3 = 3*u + 2*a for u.
3
Let t(p) = -p - 8. Let l be t(6). Let w = 804 + -789. Let i = w + l. Solve i = 3*k - k - 3*j, -j = 5*k + 6 for k.
-1
Let o be 6/33 + (62/22 - 3). Solve 3*l + 0*l = 3*y, -2*y + 2 = o for l.
1
Suppose 96 = -3*w - w. Let l = -22 - w. Solve y + 0*m = l*m - 8, 3*m - 10 = y for y.
-4
Let u be (1/4)/(18/72)*0. Solve -3*z = -l, u = -5*z + 4*l - 2*l for z.
0
Let n be (32/(-28))/((-7)/(147/6)). Let m = 2 + -1. Let x = 5 - m. Solve 3*k - 2*a = 7*k + x, -n = -5*k + 2*a for k.
0
Let c(h) = -16*h**2 - 8*h + 4. Let r be c(0). Let n = 4 - 2. Solve 0 = r*z + 8, -n*j - 12 = -6*j + 2*z for j.
2
Suppose f + q - 13 = -3*f, 0 = 2*f + q - 5. Let m = -571 + 574. Solve -f*b + 2*b + 5 = -3*u, m*u + 1 = b for b.
4
Suppose 3*o = 5*g + 40, -7*g = -5*o - 10*g + 10. Solve q + 1 = -y, -7*q = o*y - 4*q + 7 for y.
-2
Suppose -74*j + 102 = -57*j. Solve r + x + 3 = 0, 2*r + 2 = -j*x + 2*x for r.
-5
Let v(f) = 0 - 23*f - 5 + 0*f**2 - 4 - 2*f**2. Let u be v(-11). Solve -3*k = -4*o + 35, -u*o - 6 = 4*k + 4 for o.
5
Let h = -12 - -17. Let p be 2/(-14) + h/35. Suppose 5*b + 2*n - 40 = -2*n, 3*b = 5*n - 13. Solve 5*l - u - u = -35, p = -b*l - u - 15 for l.
-5
Let g(u) = 2*u - 26. Let j = 5 - 7. Let m be ((-3)/j)/(60/520). Let y be g(m). Solve 3*o + 2 = 5, y = 4*d - 3*o + 19 for d.
-4
Let s(h) = h**3 - h**2 - 4*h + 2. Let o be s(3). Suppose -o = -3*m - 4*q, -m + 5*q - 6 = 2*q. Solve -t + m*k - 10 = 2*k, 5*k = 4*t - 12 for t.
-2
Suppose -6*a - 550 = -574. Solve 5*y = 4*g + 4, -a*g + 5*y - 3 = -g for g.
-1
Let q = 44 - 44. Suppose 5*n - 3 - 2 = q. Solve 3*h + 4*m = 6*m + n, h - m + 1 = 0 for h.
3
Let t = -253 + 260. Let k(n) = -n**2 + 9*n - 10. Let r be k(7). Suppose -d = -r*d + 3. Solve 3*u - 8 = -3*w + t*u, u - d = 0 for w.
4
Suppose x + 45 = 10*x. Solve -m = x, 2*i - m = 2*m + 7 for i.
-4
Let d = 30 + -26. Suppose -3 - 13 = -d*o. Solve 0 = 3*w - 3*k - 15, w + o*k = -2*w - 13 for w.
1
Let h be ((-6)/4)/((-2)/4). Suppose -3*a = 12, z - h*a + 5*a = -3. Suppose 23 = 7*i - 5. Solve -2*c = -2*x - i, 4 = z*x + 2*c - 7 for x.
1
Let w(l) = -2*l**2 - 22*l - 32. Let p be w(-9). Let k(c) = 6*c**2 + 3*c - 2. Let n be k(2). Solve 0 = j + 2 - 0, -p*j = 5*u + n for u.
-4
Let i(a) = -2*a - 27. Let n be i(-19). Let j be ((-1)/(-3))/((-1)/6). Let o = 7 - j. Solve w + o = -m, 4*w + n = -9 for m.
-4
Let f be ((-8)/10)/((-1)/30). Let i = -18 + f. Suppose -n = 2*n - i. Solve -k = -r + n*k - 11, k - 8 = -4*r for r.
1
Suppose 0 = 17*a - 13*a - 5*t - 92, 0 = -a + 5*t + 8. Solve -5*h + w - a = -0*w, 0 = -4*w + 12 for h.
-5
Let u be (-1)/(-2 + (-3)/(-2)). Suppose 2*p + 102 = -4*n, -2*p - 2*n - 100 = n. Let d = p - -49. Solve -d = q - j, u*q + q + 3*j = 6 for q.
0
Suppose 2*t + 5*i + 24 = 0, 3*i = 8*i + 20. Let u be (8/(-2) - 0)/t. Solve -u*f = 0, -m = -4*m - 4*f for m.
0
Let x be 0 - -2 - (1 + 0). Suppose -21 + x = -4*f. Let y(s) = 111*s - 551. Let m be y(5). Solve -5*j = 4*w + m, 0*w - 5 = f*j + 5*w for j.
0
Let d = -772 - -785. Solve 2 = 5*v + 5*c - d, 4*c = 2*v for v.
2
Suppose 6*y + 8 = 10*y. Suppose 5*s = -10, 2 = -y*q + q - s. Solve -2*w = -0*w - 3*r + 8, w - 3*r + 7 = q for w.
-1
Suppose 3*u = -0*u + 24. Suppose 12*i - 16 = u*i. Solve 0*z = 2*z, 20 = i*v + 3*z for v.
5
Suppose -6*z + 31 = 253. Let x = 33 + z. Let v(t) = 2*t + 11. Let s be v(x). Solve 0 = -s*c - 5*f + 19, c + 4*f - 29 = -11 for c.
-2
Let r(j) = -j**2 - 12*j - 27. Let s be r(-8). Let c = 22 + -14. Suppose k + 15 = 5*b - c, -k - 3 = -b. Solve -16 = 4*d, k*p + p + s*d + 20 = 0 for p.
0
Suppose -2*r - 4*m - 4 = 2, -r = -2*m - 9. Solve -3*s - 29 = -5*f, r*s - 2*f + 16 = -1 for s.
-3
Let n(x) = -2*x + 67. Let o be n(18). Solve 2*v = 3*v + 2*w - 1, -5*v + o = -3*w for v.
5
Suppose -6*q = -11*q + 20. Suppose -a = 3*a - q. Solve 0 = 4*x - s - 5, 4*x = -3*s + 2 - a for x.
1
Let w = 0 - 0. Let j = 31 - 32. Let v be (j/2)/(402/(-132) + 3). Solve m - s - 3 = w, m - 4*m - s - v = 0 for m.
-2
Suppose 0 = -2*h + 1 + 1. Let s be (h/(-2))/((-8)/48). Suppose 0 - s = z, 2*z + 6 = 2*u. Solve -4*f - 4*v + 12 = u, 2*v - 9 = 2*f - v for f.
0
Let u be -3 - (-3 - (-28)/(-4)). Suppose m = 5*y + 5*m - 55, -4*y = -2*m - 44. Suppose 0 = y*z - 7*z - 16. Solve 3*l - g + u = 0, l + 3 + 14 = z*g for l.
-1
Suppose 1109*w = 1124*w - 45. Solve 4*b + 4*d = 2*d + 12, b + w = d for b.
1
Let y(q) = -7*q + 4*q**2 - 10*q**2 + 11 + 5*q**2. Let p be y(-8). Solve -2*w - h - 19 = -4*h, -p = 3*w + 4*h for w.
-5
Let t be 26/10 + 21/(-35). Let b be -3 + 6/t + 8. Let h = b + -6. Solve -2*q - 2 + 6 = -3*l, 0 = -q + h*l + 3 for q.
-1
Let t = -4 + 49. Let r be (t + -1 + 2)*(-2)/(-4). Solve -5*v + 4*d + 9 = 0, 2*d = -3*v - 0*d + r for v.
5
Suppose i = 3*z - 11, -7 = -2*z - 2*i + 3. Solve 0*f + z = -f, -3*f = 2*t + 6 for t.
3
Suppose -5*g + t = 3*t + 43, -3*g + 2*t - 29 = 0. Let c = g + 28. Suppose -1 = 3*z - 7. Solve m = z*l + 10 - 1, 0 = -4*l + m - c for l.
-5
Suppose 2 + 4 = 3*j. Let m(y) be the third derivative of y**4/4 - 17*y**3/3 - 23*y**2. Let q be m(7). Solve 3*d = t + 4 - j, 5*d = 4*t + q for t.
-2
Let n(s) = -s**2 + 13*s - 4. Let g be n(12). Suppose -2*w + 19 = -3*r, 0 = -g*w + 3*w - 3*r + 16. Solve 0*c = -2*z + w*c - 4, 4*z - c = 10 for z.
3
Let k(o) = -o**3 - 2*o**2 + 8*o + 4. Let g be k(-4). Suppose 4*p - 1 - 1 = -l, l = g*p - 22. Let h = l + 51. Solve -v = -y + 1 - 2, -4*y - 5*v + h = 0 for y.
4
Suppose 2*y + 2 = 3*s + 6, -5*s - 4*y + 30 = 0. Solve -3*i + 6*c - 3*c = 0, 5*i + s = 3*c for i.
-1
Let r(p) = 4*p + 13. Let s be r(3). Suppose 5*l = l + 12, 5*w + 5*l - s = 0. Solve v + 3*g + 18 = 0, 0 = w*v - 7*g + 3*g - 14 for v.
-3
Suppose -3 = -i, 5*l + 2*i + 3*i = 15. Solve 4*v = -5*a + 15, -2*a + 0*v + v - 7 = l for a.
-1
Let c(r) = 2*r**2 + r - 3*r**2 - r**3 + 3*r**2 + 0*r**3. Let d be c(2). Solve d*b = -4*v + 4, 4*b - 2*b + 5 = -v for b.
-4
Let j be (3 - (-2 + 4))/(2/(-14)). Let n = -3 - j. Solve -6*q + 4 = -4*u - 2*q, 0 = n*u - 5*q + 6 for u.
1
Let r(n) = n**3 + 6*n**2 - 8*n - 6. Let w be r(-7). Let t be (-5)/(-5)*(w - -1). Solve -2*i - t*q - 4 = 0, 5*i + 2*q + 3 = 2*i for i.
1
Let f = 6 - 2. Suppose f*r - 1 = 19. Let g be (-76)/38 + (-98)/(-16) + (-2)/16. Solve c - 3*c - 10 = 0, -g*a + 33 = -r*c for a.
2
Let s = 219 - 213. Let q = 16 - 11. Solve q*x + 3 = w, 3*w - 3 = -3*x + s for w.
3
Suppose -5*n + 4*a + 30 = 2*a, 2*n + 12 = -4*a. Solve -k = -n*m - 11, 4*k - k = -5*m - 18 for m.
-3
Let o = -1081 + 1091. Solve t - 4*w = 17, 5 - o = -4*t - 5*w for t.
5
Suppose q - 10 = -4*q. Suppose -y + 2*u - 16 = -5*y, -q*u = -2*y - 4. Suppose -3*m + 5*k = 0, -4*m + y*k = -m. Solve -3*g + 9 = m, l = -3*l + 5*g - 31 for l.
-4
Suppose 0 = -4*t + 3*g + 23 - 1, 3*g = 2*t - 14. Solve -3*w - t = 4*f, 0*w = -f - 3*w - 10 for f.
2
Suppose 0 = -2*v - 2, 0 = -2*n - 2*v + 9 + 15. Let i(s) = s - 8. Let c be i(n). Suppose 0 = -6*p + 2*p + 16. Solve -b = -4, 4*d - 12 = p*b - c*b for d.
2
Let j(b) = 2*b - 10. Let o be j(8). Suppose -8*l + 7*l = -3. Suppose -o = -l*a, a = u - 4*a + 5. Solve 1 = d, y - u*d + 5 = -1 for y.
-1
Suppose 2*y - 116 = i - 3*i, 2*i + 184 = 3*y. Let b = y + -44. Suppose 5*z - 5*g = z + 101, 4*z = -g + 95. Solve 5*p - b = -3*t + 3*p, 4*t + 4*p - z = 0 for t.
4
Let r(s) = s**2 + 3*s - 12. Let g(n) = n**2 + 3*n - 13. Let l(q) = -5*g(q) + 6*r(q). Let z be l(2). Solve -8 = -j - z*m, j + 4*m + 0 = 10 for j.
2
Let i be (-55)/(-35) + 6/14. Suppose 72 - 17 = -5*p. Let t be (i + p)*(-2)/6. Solve -2*l = 3*l + y - 8, t*l - 4*y = -9 for l.
1
Let l = -10 - -37. Let s = l - 27. Solve s = -2*y, 2*y + 0*y = -3*c for c.
0
Let q = -79 + 84. Solve t - q*a = -10 - 0, -5*a = -5 for t.
-5
Let j(s) be the third derivative of -s**4/12 - 8*s**3/3 + 9*s**2. Let h be j(-9). Solve -4*z + 13 = -3*n + h, 3*n + 2*z = 1 for n.
-1
Let w = -714 - -715. Solve 2*g + w = -u + 12, 4*g = -3*u + 25 for g.
4
Suppose 0*c - 13*c + 39 = 0. Suppose 2 = k - 3*k - 4*j, c*k = -4*j + 3. Solve 