Let m be ((-4)/(-5))/((-4)/(-10)). Suppose 3*l = -2*n - 93 - 5, -2*l - 4*n = 76. Let c be (2 - 28/15) + (-176)/l. Solve -m*s = c - 0 for s.
-3
Suppose 86*m = 24308 - 572. Solve -272*c + m*c + 24 = 0 for c.
-6
Suppose 31*i + 4 - 531 = 0. Solve -9*a = -i*a + 24 for a.
3
Let y = 534 + -437. Let x be (-92 + y)/((-5)/(-6)). Solve 0*k = x*k + 6 for k.
-1
Suppose 29*m + 194 - 774 = 0. Solve 8 - m = -12*t for t.
1
Let c = -3 + 11. Let s be -1073*(-7)/609 - 3/9. Solve -4*h = -s + c for h.
1
Let c = 4071 + -3951. Solve -10*n + 70 = c for n.
-5
Let n(m) = -m**2 - 16*m + 57. Let t be n(-19). Suppose 7*s + 2 + 5 = t. Let c be s/((-1)/2 - (-3)/12). Solve c*d - 12 = -4 for d.
2
Let c = -48 - -50. Let l(p) = 9 + 4*p**c + 7*p + 0*p - 3*p**2 + 6. Let j be l(-7). Solve -4*u + u - j = 0 for u.
-5
Let m = 21 + 19. Let o be ((-27)/252*7)/((-6)/m). Solve -o + 9 = 4*p for p.
1
Let n be (-1 + -9)*(-2)/5. Suppose 5*m = 4*q + n, 4*q - m - 3*m = 0. Suppose 2*j - q*r - 10 = 4, -j = -4*r - 11. Solve -5*i + 8 = -j*i for i.
4
Let v(b) = -12*b - 73. Let a be v(-6). Let h = 4 + a. Solve -3*z - 3 = h for z.
-2
Let n = -9 + 16. Suppose n = -4*b + 11. Suppose 2*w + b - 13 = 0. Solve 2*q - w*q - 20 = 0 for q.
-5
Let j = 3314 + -3312. Suppose 8 = 2*p + 2*p. Let t = 4 - p. Solve -t*z - j + 4 = 0 for z.
1
Let k(o) = -o**2 - 15*o - 7. Let n be k(-5). Suppose n*a + 3 = 44*a. Solve a*p - 22 + 7 = 0 for p.
5
Let h(o) = -o**3 + 127*o**2 - 246*o - 8. Let c be h(125). Solve -c*g + 482*g + 60 = 0 for g.
6
Let u(b) = 2*b - 14. Let p be u(7). Suppose 6*q = -p*q + 54. Solve 0 = -3*y - q for y.
-3
Let g(l) = -6*l + 22. Suppose 2*z = -2*k - 4, -4*z + 4*k + 21 = -11. Let n be g(z). Solve -n*r + 2*r + 4 = 0 for r.
2
Let b(y) = y + 7. Let t be b(-9). Let p be -4 + (-7)/(-1) - t. Suppose 0 = -2*c - 3*m + 4*m + 13, 0 = p*c - 5*m - 25. Solve 3*i = -7 - c for i.
-5
Let s = -248 - -449. Let n = 201 - s. Solve n*h = 6*h + 6 for h.
-1
Suppose 4*j = -f - 30 - 5, 141 = -5*f - 3*j. Let u be (-381)/(-12) - (-1)/4. Let h = f + u. Solve -h*b + b = 16 for b.
-4
Let v = 140 + -217. Let z = v - -52. Let q = z - -25. Solve 0 = 3*u - q*u + 12 for u.
-4
Let l be (-1 - -1) + 8/4. Suppose -85*u = -80*u - 715. Let b = u + -142. Solve b = o + l for o.
-1
Let d(x) = x**3 + 9*x**2 + 20*x - 11. Let k be d(-8). Let n = -96 - k. Solve 16*s - n*s = 25 for s.
5
Let t(r) = r**3 - 21*r**2 + 20*r + 3. Let y be t(20). Suppose -3*v + 11 = -2*s, y*v - 4 - 1 = 5*s. Solve -z + v*z = 0 for z.
0
Let w = 2484 + -2484. Solve w = -17*t + 5*t - 96 for t.
-8
Suppose -44*b + 42*b - 2*u = -68, -2*b + 3*u = -78. Solve b*l - 12 = 33*l for l.
4
Let y(k) = -742*k - 1355. Let z be y(-2). Solve z = q + 130 for q.
-1
Let t(c) = -336*c + 7456. Let g be t(22). Solve -22*a - g = -14*a for a.
-8
Suppose 3*p - 2*m - 105 + 1072 = 0, -3*p = -5*m + 973. Let z = -321 - p. Solve 16*w - 12*w - 4 = z for w.
1
Let o = 242 - 241. Suppose 0*g - 2*g + 16 = 0. Suppose -4*x - o = 2*j + j, -g = 2*x. Solve -j = 4*a + 15 for a.
-5
Suppose -3*v + 4 = 3*r + 76, 4*r + 77 = -3*v. Let z = -19 - v. Let k = 68 - 60. Solve z = -3*n + 7 + k for n.
5
Let i = 11 + -1. Let q(u) be the first derivative of -u**4/4 + 11*u**3/3 - 4*u**2 - 18*u + 3265. Let n be q(i). Solve n*h - 1 = 7 for h.
4
Let w = 9580 + -9409. Solve 3*i - 159 + w = 0 for i.
-4
Suppose -6*w - 130 = 446. Let z = 100 + w. Solve 0 = m + z*m for m.
0
Let s be (-138)/(-30) + (-15)/25. Suppose 2*a = -5*t + 4, 0 = -t + 4*t + s*a + 6. Solve 0 = t*g + 2*g + 12 for g.
-3
Suppose 4*f + 127 = 439. Suppose -82*i + f*i = -16. Solve m + i = 3 for m.
-1
Let o(c) = -5*c**2 - 33*c - 15. Let f be o(-6). Let m be 4 + -71 + -6 - (-1 + 1). Let n = m + 82. Solve n = f*s - 0*s for s.
3
Let w(d) = 11*d - 41. Let v(l) = -l - 2. Let n(c) = 6*v(c) + w(c). Let p be n(11). Solve -3*s = p*s + 20 for s.
-4
Let m = 7507 - 7496. Solve -6*f + 51 = m*f for f.
3
Suppose 13*s = 9*s - 20*s + 456. Solve -9*n + 20 = -s*n for n.
-2
Let r = 67 + -35. Suppose 56 = 4*i + r. Let m be (-4)/((-5)/(45/i)). Solve 3*l + 9 = m*l for l.
3
Suppose 0 = -3*n + c - 2*c + 11, 0 = -4*n - 5*c + 33. Suppose 0 = -n*d - 1 - 5. Let w be (-1 + 0)*(-5 - d - 3). Solve 5*y - 5 = w for y.
2
Let v be ((-10)/8)/(25/(-100)). Suppose v*s + 0*s = 20. Solve 3*l = s*l for l.
0
Let r = 9233 + -9227. Let w be 6 - 7 - (-1 - 25). Solve r*h + w = 1 for h.
-4
Let d be 24/(-612) - 26994/(-1683). Solve -d*a = -82 - 30 for a.
7
Let u = 31520 + -31513. Solve -3*l + 2*l - u = 0 for l.
-7
Let x be (-1)/(-8) + 895/8. Let v = x - 110. Solve 4*q + 4 = v*q for q.
-2
Suppose 145*l = 16*l + 903. Solve 5 + 23 = -l*s for s.
-4
Suppose 2*k = 4*k - 2. Let r = 8 - k. Suppose 0 = -20*a + 23*a, 3*z - 5*a - 15 = 0. Solve 4*t - z - r = 0 for t.
3
Suppose 4*u - r = 8, -47*u = -48*u - 4*r + 2. Solve u*g - 670 + 672 = 0 for g.
-1
Let b = -666 - -614. Let v be 1/(-9) - (b/(-18) - 6). Solve -6*f + 5*f - v = 0 for f.
-3
Let g(y) = -y**3 + 10*y**2 + 9*y + 3. Let k be g(12). Let q = 302 + k. Let z = q - 125. Solve 0 = -i + 5 - z for i.
5
Suppose 0 = -8*h + 3*h + 710. Suppose -88 = -23*k + h. Solve 5*o + 0*o = -k for o.
-2
Let s(q) = -5*q**3 + 7*q**2 - 6*q. Let t be 3/(-24)*-3*8. Let f be s(t). Let n = f - -93. Solve n*m = -2*m + 20 for m.
4
Suppose m = 3*c + 2, -c = 5*m + 241 - 251. Solve 49*g - 78*g - 29 = c for g.
-1
Let v be (-16)/(176/(-1263)) + (-4)/(-22) + -4. Solve 31*h - v = -6*h for h.
3
Let p = -85 - -352. Let j = p + -266. Solve 0 = -r - j for r.
-1
Let g = 7359 - 7317. Solve 0 = 5*c + g*c - 235 for c.
5
Suppose -11*f = -18*f - 42. Let c be ((-21)/f - 2) + (-2568)/(-16). Let r be (c/108)/(2/8*2). Solve 5 + 1 = r*p for p.
2
Suppose 4*i - 11 = 1. Suppose 4*d = 0, 5*d - 68 = -3*j + 109. Let n = j + -54. Solve n*v + 12 = -i for v.
-3
Suppose -z + x + 2 = 0, 4*z - 4*x = -8*x. Let j be 6/(-33) - 383/11. Let s be (-38)/(-14) - 10/j. Solve s = f + z for f.
2
Let a = -11 + 12. Suppose 5*p = -0*d + 5*d + 85, -d - 4*p - 2 = 0. Let r be d/(-98) + a/(-7). Solve o + r = -1 for o.
-1
Let b = 25 - 45. Let y(r) = -r**2 + 6. Let i be y(5). Let w = i - b. Solve 2*s + w = -3 for s.
-2
Suppose 4*h = -3*m + 13, 2*m + 2 = 3*h + 5. Suppose m*q = 40 - 1. Solve -11*w = -q*w + 4 for w.
2
Let t be 6 + (5 - 5) + -2. Let d be (t - (-22)/(-4))/(6/(-8)). Suppose -8 = -3*r - 0*r - 2*w, -8 = -r + d*w. Solve -k = -r*k for k.
0
Let d(r) = -5*r**3 - 16*r**2 + 4*r + 16. Let t(w) = 14*w**3 + 47*w**2 - 11*w - 48. Let q(y) = 17*d(y) + 6*t(y). Let p be q(10). Solve -4*a - p = -5*a for a.
4
Let i be 22 - (-27)/(189/(-70)). Solve -8*m + i*m = -4 for m.
-1
Let t(l) = 8*l - 40. Let o be 0 + -7 + 3 - (12 - 23). Let v be t(o). Solve -v = b - 12 for b.
-4
Let f = -1258 - -1260. Let o(t) = t**2 + 10*t - 49. Let n be o(-15). Solve 0 = -f*a - n + 18 for a.
-4
Let m = -242 + 147. Let z = -89 - m. Let o be (-2 - 4/(-8)*z)*1. Solve -y - o = -0 for y.
-1
Let m = -17504 - -17530. Solve 0 = -245*w + 232*w - m for w.
-2
Suppose 3157*d - 3151*d = 30. Solve -d = t - 0 for t.
-5
Let j(f) = 21*f - 25. Let p(l) = -l**2 + 2*l. Let n(i) = j(i) - p(i). Let m be n(-21). Solve -14 + m = -3*s for s.
-1
Suppose -2*j + 63 = 12*c - 15*c, -c = 4*j - 105. Solve -47 = 5*y - j for y.
-4
Let x(w) = -7*w + 27. Let a be x(3). Let t be (a - 6)/(-2 - -3). Solve 0 = -d - t*d - 3 for d.
-3
Let z(r) = r**2 - 11*r + 27. Let w be z(10). Suppose 0 = -4*c, 2*c - w = -v - 4. Solve v = -2*d + 5 for d.
-4
Let f(p) = -50*p - 56. Let r be f(-4). Suppose 2*z + r = 26*z. Solve -10 = 4*t - z*t for t.
5
Suppose -h + 4 = 0, -2*o + 4*h = 24 - 12. Solve -o*w + 7 + 5 = 0 for w.
6
Let v = -87 - -92. Suppose t + 1 = 4*n + 12, -t = -v*n - 13. Solve 3*p = -t + 6 for p.
1
Let x be ((-24)/2)/4 + 15. Suppose -h + 18 = 2*h - 3*v, x = h - 3*v. Suppose 11*z - h*t = 6*z + 44, 2*z - 23 = 3*t. Solve z*f - 2*f + 5 = 0 for f.
-1
Let f = -84142 - -84145. Suppose -3*d = d - 28. Solve -d*s = -f*s for s.
0
Let a = 5019 + -5049. Let y be (-2)/2 + (-66)/(-2). Let c = y + a. Solve t - 5 = -c for t.
3
Let z(c) = 8*c - 7. Let s be z(8). Suppose 2*j - s = -j. Solve 0 = 8*k + j + 13 for k.
-4
Let m be (4/(3 + -11) - (0 + -1))*0. Solve -27*i + 21*i + 30 = m for i.
5
Let q = 429 - -44. Suppose 457 - q = -4*z. Solve -z*j - 20 + 0 = 0 for j.
-5
Let c(l) = 5*l + 15. Let n be c(-6). Let z = n + 21. Suppose 3*f - 3 = 2*m + 6, 2*f = -5*m + z. So