Let o(c) = -c**3 - 8*c**2 - 14*c - 7. Let f be o(-6). Solve -f*z - 2 = 8 for z.
-2
Let a(s) be the third derivative of s**7/5040 - s**6/120 + s**5/20 + 3*s**2. Let t(x) be the third derivative of a(x). Let c be t(6). Solve -2*g = -c*g for g.
0
Let h be (-5)/15 - 4/6. Let u(w) = w + 1. Let r be u(h). Solve 2*x - 3 - 7 = r for x.
5
Let g(n) = n**2 + 5*n + 5. Let u be g(-5). Let l(y) = -y**3 - 4*y**2 - 4*y - 1. Suppose 4*b + 0*b + 12 = 0. Let r be l(b). Solve u = -r*d + 15 for d.
5
Let i(x) = -7*x**3 - 17*x**2 + 2*x - 3. Let r(j) = 3*j**3 + 8*j**2 - j + 1. Let z(f) = 2*i(f) + 5*r(f). Let w be z(-6). Solve -w*g + 13 + 7 = 0 for g.
4
Let a(v) = 5*v + 5. Let u be a(-1). Solve u*m - 4*m = -12 for m.
3
Let a = 82 - 79. Solve 0 = w + a*w - 20 for w.
5
Let i(p) = -p**3 + 14*p**2 - p + 14. Let b be i(14). Solve 2*a - 4 + b = 0 for a.
2
Suppose o = 4*z + 25, o - 4*z = 6*o - 5. Suppose -o*r = -0*r. Solve r*c = -4*c + 8 for c.
2
Let b = 90 + -83. Solve -4*a - b = -27 for a.
5
Suppose 2*b + 4 = 4*b. Suppose 126 = 39*g - 18*g. Solve -s = b*s - g for s.
2
Suppose 2*t - a = -0*t + 6, a = -3*t + 9. Solve -t*d + 0*d = -12 for d.
4
Suppose 0 = -b - 36 + 41. Let x(s) = s**3 + 5*s**2 - 6*s + 4. Let l be x(-6). Suppose l*a = b*a. Solve a*i = 5*i + 10 for i.
-2
Let o(s) = -4*s**3 - 2*s**2 - 2*s - 1. Let y be o(-1). Solve -i = -y*i for i.
0
Suppose 4*u + 30 = -u. Let c(i) = 3*i + 14. Let a be c(u). Let t(k) = k**2 + 4*k + 3. Let h be t(a). Solve h*v = -2*v for v.
0
Let r be 1/(-3) - (-28)/12. Solve -r*m = -m for m.
0
Let f = -5 - -8. Let b(r) = 0*r**2 + 3*r**2 + r - 6*r + 3*r**2 - r**f. Let x be b(5). Solve 3*i - 6*i - 9 = x for i.
-3
Let l = -2 - -7. Suppose -l*u = -0*u. Solve m = -u*m + 4 for m.
4
Suppose y = 5*y - 24. Let k be 3/1*y/(-9). Let s be (-3)/(-3)*(1 - k). Solve -4*o = -17 - s for o.
5
Let o be 4 - (-5)/(3 + -2). Solve p + o = -2*p for p.
-3
Let n = 0 - -6. Let t be 16/n + (-3)/(-9). Solve 0*m + t*m = 6 for m.
2
Suppose 5*x - 28 = -4*s, 4*x = -4*s - s + 26. Solve 0 = -s*o - 2 - 2 for o.
-2
Let j be ((-2)/2)/(-2)*-6. Suppose 19 = 5*k - 16. Let o = k + j. Solve 5*t + 1 = o*t for t.
-1
Let g be (-16)/(-9) - 4/(-18). Suppose 0 = b - 4*p - 13, -4*b + g*p + 13 = -3*b. Suppose -5*x + 7 = -b. Solve -x*f - 1 + 13 = 0 for f.
3
Let n = 19 + -17. Solve 0 = n*w - 3*w - 1 for w.
-1
Let v be 6/39 + (-1550)/(-65). Solve -9 = 3*a - v for a.
5
Let i be 0/19 + 8/2. Suppose 0 = q - 3 + 6. Let g = -2 - q. Solve -3*l = -g + i for l.
-1
Suppose 4*i - 2*h - 4 = 4, 5*h - 4 = 4*i. Suppose i = -4*g + 16. Solve -g*y = -4*y + 2 for y.
2
Let u(n) = -6 + 3 - 3*n + 3 - 1. Let h be u(-2). Solve -1 + h = b for b.
4
Let k = 139 + -119. Solve -3*r = -8*r + k for r.
4
Let m(a) = a**2 + a - 6. Let u be m(0). Let v be 9/u + (-9)/(-6). Solve v = -r - 0*r + 2 for r.
2
Let y(d) = -d**3 + 12*d**2 + 15*d - 15. Suppose 5*v - 2*k = 55, -4*k = k - 25. Let z be y(v). Let l = z - 6. Solve -l*b + 9 = -16 for b.
5
Suppose 7 + 21 = 4*f. Solve -n - 2 = -f for n.
5
Let t(y) = 9 + 6*y**2 - 5*y**2 + 1 - 8*y. Let u be t(7). Let s(r) = -r**3 - 2*r**2 + r - 2. Let i be s(-3). Solve -d = -u*d + i for d.
2
Suppose 3*h - h = -4. Let p be h/5 - (-102)/30. Solve -3 - p = -3*y for y.
2
Let h be 2/(2*1/6). Let b(d) = 5*d**2. Let s be b(1). Suppose 2*o = s*o - h. Solve -1 = i - o*i for i.
1
Let r = -92 + 96. Solve -r*v + 4 + 0 = 0 for v.
1
Suppose 0 = -3*n - n + 12. Suppose 0 = -3*u - 4*t + 28, -3*u = 5*t - 49 + 17. Suppose -12 = -u*f - n*h, -f - 2*f - 5*h = -9. Solve f*o - o - 4 = 0 for o.
2
Let k(f) = -4*f**3 - 1. Let z be k(-1). Suppose 2*y - 10 = 3*u - z*y, u + 5*y - 10 = 0. Solve 3*x = -u - 3 for x.
-1
Let b be (-6)/(-9) - (-2)/6. Let j(n) = n + 7. Suppose -2*m + 0 = 10. Let o be j(m). Solve o*k = k - b for k.
-1
Suppose -2*r - 2*s + s + 12 = 0, 3*s = 3*r. Solve 7*i = 3*i + r for i.
1
Suppose -n - 11 = -3*y, 0 = -y + 3*n - 2 + 11. Let s be y/15 - 58/(-10). Solve s*r - 2*r = 0 for r.
0
Let f(h) = h**2 - 5*h - 10. Let g be f(7). Solve -4*w + g = -0*w for w.
1
Suppose 0*o + 2*o = 8. Let f be (-9)/(-2) - 2/o. Solve f*q - 3*q = 3 for q.
3
Let s be -1*3/(-2)*2. Solve s*z = 2*z - 5 for z.
-5
Let v = 2 - 2. Solve f = -v + 1 for f.
1
Let d(t) = -t**2 - 5*t + 3. Let w be d(-5). Let g = -22 - -39. Suppose 0 = -w*r - p + g, -2*r - 2*p - 1 = -11. Solve 0 = -r*v + 3*v - 12 for v.
-4
Let a be (-15)/(-6) - 1/2. Solve -c = a*c for c.
0
Let c(o) = -7*o**3 + 2*o**2 + o. Let k be c(-1). Solve 9*r = 11*r - k for r.
4
Let z be 9 + 3*4/(-3). Solve u = z*u + 8 for u.
-2
Let x be 1 + 3 - (-3 - -2). Solve 14 + 11 = -x*g for g.
-5
Suppose -5*k - 15 = 0, 3*i + 5*k - 3 = 6. Solve -4*h - i = -2*h for h.
-4
Let s = -10 + 16. Solve 5*r + 31 - s = 0 for r.
-5
Let n = 20 - 17. Solve 2 + 1 = n*u for u.
1
Let r(s) = -2*s**3 + 5*s**2 + s + 5. Let l(w) = -5*w**3 + 9*w**2 + 2*w + 9. Let h(c) = 3*l(c) - 7*r(c). Let q be h(-8). Solve 5*o = -q*o - 15 for o.
-3
Let d(q) = 4*q**3 - 13*q**2 - 14*q + 8. Let k(w) = -3*w**3 + 13*w**2 + 14*w - 9. Let y(t) = -2*d(t) - 3*k(t). Let i be y(14). Solve -5 = -4*n + i for n.
4
Let u = 18 + -8. Solve -v + u = v for v.
5
Suppose -65 = 5*c + 45. Let l = c - -47. Solve 0 = -q + 6*q + l for q.
-5
Let k = 41 - 34. Solve 3*h + 19 = k for h.
-4
Let r(u) be the third derivative of u**6/120 - 2*u**5/15 - u**4/24 + 11*u**3/6 + 2*u**2. Suppose 24 + 0 = 3*b. Let n be r(b). Solve 7*m + 20 = n*m for m.
-5
Suppose -5*l + o + 88 = 0, 5*l = 3*l + 4*o + 28. Let v(q) = -q**3 + 3*q**2 - q. Let a be v(2). Suppose a*m - l = -m. Solve 3*s = 6 + m for s.
4
Let n = 3 + 0. Suppose -3*o + 15 = 5*z, -3*z + 4*o + 23 = n*o. Solve -2 + z = -4*p for p.
-1
Let f = -34 - -21. Let z = f - -13. Solve z = -4*s - 0*s for s.
0
Let l(o) = o**2 - 1. Let h(g) = -g**3 + 10*g**2 - g + 2. Let z(b) = -h(b) + 4*l(b). Suppose -j + 1 + 5 = 0. Let q be z(j). Solve -w = -q*w - 1 for w.
1
Let h(q) = -q - 3. Let j(s) = 6*s - 1. Let l be j(-1). Let d be h(l). Solve 5*u = -d + 29 for u.
5
Suppose 0 = -24*t + 23*t + 4. Solve t - 1 = -3*r for r.
-1
Let q = 6 - 2. Let t = -13 - -19. Let g be (-16)/(-12)*t/q. Solve 4*r - g*r - 10 = 0 for r.
5
Suppose 2*k - 5 - 3 = 0. Solve 0*b - k*b = 4 for b.
-1
Let i = -15 - -11. Let k be (-1)/(-1)*-1 - 1. Let t = k - i. Solve t*p = p + 3 for p.
3
Suppose -2*x + 16 = 2*x. Let v(g) = -5*g - 31. Let o be v(-7). Solve o*c - x = 4 for c.
2
Let h = 16 - 14. Solve -4*k = -18 + h for k.
4
Suppose -m - 9*m = 0. Solve m = -w - 4 - 1 for w.
-5
Suppose -5 = -3*c + 13. Solve -4*b + b + c = 0 for b.
2
Let j be ((-9)/(-6))/(7/14). Solve w + 4 = j*w for w.
2
Suppose -10*w = 2 - 62. Solve w*y = 2*y - 16 for y.
-4
Suppose -4*b + 6 = -7*b. Let m be 4/8*b + 1. Solve -h + m - 4 = 0 for h.
-4
Let a(o) = -o**3 + 8*o**2 - 6*o. Let h be a(5). Let w be h/10*(-20)/(-6). Solve -w = -p - 2*p for p.
5
Let c(h) = 2*h - 1. Let t be c(-4). Let m(q) = -2*q - 9. Let i be m(t). Solve -29 + i = 5*a for a.
-4
Suppose -r = 3*r + 12. Let v(g) = g**2 + 2*g - 1. Let u be v(-3). Let j be u - (1 - r)/2. Solve 2*d - 10 = -j*d for d.
5
Suppose -l + 28 = -0*l. Suppose -l = -o - 3*o. Solve o = 3*v + 1 for v.
2
Let l(i) = 2*i + 5. Let b be l(-7). Let y be (3/2)/(b/(-12)). Let r be ((-40)/(-50))/(y/5). Solve 7 = -r*t + 3 for t.
-2
Suppose 0 = t - 2*p - 0*p - 20, -10 = 5*p. Suppose 0 = -3*d + 2*q - 28, -d + 4*q = 2*d + 20. Let y = d - -17. Solve -m = -y*m + t for m.
4
Suppose 0 = -4*k + 19 - 3. Suppose -3*u - 31 = -0*a - 5*a, -2*a + k*u + 18 = 0. Solve -a = -f - 3 for f.
2
Let d = -15 - -15. Suppose -a - 2*o = -2*a - 1, -3*o + 6 = d. Solve 0 = -2*n - a*n - 15 for n.
-3
Suppose 0 = -2*f, 2*f + 3*f - 28 = -2*b. Let y be 15/45 - (-28)/6. Solve -y*g + 1 + b = 0 for g.
3
Suppose 0 = -0*l + 3*l - 3. Suppose -3*g + 40 - l = 4*m, 0 = -m - 3*g + 12. Let b be 2/m - 4/18. Solve -o = -b + 3 for o.
-3
Suppose 24 = 4*j + 4. Suppose 0 = -j*v + 7 + 18, -15 = -5*z + v. Solve z = -c + 8 for c.
4
Let i be (9 + -3)*1/3. Suppose 0*d + 3*d - 2*x - 14 = 0, 2 = -i*x. Suppose -d*k + 4 = -3*m, 2 = -m + k + 1. Solve -4*c + m - 16 = 0 for c.
-4
Suppose -4*x - 30 = -5*f, 7 = f - 0*x - x. Let b be (-4)/f + (-1 - -3). Solve -3*z + 3 + 9 = b for z.
4
Let h = 18 - 4. Let t = h - 10. Solve -n + t*n = 0 for n.
0
Suppose 0 = -3*v + 17 + 7. Let y be (v - 2)*(-6)/(-9). Solve 4*h = -0*h - y for h.
-1
Let j = 4 + -10. Let t be 4/