= -2 for s.
2
Suppose 0 = -5*t - 4*k - 1, -5*t + 23 = 10*k - 12*k. Let m be 1/1*(-3 + 6). Suppose -2*h - m*h = 0. Solve t*b - 2*b = h for b.
0
Suppose -5*x + 7*x = -4*p + 10, 11 = x - 4*p. Let s be 4/(-14) + 2/7. Suppose s = -y + x*y. Solve 2*w + 0*w = y for w.
0
Suppose -4*w - s + 65 = 0, 0*s + 100 = 5*w + 5*s. Let h be w + -8 - (-2 - 3/3). Let k be (0 + 1 + -1)/1. Solve k = -5*o - h - 5 for o.
-3
Suppose 3*z + 4*x = 9, 6*z - 12 = 3*z - 3*x. Let q(s) = s**3 - 8*s**2 + 6*s + 9. Let w be q(z). Suppose -7 + 0 = -k. Solve -3*i = -k - w for i.
3
Suppose 123*m - 1644 = 117*m. Solve -m = -y - 275 for y.
-1
Let o be ((-3332)/(-112) - 29)*(-16)/(-1). Solve -19*g - o = -22*g for g.
4
Let z(m) = -m**3 - 29*m**2 - 92*m - 364. Let n be z(-26). Solve -23*y - 35 - 11 = n for y.
-2
Suppose 0 = 5*o - 87 + 77. Suppose o*p = p. Solve p*g - 5*g - 10 = 0 for g.
-2
Let n(u) = 697 - 592 + 32*u + 20*u + 26*u**2 + u**3. Let g be n(-24). Solve g - 5 = b for b.
4
Let b = 40 - 37. Let t be (3/9)/((-5)/(-60)). Suppose -12*q + t = -10*q. Solve -b*c = q*c + 20 for c.
-4
Suppose 5*i - 60 = i. Let s(b) = -b**2 + 13*b + 2. Let k be s(i). Let n = 28 + k. Solve n*p = 2*p for p.
0
Suppose n = 3*y - 39, 5*y + 39 = 8*y - 2*n. Solve y*d = -20*d + 33 for d.
1
Suppose 2*t + 51 = 2*d - 21, -2*d + 3*t + 78 = 0. Solve -d = 13*j - 8*j for j.
-6
Suppose 466*d - 461*d - 2*s - 143 = 0, -3*s - 75 = -3*d. Solve d*w - 200 = -14 for w.
6
Let a(n) = -n**2 + 13*n + 8. Let m be a(17). Let t be ((-8)/10)/(24/m). Suppose 3*g - 19 = 5*c, -10 = -2*g - t*c + 4*c. Solve g*x - 5*x + 6 = 0 for x.
3
Let i(s) be the third derivative of 3*s**4/8 + 50*s**3/3 - 28*s**2. Let l be i(-11). Solve f - 2 - l = 0 for f.
3
Let d = 56 + -39. Let o = 23 - d. Suppose -18 = -o*b - 3*b. Solve 0 = b*z + z for z.
0
Let i(p) = 4*p**2 - 2*p - 4. Let l(u) = -u**2 - 3*u + 17. Let h be l(-6). Let o be i(h). Solve 2*q - 20 = -o*q for q.
5
Let z be (12/8)/((-1)/16). Let v be ((-20)/(-6))/(16/z). Let q be 9/6*-2 - v. Solve d + 4 = q*d for d.
4
Let w = -6776 - -6983. Solve -w*g = -209*g for g.
0
Let q be (2 - 1)*1 - (9 - 19). Suppose 4*f + 4*d - 12 = 0, -4*f - 3*d = -q + 1. Solve -4 = 3*v - f for v.
-1
Let m(s) = -2*s**2 - 109*s - 1363. Let d be m(-35). Solve d*f + 27 = 17 for f.
-5
Let j(p) = -3*p - 38. Let u(z) = -z - 19. Let b(k) = 3*j(k) - 5*u(k). Let q be b(-5). Solve -5*o = -16 + q for o.
3
Let p = 363 + -653. Let x = p + 290. Solve x = -2*h - 2*h + 20 for h.
5
Suppose 0 = -6*o + o + 2*b, 4*b = -4*o + 28. Suppose -4*w + 44 = w - a, 2*a - 8 = -o*w. Solve -2*c = 2*c - w for c.
2
Let g be ((-2)/(-5))/((-10507)/3515 - -3). Solve 55*j - g = 18 for j.
1
Let k(t) be the second derivative of t**5/20 - t**4/4 - 5*t**3/6 + 3*t**2 - 4*t. Let c be k(4). Let f = 0 + c. Solve -3*v = f*v for v.
0
Let f(l) = -l**2 - 12*l - 1. Let c be f(-12). Let s = -37 + 25. Let u be 0/s*(c - 0). Solve u = 5*y + 1 - 16 for y.
3
Let n = -10 - -4. Let y(o) = 3*o + 21. Let r be y(n). Suppose -4*q + 12 = 4*v, -q + 0*q + r = -4*v. Solve -16 = m + q*m for m.
-4
Let o(j) = -5*j**2 - j**3 + 16 + 2*j**3 - 14*j - 7*j**2 + j. Let c be o(13). Suppose -11*a + c = -7*a. Solve -a*s = -s for s.
0
Suppose -60 = -5*c - 4*r, 4*r + 4 = 3*c - 0. Let b be (36/45)/((-4)/(-30)). Let s = 1 + b. Solve -c = -s*k + 5*k for k.
4
Suppose 0 = -6*s + 56 - 2. Let g be (-206)/(-12) + (-5)/30. Solve s - g = 2*y for y.
-4
Suppose 3*h - 3*z - 15 = 0, -h - 1 = z + z. Suppose h*d = -d - 64. Let u = d - -28. Solve u = b + 3*b for b.
3
Suppose 0 = 42*z - 125 - 1. Solve -7 = -z*t - 1 for t.
2
Suppose 2153 = -22*j + 2945. Solve j*s - 46*s = -80 for s.
8
Let x be 2/(-6) + (-3 - 95/(-15)). Suppose 2*k = x*a + 20, 5*k - 6 = -3*a + 2. Let q be a/(-7) - ((-120)/35 + -5). Solve -q = -0*n + 3*n for n.
-3
Let i be 982/(-6) - (-2)/3. Let x = 210 + i. Solve b + 44 = x for b.
3
Let z = -8 + 14. Let k(w) = 4*w**2 + 2*w. Let t be -2*15/(-10) - 4. Let l be k(t). Solve -z = -h - l*h for h.
2
Suppose 55*o + 120 = 56*o. Let b = o - 113. Solve -b*s = -5*s - 2 for s.
1
Suppose -64 + 308 = 4*k. Let b = k - 52. Suppose -11*x + 26 = -b*x. Solve -x - 7 = 5*o for o.
-4
Suppose -h - 2*t + 1 + 6 = 0, 2*t = 3*h - 13. Suppose -11*i + 7*i = 47*i. Suppose i = 16*u - 20*u + 44. Solve -h*y - 4 = u for y.
-3
Let f(y) = -280*y + 1716. Let t be f(6). Solve -8*o + t = -17*o for o.
-4
Let c(s) = s**2 - 13*s + 126. Let z be c(6). Solve z = a + 86 for a.
-2
Let x(u) = u**2 - 7*u + 6. Let s be x(9). Suppose 54*n - 440 = -14*n - 20*n. Solve n*r + 9 = s for r.
3
Suppose -2*o + 128 = 3*o + v, -3*o + 3*v + 84 = 0. Let d be (12/(-16))/(1 - o/24). Let j be 2/4 - (d/(-2) + 1). Solve k = -j*k + 10 for k.
2
Let w = 96 - 91. Suppose 10 = -2*g + w*g + 2*i, -4*g = 3*i - 15. Solve 7*k - k + 30 = g for k.
-5
Let x be ((-16713)/(-81) + 3)/(13/9 - 1). Solve 466*b - 25 = x*b for b.
-5
Let j(s) = -8*s**2 - 4 - 50*s - 22*s**2 + 23*s**2. Let c be j(-7). Solve 11 = -c*h - 4 for h.
-5
Let j be (1/(-2))/(2/(-32)). Suppose v = 5*v - j. Suppose -4*f + d = -6, 2*d - 2 = 2. Solve -f*x + 6 + v = 0 for x.
4
Let q = 236 - 212. Suppose -3*c + 24 = -z, -3*c = 4*z + z - q. Solve -10 = 6*x - c*x for x.
5
Let p be (-12 - -19) + 2 + -88. Let n = -75 - p. Solve c + n = 2 for c.
-2
Suppose 7*i = -a + 4 + 22, i = 3. Solve a*x + 5*x = -50 for x.
-5
Suppose 3*h - 2*v = 1822, -12*h = -15*h + v + 1823. Let p = -604 + h. Solve p*o - 16 = -4*o for o.
2
Suppose 0 = 45*f + 21*f - 66. Suppose 0 = 4*c + 3*m - f - 24, -4*m - 60 = -4*c. Solve 10*b + 10 + c = 0 for b.
-2
Suppose 3*x - 3*b - b - 26 = 0, 2*x + 5*b = 2. Suppose w = c - 4, x*c = 3*c + 5*w + 16. Suppose -18*h + 404 = 332. Solve 0 = h*u - c*u for u.
0
Suppose -622 = -4*o + 3*q, 5*o - 684 = 3*q + 95. Let x = -155 + o. Solve x*i + 2*i - 4 = 0 for i.
1
Suppose 63 = -3*g - 117. Let m be ((-22)/(-14) + -1)/(g/(-1050)). Solve 0 = -2*q + 4*q + m for q.
-5
Suppose 5*i + 2*h = 72, 0 = 52*i - 50*i + 2*h - 30. Solve -40 = -18*d + i for d.
3
Let h(f) = f - 1. Let n(l) = l - 44. Let i(j) = 6*h(j) - n(j). Let w(x) = -10*x + 44. Let d be w(5). Let y be i(d). Solve k + y = 3*k for k.
4
Let u = 391 + -383. Let f be 20/u*(-14)/(-5). Solve f = 5*o - 8 for o.
3
Let k(h) = 5*h**2 - 9*h + 12. Let p be k(2). Suppose 5*a - 11 = p. Solve -a*v + 8 = -7 for v.
3
Suppose 2*g = 5*n - 25 + 9, -g + 4*n - 14 = 0. Suppose 35 - 25 = g*x. Solve 163 = -x*u + 138 for u.
-5
Let m(s) = -s**3 + 16*s**2 - 75*s + 111. Let v be m(9). Solve -4*w = v*w - 7 for w.
1
Let p be 14/(-7) - 2*-4. Suppose -127*t - 13 = -2*q - 124*t, 80 = 5*q + 2*t. Solve p*l + q = -16 for l.
-5
Suppose 112*s = 9405 - 2349. Solve 22*p - 31*p - s = 0 for p.
-7
Let b(k) = k**3 - 8*k**2 - 6*k - 20. Let j be b(9). Suppose j*y = 3*y + 12. Let g be 0/((0 - 4) + y). Solve -3*a = -3 - g for a.
1
Suppose 16*i = 18*i - 82. Let r = -41 + i. Suppose r = 5*h - 5. Solve s = -h - 0 for s.
-1
Let v = -2207 + 2275. Solve -17*l = 17*l + v for l.
-2
Let l(p) = -55*p + 1155. Let z be l(21). Solve -29*c + 10*c + 152 = z for c.
8
Let o(j) be the second derivative of -j**5/20 + j**4/3 - j**3/6 + 7*j**2/2 + 8*j - 1. Let n be o(4). Solve -2*a = 3 + n for a.
-3
Suppose a - 22 = -4*x, 4*x = 2*a + 26 + 2. Let q be (1 + -1)/(-4 + x). Let d = 3177 - 3174. Solve q = -d*w + 5 + 1 for w.
2
Let c = -70 + 0. Let j be (-35)/(-9 - -14)*-10. Let s = c + j. Solve 0*w - 4*w + 8 = s for w.
2
Let h be 29/(-145) + 8763/15 + 4 + 5. Solve 0 = 11*v + h - 516 for v.
-7
Suppose 110 = -4*b + 14*b. Suppose -32*g = -b*g - 189. Solve g = 3*s + 3 for s.
2
Suppose -8*z + 3 + 5 = 0. Let t(p) = -6*p + 9. Let l be t(z). Suppose 3*u + u = -5*y + 16, -l*y - 2*u = -8. Solve 2*d - 3*d + 2 = y for d.
2
Let i = 19810 - 19708. Solve -i - 228 = -66*k for k.
5
Let v(u) = -u**2 + 33*u + 38. Let f be v(34). Suppose 0 = -f*x - 8*x + 324. Solve 37 = 2*b + x for b.
5
Suppose -7*s = -14*s + 462. Let b be s/(-3*3/9). Let t = b - -67. Solve 4*a + t = 5*a for a.
1
Let l be -12*(20/9 - 2)*30. Let s = -35 - l. Let m = 49 - s. Solve 24 = 5*y + m for y.
4
Let z = 7 + -3. Suppose -2*g + z*m = 2*m + 2, 2 = g + 2*m. Let a(j) = 3*j**3 - 181*j**2 + 118*j - 3477. Let o be a(60). Solve g = o*y + y - 12 for y.
3
Let r(l) = -l**3 - 58*l**2 - 59*l - 84. Suppose 6*f + 287 = f - 2*x, -1 = x. Let q be r(f). Solve -8*i = -2*i - q for i.
5
Let o be 950/22 - (-428)/(-2354). Solve o*q = 1