2 = 0, 4*w = 2*j - 30. Let o be 4 - (j + -2 - 4). Solve 25 = -4*s + o for s.
-5
Let n(b) be the second derivative of b**5/20 + b**4/3 + b**3/3 - b**2/2 + 6*b. Let g be n(-3). Solve g*a + 0*a = 4 for a.
2
Suppose 3*i - 8*i = -15. Let c(u) = -3*u**2 + 3*u + 2. Let t be c(i). Let g be (-76)/t + 1/4. Solve 5 = -g*p - 20 for p.
-5
Let c be (2/(-6))/((-7)/(-21)). Let y be (-1 - c)/(1 - 2). Let v(d) = 4*d - 8. Let n be v(6). Solve y = -3*p - p - n for p.
-4
Let p(i) = 2*i - 5. Suppose 0 = -4*w - 2 + 22. Let s be p(w). Solve s*m + 5 = -10 for m.
-3
Suppose -3*w + 12 = 2*h + 3*h, -3*w + 12 = h. Suppose -m + 3 = -h*m. Let t = 32 - m. Solve -4*z = 9 - t for z.
5
Let i = 32 + 42. Let n be i/14 + (-2)/7. Suppose -l = -4*l. Solve -n*x = -l*x - 10 for x.
2
Suppose 5*n - 15 = u, 5*n - 2*u = 2*n + 9. Suppose 20 = 6*a - a, -3*a = 4*q - 24. Let d = 3 - q. Solve d = -4*w - 5 - n for w.
-2
Let c = 25 + -20. Solve -5 = -c*z - 15 for z.
-2
Let a be 4 - (-6 - -2)/(-1). Solve 0*h + 5*h = a for h.
0
Suppose 3*m = -v - 2, 20 = 5*v - m - 50. Solve v = 5*x + 3 for x.
2
Let w(d) = -d**2 - 4*d - 2. Let z be w(-5). Let h(f) = -f**2 - 6*f + 10. Let v be h(z). Suppose 4*y = v*y + 2*a + 1, 4*y - 17 = -5*a. Solve c = y*c for c.
0
Suppose 2*m - 14*m = -0*m. Solve m = y + 4*y - 15 for y.
3
Let i be 8*((-7)/2)/(-7). Solve 17 = -i*q + 1 for q.
-4
Let h be (-2)/4 - (-10)/4. Suppose 0 = -3*j + o + 11, 4*o + 0*o + 14 = -3*j. Suppose h = -2*m - l - l, -j*l = 3*m - 2. Solve m*s + 15 = -s for s.
-3
Suppose -7*u + 3*u = -100. Suppose 3*i - u = -16. Solve -8*q = -i*q - 15 for q.
3
Let q = -4 - -9. Suppose 3*d - q*t = -t + 1, 3*d + 3*t = 15. Let b be 1/(-5 + d)*-8. Solve j + b + 0 = 0 for j.
-4
Let k(x) = x**2 - 2*x + 1. Let a be k(2). Let w be 8/(-3)*(-36)/(-16). Let h = 8 + w. Solve -h*t + 7 = -a for t.
4
Suppose 0 = -3*c - 5*d + 30, 3*c - 8*c + 5*d = -10. Suppose 4*u + v = -3, 0 = c*u + 5*v - v + 1. Let r be (-1 - u - -8) + 2. Solve -2 = 4*x + r for x.
-3
Suppose -489 + 192 = -3*o. Let l be 612/o + 2/(-11). Let h(y) = -y**3 + 7*y**2 - 7*y + 8. Let c be h(l). Solve -c*p - p = 0 for p.
0
Suppose -4*v - t + 3 = 1, 2 = 3*v + t. Solve v = d + d - 10 for d.
5
Suppose 3 = -y + 2*x + 2, -3*x = 4*y - 7. Solve 0 = -2*n + y + 3 for n.
2
Let a(b) = -b**2 - 4*b - 3. Suppose 2*h = x - 3, -5*h - 2*x - 11 = 10. Let d be a(h). Let w = 0 + d. Solve w = 2*u - u for u.
0
Suppose -5*q = 5, -m + q + 2 = -0*m. Solve 2 + m = -u for u.
-3
Suppose 38 - 2 = 4*x. Solve d - 6 = -x for d.
-3
Let x = 31 - 31. Solve x = -3*p + 12 - 3 for p.
3
Let s be 58/8 + 1/(-4). Let w = -3 - -6. Let p = w + 17. Solve -s*d + 2*d = p for d.
-4
Suppose 2*i = -5*p + p + 28, 16 = 3*p - i. Let y be ((-3)/p*0)/(-2). Solve -g = -y + 2 for g.
-2
Let y(v) = -v + 1. Let c(g) = -5*g + 1. Let k(i) = c(i) - 4*y(i). Let n be k(-5). Solve -4*d + n*d = -10 for d.
5
Let i(s) = -4*s + 47. Let q be i(11). Solve 0 = m - q*m - 6 for m.
-3
Suppose 2*k = -5*v + 4, 5*k + 5*v + 0*v - 10 = 0. Let c(g) = -4*g - 1 + 0*g - g**k + 2*g**2 + 0. Let m be c(5). Solve m*o = -10 - 6 for o.
-4
Suppose 0 = -2*k - 6*w + w + 24, 0 = -k + 2*w + 12. Suppose -2*m = -m - 8. Let n = k - m. Solve -12 - 4 = n*d for d.
-4
Let j(t) = -t + 19. Let q be j(16). Solve 2*w - q*w = -1 for w.
1
Suppose 3*d + 4*v + 6 = 0, -5 = 2*d + 4*v + 3. Let h = 0 + d. Let t be -2 - -6*1 - h. Solve 0 = f - 3*f + t for f.
1
Let a(r) = -r**2 + 10*r + 3. Let k be a(10). Suppose 0 = -j - j - 4*d - 4, -k*j - 4*d - 4 = 0. Suppose 3*p = -o + 8*p + 28, j = o + 2*p. Solve -f = f + o for f.
-4
Let x = -3 + 7. Let b = 6 + 9. Solve x*w + b = -w for w.
-3
Suppose m + 61 = -3*b - 4*m, -4*b = -5*m + 23. Let p = b + 20. Solve p = i - 3*i for i.
-4
Let g(r) be the third derivative of r**6/120 + r**5/60 - r**4/12 - 3*r**2. Let a be g(-2). Suppose a = 2*n - n. Solve 2*j + n = 6 for j.
3
Suppose 2*b + k = -1, 5*b - 2 = 2*b + 2*k. Solve -3*m - 2*m + 25 = b for m.
5
Let j(y) = -2*y - 9. Let q be j(-6). Solve s + q = 6 for s.
3
Let l be ((-32)/6)/(28/(-42)). Let u = 11 - l. Solve u*w = -12 - 0 for w.
-4
Let x(b) = b + 8. Let y be x(-4). Suppose -2*z + m + 1 = -0*m, 28 = -y*z - 4*m. Let j be z - (-5 + 1 + 0). Solve l + j*l - 15 = 0 for l.
5
Suppose 10 = 4*f - 6. Suppose -f*b = 1 - 21. Solve 2*h + b = -5 for h.
-5
Suppose 2*p - 23 = -3*t, -3*t = 5*p - 2*p - 27. Solve -q = -0*q - t for q.
5
Let b be -2 + (4 - (-2 - 0)). Let o = b + -3. Suppose 8 = 4*c + j, 3*c + 5 = 3*j - j. Solve -m + o = -c for m.
2
Let v be -8*(2 - 9/2). Suppose -2*q + u = -2 - 6, 4*q - v = 3*u. Solve -q*b = -6*b + 4 for b.
1
Let g be -9*((-24)/9 + 2). Let i = -3 + g. Solve i*q - 6*q = 0 for q.
0
Let r(d) = -d**3 + 6*d**2 + 6*d + 7. Let a be r(7). Solve a*b = -5*b for b.
0
Let z(p) = -2*p - 6. Let h be z(-10). Suppose 0 = -5*v - 5*a - 55, -6*a = -v - 2*a + h. Let f = v + 8. Solve f*g + 5 = g for g.
-5
Let r = 34 - 33. Solve -c + r + 3 = 0 for c.
4
Suppose o + 3*o = 24. Suppose 20 = -u + o*u. Solve 5*a - u*a = 0 for a.
0
Let o(n) = 3*n + 44. Let y be o(-13). Solve 4 = y*j - 1 for j.
1
Suppose -2*m - 2*k + k = -5, -5*k = -4*m - 25. Solve m = s - 2*s + 1 for s.
1
Let a be (-18)/(-63) + 5/7. Suppose 4*l - 2*n + a - 5 = 0, -3*n + 16 = 5*l. Solve -l*w - 10 = 3*w for w.
-2
Suppose 4*u - 3 - 21 = 0. Let a be ((-8)/u)/(1/(-3)). Let o = 823 - 818. Solve -15 = a*h + o for h.
-5
Suppose -3*r - 2*d + 6*d - 11 = 0, -4*r + 5*d = 15. Let z(m) = -m**2 - 5*m + 3. Let g be z(r). Solve 12 = -0*t - g*t for t.
-4
Let b = 1 + 6. Let w = b - 3. Solve 0*f - w*f = 0 for f.
0
Let p(y) = y**2 + 2*y - 3. Let l be p(2). Let x = l - 0. Suppose 4*b - 10 = 3*o + 2*o, 0 = b + 5*o + 10. Solve b = x*v - 5 for v.
1
Let f be 1 - (-2 - -1)*7. Suppose -b - b + f = 0. Solve b*l - 2 = 14 for l.
4
Suppose -4*x + u = -8*x + 136, 68 = 2*x - 2*u. Suppose -3*c - 2*r = -0*r - 23, 5*c = r + x. Solve 16 = -c*p + 3*p for p.
-4
Let j be 7/((-7)/(-4)) - 2. Solve 0*i - j = i for i.
-2
Let a be (-26)/(((-15)/6)/5). Let g = a + -29. Let c be 6/15 - g/(-5). Solve -c*z + 2*z - 3 = 0 for z.
-1
Let q be 3/2*(-10)/(-15). Solve -q = -3*j + 5 for j.
2
Let o(q) = -q**2 - 23*q + 8. Let h be o(-23). Solve 3*z + h = -z for z.
-2
Let f be 2/((-3)/(-33)*13 - 1). Solve f*l - 1 = 10*l for l.
1
Suppose 15*d - 30 = 10*d. Solve 5*h = -14 - d for h.
-4
Let o = -9 - -12. Suppose 2*c + 4*b + 8 + 0 = 0, o*c - 5*b - 21 = 0. Solve c*k - 5*k - 9 = 0 for k.
-3
Let p(c) = c**2 - 12*c + 6. Let a be p(12). Suppose -5*u + a = -3*u. Solve u*m - 5 = 2*m for m.
5
Suppose 0 = -5*a + 4*d - 0 - 8, 5*a = d - 2. Suppose a*l - 5 = -l. Solve k - 2 = -l for k.
-3
Let v be 6 + (-6 + 1 - -3). Let j be (-30)/(-4) - 2/v. Solve -3*w = -2 - j for w.
3
Let q(s) = -2 + 3*s + 3*s**2 + 4*s**2 + 2*s - 1 + s**3. Let z be q(-6). Solve 0*l + 15 = -z*l for l.
-5
Let f(k) = 3*k - 7. Let x be f(4). Solve 2 = -x*l - 13 for l.
-3
Let p = -61 - -86. Let r(n) = 3*n + 2. Let j(g) = g. Let o(s) = 6*j(s) - r(s). Let l be o(2). Solve w = -l*w - p for w.
-5
Let y(g) = -g + 8. Let i be y(8). Suppose 5*s - l = 8 + 7, -3*s - l + 1 = i. Solve 2 = s*n - 0*n for n.
1
Let p be 0 - 6 - (0 - 0). Let f = 12 + p. Let c = 63 + -61. Solve -c*r + f*r = 0 for r.
0
Let j(v) = v**3 - v**2 - 7*v + 7. Let z be j(3). Solve 0 = 4*s - z for s.
1
Let r(o) = 2*o - 2. Let f be r(5). Suppose -3*h = -f*h + 15. Suppose 0 = i + h*i. Solve i = -2*m - 0 - 10 for m.
-5
Let v = 10 + -15. Let p(t) = t**3 + 5*t**2 - 2*t. Let i(x) = -2*x**3 - 9*x**2 + 5*x. Let m(c) = v*p(c) - 2*i(c). Let q be m(-7). Solve 0*n + 3*n = q for n.
0
Let q be (-1)/(-2)*-3*-2. Let g be 3 + ((-3)/3 - -3). Let p = g - q. Solve 0 = -0*z + 2*z + p for z.
-1
Suppose -4 = -4*j + 3*w + 4, -w - 2 = -j. Let m be j - 9/(-6)*-2. Let d be m - (3/1 + -12). Solve 7*x - d = 3*x for x.
2
Let p be -2*(-3 - -2) - 2. Solve -3*v - 16 + 7 = p for v.
-3
Suppose -2*t = r + t - 20, 0 = 2*r + 2*t - 24. Let o = r - 5. Suppose 0 = 5*g - 7 - 33. Solve g = -o*z - z for z.
-2
Suppose -3*z = 12*z - 30. Solve -z*u = 3*u for u.
0
Let r be (2 - 4)/6 - (-28)/12. Let o(k) = 1 + 3*k + 3 - 2. Let y be o(2). Solve -2 - y = -r*l for l.
5
Let b = -8 - -3. Let v = b + 14. Solve -v = -4*x - 1 for x.
2
Let o(i) = i**2 - 3*i - 1. Let p be o(5). Solve 5*c + p = -6 for c.
-3
Suppose 2 - 6 = -x. Solve -3 = -a + x*a for a.
-1
Let o(h) = -h**3 + 3*h**2 + 5*h. Let d be o(4). Solve n