-2*z + 2*h + 1 - 5 = d, z + 2 = -h for z.
-2
Let w = -726 + 739. Solve -u + 4*n - w = 0, -4*u = 3*n - 2 - 22 for u.
3
Let j = -63 - -61. Let d = 3 - j. Solve -4*b = d*m - 19, 4*b - 15 = -4*m + b for m.
3
Suppose -3*h = 4*x - 26, 4*h = -x + 36 - 23. Solve -3*k + 10 = h*f, k = 5*k for f.
5
Suppose 3*g + 19 = 2*a, -2*a + 2*g - 6 = 4*g. Solve -a*q = -4*f + 1 + 11, -f - 5*q = -3 for f.
3
Suppose -25 = -w - 4*w. Suppose -w*y - 5*y = -5*y. Suppose -x - 12 = -4*i, -3*i + 9 = -x + 5*x. Solve -t + 4*t = 15, y = i*m - 3*t + 24 for m.
-3
Suppose 6 = -4*q + 7*q. Suppose -10 = 5*y, -3*g - 2*g + 16 = q*y. Let x = g - 4. Solve -2*s - 2*s + f - 23 = x, -5*s = -4*f + 37 for s.
-5
Let x(b) = -5*b**2 + 3*b - 4. Let a be x(-3). Let p = a - -108. Suppose 3*f = -2*f + p. Solve -r - 4*y - f - 10 = 0, -5*r + 5*y = 0 for r.
-4
Let z = 69 - 66. Let w = -9 + 11. Suppose w*t - 6 - 5 = r, r = 3*t - 17. Solve -3*g - z*h + 12 = -t*h, 2*g - h = 6 for g.
2
Let r be 10/(-4)*2/(-5). Let c(a) = -a**2 + 12*a - 18. Let o be c(10). Suppose 9 - r = o*g. Solve -4*l = -l, 4*i - l + g = 0 for i.
-1
Suppose -m + 3*m = -f + 8, 4*f + 5*m - 26 = 0. Suppose 30 = f*a + 6. Solve -26 = -5*r + 4*b, a*r + 12 = 2*r - 5*b for r.
2
Let k(y) = 165*y**3 - y + 1. Let i be k(1). Let a = -158 + i. Solve 2*h - 3 = -3*n, -3*n = 4*h - a*h - 18 for n.
3
Let g(o) = -o**3 + 26*o**2 - 26*o - 54. Let i be g(25). Let a = i - -79. Solve 3*y - 6 = a, -n - 2*n = 4*y - 23 for n.
5
Let t(n) = n - 3*n - 5*n + 6 + n**2. Let u be t(7). Suppose -2*l - 3*k = 8, 5*l + k - 30 = u*k. Solve l*z = 2*y - 4, -4*y + 1 + 11 = -2*z for y.
4
Suppose 26*d - 29*d = -5*k, 2*d - 3*k = 1. Solve -c - 4*r - 4 = -24, 0 = d*c - 5*r for c.
4
Suppose -18 = 2*n + 2*u - 28, -2*u + 16 = 5*n. Solve y = n*z - 1, z + 2*y + 0*y = -2 for z.
0
Let f be ((-2)/20)/(1/2)*-15. Suppose 64 = 4*q + 4*t, 3*q - f*t = -8*t + 48. Solve 2*b = 3*y + q, -2*b + 0*b + 12 = -2*y for y.
-4
Suppose -2*c - j + 64 = 3*j, 5*j + 130 = 5*c. Let r = c + -24. Solve -r*w + 3 = -5*s, 0*w - 2*s + 10 = 4*w for w.
2
Suppose -15*c - 45 + 120 = 0. Solve -c*l - o + 15 = 4*o, -5*l + 3*o + 31 = 0 for l.
5
Let c(g) = -g**2 - 28*g + 381. Let x be c(-38). Solve -3*v + 25 = 5*o, 3 - x = -4*o + 2*v for o.
2
Let p = -6 - -17. Suppose 2*b - 4*n + n = -1, -2*b = n - p. Suppose -5*d - 2*u + 22 = -b*u, 0 = 3*d + 4*u - 8. Solve 4*z = -d*r + 2*z + 8, 5*z + 8 = 4*r for r.
2
Suppose 2*r - 5*r = 3*z - 63, -r - 5*z + 21 = 0. Let n = 2 - -2. Solve -n*q = -f - 2*f + 32, -4*f + r = -q for f.
4
Let h = -456 + 460. Solve 0 = 3*y + y - 3*c - 13, 3*y = -h*c - 9 for y.
1
Let g = 5423 + -5419. Let l = 1 + 1. Suppose y = -l*y. Solve -4*k + m = -y*m + 1, g*k + 3*m = 3 for k.
0
Let h = 22 - 21. Suppose -t + 7 = 2*p - 5, 24 = 2*t - p. Solve t = -4*j - 5*y + 3, -2*y = -j + h for j.
-1
Let q be (-5 - 116/(-20))*15/6. Solve 3*b - 3 = -4*v, b - 4 + 3 = -q*v for b.
1
Let f be (-8)/4 + 22/2. Let p = f + -1. Suppose -u + p = -5*u + 4*q, -3*q = -4*u - 4. Solve -2*h = 4*a - 8, h + 3*h - 10 = -u*a for a.
1
Let h(f) = f**3 - 4*f**2 - 5*f + 2. Let k be h(5). Let b(z) = 4*z - 2. Let d be b(k). Suppose 0 = -t + d - 4. Solve 0 = -l + 3, 4*l - 11 = -5*j + t*l for j.
1
Let h be -4*((-117)/26 - -4). Solve -o = -3*g - 4, -h*g - 1 = -o + 3 for o.
4
Let c(f) = 2*f**2 + 6*f. Let h be ((-1)/((-2)/(-18)))/(-1). Suppose -2*y + 2*q - 26 = 2*y, -3*q = -h. Let b be c(y). Solve 5*m + 5 = -b, -4*s = 4*m + 8 for s.
3
Suppose 5*z = 3*z + 4. Let f(x) = 10*x**3 - 3 - 4*x**2 - 11*x**3 + z. Let t be f(-5). Solve -3*i - 2*d - 5 = 0, -4*i - 6*d = -11*d - t for i.
1
Suppose -4*m + 83 = -33. Suppose -2*n - m = -35. Solve q - n = 3*k - 0, 0 = 2*k - 4*q - 8 for k.
-2
Let h = -1423 + 1438. Solve -2*s + h - 3 = -4*c, 2*c - 5*s - 10 = 0 for c.
-5
Let h = 22 + -12. Let a be h/2*24/30. Suppose 3*o - 2*p - 5 = 0, 7*o - 3*o + a*p - 20 = 0. Solve -z + 2*r = 9, -z + 2*z = -r - o for z.
-5
Let r = 9 + -1. Suppose 33*t - r = 29*t. Solve -5*x + t*q = 16, 4*x - 2*q + 8 = x for x.
-4
Let v = -11 - -14. Suppose -1 - 5 = -2*w. Solve w*t + 0 - 11 = 2*z, 0 = z - v*t + 7 for z.
-4
Let b = -7 + 2. Let r(u) = -4*u - 7. Let g be r(b). Let n = -8 + g. Solve 2*k - 2*z - 2*z = 20, -k + n*z + 25 = 0 for k.
0
Let v(y) = 144*y + 581. Let z be v(-4). Solve -3*a = 4*u + 13, 3*a + 0 = z*u - 4 for a.
-3
Let t(a) = a - 9. Let g be t(-7). Let c be 3*4*(-4)/g. Suppose 2*n = 6*n - 5*k - 95, -5*n = -3*k - 109. Solve 2*i - 17 = c*x, 0*x + n = 5*i - 3*x for i.
1
Let z = 8 + -5. Solve -5*j = -0*v + z*v - 21, v - 2 = 0 for j.
3
Let j(k) = 5*k + 40. Let g be j(-11). Let l = 5 - g. Solve -2*z = 4*d + l, -4*z - d - 5 + 0 = 0 for z.
0
Suppose -5*h - v - 86 = 0, -5*h + 4*v = 73 + 33. Let w be -4*1/(-6) + (-24)/h. Solve -w*z + 4*y = 5*y - 11, 0 = -2*z - 5*y + 31 for z.
3
Let j be (-2)/4 - 190/(-76). Solve -2*a + 6 = z, -4*z = -0*z - 3*a - j for z.
2
Let n be (-1)/3*(-31 + -5). Suppose 8*m = 7*m + 6. Suppose 2*r = -0*r + m. Solve -3*p + n = -x, -2*p + 4*x - r*x = -7 for p.
5
Suppose -20*z + 28 = -6*z. Solve 4*o = -0*o + z*u + 20, -o - 17 = 5*u for o.
3
Suppose 2*i = 1 + 3. Suppose -4*a + i*m - 24 = -102, -4 = -4*m. Suppose -o + 8 = 5*r, a = 5*o + 2*r + 3*r. Solve 0 = -f + h + 2, -14 = -o*f + 4*f + 3*h for f.
-2
Let f(g) = 9*g - 103. Let x be f(12). Solve 5*h + 5*l + 0 = x, 3*l + 12 = 0 for h.
5
Suppose -5*z = z - 1302. Suppose -7*c - 84 + z = 0. Solve 8*v = 4*v - w - 17, 0 = -4*v - 3*w - c for v.
-4
Let n = 1301 - 1296. Solve -4*h + 3*k - 2 = 0, 0 = 2*h - n*h + 3*k for h.
-2
Let c be 7 - (0/(-1 - -4) - -4). Solve -3*a + 0*n + 21 = c*n, a - 4*n = -18 for a.
2
Let y be ((-33)/(-22) - 3) + 22/4. Solve -4*w - n + 16 = -8, -y*w - 4*n = -36 for w.
5
Let z(x) = x**2 + 2*x - 18. Let g be z(5). Suppose g - 2 = 5*a. Solve 0 = 5*s - 3*k - 4, 3*k = a*s + 1 - 7 for s.
-1
Let i = -331 - -335. Solve 0 = -0*p + p - v - 8, -p + i*v + 17 = 0 for p.
5
Let o = -56 + 56. Suppose 2*p - 6 - 2 = o. Solve m = 4, -k + 0*m = m - p for k.
0
Let r be (-9)/27 + 20/6. Solve -4*z + r*c = -0*z + 9, -5*z = 2*c - 6 for z.
0
Let o(z) = z**3 - 6*z**2 + 5*z - 6. Let h be o(5). Let q = -3 - h. Solve -2*n - 2*d - 18 = 0, -n - q*d = -0*d + 19 for n.
-4
Let f be 3/((-30)/(-4)) - 237/5. Let v = 50 + f. Solve -2*k = -v*j - j + 8, -5*j = -15 for k.
2
Let z(t) = 2*t - 1. Let x be z(5). Suppose -5*u - 4 = -14. Suppose 17 = 4*s + i, -u*i = s - 0*i - 6. Solve -3*l - x = s*v + v, 3 = -v for l.
2
Suppose -21*c = -12*c - 27. Suppose 30 = x - 4*r + c, r - 7 = -x. Let j = -4 - -6. Solve -j*g - 6 = g, g = -3*h - x for h.
-3
Let v be 3 + (2/12 - 30/(-36)). Suppose -26 = -v*c + 3*o, 2*c + 2*c - o = 22. Solve l = -4*r + 3*l - 2, -5 = c*l for r.
-1
Let r = -14 - -26. Let u = -8 + r. Solve -4*s + 12 = p, u*p - 4 = -s - 4*s for p.
-4
Let u be (-4 - (-14)/3)*42. Let o = u - 28. Suppose o = -3*y + 4*i - 3, -i - 3 = -y - y. Solve 5*d + 5 = -j - 3, -d = y*j - 4 for j.
2
Let y(u) = -3*u**2 - 21*u + 18*u + 3 + 2*u**2 + 0*u**2. Let h be y(-3). Solve -h*d + 1 = 4*n - 2*n, 2*n = -5*d + 3 for d.
1
Suppose -3*s + 1 = 4*f, 4 = s - 4*f - 7. Solve -a - 12 = -3*h, -3*h = s*a - h + 3 for a.
-3
Let p(k) = k**2 + 22*k + 21. Let j be p(-15). Let v be (-11)/(-7) - 4/j*9. Solve -4*q + x + 6 - 3 = 0, q + v*x = 12 for q.
2
Let q = 166 - 163. Solve u + 2*v + q*v = -17, -5*u = 3*v + 19 for u.
-2
Suppose -7*f = 4*k - 4*f + 9, f + 3 = -k. Solve -2*c - 3*p - 7 = k, -7*c = -3*c + 5*p + 9 for c.
4
Suppose 11*t = 133 + 109. Solve -p + t = -4*v - 3*p, -p = 3 for v.
-4
Suppose -98*z + 156 = -138. Solve 3*l = 2*w + 10, 22 = 2*w + 8*l - z*l for w.
1
Let r(w) = -w**3 - 9*w**2 + 13*w + 21. Let n be r(-9). Let p be (-6)/(-8)*n/(-18). Solve 0 = -3*l - 6, -m - p*m - 4*l = -2 for m.
2
Suppose 6 + 10 = 8*c. Suppose 0*y + 4*y = 2*l + 24, 3*y = c*l + 25. Let q be (-6)/21 + (-18)/l. Solve 7 = n + 5*a, 2*n + q = 3*a + 2 for n.
2
Suppose 0*k - k + 24 = 2*t, 0 = 3*k. Let z be (-2)/t - (57/(-18) - 0). Solve -2*c = z*i, 5*c = c + 12 for i.
-2
Suppose -24 = -s + 3*m - 6, 3*m + 6 = 0. Solve 4*x = -o + 21, 3*o + 2*x - 1 = s for o.
1
Suppose 0 = -0*l + 31*l - 62. Solve 4*n + 28 = 4*p, 12 = 4*p - l*n - 6 for p.
2
Let p = -18 + 31. Let t = 270 + -266. Solve 3*o - 9 = 0, 0 = 5*w - o - p - t for w.
4
Suppose -f + 2 = 0, 2*r + 4*f + 14 = -6. Let v = r + 14. Suppose 0 = -v*c - 2*c + 10. Solve 3*x - 19 = 2*x + 4*k, -5*k