olve d*c + 0 - 4 = x for c.
1
Suppose 4*g + 18 = l, 2*g + l = -3*l. Let a = 6 - 14. Let h be a/(-20) - g/(-10). Solve h = p + 2 - 4 for p.
2
Let w = -25 + 37. Let c be ((-27)/w)/(6/(-16)). Solve -4*h - c = -h for h.
-2
Suppose -2*r - 13 - 5 = 2*u, 4*r + 38 = -5*u. Let t(b) be the first derivative of -b**3/3 - 7*b**2/2 + 2*b + 3. Let w be t(r). Solve 0 = -5*a + w*a for a.
0
Let y(c) = c**3 - c**2 - 2*c + 10. Let o be y(2). Let x(u) = -u**2 + 3. Let g be x(0). Solve -g*l + 5*l = -o for l.
-5
Let r(b) = b**3 + 13*b**2 - 8*b - 17. Let v be r(-13). Let c = -82 + v. Solve c*y - 12 = 8*y for y.
-4
Suppose -4*t = 2*g - 56, 2*t - 5 = -5*g + 23. Solve 3 = 13*z - t*z for z.
-3
Let b(n) = n**2 - 16*n - 8. Let g be b(17). Suppose g = 3*m - 33. Suppose 3*q - 23 = -m. Solve q*v = v - 2 for v.
-1
Suppose 79*z + 185 - 817 = 0. Solve -36 + z = 7*c for c.
-4
Let g = -17 + 17. Let p be (-2 - (-12)/5) + 56/10. Solve g = -p*j + j + 20 for j.
4
Let r be ((-43)/(-2) - 0) + 4/(-8). Suppose 0 = -3*c - c - v + r, 0 = 5*v - 25. Solve -3*m + c = 13 for m.
-3
Let t(u) be the first derivative of u**4/4 - u**3 + u**2 + 15. Let a be t(2). Solve a*h = h for h.
0
Suppose 2041*n + 189 = 2044*n. Solve 8*j + 39 = n for j.
3
Let m = -34 - -34. Solve m = 6*d - 2*d - 4 for d.
1
Suppose 0*m = 3*z + 4*m + 14, -z + 4*m + 22 = 0. Solve z*p = p - 5 for p.
-5
Let u(v) be the first derivative of -v**3/3 + 5*v**2 + 12*v + 7. Let w be u(10). Solve 3*h + w = -h for h.
-3
Let h(z) = z**3 - 2*z**2 - 6*z + 4. Let w(a) = -2*a**3 + 5*a**2 + 13*a - 8. Let r(j) = 13*h(j) + 6*w(j). Let y be r(-4). Solve -13 = y*f + 7 for f.
-5
Suppose -7 = 5*l - 3*g, -g = -l + 3*l - 6. Let n be (-14 - -4)/5 + l*4. Solve n*q - 11 + 1 = 0 for q.
5
Suppose -41*j + 5 = -40*j. Solve 0 = j*m - 2 - 3 for m.
1
Suppose 13*d = 14*d - 3. Let k(q) = 5*q - 1. Let h be k(2). Suppose -g - 25 = -5*r, -4*r + h = 2*g + 3. Solve 1 = d*z - r*z for z.
-1
Let j = 567 - 558. Solve 0*q = -3*q + j for q.
3
Let z be ((-12)/28)/(4/(-28)). Let g be (-15)/(-10)*-2 - -5. Solve -g*n + z = -n for n.
3
Suppose 3*n - 3*x - 21 = 0, 3*x + 1 = -n - 0*x. Let a = 11 - n. Suppose -2*q = -2*d + 5*d - a, 3*d = q - 3. Solve -3 - 3 = q*j for j.
-2
Let q be 0/(2 + -3 - 1) - -5. Let k be 2/(q*2/25). Solve -2*j + 3 = -k*j for j.
-1
Let g be 12/(-14)*280/(-30). Solve 0 = 8*f - 4*f - g for f.
2
Let n(x) be the first derivative of x**3/3 + 2*x**2 - 52*x + 28. Let b be n(-10). Solve 2*z + 2 = -b for z.
-5
Suppose -7*j + 18 = -4*j. Let z = -7 + 15. Let v = z - j. Solve -3*f - 10 = v*f for f.
-2
Let m = 286 - 280. Solve -m*s = -2*s for s.
0
Let h be 20/(-16)*-1*4. Suppose o = 3*o - 2*r - 6, 4*o = -3*r + h. Solve 0*v = o*v + 4 for v.
-2
Let l(b) be the first derivative of -b**2 - 5*b + 7. Let u = 12 + -16. Let n be l(u). Solve -n*i + i = 0 for i.
0
Let p = -27 - -35. Solve p*s = s for s.
0
Suppose 9*y - 55 = -1. Solve 4 = 2*n + y for n.
-1
Let w(p) = 35*p**2 + 3*p - 4. Let o be w(-2). Let d = 134 - o. Solve -h = -d*h + 12 for h.
4
Suppose 0 = 3*r + 4*o + 15, 0 = -3*r + 2*r + o + 2. Let l be 20/2 + r - -3. Solve 0 = -w + 4*w - l for w.
4
Let k = -434 + 449. Solve 26*w - 23*w - k = 0 for w.
5
Let o be 4/(-22) + 2/11. Suppose o = -7*u - 7*u + 42. Solve 0 = -u*v + 13 - 4 for v.
3
Let x(c) = -c - 6. Let b be x(-6). Suppose 5*a - 4*n = a + 28, -a = -3*n - 15. Suppose 5*j = 3*g - a, g + g = j + 2. Solve j = 3*y - b*y - 12 for y.
4
Let k(l) = 2*l + 23. Let i be k(-10). Let u be 0/((-2 + i)*2). Solve u = 4*h - 5 + 1 for h.
1
Let d(t) = t**2 + 2*t - 4. Let n be d(-4). Suppose 10*a = n*a + 18. Solve 4 - 7 = -a*w for w.
1
Let j be -2 + (-1 - -5) + 2. Suppose j*x = -2*a + 12, -a + 13 = -0*a - 5*x. Solve -a = -3*q + 1 for q.
3
Suppose 4*p + 8 = -2*b, 309 = -2*p + 305. Solve -n + 5*n = -b*n for n.
0
Let s = 320 + -318. Solve 7*d + 5 = s*d for d.
-1
Suppose 7 = j - y, 5*y + 0*y = -20. Let n = 11 + -7. Solve n*z + 3 = j*z for z.
-3
Let s be -7 - (-10 + (-8 - 2)). Solve -12*t = t + s for t.
-1
Suppose 21*n - 102 = 255. Solve -3 - n = -5*h for h.
4
Let g(a) be the first derivative of -a**2/2 + a - 6. Let t(b) = 4*b + 4. Let s(l) = -g(l) - t(l). Let y be s(-9). Solve y = -4*o + 2 for o.
-5
Let x be (-1150)/115 - 40*-1. Solve -35*p = -x*p - 15 for p.
3
Let r(g) = g**2 + 2*g - 59. Let j be r(-9). Solve 0 = -h + j - 1 for h.
3
Suppose 0*g = -5*g - 2*f + 29, 3*f = -2*g + 16. Solve -g*j = 4*j - 36 for j.
4
Suppose -4*r = 2*m + 78, 5*r + 1 = -9. Let v be (-515)/m + 4/14. Let a = v - 13. Solve -g - 3 = a*g for g.
-1
Suppose -34*k = -49*k + 180. Solve 5*z - k = -32 for z.
-4
Suppose -5*n - 27 = -2*i - 2*n, -4*i - 5*n = -87. Suppose 0 = -4*c + 5*y + 62, -y - 10 - i = -2*c. Let o = c + -11. Solve -o*k - 2*k = -8 for k.
2
Let o(p) = p**2 - 2*p + 3. Let t be o(4). Suppose t = 2*s + 3. Suppose 5*b + 4*g - g + 6 = 0, -2*g = -b + s. Solve 0 = -b*z + z - 5 for z.
5
Let v = 5 + -2. Let q = 1 + -1. Solve q*j = -j + v for j.
3
Suppose -5*z = 2*z + 7. Let q be z*-3*8/6. Solve 3*v - 4*v + q = 0 for v.
4
Suppose 0 = v + 2*u - 7, 8*u + 1 = -2*v + 9*u. Solve -3*n + v = 13 for n.
-4
Suppose 1250*u + 32 = 1254*u. Solve -u*w = 2*w - 40 for w.
4
Let w(z) be the third derivative of -1/120*z**6 + 5/6*z**3 + 0*z**4 - 1/60*z**5 + 0*z - z**2 + 0. Let t be w(0). Solve -t*i = -2*i for i.
0
Let z be 2 + -4 + 2*3. Let y be 40/2 - 8/(-2). Suppose o + y = 9*o. Solve 0 = -z*u + o + 5 for u.
2
Suppose -95*b + 3618 = -2937. Solve 19*w = -4*w + b for w.
3
Let g(i) = i + 7. Let z be g(-5). Let w be ((-1 - 0) + 1)*(-3 - -2). Solve w = -z*y - 3 - 7 for y.
-5
Suppose -d - g + 7 = -0*g, 0 = 2*d - 2*g + 6. Suppose o + 3*f - 12 = 0, -5*o - 233*f + 18 = -232*f. Solve -o*h + h = d for h.
-1
Let w(d) be the third derivative of -d**6/120 - d**5/10 - d**4/4 + d**3/3 - 3*d**2. Let l be w(-5). Let h be 8/(-28) + 93/l. Solve 5*g = -h - 12 for g.
-5
Let s(r) = r - 6. Let x = 19 + -11. Let p be s(x). Suppose 0 = 5*g - g - k - p, 2 = -k. Solve 2*i + g = 2 for i.
1
Suppose -2*w = -4*w + 3*w. Suppose w = -4*y - 2*i + 14, y + 2*i - 4*i = -4. Solve -y*g - 4 + 0 = 0 for g.
-2
Let l = -18 - -19. Suppose 5 = 3*h - l. Solve -h*v = 1 + 1 for v.
-1
Let h = -496 + 518. Solve 6*i - 8 = h for i.
5
Let i(p) = 3*p**2 + 10*p - 15. Let c(o) = 10*o**2 + 31*o - 45. Let t(b) = -2*c(b) + 7*i(b). Let u be t(-10). Solve -6*l + u = -5*l for l.
5
Let c = 4 + 1. Suppose 4 + c = -3*t. Let x be (-1)/t*0/(-2). Solve -2*s + x*s + 4 = 0 for s.
2
Let z(x) = -2*x. Let w be z(3). Let f(k) = k**2 + 6*k + 6. Let i be f(w). Let y(g) = g - 5. Let s be y(i). Solve s = 5*r + 16 for r.
-3
Suppose -9*o + 39 = -15. Solve o*h + 12 = 3*h for h.
-4
Suppose 0 = -2*z - 4*a + 28, 0 = -2*a - 2 + 8. Suppose -15 = 3*j, 4*i + 2*j - 3*j = 5. Solve -4*x + 0 - z = i for x.
-2
Suppose -4*s + 238 = -286. Suppose a + 0*a - 69 = -4*g, -2*a = g - s. Suppose -5*l + a + 10 = 0. Solve 2*p + p = -l for p.
-5
Let h(w) = -w**3 + w**2 - w + 9. Let i be h(0). Suppose -s = -i - 0. Let y = s - -16. Solve -4*p + y = p for p.
5
Let q(u) = u**3 - 5*u**2 - 2*u + 5. Let f be q(5). Let s = f - -7. Suppose -t = -i + 5, i + 10 = -i - s*t. Solve i*n = n + 1 for n.
-1
Suppose 0 = 20*k - 92 - 108. Solve -k*n - 36 - 14 = 0 for n.
-5
Suppose -9184 + 480 = -34*n. Solve -o + 260 = n for o.
4
Let t be (-2)/(-18) + 3500/252. Let m = 20 - t. Let d be (10/m)/(2/6). Solve z - 10 = -d for z.
5
Suppose -v - 103 = -111. Suppose k = -o - k - v, 2*o - 4*k = 24. Solve -o*d = -4 + 8 for d.
-2
Suppose i - 16 = -7*a + 5*a, a = 5*i - 14. Solve 5*j = -j + a for j.
1
Let q = 108 + -60. Suppose 5*w = -q + 48. Solve w = -7*f + 6*f - 3 for f.
-3
Let f = -546 - -546. Solve f = -2*y + 13 - 3 for y.
5
Suppose -6*c + 4*c = 0. Suppose c = -17*h + 14*h. Solve h = 3*z - 0*z + 6 for z.
-2
Let j = 13 - 11. Suppose 1 = 2*c + 3. Let r be 4 - c/3*-3. Solve -r*d - j = 4 for d.
-2
Let l(o) = 2*o**2 - 6*o + 7. Let s be l(2). Solve 2*n + 9 = s for n.
-3
Let q(b) = b**3 + b**2 - b - 1. Let s(r) = -r**2 + 9*r - 9. Let h be s(8). Let u be q(h). Solve u = -0*x - 2*x for x.
0
Let x(k) = -k**3 - 3*k**2 + 5*k + 2. Let f be x(-4). Let y be (f - (-2 + -2)) + 1. Solve -2*o + o = -y for o.
3
Let l be 1*(4*-1 - -1 - -3). Suppose l = -u + 24 - 5. Solve 5*n + u = -6 for n.
-5
Suppose -3*l + 30 = -0*s + 3*s, -32 = -5*l + 4*s. Solve -112*m = -108*m + l for m.
-2
Suppose 0 = -3*n +