 for n.
-3
Let v(z) = z**2 - 6*z - 160. Let i be v(-10). Solve -3*d + 4 = -2, i = 2*f - 5*d + 14 for f.
-2
Suppose 90 - 295 + 157 = -8*k. Solve -w - 3 = 0, 3*a - k*w = -w + 6 for a.
-3
Let j = 83 + -80. Suppose 15*z - j*z = 60. Solve z*s + 14 = 2*d, d = 2*s + 2 + 4 for d.
2
Let p = -19487 - -19507. Solve s = 5*z - p, -s - 15 = 10*z - 14*z for z.
5
Let h = -149 - -158. Let w be 3/h*(39 - -9). Solve w = -4*k + 2*a, 2*k - 5*a = 3*k - 7 for k.
-3
Suppose -891 = -4*r - 5*r. Suppose r = -19*i + 28*i. Solve 2*o = -a + 2*a + 6, 2*a - 3*o + i = 0 for a.
-4
Let d = 197 - 192. Suppose l = -0*b + d*b - 8, 3*l - 2 = 2*b. Solve 0 = -0*c + 2*c - n, -5*c - l*n = -18 for c.
2
Suppose -5*r + 5*t + 22 + 18 = 0, -5*t + 14 = 4*r. Solve 5*h - 7*h = 4*g + r, 2 = -2*h for g.
-1
Suppose -9*v + 24 = 6. Let o be (-9)/v + 1 + (-39)/26. Let u be 1*o*(-4)/(-8)*-2. Solve -h = u*q + 17, h + 1 = -q - 4 for h.
-2
Suppose -10*q - 55 = -95. Suppose t = -q*t + 20. Solve -j - t*y = -2*j - 24, -5*j - 5 = 3*y for j.
-4
Let x = -266 + 184. Let a = x - -91. Solve 3*q + 1 = -5*d - 0, -3*d + q - a = 0 for d.
-2
Suppose 0 = 18*k + 20*k - 2584. Suppose k*b = 55*b + 13. Solve 2*g = -0*g + h - b, -2*g - 3*h = -19 for g.
2
Let n = -46 - -50. Suppose -21 = 5*h + 5*s + 79, n*h + s = -86. Let t = -19 - h. Solve 6*w + a = 2*w - 11, -t*w = -3*a + 12 for w.
-3
Let v be (2 - 6) + 3 - -1. Let k be (-1012)/(-55) - 2/5. Let r(u) = -2*u**2 - 24*u - 17. Let t be r(-11). Solve x - y = v, k = -5*x - t*y + y for x.
-2
Let w be (-170)/(-51) - (1 + (-1)/(-3)). Suppose -n - 2*n - 11 = -4*i, w*n - 11 = -i. Solve 5*g + 2*v - 8 = -0*v, -n*v + 7 = 5*g for g.
2
Suppose -13*l = -10*l. Solve -4*k + l = -3*j + 1, 0 = -3*k + 3*j - 3 for k.
2
Let q(m) = 3*m**2 - 5 + 8*m + 4 + 11 - 27*m. Let s be q(6). Solve -5*r = -3*i + 19, 0*i = s*i - 5*r - 22 for i.
3
Let x be (-5 - -4)*(155 + 0). Let v = 74 + x. Let d = v - -85. Solve -w = 2*y - 7*y + d, -4*w = -4*y + 16 for y.
0
Let q(v) be the first derivative of v**3/3 + 5*v**2 + 5*v + 17. Let a be q(-10). Solve 2*r = 0, 2*r + a + 11 = 4*f for f.
4
Let p = 381 - 383. Let k be (7/p - 130/(-52)) + 5. Solve -3*f = k*j + 31, -6 = -5*f + 3*j - 19 for f.
-5
Let b be -21 + 3/(-3)*-21. Solve -5*y - x - 22 = b, 58*y + x - 6 = 60*y for y.
-4
Suppose h = 2*k + 19, -7*k + 3*k = 5*h + 73. Let o = 30 + k. Let l = o - 18. Solve -3*u + 6*u - 3 = -5*z, l = -u - 4 for z.
3
Let o be 2/(-11) + 9145/(-341). Let f = 37 + o. Solve 2*g + f = -5*z - 2, -7 = -3*g + 5*z for g.
-1
Let c(g) = -g**3 - 75*g**2 - 100*g - 1918. Let t be c(-74). Solve 2*u + 32*i + t = 36*i, -3 = -2*u + i for u.
3
Let j be (14/(-3) + 8)*3/2. Suppose 4*n - 10 = 3*z + 10, -n + 5 = -j*z. Solve -6*w = 4*l - w + n, -l - 14 = -3*w for l.
-5
Let c(j) = -j**2 + 18*j + 285. Let b be c(28). Solve 2*v + 5*m = 2 + 15, -b = 5*v + 3*m for v.
-4
Suppose 3*y - 1 = -4. Let i be (-2)/(3/(-2) - y). Let z = -20 - -22. Solve -6*l = -l + i*v + 2, -2*v = z*l + 2 for l.
2
Let p(a) = 387*a - 8876. Let w be p(23). Solve 13 = i + 3*r, 2 = -i - 5*r + w for i.
-2
Suppose 3*s = -s - 3*f + 55, s + 10 = 4*f. Let l(g) = 0 - 5 + 69041*g - 69040*g. Let d be l(s). Solve d*c = 5*u, -c = 2*c + 3 for u.
-1
Let c = 337 - 313. Suppose 8*t - c*t + 48 = 0. Solve -t*q - 3*i + 2 = -10, -5*q + 2*i = 1 for q.
1
Let s = -37 + 42. Suppose -3*y + 17 = -2*u, -2*u + 27 = -s*u + 4*y. Let o be (2/(-4) + 2)/(u/(-26)). Solve 0*q - 18 = o*r - 3*q, r + 15 = 4*q for r.
-3
Suppose 5*n = 2*f - 4 - 0, -8 = -4*f + 2*n. Suppose -f*i + 2 = 78. Let l = i - -44. Solve t - l - 8 = 4*g, 4*t - g = -4 for t.
-2
Let k = -27670 + 27676. Solve -l - d - k = 0, -d - 7 - 1 = 3*l for l.
-1
Let n = 7 + -7. Let s(d) = -36*d + 63 - 1 - 23 - d**2 + 2. Let j be s(-37). Solve -m = -k + j, m - 3*k - 7 + 21 = n for m.
1
Suppose 51*g + 26 = 230. Suppose -41*b + g*j = -38*b - 20, b = -3*j - 15. Suppose x = 2*f + 11, 3 = -x - 2*f - 2. Solve x*h = b, -3*w + 2*w + 4*h = 0 for w.
0
Suppose -4*f = 15*h - 10*h + 20, 4*h + 16 = f. Solve 29*q - j - 4 = 27*q, f = -3*j + 6 for q.
3
Let m(c) = -2*c - 34. Let g be m(-19). Suppose 2*u - 8 = 0, 0 = g*k - 4*u - 6 - 2. Suppose 8*n = k*n. Solve n = 3*i - 4*q - 23, -i - 4*i = 3*q + 10 for i.
1
Let n(j) = 145*j - 2025. Let o be n(14). Solve 2*w - 5*u = 9, -47*w + 52*w = -5*u + o for w.
2
Suppose -b = -2*b + 17. Let v be ((-147)/(-4))/((-12)/(-16)). Suppose -5*r + v = -11. Solve -r = -2*h + 6*h + 2*c, -2*c = 5*h + b for h.
-5
Suppose -402*i + 408*i - 150 = 0. Solve 5*d = 5*n - i, -3*n - 16 = 2*d - 6 for n.
0
Suppose -5*p = 3*t - 611, -57 = -p - 4*t + 55. Suppose 30*c = p - 124. Solve -5*f + 2*f - 4*d = 27, -3*f + 5*d = c for f.
-5
Suppose -20 + 172 = -4*f. Let v = f - -44. Let h be 4/(-7) + ((-96)/(-28))/v. Solve 0 = -3*b - 3*z, z = -h - 3 for b.
3
Let n(d) = 209*d + 420. Let w be n(-2). Solve -2*m = w, 28*b + 2*m = 23*b - 2 for b.
0
Let l be 22/(-6) + 44/(-132). Let u be (-5)/l + (-1092)/(-48). Suppose -b - i + 7 = b, 5 = 3*b - 4*i. Solve -b*q + 15 + 13 = -4*n, -u = n - 5*q for n.
-4
Let b = -5084 + 5084. Solve -5*f + 5*m = b, m = 5*f - m - 15 for f.
5
Suppose 7 = -5*j - 8. Let m be (3 + -1)/(j/(-12)). Suppose 2*d - 4*d = -m. Solve -2*z - 3*r - 1 - 12 = 0, -2*r = -d*z + 14 for z.
1
Let a(d) = -d**2 + 34*d - 281. Let r be a(15). Solve -5*m + 13 = r*h, -6*m + m - h = -22 for m.
5
Suppose s - y - 17 = 3*y, -y = 5*s - 22. Solve 0 = -q - 4*x + 12, s*q + 2*x - 3*x + 3 = 0 for q.
0
Suppose -14*l - 553 = -21*l. Suppose -5*a + l = 4. Let h be 1/(-2) - 77/(-14). Solve 2*v + h*j + 21 = 0, -j = 2*j + a for v.
2
Let d be (((-18)/3)/6)/((-3)/12). Suppose 5*z - 1 = -3*i + 5, -d*z - 4*i = 0. Solve -z*k - f + 20 = 2*k, 3*f + 8 = 2*k for k.
4
Let v(u) = 49*u - 189. Let t be v(-7). Let c = -529 - t. Solve -4*f + 2*f = -r, -c*f = 2*r for r.
0
Suppose 2*x - 41 = -k, 5*k - 216 = -2*x - 19. Let f = -39 + k. Let t be (52/16 - 2)*4. Solve -c - 3*y + t = f, y + 4*y = 5 for c.
2
Suppose -5*m + 135 = 55. Let p be -5 + (-3 - 9/(-1)). Let o(b) = 3*b**2 - 4*b + 3. Let u be o(p). Solve w = -u*c + 9, -4*w - m + 40 = 4*c for w.
3
Let y = -6634 + 6639. Let o = -8 - -8. Solve 5*l + o*c + 2*c - 5 = 0, -y*l = -4*c - 35 for l.
3
Let q(w) = -w**3 + 22*w**2 + 5. Suppose -3*y = -11*y + 176. Let s be q(y). Solve -h - 15 = -2*x, 3*h = -s*x - 2 + 12 for h.
-5
Suppose 4*i + 58 = 2*d, 3*d - 40*i - 66 = -37*i. Solve d*p - 5*v = 18*p, -4*v = 3*p for p.
0
Suppose -4*y + 0*y - 10*y + 4*y = 0. Solve 0 = 2*r + 4, -3*r + y = w + 8 for w.
-2
Suppose -100 = 230*q - 232*q. Let r = -47 + q. Solve 3*n = 0, 5*s - r*n = 2*n + 15 for s.
3
Let a be 329/(-5922) + (-111)/(-54) + 2. Solve 16*p - 11*p = 0, -3*p = -l - a for l.
-4
Let s be (-8)/(0 - (-6)/(-3)). Suppose 0 = -s*p + 4, -2*p = f + f - 20. Suppose -3*c + 0 = -f. Solve q + 11 = c*u - u, 4*q + 14 = -2*u for u.
3
Let t be -39 - (6 + (-8 - -4)). Let d = 160 + t. Let a = -114 + d. Solve -12 = -0*f - 4*f, -4*z - a*f = 1 for z.
-4
Suppose 5*d - 7 = k, -20*d + 19*d + 3*k - 7 = 0. Solve -l + 3 = 0, -d*s + 3*l - 2 = -3 for s.
5
Suppose 50*p = 160*p - 660. Solve a + 3*i + 11 = 0, -5*a + p*i + 2 = 2*i for a.
-2
Let t(z) = -64*z - 1662. Let c be t(-26). Solve c*h + 5*b = 12, 0 = -4*h - 26*b + 25*b + 6 for h.
1
Let m = 104 - 100. Suppose -m*b + 24 = i + 3*i, 14 = 3*i - b. Solve 4*z + i*v = -37, -z + 2*z - 5*v = 22 for z.
-3
Let z be (6/9)/(2/(-6)). Let o(x) = -x**3 - 3*x**2 - 4*x - 2. Let m be o(z). Suppose 410 = g + 408. Solve i - 7 = 2*i - k, -g*i - 2*k + m = 0 for i.
-3
Let l(y) = 2*y**3 - 4*y**2 + 2*y + 2. Let s be l(2). Suppose -416*a + 183*a + 2625 = 292*a. Solve s + 9 = 3*u, -a*j - 5*u = 0 for j.
-5
Let n = -1327 + 1332. Let t(x) = x**3 + 7*x**2 - 2*x - 10. Let m be t(-7). Let l be m/(-10)*45/(-9). Solve 2*o + 3*a = -n, -l*a = -0*o - 2*o + 10 for o.
2
Suppose 2*z + 6 = -2*w, 5*z = 3*w - 35 - 4. Solve -3*i = w*q - 15, 5*i - 11 = 4*q - 4 for q.
2
Let i be (-12 - -11) + 2*3. Let s = 45 + -18. Let n be 12/s + 365/9. Solve i*w + n = 2*q + 10, 4*w + 8 = -4*q for q.
3
Let b(h) = 9*h**2 - 134*h + 114. Let k be b(14). Solve -1 = -5*w + 3*r - k, 0 = -4*w - 4*r + 12 for w.
1
Suppose 5*c = 4*y - 9*y - 515, 2*y = c - 194. Let i = -85 - y. Suppose 10 = i*h - 9*h. Solve -z = 5*r - 5, 0 = 6*r - r + h*z for r.
2
Let n = -6127 - -6127. Solve n = q - 3*z + 4, 3*q + 5*z = 4*z - 2 for q.
-1
Let w = 7 + -9. Let z