-2*c for c.
5
Suppose -5*u - 2*y = -6*y - 42, 3*u - 4*y = 22. Solve t + 5*c = -12 + u, 0 = 3*t + c + 6 for t.
-2
Let d(l) = l**3 + 2*l**2 - 15*l + 2. Let a(i) = -i**2 - 6*i - 5. Let f be a(-2). Let g be d(f). Solve -2*j - 5 = -v, -5*j - 9 = -g*j - v for j.
-4
Let t = -261 + 264. Solve 3 = -3*i, -a + t = -2*i + 3*i for a.
4
Let y be 5/((-40)/(-28))*(-8)/(-14). Let l be ((-280)/15)/(-7)*3/y. Solve -o + 5 = 4*a + 2*o, l*o = -4*a + 8 for a.
-1
Suppose -2*g - 7 - 1 = 0, -4 = 3*h + 4*g. Suppose -3*o = 2*o - 5*m - 30, -2*m = -5*o + 18. Solve n - o*l = -h*n + 7, -4*n + 2*l + 6 = 0 for n.
1
Suppose 0*l + 3*l - 9 = 0. Let u be -6 + (-12)/(-33) + (-4 - 256/(-22)). Solve 4 = -l*a + 2*a, -r = -u*a - 13 for r.
5
Suppose s + 0*x = -x - 1, -5 = 3*s + x. Let z be 16/(-20)*(-15)/s. Let o(u) = -u**2 - 9*u. Let t be o(z). Solve 6 = i - m, i + 0*i = 5*m + t for i.
3
Suppose 0 = -w + 4, -2*w - 1 = -4*l + 7. Suppose s = -s - l. Let c be s/(-1 - 4/(-6)). Solve -h + d = 2, d + c = 4*d for h.
0
Let n = -1044 + 1044. Solve -2*d + 2 - 6 = n, 3*u - 4*d = 20 for u.
4
Let k(z) = z**3 - 4*z**2 - 3. Let d be k(4). Let g = d + 16. Let y = -9 + g. Solve -2*q = -2*b - y, -5*q + 2*q - 5*b - 18 = 0 for q.
-1
Let p be (-10)/(1*(-2)/(-2)). Let l = 13 + p. Solve 2*r = -2*x - 12, 0 = -l*r + 4*x - 0 + 17 for r.
-1
Let i(o) = -o**2 + 3*o + 9. Let k be 4 - (-1 + 1 + 0). Let w be i(k). Suppose 0*j + 2*j = 0. Solve j*l + 3*l - 5*p - 16 = 0, -w*l + 14 = -2*p for l.
2
Suppose 9 = 2*h - 5*t, -3*t + 8*t + 57 = -4*h. Let l(r) = -r**3 - 9*r**2 - 9*r - 1. Let j be l(h). Solve 3*u = -3*m - 6, j = 3*m - 2*u - 2 for m.
1
Let w be 5 + 2/(-4 + 45/10). Solve -x + 3*a = x - w, 4*a + 8 = 4*x for x.
-3
Suppose -2*q + 4 = -3*m, -2*q - 15*m - 1 + 5 = 0. Suppose 0 = -g - 2*g + 9. Solve -2*i = 2*l + 4, -q = -4*i + g*l + 11 for i.
1
Let n be (7 + 0)*16/28. Solve 0 = -m - 3*z - 2*z - 24, -4*m - 32 = n*z for m.
-4
Suppose -5*l + 5*t = 180, 4*l = 2*l + 3*t - 73. Let h = l - -37. Suppose 8 = a - 0*y - h*y, 4*a - 26 = 5*y. Solve -24 = a*i + 4*r, 2*r - 7*r - 23 = -2*i for i.
-1
Suppose 3*a + 3*o = 0, 36 = 3*a - 5*o - 4. Suppose 0 = a*c + 2*t - 50, -2*c + 3*t + 3 - 2 = 0. Solve 3*y + c = -s, -2*s - 3*y - 10 = -0*s for s.
-2
Let u = 941 - 937. Solve -d + 3*y = -18, 0 = -u*d + 6*y - y + 37 for d.
3
Let s = -54 - -60. Let h be ((-1)/(-3))/(4/(-12)). Let v = 2 - h. Solve 2*o + f = o + s, -6 = -v*o + f for o.
3
Let r = 142 + -142. Solve 0 + 15 = -3*v, r = 3*a - v - 2 for a.
-1
Let i(d) = d**3 + 12*d**2 - d + 17. Let r be i(-12). Let t = r + -20. Solve 6 = -2*m - 5*h - t, m + 1 = 4*h for m.
-5
Let h = -718 - -718. Solve -2 = -a - o, -4*a - o - 7 + 0 = h for a.
-3
Let u = -13 + 20. Suppose 0 = -c - 5 + u. Suppose 0 = 3*d - c*q - 5, 5*d - 2*q - 3*q = 5. Solve 3*j - d*w = 3, 5*w = -4*j + 26 + 14 for j.
5
Let o(n) = n**2 + 8*n + 3. Let z be o(-7). Let i be 0*(0 + z/16). Solve i = -c - 4*d + d + 4, 6 = 2*d for c.
-5
Suppose -4 = 2*n, -4*n - 20 = -2*k + n. Solve r + 3*x = 11, -3*x + 30 = -k*r - x for r.
-4
Let j = 83 - 91. Let v be (-1 - 3) + (-72)/j. Solve 3*o = -3*f + 3, -5*f = 4*o - 2 - v for f.
3
Let p = 3765 - 3761. Suppose -5*q = 3*o - 11, 0*o - 1 = -q - o. Solve k = 4*t - 0*t - 2, 4 = -p*t + q*k for t.
1
Let m(i) = -9*i + 297. Let a be m(33). Solve -4 = -k + 5*k - 3*p, a = k + p + 1 for k.
-1
Let k(v) = -95*v**3 - v**2 - 1. Let x be k(1). Let q = 102 + x. Solve -5 = 4*u + 3*l, -6*u = -u + q*l for u.
-5
Suppose -u + 0*u - 3*b = -14, 0 = -2*b + 8. Suppose 3*h - 58 = -u*l, -l - 13 = -h + 8. Let m = -21 - -30. Solve -5*q + m = 5*a - 16, 4*a - h = -q for a.
5
Suppose -5*m = -3*q + 85, -4*m = 79*q - 77*q - 42. Solve -2*l - 3*p + 21 = 6, 2*l - 5*p + q = 0 for l.
0
Let p(i) = i**2 - i - 6. Let f be p(-3). Let o(g) = 4 + g**2 + f*g - g + 2*g. Let v be o(-7). Solve -4*c = 2*r - 9*c, -3*r - v*c + 23 = 0 for r.
5
Suppose 7*h = 13*h - 48. Suppose -12 = h*r - 52. Solve 0 = w + 2*w - 4*d - 12, -5*w + 20 = -r*d for w.
4
Let f = 19 - 2. Suppose -3*q + q = w - 1, -4*q = -3*w - f. Let m be (-6)/(-3)*(-12)/(-8). Solve 3*i - 21 = -q*x - x, 0 = m*i - 12 for x.
3
Let i = 24 - 14. Let y be ((-3)/((-3)/(-10)))/1. Let z = i + y. Solve 2*a - 2 = z, -3*a + 6 = -3*q - 6 for q.
-3
Let j = 490 - 474. Let a be (0 + 1 - -1)/1. Suppose -l = a*l - 18. Solve 2*f - j = 2*r, -3*r - l - 13 = -2*f for r.
-3
Let p = 13 - 9. Suppose 0 = -p*y + 7*y - 279. Suppose -6*d = -y + 3. Solve 4*o - 12 = -l, 4*l = 2*l - 5*o + d for l.
0
Suppose -34*o + 132 = -o. Solve 5*h = o*b - 14, h = 4*b + 6*h + 6 for b.
1
Let y(c) = 16*c + 113. Let l be y(-7). Solve 0*n = 2*i - 5*n + l, -2*n = 5*i - 12 for i.
2
Suppose 0*m + 4*q + 86 = 5*m, -3*m + 4*q = -50. Let f = m + 12. Let g = f + -26. Solve -5*d + 5*p = 50, 0 = -5*p + g*p + 5 for d.
-5
Let i(c) = -c**3 - 17*c**2 - 16*c + 4. Let x be i(-16). Solve d + 2 - 1 = 3*s, 2*s = 3*d - x for s.
1
Let t(g) = -2*g**2 - 34*g - 42. Let k be t(-15). Solve 0 = -4*w - 2*i - 18, w - 4*i = -0*w + k for w.
-2
Let d(m) be the third derivative of m**6/120 + m**5/20 - 5*m**4/24 + m**3/3 + 9*m**2. Let y be d(-4). Solve -4*t = 4*z - 4, -t + y = -7*z + 3*z for z.
-1
Suppose -5*g = -0*g - 75. Let b be 2/(-7) - (-400)/28. Let p = 24 - 19. Solve l - b = 4*j - l, 0 = -p*l + g for j.
-2
Let o(g) be the second derivative of -g**4/12 + 4*g**3/3 - 9*g**2/2 - g. Let a be o(6). Suppose a*k + 4 = 13. Solve -3*x - 10 = 5*c - 5, 13 = 5*x + k*c for x.
5
Let s = -1666 + 1670. Solve -4*a - 4*n = 0, -a - 10 = -s*a + 2*n for a.
2
Let s = 3 + 6. Let f(x) = x**3 - 19*x**2 - 25*x + 102. Let b be f(20). Solve 5*i - s = -a, b*i - 30 + 8 = -5*a for i.
1
Let f(p) = -p**3 - p**2 - 2*p. Let a(c) = c**2 + 13*c - 7 - 2*c + 15. Let o be a(-10). Let z be f(o). Solve 2*d = 3*v - 8, -2*d - z = 4*v - 5*v for v.
0
Suppose 0 = -z + 3*y - 1, 4*y + 17 = 5*z. Suppose 3*u = z + 7. Solve 2*k - 3 = 5*m, -3*m = u*k - 7*m for k.
-1
Let c = 4 + 1. Suppose 2*w + 0 = 2*j + 16, 2*w + 3*j - 1 = 0. Suppose a + 5*x - 17 = 13, c*a = w*x. Solve 4*k = a*y - 17, -6*k + 5*y - 14 = -3*k for k.
-3
Let b be (-1)/(-4) - (-105)/28. Suppose 2 = 2*k - i, -b*i - 4 = -4*k - 0*i. Solve -5*s = -5*m - 4 - k, -5 = 5*m + s for m.
-1
Let m be (-1)/((-2)/(-2 + 8)). Suppose -490 = 5*q + y, 0*y - 5*y = 5*q + 470. Let r = -94 - q. Solve 0 = -5*t - m*s - 22, -r*t = -s - s + 27 for t.
-5
Let f(z) = -z**3 - 7*z**2 + 6*z - 8. Let k be f(-8). Suppose k = 5*p - 12. Let x be -1*(0 + (-8)/p). Solve -j = -x*n, 2 = -2*j + 3*n - 0*n for j.
-4
Let j = 25 - 21. Let k(p) = p - 4. Let x be k(j). Solve x*z + 3*i = -4*z + 12, 3*z - 5*i + 20 = 0 for z.
0
Suppose 15 = 7*d - 6*d. Solve d = -4*a - w, 3*w + 7 - 22 = 3*a for a.
-4
Let q(k) = k**3 - 22*k**2 + 2*k - 41. Let x be q(22). Suppose -3*l - x*o - 6 = 0, -2*o = -2*l + 4 + 8. Solve 5*z = 5*h - 10, -5*h + 10*h = -l*z - 11 for h.
-1
Suppose -2*w - 155 = 77. Let i = 117 + w. Solve -2*b = 2*p, 11 - i = -5*b + 5*p for b.
-1
Let t(z) = -z**3 + 73*z**2 - z + 75. Let u be t(73). Solve -a + 5 = -u*w + 5*w, -a + 3*w - 1 = 0 for a.
2
Let w(b) = b**3 - b + 3. Let u be w(0). Let s be u + (-12)/(-3) + -2. Solve -10 = 5*f - s*r, -r - 3*r + 5 = -f for f.
-1
Let u = -173 + 178. Suppose -3*q - 2*s = -25, 4*q - 2*s - 1 - 23 = 0. Solve -u*j - 3 = 4*o, -j + 0*o = -3*o - q for j.
1
Let i = 1556 - 1553. Solve 5*g + i*v - 24 = -0, 4*v = -4*g + 24 for g.
3
Let d(t) = 0*t - 6*t - 11 + 3*t. Let r be d(-5). Suppose -2*z - 4*q - 1 + 25 = 0, 0 = q - r. Solve -s - 6 = 2*i + 3, -z*i - 19 = s for i.
-5
Let j(t) = -11*t - 1. Let o be j(-1). Suppose -4*g + 0*b - 5 = -5*b, -g + 3*b = o. Solve -25 = g*i - 3*k, -9 = 5*i + 5*k + 16 for i.
-5
Let n be ((-4)/(-12))/(3/378*6). Solve 2*q + 6 = -u, 8*q = -2*u + 5*q - n for u.
4
Let g(n) = n**2 - 4*n + 6. Let u be g(4). Suppose 2*q - 5*q = -u. Suppose -v - 191*m + 9 = -189*m, 3*m = 9. Solve -q*i - 7 = -5*x, v = 2*x - 0*i - i for x.
1
Let q(z) = -2*z - 25. Let t be q(17). Let o = 59 + t. Solve 5*b + 4*l + 16 = o, -l = 4*b + l + 8 for b.
0
Suppose 2*a = -5*m + 33, 4*a + 6 + 3 = 5*m. Solve w + 4 = a*f, -2*w - 5*f = -3*w - 4 for w.
-4
Suppose 0 = -3*y - 9 - 3, 2*c - 28 = 5*y. Let m be -4 + (-4 - -9 - -45). Let x = m + -43. Solve 0 = -3*d - v + 2*v + c, 0 = 3*d + x*v for d.
1
Let o = 5 - 1. Let k(w) = 0*w + 0 - o - 2 - 2*w. Let f be k(-3). Solve 0*u = b - 2*u + 8, f = 5*b + 4*u - 16 for b.
