/60 - c**4/6 - c**3/3 + 3*c**2. Let p(q) = v(q) - w(q). Let m be p(4). Solve 4*g = 3*g + m for g.
2
Let w = -12 - -14. Solve w*g + 5 = -3*g for g.
-1
Suppose o + 0*o = -4*z - 6, -5*o = -5*z - 70. Suppose -3*w - 2*i - 3*i + o = 0, -5*w - 3*i + 6 = 0. Suppose 5*l - 27 = 2*v, v + w = -1. Solve l*f + 4 = f for f.
-1
Let o(b) = b**2 + 8*b + 10. Let v be o(-7). Suppose 2*k - 7 = -3. Suppose -k*r + 0 = -4. Solve v*j - 5 = -r for j.
1
Let a(f) = -f**2 - 6*f - 2. Let u be a(-4). Suppose u*o - 15 = o. Let b(w) = w**2 + 4*w - 2. Let t be b(-6). Solve o*l = -2*l - t for l.
-2
Suppose r - 7 = 4. Let w = -14 - -7. Let b = w + r. Solve -i + b*i = 3 for i.
1
Suppose -n = -3*n + 2, -3*n = 2*f - 25. Solve -5*q = -f + 1 for q.
2
Suppose -2*d = 5*i - 2*i + 31, -5*d = -5*i - 35. Let u = 15 + i. Solve -v + 4*v = u for v.
2
Let j be 3/2*(-80)/(-24). Let u(n) be the second derivative of -n**5/20 - 2*n**4/3 + n**2/2 - n. Let a be u(-8). Solve a = -t + j for t.
4
Let a be (-12)/7 + 8/(-28). Let h = a - -4. Suppose h*i + d - 2 = 0, -i + 0*d = -5*d - 12. Solve -i*x = -3 + 9 for x.
-3
Suppose k - 5*v + 3 = 0, 0 = 5*k + 3*v - v + 15. Let n be 1/(k/12) - -12. Solve 0*h + 2*h = n for h.
4
Suppose -1 = 3*w - 13. Suppose w*c - 5*x = 0, x - 2*x = -c. Let n be 0 + 2/(-2) + 26. Solve -i - 4*i + n = c for i.
5
Let f = 186 + -183. Let r(n) = -4*n - 3. Let a be r(-2). Solve 0 = -4*c + f + a for c.
2
Let i = -1 + 10. Let g be 0*(i/(-6) - -2). Suppose g = -5*d - a + 5*a + 11, -5*a + 2 = -d. Solve -8*r = -d*r + 5 for r.
-1
Let d(r) = r**3 + 5*r**2 - 4*r + 1. Let z be d(-6). Let x(y) = y**3 + 13*y**2 + 23*y + 13. Let o be x(z). Solve o*p + 0 = 4 for p.
2
Let y = 1 + 19. Suppose 0 = a - j, 5*j - y = -0*j. Solve -4*i + 3*i - a = 0 for i.
-4
Let h be (1 + -2)*(24 + -24). Let c(o) = o - 3. Let i be c(4). Solve -p = -h*p - i for p.
1
Suppose 4*y = 2*d - 12, -5*d + 2*y + 22 = -8. Suppose 4*z + 3*m = d - 2, 8 = -2*m. Suppose 2*p - 4 - 6 = 0. Solve z*l - 9*l + p = 0 for l.
1
Let f(k) be the first derivative of -k**4/4 + k**3/3 - 5. Let r be f(0). Solve -2*g + g = r for g.
0
Let k be 9/6*(-70)/(-15). Solve -4*n + 13 = -k for n.
5
Suppose -2*t + 9 = -13. Let y(w) = w**2 - 12*w + 7. Let h be y(t). Let u = h + 5. Solve v - u + 2 = 0 for v.
-1
Let w(c) = 16*c**3 + 66*c**2 - 76*c - 39. Let v(z) = 3*z**3 + 13*z**2 - 15*z - 8. Let d(l) = 11*v(l) - 2*w(l). Let b be d(-12). Solve b*h - 6*h - 12 = 0 for h.
-3
Let l(u) = -2*u + 21. Let k be l(9). Solve -k = -2*j - j for j.
1
Let m(q) = q**3 - 6*q**2 - q + 6. Suppose 2*x + 3*t + 6 = 5*x, -x - 4 = -4*t. Suppose -x*c + 21 + 3 = 0. Let i be m(c). Solve i*h + 10 = -2*h for h.
-5
Let o be 11/5 + 1 + 3/(-15). Solve 0 = -4*b + o*b for b.
0
Let r = -7 - -9. Solve n + r = 3 for n.
1
Let j be -5 + 2 - 2*-9. Let x(f) be the first derivative of 2*f**3/3 + f**2 - 2*f - 2. Let g be x(-2). Solve -g*q - 3*q = j for q.
-3
Suppose -4 - 6 = -5*c. Solve -c*h + 1 = -5 for h.
3
Suppose 4*r - 19 = -5*m, -11 = -3*m - 2*m + 4*r. Suppose 5*b - 5*v - 8 = 7, -3*v + 15 = b. Solve 0*j + m*j + b = 0 for j.
-2
Let k(v) = 2*v - 6. Let x be k(7). Solve 5*s + 7 = -x for s.
-3
Suppose u + 16 = 3*u. Let l be (1 - 0) + 2*1. Let z(n) = n**2 + n + 5. Let k be z(-4). Solve 0 = -l*r + k - u for r.
3
Let q = -19 + 19. Solve q = 4*s - 1 + 5 for s.
-1
Let v(d) = -9*d + 4. Let o be v(5). Let k be (-24 + -3 + -2)/1. Let r = k - o. Solve -4*u + 7*u = -r for u.
-4
Suppose 19 = -4*l - 0*d - 3*d, -5*l + 3*d = 17. Let k = 5 + l. Suppose -3*g + 11 = -k. Solve -g*f - 5 = 11 for f.
-4
Let q = 18 + -18. Let s be 24/14 + (-2)/(-7). Solve s*t = -q*t - 6 for t.
-3
Let t = 19 - 15. Let o(b) = -4*b - 1. Suppose -10 - 6 = 4*c. Let m be o(c). Solve -t*w + m + 5 = 0 for w.
5
Let q(g) = g - 2. Let l be q(-10). Let m be (-2)/l - 377/(-78). Solve -1 = 2*t - m for t.
2
Let v(l) = l**2 + 6*l + 11. Let c(t) = 3*t**2 + 19*t + 33. Let f(y) = 4*c(y) - 11*v(y). Let u be f(-9). Solve 0 = d - u + 3 for d.
-1
Let o = -15 + 21. Let d(t) = 4*t**2 + 23*t - 37. Let z(p) = -p**2 - 6*p + 9. Let v(j) = 2*d(j) + 9*z(j). Let y be v(-7). Solve 4*l = o + y for l.
5
Let y(a) be the first derivative of -a**3/3 + 11*a**2/2 + 5*a + 7. Let v be y(11). Solve -4*u + v = u for u.
1
Suppose -h = 2*h - 6. Suppose h*a + a - 9 = 0. Solve -2*l + 5 = a*l for l.
1
Suppose y + 3*b - 4*b = 8, -3*y = -5*b - 34. Suppose k - 2*x - 12 = 0, 0*k + y*k + 4 = -2*x. Solve 3*t - 10 = -k*t for t.
2
Let n(v) = v**3 - 7*v**2 + 8*v - 9. Let a be n(6). Suppose -i - 4*k - 2 = 0, 5*k = 4*i - 15 + 2. Let s = i - -15. Solve -a*m - 5 = -s for m.
4
Suppose 0 = -2*r + 2 + 2. Let n = 5 - r. Solve 2 = 5*h - n for h.
1
Suppose 5 = 3*o - 7. Suppose -2 + o = w. Suppose 5*n - 4*l - 6 = 0, 5*n + 0*l = l + 9. Solve -n = w*k + 4 for k.
-3
Suppose -o - 7 = 2*g, 4 = 4*g - 2*o + 22. Let b = g - -4. Suppose -y + c = 5*c - 20, b = -y + c + 10. Solve -4*n = -n - y for n.
4
Suppose 21 = -4*n - 5*g, 2*n + 3*g + 12 = -1. Suppose 3*u = 10 - n. Solve u*d = d - 2 for d.
-1
Suppose 2*u + 34 = 46. Let n be (1 + -4)*1/(-1). Solve -y + n*y = u for y.
3
Let z = -19 - -28. Solve z*g - 10*g + 3 = 0 for g.
3
Let j(i) = 4*i. Let a be j(1). Suppose -5*d - 5*c + 2*c - 17 = 0, a*d = -2*c - 14. Let m be 3/2*(2 - d). Solve m = 4*r + 29 for r.
-5
Suppose 4*u = -3*f + 48, -5*u - 3*f = 2*f - 60. Solve -13 - u = 5*b for b.
-5
Let v(a) = a**2 - 4*a + 3. Let p be v(3). Let j be (p - 1)/(6/(-24)). Solve -5*b - 24 + j = 0 for b.
-4
Suppose 0 = 5*c - 3*m + 42, -3*c + 2*m = -c + 20. Let b = c - -10. Solve -6 = -2*i + b for i.
5
Suppose 4*i - 12 = -5*d, 2*d + i - 9 + 3 = 0. Solve -y = d*y + 25 for y.
-5
Suppose 0 = 3*c + 3*h + 27, -2*c + 3*c + 5*h + 5 = 0. Let v be (c/(-8))/((-3)/(-12)). Solve -l - 4*l - v = 0 for l.
-1
Suppose -4*g - 2*v + 19 = g, -5*v = -g - 7. Suppose -8 = k - g*k. Solve -k*n + 25 = n for n.
5
Let j be (8/12 + -2)/(2/(-6)). Solve -5*w + j*w = 0 for w.
0
Suppose 3*f = -f + 4. Suppose w + f = -0*w. Let u be (-2 - w)/1 + 4. Solve u*c - c = -2 for c.
-1
Suppose -5*s = -3*s - 2. Solve -4*o - 21 + s = 0 for o.
-5
Let n = 52 - 27. Let l(r) = -r**2 - 3*r - 2. Let o be l(-3). Let u be o/(-7) + 80/14. Solve -u*p = -p + n for p.
-5
Let c(u) = -13*u**3 + 19*u**2 - 15*u - 4. Let t(b) = 3*b**3 - 5*b**2 + 4*b + 1. Let q(k) = 2*c(k) + 9*t(k). Let p be q(6). Solve -p - 3 = v for v.
-4
Suppose -5*t + 8*t - 6 = 0. Solve -t*k + 0*k = -4 for k.
2
Suppose -5*x = 4*c - 10, 2*x - 3 = -3*c + 1. Solve 0 = -7*b + x*b for b.
0
Let q = -11 - -4. Let p = q - -10. Let s = -1 + 14. Solve -5*u + s = p for u.
2
Let w be (136/(-170))/(2/(-10)). Solve w*p + p = -10 for p.
-2
Let l = 4 - 0. Suppose 0 = l*o - 4*f + 5*f + 27, 4*o + 3*f = -25. Let g = -2 - o. Solve 3*z + 2 = g*z for z.
1
Let k(l) = -l**2 + 5*l - 6. Let i be k(3). Let n be (0 + i)*(-1)/3. Solve 3*s - s = n for s.
0
Suppose 6*i = 2*i. Suppose i = -w - 1, 5*v + 3*w = 2. Solve 0 = -4*x + 5*x - v for x.
1
Let g be (-14)/8 - (-4)/(-16). Let i = 6 - 8. Let z be ((-5)/i)/(g/(-4)). Solve z + 0 = 5*y for y.
1
Let d(y) = -y**2 - 6*y - 2. Suppose 0*q - 20 = 4*q. Let z be d(q). Suppose -4*k + 1 = -55. Solve -z*n + k = -1 for n.
5
Let y(x) = -6*x**2 + x - 1. Let a be y(1). Let c(o) = o**2 + 7*o + 6. Let n be c(a). Solve n = -p - 3 for p.
-3
Let o = -32 - -47. Solve o = 5*q - 10 for q.
5
Suppose -v = 4*v - 15, 3*d = -5*v + 27. Let w(y) = -y**2 + 8*y - 5. Let q be w(7). Solve -3*h = -q*h + d for h.
-4
Let a be (1 - 2)/(2/(-108)). Let n be 4/6*a/12. Suppose -n*o = 2*o. Solve 3 = -o*k - k for k.
-3
Let c = -52 + 52. Solve c*d + 2*d = 4 for d.
2
Suppose 3*c - 2*c + 11 = -3*h, -h + 5 = -4*c. Let w be (-92)/(-10) + c/10. Suppose -i + 5 = q, -q - 2*i - 2 = -w. Solve -5*j - q = -2*j for j.
-1
Let t(i) = -i**2 + 7*i - 5. Let d be t(6). Let b = 1 + d. Solve -3*j = -4 - b for j.
2
Suppose 2 + 58 = 4*k. Solve -4*o + 5 = -k for o.
5
Suppose -6 = -0*h - 2*h. Solve -2*n - 10 = h*n for n.
-2
Let v(b) = b + 4. Let j be v(2). Solve -u = u + j for u.
-3
Let j be 0 + -3 + 1 + 4. Solve 15 = -j*n + 5 for n.
-5
Suppose c = -4*i - 34 + 2, -2*c = 2*i + 22. Let o = i + 20. Solve 5*p = 12 + o for p.
5
Let x be (-4)/(-30) - (-325)/375. Let a(i) = i**2 + 5*i + 5. Suppose d + 2 = 0, 2*r - 4*d - 1 = -3. Let s be a(r). Solve -19 = -s*b + x for b.
4
Let t be (-32)/(-14) + 36/(-126). Solve 0 = 3*k - 8 + t for k.
2
Suppose 