6, 5*p = 4*o + 20. Suppose 3 = 5*v - p*n - 5, 6 = 4*v - 3*n. Solve -5*f = 5*a + 5, -4*a - 3*f + v*f = 0 for a.
3
Suppose 3*b - 4*w = 12, 0 = -4*b - w + 26 + 9. Solve 5*z - 2 = b, -3*z + 10 = u for u.
4
Suppose 0 = -7*g - 11 - 17. Let h be (g/(-10))/(-3*3/(-45)). Solve 3*s = -5*l + 10, h*l + s - 4 = 6*s for l.
2
Let c(k) = -k**3 - 3*k**2 + 5*k + 8. Let t be c(-4). Solve 0 = -t*f - 12, 3*l - 5*f = 7 + 5 for l.
-1
Suppose -3*v + 8*v + 2*v = 0. Suppose v = -3*h - 3*i - 6, -5*h - 2*i = -i - 6. Solve -8 = -h*a - 4*o + 6*o, 4*a = 3*o + 13 for a.
1
Suppose 0 = 3*w - 2*d - 5, 1 = -4*w - 8*d + 3*d. Let v be 1 - -3*w/(-3). Solve v = -4*h - q, 4*h = 2*q - 0*q + 12 for h.
1
Suppose -3*r - 44 + 56 = 0. Solve 3*i + x - r = 0, i = -3*i + 3*x + 1 for i.
1
Let q(w) = w + 16. Let t(o) = o**2 - 13*o + 18. Let p be t(10). Let r be q(p). Solve -k = -3*v - 14, -r*v = -4*k - 9*v + 5 for k.
5
Let v(h) be the second derivative of 1/6*h**3 + 13/2*h**2 + 0 - 5*h. Let m be v(-7). Solve -g - m = -4*t + 12, -g = 5*t - 18 for t.
4
Let c be (-3)/(21/(-14)*4/6). Suppose -2*i = -3*s + 17, -c*s - 2*i = s - 18. Solve -2*v = -5*p - 18 - s, -p - 15 = -3*v for v.
4
Let h be -3*((-2)/3)/1. Suppose 7*g + 37 = 79. Suppose h*f - g = -f. Solve v - 7 = -3*i + 4, f*v = 4*i - 18 for v.
-1
Suppose 0*g = 44*g - 880. Solve 0 = -5*d - k + 5 + g, d - 14 = -2*k for d.
4
Let y = -6 + 11. Let z = 46 + -43. Suppose 10 = 5*x - z*t - t, 0 = -x - 5*t + 2. Solve x*j + 5 = -p, y*j - 3 = -p - 17 for p.
1
Suppose -4*h + 6*y - y = -587, 0 = -y - 3. Suppose 4*q = h + 89. Suppose q = j + j. Solve 2*d + 0 = 4*p + 2, -2*p - 5*d = -j for p.
2
Suppose 0 = 8*o - 11*o + 174. Let q = o - -18. Suppose -q - 49 = -5*s. Solve -5*f - 2*a = s, 3*f + 2*f - 3*a + 25 = 0 for f.
-5
Suppose 0 = 5*z - 17*c + 20*c - 30, -2*z + 11 = c. Solve 0 = 4*r - z*d - 9, 0 = -3*r + d + 3 + 5 for r.
3
Let n be (-1)/(3/(-24)) + (25 - 33). Let b(c) = -c**2 - 4*c + 1. Let m be b(-3). Solve 0 = 2*q - m*s, -3*q + 2*s - 7*s - 11 = n for q.
-2
Suppose -5*i = -4*x - 25, -6*i = -4*x - 5*i - 5. Solve -3*m = -5*z + 27, x = -4*z + 2*z + 4*m + 22 for z.
3
Let k be 1/((-1)/(-4)*4). Suppose -8 = -3*t + k. Solve 0 = -s + 3*u - 3, 4*s + u + t*u = 4 for s.
0
Let o be 6/15 - 340/(-25). Let q = 20 - o. Solve 0 = 4*z - 2*y - q, 3*y + 6 + 2 = 5*z for z.
1
Suppose 0 = -3*l + v + 3*v - 6, 5*l = v - 10. Let m(a) = 2*a**2 + 6*a + 6. Let s be m(l). Solve 3*o = 5*f - 22, -16 = 3*o - s*f - 0 for o.
-4
Let x = -14 + 21. Let w(j) = j**2 - 4*j - 14. Let g be w(x). Solve 0 = -5*f - 4*s + 3*s + 4, 2*f - 5*s - g = 0 for f.
1
Let f = -24 + 27. Let d = 2 - 11. Let v be (f/d)/(-1)*15. Solve h = -5*k + 26, -v*h + 2 = k - 8 for h.
1
Let x be 50/(-6) + 8/24. Let m(l) = -l**3 - 9*l**2 - 8*l + 4. Let u be m(x). Suppose -2 = -3*t + u. Solve o - 4*v - t = -o, -2 = 2*o - 2*v for o.
-3
Let j(o) = -5*o**2. Let i be j(-1). Let s = 0 - i. Solve -2*w - 2*w + s*u = 20, 4*u - 16 = 5*w for w.
0
Let y be ((-40)/28)/((-40)/336). Solve w - 3*k = 39 - 42, -4*w - y = -4*k for w.
-3
Let p be (-23)/(-7) - (-4)/(-14). Suppose -2*s + 3*s = -g, 3*s = p*g. Solve s = -7*l + 3*l - 5*q - 4, 0 = q for l.
-1
Let h(a) = -3*a**2 - 3*a + 6. Let s be h(-2). Solve 6 = -3*t - 3*b, -2*t + 5*t - 2*b + 16 = s for t.
-4
Suppose -32*g + 105 = -27*g. Let r = -19 + g. Solve 0 = 4*t - 3*u - 22, -r*u = -t + 2*u + 12 for t.
4
Suppose -5*p + 14 = 4*g, 5*p - 5 = 4*g + 1. Solve -5*d - 20 = -4*f, 8 = -p*f - f - 2*d for f.
0
Suppose -d + 10 = 8. Let c(o) = -2*o**3 + 3*o**2 + o + 2. Let a be c(d). Solve 0 = 4*m - a*m - 2*u - 6, -3*u = 2*m + 9 for m.
0
Suppose 5*a - 2*n - 256 = 0, -3*a - 3*n = a - 191. Let h = a - 47. Let r be (10 - 2)/2 - 1. Solve 0 = r*j - 3*p - 3, h*p + 7 = j for j.
-2
Let u(n) = -n**2 + 28*n - 187. Let a be u(17). Solve 4*c + 4*k = a, -c + 5*k + 15 = k for c.
3
Let w(z) = 3*z**3 - 3*z + 2. Let g be (-6)/(-2) + 20/(-10). Let n be w(g). Solve -2*a = -u - 6 - 0, n*u - 2*a + 2 = 0 for u.
4
Suppose -4 = -q, 4*c - 34 - 46 = q. Solve i = -1, -w + c = 4*w - i for w.
4
Let a(y) = -y**2 - 8*y + 88. Let q be a(6). Solve -4*j = z + j + 12, -3 = -5*z - q*j for z.
3
Let r be 2/5 + (-22)/5. Let i(x) = x**3 + 3*x**2 - 7*x - 10. Let l be i(r). Let k be 2 - l - -2*7. Solve -3*b - 2 = -k, 8 = 4*v + b for v.
1
Let k be 3/(-3) + -18 + 24. Solve -5*y + 2*a + 17 = -a, k = 5*a for y.
4
Let f = 182 + -175. Solve 2*r - f = 3*r - 4*y, -5*r - 19 = -4*y for r.
-3
Suppose 8 = 2*p - 2. Solve 0 = -3*v - p*z - 23, v - z = -4*v - 1 for v.
-1
Let p be (5/10)/((-17)/(-8) + -2). Let b be 8 + 1/((-1)/4). Solve -p*m = b*s, 24 = 2*s - m - 3*m for s.
4
Let y(b) = b**2 - 18*b - 40. Let m be y(20). Solve s - z - 1 - 1 = m, -4*s = z - 8 for s.
2
Let v(k) = -7*k + 2*k + k**2 - 8*k + 14. Let s be v(12). Suppose f = -s*f + 3*x + 27, -3*x - 18 = -2*f. Solve 3*g + 7 = 2*t, -3*t - g + 4*g = -f for t.
2
Suppose b + 4*x = -12, 2*x + 28 = 4*b - x. Let r be (-74)/(-10) + (-6)/15. Let s = r - 5. Solve k + s*j - 1 = 0, b - 5 = -k - 4*j for k.
1
Let b(n) = 5*n**2 - 15*n - 16. Let l be b(-1). Solve 3*s = 5*x + 26, -l*x - x = 20 for s.
2
Suppose -3*o + 7 = -5. Let z be -6*(-3 - (-8)/o). Let u(d) = -d**3 + 5*d**2 + 7*d - 2. Let r be u(z). Solve -14 = -6*h + 3*h - 5*v, r*v = 4 for h.
3
Let b(p) = -p**3 + 20*p**2 - 48*p - 46. Let s be b(17). Solve -s*a + t + 10 = 0, 4*a - 5*a - t + 8 = 0 for a.
3
Let o(h) = -h**3 + 4*h**2 - 5. Let c be o(4). Let j be (-2)/3 - 3/9. Let a = j - c. Solve -5*g - 45 = -a*x, -3*g - 30 + 0 = -3*x for g.
-5
Let b(w) = w**2 - 6*w + 9. Let j be b(5). Suppose 3*o - 4*c = -2*o + 195, o - 63 = -j*c. Let g = o + -26. Solve -5*k = -3*s - 28, 2*s + 0 = 3*k - g for s.
-1
Suppose -4*l - 16 = 0, -3*l = -f + 31 - 15. Solve -4*p - 4*r + 18 = -2, 0 = f*p - 4*r + 4 for p.
2
Suppose 19*b + 8 = 27. Solve -5 - b = 2*j, 3*m + 9 = -5*j for m.
2
Let i(n) be the third derivative of n**6/120 - n**5/30 + n**4/24 - 2*n**2. Let t = 15 - 13. Let d be i(t). Solve 0 = -3*u + c - 3, -c = u + d*c + 1 for u.
-1
Let x = 59 + -57. Let f be (-96)/(-36) - x/(-6). Solve -i - m = 3, -m - 4 = -i - f for i.
-1
Let z = -2042 + 2046. Solve 0 = 3*b - 3, 9 = -5*f - 0*b + z*b for f.
-1
Let s be (-1)/(-2) + (-630)/(-60). Suppose -s*r = -7*r - 16. Solve 5*l - 2*p + 9 = -r*p, 2*l + p + 4 = 0 for l.
-1
Let l(i) = -i**2 - 15*i - 26. Let d(f) = -f**3 - 5*f**2 - 2*f - 1. Let b be d(-3). Let h be l(b). Solve 0 = 5*y + 4*s - 4, y - 3*s = -h*y - 3 for y.
0
Suppose 66*j - i - 2 = 69*j, 0 = -5*i - 10. Solve -m + 4*g - 16 = j, 3*m - 5*g = -8*g + 12 for m.
0
Let k = -2238 - -2240. Solve -l - k = 13*u - 12*u, 5*u - 2*l - 11 = 0 for u.
1
Suppose 3*k = 2*k + 4. Suppose -3 = -3*j - l, 4*j - 126 = 4*l - 90. Solve -4*y + j*s = y + 5, y = k*s - 1 for y.
-1
Let v be 4/18 + 572/18. Let y be 12/(-36) + 2/6. Suppose z + 4 = -2*g, 12 = -2*z + z - 4*g. Solve -z*m + m + 5*i = -v, 2*m + 2*i = y for m.
4
Let g = 10 - 2. Let l(w) be the first derivative of -3*w**2/2 - 16*w - 10. Let r be l(-7). Solve h - 4*q - g = 0, 2*h = h + q + r for h.
4
Let o = 97 - 88. Solve -4*c + o = -s, 5*c - s = -2*s + 9 for c.
2
Suppose 2*o - 31 = 5*f, -5*f + 26 = -3*o + 65. Suppose -o*s + 13 = -11. Suppose -2*v + 6 = -4. Solve -k + 2*k + 2*x + 9 = 0, -19 = v*k - s*x for k.
-5
Suppose -4*n - 6*t = -9*t + 3, -5*n - 5 = -5*t. Solve -20 = 5*p + 5*i, -4*p - 3*i + n - 13 = 0 for p.
-1
Let f(w) = w**3 - 4*w + 3. Let g(d) = -2*d - 6. Let a be g(-4). Let o be f(a). Let v(b) = b**2 - b + 4. Let l be v(3). Solve -4*m = -3*p, o*p - l - 2 = 0 for m.
3
Let l be (-5 - 4/(-4))/(-2). Suppose 0 = 5*n + z + l*z + 26, -3*z = 4*n + 22. Let p be n/(-6)*(0 + 12). Solve 4*t = 4*w + 1 + 7, 3*t - w = p for t.
3
Let f be 4/(-9) - (-196)/36. Solve 7*k - f*o = 2*k + 30, -7 = -2*k + o for k.
1
Suppose -8 = -2*r, -4*r = d - 16 - 11. Let s(o) = o**2 + 5. Let n be s(0). Suppose n*b - d = 4. Solve 5*v - b*l + 3 = -4*l, 5*v - 5*l = -15 for v.
-1
Suppose -3 + 9 = y. Suppose y*z - 12 = 6. Solve 4*x = -5*b + 17, 0 = -z*x + 4*b + 3 + 2 for x.
3
Let h be (-35)/(-20) - (-2)/8. Suppose -w - 11 = 4*i, -h - 6 = -4*w - 3*i. Solve -d - 2*s + 7 = 0, -2*d - 2*d - w*s = -16 for d.
-1
Suppose 120*o + 14 = 127*o. Solve -v + o*n - 9 = 0, -8*n = -v - 7*n - 5 for v.
-1
Let c be ((-8)/(-4) + 5)*(-12)/(-7). Let x be 20 - 6*8/c. Solve -3*v = -3*a - v + 11, -5*a + v + x = 0 for a.
3
Let i(w) = w