0 + n. Solve 4*j + 0*g + g + z = 0, -4*j - 20 = 4*g for j.
-5
Let r = -35 + 38. Solve 0 = 2*m + n - 7 + 3, -r*m = 2*n - 4 for m.
4
Let a(o) be the third derivative of o**5/60 + o**4/12 + o**3 + 3*o**2. Let k be a(0). Let t be 78/2 + 1 + 0. Solve 5*n + t = 3*w, 2*w + k*n = n - 15 for w.
5
Let a be 8/1 + (4 - 7). Solve -2*f = -5*t - 12, -6*t + 16 = -a*t - 5*f for t.
-4
Suppose 0 = 2*w, -5*t + 4*w = -10 - 5. Let b be 3/t + (1 - 2). Solve -5*x - 4*u + 0*u = 1, u - 1 = b for x.
-1
Suppose -8 = -3*t + 4*a, -3*t - 3*a = -2*t - 7. Suppose t*j - 3*f - 5 = 0, 2*j + 4*f = f + 7. Solve -2*g = 2*g + j*m + 12, 0 = 4*g - 4*m for g.
-2
Suppose 4*m - 3 - 41 = 0. Let f be -7*-1*(5 - 4). Let n = m - f. Solve -3*l + 4*g = 14, 4*g - 26 = -l - n for l.
2
Let t = 17 - 10. Let g be (-8)/12*6 + t. Solve 5*q = 5*n - 5, g = n - 2*q + 1 for n.
0
Suppose -5*f + 7*f = 6. Solve f*t = -2*g + 1, -3*t + 4*t - 23 = 5*g for t.
3
Let u(q) = -q**2 - 8*q + 9. Let v be u(-7). Solve -4*t = -4*h, -4 = 4*h - t - v for h.
4
Suppose -68 = -4*t - 5*w, -2 + 42 = 2*t + 4*w. Suppose 4*k + t = 8*k. Solve k*l = c + 8, -c + l + 0 = 2 for c.
1
Let s(g) = g**3 + 7*g**2 + 5*g. Let l be s(-5). Suppose -v + 6*v = l. Solve -v*u = 5*h - 5, 3*u - 3*h + 15 = -0*u for u.
-2
Suppose -6*t - 21 = -j - t, 5*t + 45 = -5*j. Let x = j - -9. Solve 5*l - 16 - 1 = 2*o, 4*o = x*l - 19 for o.
-1
Suppose 2*b + 0*b - 15 = -5*i, 5*b + 3*i = 28. Let n = 11 + -3. Suppose 3 = -x + n. Solve -2*q + 4*q = -2*o - 2, 4*o - b = x*q for o.
0
Let a(b) = -b**2 + 2. Let z(j) = -j**2 + j + 3. Let g(k) = 6*a(k) - 5*z(k). Let t be g(-3). Solve 6 = -t*l - 4*s, 3 = 2*l - 4*s + 7 for l.
-2
Let j = 12 - 12. Solve 5*n = -5*i - 35, -5*n + j*n + i - 11 = 0 for n.
-3
Let n(s) = -s**2 + 3*s + 4. Let r be n(3). Suppose 2*l + 2*l = -4. Let j = l + 1. Solve j = -m - 3*d + 8, -2*m + 12 = -r*m + d for m.
-4
Let f = -39 + 42. Solve -6*j - y - f = -2*j, -2*y = -10 for j.
-2
Suppose d = 2*q - 58, 2*q - 6*q = 2*d - 100. Suppose -9 = -p - 3*r, 4*p + 3*r - q = -0*r. Solve y = x + 5, -1 = -2*y - 3*x - p for y.
2
Let m = -4 + 9. Let n(r) = r + 7. Let d be n(-5). Solve d*p = -m*v - 5, -p + 0*v + 17 = -4*v for p.
5
Suppose 3*r - 5*r = -8. Suppose 0 = -3*g + u + 10, r*g - 15 = 3*g - 2*u. Solve 3*x = g*d, 4*x = 3*x - 4*d + 17 for x.
5
Let h be 2 + 3/9*3. Solve -2*v + a - 4*a - 7 = 0, h*v = 4*a + 15 for v.
1
Let x(f) = f**3 + 7*f**2 + 7*f + 6. Let g be x(-6). Let p(d) = -d**2 - d - 4. Let o be p(g). Let t = -2 - o. Solve t*v - 14 = 3*u, 4*v + 4 = -5*u + 3*u for u.
-4
Suppose -y - 4*y = p + 50, -5*y - 5*p = 70. Let f = -6 - y. Solve w + f = -0*w - 3*c, -5*w - 15 = -5*c for w.
-3
Let g be (4/(-2))/(6/27). Let i = g + 13. Solve -5*o + 3 = i*k, -2*k + 7*k = -5*o for o.
3
Let g(f) = f - 3. Let k be g(7). Suppose 4*z - 21 = 7. Let a = 4 + -4. Solve -22 = -4*o + 2*t - a*t, k*o = -t + z for o.
3
Let d be 294/15 - 4/(-10). Suppose y - d = -3*y. Solve x + 3 = -4*z + z, 0 = -z + y*x - 17 for z.
-2
Let f = 1 + 3. Let t(o) = -o**3 + 11*o**2 - o + 14. Let l be t(11). Solve 3*w + b - f*b + 12 = 0, -2*w - l = 3*b for w.
-3
Suppose 0 = -4*k + 8 + 12. Let g = -3 + k. Solve -g*q + 2 = 2*z, 2*z + z - 10 = 4*q for z.
2
Let o(u) = -3*u + 11. Let n be o(0). Let k be (-4)/(5/3 - 1). Let z = k + n. Solve -10 = -z*s + 3*s, 0 = -3*q - 5*s + 31 for q.
2
Suppose 8 - 3 = a. Solve -5*l + 20 = -0*j + 4*j, -a*l - 2*j + 10 = 0 for l.
0
Suppose -10*g + 3*w - 11 = -12*g, -1 = -w. Solve 0 = 2*h - 3*y, -2*h - 3 = -g*y - 1 for h.
3
Suppose -f - 12 + 30 = 0. Suppose -f = -4*r - 2. Suppose -3 = -2*w + 7. Solve 26 = r*q + 5*z, 5*q + w*z = z + 28 for q.
4
Suppose -9 + 37 = 7*g. Let z = -2 - -4. Solve 0 = 4*m + 12, z*j + 7 = 3*j - g*m for j.
-5
Let o(y) = -y**2 - 7*y - 6. Let k = -10 + 4. Let z be o(k). Solve z = -j - i, 0*j + 12 = 2*j + 5*i for j.
-4
Let h be 1/(-4) - (-18)/8. Suppose -1 = h*o - 5. Solve 2*t + 11 = l, -2*t - o*l - 1 = -5 for t.
-3
Let b = 5 - 3. Suppose b*w - 12 = -4*k, -4*k + 14 = 5*w - 2*w. Solve -5*l - 2*t = -21, 2*l = k*t + 4 + 10 for l.
5
Let a = 8 + -11. Let g = 5 + a. Solve p + 2*r - 6 = 0, -g*r - r - 5 = 5*p for p.
-4
Let y = 12 + -20. Let u(v) = v**3 + 7*v**2 - 9*v + 1. Let m be u(y). Solve -2*l = l - m, 5*q - 2*l + 31 = 0 for q.
-5
Suppose 0 = 3*z + 11 - 56. Suppose -4*w = -w - z. Let o = 40 + -27. Solve -o = -u - u + 3*f, 2*f = -w*u - 15 for u.
-1
Suppose 3*s + 2*s - 2*w + 97 = 0, -2 = -2*w. Let l = s - -21. Solve r - 6*r = 2*o - 15, 0 = l*r - 5*o + 23 for r.
1
Let q = -112 + 112. Solve q = -5*h - 15 - 0, 0 = x - h - 6 for x.
3
Let l(j) = j**3 - 8*j**2 + 2. Suppose -g - 2*v = -14, g + 3*v - 20 = -v. Let f be l(g). Solve -6*k = -f*k + 5*r + 16, -3*k + 3*r = 12 for k.
-4
Let r = 16 + -15. Solve -5*y + f - r = -8, -3*y - 3*f + 15 = 0 for y.
2
Suppose -8 = -3*t + 7. Let d be -4*(3 - (4 + -2)). Let a = 6 + d. Solve 2 = -4*w - x, t*w = a*x + 2 + 2 for w.
0
Suppose a - 3*z - 15 = 0, -3*a + 2*a = 5*z + 25. Let h be (a + (-1)/2)*-10. Solve -4*d = -2*d - u + 2, -2*d - h*u = 2 for d.
-1
Suppose -5*q + 36 = 4*z, -3*z + 4*q = 3*q - 46. Solve -4*a - 5*u + 5 = -z, 2*a + 1 = u for a.
1
Let f be ((-6)/(-8))/((-2)/(-8)). Let g(n) = -n**2 - 8*n - 4. Let u be g(-3). Let d = u - 7. Solve -d - 4 = -4*a, -f*a + 10 = 2*q for q.
2
Suppose -2*h = -2*q - 2*q - 12, -4 = -q + 4*h. Let i = q - -5. Solve y - 3*y - 3*u - i = 0, 0 = 2*y + 5*u + 3 for y.
1
Let z(u) be the third derivative of 1/24*u**4 + 0*u + 2*u**2 + 0 + 5/6*u**3. Let t be z(0). Solve t*s = -3*o - 30, 2*s + s = 4*o + 11 for s.
-3
Let d(l) = -l**2 - 7*l + 24. Let s be d(-9). Solve -v = -3*p - 6, -v - 4*v + 3*p + s = 0 for v.
0
Suppose -4*z - 11 = -3*g - 40, -11 = -2*z + 5*g. Solve 3*w + z*t - 4*t = -14, -4*w = 4*t + 16 for w.
-2
Let d = 59 + -54. Solve -d*q - 5 = 2*p, -2*q = -7*q + 3*p - 5 for q.
-1
Let m(c) be the third derivative of c**4/6 - c**2. Let n be m(1). Suppose 0 = r + 1, t - n*r = -0*t + 6. Solve t = f + 2*f + 4*l, 0 = -5*f - 2*l - 6 for f.
-2
Suppose -4*c - 2*f = -50, -f = -5*c - 6*f + 50. Solve 2*p + 2*u = -p + 10, -3*u = -4*p - c for p.
0
Let z be (-20)/12*12/(-10). Solve -2*v + 6*v + 14 = -z*j, 11 = -4*v - j for v.
-2
Let m(c) = -2*c - 3. Let p be m(-8). Let y = p - 6. Solve 3*x = 2*k - 3*k - y, 5*x + 17 = -3*k for x.
-1
Let s = -173 + 178. Solve -2*w + d + 13 = 2*w, 2*w - s*d = -7 for w.
4
Let b be (0 - 2)/4*-6. Let r(m) = -4 - m + b*m + 3. Let k be r(2). Solve x = z - 0*x, 0 = 5*z + k*x + 24 for z.
-3
Let z be 5/(-2 + -3) + (-2)/(-1). Solve -3*i - 2*k + 4 = -z, 0 = -4*i - 3*k + 7 for i.
1
Let l = -3 + 6. Suppose 5*b = 4*o - 0*b - 30, -o + 2 = -4*b. Suppose -2*u = o, -2*t + l*u + 12 = -27. Solve -d + 6 = -2*m - 2*m, 4*m = 4*d - t for d.
2
Let z = 15 + -13. Solve 15 = 3*b + z*x, 2*b + 5*x = -b + 24 for b.
3
Suppose -y + 2*y - 2 = 0. Solve u + y*x - 1 = 0, -4*u + 5 = x + 1 for u.
1
Let u be 24/10 + 4/(-10). Suppose 0*p = u*p. Suppose -5*a + r + 3 + p = 0, -3 = -2*a + r. Solve a*j = -x - j + 4, 5*j - 17 = -4*x for x.
3
Let z(r) = -6*r + 41. Let j(n) = n - 8. Let k(b) = -11*j(b) - 2*z(b). Let w be k(-5). Let q be w/(-2 + 7/3). Solve -2*l + q*y - 2 = 1, 5*l - 2*y = -13 for l.
-3
Let g(l) = l**2 + 6*l + 4. Let f be g(-8). Let i = f + -10. Solve m - 4*m = 3*a + 6, i = -2*m for a.
3
Let b = -10 - -20. Suppose 0 = 2*m + 2*l - b, 0 = 4*m - 2*l - l - 41. Solve -4*k + m = -0, 3 = t + 4*k for t.
-5
Let z be (6/9)/((-1)/(-9)). Suppose -z*r + r = 0. Solve m = 5*a - 7, -4*m + 16 = 2*a - r*a for a.
2
Let w(h) = h**3 + 9*h**2 - 11*h - 3. Let j be w(-10). Suppose 4*r - j = 9. Solve -2*s - r*g - 2 = 0, s + 1 = 5*g - 0 for s.
-1
Let y(u) = -u**3 - 7*u**2 + 4*u - 2. Let s be y(-8). Let j = s - 25. Suppose -2*z - 15 = -85. Solve -n - 4*o = -5*o + 10, -j*n = -2*o + z for n.
-5
Let y = -16 + 16. Let q = 2 + 0. Let d = q + y. Solve -d*b + 14 = -0*m - 3*m, 5*b = -3*m - 7 for b.
1
Suppose -24*f = -19*f. Suppose 5*u - 2 = -2*y - 4, 2*u - 3*y - 3 = f. Solve -3*w - 3*h - 6 = u, 5*w = 2*w + 4*h - 27 for w.
-5
Suppose -2*n = 2*n - 12. Solve -5*u = -10, 2*u = 4*j + n*u + 14 for j.
-4
Let l(u) = -10*u - 5. Let h be l(-2). Solve -15 = 3*w - 3*m, w - 4*w - m - h = 0 for w.
-5
Let v = -6 - -9. Suppose -2*m - 3*q + v + 2 = 0, -m + 5 = -q. Let y be 6/(-21) + 37/7. Solve -4*c - 12 = -2*f, -y - 4 = -m*f + 3*c for f.
0
Suppose 3*p = -228 + 66. Let s be (p/(-4))/(