. Suppose 30 = 5*x + 5*u, -2*x - w*u = x - 17. Solve 4*f + 1 + x = 0 for f.
-2
Let x(c) = c**3 - 15*c**2 + 36*c + 6. Let b be x(12). Suppose 29 = 5*k + h, -k + 2*h - b = -14. Solve -k*j - 8 = -10*j for j.
2
Let h = 9042 + -8981. Solve -5*t - 86 = -h for t.
-5
Let y be (2 + -3)*(-9)/((-18)/(-40)). Suppose -93 = 17*x - y*x. Suppose -7 = 12*t - x. Solve -3*k + t = -k for k.
1
Suppose -65*z + 116 = -14. Solve z*y + 37*y = 0 for y.
0
Let q = 86 + -82. Suppose -64 = -q*o + 12. Solve o*f = 18*f - 3 for f.
-3
Let l = -3601 + 3657. Solve 20*x = -8*x - l for x.
-2
Let c(m) = -m**3 - 12*m**2 - 33*m - 8. Let o be c(-8). Let j be -3 + 3 + o + (-270)/(-27). Solve 4*s = -s + j for s.
2
Let c(n) = 2*n + 8. Let g(l) = 2*l**2 + 15*l + 5. Let f be g(-7). Let b be c(f). Suppose -b*y + 3*h + 15 = 0, -y - 2 = 5*h - 0. Solve y*d = 7*d + 16 for d.
-4
Suppose -2*m = u - 25, 518*u + 42 = 3*m + 515*u. Solve -m*d + 252 = 50*d for d.
4
Suppose 2*x - 8 = 4*a + 3*x, -2*x + 8 = 0. Let b = -3 - a. Suppose q - 28*u = -27*u + 2, -3*u = -12. Solve b = q*h - h + 15 for h.
-3
Suppose 0 = g - 17 + 7. Let o be (4/g - 308/70)*-2. Solve -10*l + 8*l = -o for l.
4
Suppose 5*r = 35*r + 22*r - 22204. Solve r*f - 428*f - 1 = 0 for f.
-1
Suppose k + 4*y + 0*y - 17 = 0, -3*k = 4*y - 67. Solve -24*b + k*b = -4 for b.
-4
Let b(u) = -u**3 - 2*u**2 + 6. Let k be b(0). Let q be (-1)/2*k/(-4 - -3). Suppose -7 = -x + q*w - 18, -4*w = -4*x - 12. Solve 0 = -z + x + 2 for z.
3
Let r = -239 - -314. Suppose 3*h - r = -0*h. Solve -h = -12*o + 17*o for o.
-5
Let y(q) = 3*q**2 - 8*q + 4. Let m be y(2). Suppose -2*b = -m*b - 5*s - 17, 0 = -3*b - s + 51. Solve 3*x + b = 1 for x.
-5
Let v be (-5 + 6)/((-1)/(-12)). Suppose -32*f = -2*h - 36*f + 10, -2*f = -h + 5. Solve h*d + v = -d for d.
-2
Let c = -172 + 172. Suppose 3*x + 5 - 8 = 0. Solve c*l - l = -x for l.
1
Suppose 0 = 4*j + 3*w - w - 56, -2*j - 2*w = -26. Suppose 0 = j*p - 19*p + 8. Suppose -4*u - v + 9 - 1 = 0, -31 = -5*u + 4*v. Solve u*r + 11 = p for r.
-3
Let u(m) be the first derivative of -m**4/4 + 4*m**3/3 + 3*m**2/2 + 18*m - 13. Let t be u(4). Solve -35*k + t*k = -15 for k.
3
Let z = 15435 + -15330. Solve -27*d - z = 8*d for d.
-3
Suppose 0 = 2*i - i - 3. Let c = 16 + 81. Let o = -81 + c. Solve i*x + o = -x for x.
-4
Let j be 1*2*(1 + 0). Suppose -4*i - 3*c = 9, -2*c + 73 = 3*i + 79. Solve i = -j*p + 5*p - 9 for p.
3
Let z(d) = -d**3 - 48*d**2 - 134*d + 108. Let i be z(-45). Solve i*w = 24*w - 117 for w.
-3
Suppose 0 = -16*m + 3295 - 991. Solve 4*u - m = 76*u for u.
-2
Let o = -211 - -187. Let q(l) = -17*l - 398. Let s be q(o). Solve 7 - 27 = s*t for t.
-2
Suppose u + 2*i - 6 = 0, 2*u + 4*i - 6*i - 6 = 0. Suppose -3*p + u + 2 = 2*k, 0 = -5*k - p + 2. Solve -4*l + 0*l + 16 = k for l.
4
Let q = 4575 - 4565. Suppose 2*d + 6 = 14. Solve q = -6*l + d*l for l.
-5
Let a(g) = -g**2 + 112*g - 2120. Let f be a(87). Solve -f*r + 20*r - 175 = 0 for r.
-5
Let t(l) = l**2 - 16*l - 132. Let v be 36/54 - (-2 - 58/3). Let x be t(v). Let c = 11 + -9. Solve -c*m + x*m = -6 for m.
3
Let w = 27181 - 27166. Solve -17*d - 32 + w = 0 for d.
-1
Let x(z) = 2*z**3 + z**2 - z + 1. Let c be (-2)/6*1 + (-12)/(-9). Let y be x(c). Solve -2*s - y*s + 20 = 0 for s.
4
Let d = 155 + -57. Suppose 8*r + 82 - d = 0. Solve 2*v = 12 - r for v.
5
Let h(u) = -6*u - 3. Let i be h(-4). Suppose 2*c - 2*d + 0 + 8 = 0, 3*c = -2*d - 37. Let q be (-6)/18 - i/c. Solve q*m + 0*m - 2 = 0 for m.
1
Let x be (-3)/15*(14 - (-140)/(-10)). Solve x*d - 3*d + 11*d = 0 for d.
0
Suppose -s + 9 = -2*k, 0*k + k = 5*s - 63. Suppose 0 = 8*n - 32*n - 21744. Let i = 910 + n. Solve -i + s = -3*y for y.
-3
Let g(q) = -4*q**3 + 19*q**2 + 5*q + 2. Let s = 342 + -337. Let d be g(s). Let c = -11 + 21. Solve -3*a - d - c = 0 for a.
-4
Let x = -4081 - -4095. Solve 11 - 81 = -x*a for a.
5
Let u(n) = n - 12. Suppose 2 = -2*f, -a - 5 = 2*f + 7. Let o be (48/a)/((-7)/((-210)/(-9))). Let w be u(o). Solve -2*s = -w*s + 8 for s.
4
Let p(m) = 12*m + 143. Let n be p(-9). Solve -n*v + 76 + 64 = 0 for v.
4
Suppose 0 = -6*o + 11*o - 10. Suppose -4*t + 5*t = o*b - 8, 3*b + 5*t = -14. Solve 0 = b*g - 5*g + 12 for g.
4
Let q(s) = -287*s + 10910. Let t be q(38). Suppose 5*h + 40 = 5*n, -3*n + 26 = 4*h - 5. Solve -t*f + f - n = 0 for f.
-3
Let q be (-1 + 3)/2*11. Suppose b + h - 8 = q, 63 = 3*b + h. Let w be 12*(3 + (-3)/(24/b)). Solve 6*x = w*x + 15 for x.
5
Let r(k) = k**3 + 8*k**2 - k - 5. Let f be r(-8). Suppose -f = -s + 5. Suppose 3*u = -5*v + 21, 0 = -u - s*v + 3*v + 17. Solve -u*o = -4*o - 8 for o.
-4
Let p = -29 - -87. Let z = p - 56. Suppose 0 = -2*l + 4*x - 16, 0 = -4*l - 4*x - z + 30. Solve -l*a - 3*a = -5 for a.
1
Suppose 8*r - 32 = 8*t - 6*t, 0 = 5*t - 5*r + 20. Let q = 3 - -1. Let k = 8 - q. Solve -2*p + t = -k for p.
2
Let i be (2 - 9) + 0 + 0. Let d(h) = h**3 + 8*h**2 + 5*h + 1. Let m be d(i). Suppose 0 = 8*l - 0*l + 10 + 22, 4*x = l + 12. Solve -x*b - 3*b + m = 0 for b.
3
Let j(g) = 18*g - 114. Let d be j(7). Let z(a) = -33*a**2 + a - 1. Let l be z(1). Let k be l/(-18) - (-2)/d. Solve 0 = -s - k*s for s.
0
Let p(c) = -19*c**2 - 95*c. Let l be p(-3). Solve -112*v = -l*v for v.
0
Suppose -5*q = 25, -4*n + q = -q - 330. Solve 427 - 107 = -n*h for h.
-4
Suppose 0 = -69*p + 3873 - 768. Solve -39*t + p*t - 18 = 0 for t.
3
Let l = -26 + 21. Let q = l + 14. Suppose q = 3*c + 3*b, 2*b - 2 - 8 = -3*c. Solve 2 = -c*p - 18 for p.
-5
Let c be (-21 + 11)*2/(-5). Let t be ((-12)/(-10))/((-6)/(-15)). Suppose 63 = c*b + t. Solve 6*s - s = -b for s.
-3
Let i(r) = 2*r**2 + 244*r + 1466. Let s be i(-116). Solve -12*y = 10 + s for y.
-7
Let l(g) = -14*g - 46. Let s be l(5). Let q = s + 119. Solve -5*t - q = -4*t for t.
-3
Suppose 4*h + 33 = 45. Suppose -4*q = -5*q + h. Solve 0 = q*y - 8*y + 25 for y.
5
Suppose 3*g + 4*a - 81 = 0, 5*g - 3*a = -a + 135. Solve -28*b + g = -19*b for b.
3
Suppose -2 = -d + m, -6 = -3*d - 3*m + 2*m. Suppose d*h = -58 + 86. Solve h*p + 15 = 9*p for p.
-3
Let u be 2/4 - 25/(-10). Solve u*v - 33*v - 120 = 0 for v.
-4
Let w = 84 + -6. Suppose -90 + w = -12*l. Solve -4*t - l = -5*t for t.
1
Let u(d) = -d**2 + 23*d - 111. Let a be u(8). Let h be (-6 - 168/(-30)) + 12/5. Suppose 0 = 4*y + 4*n, h*y + 2*n = -2*n - 8. Solve -y*r + r = -a for r.
3
Let x = -1252 + 1279. Solve -27*d = -0 + x for d.
-1
Let t be (-5 - -5)*(11 - 12). Let y be 20/(-2)*(-1)/2. Solve t = -y*q - 3 - 12 for q.
-3
Suppose 2*m + 5*i - 683 = -0*m, 2 = 2*i. Let y be (m/6 - -1)*2/5. Solve -4*a = 35 - y for a.
-3
Suppose 2*a + 3*n = 7, -27*n = 4*a - 25*n - 10. Let k be 14 + 1*a*(-5)/2. Solve 0*g = -9*g + k for g.
1
Let v(n) = 3*n**2 - 6*n + 2. Let c be v(4). Suppose 3*i - 82 = -s, -c = -i - 2*s + s. Suppose 75 = -23*h + i*h. Solve 0 = 4*z - 1 - h for z.
4
Suppose 206*u - 642 = 200*u. Suppose 94*w = u*w. Solve w = 2*h + 2 - 4 for h.
1
Suppose 0 = 5*w + 15 - 45. Suppose -3*k + 4*f = -86, -2*f - 4 = -w. Solve 4*y - k = -26 for y.
1
Let r be 297*((-6 - 0) + 3 + 110/30). Solve -r - 426 = -78*u for u.
8
Let p(l) = -l**3 + 8*l**2 - 5*l + 19. Let k be p(8). Let f be (-48)/(-42) - (-3)/k. Let y = -1 + 1. Solve y - f = v for v.
-1
Suppose r - 2 = -3*v, -25 = r - 5*r + 5*v. Solve -28*l = -29*l - r for l.
-5
Let i = 1222 - 1222. Solve i = 13*a + 160 - 173 for a.
1
Suppose -5*t + 5*p = -40, 3*t + p = -4*p + 56. Suppose 10*h + 4 = t*h. Suppose 0*i + h*d = 2*i, -i + 15 = 4*d. Solve 0 = i*w + 3 for w.
-1
Suppose -3*v = -3, 3*s + 6*v - 90 = 3*v. Solve 0 = 25*f + s + 96 for f.
-5
Suppose 4*w - 1318 = -2*d, 4*w + 906 = d + 271. Solve d*o + 2 = 649*o for o.
-1
Let f = -7109 + 7219. Solve 0 = -14*c - f - 2 for c.
-8
Suppose -12 = 11*i + 10. Let h be (50/15)/((-32)/18 - i). Let n be (-2)/(-7) - (329/(-49) - -7). Solve -w - 2*w + h = n for w.
5
Let b be 8880/(-592) + 17*12. Solve 45*x + b = -36 for x.
-5
Suppose -35 = -5*f - 3*u, 0 = 2*f + 3*u + 1 - 15. Suppose 95 = 4*v + 3*c, 112*c + 65 = 2*v + 117*c. Solve -v - 8 = -f*t for t.
4
Suppose 0 = -4*x + i + 12, i = -2*x - 2*x + 4. Suppose k = 2*z - 2 - 0, -3*k - 6 = x*z. Suppose z = -3*h + 5*h + 7*h. Solve -3*c + 2 - 14 = h for c.
-4
Suppose 4*w = -2*z - 710, 3*z + 4*w + 359 = 2*z. Let i = z + 351. Solve i = -0*b + 5*b for b.
0
Let z(u) = -u**3 + 59*u**2 - 363*u - 48. Let h be z(52). Let t(d) = -d**2 - 8*d - 8. Let r be t(-7). L