= b for s.
0
Let a(s) = 2*s**2 - 2*s. Let k be a(3). Let q(z) = -z**2 - 12*z + 121. Let g be q(6). Solve -u = -g + k for u.
1
Suppose 3*w + 33 = 3*q, 0 = -5*w + 2*q - 40 - 30. Let f be (-3)/5 - 57*w/120. Solve -3*z = -f + 19 for z.
-4
Let y(h) = h**2 - 2*h - 4. Let i be 3/((-9)/(-14)) + (-20)/(-60). Let d be y(i). Solve 5*v - d + 1 = 0 for v.
2
Let n = 116 - 110. Suppose -10*f + n*f = -5*q + 38, 4*f - 16 = -4*q. Solve -6*i = 18 + q for i.
-4
Let j(z) = -90*z + 7. Let u be j(1). Let v = -60 - u. Suppose m = -4*d + 19, 2*d - 6*d + v = -3*m. Solve -k - 12 = -d*k for k.
3
Let q be (-8)/76 + 4 + (-2532)/(-228). Solve 2*a = -q + 3 for a.
-6
Let y be 1/(-2) - 40/(-16). Suppose 0*f = f - 5, 2*j - 2*f - 120 = 0. Suppose 3*g + y = 5, g = 3*k - j. Solve -k = 4*n - 6 for n.
-4
Let u(v) = -v**2 + 16*v + 36. Let j be u(16). Suppose -9*z = 3*z - j. Solve z*c + 2 = -7 for c.
-3
Let w be (-11)/(880/30) - 786/(-144)*3. Solve w - 24 = -a for a.
8
Suppose -6*o = -235 + 211. Let i be 2*-1 - -7*1. Suppose -65 = -i*s - o*r - 0*r, -3*s = 3*r - 42. Solve 5*w - s = 1 for w.
2
Suppose o - 41 = 3*x, 0 = -4*o - 3*x + 76 + 103. Suppose -7*n + 54 = -o. Solve n*y - 17*y - 15 = 0 for y.
-5
Let m(j) = j**3 - 7*j**2 - 7*j - 4. Let f be m(8). Suppose 5*i - 5 = 0, -2*v + 4*i - 3*i = -9. Solve f*w - v*w = -3 for w.
3
Let m = -626 + 212. Let t = -398 - m. Solve -25*b = -29*b - t for b.
-4
Let i be ((-5)/(-5))/((-30)/(-930)). Solve -19*h + 126 = i for h.
5
Let t = 29 + 26. Let i = t + -61. Let l be i/(-18) + 24/9. Solve k - 20 = -l*k for k.
5
Suppose 21 = -4*u - 5*t, 2*u - u = 2*t - 2. Let v be (-605)/176*u + 6/(-8). Solve 6*f - v*f = 7 for f.
-1
Let k be ((-93)/(-6) + (-3)/(-2))/1. Let y = 17 - k. Suppose 0 = 2*l + 4*d - 14, 3*d = 5*l - y - 22. Solve -8 - 12 = -l*h for h.
4
Suppose -829 - 466 = -7*s. Suppose -110 = -3*h + m, 3*m + s = 5*h + m. Suppose 9*z - h = 2*z. Solve -z*l + 4*l - 2 = 0 for l.
-2
Suppose -6*v = 2*g - 2*v - 12, -4*v = 4*g - 16. Let u be g/(-4)*(-1 - -1). Let z(q) = -6512*q - 91165. Let m be z(-14). Solve m*s + 2*s - 15 = u for s.
3
Let g = 102 - 102. Suppose g = 2*m - 3 - 9. Solve s = 3*s - m for s.
3
Let q(j) = 5*j**3 - 47*j**2 + 9. Let z be q(8). Let g = z + 454. Solve g*s - 10 = 13*s for s.
5
Let c(l) = 27*l**2 - l. Let m be c(-1). Let f = m + -14. Suppose 220 = 2*o + 212. Solve f = o*r + 2 for r.
3
Let d = 8361 + -8335. Solve d*l + 13 = -13 for l.
-1
Suppose -52*l + 44*l + 64 = 0. Suppose 0 = -l*u - 58 + 154. Solve -u*x + 15*x = 0 for x.
0
Let f = -439 + 434. Let v be 0 + ((-14)/(-4) - f/(-10)). Solve -v*q + 8*q = -25 for q.
-5
Let s = -33 - -49. Suppose 0 = -2*v + 6*v - s. Suppose -15 = -q - 5*w, -4*q + 44 = -0*w + 4*w. Solve -v*a = -6*a + q for a.
5
Let z = 54 - -15. Let d = z - 64. Suppose -d*s + 30 = 5*m, -s + 4 = 5. Solve m = -4*j + 3 for j.
-1
Suppose 0 = -h - 4*f + 13, -4*f + 3*f + 12 = 2*h. Let u = 98 + -96. Solve 3 = -u*a - h for a.
-4
Let o be -3 + 3 + -2 + 8. Let t be 6/3 + (8 - o). Let z(k) = k**3 - 9*k**2 - 11*k + 15. Let i be z(10). Solve t*r + 3 = -i for r.
-2
Let o(l) = -l**2 + 10*l + 23. Let y be o(11). Solve -y*n = -7*n + 35 for n.
-7
Suppose 2*s + 102*i = 105*i + 20, 3*s - 32 = 4*i. Solve s*p = -13*p - 174 for p.
-6
Let w = 10346 + -10258. Solve -4*o = -112 + w for o.
6
Let p(q) = -q - 4. Let c be p(-6). Let o(g) be the third derivative of -g**4/3 + 17*g**3/6 - 61*g**2 - 1. Let s be o(c). Solve s = -z - 0*z for z.
-1
Let t = -3 + 3. Let f be (t + 0 - -1)/((-7)/791). Let x = f + 118. Solve 0*z - 20 = -x*z for z.
4
Let g(w) = -2*w**2 + 76*w - 70. Suppose -5*p + 86 = 3*b, 2*p + 37 + 84 = 3*b. Let y be g(b). Solve -24 + 12 = -y*a for a.
3
Let w be (112/(-560))/(3/(-3420)). Solve 53*k = -196 - w for k.
-8
Suppose -11*m - 6 = -12*m. Let q = 592 - 596. Let g be (-1)/((2/q)/(39/m)). Solve -5*r + 2 = -g for r.
3
Let o be (-9)/(-6) + (-3)/2. Let j be 0 - ((3 + -8 - 0) + 0). Solve -2*h + j*h = o for h.
0
Let o(b) be the third derivative of -19*b**4/24 - 41*b**3/6 - 188*b**2. Let h be o(-3). Solve h = 8*q - 4*q for q.
4
Let q be (828/(-2))/(2 + 49/(-14)). Suppose -282*g + 72 = -q*g. Solve -4*w + g = 16 for w.
-1
Suppose -4*l - 7*l - 12*l = -9*l. Solve -5*h + 58 - 43 = l for h.
3
Let z be (-10)/(-25)*(128/(-2) + -1). Let x(p) = -p**3 - 26*p**2 - 4*p - 88. Let q be x(z). Solve d = -18 + q for d.
-2
Let y(q) = -6*q**3 + 3*q**2 + 3*q - 1. Suppose -k = -2*p + 1, 0 = -3*k - 6 - 3. Let s be y(p). Solve s*f - 13 = 7 for f.
4
Let b(n) = 16 + 4 - 12*n + 38 + 14 - n**2. Let u be b(-16). Solve -u*h + 6 = -2*h for h.
1
Let y(h) = -h**3 - 19*h**2 - 16*h + 38. Let k be y(-18). Let p be k/(-10) - (-16)/5. Solve p*a + 0 + 15 = 0 for a.
-5
Let g(v) = v**2 + 8*v - 105. Suppose 8 = 2*b, 4*b = 17*l - 22*l - 59. Let u be g(l). Solve -7*i + i = u for i.
0
Suppose 27*y - 23 = -z + 26*y, -2*z + 2*y = -30. Solve z = 21*t + 166 for t.
-7
Let s be 2*(-2 + 3) - (-1)/1. Suppose w + s*c - 16 = -1, 5*w = 5*c - 5. Suppose 4*q = 4*m + 2 + 2, -4*m = w*q - 10. Solve q*o = 5*o - 15 for o.
5
Let f be 33912/785*(0 + 5). Solve 6*p - 216 + f = 0 for p.
0
Let w = -216 - -147. Let v = 64 + w. Let x be (5/(-2))/(v/4). Solve -b - 7 = -x for b.
-5
Let d be 846 + 58 + (0/5 - 5/1). Solve d*y + 22 = 888*y for y.
-2
Let q be ((-51)/(-6))/((-5)/110). Let x = -175 - q. Solve 4 = -4*r - x for r.
-4
Suppose 4*g - 43 = 73. Let u = 33 - g. Suppose 9*c - u = -4. Solve c = b - 4*b + 15 for b.
5
Let b(x) = 2*x**2 + 6*x + 29 + 30*x + 9*x - 10*x. Let t be b(-17). Solve 5*s - t = s for s.
3
Let i = -17376 - -17397. Solve 0 = -53*j + 46*j - i for j.
-3
Let c = -4580 - -4615. Solve 93*o - 88*o = -c for o.
-7
Let k be ((-319)/87)/(((-6)/(-81))/(-2)). Solve -24 = -15*r - k for r.
-5
Let s = 19231 - 19221. Suppose 69 = 4*l - 9*w + 4*w, -82 = -5*l + 2*w. Solve -6*c + s = l for c.
-1
Suppose 0*d + 21 = 3*p + 3*d, -3*p + 51 = -3*d. Let z = -9 + p. Let q be (186/38 - 4/(-38)) + -5. Solve q*h = -3*h - z for h.
-1
Let w(p) = p**3 - 9*p + 35. Let j be w(3). Solve 14*t - j = 7 for t.
3
Suppose 0 = 5*n - 2753 + 303. Solve n = -4*v + 474 for v.
-4
Let b(o) be the third derivative of 1/60*o**5 + 0*o - 1/2*o**3 + 0 - 8*o**2 - 1/120*o**6 + 1/3*o**4. Let z be b(3). Solve -y - z = 2 for y.
-5
Suppose -z + 173 = 3*h, -18*h - 4*z = -17*h - 43. Solve 0 = h*j - 61*j - 8 for j.
-4
Suppose -12*i + 215 = -325. Let c = -121 - -175. Let x = c - i. Solve -l = 2*l + x for l.
-3
Suppose 43*o - 1129 = -337*o + 11. Suppose 14 = -5*v + 79. Solve -o*c = -10 + v for c.
-1
Let t = 13 - 9. Suppose -6*b + t*b = -14. Suppose -3 = 3*s + 4*y + b, 5*y = -4*s - 12. Solve 4*q = -s - 10 for q.
-3
Suppose 32 = -16*q + 12*q - 4*n, 4*n = 4*q + 32. Let g be (-16 - -3 - q) + 18. Solve -g = 4*o - 29 for o.
4
Let a be (2 + (-9)/5)/((-2)/(-50)). Let g be -1 - (a/1)/(-1). Solve u = g*u for u.
0
Suppose 4*s + 0*t - 9 = -3*t, 2*s + 5*t - 1 = 0. Suppose 0*z = s*z + 84. Let r = -13 - z. Solve -i + r = 4*i for i.
3
Let h(c) = c**2 - 3*c + 3. Let q = 349 + -348. Let m be h(q). Solve d = -m - 3 for d.
-4
Suppose -5*o + 153 = 2*r - 176, -6 = -3*r. Let w be -34*(-2)/(-12)*-9. Let a = o - w. Solve 0 = -4*s + a + 6 for s.
5
Let c = 15440 - 14823. Solve 0 = -c*a + 649*a + 32 for a.
-1
Let w be 117*(-8)/(-72) - 11. Solve 4*v - w*v = -13*v for v.
0
Let d = -17 + 41. Let q = d + -20. Suppose -k = -2*w - 1 - 4, -25 = q*w - 5*k. Solve 4*b = -w*b for b.
0
Suppose 5*o = 5*b - 152 + 12, -3*b - 5*o = -68. Solve 0 = -2*y - 38 + b for y.
-6
Suppose -71*r + 9 = -68*r. Let g be 12/(r + -7) + 4 - 20. Let i = g + 27. Solve 0*h = 4*h - i for h.
2
Let h(z) = -3*z**3 - z**2 + 4*z + 6. Let y be h(-3). Let g be 8 + (-522)/y - 64/(-22). Solve -5*l - 2 = -g*l for l.
-1
Let u = -72 - -72. Suppose 5*p + 2*t = -20 - 14, -p + 3*t = u. Let g be (-4)/10 - p/15. Solve 0 = 4*o - g*o - 12 for o.
3
Let g = 2489 + -2466. Solve 0 = g*l + 3*l + 182 for l.
-7
Let y be (-13 - (-2 + 1)) + (-4 - -6). Let w be (2 + 0 + y)*10/(-20). Solve -w*l = -8*l for l.
0
Suppose 4*l = u + 11, -2*u - 4*l = -26 - 0. Suppose -u*w + 21 = -r, 0*r - 9 = -r - w. Solve -r*q = q - 15 for q.
3
Suppose -149*r + 145*r - q = -134, -7*r + 3*q + 244 = 0. Solve 0 = -4*y - r + 26 for y.
-2
Suppose -k - 5*a + 40 = 0, 17*k - 20*k + 4*a + 44 = 0. Let z(m) = m**2 - 3*m + 1. Let l be z(4). Solve -l*w + k = -w for w.
5
Let c(z) = z**2 + 7*z - 6. Le