, 0 = -2*y + n - 22. Let u = y + 27. Solve -z - u = 3*h, h - 6*h - 10 = -z for h.
-3
Suppose -z + 28 = 3*j, 5*j + 3*z + z = 42. Let h = j + -5. Solve 0 = 4*r + n - 19, n + 19 = h*r - 7 for r.
5
Let s(x) = x + 8. Let i be s(-3). Solve i*l + 2*m - 13 = 2*l, 2*l - 4*m - 14 = 0 for l.
5
Suppose -5*k + 8 = -2. Suppose -k*f = -0*f. Suppose f*p - p = -5. Solve 4*b + 19 = 3*s, 4*s - 5*b = 30 - p for s.
5
Let z(q) = -21*q - 10. Let h be z(-2). Solve 5*w + h - 4 = -4*i, 2*i = -4 for w.
-4
Suppose 0 = 5*s - 5*q + 3*q - 2, 4*q + 4 = 2*s. Solve 6*n = -u + n - 25, u - n + 1 = s for u.
-5
Let h = 31 + -25. Suppose 3*q = 5*q - h. Solve -5*w + 5 = -q*d, -1 = -w - 0*d - 4*d for w.
1
Let t(s) = s**3 + s**2 - 2*s. Let b be t(0). Solve b = -3*o - 4*i - 1, 4*o + o - 2*i = 33 for o.
5
Let n(i) = -i**2 - 10*i + 3. Let z be n(-10). Suppose 2*p + p + 8 = -5*w, -5*p = -5*w + 40. Let m be 3/2*(-8)/p. Solve 6 = -4*o + 5*c, -z*c + 4*c = m*o for o.
1
Let t = -100 - -105. Solve -w = -2*a - a - 7, 0 = 2*a + t*w + 16 for a.
-3
Suppose -3*a + 3*r + 41 = -r, -3*a + r = -26. Suppose 0 = k - a - 4. Solve 3*p - k = -c, -2*c + 9 = 5*p - 5*c for p.
3
Suppose 5*v + 2 - 17 = 0. Solve 2*p + o = -v, 3*o = -2*p - 0*o - 5 for p.
-1
Let u = -9 - -2. Let q = 0 - u. Let z(t) = 3*t**3 + t**2 - 2*t + 1. Let x be z(1). Solve x*y + f + 4*f + q = 0, -f - 2 = 0 for y.
1
Let t(y) = -4*y + 1. Let l be t(-1). Solve 8 = p - 5*p - 4*w, 2*w = l*p - 25 for p.
3
Let s = 10 + 6. Solve -6*a - f + 1 = -2*a, -a - s = -3*f for a.
-1
Let z = -2 + 6. Let f be (1 - (-2 - -3)) + 1. Let i = f - -1. Solve -5*d - 2 = z*j - 0, -j + 1 = i*d for j.
-3
Suppose -3*o = -5*m + 4, 3*o = m - 4*m + 12. Let k(c) = -c**3 - 4*c**2 - 2*c + 3. Let w be k(-3). Solve m*b + b - 4*s = 10, -2*b + 5*s + 16 = w for b.
-2
Suppose 5*x - 5*v = 0, 2*v = -2*x + 7*v - 6. Solve 3*y + 2*b = -11, -y + x*b + 0 = 1 for y.
-3
Suppose -3*f + 17 = 5. Suppose 0*v = -2*v + 2*q + f, 4*v - 17 = -5*q. Solve -3*b = v*k, -b + 0*k - 2*k + 3 = 0 for b.
-3
Suppose 4*a + n = 110, 5*n + 0*n = a - 38. Suppose 5*z - 7 = 18. Let y = -1 + z. Solve 0*b - 8 = 4*b, -y*u + 4*b + a = 0 for u.
5
Suppose 0 = -2*z + 4*z - 10. Let v be (-3)/(3/(-18) - (-4)/(-3)). Solve 3*g + z*x + 6 = 2*g, v*g + x + 3 = 0 for g.
-1
Let s be 1 - 7/((-21)/9). Solve 0 = -4*l + 2*i + 2, s*l + 2*i = 22 for l.
3
Suppose -7*k + 10 = -2*k. Let x be (-378)/(-15) - (-1)/(-5). Solve 4*d = -0*i + i + 5, -5*i - x = k*d for i.
-5
Let a be (3 - 1)/(1/2). Let m be (-15)/(-2)*(-1 + 3). Suppose -8 = -3*p - 3*y - 2, 0 = 5*y + m. Solve 5*q - a*q + 6 = 3*l, -p*q - 4*l - 11 = 0 for q.
-3
Suppose 5*s - 45 + 10 = 0. Let a = -4 + s. Suppose 2*o = q, -3*o = -2*q + a*q. Solve -2*i + q*i = -u - 5, 0 = 2*u + 2 for i.
2
Let h(b) = -b - 16. Let p be h(-14). Let m be 10/1 + 0 + -2. Let f = m + p. Solve -z + 6 = -3*l, -4*l - f*z = -z + 27 for l.
-3
Suppose 3 = -v - 1. Let a(g) = -9*g - 7. Let w be a(v). Solve 0 = 4*d - 3*h + w, -2*h + 7*h - 10 = -d for d.
-5
Suppose 2*i - 6*i = -8. Let x be 1 + 1 + 2*2. Suppose t = 5*t - 16. Solve 3*v + x - 2 = t*c, 3*c - 3 = i*v for c.
1
Let r = -5 + 19. Suppose 36 + r = 5*v. Let h be 0/3*(-1)/(-2). Solve -2*k - m + 2*m + 1 = h, -4*m = -5*k + v for k.
-2
Let r = -6 + 18. Let s be 30/(-10) - -3*r. Solve -2*c + 2*k = -5*c - 7, 2*k = 5*c + s for c.
-5
Let l be 7/5 - 6/15. Let d(u) = -u + 11. Let y be d(7). Solve -2*t + 12 = i, -t + 6*i = y*i - l for t.
5
Suppose 5*w + 33 = -5*x + w, 0 = x - w + 12. Let l be (-48)/x*27/12. Solve 0 = -2*t + b - l, -b + 5 = 1 for t.
-4
Let u(b) = -b**2 + 7*b - 1. Let o be u(6). Let h be (-1)/(-3)*(-2 - -17). Solve o*p + 3*d + 16 = p, -d = h*p + 20 for p.
-4
Let t be (-3)/(-12)*0 - -6. Let m be (-4)/10 - t/(-15). Solve 4*u + 2*y + m + 2 = 0, u + 5*y - 4 = 0 for u.
-1
Let j = -7 + 10. Suppose 4*n - j*o + 8*o = 13, 4*o = 2*n. Solve -n*u = -3*t - 2*t - 6, 3*t - 5*u = 4 for t.
-2
Let o be (24 + -4)/(0 + 1). Let k = o - 20. Solve -t + h = -h + 1, 5*h + 10 = k for t.
-5
Let y be (1 + 0 - 5)/(-2). Suppose y*l = -l - 6. Let k be 0*(l + (0 - -3)). Solve 4*n + 0*n - 2*j + 16 = k, n + 6 = j for n.
-2
Let s be (-6)/(-9) - (-182)/6. Suppose -2*q - s = -5*p, -3*p + 5*q = -0 - 11. Solve -p*i + 2*i + 5 = 5*d, 2*d = 3*i - 8 for i.
2
Suppose -2*j + 18 = 2*s - 0*j, 2*j = 4*s - 6. Solve 5*q + 24 = -3*w, 5*w - 2*q + 5 + s = 0 for w.
-3
Suppose 0*t = -4*t + 392. Suppose 4*b + t = h, h = -2*b - b - 70. Let i be b/(-3)*(-3)/(-4). Solve -i = -4*j + p, 0 = -3*p - 2 - 4 for j.
1
Let h = 24 - 18. Solve -3*s - h = 0, 0*c = -2*c + 2*s - 4 for c.
-4
Let x(c) = 3*c + 3 + 2*c**2 - 1 + 2*c. Let h be x(-3). Suppose -h*m + 19 = -6. Solve -k - m*o + 8 = 0, 2 + 0 = o for k.
-2
Suppose -2*n + 4*n = 0. Solve u + 11 = 5*k, u + n = -5*k + 9 for k.
2
Suppose 0 = p - 0*g + 4*g - 17, g = 2*p - 7. Suppose -p*x = -4 - 11. Solve 2*o + 2*r + 8 = 0, -8*o - 8 = -x*o - r for o.
-2
Suppose -4 + 1 = 5*u - 4*q, 0 = -2*u + q. Let s = 4 - u. Suppose 1 = 2*w - 5*c - 19, 2*w = 4*c + 18. Solve 0 = s*z + 4*m + 1, -w*z - 4 - 5 = 3*m for z.
-3
Suppose 3*c - 12 = 3*l, l = 3*c + c - 16. Suppose c*g + 3*p = 27, 3*p - 30 = -4*g - g. Solve -g*a = 5*w + 32, -5*w + 2*a + 4 = 16 for w.
-4
Suppose 5*i - 10 = 2*l - 60, l = 4*i + 37. Let n = -4 - i. Let t be (-2)/(-9) - (-25)/9. Solve -15 = n*j + 5*q, j = 5*j + t*q + 9 for j.
0
Let z be 4/(12/3) - -12. Solve -5*d - f - 18 = 2*f, 4*d + f + z = 0 for d.
-3
Suppose 1 = b - 3. Suppose 3 = -3*c, 3*p + c + b = 4*p. Suppose -83 + 29 = -p*f. Solve 0 = -5*d - 4*m + 6 + 6, -4*d + f = -m for d.
4
Let f = -4 - -8. Solve 0 = -g + 1 + f, -g = -3*k - 14 for k.
-3
Let n(o) = o**2 - 4*o + 1. Let c be n(4). Suppose t - 4 - c = 0. Solve -2*w + 2 - 11 = t*i, 5*w + 3*i + 13 = 0 for w.
-2
Let x be (8/(-3))/((-1)/(-3)). Let g = -6 - x. Suppose -4*n + 16 = 2*p + 2*p, n + 2 = g*p. Solve -3*h = -3*z + 15, 4*h - n = -6 for z.
4
Let h = 6 + -3. Suppose -6 = -h*c - 0. Let k be (3 - 3)*c/4. Solve 4*t = 4*x - 1 + 13, k = -2*t + 3*x + 6 for t.
3
Let u = 11 + -2. Let c be (99/44)/(6/8). Solve -u = -2*d - d, 5*d - 24 = c*r for r.
-3
Let p = -16 - -36. Let m = -13 + p. Suppose 3*b = -5*x + b + 5, -x - 7 = 2*b. Solve o = 2*d - m, -2*o = o + x for d.
3
Let o(h) = -3*h - 3. Let p be o(-5). Let d = p - 7. Solve -13 = d*x + 4*y, -x + 1 = -2*y - 2 for x.
-1
Suppose -a - 4*a = 5. Let u be 0*a/(-2) + 3. Solve 2*t = 3*b + 8, 12 = u*t - 0*t - 5*b for t.
4
Suppose 2*b = -b + 75. Let w = -20 + b. Solve -3*i = 5*h - w, 2*h = 4*i - 2*i + 2 for h.
1
Let c(j) = -j. Let l be c(7). Let y be (-3 + 2)*l + -2. Solve -2*x + y*u = 9 + 8, 2 = -2*x + 2*u for x.
4
Let r be (5/(-15))/((-2)/18). Suppose 5*i = r*i. Solve b - 2*v + 2 = -i, 4*b + 3*v - 14 = 0 for b.
2
Suppose -6 = -2*p, 0*j - 4*p = -2*j - 22. Let x = j - -7. Solve z = 5*f - 13, x*z - 25 = 7*z - 5*f for z.
-3
Let d(h) = h**3 + 2*h**2 + 1. Let j be d(-2). Let u = 5 + -3. Let f(r) = 7*r - 5. Let k be f(u). Solve 2*a = c + j, -3*a = -c + 2*c - k for a.
2
Let m = 31 + -26. Solve -3*t - 3*w = -6, 4*w = m*t + 3*w + 2 for t.
0
Let f(t) = t**3 - 8*t**2 + 6*t - 9. Let q be f(8). Suppose -q = -3*g - 9. Solve x = -2*b + g, 4*b + 0*b - 8 = x for b.
3
Let p(o) = o**3 + 4*o**2 - o + 4. Let l be p(-5). Let u = 18 + l. Solve 3*x = -0*c + u*c + 12, -2*x + 8 = c for c.
0
Suppose 4*l + 10 = 3*z, 5*z - 14 = -l + 5*l. Suppose -z*m + 66 = m. Let w(f) = -5*f - 4. Let j be w(-6). Solve -d - 4*g + j = 2, -3*d = 2*g - m for d.
4
Let n be -1*(0 + 3 + -3). Let h(o) = -4*o + 4*o**2 + 17 - 3*o**2 + 3*o. Let m be h(n). Solve -3*q + 2*k = -3*k - m, 2*q - 5*k = 13 for q.
4
Let c be (-104)/(-24) + ((-4)/3 - -2). Solve 7*l = 3*l - 5*m - c, 5*m + 35 = 2*l for l.
5
Let z(d) = -d**2 - 8*d - 3. Let n be -4*1*28/16. Let j be z(n). Solve -j*t + 2*k = -3*t, -18 = 3*t + 3*k for t.
-4
Let s be 8/36 - 34/(-9). Suppose 2*a - 13 = -0*j - j, -2*j - 14 = -s*a. Solve j*m + 12 = m - 5*w, 0 = 2*w + 4 for m.
-1
Let m(p) = -p**2 - 6*p - 4. Suppose 3*a = a - 6, -5*c - 2*a = 26. Let r be m(c). Solve -4*w - i = i - r, 4*w + 5*i - 4 = 0 for w.
1
Suppose 4*f = 3*f + 2. Let j be 33 - (1 - -1) - f. Suppose 0 = 3*r + 2*a - 7, -4*r = -4*a - 7 - j. Solve 10 = 4*g - 3*v - r, 5*v + 20 = 5*g for g.
3
Let k(r) = 2*r - 4. Let g be k(7). Let s = 13 - g. Solve t = -2*x, x + 13 = -s*t + 3 for t.
-4
Let w = -16 + 3. Let i(r) = -r**2 - 13*r + 5. Let t be 