3*a + 8863. Let u be b(-20). Solve k - 2*n = -6, 35*k + u*n - 4 = 34*k for k.
-2
Suppose 0 = -2*d + 3*v + 25, -3*d - 11*v + 34 = -12*v. Solve -n + 10 = 4*c, 4*n + 5*c - 7 = d for n.
2
Suppose 0 = -6*r + 13*r - 77. Let o = r + -8. Let m be 0/(2 + 3*(-20)/(-15)). Solve m = 4*q + o*a - 5 + 21, -q = -a + 4 for q.
-4
Let s be (2 - 0)*(-40)/(5/(-5)). Let a = -78 + s. Let b be (a/(-5))/((-4)/(-480)*-2). Solve -5*o - 3 = 2*n + 6, 3*n - 5*o - b = 0 for n.
3
Let q be (-23)/(-69)*(-1755)/(-15). Solve q*a + 7 = 40*a - d, 19 = a - 4*d for a.
3
Suppose -3*l + 2 = -13. Suppose -7*b + 4*q = -5*b - 4, 5*b + 5*q + l = 0. Solve b = -4*y + j + 23, y - j - 11 = j for y.
5
Suppose 3 - 9 = i. Let x be 2457/221 + i/51. Let u be (22/4)/((-1)/(-2)). Solve 4*s = n - x, -4*s = s - 4*n + u for s.
-3
Let w(m) = -m**2 - 9*m - 13. Suppose 3*q - 5*c + 15 + 19 = 0, -4*q + 4*c = 32. Let b be w(q). Solve 8*f = 3*f + 3*a - 1, 3*f - 4*a = -b for f.
1
Suppose 171 = 2*w - 7*w + 211. Solve -3*u = -5*l + 1, w*l - 3*l = 2*u + 4 for l.
2
Let w be 18/45 - 96/(-10). Suppose -15*s = -10*s - w. Suppose -2*n + 21 = 5*h, 4*h = -4*n - s + 26. Solve -n = 3*v - 2*q, -2*v + 3*v - 3*q + 8 = 0 for v.
1
Let q = 49 + 8. Let n = 47 - -5. Let w = q - n. Solve -v + 3*v - 12 = w*j, -2*v = 2*j + 16 for v.
-4
Let r = 496 - 491. Suppose -2*y = -2*c - 2, -4*y + 23 = r*c + 1. Solve 0 = q + c*b - 7, 0*q - 5*q = -4*b - 7 for q.
3
Suppose -n - 3*n + 112 = 0. Let t be (-12)/(-30) + 3/15*-4402. Let w be (-2728)/t + 2/(-20)*1. Solve 0 = -h + w*y + 19, n = h + h - 4*y for h.
4
Let y = 725 + -727. Let v be y/8*(94 + -94). Solve 4 + v = 5*g + 3*r, -4*r - 10 = -g for g.
2
Let s = 0 - -4. Suppose -2*g - w = 23, 4*w + 21 = -2*g - 11. Let t be g/(-120)*9 - (-9)/4. Solve 3*c - c = -3*z - s, 13 = -5*z + t*c for z.
-2
Let j = 1119 + -1115. Solve -5*x + 3 = 5*g + 28, -14 = j*x + g for x.
-3
Let n be (-25)/3 - (-95)/(-57). Let x(m) = m**3 + 13*m**2 + 31*m + 10. Let c be x(n). Solve 0 = -3*a - d + 2*d - 17, -3*a + 2*d - 19 = c for a.
-5
Let z = -4221 + 4236. Solve 3*y = 3*k + z, -12 = k - 10 for y.
3
Let a be (5/(-10))/((-2)/356). Suppose a - 29 = 12*o. Solve o*r = -4*q - 6 - 3, 0 = 4*r - q + 3 for r.
-1
Let n(g) = -10*g - 25. Let w be n(-7). Suppose 75 - w = 6*m. Solve 0 = v + 4*f - 5, 3*v + m*f - 11 = -3 for v.
1
Suppose 1024*x - 414 = 978*x. Solve -4*s + x = -3*o, -2*s - 42 + 57 = -5*o for o.
-3
Let c(q) = -3*q**2 + 74*q + 30. Let x be c(25). Solve -14*g + s - 1 = -19*g, 0 = x*s - 5 for g.
0
Let d be ((-24)/(-14) + -2)/(17/(-1071)). Solve 12 = -y + 3*r, 2 = -4*y - 4*r + d for y.
0
Suppose -2 = 7*n + 40. Let s be 27 + 7/((-21)/n). Let c = s - 26. Solve -3*y = 4*w - 1, 2*w - 4*y = -c*w + 9 for w.
1
Let y be ((6 + -7)*-4)/1. Suppose -y*i + 3 = -5. Solve 2*h = -3*x - x + i, 3*h - 3*x = -24 for h.
-5
Let b = 367 - 171. Let c = 201 - b. Suppose 15*v - 25 = 10*v. Solve -d = -2*j - c, 0 = -v*j - 2*d - d - 7 for j.
-2
Suppose 131*k = 121*k + 20. Suppose 4*x + 3 = 4*j + 5*x, k*j - x - 9 = 0. Solve u = -2*d + 5*d - 20, d - 15 = j*u for u.
-5
Let h(z) = 42*z - 1046. Let c be h(25). Solve -5*s = -s - 20, c*s - 18 = n for n.
2
Let y = 1920 - 1916. Solve -9 = -3*b - 3*x, 4*x = y*b - 0*b + 20 for b.
-1
Suppose 2*g - s + 258 = 0, -92 = -g + 2*s - 227. Let t = 131 + g. Solve -3*a - t*j = -20, 26 = 5*a + 2*j + j for a.
4
Let k(x) be the third derivative of x**6/120 - 7*x**5/60 + x**4/12 - x**3/2 - 7*x**2. Let o be k(3). Let t = 38 + o. Solve 5*g = -j - t, g - 3 = -2*j + j for g.
-2
Let n be -38 + -4 - 0 - 1*-3. Let p = -47 - n. Let h(b) = -2*b**2 - 17*b - 6. Let f be h(p). Solve -2*m = -t + 7, -f*t + 5*m - 10 = -27 for t.
1
Suppose 7 = -y + 9. Suppose y*a = 28 - 18, -15 = -5*o + 3*a. Solve n = -n + o, -n + 5 = -2*h for h.
-1
Let k(x) = x**3 - 11*x**2 - 7*x - 112. Let f be k(12). Suppose -2*s + 59 + 53 = 0. Let l = s + f. Solve -3*y - 2*n = n + 12, 4*n = l*y for y.
-2
Let g = -3151 - -3166. Solve -j - 3*j = 5*i + 32, -5*j = g for i.
-4
Let x = -5542 - -5555. Let y(k) = -k**2 - 6*k - 1. Let t be y(-5). Solve p = -3*u - 9, -t*p + 4*u - 1 = -x for p.
0
Suppose 2*n - 16*x + 21*x - 5 = 0, -5*n = -5*x + 5. Solve n = -q + 11 - 8, b = 4*q - 13 for b.
-1
Let a(b) = -b**2 + 5*b + 230. Let r be a(0). Suppose 4*w - r = 222. Let u = 115 - w. Solve 6 = l - 2*f - 1, 5*f = u*l - 17 for l.
1
Suppose -14*r - 328 = -10*r. Let c = -71 - r. Suppose 5*q + 2*t = 10, -2*q - c + 1 = -2*t. Solve 4*k - 12 - 4 = q, z + 2*k - 7 = 0 for z.
-1
Suppose 0 = 3*p - u - 155, -19*u + 14*u + 125 = 3*p. Solve 2*b + 6*i = -4, b + 51*i + 4 = p*i for b.
-5
Suppose 4*u + 5*o = 55, -2*o = 11 - 25. Solve -d + 52 = 2*k + 46, u*d + 10 = -2*k for d.
-4
Suppose -2*i - 3 = 1, k = -2*i - 1. Suppose 3*x - 60 = k*v + 183, 5*v - 162 = -2*x. Let b = x + -76. Solve -20 = -b*a + 3*o + 2*o, 4*a - 5*o - 17 = 0 for a.
3
Let d = -357 + 359. Let i be ((-10)/3 - 28/(-21))*-4. Solve 2 = -d*b - 2*m, -5*b - 27 - i = -5*m for b.
-4
Suppose -23*j = 20*j - 172. Let t(o) = o**2 - 24*o + 82. Let q be t(j). Solve -5*u + 3 = -2*x + 36, -q*u = 5*x - 10 for u.
-5
Let n(k) = -k**3 + 15*k**2 + 82*k + 25. Let w be n(20). Let p = w - -342. Solve 3*d - 8 = -j + p, 2*j = 4*d - 20 for j.
0
Suppose 26 = -55*q + 56*q. Suppose 5*r = -8*r + q. Solve -r*c = -2*x + 1 - 7, -11 = x - 5*c for x.
-1
Suppose -5*j + 3*f = -24, 9 = -2*j + 565*f - 570*f. Solve j*a - 5*p = 22, -14 = -0*a - 3*a + p for a.
4
Suppose 2*f = -2*f + 12. Suppose -30*h + 12*h = -216. Solve 0 = -f*j - 3*i, 0 = -2*j + 6*i - 5*i + h for j.
4
Let z = 4786 - 4778. Solve 0 = -2*t - z, 7*h - 4*t = 2*h + 26 for h.
2
Suppose 0 = s + s. Let j be 5 + (-145)/58 + 6/4. Solve s = 4*l - 2*u, l + 22 = -2*l - j*u for l.
-2
Let u = 26066 - 26063. Solve 141*i = 137*i - 4, -u = 4*p + 3*i for p.
0
Let y be ((-7560)/(-48))/(-45)*(-24)/21. Solve 12*i - 10 = 10*i + 4*k, -12 = -4*i + y*k for i.
1
Let z = 0 + 0. Let s be 0/(1 - (0 - z)). Let m = 80290 + -80285. Solve -p = 5*q, 2*p - m*q + 10*q = s for p.
0
Suppose 9*v + 288 = -7*v. Let p = v - -20. Solve q - 9 = -3*h, -4*q + 2 = 4*h - p for q.
-3
Suppose 73735 - 73597 = 46*g. Solve -5*s = -3*i + g, 1 = -5*s + 2*i - i for s.
0
Let m(q) = -2 + 6*q - 4*q + 3*q. Let z be m(1). Let d(l) = 2*l**3 - 26*l**2 + l + 7. Let u be d(13). Solve 0 = z*h - 5*i + u, 4*i + 2 = -h + 1 for h.
-5
Suppose -3*j + 42 = 4*p, 2*j - 5*p - 1 = 4. Suppose -21*s - 11284 = -8*s. Let t = 871 + s. Solve -6*g + 6 = -2*g - t*q, j = 4*g - 5*q for g.
0
Let m = 157 - 85. Suppose -6*z = -3*z - m. Let v be 1/6 - 2/z*-46. Solve v*j = -0*j - 16, 5 = -3*a - 5*j for a.
5
Suppose -d - d + 3*l - 19 = 0, 4*d + 5*l = -27. Let z be 20/(-16)*3/(6/d). Solve 2*k + k = -5*t - 27, -2*k + t = z for k.
-4
Suppose 0 = -305*i + 4268 + 2. Solve 0 = 2*v + 3*m + 7, 9*m = -5*v + i*m + 45 for v.
4
Let w(f) = -f**3 + 13*f**2 - 22*f + 14. Let s be w(11). Suppose p - 5*c = s, -5*p + 44 = 7*c - 6*c. Solve -4*z + d + p = 0, 0 = -6*d + 3*d - 15 for z.
1
Suppose 3*c = 15, 2*k = 2*c - 2 - 4. Let y be (-12)/24*16/k*-1. Solve 3*b + 9 + 2 = -2*n, -3*n = y*b + 14 for n.
2
Suppose 0 = 8857*k - 8870*k + 533. Solve k*g = -3*u + 40*g + 3, -5*g - 15 = 0 for u.
2
Let f = -7 - -15. Suppose -f*x + 110 = 3*x. Let n be 14/x - (-6)/10. Solve 2*p + 3*p + u - 4 = 0, n*u = -3*p + 1 for p.
1
Let a(o) be the third derivative of o**5/60 + 7*o**4/24 + 14*o**3/3 + 84*o**2. Let q be a(-4). Solve -2*l + 5*c = 13, l + 5*c + 0*c = q for l.
1
Suppose -49*m - 130*m + 621 = 28*m. Suppose 2*c = -0*c + 4*r + 8, 3*c - 4*r = 10. Solve 3*f - 6 = -3*h, -c*f + m*f - 20 = 5*h for f.
5
Let x be (-6)/(-8) + -2*135/(-24). Suppose -l + x = -2. Let s = -4 + l. Solve -5*p = -5*j + s, -5*j + 4 = 4*p + 3 for p.
-1
Suppose 0 = -3*k - 3, -4*u + 5*k = 59. Let m(h) = -h**2 - 19*h - 36. Let w be m(u). Solve -d - 2 = 5*n + 1, 5*n = -4*d - w for n.
0
Let x be (-6 + 18)*14*1. Let d be (-2)/(-10) + x/35. Solve 3*r - 4*n = d, -n + 3 = 8 for r.
-5
Let x = -31665 - -31669. Suppose 30 = 6*m - m. Let a be ((-4)/6)/(m/(-18)). Solve -c + 4 = -x*q - 2*c, a*c = 5*q + 18 for q.
-2
Let i = -5522 - -5527. Solve -f = 2*l - i, 2*l + 3*f = f for l.
5
Let l be (-4)/10 - 1/(20/(-1508)). Let f = 78 - l. Suppose -f*w = 2*w - 25, -4*o = -4*w + 20. Solve -4*g - 20 = o, -z + 0*z - 2*g - 7 = 0 for z.
3
Let t = 3470 + -3466. Solve v - 8 = w + w, -t*w - 4*v - 28 = 0 for w.
-5
Let q 