3 for z.
-1
Let c(q) = q + 45. Let o be c(-42). Solve 5*m = -3*s - 9, s + o*m + 2 = -5 for s.
2
Let y = -114 - -117. Solve -y*k + f + 1 = 0, -3*k + 3*f - 7 = k for k.
2
Let d = 7 - 4. Suppose 0 = -d*y + 12 - 3. Suppose -5 - 1 = -r + i, i + 16 = y*r. Solve -3*q + 13 = -r*g, -2*g = 3*g + 2*q + 8 for g.
-2
Let q(g) = -g**3 + 17*g**2 + g - 13. Let o be q(17). Solve -13 = 2*i - x, -i - x = o*i + 15 for i.
-4
Suppose -6*s + s - 5 = x, -x + 3*s = -11. Suppose -x*d - 17 = -b, 0*b - 2*d = 2*b + 2. Let h = -15 + 30. Solve 2*r = 6*r + q - 25, -b*r = q - h for r.
5
Suppose 0 = 4*i + y + 96, -2*i + i + 3*y = 37. Let z = -21 - i. Solve -2 = -4*t + 6, -5*t + 26 = z*q for q.
4
Let l be (-246)/(-15) + 3/5. Let g = 10 - l. Let z(r) = -r**2 - 9*r + 2. Let j be z(g). Solve -t - j = 2*w - 3*t, -2*w + 14 = 4*t for w.
-3
Let t(i) = i**2 - 9*i - 191. Let k be t(-11). Solve r + 21 = b - 3*r, -r - k = -5*b for b.
5
Let p = -139 - -148. Suppose -5*o + 17 + p = u, 0 = u - 5*o + 14. Solve -u*m = 3*z - 4*m + 13, 2*m - 2 = 0 for z.
-5
Let w = 34 - 31. Suppose 0 = -2*f - 4*j + 10 - 2, -f - w*j = -5. Let r be (-2)/(-13) + (-178)/(-26). Solve -4*a = -a - 4*q + r, -5*a = -f*q - 7 for a.
3
Let g be ((-120)/(-18))/10 - (-19)/3. Solve -4*z + 6*z - g = -3*u, -3*z + 2*u + 17 = 0 for z.
5
Let y(u) = u**3 - 4*u**2 + 2. Let q be y(4). Suppose -10 = -q*t, 5*i + 3*t + 0*t - 40 = 0. Let z = -15 + 15. Solve z = 2*s + s - i*g + 6, 3 = -s + 2*g for s.
3
Suppose s - 33 = 3*r, -3*r = -0*r - 4*s + 24. Let l(t) = t**3 + 12*t**2 + 5. Let i be l(r). Solve 2*d + 3*m - 21 = 0, 3*d - 4*m + i = -2*d for d.
3
Suppose 3*y = k - 0*y + 2, -4*k = -5*y + 8. Let c = 6 - k. Suppose c - 3 = o. Solve 0 = 3*p + o*j + 40, 4*j = -2*p + 2 - 32 for p.
-5
Let v(o) = -7*o - 81. Let g be v(-12). Solve g*y - 2*h = 19, -3*y + 16 = -5*h - 18 for y.
3
Suppose 3*b + 144 = -b. Let o = 24 + b. Let k = o + 12. Solve 4*z = -2*j - 26, k*z = 4*j + 2*z + 28 for j.
-5
Let l be 22/(-44)*-4*1. Suppose -l*i - 4 = -14. Solve 9 = 4*j + i*r, 5*j + 2*r = -2*r for j.
-4
Suppose 4 = 3*g - 2*n, -4 = -4*g + 4*n - 0*n. Suppose q + g = x + 9, 2*x = 3*q - 16. Solve -4*o - 5*k + 2 = 0, 3 = -o - q*k - k for o.
3
Let j be 3 + -4 + 4 - (6 + -3). Let p be (-3)/((-5)/(-4) - 2). Suppose 5*i = -p + 19. Solve 0 = -n - i*n - 4*c, -3*c - 6 = j for n.
2
Let o(j) = 16*j - 672. Let m be o(42). Solve i - 10 = -a, m = 4*a + 4*i - i - 35 for a.
5
Suppose 4*q = 12, -4*q = -4*f - 25 + 33. Solve 3*u = o + 8, -u + 0 + f = 2*o for u.
3
Suppose -a - 4*l = -18, -4*l + 38 = 22. Solve -h + 2*u = -9, -3*h + 5*h = -a*u - 12 for h.
-1
Let y(i) = 11 + 21 - 2*i - 8 - 3. Let o be y(8). Solve 2*s - r - 1 = 0, 2*s + 0*r - 5*r = o for s.
0
Suppose 2*r - 3*k = 10, 0*k = -4*r - 4*k. Let n be (8/6)/((-5)/(-15)). Suppose 6*s - 4*s - n = 0. Solve 3*l = -r*a + s, -2*l + 3 = -2*a + 5*a for l.
0
Let i = -4 + 4. Suppose o - 30 + 9 = i. Solve 0 = -3*y - 3*l - o, -4*y - 31 = y + 3*l for y.
-5
Let g be -5 + 5 + 6 + -2. Let t = 101 - 60. Suppose g*s - 31 = t. Solve 4*n - 5*n = -2*z + 1, -4*z = 2*n + s for n.
-5
Let i be (-7 - -6)/((-2)/6). Let u(t) = 6*t**2 + t**2 + t**i + 4*t + t - 3. Let z be u(-6). Solve 7*f + z*n = 3*f + 11, 20 = -5*f + 3*n for f.
-1
Suppose 3*f = f - 3*t + 24, -80 = -4*f + 2*t. Let z = -15 + f. Solve 4*q + q = -15, 3*g - 2*q = z for g.
-1
Suppose 3 - 19 = 2*d. Let c(r) = -r**2 - 10*r - 12. Let x be c(d). Solve -3*m + x*n + 11 = 40, 4*n - 20 = 0 for m.
-3
Let o(d) = 49*d - 91. Let c be o(2). Solve i + c = 4*t - 9*t, -4*i = -3*t - 18 for t.
-2
Suppose -3*s + 2*u = -5, -u - 3*u + 5 = -s. Suppose -s*m = 7 - 13. Let y be ((-6)/4)/((-3)/24). Solve 4*b + 13 = j, 2*b + y - m = 4*j for j.
1
Let n be (-7)/((-21)/(-6)) - (20 - 27). Solve 5*o + n*s = s + 9, 5*o - 5*s = 45 for o.
5
Let y be ((-3)/(-4))/(25/100). Solve y*i + 34 = -3*b - 2*i, 5*i + 22 = b for b.
-3
Suppose 7*s - 2*s = 15. Let t be 10/s*(-24)/(-40). Solve 3*v = 3*z - 9, 0 = -t*z - 2*z + 8 for v.
-1
Let d = -16 - -20. Suppose 4*w = 4*q - 60, q + 2*q = -d*w + 38. Suppose -q = -4*o + 6. Solve 0 = 3*b + 3*m + 15, 19 = -o*b - 3*m for b.
-2
Let w = 10 + -8. Suppose w*d + 3*n - 2 = -1, -27 = -4*d - n. Let b be 6/(-4)*(-10 + d). Solve -g + 17 = 3*k, -4*k + b*k + 3 = -g for g.
2
Let g be 13/(-13) - (-1 + -78). Suppose 0 = -0*t - 6*t + g. Solve t = o - 5*o - v, 19 = -2*o - 3*v for o.
-2
Let c be (4/8)/((-1)/(-34)). Let u be c - (-7 + 4 - 1). Let k = u + -19. Solve k*v = -3*p - 3 - 10, 2*p - 4 = 5*v for v.
-2
Let y be 20/(-15) + (-19)/(-3). Suppose 0 = 2*k + y*b + 3, -b + 2 = -k - 4*b. Solve d - k = 3*r - 0, d + 5*r + 7 = 0 for d.
-2
Suppose 2*a = a + 3*z - 3, -4*a + 3*z = -6. Let l = -68 + 66. Let o be 14/(-70) - l/10. Solve o = 4*k + 3*t - 19, -5*k + 5 = -a*k - 3*t for k.
4
Let r(b) = b**2 + 12*b + 4. Let x be r(-12). Suppose 0 = -x*o - 21 + 33. Solve 15 = 2*c - o*c + 2*s, 3*s - 5 = -2*c for c.
-5
Let f be -9*(2/(-4))/((-18)/(-36)). Suppose 2*l + 3*l - 3*z = 20, -20 = -5*l - 2*z. Suppose l*j = j + f. Solve -2*d + 0*n - 10 = n, 10 = -j*d + n for d.
-4
Let w = 99 + -96. Solve -2*z + 5*y + 1 = 0, w*z + 2*y = 2*z + 5 for z.
3
Suppose 12 = 4*f - x - 9, f = -x + 4. Solve 5*g + 26 = 4*w - 3*w, -5*w + f = 0 for g.
-5
Let b be (-19 - -14)/(1/(-3)). Solve -4*a - 20 = 0, b*f - 10*f - 2*a = 30 for f.
4
Suppose -2*q + 50 = 4*h + 48, -2*h + 2*q = -10. Solve 13 = 3*f + 5*x, 0*f = -h*f + 4*x - 6 for f.
1
Let s = 16 - 7. Let n = -16 + 45. Let k = 31 - n. Solve -4*q - k*l - 8 = 0, s = -5*q - 3*l + l for q.
-1
Let u(f) = 14*f + 32. Let z be u(8). Let x = z - 140. Solve 3 = -c, x*b + 2*c = -0*b - 26 for b.
-5
Suppose 5*d = 0, -5*m - 5*d + 15 = -d. Solve -5*n - 32 = m*y, -5*n + n - 4*y = 32 for n.
-4
Suppose 2*p - 3*t = 6, 4*t + 8 = -p - 0*t. Let n be (p + -15)*46/(-115). Solve -f - 4*z = 3, 2*z = -2*f + n*z + 18 for f.
5
Suppose 50 = 2*k + 3*k. Suppose -i = -6*i + k. Let d = -2 + 6. Solve q + 4*v - i + 0 = 0, -2*q = d*v for q.
-2
Suppose -4*q + m = 18, -3*q + 4 - 26 = -5*m. Let b be (19 + -9)/(q/(-2)). Solve -4 = -a + b*p, 4*a - 1 = -p - 6 for a.
-1
Let s be 1/((-8)/(-6) - 1). Let z = 163 - 159. Suppose 5*q + 25 = -5*l, z*l = -l - 25. Solve -2*o - 5*t - 1 = q, s*o - 2 + 0 = -4*t for o.
2
Let d be (-168)/(-27) - (-8)/(-36). Suppose -d*j + 35 = t - 4*j, 0 = -3*t - j + 130. Solve t = 4*o - 3*m - 2*m, -3*o = 3*m for o.
5
Suppose -t - 60 = -5*v - 0*t, 3*v - t - 38 = 0. Suppose -5*g - v = -31. Let m = 21307 - 21305. Solve 4*a - 28 = -m*c, g*a = 13 + 7 for c.
4
Suppose 49*v = 48*v + 2. Solve -v*b - b - 4 = -j, -4*j - 3*b = -1 for j.
1
Let s(r) = -2*r - 7. Let o be s(-5). Let j be 67 - 1*(3 - 5). Let n = 72 - j. Solve -n*y + o*b = -6, y + y - 4*b = 0 for y.
4
Suppose -39*p = 532 - 1429. Solve 10 = -2*c + 5*c + 5*q, -4*c + p = -3*q for c.
5
Suppose 2*f - 12 = -2*f. Suppose f*w + w + 17 = -5*x, 0 = -2*w + 4*x + 24. Suppose 11 = 3*h + w. Solve 5*t + 4*s + 7 = h, 3*s = -4*t - 3 for t.
0
Suppose 72*b - 67*b = 70. Suppose 2*k = 4*i - b, -13 = -4*i + 4*k - k. Solve -i*a - 3*u - 16 = -5*u, 0 = 2*a - 2*u + 8 for a.
-4
Let g(n) be the first derivative of -n**4/4 + 10*n**3/3 + n**2/2 + 6*n + 1. Let w be g(10). Solve -4*i - 2 = -a + w, 5*a - 2*i = 0 for a.
-2
Suppose 3*u - 8 = u. Suppose -u*j = -g + 6, 1 - 2 = g + 3*j. Suppose g*t - 7*t = 2*i - 12, 0 = 5*i - t - 30. Solve i = s - m + 1, -s = 4*m + 10 for s.
2
Let r = -73 + 78. Suppose -2*i + 3 - 5 = -2*a, -r*a = -15. Solve -4*h - 1 - 11 = 0, -4*b - 14 = i*h for b.
-2
Let r(s) = -2*s - 4. Let u be r(-4). Suppose 9 = 2*a + 3. Let m(z) = 4*z - 9. Let i be m(a). Solve -3*d = i*j - 18, u*d - j + 3*j - 22 = 0 for d.
5
Let s(r) = 12*r + 103. Let k(y) = 4*y + 34. Let m(v) = 8*k(v) - 3*s(v). Let o be m(-11). Solve o = 5*x - 4*a, -x + 2 + 3 = -2*a for x.
-1
Suppose 0*v - 4*v + 5*a - 25 = 0, -5 = -v - a. Solve -7*l + 2 = -g - 2*l, -3*g + l - 6 = v for g.
-2
Let u = 416 + -413. Solve u*j - c - 3 + 6 = 0, -4*c = j - 12 for j.
0
Let p(w) = -w + 26. Let g be p(-12). Let o = 42 - g. Solve 5*n + o*j = -5 + 36, 2*n - j = 2 for n.
3
Let k = 2490 + -2485. Solve k*o + 20 = -y, 5*y + 6*o + 16 = 9*o for y.
-5
Let c = 767 - 766. Let r(k) = k**3 - 4*k**2 + 3*k + 1. Let q be r(3). Solve c + q = 5*y + 4*f, -y - 5*f + 13 = 0 for y.
-2
Let g be 0 + (4/(-14))/(7/(-49)). Solve j = 3*m + 4 - g, -6 = j + m for j.
-4
Let c(w) = 5*w + 1. Let g be 