 = 19*j + 271. Let k be t(-14). Suppose k*g - 30 = -0*g. Solve -b = -2*s, -3*b = -b - s + g for b.
-4
Let k be (3 - 8/40)*-30. Let w be (-9)/(297/k) - 54/99. Solve -4*x + l + 10 = 0, -w*x = -4*l - 3 - 9 for x.
2
Let l(s) be the second derivative of s**5/20 - s**4/3 + s**3/6 + 4*s**2 + 15*s - 2. Let w be l(4). Solve 0 = 4*p + 4*v - 2*v - w, p - 3*v - 10 = 0 for p.
4
Suppose 0 = 4*p - 0*p - 20. Let l(b) = 3*b - 17. Let t be l(8). Suppose -3*u + 0*u = -t*u. Solve u = -3*v + p*q - 8, -2*v - 2*v = -q - 12 for v.
4
Let h = 694 + -692. Let b be (2 - (-4 - h)) + -3. Solve -15 = b*r + 3*t, 0*r + r + 2*t = -10 for r.
0
Suppose 3*u = -5*j + 290, 0 = -5*u - 5*j - 88 + 598. Solve 106*w + 5*d + 29 = u*w, 3*w - 3*d = 21 for w.
6
Let o(c) = 9*c + 1228. Let q be o(-136). Suppose -3*z = -5*z + 8. Solve -q*g = -4*l + 28, 4*g = -l + z*l - 23 for l.
5
Let l be ((-6)/(-14) - 60/42) + 6. Suppose -l*m - 47 = -62. Solve 2*g + m*o - 5 = 0, 0 = -g + 3*o - o - 15 for g.
-5
Let k be -1*(5 + -8) + -2 - (-2)/2. Solve 2*f = -k*m - 10, 36*m = 3*f + 35*m - 1 for f.
-1
Suppose 3*z - 6 = -0*z - 3*r, -r - 8 = -4*z. Let i = -66 + 105. Suppose -41 = -a - i. Solve 3*l + a*l - 2*d + 2 = 0, -z*l + d = 0 for l.
-2
Let u = -225 + 229. Solve 2*w = 4, -5*y + 2*w = -y - u for y.
2
Let y be 2550/(-1530)*((-6)/(-5))/(-1). Let g = -5 - -9. Solve y*z - 4*h + 6 = 0, -z + 1 - g = 3*h for z.
-3
Suppose 156*h - 8*h - 3848 = 0. Solve h = 2*q + c + 22, -3*q + 6 = -5*c for q.
2
Let b be 99/27 - 10/15. Suppose -3*y = 0, 0*y = -4*g - 4*y + 60. Let q = g - 12. Solve -2*w + 11 = -5*t - 4*w, -q*t + b*w = -6 for t.
-1
Let s = -10 + 22. Suppose -5*x + 7 = -2*i, 3*x - s + 3 = 0. Suppose -v + 2*b + 10 = i*b, -3*v + 4*b = 20. Solve z + 7 = k - 3*k, v = -4*k + 2*z - 18 for k.
-4
Let w = -6332 - -6334. Solve -k = 5*t + 32, w*t - t = k - 4 for k.
-2
Suppose 2*g - 3 = 1 + 4. Solve -5*c = -10*c - 20, -3*x - g*c - 25 = 0 for x.
-3
Let b(i) = 27*i + 219. Let d be b(-8). Solve 0 = r - d*v - 8, 0 = -0*r - r + v for r.
-4
Suppose f - 260 = -a, f + 1595 = 5*a + 295. Let s = 265 - a. Solve -3*y + 0*j = -4*j - s, -2*y = -j - 5 for y.
3
Let v(a) = -a**2 + 11*a - 20. Let n be v(3). Solve 0 = n*d - 2*j, 0 = 3*d + 55*j - 60*j + 14 for d.
2
Suppose 6*g - 3*g = 12. Let c be ((-418)/(-19))/((-4)/(-6))*1. Suppose 9*i - 12 = c. Solve 2*n + 0 - g = -2*a, -2*n = 3*a - i for n.
1
Let w be 314/(-6) + 1/3. Let g be 204/(-60) + (-6)/(-15). Let i be g/7*1 - w/7. Solve 3*p - 3*b + 1 = -i*b, -2 = 2*b for p.
1
Let a = -136 - -160. Let l be 102/68*(a/(-9))/(-2). Solve 5 = -l*s + 5*j + 34, j = -5 for s.
2
Let g be (4/(-3))/(-30 - 806/(-27)). Solve 5*r + 5*t + g - 4 = 0, -2*t = -4*r - 16 for r.
-3
Let y(l) = -l**3 + 17*l**2 + 19*l - 16. Let t = -24 + 42. Let k be y(t). Let j be (-4 - -6) + 0/k. Solve -4*g = -4*a, -g = j*a + 2*a for g.
0
Suppose 4*i + 1800 = 5*h, 0 = 23*i - 20*i - 4*h + 1350. Let t be (12/14)/((i/(-140))/15). Solve -c + 4*c = -3*m + 21, t*c = 5*m - 8 for c.
3
Let i = 0 + 5. Let t(l) = l - 10. Let n be t(13). Let o = i - n. Solve -5*u + 1 = y, 2*y - y = -2*u - o for y.
-4
Let s = -9 + 19. Let a = -237 + 248. Suppose -a*q = -s*q. Solve q = 2*t - d + 2, 4*t = -5*d - 1 - 3 for t.
-1
Suppose 1 = u, -13*u = 2*g - 14*u - 15. Suppose -3*w - g = f, 5*f + 7*w = 2*w - 10. Solve 0 = 5*d + 5*a + 5, 0 = d - a + f for d.
-1
Let j(y) = -y**3 - 6*y**2 - 8*y + 4. Let u = 118 - 122. Let s be j(u). Suppose 2*p - 6*p = -28. Solve r + 6 = 5*c, 0 = s*c - r - 2*r - p for c.
1
Let y(c) = c**3 - 13*c - 9. Let a be y(-3). Suppose -6*r = -r. Let m be r + 4*(5 + 3). Solve -l + m = 3*l - 4*u, 34 = 5*l - a*u for l.
5
Suppose -3*v + q = -157, -2*q = 5*v + 3*q - 295. Let a be (v/6 - 2) + -2. Solve 6*n - a*p = 2*n - 25, 2*p + 18 = -4*n for n.
-5
Let w be (3 + (-9)/6)/((-13)/(1560/(-9))). Solve -d = 4*d - w, -5*h + d - 19 = 0 for h.
-3
Let g = -23 + 31. Suppose 0 = g*b - 0*b - 64. Solve -10 = -2*t - 2*m, -4*t = -2*m + 3*m - b for t.
1
Suppose -98 = 3*u - 5*u. Suppose 96 = -3*h + 24. Let s = u + h. Solve -5*i = s, -4*m + 3*i + 0 + 35 = 0 for m.
5
Suppose 4*f + 2 = 2*i, f + 2*i - 19 = -17. Solve 2*w - 1 = -3*j, -12*j + 14*j + 2 = f for w.
2
Let k = -3245 - -3259. Solve -h + 4*t = -33 + 12, -t - k = -2*h for h.
5
Let b = 30303 - 30260. Solve -4*a + r + 19 = 0, -3*a + 40 = 5*r + b for a.
4
Let i(j) = -8*j + 86. Let l be i(16). Let c = 47 + l. Let m be (7 + -8)/((-2)/10). Solve 0 = -u + v + m, -3*u - v = -u + c for u.
0
Let v(i) = 7 + i**3 + 5 - 6 + 34*i + 18*i**2 + 28. Let q be v(-16). Solve b + 8 = -5*f + 2*b, 2*f - b = -q for f.
-2
Let p be 126/21 + (-182)/(-14). Solve 2*g - 6 = 4*k, -15*g = -p*g - 4*k - 12 for g.
-1
Let h be (50/10)/(-30*(-5)/120). Let m be 6/27 - (-4)/(-18). Suppose d - 2*d + 3 = m. Solve h*n = 5*w + d*n, 2*n = w for w.
0
Suppose -38 = -3*a + 65*g - 60*g, 0 = 3*a + 2*g - 73. Suppose 0 = 21*p - 19*p - 24. Suppose 5*n + 2 - p = 0. Solve n*k - 28 = -4*z, 5*k - a = -z + 4 for z.
5
Let a be -13 - 1*(-2 - -1). Let l = -10 + a. Let d = 38 + l. Solve -3*y - 3*x = y + d, -4 = y - 2*x for y.
-4
Let k = -12817 + 12822. Solve -4*u + 17*g = 15*g - 10, 3*g = k*u - 12 for u.
3
Let a be -42 - -26 - (-19 + 0). Solve 0 = -n + a*q + 4, 12 = -7*n + 10*n + 5*q for n.
4
Suppose -4*x = 5*f - 13, -7 = 3*f - 10*x + 5*x. Let a be f*(-21)/((-21)/3). Solve 2*d + 3 + 1 = 2*s, 0 = -d - a for s.
-1
Suppose 1680*d = 1678*d - 4*x - 18, -3*d - 3*x = 3. Solve 68*z + 5*y + 10 = 63*z, d*z = -5*y - 8 for z.
1
Let d(v) = -v**3 - 24*v**2 - 3*v - 68. Let g be d(-24). Suppose 0 = 3*m - 13*r + 9*r - 7, -g*m = 6*r + 2. Solve -2*b = -h - 1, 2*h - m = b - 3 for h.
-1
Suppose -70*m - 716 + 1066 = 0. Solve -t - 10 = -m*x + 2*t, 4*x - 40 = -4*t for x.
5
Let h(i) = -i**3 + 91*i**2 + 3*i - 265. Let d be h(91). Solve -3*g = -j + 9, -19 = -5*j - 2*g - d for j.
3
Let m be ((-2)/(-7) + 72/(-105))/(38/(-285)). Solve -2*a - 7 = m*r - 2*r, -4*a = -3*r - 11 for r.
-5
Let g(p) = -p**3 - 4*p**2 + 2*p + 11. Let a be g(-4). Suppose -2*j + 9*y = 5*y - 98, -5*j + a*y = -210. Solve -3*c - 10 + j = 5*i, 4*c - 20 = -2*i for i.
4
Suppose -s + 77 = 5*f - 0*f, -3*s = -2*f + 41. Let a(v) = -38 - 31*v + 20*v + f*v. Let j be a(9). Solve -3*u - g = 6, -u = -0*u + 2*g + j for u.
-1
Let t be -18 + 24 - (6 - -2). Let b be (640/(-24))/(-8) - t/3. Solve h - 15 = -b*n, -n + 5*h = 3*n + 3 for n.
3
Let p(q) = 16*q + 240. Let t be p(-12). Suppose 3*b = -33 + t. Solve -3*d - 10 = -2*o - b*d, 0 = 5*o - 5*d + 25 for o.
0
Let g(b) = b**3 - 6*b**2 - 15*b - 4. Let z be g(8). Suppose -8*a = -z*a - 16. Solve -6*s - q - 2 = -3*s, a*q = -20 for s.
1
Let j be (3/5)/((-16)/80) - -13. Suppose 2*r - j = -r + 4*o, 0 = 2*r + 3*o - 1. Solve 17 = -s - 4*w, 1 + 0 = s - r*w for s.
-5
Let w = -2344 - -2348. Solve 237*z - 236*z = -u + 2, -3*u + w*z = -20 for u.
4
Let i(s) = -7 + 12*s - 2 - 25*s. Let d be i(-3). Suppose 2*u - d = -5*j + 5, -j = -u. Solve 5*f + a + 5 = 0, -19 = -7*f + 4*f - u*a for f.
-2
Let k = 11747 + -11742. Solve -2 + 6 = -4*t + k*v, 4*v - 4 = 3*t for t.
4
Let c(w) = w**3 - 6*w**2 + 3*w - 5. Let x(u) = u**3 - u + 1. Let a(i) = c(i) + x(i). Let z be a(3). Solve -z*b + 3*h = -13, -b - 3 = -2*h - 10 for b.
5
Suppose 0 = -5*a + 496 - 126. Suppose 3*h = -a + 62. Let m be 31*(5 + h) + -5. Solve -2*s + b - m = -4*b, 5*b = -2*s + 14 for s.
-3
Let i be -3*1 - (-27 - ((-56)/8 + -3)). Solve -16*w + i*w = -2*y, 5*y - w - 12 = 0 for y.
3
Let b be (-55)/(-13) - 594/2574. Solve 2*r = a - 3 + b, -a + 11 = 4*r for a.
3
Suppose -r + 18 = 22, -3*r = 2*w - 58. Suppose 0*q + 21 = 5*q + 2*i, 5*i + w = 5*q. Solve -2*t = 3*y + 1, 5*t = q*y - 0*t + 10 for y.
-1
Let h(s) = s**3 - 4*s**2 - 3*s + 9. Let z be h(0). Let y be (-110)/66*z/(-5). Solve y*v + 0*a - 5*a = -25, -16 = 4*v + 2*a for v.
-5
Suppose 5*f = 4*n - 0 - 9, 4*n + 2*f - 2 = 0. Suppose 0 = -5*x + 221 - n. Suppose 14 = -6*i + x. Solve 0 = 4*d + 2*t - i - 3, 0 = 5*d - t - 17 for d.
3
Let u = 2295 - 2291. Solve -2*x = -3*x + 3*d - 2, u = -2*x + 4*d for x.
-2
Let f = -11512 + 11629. Solve 5*t + 3*j - 6 = 0, 0 = -5*t - 119*j + f*j + 4 for t.
0
Let q(z) = z - 8. Let i be q(5). Let d be -12 - (-1 - (0 + i)). Let c = 19 + d. Solve 5*p + 2*a = 4, 3*p + p = -c*a + 10 for p.
0
Let p = 141 - 137. Solve -5*z + p*b + 11 = 2*b, 4*z + 5*b = 22 for z.
3
Let f(d) = d**3 - 9*d**2 + 3. Let t be f(9). Let m(c) = 