t l(a) = -10*a**3 + 16*a**2 + 13*a + 12. Let m(r) = -2*l(r) - 7*p(r). Let q be m(0). Solve 6*f = 14 + q for f.
3
Suppose -5*i - q + 44 = 0, 529*i = 527*i - 3*q + 15. Solve 1062 - 1098 = -i*u for u.
4
Let c be 10 - (124/(-124) + (6/2)/1). Solve 6*g - 10 = c for g.
3
Let d be (-6)/(-48) - 253/(-88). Let x = -44 + 48. Suppose 0*z = -5*z + x*c + 20, -16 = -4*z + 4*c. Solve -7*a = -d*a + z for a.
-1
Suppose 0 = -5*v - l + 1028, 5*v + 2*l = 1336 - 305. Let t = v + -205. Solve 0 = d - t - 2 for d.
2
Let l = 7810 - 7794. Solve 7*i + 58 - l = 0 for i.
-6
Let w = -2 - -4. Let s(b) = -2*b**w + 30*b + b**3 + 11*b**2 - 4*b**2 + 12*b**2. Let t be s(-15). Solve -d + 5 = -t*d for d.
5
Let g be 12/(-15)*15*2/6. Let a be g/(-18) - 12/54. Solve a = 4*m + 3 + 1 for m.
-1
Let i be ((-30)/(-39))/5 - 6/39. Suppose -2*d - 4 = -d, 0 = -2*z - 2*d - 6. Let c(q) = 2*q**2 - 4*q + 5. Let k be c(z). Solve i = -k*x - 0 + 3 for x.
1
Suppose 0 = 4*v + 4*b - 0 - 24, b - 26 = -5*v. Suppose 0 = -2*z + 5*s - 1 + 9, -6 = z - v*s. Solve 6*l - 32 = z*l for l.
-4
Suppose 10*z + 9 = 31 + 18. Let n = 69 + -38. Solve -z*k - n = -11 for k.
-5
Suppose -32*t + 6 = -31*t + 2*c, 9*t - 2*c = 94. Solve t*f = -31*f for f.
0
Let z be (46 - 1)/((-6)/(-4)). Let i be -17 + z + (-4 - 0). Solve -m + 4*m + i = 0 for m.
-3
Let l = -124 - -120. Let x(v) = 6*v + 26. Let b be x(l). Suppose -w + o + 1 + 4 = 0, -5*w - 7 = 3*o. Solve b*z = 1 + w for z.
1
Suppose 5*d = 2*c - 3*c + 124, 5*d - 4*c = 104. Let p(y) = -y**2 + 22*y + 72. Let z be p(d). Solve -12 = 28*k - z*k for k.
-3
Let d = 840 - 828. Solve -29*f - d = -33*f for f.
3
Suppose 21*a - 497 - 328 = 6*a. Solve a*n - 58*n + 6 = 0 for n.
2
Let t = 320 - 315. Let y be 4/16 - (-1)/(-4). Let g(n) = 7*n**2 + n - 3. Let v be g(1). Solve v = t*x - y for x.
1
Let t(z) = -z**2 + 18*z - 30. Let n be t(16). Suppose 5 = n*d + 1. Suppose -d*j = 5*j - 140. Solve -7*b - j = -3*b for b.
-5
Let y = -476 - -521. Let n be ((-36)/15)/((-36)/y). Solve n*j = 6*j + 6*j for j.
0
Suppose 5*o + 2*j = 156, -4*o + 62*j - 58*j = -80. Solve -23*n - 18 - o = 0 for n.
-2
Suppose 2*k + 2*v = 3*k - 1356, -6738 = -5*k - 4*v. Suppose -2*f + k = -3*f. Let y be f/(-198) - (-2)/11. Solve y*s + 4 = 6*s for s.
-4
Let u(a) be the third derivative of 1/8*a**4 - a**3 + 0 - 20*a**2 + 0*a. Let g be u(3). Solve g*i - 5 = -2 for i.
1
Let g(u) = 8*u**2 - 205*u - 621. Let f be g(-3). Solve -f*s = -10*s - 224 for s.
4
Let o be (-5841)/27 - 15/9. Let t = o + 223. Solve -18 = -t*q + 7 for q.
5
Let w be 15/(-6)*40/25. Let k be 10 + -9 - ((0 - -1) + w). Let z = 29 - 18. Solve -1 - z = k*j for j.
-3
Let l = -51 - -154. Suppose -2*p = -4*t - 46 - 0, 5*p - l = 4*t. Solve 21*z = p*z for z.
0
Let v be 80*2/12*(-6)/(-4). Let d(k) = 41*k - 20*k + 18 - v*k + 12. Let y be d(-20). Solve y*q + 5 = 5*q for q.
-1
Suppose 0 = -q + 4*y + 20, -q + 80 = 3*q - 4*y. Let n be ((-6)/(-5))/(8/q). Let o = -9346 + 9346. Solve 2*j - n + 1 = o for j.
1
Let f = -190 + 202. Suppose -f*h + 23*h = 11. Solve y = -0 - h for y.
-1
Suppose 81*z + 6273 - 6678 = 0. Solve z = 125*x + 5 for x.
0
Suppose 0 = -177*w + 54*w + 13899. Solve -w*q + 7 = -120*q for q.
-1
Suppose -6*p = -7*p + 4. Suppose p*i - 3 = 33. Let g be 10 + 3/i*0 - 2. Solve w = -w - g for w.
-4
Let u be 4/6 + (-2320)/60. Let j = u + 42. Suppose -6 = 2*l - 5*s + 8, -j*l = 3*s - 24. Solve k + l = -1 for k.
-4
Let q(u) = -88*u + 1826. Let r be q(19). Solve -r*a = -151*a - 9 for a.
3
Let b = -50 - -37. Let p = b + 16. Suppose -3*r = p*n + 9, -2*r - 2*r = 20. Solve n*v + 8 = -0*v for v.
-4
Suppose -4*t = 4*g + 708, g + 11 = 4*t - 141. Let f = g + 90. Let w = 82 + f. Solve -4 = -4*p - w*p for p.
1
Let n(a) be the second derivative of -a**4/12 - a**3/6 + 2*a**2 - 32*a. Let c be n(2). Let m be (-6 - c - -5) + 1 + 2. Solve 4*g - 8*g = m for g.
-1
Suppose -2225 + 4025 = 100*m. Solve -31*n = -25*n + m for n.
-3
Let b = -40683 - -40683. Solve -10*s + 36 + 44 = b for s.
8
Suppose -7*p = -24*p - 17. Let t be ((-5)/((-75)/(-85)))/(p/6). Suppose 38*g - 20 = t*g. Solve -g*m + 25 = -0*m for m.
5
Let u(g) = g**2 - 28*g + 128. Let y be u(22). Let l be (-56)/(-21)*(-3)/y. Solve 16 = l*s + 8 for s.
4
Let s(r) = 3*r**2 + 122*r + 461. Let d be s(-4). Solve d*v = -v for v.
0
Suppose 8*q + y - 13 = 7*q, -4 = -2*y. Let g be (-13 - -19) + q/1. Solve 3 + g = 5*d for d.
4
Let x = -3798 - -3803. Solve h + 0*h = -x*h for h.
0
Let n be 36/15 + (-4)/10. Suppose -5*o + c + 108 = 79, c = -3*o + 19. Let f = n + o. Solve -d - f = d for d.
-4
Let h = -10483 + 10523. Solve 11*f - h = 3*f for f.
5
Let a(h) = h**3 - 10*h**2 + 20*h - 12. Let z be a(8). Let b be (0/(z/5))/(-1). Solve s + 1 + 3 = b for s.
-4
Suppose 5*t - 17*t + t = -55. Solve -5*z - 3*z = t*z for z.
0
Let l = -102 + 246. Let j be 10 + (l/(-40) - 9/(-15)). Solve -j*v = -6*v + 2 for v.
-2
Let n be ((-14040)/(-675))/((-4)/(-10)). Solve -31*l - 21 = -n*l for l.
1
Let j(c) = 2*c**2 + 151*c - 956. Let y be j(6). Solve -y*s = -6*s - 64 for s.
4
Suppose -5*g + 29*u = 34*u - 10, -g - 2 = -3*u. Solve 4 = r - g for r.
5
Suppose -f - f = -264. Suppose -452 + f = -16*u. Suppose u = 9*z - 25. Solve 0 = z*l + 5 for l.
-1
Suppose 0 = 4*c - 3*b - 801, 2*c = -4*b + 361 + 67. Solve 4*v = -c + 224 for v.
5
Let o(m) = 28*m**2 - 3*m + 5. Let l = 47 + -45. Let f be o(l). Let s = f - 106. Solve n = -1 + s for n.
4
Suppose 0 = -2*q + 6*q - 604. Let x(n) = -150*n**2 + 2*n + 2. Let i be x(-1). Let k = i + q. Solve -g - k - 2 = 0 for g.
-3
Let u = -306 + 429. Suppose -27*y + 93 = -u. Solve 2*a - y = -2 for a.
3
Let y(m) = 3*m**2 + 10*m + 2. Let n be y(-3). Let x be (-138)/(-36) - (n + 5)/(-24). Solve -6*d = x - 10 for d.
1
Let x = -172 - -168. Let m = x - -4. Solve -2*h - 9 + 1 = m for h.
-4
Suppose -27*g + 138*g + 4105 = -6329. Let i be -93 + (0 - 1)/1. Let h = g - i. Solve h = 3*b + b for b.
0
Let t = -489 + 495. Suppose -8*r = -t*r - 10. Solve 0 = -0*b - r*b + 20 for b.
4
Let w(l) = -4 - 1 + 0 + 2 + 51*l - 48*l. Suppose 0*q = -5*q + 5. Let r be w(q). Solve 4*c + 2 + 18 = r for c.
-5
Let k = -7780 + 7785. Solve 38*a + k = 43*a for a.
1
Suppose -7*a + 1 = 43. Let g be 30 + a*(7 + -6). Solve -t - g = -22 for t.
-2
Let y be (-49)/((-980)/16) + 198/15 + -3. Solve -y*a + 73 = 150 for a.
-7
Let t(h) = h**3 - 4*h**2 + 6*h - 2. Let m be t(2). Let i(a) = -a**3 + 1 + m - 9*a**2 - 1. Let p be i(-9). Solve -4 = -p*b - 14 for b.
-5
Suppose -y + 9 = x, -21 = 3*y + 5*x - 58. Let a be 44/(-198) + y/18. Solve 0 = 3*w - a - 15 for w.
5
Suppose -3*i - 15 = 3*o, -o - 10 = 13*i - 11*i. Suppose -l = 2*n - 3, 5*n + 21 = 6. Let d = l + -1. Solve o*v + 2*v = d for v.
4
Let p be 3/(-6)*2/(-1). Let r = 46 - 30. Suppose 5*f = r*f - 77. Solve f + p = 2*b for b.
4
Suppose 21*b - 18*b - 225 = -5*a, 2*b = 2*a + 150. Solve 2*k + 13*k - b = 0 for k.
5
Let s = -53 - -95. Suppose -3*n + 1 = -5*t + s, -34 = -4*t + 2*n. Solve -5*c = -t*c - 10 for c.
-2
Let c(w) = -20*w. Let q(i) = 13*i. Let m(j) = -5*c(j) - 8*q(j). Let b be m(2). Let f = -8 - b. Solve -2*n + f = 4 for n.
-2
Suppose -55*r + 0 + 113 = -162. Solve -35*s - 135 = r for s.
-4
Suppose 52*v = 57*v + 60. Let c be 1*(v + (-3 - -4)). Let g = c - -17. Solve 0 = -3*p + p + g for p.
3
Suppose 2*i + 63 - 32 = -5*j, -5*j = i + 28. Let y be ((-1)/2)/((39/208)/i). Solve -11*h = -y*h - 9 for h.
3
Let j(i) = -41*i + 41. Let z be j(1). Solve 9*x + 289 - 298 = z for x.
1
Let b(i) = 3*i**3 - 5*i**2 - 5*i + 6. Let u(x) = 7*x**3 - 11*x**2 - 10*x + 12. Let f(d) = -5*b(d) + 2*u(d). Let h be f(3). Solve h*o - 7*o + 6 = 0 for o.
-3
Let l be 2 + 6 + -8 + (-2 - (1 - 5)). Solve -9*j + 7 + l = 0 for j.
1
Let w be 1*(9/3 + 0). Suppose -2*i + 3 - 3 = 0. Let k = 17 - 2. Solve 0 = -i*c - w*c - k for c.
-5
Let m = -123 - -378. Let b be 8*(-4)/(-6) - (-170)/m. Solve -4*c = -b + 2 for c.
1
Suppose 56*o - 50 = 51*o. Suppose -o = 4*r - 22. Solve r*p = p for p.
0
Let w(v) be the first derivative of -v**2 + 43*v - 4. Let y(h) = h - 21. Let o(m) = 3*w(m) + 7*y(m). Let f be o(20). Solve f*n = -3*n + 15 for n.
3
Let b(c) = c**2 - 4*c - 12. Let i be (4 + -7)/((-3)/(-2)). Let q be b(i). Solve q*k - 4*k = 8 for k.
-2
Let k = 904 - 898. Solve 0 = -10*l - 44 - k for l.
-5
Let j be (3 - 0/(-1))/(2/10). Suppose j*a = 23*a - 40. Solve a*r + 11 = 1 for r.
-2
Suppose 0 = 3*z - 105 + 33. Let o be 1/(-2)*