-d for d.
1
Suppose 0 = -5*w - y - 14, 0 = -w - 2*y + 10 - 20. Let g be ((20/40)/(w/12))/(-1). Solve -g + 1 = h for h.
-2
Let y = 440 + -434. Solve -1 = -y*w - 7 for w.
-1
Suppose -2*c - 3*c + 4*w = -34, 0 = 5*c + w - 54. Suppose c = 12*a - 7*a. Solve 7*d - 20 = a*d for d.
4
Let v be 4 + -3 - -5 - 2. Solve -v*k - 6 = -6*k for k.
3
Let m = -22 - -25. Suppose 5*a = 2*r + 1, 2*r = 3*a + 5 - 0. Solve r = m*v + 4 for v.
1
Suppose -5*x - 6 = 2*c, -c + 2*x - 2 = -4*c. Solve c*u + 0*u = 4 for u.
2
Let u be (-14)/(-35)*(4 - -16). Solve 127 - 95 = -u*m for m.
-4
Suppose 4*a + 26 = -7*l + 10*l, 2*l - 3*a - 19 = 0. Solve -6 = l*o + o for o.
-2
Suppose 5*i - k + 4*k + 25 = 0, k = 0. Let a = -25 - -40. Let v = i + a. Solve -4*b = b + v for b.
-2
Let n = -270 - -273. Solve n*v - 32 + 35 = 0 for v.
-1
Let x(p) = 4*p**2 - 1. Let j be x(-1). Let f = 5576 + -5571. Solve m + j = f for m.
2
Suppose -p - 7*c + 41 = -4*c, 5*c - 25 = 0. Solve 9 = 7*w - p for w.
5
Let k be ((-2 - 12/(-8))*0)/1. Let i = 283 - 283. Solve g + 2 + i = k for g.
-2
Suppose 2*h + 4 = 10. Suppose 5 = 2*c + h*c. Solve -c = y + 1 for y.
-2
Suppose 3*s - 48 = -6. Suppose -7*v + 42 = -s. Solve i + 3 = v for i.
5
Let d = -24 - -24. Suppose -5*k = -3*r, d*k = -5*k - 5*r. Solve 0 = -c + 3 - k for c.
3
Let b be ((-15)/(-10))/(6/8). Suppose b*r - 5*w - 2 = 0, 3*r = -0*r - 3*w + 24. Solve r = -4*c - 14 for c.
-5
Let d(t) = 2*t + 3864 - 3863 - t. Let q = 3 + 1. Let p be d(q). Solve 5*b = 4*b + p for b.
5
Let c(h) = 4*h**2 + h - 5. Let k be c(-3). Let l = k - 5. Let y = l + -23. Solve 2*u - 4*u - 6 = y for u.
-3
Suppose -2*q - 2*n - 3*n = -33, 2*n = -2*q + 18. Let l be 6/(-15) - 144/(-10). Let d be (10/(-4))/((-7)/l). Solve -2 = d*h - q*h for h.
-2
Let k be ((-445)/(-15) + -1)*-3. Let f be k/(-30) - (-36)/270. Solve 4*m + 19 = f for m.
-4
Let j(d) = -2*d + 26. Let k be (10 + -20)/(0 - 1). Let g be j(k). Suppose -4 = -3*t + h - 3*h, -h = t - 1. Solve t*o = -g - 4 for o.
-5
Let z = -9 + 11. Suppose -g = z*u + 6, 3*g - 10 = -0*g + u. Solve g*t = -2*t for t.
0
Let s(v) = v**2 - 6*v - 8. Let b be s(7). Let z be (-1)/((-2)/(-2)) - b. Suppose 3*n - 12 = -3*c, c + 2*n - 2 - 2 = z. Solve y - 10 = -c*y for y.
2
Suppose -168 = 5*s - 3*w, 3*w = -2*w - 20. Let t = s - -41. Suppose -1 = -d + 1. Solve -y - t = -d for y.
-3
Suppose -48 = -4*r - 4*p, -4*r + 4*p = -p - 84. Suppose -7*s = -5*j - 2*s + 65, 2*j + 4*s = 8. Suppose -j = -0*l - 5*l. Solve -2*d + r = l*d for d.
4
Let t(k) = 5*k - 13. Suppose 0 = -11*n + 34 - 1. Let o be t(n). Solve o*f - 4 = 2 for f.
3
Let j(m) be the first derivative of m**4/4 - 2*m**3/3 - 3*m**2/2 + m + 2. Suppose -18 = -3*v + 3*q, -v - 2*q + 2 = 5. Let t be j(v). Solve u = t + 2 for u.
3
Let w(d) = -16*d - 235. Let h be w(-15). Solve -c - h = -6*c for c.
1
Let s = -670 - -675. Solve 114 - 134 = -s*b for b.
4
Let d be (-2 + 1)*-5 - 1. Let w(r) = r**2 + 3*r - 2. Let u be 78/(-21) - 6/21. Let a be w(u). Solve -d*p = -3*p - a for p.
2
Suppose -d - 15 = -p, -d - 5*p = 2*d + 13. Let x = d - -16. Solve 0*i - 15 = x*i for i.
-3
Let s(f) = 8*f - 4. Let m be s(2). Suppose 6*w = 2*w + m. Solve -h = -w*h - 6 for h.
-3
Let g = 10 + -6. Let m = 94 + -88. Suppose 33 = m*l + 3. Solve -3*b + g = -l for b.
3
Let t(l) = -l**3 - 10*l**2 - 22*l - 46. Let f be t(-8). Solve f*a = -2*a - 12 for a.
-3
Let l(b) = 3*b - 8. Suppose -8 = -5*h + 3*h. Let c be l(h). Let i be (-6)/((0 - c) + 2). Solve -i*f + 6 + 6 = 0 for f.
4
Let g(v) = -v + 9. Let f be g(-6). Let b be -7*2/3*-3. Solve f*u + 3 = b*u for u.
-3
Let w = 20 + -12. Let r be w/(-20) + 106/(-10). Let o(z) = z**3 + 10*z**2 - 12*z - 10. Let j be o(r). Solve 3*n + j = 4 for n.
1
Suppose -2*f = -2*z + f + 6, -5*f - 10 = -5*z. Let m(l) = l**3 + 23*l**2 + 20*l - 19. Let q be m(-22). Suppose a = -4*a + q. Solve -h = -z*h + a for h.
-5
Let x = 83 - 69. Let p(m) = 0*m**3 + m**3 + 0*m**3 - 8*m**2 - 6*m**2. Let g be p(x). Solve t + 6 - 5 = g for t.
-1
Let j be 0/(23/(253/(-44))). Solve s = -j*s + 4 for s.
4
Suppose -2*l - 5*u + 29 = 0, 3*l - 16 = -3*u + u. Let p be (3/9)/(l/18). Solve 0*g = p*g for g.
0
Let a = -17 + 19. Let z(l) = l**3 - 2*l**2 - 5*l + 5. Let i be z(a). Let c be (i/(-3))/((-5)/(-18)). Solve c = 2*t - 5*t for t.
-2
Let y be (-5)/4*(-2 + -2). Let w be (40/140)/(5/210). Solve 8 + w = y*v for v.
4
Let g(v) = -15*v. Let p be g(-5). Suppose 2*s = l + 3, 15 - 3 = 3*l + s. Suppose 0 = 2*u - 5*o + 5, -p = -5*u - l*o - 10. Solve -4*m - 10 = u for m.
-5
Let h = -1023 - -1023. Solve 0 = -0*u - h*u + 4*u for u.
0
Let x be -3 + 1 + 3*4. Let p(g) = g**3 - 9*g**2 - 11*g + 6. Let k be p(x). Let t be k/(-6)*21/7. Solve 5*j = t*j for j.
0
Suppose -925 = -2*t + 27*t. Let b = -15 - 7. Let i = b - t. Solve x + i = 4*x for x.
5
Let u(s) = 9*s + 9 - 30*s**3 + 11*s**2 - 4 + 31*s**3. Let a be u(-10). Solve -5*d + a = -0*d for d.
3
Suppose 0 = -3*n - 2*h + 16, 2*n - 22 = -3*n - h. Solve -n*b = b for b.
0
Suppose 0 = -3*s - 3, -3*s = -2*f - 0 + 57. Let u = 30 - f. Solve -6*o = -u*o for o.
0
Let w be -2 + 3 - (-2 + 1). Let q be 2 + 1 + -6 + 5. Let t be 3/(-2 + 7/q). Solve w*u + 8 = -t for u.
-5
Let r(t) = 6*t**3 + t**2 + 5*t - 21. Let p(c) = c**3 + c**2 + c - 1. Let f(x) = 5*p(x) - r(x). Let w be f(4). Solve -w = -0*y + 4*y for y.
-4
Suppose 5*n - 6*n = 14*n. Solve 19*x - 21*x + 6 = n for x.
3
Let p be -1 + 5 + 11/((-110)/20). Solve -p = 5*s - 7 for s.
1
Let i = 333 - 330. Solve 3 = i*j - 6 for j.
3
Suppose 10*c + 7*c = 0. Solve c = 4*y - 1 - 3 for y.
1
Let b(v) = v**2 + 31*v - 39. Let o be b(-33). Solve a = -o + 26 for a.
-1
Let l(r) = -r**2 - 10*r + 62. Let b be l(-14). Solve 3*t = b*t + 12 for t.
-4
Let k = 13 - 9. Suppose y - 2 = 5*f - 3*y, 3 = 3*f - y. Suppose 12 = -f*s + k*z, -4*s + 4 = -2*z + z. Solve -s*h = h - 3 for h.
1
Let j(p) = p**2 + 34*p + 288. Let y be j(-18). Solve y = 4*f - 11 - 9 for f.
5
Let c be (1*(5 - 5))/((-9)/(-9)). Solve -134*v + 135*v + 3 = c for v.
-3
Let c = 14 + -14. Let f(q) = q - 2. Let k be f(4). Let w be -8 - 16/(-4) - -8. Solve c*z = -k*z - w for z.
-2
Let v(l) = l**3 + 19*l**2 + 32. Let f be v(-19). Solve 2*p - f = -6*p for p.
4
Let w(a) = a + 1 + 5*a + 3 + 9. Let h be w(-2). Solve h + 3 = -4*p for p.
-1
Suppose -3*x = 2*b - 265, 8*x - 2*b = 5*x + 257. Let z = -55 + x. Let i be (72/z)/(6/16). Solve -g = -i*g for g.
0
Suppose -5*o + 4*r = -82, 2*o + 2*o - r - 59 = 0. Solve -c + o = 19 for c.
-5
Suppose -87*h = -85*h - 14. Solve h*m = 3*m for m.
0
Let c be (40/3)/(8*(-5)/(-60)). Solve 5*o - c = o for o.
5
Suppose 0 = 3*i + 3*d - 0*d + 6228, -3*i = -2*d + 6248. Let a be (-4)/(-18) - i/117. Suppose -4*p + p = -a. Solve 4*n = -p - 6 for n.
-3
Suppose -20 = -5*r + r. Suppose 4*b - 2*m + 1 = -3*m, 0 = -m - r. Solve -2*j - b = -j for j.
-1
Suppose 0 = -2*f + 6 + 4. Solve 9*w = f*w + 4 for w.
1
Suppose -855 = 19*d - 1140. Solve d*j - 16 = 23*j for j.
-2
Suppose 11*i = 10*i + 4. Suppose -8 = -i*g - 0*g. Suppose 3*d = -4*h + 15, -3*d + 10 = -d + g*h. Solve 0 = -d*f + 2*f for f.
0
Suppose -4*x = -0*x - 8. Suppose -19*f = -21*f + x. Solve 6 - f = -5*p for p.
-1
Let n(p) be the second derivative of p**4/12 + 11*p**3/6 + 15*p**2/2 + p. Let f be n(-10). Suppose -4 = -6*g + 8. Solve 7*r - g*r + f = 0 for r.
-1
Let g be (22/55)/((-4)/(-20)). Solve -5*w = -g*w - 12 for w.
4
Suppose 1 = 2*w - 7. Suppose 4*g = 16, 0*d = 3*d + w*g - 19. Suppose -3*o = -2*x + 2 + 2, -x + 13 = 4*o. Solve -o = s + d for s.
-3
Suppose 4*s - 22 - 22 = 5*a, 0 = s + a - 2. Solve 2*x = s*x + 16 for x.
-4
Let b(j) = 25*j - 10*j + j**2 - 3*j + 14. Let k be b(-11). Let c be ((-5)/15)/(3/(-63)). Solve -c*t - 12 = -k*t for t.
-3
Let k be (-48)/(-1*(-3)/(-2)). Suppose -k = -2*t + v - 2*v, -3*v - 32 = -2*t. Let a = t - 6. Solve -a + 2 = -4*j for j.
2
Suppose -6*b + 5*c - 13 = -9*b, -5*b + 2*c + 32 = 0. Solve 0 = -4*j + 18 - b for j.
3
Let s = -23 - -23. Suppose s = -3*o - o. Solve 3*x + 9 + 0 = o for x.
-3
Let f(x) = x**2 + x - 9. Let k = 18 + -15. Let b be f(k). Solve i = 1 + b for i.
4
Let u(z) = z**2 + 3*z - 9. Let j be u(-8). Let b = -11 + j. Let y = -9 + 11. Solve b = y*t + 2*t for t.
5
Let j(z) = 57*z - 3. Let d be j(-1). Let n = -60 - d. Solve n = 5*r - 1 + 26 for r.
-5
Let f be 1*2 + 1/1. Let t(m) be the second derivative of m**5/20 - m**4/3 + 5*m**3/6 - 3*m**2/2 + 6*m. Let w be t(f). Solv