z - 2, -3*o + 16 = b*z + 3*z. Let x = 25 - 21. Solve -o*s - x = 2*s for s.
-1
Suppose h - 6*h = -25. Suppose 5*i - 230 = 5*k, 0 = -3*i + k - 0*k + 144. Solve -69 + i = -h*s for s.
4
Let a(y) = y**3 - 32*y**2 - 56*y - 178. Let r be a(34). Solve r = 51*g + 638 for g.
-8
Suppose -75 = -5*j - 12*m + 7*m, -5*m - 93 = -3*j. Solve -j*q - 116 = -50*q for q.
4
Let c(v) = -v**3 + 20*v**2 + 15*v + 21. Let i be c(21). Let g be (-1)/((10 - 3)/i). Solve -5*m + g = -0*m for m.
3
Suppose 3*t = 2*r - 4, 4 = -2*t + 2*r - 2. Suppose 0 = -5*x - 0*x + 35. Let w be (x - 7)/(0 + 1). Solve 0 = t*s + 10 - w for s.
-5
Suppose -4*c - 31 = -l - 45, 0 = 3*c - 2*l - 3. Solve -289*b + c = -290*b for b.
-5
Let t(d) = 6 - 17*d + 7*d + 8*d + 12. Let c be t(9). Let k be c/(0 + (0 - 1)). Solve 0*b - 2*b + 2 = k for b.
1
Let t(g) = -31*g + 2214. Let p be t(70). Solve 62 = p*i - 26 for i.
2
Let f = -431 + 1367. Let y = 939 - f. Solve -y*s = -7*s - 8 for s.
-2
Let r = 1757 - 1241. Let u = r - 511. Solve -u*k - 56 = -36 for k.
-4
Let m(z) = -z**3 + 21*z**2 - 19*z - 16. Let h(t) = -4*t**2 + 34*t + 4. Let p be h(8). Let l be m(p). Solve l*q - q = 6 for q.
2
Let s be (((-576)/30)/(-12))/(2/40). Suppose 90*r = 98*r - s. Solve -9*d - 25 = -r*d for d.
-5
Suppose -11*q - 5*q - 16 = 0. Let x be q + -10 + 13/(104/32). Let o be (-61)/x + (40/(-28))/(-5). Solve 4*z - z = -o for z.
-3
Let h(k) = -6*k - 6. Let q be h(-2). Let i be 11/q + (-5)/(-30). Solve i*d - 6*d - 16 = 0 for d.
-4
Let k = 13008 + -12909. Solve -5 + k = 47*j for j.
2
Let y(b) = -b**2 + 5*b + 8. Let r be y(6). Let x(u) = -u**3 + 7*u**2 + u - 41. Let v be x(6). Suppose 6*i - v = 5*i. Solve r*m + i = 7 for m.
3
Suppose -5*q = -5*i - 15, -q + 25 = 4*q + 5*i. Suppose -6 = q*j + 2*a, 5*a + 32 - 5 = 2*j. Let s be j + 12/(-36) + (-10)/(-3). Solve -s*v = -11 - 9 for v.
5
Suppose 9*z - 5*z = 140*z - 4896. Solve 46*d + z*d = 89*d for d.
0
Let r = 114 + -113. Suppose -14*c + 19*c - 20 = 0. Suppose c*d + 35 = 9*d. Solve -r + d = 2*s for s.
3
Let h(k) = 28 + 28 + 20 - 3*k - 5*k - 72 + k**2. Suppose 3 = 3*w - 0*w, 4*m - 5*w = 27. Let x be h(m). Solve 0 = -0*v + 4*v + x for v.
-1
Let x be (-30)/75 + (-27)/(-5). Suppose 30 = -x*c + 10. Let v be 8/c + 2 + 0 + 0. Solve -7*w + 6*w + 5 = v for w.
5
Let h(o) = o**3 + 3*o**2 + 4*o - 8. Let x(q) = -q**3 - 4*q**2 - 5*q + 6. Let w(s) = -4*h(s) - 5*x(s). Let m be w(-6). Solve -30*f + 34*f = -m for f.
-5
Let h = -2 - -4. Suppose 0 = -f - f + h. Let q(z) = -z**3 + 76*z**2 - 1631*z + 123958. Let j be q(76). Solve 0 = -j*g - 9 + f for g.
-4
Let m(a) = -a - 5. Let g be m(-8). Suppose g*x = 7*x - 16. Suppose 7*j - 4*j = 6. Solve -x*o = -j*o for o.
0
Let n(b) = 7*b - 305. Let j(i) = 10*i**2 - i + 6. Let x be j(2). Let z be n(x). Solve l + 2 = z*l for l.
1
Suppose -136 + 130 = -3*y. Suppose 38 = 17*d + y*d. Solve 6*f + 16 = d*f for f.
-4
Let y = -725 - -732. Solve -y*k = -2*k - 5 for k.
1
Let l be (8/6)/((-25389)/(-4212) - 6/1). Solve 0 = 46*k - l*k for k.
0
Let l(c) = 115*c - 2395. Let y be l(21). Solve 10*a - y*a = 60 for a.
-6
Let v(o) = -6*o - 47. Let j be v(-9). Let m be j*(3 + 57/(-21)). Let k = 15 - 11. Solve m*n + k = 6*n for n.
1
Suppose 0 = -6*s + 115 - 19. Let r(g) = 2*g**2 - 39*g + 152. Let h be r(s). Solve 0 = -44*o + h*o - 12 for o.
-3
Let j(p) = 2*p**2 + p - 34. Let i be j(-5). Solve i = 5*s + 21 for s.
-2
Suppose -5*k - 136 = 2*p - 6*k, -p = 2*k + 63. Let d = -35 - 15. Let a = d - p. Solve -5*f - a = -2 for f.
-3
Let k(h) = -20*h**3 - 2*h**2 + 2*h. Let w be k(1). Let m be (-1)/((w/(-32))/(-5)). Solve 7*u + u + m = 0 for u.
-1
Let v(j) be the second derivative of 5*j**3/6 - 8*j**2 - 42*j. Let o be v(4). Solve 0 = o*k - 9*k for k.
0
Let l be 5/(-15)*55 - 2/3. Let c(g) = 5*g + 100. Let q be c(l). Solve -76 + 61 = q*x for x.
-3
Suppose 16*p + 5*k = 14*p + 20, 4*k - 16 = p. Solve p = 23*h - 153 + 38 for h.
5
Let w be ((-7)/((-35)/955))/(-1). Let f = 191 + w. Solve o - 2*o = f for o.
0
Suppose -23*z + 5233 = 748. Suppose -z*g = -190*g - 40. Solve -4*f + g = -12*f for f.
-1
Suppose 5*q + 81 - 43 = 3*o, 0 = -o - 2*q + 9. Let i be 10/4*(-8)/(-10). Suppose i*t = -5*u - 7, 0*t + u - 1 = -t. Solve 3 = -t*b + o for b.
2
Let c be 12 + 16/(-24)*21 - -2. Solve 77 = -11*q - c*q for q.
-7
Let j be 2145*(-8)/(-16)*40/60. Solve -j*h + 707*h = 40 for h.
-5
Let c(q) = -180*q - 4058. Let g be c(-23). Solve 28 = -g*m + 86*m for m.
7
Let p be -2*(-6)/(-9)*(-3)/2. Suppose f + 0*f - 13 = p*d, d = -5. Let w be -8*f/(3 + -9). Solve l + w*l - 10 = 0 for l.
2
Suppose 123*m - 11*m - 6272 = 0. Solve -235*f = -221*f + m for f.
-4
Suppose -4*u + 0*n + n = -20, -2*u - 2*n = -10. Suppose -2*p + 5*p - 57 = 0. Suppose 35 - 34 = o. Solve -o - p = -u*g for g.
4
Let d be 6 - (-1 - (6 - 8)). Suppose 2*z = -5*i, -22*i = -3*z - 23*i. Solve -d*f + 20 = -z for f.
4
Suppose -3*p - 687 = -5*k, -4*p + 12 = 8. Suppose 18*l + 48 = k. Suppose -3*d = -5*h - 12, -2*d + 16 = 2*d + 4*h. Solve -d*r - 25 = -l for r.
-5
Suppose 0 = s - 4*v - 29 + 2, -2*s + 5*v = -39. Suppose -s*y = y. Solve 12*o - 8*o + 16 = y for o.
-4
Suppose -4*t = -2*g - 4, 2*t = 4*g - 3*t + 5. Let u be (0 - -4)/4*g. Let v be 3/((9/(-12))/(-1)). Solve -j - v*j + 25 = u for j.
5
Let s be (-76*14/980 - (-4)/14)*-5. Solve s*y - 3 = 9 for y.
3
Suppose -33*u - 28 + 388 = -9*u. Solve -u = 2*r - 11 for r.
-2
Suppose 2*s - 44 = 806. Suppose 24 = -s*x + 431*x. Let u = 11 + -2. Solve -h + x*h = -u for h.
-3
Suppose 12 = 4*y - 3*h, -y + 5*y - 12 = 5*h. Suppose 2*w + 3*w = s, -y*w = 4*s. Solve s = -18*c + 20*c for c.
0
Suppose -45 = k + d - 4*d, -5*k - 238 = -2*d. Let s = k - -52. Solve -s*w + 10 + 6 = 0 for w.
4
Suppose -c + 2 + 11 = 0. Suppose f + 5 = 5*v, 0 = c*f - 17*f - 20. Solve v = -3*i + 2 + 4 for i.
2
Let u(b) = -9*b**2 + 12*b + 7. Let t(m) = -11*m**2 + 13*m + 7. Let l(c) = 4*t(c) - 5*u(c). Let g be l(-1). Solve -g*x + 7*x = 0 for x.
0
Suppose 3*t = 2*a - 623 - 1157, -590 = t - 4*a. Let i = -594 - t. Solve i = l + 4*l + 25 for l.
-5
Let g(q) = 4*q**2. Let n = -78 + 79. Let u be g(n). Solve -u*x = -6*x for x.
0
Let s be 87228/(-13) + (-8)/52. Let p be s/(-1647) - (-2)/(-27). Let w be (-39 + 1)/(-2)*1. Solve -p*k = w + 1 for k.
-5
Let a(q) = 2*q**2 - 81*q - 605. Let v be a(47). Solve -v*y = 9*y - 15 for y.
1
Let x be (5 + 18 + -23)/(-2). Solve x = 46*v - 3*v - 172 for v.
4
Suppose 5*s - 5*t = 37 + 58, -3*t = 3*s - 27. Suppose s - 20 = -2*q. Solve -26 = q*b - 11 for b.
-5
Let a(s) be the third derivative of -5*s**4/12 - 47*s**3/6 + 47*s**2. Let w be a(-5). Solve 0 + 6 = w*h for h.
2
Let t(a) = a**3 + 20*a**2 + 30*a - 103. Let m be t(-18). Let h be (m - 36/8)*(-1 + 3). Solve -5*c = h + 9 for c.
-2
Let x = 24 - 29. Let o = 13 - x. Let f be (-27)/o*4/(-3). Solve -4*j - 18 = -f for j.
-4
Let j(b) be the third derivative of -b**4/12 + b**3/2 + 67*b**2. Let r be j(-2). Solve 2 = -r*n - 5 for n.
-1
Let y = 63 - 66. Let u = 0 - y. Suppose -u = -q - 0. Solve q*a = -0 - 6 for a.
-2
Let t = 751 + -730. Let p be ((-7)/(t/198))/(-6 + 4). Solve -6*w = 5*w + p for w.
-3
Let s = 116 - 114. Suppose -3*l = s*l - 5*g - 5, -3*l = 3*g + 3. Solve -2*p - 3*p + 5 = l for p.
1
Suppose 3*h + 12 = 0, -3 = -s - 2*h - 28. Let y = s - -17. Suppose y = 9*j - j - 24. Solve j*z = -z for z.
0
Let a = 3471 - 3079. Solve 350 = 7*u + a for u.
-6
Let k(y) = 8*y + 83. Let h be k(-10). Suppose 21 = -4*x + 6*x + h*u, -25 = -5*x - 2*u. Solve -x*f = -6 + 21 for f.
-5
Suppose 728*a - 729*a + 657 = 0. Solve 3*q - 651 = -a for q.
-2
Suppose -3*w + 24 = 3*p, 3*w - 2*p - 18 - 1 = 0. Suppose 13*h = 14*h - 4*i, -4*i + 8 = h. Solve -h = -c - w for c.
-3
Let y be (-27)/36*((-12)/(-7))/(1/(-14)). Solve 0 = y*w + w for w.
0
Let m(f) = f**2 + 2*f - 47. Let z(h) = -5*h**3 - h**2 - h + 1. Let u be z(-1). Let d be m(u). Solve -k = -0*k + d for k.
-1
Suppose -262*n + 360 = -250*n. Solve 99*s - n = 84*s for s.
2
Let i be (-16)/(-36)*(-9)/6*45. Let n = i + 33. Suppose 0*v = n*v - 18. Solve -4 = 2*q - v*q for q.
1
Let m(k) = 2*k**3 + 17*k**2 - 70*k - 497. Let z be m(-9). Solve -4*a - 16 = -z for a.
9
Suppose -4*p = -12*p + 192. Let b be ((-10)/8)/((-6)/p). Suppose -3*q = b*i + 20, 4*i + 4 = 4*q - 12. Solve 0 = -q*y + 5*y - 25 for y.
5
Let d(h) be the third derivative of -h**5/60 - 3*h**4/8 - h**3 - 2*h**2 - 50. Let o be d(-8). Solve -7*j + o + 5