 = 6 for s.
-2
Let h be -1 - (-5 + -2 + 2). Suppose 0 = 9*y - h - 14. Solve -4*w - c + y*c = -23, -4*c - 32 = -4*w for w.
5
Let s = 997 - 993. Solve -4*c - 5*d = -s*d + 12, 0 = -3*d - 12 for c.
-2
Let f = 22544 + -22543. Solve 5*n + 4 = 2*a - f, 5*n - 15 = -2*a for a.
5
Suppose -j - 1 + 5 = 0. Suppose 841520*f - 841525*f = -40. Solve -4*t = -2*d + f, 3*d - 2*d + 8 = -j*t for t.
-2
Let a be (-51)/(-6) + 9/(-12)*-2. Let i be a/3 + (-17)/51. Solve -2*u = -i*f, -3*f = f + u - 11 for f.
2
Let y be (-8)/(-20)*(16 - 11). Solve -4*w + 2*k = -26, -3*w + 9 = y*k - 0 for w.
5
Let k be 2*4/8*1. Let g be (8/10)/(k/10). Let o be (225/(-100))/((-3)/g). Solve -3*r = 3*y + 2*y + 6, -4*y + 3*r = -o for y.
0
Let d be (-1)/(104/(-793)) - 15/(-40). Solve 5*m = 3*a + 10, -36*a - 4*m + d = -38*a for a.
0
Let z be ((-12)/14)/(10/(-560)). Let p be 7/(-21) - (-7)/(63/z). Solve 0 = -2*r + j + 2, -2*j + 4 - p = -r for r.
1
Let g(w) = -6*w**2 + 29*w - 13. Let u be g(4). Solve 4*x - 5 = k, -u*x = -10*x - 3*k for x.
1
Let a be (95/57)/(5/(15 + (2 - 5))). Solve -a*d - 2*w - 6 = 0, 9*d - 5*d - w = -21 for d.
-4
Suppose -576 = 48*d - 64*d. Suppose 8*u - 3*u - 38 = m, 2*m = -2*u - 64. Let s = d + m. Solve -11 = -5*k - 5*f - 36, -s*f - 16 = 4*k for k.
-1
Let v(q) = -q**2 + 9*q + 6. Let i be v(6). Suppose -17*y + 11*y + i = 0. Solve 4*d = -y*u + 20, 3 = -3*u + 5*d - 6 for u.
2
Let r = -56 - -98. Let y = -39 + r. Solve 0*g = -y*g - j + 18, -3*j + 29 = 4*g for g.
5
Let g(s) be the first derivative of -28*s**2 - 32*s + 13. Let f be g(-1). Solve x + 2*m = 10, 2*x + 9*m - 4*m - f = 0 for x.
2
Suppose 68 = 4*b - 0*b. Let l(t) = 4*t**3 - 815*t**2 - 205*t + 208. Let u be l(204). Solve b = 3*m + 2*z, 0*m - 4 = u*m - 4*z for m.
3
Suppose -3*b - 5*n = -493, 3*n + 141 = 2*b - b. Let d = b - 152. Solve f + d*f - 5 = -y, 2*y - 5 = -5*f for f.
1
Suppose -12 = -a - 3*a. Suppose -4*l + 3*g = -4 + 5, -2*g = l - 8. Solve -j + 2*k + 14 = -a*j, -l*j - 20 = 5*k for j.
-5
Suppose -13*n = -57*n + 6996. Let q be n/24 + 21/56 - -4. Solve g + 2*j - 4*j = -q, 0 = -2*j + 8 for g.
-3
Let i(k) be the second derivative of k**5/20 + 5*k**4/6 - k**3/2 - 27*k**2/2 - 2*k - 6. Let w be i(-10). Solve 3*x - 12 = w*u, 4*u + 7*x = 3*x for u.
-2
Let j(x) = x**2 - x - 1. Let u be j(-2). Suppose 0 = 5*o - g - 34, -4*o + 2*g - 23 = -55. Let m be o/(-4)*14/(-7). Solve u*y - 3*z = 4, m*y + 2 = 4*z - 0 for y.
2
Let w be 21 - (40 + -15 + -6). Solve -9 = -s + 2*f - w, -f + 1 = 4*s for s.
1
Let a = 20 - 10. Suppose 6*m - a*m = -132. Solve j - m = 3*j + 5*n, 5*j + 25 = -n for j.
-4
Suppose -371*q = -378*q + 210. Let c = 48 - 23. Suppose -c*f + q*f = 20. Solve 2*l - 5*a - 17 = -l, 5*a = -f*l - 24 for l.
-1
Let q = -19697 + 19700. Solve -3*u + 1 = -d, q*u = -5*d - 4 - 1 for d.
-1
Let c = -209 + 174. Let d(i) = -2*i**3 + i**2 + 2*i + 1. Let o be d(-1). Let v be o + c/10*4/(-7). Solve v*s = 3*k - 3 - 8, -23 = k + 4*s for k.
-3
Let l be ((-4)/2 + (-30 - -29))*15/(-9). Solve y + 36 = 2*v + 26, -l*v = -25 for y.
0
Let c be (-8 + 15)*(-4)/(-7). Suppose 420 = -2*x - 5*x. Let l = 62 + x. Solve -c*b - l*p = -10, 0*p = -b + 5*p - 14 for b.
1
Suppose -15*n + 11*n = 0, 4*n + 15 = -3*o. Let u = -1 - 9. Let g = o - u. Solve g*x - 3*q + 35 = 0, -x = -2*x - 3*q + 11 for x.
-4
Let k be 340/90 + (1 - (-21)/(-27)). Suppose k*g + 16 = 5*i, -5*i + 5*g - 8 = 7*g. Solve -10 = -3*p + 2*t, -4*p + 0*p + 2*t + 14 = i for p.
4
Suppose -3*i = 0, -2*t + i - 15 + 23 = 6*i. Let z(x) = -x + x - x - 3. Let a be z(-6). Solve 4*m + 7 = w, 35 = a*m - 8*m - t*w for m.
-3
Let b(w) = 285*w + 1710. Let l be b(-6). Solve -2*h + 26 = 5*r - l*h, 2*h = r + 2 for r.
4
Let j = 37 + -36. Suppose 5*x = 5*c + 20, 2*x - 3*c = 8 - j. Let m(h) = -h**3 + 7*h**2 + 2*h - 9. Let n be m(7). Solve 3*u = x*f - 5, 5*f + 5 + n = 0 for u.
-5
Let u = 127 + -441. Let j = u - -321. Solve k + 0 = -4*r - j, 4*k - 26 = 2*r for r.
-3
Let z(h) = 2*h**3 - 3*h**2 + 2. Let d be z(2). Suppose d*r - 4*r = -68. Let f = r - -34. Solve -j = -2, -2*p - 2*j + 6 = -f*j for p.
1
Let b = -34 - -38. Suppose 15*h + 5*o = 13*h + 13, -16 = -3*h - b*o. Solve -2*x + 20 = -h*s, -5*s + 8 = 5*x + 3 for s.
-3
Let h be -21*(-14)/102 + (-30)/(-255). Solve 2*m - j + 18 - 22 = 0, -h*m - 4*j = -6 for m.
2
Let a = 2 + 2. Let o(s) be the third derivative of s**4/24 + 2*s**3/3 - 3*s**2 - 9. Let h be o(-2). Solve -d + 2*r + 13 = 0, -h*d + a*r + 29 = d for d.
3
Let v be 0 - -2 - 0 - (38 + -32). Let p be (0 + -2)/(2/12*v). Solve 0 = 5*o + 2*t - 35, -25 = -p*t - 2*t for o.
5
Let w(j) = 101 + j + j**3 - 9*j**2 - 49 - 59. Let b be w(9). Suppose 4*h - 3*k = h + 21, -b*h + 3*k + 19 = 0. Solve 3 = -r - 2*a, -3 = 3*r + 6*a - h*a for r.
3
Suppose 2 = -p - p. Let i(b) = 4*b**2 + 1. Let s be i(p). Suppose d = -4*d + s. Solve q + d = -1, -u + 3 = -2*q for u.
-1
Suppose 73*u - 37 = -4*v + 74*u, -3*u - 7 = v. Solve -2*j + 11 = 3*c, -c - c = j - v for c.
5
Suppose -3*s - 21 = -3*w, -3*w + 3*s = 4*s - 9. Let t be ((-14)/w)/7*-8. Let q = 81 + -77. Solve q*k + 5*g + t = 0, k + 4*g = 5*k + 4 for k.
-1
Suppose 220*a - 211*a - 4392 = 0. Let c = 498 - a. Solve -2*r - 4*t - c = -t, t = 3*r + 4 for r.
-2
Suppose 3*l - 9 = 3*x, -2*l + 30 = -0*l + 4*x. Let a(u) = -10 + u**2 - 12*u - 3*u**2 + 4*u**2. Let k be a(l). Solve -2 = 3*d - 2*i + 15, -3*i = k*d for d.
-3
Let t be (-23)/(-69)*(-1 + -11). Let k(d) = d**3 + 3*d**2 - 3*d + 4. Let b be k(t). Solve 5*i - 3*i + a - 10 = b, -20 = -4*i - a for i.
5
Suppose q = 6*q. Let t be (-638 - -635)/(2 + -2 - 1). Solve -8 = -5*d + d + t*n, -4*d - 2*n + 28 = q for d.
5
Let o be (-8 + 5109/624)/(2/32). Solve 14*c - 12*c - 8 = -4*y, 0 = -o*y for c.
4
Let z be (1/(-4))/(9/(-6 + -138)). Suppose 1 = -3*a + 10. Solve a*n + z = s, -4*s - n = s + 12 for s.
-2
Suppose -2*q - 18*q + 60 = 0. Suppose 9*i - 6*i - 33 = -3*o, -39 = -q*i - 5*o. Solve 2*k + 6 = -2*m, -3*m = 3*k + m + i for k.
-4
Suppose -10*r + 69 = 3*k, 0 = 5*r + 2*k - 21 - 15. Solve z = 4*a + r - 17, -a + 5 = -z for a.
2
Let q(z) = -3*z**2 - 53*z - 17. Let b be q(-17). Suppose -13*m + b*m = 20. Solve 3*t + 25 = -4*k, 5*t + 28 - m = -2*k for k.
-4
Let i = 140 + -263. Let c = i + 143. Solve 2*z - h = 6, 3*z - c = -0*z - 4*h for z.
4
Let g = 29 - 25. Suppose g*x - m + 6*m = 182, -3*m + 186 = 4*x. Let s be 2/6 + 224/x. Solve -4*u + 5 = s*o - 0*u, -4*o + 3*u + 4 = 0 for o.
1
Let f = 6 - 3. Let n(y) be the third derivative of -y**4/24 + 4*y**3/3 - 59*y**2. Let k be n(2). Solve -3*q + 0 = f*d - 12, k = 2*q for d.
1
Suppose 5*f = -2*d - 16 + 11, -d + 2*f + 2 = 0. Suppose -24*q + 8 + 40 = d. Solve -2*n - 10 = 2*c + 2*n, 2*n = q*c + 10 for c.
-5
Let r(f) = -5*f + 86. Let n be r(0). Let o = 57 - -15. Let c = n - o. Solve 1 + 4 = -5*z - 5*t, -2*t - c = -2*z for z.
3
Let l = -179 - -184. Let r be ((l + -4)/3)/((-2)/(-30)). Solve 0 = r*c + 5*w - 20, 2*c = 4*c - 4*w + 10 for c.
1
Let a(i) = -i**2 + 27*i + 57. Let x be a(29). Let v be (-12)/(-6) - (-1 + x). Let d be (-68)/(-119) - (-17)/7. Solve -h + 5*p = -1, -4*p + v = -d*h + 7 for h.
1
Let c(t) = t**2 - 4*t + 4. Let d be c(1). Let s be d - 3*(-1)/(-3)*0. Let l be 1*2*(-3)/(-2). Solve 15 = -l*p, -s = 5*r - 5*p - 21 for r.
-1
Let l = 14534 - 14527. Solve -3*a - l = v + 4, -3*a + v = 13 for a.
-4
Suppose -18*g = -53*g + 70. Suppose 3*m - i = -4*i + 6, 2*m - g*i - 8 = 0. Solve s + 4*s = 5*f - 40, m*f - 34 = 5*s for f.
3
Suppose 0 = -173*x + 80*x + 465. Solve -2*j - x*a + 4 = 0, -3*j + 4*a - 6*a = -6 for j.
2
Let q(k) = -436*k + 891. Let r be q(2). Solve 5*b - 3*v - 30 = 0, 0 = 2*b - 0*b + 5*v + r for b.
3
Suppose 5*o = 4*i - 105, 0 = 2*i + o - 6*o - 65. Suppose i = 6*k - 10. Solve 3*v = 2*y - y + 4, k*y = -v + 12 for y.
2
Suppose -13*p = 967 - 1019. Solve 0 = 4*w - p*k - 8, -4*w + 305*k - 304*k + 8 = 0 for w.
2
Suppose 0 = 10*h + 4*h - 140. Let c be (-12)/h*(-390)/117. Solve -4*r = 5*x + 10, -4*x + c*r + 18 = -5*x for x.
2
Suppose 25*o = 50 + 75 - 25. Let v(g) = -g + 5. Let r be v(0). Solve 5*d - 15 = -o*w + 6, -5*w = r for d.
5
Let k(o) = -o + 5. Let s be k(9). Let d be (-166)/(-18) - s/(-18). Suppose 34*m = 32*m + 5*l - 6, 3*m = -3*l + 12. Solve m*j = q - d, -4*j - 3*q + 2 = 15 for j.
-4
Let t(j) = 252*j - 5287. Let h be t(21). Solve -5*m + h*k - 10 = 0, 8*k = 3*m + 10*k - 14 for m.
2
Suppose 377*n + 368 = 393*n. Solve 18*c - n*c = 