Let x be (-3)/5*20*4/(-16). Solve -x*k + 42*j - 50 = 37*j, 0 = -2*k - 5*j + 25 for k.
-5
Suppose 5*t - 32 = -7. Suppose 3*k = 5*w + 50, 9*w - 4*w = 4*k - 60. Solve k = -t*z - 2*v, -z - 2*v = -2 - 4 for z.
-4
Suppose 17*d - 16 - 22 = 13. Solve -17 = i + d*y, -4*i + y - 2 = 1 for i.
-2
Suppose 4*a = -7*a + 22. Suppose 0 = a*w - 4. Solve k = 2, 0*k = -w*l + 4*k - 16 for l.
-4
Suppose 6*y - 38 = 4*c, -30 = -3*y - 3*c - 21. Let f(j) = -j**2 - j + 2. Let i be f(0). Solve 0 = -i*v + t + 5, y*v + 0*t + 5 = -t for v.
0
Let g(a) = a**2 + 8*a - 33. Let t be 6 + -3 + -21 + 3 + 4. Let w be g(t). Solve w = 4*z - 2*c + 8, 3*z - 4*z + c = 1 for z.
-3
Let r be (1/(-3))/(5/(-1425)). Suppose -r = -5*j - 50. Suppose -j*b = -48 + 12. Solve 0 = m + c, -3*c - 2 = -3*m + b for m.
1
Let j be 22*(2 + 24/(-16)). Solve 3 = -p - k, -5*p - 3*k - j = k for p.
1
Let a = -12298 + 12304. Solve 4*b - 4*h = 0, a*b - 5*h = 7*b + 12 for b.
-2
Let i be 1452/(4/14*(-35)/(-20)). Let j be (-2)/13 - i/(-286). Solve j = -5*q - 5*b, 2*q - 2*b + 8 = q for q.
-4
Let c be 112 + -115 - 1*(-57 + 4). Solve -5*j = -c*s + 48*s + 5, -4*s - 17 = -j for j.
-3
Let c(r) = 5*r - 26. Let i be c(8). Suppose 6*y - 13*y + i = 0. Solve 2*p - 9 = -3*z, 2*z + 0*p - 6 = y*p for z.
3
Suppose 101*x - 140*x = 0. Solve -d - 4*t + 2 + 6 = x, 3*t - 7 = -d for d.
4
Suppose 3*y + 0*y = 6, c = -3*y + 9. Let t = 22295 + -22295. Solve 4 = -2*o - t, -c*o - 9 = -3*n for n.
1
Suppose 8*o = 3*o + 15. Let y(k) = -k**2 + 5*k - 2. Let m be y(4). Suppose 3*j - u = j + m, 11 = 5*j - u. Solve -4*b - 12 = -j*t + 6, o*b = 5*t - 19 for b.
-3
Let z be (0 - -4)*(33/18 + (-44)/33). Solve 4*a = z*o + 1 - 7, 15 = 4*a + 5*o for a.
0
Let p be 7/(12/(-48) + (-3)/(-4)). Let q be p/(-126) + 91/9. Solve 4*v = 2*g + q, -2*g = -v + 6*v + 1 for v.
1
Let y(w) = w**3 + 5*w**2 - w. Let g be y(-4). Let b = 238626 + -238622. Solve -g + 7 = 5*k + 2*o, b*k - o = 0 for k.
-1
Suppose 11 = 2*f - 13. Let r(s) = s**3 - 12*s**2 + s - 11. Let z be r(f). Suppose -3*t + z = -8. Solve 0 = -y + q, -y + t*q = 3*y - 5 for y.
5
Let k = -8469 + 8473. Solve -k = -f + 5*t, 21*t - 8 = -2*f + 19*t for f.
4
Let d be (12/(-14))/(9/14)*-60. Let m = d + -11. Let q be m/12 + (-15)/20. Solve -4 = -0*w - 3*w + q*u, w - 4*u = -1 for w.
3
Let q = -47 + 11. Let a be 2/(-7)*-9 - q/84. Suppose 0 = -a*s + 70 - 58. Solve 14 = -4*m + 4*f - 7*f, -2*m - s*f - 12 = 0 for m.
-2
Let x = 2925 - 2920. Solve -8*t + 4*t = 4*k, x*t + 8 = -3*k for k.
4
Suppose v + 3*k - 18 = 0, -2*v - 110*k = -114*k + 14. Solve -3*r - 12 = v*z, -3*z + 3*r + 7 = -z for z.
-1
Suppose -5*g - 1 = -3*b - 11, -5*b + 30 = g. Suppose -7*o + 3*o + b*d + 110 = 0, -o = 3*d - 19. Solve -4*c = 4*j - 36, 0 = -3*j - 2*j + o for c.
4
Let o(x) = -x**3 - 15*x**2 + 62*x + 749. Let p be o(-16). Solve -2*b + 14 - 13 = -v, -5*v = -4*b - p for v.
5
Let d(f) = -3*f + 3. Let v be d(-1). Suppose 5*b + 10 = v*b. Suppose -10*s + b = -20. Solve -3*o + 2*t = t - 3, -s*t + 11 = o for o.
2
Let i(w) = -154*w + 2. Let d be i(0). Let j = -2 - -3. Solve -o = j - 3, n + d = 3*o for n.
4
Let k = 12479 - 12474. Solve -2*p - 4*l + 18 = 0, 3*p - 8 = k*l - 3 for p.
5
Let o = -13088 - -13095. Solve 4*z + 13 = 5*h - 18, h - o = z for z.
-4
Suppose -12*n + 27 = -9. Let f = -15 + 19. Suppose -4*a + 3*y + 11 = 0, -2*a + f*y = 6*y - 16. Solve i + 2*p - 10 = -n*i, a = -5*i + p for i.
0
Let h = 88 - 70. Suppose -k + 2*k = 3*b - h, 15 = -5*k. Suppose c - 15 = -s, -4*c = -b*c + s + 19. Solve -4*q = -5*i + 5 - c, 5*q - 3*i = 2 for q.
-2
Suppose -151 = 2*h - 155. Solve -14 = -h*q + 2*m, -2*q - 5*m = -4*m + 1 for q.
2
Let n = 39 - 36. Suppose 3*i = 3*k, 8*i - n*i - 45 = -4*k. Solve -2*t + 4 = k*c, 5*c + 10 = 6*t - t for t.
2
Let n(b) = 2*b**2 + 17*b + 37. Let g be n(-5). Suppose g*k - 8 = -3*a + 4, 4*k - 2*a - 8 = 0. Solve -k = -4*z + y - 5, 0 = z - 4*y - 7 for z.
-1
Let w(n) = -8*n**3 + 58*n**2 + 30*n - 306. Let k be w(7). Let s(z) = -16*z - 1. Let b be s(-1). Solve -5*a + b = -2*t, k*t + 3*a - 5*a + 6 = 0 for t.
0
Let y(i) = -i**2 + i + 133. Let g be y(11). Suppose -g*b - 3 = -p - 24*b, 3*p + 5*b - 9 = 0. Solve r - 10 = -p*a, 4*a - 3*r - 30 = -r for a.
5
Let j = 630 + -618. Suppose 7*t + j = 19*t. Solve 0 = d - 4*g + 17, 0 = -2*d + 2*g - 3 - t for d.
3
Let w(u) = u**3 + 10*u**2 - 12*u - 8. Let b be w(-11). Let x be (4 - (5 + -2)) + b + -1. Let h be 3 + -1 - (-6)/x. Solve 4*m = -16, h*d + 3*m + 6 = -2 for d.
1
Suppose q - 9 = 3*c, 4*c - 51 = 5*q - 140. Solve -5*w - q = -z, 4*w + 13 = 3*w - 2*z for w.
-5
Let m(p) = p**3 + 15*p**2 - 4*p - 53. Let g be m(-15). Solve -2*v - 10 = -3*y + g*y, 0 = -y - 4 for v.
3
Let i(u) = 3*u + 12. Let g be i(2). Suppose y + 0*y - 3 = 0. Let l(v) = v**2 - 7*v - 11. Let b be l(9). Solve -5*d + y*z - g = 6*z, 5*z - b = 4*d for d.
-3
Suppose -4*x - 7*d - 28 = -3*d, 2*x = -5*d - 35. Solve 2*i = 2*v - x*v - 8, 2*i + 5*v = -15 for i.
-5
Suppose 3*t - c - 47 = -2*t, c = -2*t + 16. Let r = -142 + 142. Let v(d) = d + 2. Let p be v(r). Solve 5 = p*l + u, -l + 6 = 3*u - t for l.
0
Let h = -8578 + 8583. Solve -18 = h*n - 2*x, 5*n + 75 = -4*x + 81 for n.
-2
Suppose 4*k + 1 = 21. Let t be 3/(-5 + 1 + k/1). Solve 0 = 5*z - 2*s + 10, -s - 6 = t*z - 0*z for z.
-2
Let p(u) = -u + 10. Let w be p(4). Suppose -t - 4 = -w. Suppose 3*c + 5*o + 0 + 3 = 0, 4*o + 12 = 0. Solve 0 = t*z - 5*s - 20, z = -c*s - 0*s - 3 for z.
5
Let m(u) = -3*u - 37. Let d be m(-14). Let s be (10/d + -3)/((-3)/45). Solve 3*i - 4*h = -s, -18 = -i + 4*i - 5*h for i.
-1
Let j be ((-6)/4 - -1)/(3/1614). Let h = 271 + j. Solve -8 = -2*p, -h*i - 5*p = 2*i - 32 for i.
3
Suppose -5*p + p + 8 = 0. Let m(b) = -b**3 - 7*b**2 + 23*b - 5. Let t be m(2). Solve -t*r = -5*f - 45, -f - 3*r = -p - 9 for f.
-4
Suppose -122*z - 354 = -162*z - 137*z. Solve 5*q + 19 = -z*l, -25*l - q = -22*l - 4 for l.
3
Let r(j) = -2*j**3 - 19*j**2 - 3*j + 59. Let n be r(-9). Solve h = 2*y + 10 - 14, 3*y - 20 = n*h for h.
-4
Suppose -5*h + 0 - 20 = 0, -5*r + 22 = 2*h. Solve s - 42*a - r = -37*a, -3 = -4*s - a for s.
1
Let a = 9386 - 9381. Solve 171*n = -2*p + 175*n + 2, a*p = -n + 16 for p.
3
Let p = 209 + -197. Suppose -p = 36*v - 42*v. Solve 3*b - 6 = -b - v*n, -5*n = -2*b - 3 for b.
1
Suppose 18*q = 287 + 1. Let c(k) = 2*k**2 - 34*k + 32. Let l be c(q). Solve l = 4*v + 4, -2 + 4 = 2*u + 4*v for u.
3
Suppose 0*q - 3*q - 13 = -4*s, 2*s = 8. Let m(p) = -p**2 - p + 2. Let o be m(q). Solve o = -2*t - 3*v - 4, 5*t = v - 0*v - 27 for t.
-5
Suppose -19*i = -43*i. Suppose -3*z + 4*g + 42 = 0, -2*g + 34 = 4*z - i*z. Solve -2*l - 21 = -2*v + l, 0 = -5*v - 5*l - z for v.
3
Let g(s) = 18*s + 94. Let c be g(-5). Let u(r) = 3*r**3 + 2*r**2 - 2*r + 1. Let y = -7 - -8. Let v be u(y). Solve -5*t = -c*q + 24, 4*t = -v*q + 3*t for q.
1
Suppose -37*n + 39*n + 14 = t, 0 = -4*t + 8. Let a be ((-175)/(-28) + n)*2*4. Solve 3*l - v = 2, -v + a*v + 6 = 5*l for l.
2
Suppose s + 3*w - 63 = 0, 2*w - 367 = -0*s - 5*s. Suppose 40 = -5*k + s. Solve -14 = -d - 4*t, -4*d - t + k = -4 for d.
2
Let g = -829 - -849. Suppose -5*s - 3*m = -6*m - g, -4*m + 12 = 3*s. Solve 4*w - s*q + 8 = 0, -4*w + 8*w - 10 = -5*q for w.
0
Let a(x) = 3*x**2 + 29*x + 28. Let h be a(-8). Let b be ((-6)/(-4) - -3) + 6/h. Solve b*z + f = 8*z + 17, 4*z + f + 15 = 0 for z.
-4
Let d(c) = -c**3 + 2*c**2 - 8*c + 18. Let k be d(2). Solve 4*j - 2 = -k*y, -7 - 5 = -4*y for j.
-1
Let z be 1/(-12) + 5405/60. Suppose -z*t + 86*t = -28. Solve 0 = -3*m - b - t, 4*m + 0*m - b = -14 for m.
-3
Suppose 174*y + 158 = 854. Solve 2*q = 13*w - 14*w, -y*w - q = 0 for w.
0
Let a = -29 + 34. Suppose 4 = -0*b + 2*b. Let h be 6 - (b - (0/(-3) - 1)). Solve -q = -2, h*s - 25 + a = -4*q for s.
4
Let i = 32345 - 32343. Solve 2*g - 3*m - 12 = 0, -i*g - 2*g - 3*m = -6 for g.
3
Let s be (-12 + 148/12)*3. Solve -5 = -o - 0*m + 3*m, -s = -2*o - 3*m for o.
2
Suppose 5*m - 7 = 13. Suppose -17*r - 49 = -270. Solve -m*z = 4*w + z - r, -5*z = 3*w - 11 for w.
2
Suppose 0 = -z + 5*p + 476, -z + 2*z = 4*p + 479. Suppose z = -31*i + 1328. Solve 0 = -5*j - 4*w + 1, -j - 4*j + 3*w = i for j.
-3
Let s(a) = 3*a + 29. Let k be s(-9). Suppose -4*x + 3*b + 87 = 22, 40 = k*x - 4*b. Solve 3*z = -2*j - x, -z + j + 3*j = 0 for z.
-4
Suppose 29 - 1 = -7*g. Let l be (-18)/g - (-17)/(-34). Suppose -5*w = -0*s + 5*s - 35, -2*w + 10 = 