 = -4 for d.
2
Let b(u) be the first derivative of -7*u**4/4 + 2*u**3/3 - u - 3. Let g be b(1). Let j(m) = -m + 9. Let c be j(g). Solve -q - c = -6*q for q.
3
Let t = 1336 - 1336. Suppose -40 = -q - 3*j, 2*j + 20 = q + j. Solve -u - 4*u + q = t for u.
5
Suppose 0 = -2*f - 3*f + 50. Let j be -5 + 272/51 - (-29)/(-6)*-2. Let n = f - j. Solve n = 5*s - 2*s - 12 for s.
4
Let f = 2 - -3. Let j = -11862 - -11864. Solve f*t + j = -3 for t.
-1
Suppose 2*c = -4*m, 10*c = 7*c + 2*m. Suppose c = -4*i - 8, 0 = -2*y + 5*y - i - 23. Solve 0 = v + 6*v + y for v.
-1
Suppose 0*a - 64 = -4*r + a, -4*a = -r + 16. Suppose 0 = 2*z + m - 16, -r + 4 = -2*z - 2*m. Let x be (z + -1)/1 + -1. Solve -x = -5*y - 3 for y.
1
Let o = 3238 + -2970. Solve 3*z - o + 280 = 0 for z.
-4
Let w = -2519 + 2691. Solve 2*h = 160 - w for h.
-6
Let d be ((-82)/4)/((-25)/350). Suppose q - 6*q + 4*i - 471 = 0, 3*q + 2*i + d = 0. Let p = -93 - q. Solve 3*c - 2 = p*c for c.
2
Let x = 19 - 17. Let i = -3665 - -3673. Solve x*z - 4*z = i for z.
-4
Let m be (0 - -1)/((-1)/(-12)). Suppose -m = -4*l + 2*l. Suppose 2*x = -d - d + l, d + 2*x = 5. Solve 0 = -u + d - 5 for u.
-4
Let x be 8/(2/(-108)*-12). Solve x*i - 27 = 45*i for i.
-3
Suppose 6 - 126 = -15*u. Solve 15*h - u - 37 = 0 for h.
3
Let v be (-2)/(2/3) - 25. Let i be 6/(-21) - 428/v. Suppose -4*w = 7*w - 23*w + 120. Solve w*o - i = 5*o for o.
3
Let w = -16 + 18. Suppose 0 = 2*t - m, 4*t - 3*m + w*m = 0. Suppose 2*j - 4 = -n - n, -3*n - j + 14 = t. Solve 2*v = -v - n for v.
-2
Suppose -3*o + 27 = 4*j, 2*o - 15 = -3*j + 4. Let a(u) = 13*u - 12. Let b be a(j). Suppose 20*p = 17*p + b. Solve -p = -c + 4*c for c.
-3
Suppose -68*q + 77 = -61*q. Suppose l = 2*x - 17, 5 - 23 = -3*x - l. Solve -x*p + q*p - 16 = 0 for p.
4
Let w = -12967 + 13017. Suppose 5*l + 5 = 20. Solve -l*m + w = 53 for m.
-1
Suppose -14*b + 4 = -38. Suppose b*n = -3*v + 4*v - 4, -4*n - 3*v = -12. Let u(w) = -w - 13. Let l be u(-13). Solve j + l*j = n for j.
0
Let m(w) = -w**2 - 12*w - 23. Let g be m(-9). Suppose 2*j = -3*j - g*u + 41, 5*j = 5*u + 5. Suppose -d - j*d = -9*d. Solve 2*p + 2*p + 4 = d for p.
-1
Suppose 3*a = 4*b - 120, -b = -6*b + a + 150. Suppose -2*f = -5*n + 21, -2*n - 2*f + 20 = 3*f. Suppose n*k - b = -k. Solve -l + k = -6*l for l.
-1
Let t be 28/238 - (-3396)/34. Solve 12*q - 136 = -t for q.
3
Let a = -380 - -383. Solve 0 = a*d - 4*d - 5 for d.
-5
Let h = 6004 + -5994. Solve h*v + 67 - 87 = 0 for v.
2
Let u be ((72/27)/(-4))/(2/(-582)). Let r = u - 176. Solve 0 = 3*q - 21 + r for q.
1
Let b be 57/12 + 2/8. Let z = -31541 - -31556. Solve 2*a = b*a + z for a.
-5
Suppose 17 = -95*o + 184*o - 1585. Solve 63 = -9*v + o for v.
-5
Let d be 42/105*(-15)/(-2). Let i be -15 - -16 - (1 + -5). Suppose -7 = -i*n + d. Solve m + 3 = n*m for m.
3
Let m be (-10)/(((-4)/(-6))/((-6)/9)). Let y(w) = w**3 - 10*w**2 + 7*w - 10. Let q be y(m). Let n = 63 - q. Solve -o + 2*o = -n for o.
-3
Let z(h) = 2*h**2 - 395*h - 2020. Let t be z(-5). Solve -6 = -t*o + 4*o for o.
6
Suppose 5*o = 10, 13*p = 14*p + 3*o - 21. Let k(b) = -b**3 + 14*b**2 + 13*b + 30. Let h be k(p). Solve a = 2 - h for a.
2
Let g be 162/(-324) + (-5)/(-2). Solve -3*q = 10 + g for q.
-4
Suppose 2071 = 5*k + 5*x - 3229, 2*k + 4*x = 2134. Solve -k = 3*w - 1062 for w.
3
Suppose 1 = 4*y + 3*s, 0 = 4*y - 0*s - 4*s - 36. Suppose -y*r = 2*r. Suppose r = -v - v. Solve 0*t + 2*t = v for t.
0
Let w = 10051 + -10049. Suppose -3*p + 6*p = 0. Solve w*q + p = -2 for q.
-1
Let q be ((-2)/4*4)/(10/(-20)). Suppose q*w = -2*x + 10, 4*x - 24 - 14 = w. Solve -7*m - x = 26 for m.
-5
Let o(x) = x**2 - 10*x + 21. Let i(f) = 4*f - 117. Let w be i(30). Let a be o(w). Solve a = v + 3 - 4 for v.
1
Suppose -259*y - 800 + 275709 - 18758 = 0. Solve 3*s - 986 = -y for s.
-1
Let p(a) = 976*a - 923. Let v be p(1). Solve -10*r + 123 = v for r.
7
Let u(l) = -l**3 + 12*l**2 - 8*l - 19. Let a be u(11). Let d(g) = a*g + g**2 - 21 - 52*g + 17*g + 17*g. Let z be d(-4). Solve -10*w = -z*w for w.
0
Let s(g) = 5*g + 176. Let b be s(-34). Let n be (-114)/76*(-20)/b. Solve n = 2*f + 7 for f.
-1
Let r(x) = -3*x**2 + 2*x + 4. Let i be r(4). Let t(n) = n**2 + 37*n + 43. Let y be t(i). Solve 5 = -g + y for g.
2
Let m(h) = 2*h**2 + 9*h + 9. Let a be m(-4). Let w be (-3 - (a - 9))/((-1)/(-3)). Solve -2*o - 20 = w*o for o.
-4
Let d(p) = 54*p + 1939. Let n be d(-34). Solve 40*a + n + 57 = 0 for a.
-4
Let c(a) = 2*a**2 + 17*a + 9. Let t be c(-9). Let u be ((-130)/(-39))/(4/t). Let x be (-1 - 1/(-2)) + u/10. Solve -b + x = -0*b for b.
1
Let o = 28 - 25. Suppose o*u = 18 - 30. Let z be 0 - ((-36)/u)/(-3). Solve z*s = -0*s + 6 for s.
2
Let k(n) = 13*n**3 - 24*n**2 + 55*n - 72. Let i(j) = 18*j**3 - 36*j**2 + 82*j - 108. Let g(y) = 5*i(y) - 7*k(y). Let z be g(-14). Solve x = z*x for x.
0
Suppose -2*x = 2*c + 2*x + 4, -3*x - 13 = -c. Let d be 8/((24/(-33))/c). Let t = -41 - d. Solve y = t*y + 10 for y.
-5
Suppose -u + 5*l + 10 = 0, -337*u - 55 = -341*u + 5*l. Solve 94*y - u = 91*y for y.
5
Let t(m) = -234*m - 538. Let l be t(-4). Solve -l*j = -406*j + 40 for j.
5
Suppose 21 - 15 = 2*j. Suppose 3*r - j*n + 8 - 2 = 0, 2*r = -3*n + 16. Suppose -3*o - r = -5*o. Solve o = 5*s - 14 for s.
3
Let j = 3 + 0. Suppose -10*l - j = -3. Let f be (l - (-2)/14) + 2/(-14). Solve -7*z + 4*z = f for z.
0
Let o be (8/(-10))/(4/(-30)). Let x(w) = -18 - 4 + o*w + 10 - 6. Let h be x(3). Solve -2*l + h*l = 0 for l.
0
Suppose -404*f - 30*f + 226961 = -827225. Solve f = 10*o + 2509 for o.
-8
Suppose b - 2 = -5*q, 5*q - 6 = -5*b + 2*b. Let p be 6/(-2) + 1*19. Suppose 13*j - p*j = 0. Solve q*u - 5*u = j for u.
0
Let v(r) = -2*r**3 - r**2 + 1. Let c be v(-1). Let k be 1 + 2 - -1 - 1. Suppose -179 + 92 = -29*y. Solve -c*j + y*j = k for j.
3
Suppose -2*r + 6 = -4*w - 102, 0 = -5*r - 2*w + 330. Suppose 9*j - 8 - r = 0. Solve 0*c - 4*c + j = 0 for c.
2
Let u be (-4)/(-16) - (-589)/76. Solve -u*h - 140 = -124 for h.
-2
Let x = -2096 + 2130. Solve -3*o + x = 40 for o.
-2
Let h be (7 - (-4)/(-2))*112/10. Solve -h*g + 24*g + 224 = 0 for g.
7
Suppose 17*t + 5*f - 16 = 0, -31*t + f + 10 = -30*t. Let k(o) = o. Let n be k(3). Solve -n*u - 4*u = -t*u for u.
0
Let p = 5 - 3. Suppose 4*k = 3 + 9. Suppose 4*c + 20 = 5*n + 42, -k*n - 6 = 0. Solve -d = c + p for d.
-5
Let t(n) = -n**2 + n + 217. Let r be t(-14). Solve 7*g + 7 + r = 0 for g.
-2
Suppose 0 = -7*g + 2*g + 20. Suppose 0*o - g*o - 112 = 0. Let k = 32 + o. Solve n = -n + k for n.
2
Suppose -2*b = -5*b + y - 410, 2*b = 2*y - 280. Let u = b - -139. Solve 3*c - 4*c + u = 0 for c.
4
Suppose -25 = 5*j, 1 - 27 = -3*l + j. Solve 20 = 9*o - l for o.
3
Let v = 67 + -110. Let a(l) = 5*l**2 - 30*l + 83. Let q be a(4). Let f = v + q. Solve f*b = 4*b - 16 for b.
4
Let t be 1215/(-9)*(-3)/(-9). Let a be 1 + 1/(-2) + t/(-18). Solve a = -3*j - 3 for j.
-2
Let v(x) = -x**2 + 23*x - 4. Let j be v(23). Let s be j + (532/36 - 2/(-9)). Solve 0 = 5*c + s + 9 for c.
-4
Let n(k) = k**2 + 4*k + 4. Let v be n(-6). Suppose 4*d = 4*w - 64, w = 2*w + 4*d - 6. Solve w*h - v*h = -2 for h.
1
Suppose -15*k = -13*k - 24. Suppose k = 3*f - 3. Solve -6*o + 7 + f = 0 for o.
2
Suppose 870 = -16*h + 74*h. Solve h*s - 33 = 27 for s.
4
Let f = -7211 - -7271. Solve -f = -220*k + 230*k for k.
-6
Suppose -4*m = -0*m - 24. Let l(b) = 23*b + 47. Let k(j) = 4*j + 8. Let f(c) = m*l(c) - 34*k(c). Let u be f(-2). Solve -5*v + 3*v = -u for v.
3
Suppose 10*h = -1349 + 29. Let c = -120 - h. Suppose c*n = -0 + 36. Solve -n*r - 3 - 6 = 0 for r.
-3
Let q(h) = 20*h**2 + 304*h + 111. Let y be q(-15). Solve -y*m + 44*m - 14 = 0 for m.
-2
Let p be -1 - (-5 - (-35)/10)*12. Suppose -z + p = -15*k + 18*k, 5*z - 13 = -3*k. Solve 0 = -7*x - k*x - 65 for x.
-5
Let n(f) = 5*f**3 + 23*f**2 - 30*f + 67. Let g(t) = -2*t**3 - 8*t**2 + 10*t - 23. Let s(o) = 8*g(o) + 3*n(o). Let m be s(3). Solve -m*p + 2 = -8 for p.
2
Suppose 4*w - 8 = 0, -u = -w + 4*w - 22. Suppose -2*s - 4*v = 4, -s + v + 22 = -0*v. Solve 10*d + s = -u for d.
-3
Suppose 2*d + 22 = 4*z, -2*d - 3*d - 25 = 0. Suppose y + 4 = 3, -2*a = z*y - 7. Suppose 0 = -a*r + 20, 2*r - r = -g + 4. Solve 3*v - 15 = -g*v for v.
5
Let w(b) = -b**2 - 24*b. Let j be w(-24). Let x be j + (-4)/(-14) + 304/14. Suppose 14 = 9*u - x. Solve u*g - 7*g = 9 for g.
-3
Let p be 1*-7 - 100/(-4). 