4*h - 6 for z.
1
Let j = -27 + 37. Suppose 11*i - j*i - 5 = 0. Let t(n) = n**3 - 4*n**2 - 5*n - 1. Let y be t(6). Solve -3*a + 2*w - 5 = 0, 1 = 3*a + i*w + y for a.
-5
Suppose 5*h + 0*h = 10. Let c be (-5)/(6/4 - h). Let l(q) = q**2 - 9*q - 6. Let d be l(c). Solve 0 = k + m - 3, d*m = 4*k + 2 + 2 for k.
1
Let q = -2 - -4. Let u = 1 + q. Suppose y = -y + 2. Solve 0 = t + y, -t = u*n - n - 7 for n.
4
Let c be -2 - (-6)/(-3)*-4. Solve 4*m + 4*s - 16 = 2*m, -2*m - 2*s = -c for m.
-2
Let v(y) = y**2 + y + 25. Let x be v(0). Let q = 36 - x. Solve -3*r - 2*r = -3*t + q, -3*t = -2*r - 8 for t.
2
Let h(m) = -m**2 - 8*m. Let v be h(-6). Suppose 0*g = 4*g - v. Solve -g*f = -q - q + 5, -q - 2*f = 1 for q.
1
Let b be -1 - (-3 - (-8)/4). Suppose -3*s + 9 = -2*m - 8, -m - 1 = b. Let z(g) = -3*g - 8. Let v be z(-6). Solve -v = 5*h - 0*j + s*j, j = h - 6 for h.
2
Let h(b) = -b + 5. Let d be h(11). Let g = d - -6. Solve 3*v - 5*s = 5, s + g*s + 29 = -5*v for v.
-5
Suppose g + 37 = -s - 2*s, -4*g = -2*s - 34. Let l be (18/4)/((-2)/(-8)). Let n = s + l. Solve 4*z = -w, 4*z + 17 = -4*w + n for w.
-4
Suppose -2*i + 4*i = -2*c + 12, 0 = -i + 4*c - 19. Let n(m) = i + 0 + 5 - m. Let z be n(4). Solve 13 = 5*k + z*h, h = -5*k + 3 + 6 for k.
1
Suppose 3*y - 102 = 2*r, 0*y + 3*r = -y + 45. Suppose 2*i + 3*i - 8 = -3*h, -3*i - y = -5*h. Solve -u + h = -4*g - 5, 5*g = 4*u for u.
-5
Suppose 3*q - 22 = -2*z, 0 = 3*z - 0*z - 4*q - 16. Let v(y) = -y**2 + 9*y - 4. Let s be v(z). Solve k - 7 + 2 = 0, -s*k + 45 = 5*g for g.
5
Suppose 76 = -2*a + 6*a. Let d = a - 14. Let k(x) = -4*x**3 - x - 1. Let i be k(-1). Solve -i - 1 = -5*v + d*c, -3*c = -4*v for v.
-3
Let n be (-1)/(1 + 9/(-6)). Suppose -3*v = -v - n. Let l be 0 - (2*-1 + 0). Solve 4*s + b = -16, -v = -5*s + l*b - 8 for s.
-3
Let f(d) = d**2 + 3*d + 2. Let m be f(-3). Suppose 2*y - 6 = -0*y. Solve 0*s - y*s + h = 12, h + 3 = -m*s for s.
-3
Let g be (-4)/(-6)*-3 + 7. Let s be 0*(-1)/(-4)*-2. Suppose s*o - g = -o. Solve -5*x = -v - 0*v - 4, o*v - 3 = 2*x for v.
1
Let s(r) = -r**3 + 10*r**2 - 2. Let l be s(10). Let g be (l/5)/(2/(-30)). Solve q = 4*h - g*h - 3, -3*q = -4*h - 11 for h.
-2
Suppose 11 - 31 = -5*y. Solve 3*u + 5*w - y = -u, -5*u + 3*w = 32 for u.
-4
Let m be 2/((-3)/(-4) + -1). Let o = -2 - m. Suppose 3*z - 5 = 7. Solve 10 = -2*v, -3*q - o*v = -z*v + 7 for q.
1
Let k = 7 - -1. Suppose 5*q - 18 = -5*n + 17, k = 4*q. Solve m = -0*m + n*g + 4, 3*m = -4*g - 7 for m.
-1
Suppose 5*c = -h + 14, 0*c = 3*h + 4*c - 20. Suppose -15 = -5*q + h*q. Suppose -4*k + 5 = -q. Solve -k*x = -0*x - 5*d - 5, 2*x + d = 2 for x.
1
Suppose 25 = 2*u + 3*u. Suppose s + 15 = 3*r, -2*r - s - s + 10 = 0. Suppose p = 4*l - 4 - r, -3*p = -l - 6. Solve -1 = -z - l*x - u, 0 = 3*z + 3*x for z.
2
Let f(q) = 1 - q**2 - 2 + 15*q**3 + 2*q**2. Let j be f(1). Suppose -2*b + 1 = -j. Solve 3*s + y = -2*s - 2, -4*y - b = 0 for s.
0
Let s = 19 + -19. Solve 3*m - 4*v - 6 = 0, 5*m + s = 4*v + 2 for m.
-2
Let z(d) = d**3 - 18. Let y be z(0). Let b be 6/y*12/(-2). Let t = 54 + -32. Solve 3*s + s - h = t, b*h - 1 = -s for s.
5
Let m(z) = 2*z**3 - 94*z**2. Let t be m(47). Let r = -2 - -7. Solve r*d = 4*n - t*d + 31, -n + 11 = 5*d for n.
-4
Let y be (3 + -5)/(-1) - -3. Suppose -y*u = -0*u. Let x(o) = 2*o + 4. Let r be x(4). Solve -r = 4*s, u*w + 3*s = -5*w - 34 for w.
-5
Let d = -93 + 109. Solve -3*j + j = 4*v + 16, 0 = 2*v - 3*j + d for v.
-5
Let m be (-93)/9*-1 - 6/18. Solve -4*r = -7*r - j - 10, 2*j = -4*r - m for r.
-5
Let x be 6/(-8) + (-2774)/(-8). Suppose 5*j = x - 101. Let b be (-2)/7 - (-112)/j. Solve 2*a = 2*c, -7*a = -2*c - 4*a + b for c.
-2
Let x = -8 - -13. Suppose -x*i + 2 = -8. Solve -5*s - 3*a + 29 = -0*a, i*s = 5*a - 7 for s.
4
Suppose -6*v = -5*t - 4*v + 18, -3*t - 5*v = 14. Solve -4*m = -3*o - 7, -o - o + t = 4*m for o.
-1
Suppose -f + 6*f + 10 = 0. Suppose c - 5*b = -3*c, -3*c = -b. Let i = c - f. Solve k = -i*t + 4 - 3, -5*k = -3*t + 8 for t.
1
Let z = 1 - -6. Solve -4*t = 4*v - z*t, 0 = 2*t - 8 for v.
3
Suppose -2 = -4*f + 3*f. Suppose 2*u - f*k = -2, -2*k = 2*u + k - 13. Solve -u*z - 2 = -0*z - 3*g, 2*g + 24 = -5*z for z.
-4
Let g(d) = d**3 - 6*d**2 + 2*d - 8. Let u be g(6). Let f be (16/12)/(1/(-3)). Let k = 1 - f. Solve 5*y + 30 = -u*x, -5*y - x = -k*x - 10 for y.
-2
Let s(k) = -2*k - 4. Let i be s(-4). Suppose i*v - 2*v = -3*f, 0 = -2*f - 2*v. Solve x + j + 3*j + 11 = f, 4*x - 1 = -j for x.
1
Let g(h) = -h**2 - 10*h. Let c be g(-10). Solve x = -5*p - 9, c = p + 2*x - 4*x + 4 for p.
-2
Let a(o) = o + 9. Let h be a(0). Solve -3*k + 4*m = 14, 2*k + 0*m + m = h for k.
2
Suppose 13 + 22 = -5*g. Let f = g - -9. Solve 8 = f*l, 0 = y + l + 2*l - 11 for y.
-1
Let y = 4 + -8. Let a = -2 - y. Solve 4*u + 9 = u + a*o, 0 = -5*o for u.
-3
Let a be (-4)/(-2) - -1*2. Suppose a = -z - 3*z, 0 = -5*k - 4*z - 4. Suppose -2*x + 5*x - 6 = k. Solve -x*p - 3*n - 17 = 0, 5*n + 0 = 5*p + 5 for p.
-4
Let w be (1/2)/(2/8). Let i be 1 - -1 - (-1 - 0). Suppose 11 = 5*g + 1. Solve -i*k - 2 = -w*y, 2*y = -g*y - 8 for k.
-2
Suppose 17 = -3*i - 2*i - 3*k, -5*k = -4*i + 16. Let w(a) = -6*a - 1. Let f be w(i). Solve 4 = q + 4*g, -2*q + f*g - 5 = -3*q for q.
0
Let f = 32 + -22. Solve b = -5*u + 8, -u + 3*b - f + 2 = 0 for u.
1
Let j(d) = -d**3 - 6*d**2 - 7*d - 6. Let r be j(-5). Solve 12 = -4*p + r*m - 4, 4*p + 1 = m for p.
1
Let q be (-16 + 18)*(-5)/(-2). Solve 3*h + 9 = -3*z, z + 0 = -5*h + q for z.
-5
Let b = 2 + 1. Suppose -14 = -c + 4*w, 5*c - 5*w - 19 = b*c. Suppose c*h + 0 = 4. Solve -x + 2*x + h*v = 2, 4*x - 2 = -2*v for x.
0
Suppose -8 = 4*s - 0*s. Let z be 1 + -3 + 2*3. Let k = z + s. Solve 3*f - 1 = -i - 6, 2 = k*i for f.
-2
Suppose -3*p + 16 = -5*k, 3*k - 4*p + 10 = -4. Let d(r) = -3*r - 1. Let i be d(k). Let l = 5 + -5. Solve l = -i*w, 0*w - 2*w + 8 = -4*t for t.
-2
Let g = -31 + 34. Solve -2*u - g = 3*q, -q - 3 = 2*q for u.
0
Let g = 33 - 30. Solve -c + 2*w + 11 = 0, g*w = 5*c + w - 31 for c.
5
Suppose 2*w + m = 8, 1 - 26 = -3*w + 5*m. Suppose 4*b = -2*v + 10, -w = -2*v + v + b. Solve -4*i + 12 = -5*j, 9 = -3*i - v*j - 17 for i.
-2
Suppose 0 = 3*w - 5*w. Let v = -8 + w. Let i(o) = o**3 + 8*o**2 - o - 6. Let j be i(v). Solve -3*c - 8 = -3*b - 4*c, -2*b + c + j = 0 for b.
2
Suppose 0 = -5*b + 3*b. Suppose 0 = 2*k - 0*k. Suppose 4*z - 8 - 8 = k. Solve -5*m + b*m + 23 = z*s, 0 = -3*m + 9 for s.
2
Let r = -14 - -16. Let g be (8/(-3))/(r/(-3)). Solve z + 4*a = -7, 0*z - g*a - 12 = -4*z for z.
1
Let v(c) = -c**2 + 12*c - 7. Let b be v(11). Suppose -5 + 1 = -x. Solve -x*n - 2*w - 12 = 0, 2*n + b = -2*w + 2 for n.
-5
Suppose -5*g + 75 = -2*q + 5*q, 4*g - 92 = 4*q. Let v = -12 + g. Solve -7 = 2*j + r, 2*j = v*j + 4*r + 24 for j.
-1
Let g = 7 - 3. Let h be 1*2*(-35)/(-14). Suppose 4*f - g = -p, h*f = 4*p - 0*p - 16. Solve -l - p*l = -a + 7, 7 = -a - 2*l for a.
-3
Let l be (4 + -3)/2*10. Solve -p - 3*o = 4*p - 26, -l*o = p - 14 for p.
4
Suppose -7*r - 7 = -21. Solve 17 = u + 5*f + 7, 3*u + r = f for u.
0
Let i(p) = -p**2 + 6*p - 3. Let t be i(4). Suppose -8*o = -4*o. Suppose -3*r - f = -3, o - 11 = -r + 3*f. Solve -t*s + 2 = y - 11, -2*s + 2*y = r for s.
2
Let g be 12/8 - 6/(-4). Suppose -m + g + 4 = 0. Solve -m = 5*w - 3*z, -2*w - 1 = z - 4*z for w.
-2
Let k = -6 - -8. Suppose k - 10 = 4*i, 0 = 4*p + 2*i - 4. Solve -f - p = -2*y, -4*y + y - f = -8 for y.
2
Let n be (3/(-9))/((-2)/6). Let w be (6/(-12))/(n/(-22)). Let h = w - 7. Solve 0 = 2*u - h*z, -u - 6*z = -z + 14 for u.
-4
Let w = 49 + -27. Suppose j + 4*o - w = 0, 2 = -4*j + 2*o - 0. Let b be 3/6 + 5/2. Solve -j*m + 14 = 6*y - 3*y, -b*y + 2*m + 10 = 0 for y.
4
Suppose 0 = -c + 5*c + 7516. Let u be (-6)/(-27) - c/9. Suppose 84 = -5*j + u. Solve -a + 5 = 5*n, 6*a - j = -n + a for n.
0
Let q = 3 - -1. Suppose 0 = -3*f - n + 1, -q*f - 17 = 5*n - 0*n. Solve -f*s + s - 11 = -4*u, -s - u + 4 = 0 for s.
1
Let a = 16 + 14. Suppose 0 = -5*c - 0*c + a. Let j(w) = -w**2 + 7*w - 4. Let u be j(c). Solve -5*o = -2*y - 2, 3*y + 7*o - 22 = u*o for y.
4
Suppose 0 = 3*x - 0*x - 54. Let s = 21 - x. Solve -12 - 4 = -4*u - 4*k, -k = 2*u - s for u.
-1
Let z be 72/33 + 4/(-22). Suppose z*v + 3 = 9. Solve -3*g + v*j + 24 = 0, -2*j = -3*g + 3*j + 32 for g.
4
Suppose -2*j + 6 = 6. Solve j = -4*d + 2*h - 0*h + 6, 0 = -4*d - 4*h for d.
1
Suppo