-45 = 3*s - 108. Let z(k) = 4*k**3 - k**2. Let q be z(1). Suppose -43*x + 35*x = -32. Solve 3*n + v = x*v - s, n + v = q for n.
-2
Let m(n) = -n**3 - 13*n**2 - 55*n - 959. Let b be m(-14). Solve 23 = 3*v - 2*l + b, 2*v + l + 1 = 0 for v.
2
Let o be 68/510 + (1168/(-60))/(-4). Solve 5*q = 10 - o, 8 = -3*u + 5*q for u.
-1
Suppose -2*b + 8 = -4*b + u, 0 = 5*b - 3*u + 19. Let m be b/((-45)/6)*(-315)/(-14). Solve 0 = t - 3*c - 9, -5*c = -2*t + 3*t + m for t.
0
Suppose 131*m = 128*m + 12. Suppose -m*p - 3*d + 24 = -5, -3*p - 2*d = -22. Solve 4*z - 3*w - 7 - 4 = 0, 2*w + p = 3*z for z.
2
Let d = -71 + 69. Let s be 1*(-3)/6*d. Let j be (-6)/(s/(-4)*6). Solve -5*r + 5 = -5*u, -j*r = -0*u + u + 11 for u.
-3
Suppose -b = 4*a - 3, a - 2*a - 3*b + 9 = 0. Let n be 11 + (10 + -52)/6. Solve a = -n*t + 5*g + 6, t - 6 = 5*t + g for t.
-1
Suppose -q + 3*l + 12 = 0, 3*q - 3 + 0 = -2*l. Solve -4*i = -q*g - 10 + 11, 0 = -2*g + i - 6 for g.
-5
Let z = 4627 - 4623. Let s(f) = 2*f**2 - 5*f + 5. Let r be s(2). Solve 0 = -r*x - 0 - 6, 4*o + z*x - 8 = 0 for o.
4
Suppose -6*b + 7*b - 9 = 2*g, 5 = -b - 5*g. Solve 5*w - 5 = w + b*p, -4*p + 27 = 3*w for w.
5
Let o be (8 - 25) + 14 + (1 - -2). Solve o = -3*b - 6, 4*i + 0*i = 3*b + 2 for i.
-1
Let n = 90 + -90. Let u(q) = -5*q + 15. Let i be u(n). Solve 0 = -5*t + 4*p - 2 + 25, 3*p = 3*t - i for t.
3
Let c = -349 + 327. Let w be c/(-11) - (-1 - 2). Solve 5*v - 12 = 2*x, w*v + x = 4*x + 13 for v.
2
Suppose -4*n = 2*x - 370, -380 = -2*x - 0*n - 2*n. Suppose 51 = -16*g + x. Let k be g/(-21) + (-62)/(-14). Solve 4*f = -h - 3 - 4, -k*h = 3*f + 15 for f.
-1
Suppose 0 = 126*r + 1055*r - 2362. Let q = 14 - 9. Solve q*b + 15 = 5*x, -3*x - 2*b = -r + 3 for x.
1
Let k(o) = -5*o - 45*o**2 - o**3 + 0*o**3 + 54*o**2 - 14. Let w be k(8). Solve -17 - 3 = -3*u - 4*r, -3*u + 2*r = w for u.
0
Suppose 300*f = 45*f - 427*f + 7502. Solve -x = -3*o - 8, -3*o + f = x + 9 for x.
5
Let p be 3 - (-10 + -26 - 6). Suppose -2*n + 0*n + y = 84, 0 = 3*n + y + 121. Let o = p + n. Solve -o + 3 = 2*z + 5*a, -3*z + 2*a - 11 = 0 for z.
-3
Let a = -3145 + 3140. Suppose -5*l + 3*t - t - 28 = 0, 0 = 2*t - 8. Let y be 33/44 + a/l. Solve -y*o = -2*r, 5*o + 1 = 11 for r.
2
Let f(q) = q**3 + 13*q**2 + 36*q + 6. Suppose 2*u - 7*a + 15 = -4*a, 2*u + 16 = 2*a. Let r be f(u). Solve -2*i + r*i + w = -11, 5 = 5*w for i.
-3
Suppose 8 = 2*d, -t - 2*d - 30 = -60. Suppose -18 = -2*b - 4*m, -5*b - 3*m + 53 = t. Solve 3*p - b = 8*p, 3*y + 12 = -3*p for y.
-3
Let p be 5/(-14 + (-165)/(-11)). Solve 4*u - p*o + 2*o = 3, -3*u - 3*o - 3 = 0 for u.
0
Suppose h - 27 + 26 = 14. Solve 4*z + h = -5*v, 2*v + 6 = 15*z - 12*z for v.
-3
Let t = 7 + -4. Suppose 5*n = q + 28, -2*q + q = 2*n - 7. Suppose h = 2*d - 7, 0 = 2*d - n*d + 4*h + 13. Solve c = t*f + 10, -2*f - d*c - 9 = 2*f for f.
-3
Let x(w) = -2*w**2 + 114*w + 2705. Let c be x(-18). Solve -4*o - 24 = 3*m, -m = -c*o - 2 - 9 for o.
-3
Let k be 7 + 2 + (69 - 32). Let x(o) = -2*o + 95. Let s be x(k). Solve -2*r - n + s*n + 6 = 0, -3*r - 3*n + 15 = 0 for r.
4
Let j = 19 - 22. Let s be 3/((-180)/66 - j). Solve -b = -4*v + s, -3*v + 0 + 7 = -2*b for v.
3
Suppose 0 = 5*y - 2*z + 3 - 18, y + z = 3. Solve 0*h - y*h = 3*a - 6, h + 4 = 2*a for h.
0
Let y(i) = 2*i - 48. Let s be y(14). Let n be ((-16)/40)/(8/s). Solve 0 = 5*q - 4*d - n, d = -4*q - 1 + 6 for q.
1
Let b(q) = -2*q**3 + 9*q**2 + 8*q - 12. Let o be b(5). Solve 0*p = 3*p + o*v + 3, -4*p - 13 = -5*v for p.
-2
Let l(v) = -v**3 - 6*v**2 - 11*v - 8. Let g be l(-4). Let k be (-18 + 860/50)/(4/(-10)). Solve g*u = k*h - 22, 2*u - u - 4*h = -23 for u.
-3
Suppose 2*n + m - 12 = 0, -82*n + 80*n + 5*m - 24 = 0. Solve n*a + 27 = 3*r, -4*a + 3*r + 85 - 116 = 0 for a.
-4
Suppose -211 - 1139 = 30*j. Let z = j - -48. Solve -2*n - 3*h - 7 = -z, -4*h + 4 = -2*n for n.
-2
Let h be ((-396)/24 - -6)/(9/(-6)). Solve -9*a - 4*r = -h*a - 10, 0 = -5*r + 5 for a.
3
Suppose 0 = 15*j + 11 + 4. Let d be ((-31)/62)/(7/6 + j). Let l be (d - 2 - -2) + 5. Solve 4*u = -l*n + 4*n - 8, 3*n - 5 = -u for n.
2
Let i be -14 + 24/(-16)*-12. Solve 6*y + 2 = 11*y + 2*b, 4*y + i*b = -8 for y.
2
Let n(z) = -5*z + 11. Let g be n(11). Let k = g + 47. Suppose -d - 5 = -0*d + 2*c, 5*d - k*c - 40 = 0. Solve -3*j - l = -12, d*l = -2*j - 2*j + 5 for j.
5
Let s be (14*(-1)/(-6))/(15/315). Suppose 6*o = -6*o + 348. Suppose o = -5*u + s. Solve -b + 22 = -4*b + 2*i, -u*i = b - 16 for b.
-4
Let m(h) = h**2 + 5*h - 4. Let q be 21/7 + 18/(-2). Let r be m(q). Suppose -4 = 3*j + 5*u, r*j - u - 10 = -2*j. Solve -k - 16 = 4*y, j*y - k + 5 - 3 = 0 for y.
-3
Suppose 0 = -3*q + 7*i - 23, -35*i + 38*i - 35 = -5*q. Solve -3*n + n = q*k - 8, 0 = -4*n - k + 9 for n.
2
Suppose -25*o - 26*o + 117 + 36 = 0. Solve q + 10 = 4*p, o*q - 26 = -5*p - 22 for p.
2
Suppose -45*j = 24*j - 207. Solve 2*v + 12 = 5*z + 11, 11 = 5*z + j*v for z.
1
Suppose 39*b - 44*b + 425 = 0. Suppose 2*v - 3*l + 6*l = 17, -5*v = -l - b. Solve 2*h - 2*t - 8 = 0, 5*h + t + v = -3*t for h.
0
Let y = 30 - 18. Let d be 3/y*-10*-2. Suppose 4*j + 4 = 4*n, j = 3*n + d*j + 4. Solve n = 3*v + 5*h + 22, -3*v = -2*h - 0*h - 13 for v.
1
Suppose 222*z + 226*z - 26 = 446*z. Solve -4*c - 11 = 3*q, 9*c = z*c - 4*q + 4 for c.
-2
Let c be (-2 + 21/15 + 66/(-15))*-2. Solve 7*a + 23 = 4*d, -c*a + 6*a = -3*d + 16 for a.
-1
Let b(j) = j**2 + 3*j + 2. Let i be -4 - (3/(-9) + 10/(-6)). Let f be b(i). Solve -5*n - 4*t = 26, 4*t + 24 = -4*n - f*t for n.
-2
Let t be (-12)/10*(1 - 11). Suppose 9*b = -130 + 256. Suppose 77*u + b = 84*u. Solve 5*g - 28 = -l, -l = -5*g + u*g + t for l.
3
Suppose 0 = -4*t - 5 + 13. Let h = 268 + -198. Suppose h - 94 = -12*v. Solve -12 = 4*w, 2*z - v*w + t + 0 = 0 for z.
-4
Suppose 5*q - 43 = 182. Suppose 3*l - 60 = -q. Solve 3*a + 4*v = 27, 4*a + a = l*v + 10 for a.
5
Let q(u) = 6*u - 35. Let s be q(8). Solve -3*n = -3*w - s - 2, -n + 3*w + 11 = 0 for n.
2
Suppose 3*g - 3*m = -6, 2*g = -849*m + 845*m + 32. Solve -5*z - 15 = 4*i - 9*i, -i = -g*z + 3 for z.
2
Let i be 168/(-63)*114/(-8). Suppose 3*l + k = i, 10 = -2*l + 3*k + 39. Solve 5*o - 4*r = 0, -2*r - l = -3 for o.
-4
Let a = -11295 - -11299. Solve 5*b - 28 = -a*t, 3*t - 2*b + 0*b + 2 = 0 for t.
2
Let u = -1152 + 1156. Solve -5*r - 26 + 9 = u*k, 4*r = -5*k - 19 for k.
-3
Let k = 4264 - 4258. Suppose -6 = -3*y + 3. Suppose y*p + 0 = 2*w + 6, 3*w - 13 = -p. Solve -3*m - 9 = p*x, -k = -x - m + 3*m for x.
0
Let h = 268 + -253. Suppose -3*n + h = 0, -12*w + 10*w = -n + 5. Let g be (-4)/(-6) + 146/6. Solve w = 3*q + 9 + 6, -r + 4*q + g = 0 for r.
5
Let j be 24/10 - (-12)/(-30). Suppose 0 = -2*y + 3*w + w + 24, -2*y = 4*w + 16. Suppose 3*p = y*p - j*p. Solve -3*f = a - p - 9, 5*f - 4*a + 2 = 0 for f.
2
Suppose 579*c - 12 = 582*c. Let k = 38 - 22. Let s be (c/k - -4) + (-4)/(-16). Solve 3*o = -2*u + 2, -2*o + s = -0*o + 2*u for o.
-2
Suppose 15 - 6 = 3*h + 3*y, 4*y = 3*h + 5. Solve -3*p = 5*x - 11, -x + 9*p - 8*p - h = 0 for x.
1
Suppose 10*t + 2900 = 2930. Solve -3 = 4*r - 2*h - 1, -t = -r - 3*h for r.
0
Suppose 4*m + 10*m = 42. Suppose 0 = 2*g - 3*u - 23, m*g + 0*u = u + 17. Solve -3*t + 14 = -3*f + f, g*f - 16 = -5*t for t.
4
Let g = 25464 + -25461. Solve 4*q + 2 = g*t, 49*t - 47*t + 4 = 0 for q.
-2
Suppose -f - 4*m = -70 + 5, -2*f + 60 = -2*m. Solve d - 4*q + 20 = -7*q, 2*d - 5*q - f = 0 for d.
1
Let j(a) = a**3 - 21*a**2 + 7*a - 136. Let r be j(21). Solve 3*d + 9 = -4*v, -5*d - 15 = -r*v + 7*v for d.
-3
Let a(l) = -l**3 + 49*l - 115. Let k be a(3). Solve 3*v - u = 17, 10*u - 7*u = -k*v + 5 for v.
4
Let v be 2/(-2)*2 + 6. Suppose -v + 24 = 4*o. Let b be (-5)/(-3 - -5 - (o + -2)). Solve z - b*f - 12 = 0, -4*z + 30 = -5*f + 12 for z.
2
Suppose 14*b - 11*b = 1572. Suppose -b*f = -520*f - 20. Solve 5*k + 41 = 4*z, -3*z + f*k = -0*z - 37 for z.
4
Suppose -2*f - 1 = -3*g, 3*g - 5*f + 4 = -7. Suppose 2*d - 1 = -p, -69*p + 74*p = -g*d - 16. Solve -t - 4*q - 15 = 2, -d = -t + q for t.
-1
Let x = -1038 - -1078. Suppose -3*p + 5*n = -x, 4*n + 13 = p - 12. Solve -5*l + p*h = 0, 32 - 7 = -5*h for l.
-5
Let y be (221/(-26) - -8)/(2/(-204)). Solve l = 1, y*v = 47*v + 2*l - 10 for v.
-2
Suppose -49*n = -55 + 6. Let b be n - -4 - (-100)/25. Solve y - 15 = -4*y, 5*t - 2*y = b for t.
3
Let u = 2666 - 2666. Solve 7*q + 25 = -2*y, u*y + 4*y - 5*q - 45 = 