d - 4 = 8*d for d.
2
Let w = -12 - -71. Let u = w + -64. Let f be 34/10 + 2/u. Solve 0 = 4*j - j + f for j.
-1
Let q(k) = 2*k**2 - 11*k + 26. Let d be q(10). Let b = d + -101. Solve -b*c + 19*c = 8 for c.
2
Suppose 121 = -12*z + 145. Suppose -2*v - 3*l + 16 = -2*l, -5*l = 20. Solve -7*p = -z*p - v for p.
2
Suppose -3*a + 2 = 5*b, a - 2 + 3 = 0. Let y = b - -5. Suppose 14 = k + y*k. Solve 0 = -2*s - k*s - 12 for s.
-3
Suppose -z + 4*g = 21, -4*z - 4*g = -g - 11. Let x be z/(-5) + -2 + (-98)/(-10). Let p = 79 - 70. Solve 5*q + p = x*q for q.
3
Let b(t) = 9*t + 144. Let n = -73 + 58. Let x be b(n). Solve x*w - 7*w = 10 for w.
5
Suppose -5*z + 5*v + 11 = 3*v, 5*z - 8 = v. Suppose 0 = j + u - z, -11*j + 9*j = 5*u + 7. Suppose -2 = n + 3, -2*n - 25 = -3*p. Solve q + j = p for q.
1
Suppose -o + 20 = -5*o. Let z be o/(-15)*-3 + -3. Let c be (z - 0)*(6 + -7). Solve -p + c*p + 9 = 0 for p.
-3
Let a(w) be the third derivative of -w**6/120 - 2*w**5/15 + 5*w**4/12 + 5*w**3/2 + 110*w**2. Suppose z + 12 - 3 = 0. Let r be a(z). Solve 2*q = 4*q + r for q.
-3
Let w(k) be the second derivative of k**6/720 + k**5/8 - k**4 - 4*k. Let m(x) be the third derivative of w(x). Let r be m(-7). Solve 5*q - r = -3 for q.
1
Let s be 18 + 2 + 84/(-14). Suppose 0 = -s*z + 22*z - 88. Solve -2*j - 1 + z = 0 for j.
5
Suppose x + 5*t - 28 = 0, -5*x + 27 = 4*t - 92. Suppose -2*q + x = 3*i + 14, 0 = 5*i + 3*q - 15. Solve -i*a = -4*a - 4 for a.
-4
Suppose -8509*n + 5720 = -8489*n. Solve 0 = -65*w + n + 39 for w.
5
Suppose 28*w - 40 - 44 = 0. Let x be ((-3)/(27/(-12)) - 0)*w. Solve -24 = x*b + 2*b for b.
-4
Suppose 689 - 31 = 94*m. Solve m*g - 72 = -17*g for g.
3
Suppose -14*k + 17*k - 195 = 0. Let y = k - 58. Suppose -y*o + 60 = 8*o. Solve o*u + u + 10 = 0 for u.
-2
Let n be ((-64)/6)/4*(7 + 1057/(-28)). Solve -9*w + n = 100 for w.
-2
Let h(d) = -d**3 - 2*d**2 + 64*d + 15. Let n be h(-9). Let y = -3 - 7. Let i = y - -14. Solve i*u - 2*u = -n for u.
-3
Let j be 1533/(-252) - (-1)/12. Let w be ((-14)/j - (-275)/165) + -1. Suppose 4*d - 3*p = -6*p - 12, 12 = 3*d - 3*p. Solve d = -5*f + w*f for f.
0
Let c = 28388 - 27937. Solve -21 = c*i - 458*i for i.
3
Suppose 71*i - 1750 - 1449 = -217. Solve 12 = i*s - 40*s for s.
6
Let f be ((-20)/(-6))/((-90)/(-1134)). Solve f + 10 = 13*o for o.
4
Let u be (1 - -6)/(-693 - -700). Let m = 8 + -14. Let t = m - -8. Solve -v = u + t for v.
-3
Let j be 17 + 2 - -1 - (10 - 9). Let m(w) be the first derivative of w**4/4 - 20*w**3/3 + 9*w**2 + 24*w - 1. Let r be m(j). Solve 13 = r*h - 2 for h.
3
Let x = 0 - -1. Let a be (x + -1)/(0 + 1). Let q be (-18 - 252/(-392)*30)*7. Solve a*b + q = -3*b for b.
-3
Suppose z = 4*x - 9, -7*z + 33 = -3*z + 7*x. Solve -7*q + 4 = -z for q.
1
Suppose o + b - 155 + 90 = 0, -4*b - 65 = -o. Suppose 0 = 2*d + 6*a + 14, 0*a + 5*a + o = 5*d. Let i = 4 - 2. Solve 0*l - i*l = -d for l.
4
Let f be -1 - -1 - (-2)/(-8)*0. Suppose 4*w - 5*m - 27 - 72 = f, -w - 2*m = -28. Solve w - 1 = -5*c for c.
-5
Suppose 245*i + 5 = 250*i. Suppose -2*f = 4*j - 26, j - 2*j = -f + i. Solve g + g = -j for g.
-2
Let a(y) = y**3 - 9*y**2 + 20. Let h be a(9). Suppose 10*p + h = 14*p. Solve 2*m = p - 3 for m.
1
Let v(w) = -110*w + 103. Let o be v(1). Let m = 17 + -6. Let t = o + m. Solve 0*x + t = x for x.
4
Let a(m) = 3*m**2 - 117*m - 97. Let y be a(40). Solve -19*j - 28 = -y*j for j.
7
Let a(h) = 679*h**3 - 4*h**2 - 5*h - 4. Let m be a(-1). Let b = -681 - m. Solve 0 = -2*t - b - 1 for t.
-1
Let r(n) be the third derivative of -n**6/60 - 13*n**5/60 + n**4 + 4*n**3/3 - 3*n**2 + 6. Let w be r(-8). Solve 0*o = 4*o + w for o.
-2
Let u = 168 - 163. Suppose 2 = 6*o - 7*o, -40 = -3*w + u*o. Solve 5*v - w = -30 for v.
-4
Let k be (-689)/(-117) - 6 - 578/(-18). Solve -24*a + 28*a = -k for a.
-8
Let v(g) = g**3 + 5*g**2 - 9*g - 1. Let a be v(-6). Let t be (a - -1)/((-3)/(-2)). Suppose x = 2*m + 22, -3*m + 5*x = -366 + 497. Solve m*o - t = 6*o for o.
-4
Let s(z) = -4*z**3 - z**2 - 10*z + 5. Let a(h) = 2*h**3 + 5*h - 3. Let k(x) = -9*a(x) - 4*s(x). Let l be k(4). Let q = -77 - l. Solve q = -u - 2*u + 15 for u.
5
Suppose 0 = 207*b - 201*b - 294. Solve 19 - b = -6*l for l.
5
Suppose 136 = -2*k + 6*k. Let q = -5005 + 5043. Let z = q - k. Solve 4*y = 5*y + z for y.
-4
Let i be 11/5 + (-17)/85. Let g be 8*i*8/32. Solve -g + 8 = -2*t for t.
-2
Let o = 25 + -28. Let p be ((-40)/(-15) + o)*21. Let h be p/28 - (-42)/8. Solve 4*u - h + 1 = 0 for u.
1
Suppose -4*s - 366 = -5*l, -3*l - 152 = -5*l + 3*s. Let c be ((-6)/3)/((-5)/l). Suppose 5*q = -2*q + c. Solve q*x - 3 = x for x.
1
Let j(v) = -149*v - 861. Let r be j(-6). Solve 0 = -r*s + 34*s + 3 for s.
-3
Suppose 3*r = -2*z - 1, -2*z + 2*r - 4*r + 2 = 0. Suppose -z*a = 5*a - 45. Suppose -7 - 3 = -3*d + x, 0 = -4*d - a*x + 45. Solve 6*m + 5 = d*m for m.
-5
Let n(r) = -2*r - 27. Let b be n(5). Let o = b + 39. Let v be -1*0/(o/2). Solve 5*j - j + 16 = v for j.
-4
Let u be 6 + 8*(-5)/(-10) + -6. Let y(b) = b**3 - 6*b**2 + 12*b - 11. Let o be y(u). Solve -o*z + 0*z = 0 for z.
0
Let o = -30 + 23. Let r be 14/(-3) + 10/15 - o. Suppose 2*x + 14 = 5*d, -r*x + 23 = -2*x + 5*d. Solve -x*m - 15 = -8*m for m.
3
Let p be ((-16422)/12)/17*(-20)/7. Let r = p + -222. Solve r*x = 7*x + 4 for x.
4
Let t = -15 - -25. Let a = -57 + 62. Suppose 0 = -2*n - 0*h + 2*h + 12, a*n - 28 = 3*h. Solve -n*w = -5 + t for w.
-1
Suppose l + 15 = -10. Let u be (-5 - l)/((-4)/(-14)). Let q = 72 - u. Solve q*z - 4 = z for z.
4
Let n be (-420)/(-18)*(-45)/(-6). Solve n*z - 178*z - 12 = 0 for z.
-4
Suppose 3*c = 4*c - 4. Let u(v) be the third derivative of v**5/60 - 5*v**4/24 + 2*v**3/3 + 31*v**2. Let x be u(4). Solve o - c + x = 0 for o.
4
Let m be ((-339)/9)/((-2)/18). Suppose 337*b - m*b = -2. Solve b = -3*w - 2 for w.
-1
Let h be ((-9)/6)/((-231)/484)*28. Suppose 58*c - h = 50*c. Solve -c*x - 16 = -7*x for x.
-4
Suppose -2*a + 8384 = -18*a. Let l = a + 529. Solve -l*z = -12 + 7 for z.
1
Let a(n) = -n**3 - 2*n**2 - 2*n - 3. Let u be a(-2). Let k be -2 + 1 + 4 + u. Let o = 3695 + -3685. Solve o = -k*h + 2 for h.
-2
Suppose -69*i = 7*i + 46*i - 780922. Solve 6*q = -i + 6443 for q.
7
Let a = -2789 + 2794. Solve 7*x - 9 = a for x.
2
Let d be 584/20 + 108/60. Let w = -25 + d. Solve -7*y - w = -10*y for y.
2
Let j(s) = -s**2 + 7*s - 11. Suppose -4*t + 4*k - 40 = 0, 0 = -3*t - k - 5 - 5. Let w be j(t). Let z = -67 - w. Solve -z*b + 11 = 3 for b.
2
Let j be (-1)/2 + (-26)/(-4). Let c be 240/2*(-40)/50*-1. Suppose c - 112 = -4*a. Solve j - a = -l for l.
-2
Let i be 301/129*(-48)/(-28). Solve -32 = -i*a - 28 for a.
1
Suppose 4*h - 60 = -5*r, -4*h - 4*r = -12 - 44. Suppose 7*a = -h*a. Solve a = -6*q + 4*q + 4 for q.
2
Let r(s) = s**3 - 2*s**2 + 2*s. Let b be r(0). Suppose 9*m - 11*m - 2 = b. Let w be m*((-10)/(-1))/(-2). Solve w*a = 18 + 2 for a.
4
Let y = 23154 + -23154. Solve y = 9*z - 16 + 34 for z.
-2
Let c(v) = -28*v - 54. Suppose -4*y - 2*d - 18 = 0, -2*y + 6 = -5*d - 3. Let r be c(y). Solve -3*u - 3*u + r = 0 for u.
5
Suppose -103*n + 105*n + 144 = 380. Solve 27 = -29*r - n for r.
-5
Suppose 0 = s + 5, -10 + 9 = -3*n - s. Suppose -z + n*p - 3*p + 10 = 0, 2*p = -4*z + 30. Solve z = -3*c + 8*c for c.
1
Let g = -255 + 249. Let v be (-15 - -3)/3 - (g + -1). Solve 0 = -8*l + 11*l + v for l.
-1
Suppose -3*b + 4*k = -278, 186 = 2*b + 5*k - 8*k. Let c = -79 + b. Solve 5*h + c = 26 for h.
3
Suppose -205*b = -200*b - 3*i - 12, 6 = 4*b - 3*i. Let v(h) = h**3 + 8*h**2 + 6*h + 5. Let a be v(-7). Solve b*g - 18 = a for g.
5
Suppose 0 = -3*p + 2*u + 3*u + 77, -12*p + 338 = -5*u. Solve 10*m - p = 31 for m.
6
Let y = 180 + -189. Let r be (30/(-90))/(1/y). Solve -7*w - 4 = -r*w for w.
-1
Let c be 984/33 + (-1428)/132 + 11. Solve -23*d = -c*d + 28 for d.
4
Let x(k) = k**2 + 23*k + 81. Let r be x(-19). Suppose 0 = -2*z + 4*y + 8, -1 = 3*z + 2*y - r. Solve -z = d + 3 for d.
-5
Let b(f) = f**3 - 5*f**2 + 5*f - 1. Let v be b(4). Suppose 7575 = 16*k - 21*k. Let a = k + 1521. Solve -15 = -v*m + a*m for m.
-5
Suppose 37*o - 395 = -42*o. Solve -8 + 33 = -o*b for b.
-5
Let i(h) = h**3 + 13*h**2 + 14. Let w be i(-13). Let t = 22 - w. Let a be 7 + ((-12)/t)/(2/(-4)). Solve 2*c = 7*c - a for c.
2
Let k(f) = -f - 3. Let r be k(-8). Suppose 4*s = g + 84, -2*s + 3*g + 24 = 7*g. Suppose -s = r*c - 