Let m(g) = -g**3 + 5*g**2 + 6*g + 3. Let s be m(t). Let n = -6 + 12. Solve -4*c - s + 0 = 3*y, -3*y - 3*c = n for y.
-5
Suppose -4*k = 2 - 6. Let r(m) be the second derivative of m**5/10 + m**4/12 - m**3/6 + 2*m. Let h be r(k). Solve -h*c = 0, -3*c = 5*o + 6 + 4 for o.
-2
Let a(y) = 4*y - 1. Let k be a(1). Suppose 2*q + 3*g - 7 = 4, 15 = 5*q - 5*g. Solve l + 2 = k*b, -q*b - 4*l - 8 = -5*b for b.
0
Let j = -11 + 22. Suppose -3*u + 6*u - j = -i, 0 = -u + 2*i + 6. Suppose -5*c + 7 = -3. Solve -o + u = 0, o = -2*h - o - c for h.
-5
Let q = -4 + 7. Suppose -q*g = -3*a - 63, -3*g - 7*a + 55 = -2*a. Solve 2*k = -5*f - g, 4 = -f - 2*k - k for f.
-4
Suppose 15 + 3 = x - 3*f, x + 4*f = -10. Let z(b) = b**3 - 7*b**2 + 9*b. Let c be z(x). Suppose 4*r - 6 = c. Solve -m = 2*m - r, -4*t + 6 = 5*m for t.
-1
Let l(d) = -d + 41. Let x be l(29). Let s = 0 - -2. Solve -3*h + x = 3*t, 0*t + s*t + 4*h = 16 for t.
0
Suppose -5*n - 200 = -5*b, 47 + 78 = 4*b + 3*n. Let w be (-4 + 2)*b/(-10). Suppose -2*i + w = -1. Solve i*y + 5*v = 0, -5*y + 0*y - 2*v = 17 for y.
-5
Suppose u - 5 = 5*m, -4*u - m = -0*m - 20. Solve l + 0*n - 2*n = 12, 0 = u*l + 3*n - 8 for l.
4
Suppose -4*v - 2*x = -28, 0*v + 22 = 2*v + 5*x. Suppose 4*q - v + 2 = -4*k, -2*q - 4*k - 2 = 0. Solve z - q*z - 1 = -o, 4*o + 11 = 3*z for o.
-5
Let o be (0/4)/(-3)*1. Solve -5*n + 15 = o, 3*n - 4*n = -j + 2 for j.
5
Suppose -2*d - 5*p - 9 = -2*p, -2*d = -3*p - 21. Solve 20 = v + 4*h, d*h + 4 = -4*v + 19 for v.
0
Suppose 0 = 2*g + 4*g + g. Solve 24 = -4*m - 4*v, 3*m + 2*v = -17 - g for m.
-5
Let l(u) = 2*u**2 + 2*u - 1. Let v be l(-4). Suppose 5*k - 2*s = v, -3*k - 4*s + 0*s - 7 = 0. Solve -2 = d + 2*y, k*y - 18 = -5*d + 7*y for d.
2
Let b = 7 - 3. Solve 0*i = h + b*i + 21, -5*i = 20 for h.
-5
Let x(u) = u**2 + 6*u + 4. Let f be x(5). Let i be (1 - f)*1/(-2). Suppose -i = -2*s + s. Solve -2*j = 5*v - 24, -2*v - 5*j = 11 - s for v.
4
Let w(f) = f**3 + 4*f**2 + f - 4. Let c be w(-3). Suppose 0 = -6*h + c*h. Solve h = -l + 6*l + 5*b, 35 = -2*l + 5*b for l.
-5
Let z(j) = -18 - 5*j + 18. Let o = -1 - 0. Let f be z(o). Solve f*i + 5*y = -5, 10 = -5*i - 4*y + 3 for i.
-3
Suppose 0 = -5*n + 4*n + 2*r - 4, -5*n - 4*r = -22. Suppose -2*o + 8 = -n*b + 4*b, 3*b + 8 = 2*o. Solve 6*y = 4*t + y - 41, o*t + 2*y = 6 for t.
4
Let a = 30 - 21. Suppose 0 = -3*c + a, -5*c + 3*c = -4*y - 14. Let w be y/(-7) + (-304)/(-14). Solve 0*d = l + 5*d - w, -35 = 5*l - 4*d for l.
-3
Let w be (1/(-2))/(1/(-8)). Let g(q) = q**2 - 4. Let z be g(-4). Solve -3*o + w*o + 2*t + z = 0, 5*o + 5*t = -40 for o.
-4
Suppose -5*k = 3*k - 24. Suppose -2*t = 4*i - 2, -2*t + 2 = -0*i - 4*i. Solve 3 = -i*l - l, -l = 3*o + k for o.
0
Suppose -2*y + 39 = 31. Solve 11 = d + 4*a - 7, 2*a = y*d for d.
2
Suppose 7 - 3 = 2*j. Solve -6 = -j*t - 4*g, 5*g - 4 = -0*t + t for t.
1
Let y(j) = -j**3 - 5*j**2 - j. Suppose 2*t + 2 + 14 = -3*u, -4*u = -4*t - 12. Let r be y(t). Solve -21 = 5*f - 3*x, 6 = -r*f - 3*x - 3 for f.
-3
Suppose -o = 2*l + 6, -3*o + 3*l + 14 = l. Suppose o*w + d - 20 = 0, 30 = 3*w - 6*d + 3*d. Solve -3*v + 0 = y + w, v - 10 = 3*y for y.
-4
Suppose -f = f - 10. Solve -2*d + 6 = f*l, -4*d + 9*d + 5*l - 15 = 0 for d.
3
Let d(v) = 6*v + 4. Let z be d(0). Solve g - 3 = f, z*f = 5*g + f - 9 for g.
0
Let k(r) = 11*r - 3. Let w be k(3). Suppose -26 = -2*d + 2*f - 6*f, 5*d + 3*f - w = 0. Solve -d = b, -b = -3*l + 2*b - 6 for l.
-5
Let l(w) = -2*w - 3. Suppose 4*p = -4*n - 24, -p + 1 - 9 = 2*n. Let z be l(p). Solve -5*c - 3 - 2 = z*j, -4*c = 0 for j.
-1
Suppose 4*w - 7 = -3*r - 2*r, 4*w + 2*r - 10 = 0. Suppose 1 = -o + 3. Suppose o*d + w*d = 15. Solve -24 = -d*h - g + 5*g, 4*h - 13 = -g for h.
4
Suppose p = -h + 2 - 1, 7 = -2*p - 5*h. Suppose -4*y + 2*y = -p. Solve 0 = -3*k - 4*q + 31, 6*q - y*q = -k + 21 for k.
5
Suppose l = -3*f + 14, 2*f = 3*l - l - 4. Solve 4*j - 29 + 3 = -2*k, j + 21 = l*k for k.
5
Let y be 17/5 + (-6)/(-10). Let w be ((-12)/(-8))/(2/y). Solve w*p = -4*a - 2, -5*a = -4*a + 5*p + 9 for a.
1
Let h(w) be the first derivative of 3*w**2 - 3*w + 1. Let b be h(2). Solve q + 4*m = -b, 6 = -4*q - m - 0*m for q.
-1
Let t = 8 + -15. Let u = t - -10. Solve 5*a - 11 = -2*w, a - u*a = -2 for w.
3
Let o be 2/(-6) - (-80)/15. Suppose -b + 5 = -o. Solve 4*j = -20, -4*s - s - j - b = 0 for s.
-1
Let c = 11 + -3. Let v = c + -3. Let p = v - 3. Solve -2*g = 0, -p*g = -3*f - 7*g - 15 for f.
-5
Suppose -7*m + 3*m + 20 = 0. Suppose 0 = -m*i + i. Solve i = -q, 0*k = k - 4*q + 3 for k.
-3
Suppose 0 = -5*r + o + 5, -3*o - 5 = -2*r - 16. Suppose 3*f + 3*q = -f - 17, 0 = 3*f - 2*q. Let w = 1 - f. Solve 5*h + b + 4 = 0, w*b - 1 - r = 0 for h.
-1
Suppose 3*r - 2*r - 13 = 0. Solve -5*u = -l + r, -4 = 3*l + 2 for u.
-3
Let f(r) = r**2 - 4*r + 3. Let o be f(5). Suppose 7*u - 3*u = -3*s - 15, -2*u = 6. Let y = s + o. Solve 2*h + 16 = y*h - m, -2*h - 5*m = -1 for h.
3
Let l(c) be the third derivative of -c**6/120 + 11*c**5/60 - 3*c**4/8 - 5*c**3/6 - 7*c**2. Let y be l(10). Solve 6*t + 4*u = 2*t - 20, t - 3*u + y = 0 for t.
-5
Let a(g) = 13*g**2 - 3*g + 2. Let n be a(1). Solve n = 4*x, -4*x = -2*u - 4 - 16 for u.
-4
Suppose 2*f + 3 = 7. Solve -f*m - 4*z + 26 = 4, -5*z = 5*m - 30 for m.
1
Let z = 28 + -54. Let r be z/(-6) - 2/(-3). Solve -2*f + 8 = -2*n - 2*n, 0 = -r*f for n.
-2
Let x be (-2)/(-3)*(6 + 0). Suppose 2*k + 8 = x*k. Solve k*g - d - 3 = 5, -2*g - 2 = d for g.
1
Let q = 3 + 1. Solve 2 - 11 = -3*j, -8 = q*u - 4*j for u.
1
Let q = -12 + 16. Suppose q*z = z + 18. Solve 5*r + z = w, 3 + 21 = -4*w - 4*r for w.
-4
Let c be 0/(-3 + -1) + 2. Solve -12 = -4*j - c*f, j + 2*j = -f + 8 for j.
2
Let t(n) be the third derivative of 0*n - n**3 - 5/24*n**4 + 0 + 2*n**2. Let v be t(-4). Solve w - v = 4*m, m + 5 + 0 = w for m.
-3
Let b(p) = -3*p - 1. Let z be b(-1). Suppose -15 = -m - z*m. Let r = 17 + -14. Solve -v + 3 - 2 = r*h, 0 = -h - m*v + 5 for h.
0
Suppose -5*n + k = -22, -2*n + 26 = 3*n - 3*k. Suppose -n*u + 12 = -u. Solve x + u*c + 20 = 2*x, 5*x - 24 = c for x.
4
Let l(m) = -m**3 + 10*m**2 - 9*m + 5. Let r be l(9). Suppose -r*v = -0 - 10. Solve 5 = v*i - 0*n + 5*n, 5*n - 20 = i for i.
-5
Let o = 1 + -3. Let s(k) = -k - 1 + 0*k + 1. Let h be s(o). Solve 0 = h*c - 2*j + 10, c - 3*j + 11 = j for c.
-3
Let h be (-1280)/(-70) - 4/14. Suppose 2*s - 3*y - h = -2*s, -y + 26 = 4*s. Solve r - 5*a + 14 = -2*r, 2*a - s = r for r.
2
Suppose 3*s - 12 = i, 3*s + 2 = 3*i + 14. Solve 0*x = 2*x, i = -d + x + 3 for d.
3
Let j(r) = -r + 11. Let a be j(6). Suppose -5*n = l - 20, 2*n + l = -2*n + 15. Solve 4*i - 28 = -3*p - p, -a*p - n = -3*i for i.
5
Let t(m) = -12*m - 1. Let k be (1/2)/((-1)/2). Let c be t(k). Solve -3*o + 3 - c = -5*j, -5*j + 3 = 2*o for j.
1
Let y = -2 - -2. Let q(o) = y*o + o - 2 - 2*o. Let m be q(-6). Solve -3*u + 3*f = 0, -f = m*u + f + 12 for u.
-2
Let i be (-4)/10 - 68/(-20). Suppose 7*g - i*g = 40. Suppose x - g = -2. Solve 4*c = -16, 0 = 4*j - 7*c + 3*c - x for j.
-2
Let m = -6 + 10. Suppose -5*w = -d - 17, 1 = -m*d - w + 17. Solve -2*p - 5 = -y, p = -d*p - 16 for y.
-3
Let c(z) = z + 5. Let s be c(0). Suppose -b + 94 = s*v, 5*b - 8 = 12. Let p = -13 + 16. Solve 5*h - m = v, 3*h - h = p*m + 15 for h.
3
Let b(z) = -3*z + 7. Let i be b(-6). Solve -2*g + 3*f = i, 0 = 5*g + 6*f - f for g.
-5
Suppose -3 = -r - 1. Solve 3*x - 15 = 3*j, 5*x - 11 = -r*j - 0 for j.
-2
Let l be (28/8)/(-7)*-4. Suppose 0 = -2*o + 5*p - 9, 21 = l*o - 0*o + 5*p. Solve -2*d + 0 + 21 = -5*i, -i - o*d = -6 for i.
-3
Suppose 2 = 4*f - 3*f. Solve -t + 0 = f*g + 3, 4*g + 10 = 2*t for t.
1
Let u = -216 - -220. Solve 2*y = j - 2*j - 8, y - 3 = -u*j for j.
2
Let g be 0 + 2/(-1) + 4. Solve -2*c = 5*l - 19, -c = -g*l + 3*c + 22 for l.
5
Let k = -85 - -121. Suppose 2*y = -2*y + k. Let p(h) = h**3 - 5*h**2 - 14*h + 5. Let c be p(7). Solve -4*u - c*i = -y, 5*i = 5*u + i - 1 for u.
1
Suppose -2*x + 25 = 3*x. Let j = x + -12. Let b(p) = -p**2 - 8*p - 3. Let v be b(j). Solve 2*l - l - 4*u + 11 = 0, -v*l + u = -16 for l.
5
Let t = -15 - -21. Suppose 2*d + n + 0*n = t, -3*d + 27 = -3*n. Solve 0 = 5*a + 5*s - d, 0 = -5*a + 4*s + 37 + 4 for a.
5
Suppose 2*b = u - 16, -4*u + 6*u = 5*b + 28. Let y = -15 + u. Suppose n - 3*n = -16. Solve 3*f - n = -2*o + 13, -3*o = -y for f.
5
Let b(a) = a**2 + a - 3. Let h be (-3)/(-