 39, -4*y = 4*i - 8. Solve -k = -i*k + 25 for k.
5
Let r(d) be the third derivative of -d**5/60 - 7*d**4/8 - 35*d**3/3 + 3*d**2 + 9*d. Let k be r(-16). Solve 2*b + 8 = k for b.
1
Let u = 1741 + -1716. Solve -u*r + 90 = 15 for r.
3
Let w(z) = z**2 - 17*z + 12. Let m be w(13). Let p = m - -55. Suppose -p*g + 12*g = -18. Solve 4*f = g*f for f.
0
Suppose -55*v + 12520 = -3101 - 78044. Solve 1707*q = v*q + 8 for q.
2
Suppose 4*f + 5*g = 20, 1 = 2*f + g - 3. Let a(w) = -w + 2. Let n(b) = b - 2. Let q(k) = 6*a(k) + 5*n(k). Let l be q(f). Solve 0 = -l*o - 0 + 2 for o.
1
Let d = -69 + 67. Let m be (d - -6)*3/4. Let k be (-4)/m*6/(-4). Solve 2*c - c + k = 0 for c.
-2
Let b be 130/(-52)*(-14)/(-5) + 31. Solve -57*c = -65*c - b for c.
-3
Let s(o) = 47*o**3 + o**2 + 3*o - 5. Let y be s(2). Let h = y + -372. Solve 4*k + 5 = h*k for k.
1
Let n = 172 + -176. Let a be (2 - -1)/(n/(-64)*12). Solve -h + a = 2 for h.
2
Let p be 6/(-51) + 180/85. Suppose 5*h + 2 + 8 = 5*g, 0 = -p*h - 4*g + 26. Suppose 7*n = h*n. Solve 0 = 4*l - n*l for l.
0
Let x(k) = -5*k + 46. Let c(v) = v**3 + 11*v**2 - 26*v + 8. Let m be c(-13). Let i be x(m). Solve w = -7 + i for w.
-1
Let v be (0 + 0)/(-5)*2/6. Suppose 9*f + 10*f = v. Solve f = -0*s + 5*s for s.
0
Suppose 5893 - 1061 = 7*x + 25*x. Solve 0 = -9*y - 124 + x for y.
3
Suppose -21*p + 50*p = 319. Solve -p*a = -3*a - 48 for a.
6
Let w(b) = -b**2 - 29*b - 41. Let u be w(-18). Let x = 160 - u. Suppose v + v = 0. Solve x*c - 4*c = v for c.
0
Let m(f) be the second derivative of -13*f**3/6 - 183*f**2/2 + 235*f. Let t be m(-15). Solve 6 = -t*x + 15*x for x.
2
Suppose 8*w = 2*y + 7*w - 76, 0 = 5*y + w - 176. Suppose 6*x - 2*x = 2*b + y, b = -x + 6. Solve 10*p = -12 - x for p.
-2
Suppose -d + 42 = -2*g, 0 = 5*d + 5*g + 49 - 229. Let i(j) = j**2 - 8*j + 50. Let b be i(5). Let m = d - b. Solve 0 = -2*a + 1 - m for a.
-1
Let p be 2/(-12) + 73041/4518. Solve 25 = 3*g + p for g.
3
Let u(y) be the second derivative of -7*y**3/6 - 249*y**2/2 - 6*y + 2. Let c be u(-38). Solve 3 + c = 5*w for w.
4
Let d = 1032 - 437. Let j = -562 + d. Solve -11 - j = -11*b for b.
4
Suppose -3*x + 2*w = -4*x + 170, 2*x - 5*w = 322. Let y = 180 - x. Solve y + 1 = -3*r for r.
-5
Let u = -868 - -868. Suppose -12*h + 15*h - 33 = u. Solve 4*b + h*b = 0 for b.
0
Let x(b) = -b**3 + 2*b**2 + 7*b - 11. Let o(m) = m**3 + 8*m**2 + 13*m - 7. Let t be o(-5). Let y be x(t). Solve y = s - 3 for s.
4
Suppose -712*r - 17822 = -845*r. Solve -30 - r = -41*w for w.
4
Let x(o) = -o**3 - 3*o**2 + 9*o + 7. Let j be x(-5). Suppose i - n - 5 = -2, i + 2*n = j. Solve -s = -i*s - 15 for s.
-3
Let n(g) be the second derivative of g**3/2 - 3*g**2 - g. Suppose 5*f = -3*o + 3*f - 1, 5*o + 2*f = 5. Let a be n(o). Solve d + a*d = -20 for d.
-5
Suppose -j = -4*w + j + 30, 5*w + j - 55 = 0. Suppose w*m + 1 - 21 = 0. Solve m - 18 = 4*g for g.
-4
Let c be -3 - -1*(-3)/(-4)*4. Suppose -2*u + 5*l = 8, c*l = 5*u + 2*l - 9. Suppose 1 = -4*g + z, -z = 3*g - 2 + u. Solve -k = -g*k for k.
0
Let j(a) = -2*a**2 - 10*a + 2. Let m be j(-5). Suppose m*c - 19*c = -408. Suppose -p - w = 4*p - 15, 2*p + 4*w - c = 0. Solve -p = -2*f + f for f.
2
Let y = 115 + -9. Let n = y + -85. Suppose -16 = -2*l - 0*l - 4*q, n = 3*l + 5*q. Solve -l*x = -0*x for x.
0
Let q(y) = -y**3 - y - 1. Let o be q(2). Suppose -12 + 52 = -4*l. Let a = l - o. Solve 2*h + a = 5 for h.
2
Let v(d) = d**2 + 21*d - 925. Let k be v(22). Solve 335*r = 328*r - k for r.
-3
Let l(v) = v + 1. Let g be l(6). Let z = 457 - 455. Suppose 22*a + z = 23*a. Solve a*u + 5 = g*u for u.
1
Suppose k - 2*a = 6, -3*k - 5*a = -4*k + 6. Let b be (k - (-30)/(-12))*6. Solve 22*y + 2 = b*y for y.
-2
Let a = 293 - 151. Suppose -m = m + a. Let d = m + 74. Solve -6*u = -d*u for u.
0
Let f be ((-91)/(-28) + 2*-3)*32*-5. Solve 3*n - f = -428 for n.
4
Suppose -4*n - 4*u = n + 141, 0 = -5*n + 4*u - 109. Let o = n - -40. Let f be 7/(21/o) - 0/(-2). Solve -6*j + j + f = 0 for j.
1
Let t(q) = 2*q - 9. Let u be t(7). Suppose 5*d + a + 0*a = 26, 24 = u*d - a. Suppose -3*k + 5*w = -0*k - 15, 0 = d*k + 4*w - 62. Solve -4*j = j - k for j.
2
Let x be (3/((-36)/8))/((-12)/90). Solve 0 = 8*t + x + 11 for t.
-2
Let o be 1*-5*4/(-4). Let z = 56 - 15. Suppose -4*l + 121 = z. Solve o*t - t = -l for t.
-5
Let m(p) = 2*p - 16. Let j(x) = -x + 1. Let u(c) = 5*j(c) + m(c). Let z be u(-7). Suppose 17 = 6*i - 7. Solve i*y = z - 2 for y.
2
Let l = -771 + 181. Let s = 649 + l. Solve -w + 58 = s for w.
-1
Suppose 33 - 2 = 14*t + 3. Let f be 4/12 + (-24)/(-9). Solve -5*z - f = t for z.
-1
Let h(l) = 30*l - 10. Let b be h(3). Suppose 131*n - 123*n - b = 0. Solve 10*q = 5*q - n for q.
-2
Suppose 0 = -367*t + 376*t. Solve t = 34*n - 3*n + 217 for n.
-7
Let p be -3 - ((0 - 3) + (1 - -64)). Let y be (p/(-26))/((3/(-2))/(-3)). Solve -10 = y*x - 30 for x.
4
Let v = 1262 + -1252. Suppose -5*g - 4*z = -39, 5*z = -9 - 11. Solve 6*f - g*f = v for f.
-2
Let u(t) = -t**3 + 3*t**2 - 8*t + 11. Let i be u(3). Let j = i + 38. Let k(f) = -f**3 + 25*f**2 + 3. Let l be k(j). Solve 0 = -l*o - o for o.
0
Suppose 144 - 20 = 3*h - y, 2*h = y + 82. Let x be ((-33)/77)/(2*(-3)/h). Solve x*l = -12 + 15 for l.
1
Let k = 15803 - 15722. Solve -k = -7*s - 130 for s.
-7
Let b(q) be the third derivative of -q**4/8 - q**3/3 - 25*q**2. Let d be b(-16). Let c = -26 + d. Solve 5 = 5*z + c for z.
-3
Let h(g) = -43*g - 384. Let q be h(-9). Let s(i) = -5*i - 2. Let p be s(-5). Suppose 18 = 4*w + 2*j, -w - 3*w + q*j + p = 0. Solve -4*y + w*y = 3 for y.
3
Let a(p) = 45*p - 186. Let w be a(12). Let q = w + -351. Solve 0 = 2*n - q*n for n.
0
Let n(l) = l - 8. Let u be n(9). Let i(s) = -4*s - 3 + 3 - 4 + u. Let y be i(-7). Solve 0*t + y = -5*t for t.
-5
Let u(l) = l**3 + 24*l**2 + 39*l - 106. Let f be u(-22). Solve 0 = -f*j + 60 - 40 for j.
5
Let u = 6655 + -6655. Let p be (-4)/(-3)*(-6)/(-4). Solve p*w + 9 + 1 = u for w.
-5
Let c(w) be the second derivative of 5*w**3/6 - 3*w**2 - 4*w - 24. Let l be c(4). Solve l*r - 5*r = -36 for r.
-4
Let b(l) = -40*l - 127. Let z(k) = -62*k - 193. Let q(h) = 11*b(h) - 7*z(h). Let f = -8 - 0. Let o be q(f). Solve 2*v + o = v for v.
-2
Let l be 6*-8*27/36. Let h = -24 - l. Solve 8*t - 4*t - h = 0 for t.
3
Let w = -401 - -403. Solve -2*u + 4 = -w for u.
3
Suppose 7 = 2*y - 0*y - v, -y + 5 = v. Suppose 0 = y*a - 20 + 4, 4*a = -3*c + 16. Solve -9*t + t = c for t.
0
Let w = -109 - -51. Let c = -53 - w. Solve -h + c = -0 for h.
5
Suppose -2*m - 9 = -5*m. Suppose 5*n = 2*r - 25, -10 = -m*n + n. Suppose -4*b - 18 = -d - b, -5*d + 2*b + r = 0. Solve 0 = -d*o - 6 + 15 for o.
3
Suppose 0 = -39*q + 36*q + 9. Let o = -137 + 131. Let d(y) = -5*y - 27. Let v be d(o). Solve q = v*r - 12 for r.
5
Let z(r) = -15*r - 126. Let q be z(-11). Suppose -o + 21 = 5*d, o - q = d - 42. Solve -68 + 88 = d*i for i.
5
Suppose -27*t - 38696 = -55*t. Solve -4*b + t - 1370 = 0 for b.
3
Suppose 2*y + y = 9. Suppose y = 2*t + 3*x, t + 0*x + 3*x = 0. Solve -m - t = -0 for m.
-3
Let w = -305 + 306. Let t be 12*((-6)/(-36))/(w/8). Solve 7*h = 3*h - t for h.
-4
Suppose -338*c + 334*c = 4*a - 36, 0 = -4*a - 5*c + 38. Solve 0 = a*g - 312 + 326 for g.
-2
Let a(p) = 667*p - 42680. Let g be a(64). Let o = 0 - -4. Suppose o*c = 3*c + 7. Solve 0 = 5*v - c - g for v.
3
Let a = -2377 + 2395. Solve -5*r - a = -8 for r.
-2
Suppose 9*a = 22*a - 91. Suppose a*j = -5 + 40. Solve -p + 0 = j for p.
-5
Let m be (-2)/4 - 1*(-138)/(-4). Let w be 1/((-2)/(-12)) - (m - -35). Solve 5*t = 3*t + w for t.
3
Let p be 2/(-1) - (15 - -2)/(132/(-264)). Solve 23*q = -p*q - 220 for q.
-4
Let y = 14 - 2. Suppose 50 = y*j - 10. Let v be ((-6)/(-3) - 6)/(10/(-15)). Solve v*s = s - j for s.
-1
Suppose -14*k + 1515 = -15*k. Let v be 1/2 - k/30. Suppose 15 + v = 3*j. Solve 5*q = 7 - j for q.
-3
Let u(n) = -55*n**2 - n - 1. Let g be u(-2). Let y = -218 - g. Solve -y = 5*s + 4 for s.
-1
Suppose 0 = 4*b - 8, b + b = -3*q + 7. Suppose i = 5*p - 19, -q = -3*p + 4*i + 7. Let x = 7 - 6. Solve -p*g - 7 = x for g.
-2
Let m = 474 - 480. Let d be (-15)/m - -1 - 30/(-20). Solve -d*s + 0*s = -10 for s.
2
Let s be (47 - -3)*(-174)/(-145)*(-10)/(-8). Solve 0 = 16*b - 91 + s for b.
1
Let f(c) = -c**2 + 20*c + 73. Let b be f(23). Suppose 4 = -b*z, -3*z + 2*z = -3*a + 13. Solve -a*r = -2*r for r.
0
L