 Solve -2*c = -3*w - 20, -2*c + 1 - o = 5*w for w.
-4
Suppose 5*d - 20*b + 18*b = -34, -28 = 5*d + b. Let l be d*(-2)/12*0. Solve -4*v + 1 = -m + 6, -m - 3 = l for v.
-2
Let u(c) = -2*c**3 - 19*c**2 - 6*c + 38. Let q be u(-9). Solve 4*l + 9 + q = -5*b, 5*b - 25 = 5*l for b.
0
Let z(o) = 2*o - 10. Let q be z(11). Let n(u) = u**2 - 10*u - 14. Let s be n(q). Suppose s*p - 14 = 6. Solve p*v = 3*b + 10, 0*b - 2*b - 4 = -4*v for v.
-1
Let j be (70*1/8)/(1/(-4)). Let k = -32 - j. Solve k*r - 18 = -3*u, -5*r = -3*r - u + 3 for r.
1
Suppose -y = -4*f - 44, f + f - 104 = -4*y. Let t be (-6)/14 - (-68)/y. Solve 0 = -3*k + t*k + o - 4, 2*k - 4 = -o for k.
0
Let n = 27 + -15. Let a(b) = -b**3 + 2*b**2 + 2. Let g be a(2). Suppose -12 = -4*q + 5*q + 5*p, 18 = 4*q - g*p. Solve -n = -q*w + 3, -4*l + 4*w = 0 for l.
5
Suppose g - 17 = -13. Suppose 3*j + g*f - 6 = 0, 3*j + 0*j = -2*f + 6. Solve 17 = -3*w - 2*t, 2*w + 0*t - 2 = j*t for w.
-3
Suppose 5*v = 218 + 87. Suppose -v*g + 68*g = 28. Solve -g*b = 2*u + 16, 2 = 2*b - 4*u - 0*u for b.
-3
Let m = 2554 + -2533. Solve 5*c - 2*j + m = 0, 12 = 5*c - j + 35 for c.
-5
Suppose -30 = -2*f + 3*x - 5*x, 4*x + 5 = f. Solve -5*s = -2*y + 7, f*y = 15*y + 5*s + 23 for y.
-4
Let i = -229 - -232. Suppose 0 = -3*a - 3*v + 1 + 11, i*a - 2*v - 7 = 0. Solve -2*r + 4*o = 12, -a*o = 5*r - 4*o + 12 for r.
-2
Suppose 97 = -5*k + 117. Solve 3*f + 5 = 2*p + 18, p + k = f for p.
1
Let q be 1*(-1)/2*76. Let v = -238 - -280. Let l = v + q. Solve 5*r + 14 = -3*b, -l - 9 = -2*r + 5*b for r.
-1
Let l be -10*(0 + 5)/(-25) - (-18 - -1). Solve -3*h = 3*j - 12, 4*j - 21 = l*h - 24*h for j.
-1
Let f be (4/6)/(2/(-12)). Let i be (-2)/f - 9/(-2). Let b be (2/4)/(111/5106). Solve 2*u = -0*u + w - 3, 0 = 2*u - i*w + b for u.
1
Let u = 31195 - 31182. Solve 4*k = -28*n + 23*n + u, 2*k = 4*n - 26 for k.
-3
Let u = -32849 + 32854. Solve -8*z - 4*n + 17 = -u*z, 2*n - 13 = 3*z for z.
-1
Let r(a) = -a + 246. Let i be r(46). Let y = 200 - i. Solve 5 = 2*k - y*z - z, k + 5*z + 3 = 0 for k.
2
Suppose -464*r = -466*r - h - 1, 3*h = -r - 13. Solve 5*q + r = 7*q - b, -q + 1 = -b for q.
1
Let u(w) = 6*w**2 + 33*w - 119. Let s be u(-8). Solve 2*k + 4*b = 10, 4*b = 2*k - b - s for k.
3
Let k = 14400 + -14397. Solve 6*u + k*x = 3*u - 3, -3*x = 15 for u.
4
Suppose 10 = -y + 6*y. Let a = 1211 - 1182. Let n = a - y. Solve q + n = -3*q - 5*u, -u = 4*q + 15 for q.
-3
Let m be (-39)/26 - (-3)/(-2) - -3. Suppose k - 4*y + 5 = m, -y + 45 = 5*k + 7. Solve -2*r + 1 = -2*w - 3*w, -5*w = r + k for w.
-1
Let p(k) = -18*k - 362*k**2 + 3*k**3 + 345*k**2 - 2*k**3 + 3. Let r be p(18). Solve 2*v - 6*v = 5*t + 8, -r*v + 3*t - 6 = 0 for v.
-2
Suppose 3*a + 2*s + 3 = 0, -a - 2*a - 15 = -2*s. Let u be a/((-15)/(-2))*-5. Let q be ((-4)/(-4) - -2) + 6. Solve -3*n = -9, -u*b - q = b - n for b.
-2
Suppose 2*m + 2*m = -l - 1491, 2*m - 3*l + 735 = 0. Let j = -367 - m. Solve z - j*z = 0, -4*x + z = 20 for x.
-5
Let t be 7 + (-11 + 16 + -6)*-1. Solve -2*l - t*p + 5*p = -11, -15 = -3*p for l.
-2
Let y be ((-70)/8)/((-6)/24). Suppose 2*i = i + 5*s - 14, -4*s = -5*i + y. Solve -h + 6 = 5*q - 14, i = 4*h - 3*q for h.
5
Let k = -2 - -2. Suppose -r = 5*s - 36 + 32, 2*r = -3*s + 1. Let i be ((k + s)*-1)/((-4)/100). Solve h = -3*h + 4*t - 36, h - 5*t + i = 0 for h.
-5
Let i = 16676 - 16676. Solve 3*j = w - 2, 31*j - 27*j + 3*w + 7 = i for j.
-1
Let y(g) = -3*g**3 + 27*g**2 - 3*g + 29. Let n be y(9). Let v be (-3)/n + 4 - 2/(-4). Solve -v*z - w + 4 = -3*w, 0 = -z + 2*w + 4 for z.
0
Suppose 3*q - 6 = 0, -6*q + 9*q = 3*s - 6. Solve s = -3*l + 4*f, 10*l - 11*l + 4*f = 4 for l.
0
Let s be 12*1/(-2)*(-48)/72. Solve -13*b + 8*b + 24 = -4*f, s*f = -5*b + 16 for f.
-1
Suppose -4*m = m - 10. Let w(k) = k - 258 - 257 + 524. Let x be w(-3). Solve 0 = -4*v, -o - x = m*o + v for o.
-2
Let c = 25 - 7. Suppose -3*m = -8*m - 5. Let u = m - -1. Solve 2*z + a = -u*a + 4, -4*z + c = -3*a for z.
3
Let d(l) be the first derivative of 2*l**2 - 24*l - 62. Let o be d(7). Solve -2*t + o*f + 10 = 0, 3*f = 2*t + 5 - 14 for t.
3
Let b be (-8)/4*-6*11/22. Solve -5*g - 3 = -z, 4*z - z = -b for g.
-1
Let d be ((-3)/(-3))/(12/(-60)). Let p be 2/15*24 + d/25. Let j = 29 - 24. Solve 5*v = -4*b - b - 15, -j*v + p*b = 23 for v.
-4
Let l(z) = 6*z - 30. Let h be l(13). Let d = 67 - h. Let g = d + -16. Solve 0 = -g*n - 3*r, 0 = 7*n - 2*n + 3*r for n.
0
Let f be 1204/(-6)*81/(-54). Let l = -296 + f. Solve -2*s + l*g = 4, s + 6 = 5*g - 1 for s.
3
Suppose 151 = 44*u + 19. Solve 5*f - 3 = 4*f - o, 2*o = f + u for f.
1
Let j = 21142 + -21137. Solve 5*t - 31 = 3*l, 5*l - j = 2*t - 25 for t.
5
Suppose 4*l = -2*z - 82 + 174, 0 = -z - 5*l + 43. Solve 43 - z = 5*y, -4*g - 7 = -5*y for g.
-3
Let k be -6 - 10/120*-4*24. Solve 0 = -4*c + k*o + 18, -4*c - 35 = -4*o - 47 for c.
6
Let l be 1*(-3)/(-9)*3 + -3. Let q(h) = -14*h - 24. Let u be q(l). Solve b - 9 = -o - 3*o, -2*o - 18 = -u*b for o.
1
Suppose -85 = 35*w - 960. Solve -w*k - 22 = -27*k - 4*a, -5*a + 20 = 0 for k.
3
Let q(g) = -926*g - 8309. Let x be q(-9). Solve n = 4*i + x, -3*i - 40 = 2*i - 3*n for i.
-5
Suppose 6 = -3*c, 0 = -4*v - 89*c + 86*c + 10. Solve -2*t = m + m - v, 0 = -2*m + 2*t for m.
1
Let a(p) = -13 - p + 8 + 4. Let q be a(-4). Suppose -5*u + 3*v = -q*u + 3, -5*v = -5. Solve u = -f + 2, 1 - 2 = -t + f for t.
3
Suppose -2*o = -5*x - 24, 5*x = 294*o - 291*o - 41. Solve 20 - o = -5*a + 4*n, n + 6 = -a for a.
-3
Suppose 30*j + 189 = 23*j. Let g be (-153)/j - 5/((-30)/(-4)). Solve -4*y = g*u - 1, -y + 5 = 5*u + 4*y for u.
-3
Suppose -7*h = -10*h + 15, 75 = q + 3*h. Suppose 9 = a - o, q - 14 = 5*a - 4*o. Solve 0*y = -y - 5*m + 22, y - 3*m = -a for y.
2
Let o(r) = -93*r - 1302. Let f be o(-14). Solve f = -5*p + j + 7, -44 = j - 42 for p.
1
Let w = -91 + 90. Let u be w/(-4) + 33/12 + 91. Let q = -94 + u. Solve -5*v - 13 - 12 = q, v + 13 = 2*k for k.
4
Let v be (20/(-25))/(((-12)/(-440))/(-3)). Let t = -85 + v. Suppose -3*a + 0*a = 0. Solve -t*p = p - r + 9, -p + r = a for p.
-3
Suppose -4*g = -3*o + 42 + 30, 0 = 3*g - o + 54. Let i be (15/g + (-14)/(-28))*0. Solve -5*d - 2*n + 18 = i, -d + 10 = d - 2*n for d.
4
Let q = 91 - 85. Suppose 0 = 11*y + q - 28. Solve 4 = -5*x + 4*d - 7, -18 = -y*x - 4*d for x.
1
Suppose -v = -2*c - 82, 5 + 5 = -5*c. Suppose -8*t + 102 - v = 0. Solve 0 = l + 4*x - 5, -4*l = -2*l + t*x for l.
-3
Suppose -3 = 2*a - b - 2, -2*a + 8 = -4*b. Suppose 0 = 3*p + 2*p. Let r be p - (-3 - (5 + a)). Solve 3*n - 4*j - r = j, 4 = 2*n - 4*j for n.
2
Let x(a) = -a**2 + 3*a - 1. Let y be x(2). Suppose y = -0*o - o + c, -5 = -c. Solve -5*b = -20, 2*q - o*b + 2 = -6 for q.
4
Suppose -111*m - 5190 = -116*m. Suppose -m + 398 = -40*x. Solve 4*q + 4*z - x = 0, 0 = -3*q - z + 4 + 2 for q.
1
Let r = -2183 - -2228. Let m(a) = -a**3 - 6*a**2 + 7*a - 2. Let l be m(-7). Let z be r/60 + l + 105/4. Solve -10 = s + 3*b, -z = -6*s + 4*s + 3*b for s.
5
Let z(s) = -s. Let l be z(0). Let b = 2 + -8. Let a be b/6 - (-4 + -2). Solve l = 6*w - a*w + q + 2, w - 4 = -3*q for w.
-5
Let s = -6107 - -6110. Solve 2*v - 39*y + 8 = -37*y, -2*v = s*y - 17 for v.
1
Suppose 4*p = -2*o + 26, o - 4*o - 1 = -2*p. Suppose -24 = -2*t + o*k, 4*k = -2*t + k. Let f be (2/t)/(5/180). Solve -9 = 5*n - 3*l, n + 3*l + f = -n for n.
-3
Let o = 141 - 47. Let n = 1351 + -1440. Let c = o + n. Solve 5*i - 9 = -2*y, 5*i + 1 = c*y - 4 for y.
2
Let w be 1/(9/2 - 4). Let r(h) = -2*h + 7. Let c be r(w). Let l be 9/c + 5 + -2. Solve 2*t = l*t - 3*f - 28, 0 = -t - f for t.
4
Let o(s) = s**2 + 33*s - 108. Let v be o(-36). Solve -5*a + 2*l + 29 = v, 4*a + 14 = 6*a - 2*l for a.
5
Let y(r) = r + 46. Let j be y(9). Let c = 79 - j. Suppose -21*q + c*q = 12. Solve -3*w - 13 = 2*m, 3*m + q = -3*w - 14 for w.
-1
Let w = -646 + 661. Let x = 65 - 62. Solve q + 11 = -2*s - 3, -w = x*s for q.
-4
Suppose -14*b - 11*b = 10*b. Solve 5*f - 2*q - 26 = 0, b*f - 5*q = -f + 19 for f.
4
Let b(z) = z**3 - 5*z**2 - 18*z + 33. Let a be b(7). Let t = 49 - 24. Suppose -d + 3*s = -13, 0 = d + d - a*s - t. Solve d = -2*x - 4*p, -4*p = p + 5 for x.
-3
Let k(n) = -2389*n + 16727. Let o be k(7). Solve r + 31 = 5*j + 24, -13 = o*r - 5*j for r.
-2
Let s(k) = 2*k**3 - 6*k**2 + 3*k + 11. Let o be s(-4). Let f = o + 233. Solve -5*h = -3*t - 4 - 4, -t = -3*h + f for h.
4
S