 Solve -k*s = -24*s for s.
0
Let u(s) be the third derivative of s**6/120 - s**5/60 - s**4/24 - s**3/6 - s**2. Let t be u(2). Let l = -353 + 356. Solve -2*o - t + l = 0 for o.
1
Suppose -3*l + 3*a + 23 = 2, 3*a + 13 = -l. Solve 12*z + l = 38 for z.
3
Suppose 2*i - p - 444 = -3*i, -2*i = 5*p - 156. Let x be ((-242)/i)/((-2)/16). Suppose 5 = u + u - 3*d, -u - 5*d + x = 0. Solve 0 = -u*r + 6*r for r.
0
Let p(k) = 0*k + 12*k - 2*k + 49. Let v be p(-5). Let j be (-1)/(2*v/4). Solve 2*a = -j*a - 12 for a.
-3
Suppose 2*d = 2*a - 2 - 0, -4*d = -8. Let r(h) = 7477*h - 37385. Let k be r(5). Solve -a = -y - k for y.
3
Let z(d) = 4*d**2 + 91*d - 17. Let v be z(-21). Let n = v + 167. Let g be -1 + 39*4/6. Solve -2*a - n*a = g for a.
-5
Suppose 0 = -0*s - 5*s. Suppose -2*q = -0*q - 3*h + 15, 3*q + h + 6 = s. Let c be (-30)/(-4) + q/(-2) + -1. Solve -c*o = -3*o for o.
0
Let t = -2 + 2. Let f be 1744/20 - -1 - (-2)/(-10). Let b = f + -84. Solve t = -b*n + 6*n - 10 for n.
5
Suppose 0 = 4*v - 6*v + 6. Let o(b) = -b**2 + 2*b + 13. Let n(g) = g - 1. Let f be n(5). Let d be o(f). Solve -4*k + d*k = v for k.
3
Let d(k) = 4*k**2 - k - 1. Let f be d(-1). Suppose 5*i = f*i. Suppose -78*c = -71*c - 140. Solve i = -5*m + c for m.
4
Let q(t) = 0 - 1 - 3*t + 2*t + 4. Let c be q(0). Let j = -2929 - -2947. Solve -j + 3 = -c*l for l.
5
Let w be 22/(-33)*(-147)/14. Solve -60 = -13*s - w*s for s.
3
Let b(g) = -2*g**2 - 88*g + 5607. Let c be b(35). Solve -757 + 141 = -c*q for q.
8
Let f(k) be the first derivative of -k**3/3 + 12*k**2 - 21*k + 9. Let r be f(23). Suppose -i + 6 = 2*i. Solve r*l = -i*l for l.
0
Let r(q) = 12*q - 172. Let p be r(29). Suppose 35*g - p = 24*g. Solve -13 = -v - g for v.
-3
Let y(l) = l**2 + 2*l + 2. Let g be y(-2). Let s(p) be the second derivative of -p**4/12 - 3*p**3 - 16*p**2 - 19*p. Let v be s(-16). Solve -2*b + g = -v for b.
1
Let w(o) = -15*o + 123. Let l be w(7). Suppose -26*j = l - 122. Let p = 13 + -1. Solve -j*s - p = -0*s for s.
-3
Let c = -48 - -52. Suppose v - c*v = 4*v. Solve v = -r + 2*r for r.
0
Let b(y) = 2*y - 4. Let n(k) = k**3 + 9*k**2 + 3. Suppose -29 = 2*c - 11. Let l be n(c). Let g be b(l). Solve g*h = -1 - 1 for h.
-1
Suppose -b - 4*y = 1, -b + y = -6*b + 71. Suppose 3 = -14*z + b*z. Let k(i) = i**2 - 3*i + 4. Let g be k(z). Solve -16 = -g*d - 0*d for d.
4
Suppose 6*u = 3*u + 5*m - 214, -3*m - 62 = u. Let g be ((-1)/2)/((-2)/u). Let q = g - -34. Solve -3*h = -5 + q for h.
-4
Let n = 15605 - 15547. Solve -13*g + n = -20 for g.
6
Let u(w) = -4*w - 13. Let p be u(-4). Suppose 3*b - 21 = 5*y, -2*b - 3*y + 1 = p*b. Solve 6*m - 4*m = -b for m.
-1
Suppose -8 + 173 = -33*q. Let w be 100/32 - q/(-40). Solve 5*a + 2 = -w for a.
-1
Let l(c) = 3*c**2 + 133*c + 108. Let k be l(-44). Solve 0 = 16*w - 16 - k for w.
5
Let r(i) = 3*i**3 - 5*i**3 - 7*i - 8*i**2 - 18 + 6*i**3 - 3*i**3. Let d be r(9). Suppose -5*l - 1 = 3*b, 3*b - 5*l = -b + 22. Solve d = c - b*c - 6 for c.
-3
Let i = -279 - -269. Let x be 1 + -3 - (i + 6)*2. Solve 0 = -3*m - 0 + x for m.
2
Let x be (-13)/(-2) + 5/(-10). Let s = x + 16. Suppose -2 - 4 = -2*b, -5*n + s = 4*b. Solve n*f + 4 = -0 for f.
-2
Suppose j - 20 = -3*j. Suppose 3*v - 51 = -g + 3*g, -5*v = -j. Let b = 28 + g. Solve -b + 19 = 3*t for t.
5
Let l be 12/9*63/(-2). Let t = 39 + l. Let w = 1 - t. Solve -15 = -w*p + p for p.
5
Suppose 100 = 2*b - b. Suppose 2*g + b = -116. Let s = g - -108. Solve s = 3*r - 5*r - 4 for r.
-2
Let h(n) = 4*n + 88. Let z be h(-14). Solve -51 = z*p - 15*p for p.
-3
Let c be (1419/(-387))/(-1*3/9). Solve 0 = c*s + 10*s for s.
0
Suppose -5*l = -2*k, -12*k + 15*k - 7 = 4*l. Let q be (166 - 145) + l/2 + -5. Solve q + 18 = -7*o for o.
-5
Let k = 11 - -9. Let m = 13172 - 13168. Solve -m*d - 32 = -k for d.
-3
Suppose 120 = -3*g - 2*a - 235, -3*a = -4*g - 479. Let l = -115 - g. Solve 10*d - l*d + 12 = 0 for d.
-2
Suppose -19*y + 5*c = -14*y - 60, 72 = 4*y + 2*c. Suppose 5*z - y = -6. Solve 1 = z*g + 9 for g.
-4
Let d = -23840 - -26697. Solve -2849*f + d*f = -32 for f.
-4
Suppose -1883*o = -1899*o + 1008. Solve o - 25 = -19*y for y.
-2
Suppose 95*a + 2396 = 7526. Solve -118*f + 64 = -a*f for f.
1
Let m = 5 + -2. Suppose -4*q - 28 = -5*y, -3*y + 5*q = -1 - 21. Suppose -m*t + y = -t. Solve 7*x - t*x - 10 = 0 for x.
2
Let w(f) = -39*f + 3003. Let r be w(77). Solve r = -24*n + 120 - 24 for n.
4
Let n = 21022 + -21005. Solve n*p = 105 - 20 for p.
5
Let x = -68 - -17. Let y = -45 - x. Let h be (42/(-20) - y/15)*-2. Solve -2*p - 9 = -h*p for p.
3
Suppose 2*r - 7*r = 0. Let c(s) = -s**3 + 2*s**2 - 9*s + 41. Let k(b) = 11*b + 256. Let v be k(-23). Let d be c(v). Solve -d*p + r*p - 15 = 0 for p.
-3
Let s(v) = -v**3 - 17*v**2 - 77*v - 10. Let o be s(-8). Solve -35 = -5*i - o*i for i.
1
Let x = -2693 - -2699. Solve x + 23 = -29*u for u.
-1
Let g = 47 + -102. Let a be (-6)/15 - 517/g. Solve 2*b = -a + 3 for b.
-3
Let z be (-39)/(-4) + (-5)/(-20). Suppose f = 3*f - z. Solve -g - f = -6*g for g.
1
Let g(n) = 23*n - 68. Let x be g(9). Let a = x - 135. Solve -3*y - a = -2*y for y.
-4
Let n be -1*(-3 + -2 + 7 - 9). Let m be (-1 + n)*8*2/24. Solve 0 = m*t - 2*t - 10 for t.
5
Suppose g - 5*x = 52, 4*g = -3*x + 2*x + 40. Solve -92*y = -94*y - g for y.
-6
Suppose -49*r + 800 = 29*r - 1150. Solve -15 + r = -5*w for w.
-2
Let a(u) = 36*u**2 + 19*u - 19. Let k be a(1). Solve k*l = 13*l - 138 for l.
-6
Let n = -252 - -395. Let m = -135 + n. Solve 2*g + 2 = -m for g.
-5
Suppose 0 = 2*m - 1239 + 1247, 0 = 4*v + 2*m - 28. Solve v*n + 3306 = 3342 for n.
4
Let w be (4/6)/(20/(-3750)). Let s = 132 + w. Solve s - 10 = k for k.
-3
Suppose 4*w + 5*m + 3 = 0, -m = -0*w + 5*w - 12. Suppose -r - 4*z = -w*r, -r + z = 0. Solve 0 = -3*f - r*f + 12 for f.
4
Let h(w) = w**3 + 19*w**2 - 42*w + 9. Let z be h(-21). Let m(t) = 9*t - 74. Let q be m(z). Solve -2*j = -1 - q for j.
4
Let b = -3371 - -3377. Solve 0 = -23*k - 17 - b for k.
-1
Let o be 170*4/360*45. Solve 57*r - 29 = o for r.
2
Let n be (12/(-16))/(3/(-8)). Suppose 4*o = 2*c - 16, -n*o - 4 = c + 4. Suppose p - x + 4 = c, x = -3*p - 2*p + 4. Solve p*y = y - 3 for y.
3
Let i(x) = x**3 - 10*x**2 + 6*x + 10. Let c be i(5). Let d = 93 + c. Solve -5*y = -7 - d for y.
3
Let d be (3/6)/(3/504). Let c = -80 + d. Suppose 10*q = c*q. Solve -3*a - a - 8 = q for a.
-2
Let b(u) = -u**3 + 2*u**2 + 4*u + 2. Let q = 362 + -363. Let j be b(q). Solve j + 19 = 4*o for o.
5
Suppose 4*k - 1773 + 118 = z, -410 = -k + z. Let u = 418 - k. Solve 0 = u*o + 2*o - 25 for o.
5
Let i(n) = -1. Let l(y) = 6*y + 20. Let f(g) = 12*i(g) + l(g). Let b be f(10). Let t = -64 + b. Solve -4*m - 4 = t for m.
-2
Suppose 0 = -3*l + 2*l. Suppose l = -4*w + 16 - 4. Suppose 3*k - 14 = -c, 2*c + 0 = w*k + 1. Solve -6*d = -k*d - 9 for d.
3
Suppose 32 = 7*s - 11*s, 0 = 6*u + 2*s - 134. Solve -24*z - u*z + 147 = 0 for z.
3
Let w be -1*7 - (47 - 60). Let k(o) = 2*o**2 + 3*o - 51. Let p be k(w). Solve 11*i + p + 5 = 0 for i.
-4
Suppose -44 + 8 = -4*g. Let x = 87 - 61. Suppose x + g = 7*z. Solve -15 = 8*a - z*a for a.
-5
Suppose 505*p = 31396 + 22639. Solve 19*j + 26 = -p for j.
-7
Let t be 0/(-5 - 21*2/(-6)). Let h = 12 - 8. Solve a = -t - h for a.
-4
Let z(y) = 1040*y + 2339. Let o be z(-2). Solve 0 = -28*m - 9*m + o for m.
7
Let y = -669 - -1129. Let n = y - 455. Solve 33*d = 32*d + n for d.
5
Let a be (6*1060/24)/((-2)/(-8)). Let n = a + -1046. Solve 7*f + 7 = n*f for f.
1
Let b(g) = -g**3 - g**2 - 2*g - 1. Let o be b(-2). Let d = 919 + -914. Solve 0 = d*l - 3 - o for l.
2
Let a(w) = 570*w + 2897. Let m be a(-5). Solve -7*d + m = 54 for d.
-1
Let f = 8 + -2. Suppose 0 = -6*a - 2156 + 2306. Solve 0 = -b + f*b - a for b.
5
Let p be (-168)/(-32) + (-2)/8. Suppose -p*n + n = -n. Suppose n*u - 6 = -u. Solve 3*q = -u - 0 for q.
-2
Let v(s) = -s + 23. Let o(b) = -b + 8. Let h be o(6). Suppose 4*f - f = -5*x + 78, 3*f = -h*x + 69. Let g be v(f). Solve -g*p - 10 = -0 for p.
-5
Let r(p) = -2*p**2 - 166*p - 460. Let x be r(-80). Solve -6*w = -26*w + x for w.
1
Let q be (-46)/(-7) - (-3)/7. Let r = 24 + -29. Let d(f) = -f + 3. Let t be d(r). Solve 0 = 3*h - t - q for h.
5
Suppose -71*q + 165*q = -185*q + 103788. Solve 8*r = q - 412 for r.
-5
Let z(n) = -18*n + 384. Let j be z(21). Solve -j*v + 29 = 47 for v.
-3
Suppose -462*a = -249*a - 2