r(c) = c**2 + 16*c + 5. Let t be r(-16). Solve 0 = -0*z - t*z for z.
0
Suppose 2 = -3*d + 11. Suppose -4*h - g + 8 = -12, d*g = h + 8. Solve 0 = h*j + 12 - 4 for j.
-2
Let n(l) = l**3 + 6*l**2 + 2*l - 3. Let j be n(-5). Suppose -j + 0 = 4*y. Let w be y/6 - 11/(-2). Solve 2*d = 7*d - w for d.
1
Let g(d) be the second derivative of -4*d + 1/3*d**3 + 1/2*d**2 + 0 + 5/12*d**4. Let f be g(-1). Solve -f = -l - 6 for l.
-2
Let o(b) = -b**3 - 9*b**2 + b + 12. Let m be o(-9). Suppose 17 + 4 = m*h. Solve 0 = -h*d + 3*d + 4 for d.
1
Let u be (-12)/3 + 1 + 5. Solve 0 = b + u*b - 3 for b.
1
Let o = 6 - 3. Suppose o*i - 7*i + 32 = 0. Suppose 2*u + 2*u = i. Solve u*l + 0 = 4 for l.
2
Let d be (6/15)/(-1)*-5. Let w = -1 - -13. Suppose 4*v = -3*i + 16, -w = -3*v + 2*i - 0*i. Solve -d*z - v = 6 for z.
-5
Suppose -6 - 6 = -4*x. Solve 2*b + 3 = -x for b.
-3
Let s = -10 + 19. Let y be 112/20 + -3 + (-12)/20. Solve m = -y*m + s for m.
3
Suppose -12 = 6*n - 3*n. Let l be ((-14)/n)/((-1)/(-2)). Let k = -4 + l. Solve -k*c = -c for c.
0
Let v be (-208)/36 - (-4)/(-18). Let a = v + 8. Solve -3 = a*h - h for h.
-3
Let r(v) = 5*v**2 - 1. Let k be r(-1). Suppose -k*t = t - 30. Solve -5*m - t = -16 for m.
2
Suppose 5 = k - 4*c + 1, 0 = -5*k + c + 39. Solve -u = u + k for u.
-4
Suppose -27*c + 25*c - 34 = 0. Let r = -13 - c. Solve r*p - p = -6 for p.
-2
Suppose -12*v - 19 + 259 = 0. Let i = -4 + 7. Solve a = -i*a + v for a.
5
Suppose p = 2 + 2. Suppose p*q + 0 - 32 = 0. Solve -r + q = 3 for r.
5
Let i be 19/7 + (-10)/(-35) + 0. Solve -3*o = -6 + i for o.
1
Suppose 5*a = -4*f - 0*a - 13, 4*f = -a + 7. Solve r = -f*r for r.
0
Let z be 2 - 0 - (-7 + 4). Solve 4*g + g = z for g.
1
Let n = -23 + 29. Suppose 0 = t - 5*q - 9, 2*t = -q + 4 + 3. Let p = n - t. Solve -5 = p*k - 3*k for k.
5
Suppose 0 = 5*j - 5*t - 25, -j + 5*t = -3 - 14. Let a be (16/(-12))/(j/(-12)). Solve v + v = -a for v.
-4
Suppose 5*z - z - 16 = 0. Solve -z = -u - 1 for u.
3
Let g(c) = c**2 + 8*c - 2. Let o be g(-8). Let s(z) = -z**3 + z**2 + 2*z + 2. Let h be s(o). Solve -2 = 4*t + h for t.
-3
Let j be (1/(-3) - -1)*(10 + -1). Solve 2*x = -0*x - j for x.
-3
Let k be 3/3 - 4/(-1). Let x(c) = c**3 - 6*c**2 + 4*c + 7. Let o be x(k). Solve -o + 4 = -2*f for f.
-1
Suppose 0 = 4*j - 3*p + 2*p - 6, 0 = 2*j - 2*p. Let w be -2*1/((-4)/6). Solve j = -w*x + 8 for x.
2
Let s be (-18)/(-9) - (-1 - 0). Solve a = s*a for a.
0
Let y = -11 - -7. Let w = y - -6. Suppose p + p - 3*n = w, -2*p + 2*n = -2. Solve -1 - p = r for r.
-2
Let w(l) = l**2 + l + 2*l + 9 - 7*l - 6*l. Let i be w(9). Solve -2*n = -i*n + 6 for n.
-3
Let r be -2*2/2*-1. Suppose -r*v - 23 = -4*s - 3, 5*s + 3*v - 25 = 0. Let k = -5 + s. Solve -p - p + 2 = k for p.
1
Let l(q) = 4*q**2 - q**3 - 3 - 2*q - 9*q**2 - 1. Let r be l(-5). Let b = -16 + 19. Solve -b*x + 0*x + r = 0 for x.
2
Suppose 0 = 2*p - 2*f + 28, -p + 2*f + 12 = -3*p. Suppose 4*v + 11 = 71. Let n = p + v. Solve -n = z - 0 for z.
-5
Suppose -2*x = 4*m - 26, 0*x = -4*m + 3*x + 11. Suppose -19 = m*z - 69. Let o = z + -5. Solve 2*s + 1 = o for s.
2
Let j(t) = -t**2 - 6*t + 8. Let u be j(-6). Let f be 278/u - (-3)/12. Suppose 0 = -5*w - 5*l + f, -2*w = w + l - 23. Solve g - w = -g for g.
4
Let x(o) be the third derivative of -o**5/60 + o**4/6 + 7*o**3/6 - 3*o**2. Let l be x(5). Solve -3*v + l = -4 for v.
2
Suppose -5*y - 3 = 4*s - 21, 2*y - 10 = -3*s. Solve 4*t - 6 = -y for t.
1
Let q = -12 + 14. Suppose 3 + 3 = q*d. Suppose -2*a + a = 0. Solve -j - d = -a*j for j.
-3
Suppose -4*g - 10 = -2*g. Let y be (2 + g)*-1 - 1. Solve -y*t = -t for t.
0
Let s = 12 - 9. Let u = s - 3. Solve u = -2*f + 6 for f.
3
Suppose l = -4*l + 25. Suppose 41 = l*q - 39. Solve -3*j = j + q for j.
-4
Suppose -5 = 4*c - 9. Solve -5*o - 4 = c for o.
-1
Suppose 4*q = -g + 16, 4*g + 11 = -2*q + q. Let o = 20 - 20. Suppose -4*r + c - 9 + 24 = o, -20 = r - 5*c. Solve -2*d = q + r for d.
-5
Let v = -21 + 36. Solve 4*j = -j + v for j.
3
Let i = -6 - -9. Suppose 3 = -14*b + 13*b. Let g be 0 - -5 - (b + i). Solve 0 = g*y + 16 + 9 for y.
-5
Let j be 3/15 - (-87)/15. Suppose 5*v - j = 4. Solve 5*h = v*h + 3 for h.
1
Suppose 0 = 2*a - 10, 5*n = 2*a - 17 + 77. Suppose 0 = 4*u - n - 6. Let s = -11 - -16. Solve 0 = -s*k - 0*k + u for k.
1
Let s(z) be the third derivative of z**5/60 - z**4/6 - 5*z**3/6 - 2*z**2. Let q be s(4). Let c = q - -8. Solve 3 = c*d - 6*d for d.
-1
Let w(a) = -5*a**2 - a + 4. Let g(n) = -14*n**2 - 2*n + 12. Let u(x) = 4*g(x) - 11*w(x). Let m be u(4). Solve m = 3*i - 2*i - 4 for i.
4
Let c(a) = -3*a - 6. Let t be c(-4). Suppose b = 4*p - 3, -5*p = -3*b - b - 12. Let g be (-1)/t*2*p. Solve 0 = q - g*q for q.
0
Let c(a) = 4*a - 42. Let l be c(13). Solve 0 = f + f + l for f.
-5
Suppose 2*i - 10 = 2*v, -4*v + 4*i + i - 25 = 0. Suppose v = 4*x + 4*b - 16, -b + 4 = -0*b. Solve -2*m = -x*m + 4 for m.
-2
Let c be (-2 + 2)*2/(-2). Solve 0 = -2*k - c + 6 for k.
3
Let k(q) = -q**2 - 5*q + 5. Let l be k(-7). Let z be 2/l - (-228)/54. Solve 8*g - z*g = -12 for g.
-3
Suppose 0 = 4*a - 19 + 7. Let c = -3 - 0. Let t = c + a. Solve 5*l - 3*l + 4 = t for l.
-2
Let l be 0 - (40/(-4) + 5). Solve l*d + 10 = 30 for d.
4
Let c(j) = -j**3 + 5*j**2 - j + 7. Let w be c(5). Suppose -w + 5 = -3*a. Let i be 15/(5 - 2) + a. Solve i*v = 1 + 11 for v.
3
Let r = -8 - -3. Let t = 8 - r. Suppose 0 = 2*l - 5*z + 4, -t = -l - 2*z - 3*z. Solve -w = -l*w for w.
0
Let q be (-36)/105*5*(-14)/4. Solve -2 = q*x - 8 for x.
1
Suppose 4*p = 4*w - 5*w - 8, -2*p - 4 = w. Suppose w = 5*i - 15. Let h be (-256)/(-14) - 10/35. Solve h = 5*z + i for z.
3
Let a(n) = 2*n + 8. Let x(m) = -m. Let z(s) = -a(s) - x(s). Let k be z(-11). Solve -5*q + 2 = -k for q.
1
Suppose 2*i - 19 = -5*w - i, w + 2*i = 1. Suppose 6*m - w*p = 3*m + 6, 10 = 5*m - 3*p. Suppose m*j - 2 = 0, -3*j + 34 = 2*q + j. Solve -5*n = -0*n - q for n.
3
Let a(p) = 43*p**2. Let y be a(-1). Suppose 4*x = 29 + y. Let l be (-5)/(105/x)*-7. Solve -3*z = -l*z + 9 for z.
3
Let x be 16/(-6)*18/(-12). Solve -2*n = -0*n - x for n.
2
Let c(u) = -u**3 + 8*u**2 - 1. Let q(y) = 2*y**3 - 17*y**2 - y + 2. Let z(a) = 7*c(a) + 3*q(a). Let r be z(4). Let n be (r - 10/4)*2. Solve 4*d - n = -5 for d.
-1
Let u(p) = -p**2 - 7*p - 8. Let x be u(-4). Solve 0*h = 2*h + x for h.
-2
Suppose -m = 2*b - b - 39, 0 = 5*m - 20. Suppose 5*p - 3*o = 2*o + b, -8 = p + 4*o. Let s = -8 - -8. Solve t = -s*t + p for t.
4
Let w(c) = 6*c**3 + 3 + 7*c**2 + 0 + 1 - 7*c**3. Let g be w(7). Let b(s) = -s. Let u be b(-2). Solve 0 = u*d - g*d + 2 for d.
1
Suppose 4*u - 3 + 0 = -5*j, -4*j = -u - 15. Let s = u - -6. Let y = s + 0. Solve -4*b = -y*b for b.
0
Suppose 4*q - 4 = -2*k, -3*k + 5 = 4*q + 1. Solve k*v + 3 = -v for v.
-3
Suppose 0 = i + i - 32. Suppose -2*f - 9 + 5 = -4*a, 5*f + 4*a = 18. Suppose 2*z = -5*o + 4 + 16, 4*z = 4*o - 44. Solve f*m = -o + i for m.
5
Let c be 0*(1/(-2) - 0). Suppose 5*b = -c*b + 15. Solve 2 - b = w for w.
-1
Let o(a) be the third derivative of a**4/24 + a**3/3 + 3*a**2. Let n be o(4). Solve v = -v + n for v.
3
Let v(c) = 11*c - 7. Let a be v(1). Solve 0*x + a*x + 20 = 0 for x.
-5
Let w be 112/(-21)*(-36)/16. Solve -4*i + w = -0*i for i.
3
Let h(l) = -l**3 + 4*l**2 - 4*l + 4. Let j(r) = -r + 10. Let g be j(7). Let d be h(g). Let p = -17 + 24. Solve d + p = -2*q for q.
-4
Let x = -39 - -44. Solve -x*g = -14 - 1 for g.
3
Let r(n) = n**3. Let p be (-2)/7 - 6/(-21). Let b be r(p). Solve b = 3*m - 20 + 5 for m.
5
Let u = 10 + -10. Solve 5*p - 5 = -u*p for p.
1
Let o(x) = -1 - x**2 + 2*x**2 + 0*x**2. Let p = 1 - 3. Let i be o(p). Solve -i*k + 4 = -5*k for k.
-2
Suppose 0 = -4*t + 4*t - 5*t. Solve 2*s = 2 - t for s.
1
Let g be -5 + (1 - (2 - 3)). Let j be -3*(-3)/g*-1. Solve -j*a - 3 + 15 = 0 for a.
4
Suppose -5*t + 5 = 5*c - t, -3 = -3*c - 5*t. Let d = c - -11. Suppose d = -2*r + 5*r. Solve -r = 5*a - a for a.
-1
Let q(g) = g**3 - 5*g**2 + 5*g - 3. Let i be q(4). Let u be (-2 + 4)/(-2)*-3. Let r = u - -1. Solve 0 = -3*a - r + i for a.
-1
Suppose f + f = -2. Let n be f/(((-21)/6)/7). Solve -2*c = n - 6 for c.
2
Let q = 7 + -1. Let i be (-2)/((-10)/q - -1). Suppose 0 = -i*a - 0*a + 12. Solve 0 = a*l - 2 + 18 for l.
-4
Let k(h) = h**2 - h + 3. Let t be k(0). Suppose -t - 80 = 3*z - 5*r, 2*z + 5*r + 22 = 0. Let u = z + 31. Solve -a + u = a