k. Let m = 20 - r. Solve -s*b + 9 + 2 = -n, 5*b + 2*n - m = 0 for b.
2
Let c(j) = -j + 9. Let b be c(6). Suppose 0 = b*h - h - 40. Solve 4*u + h = -3*z - z, -2*z = -3*u + 10 for z.
-5
Suppose 2*y - 5*g = 4 + 15, -y = -5*g - 17. Solve 3*i + 10 = -2*b, -b + y*i - 4 = -6 for b.
-2
Let n be 3 - (2 + -3 + 2). Suppose -6*s + 3*s + 3*x = 0, 0 = -5*s - x + 18. Suppose 0 = 8*f + 8 - 40. Solve -2*y = s*q + 19 - n, 0 = -f*y - 2*q - 14 for y.
-1
Let l(j) = j**2 + j - 8. Let a be l(-4). Suppose 0 = 4*y - 4*m - a, y - 1 = -2*y + m. Solve 23 = d + 5*q - y*q, -4*d = 4*q - 12 for d.
-2
Suppose -5*h = -0*h. Let v(q) = q**2 - 10*q + 5. Let d be v(9). Let n = -2 - d. Solve h = 3*m + t - 0*t + 1, -n*t = 2 for m.
0
Suppose -5*l = -9 - 1, -4*l - 1 = -3*f. Let v(p) = p - 1. Let s be v(3). Solve -1 - 14 = -f*r - 2*i, -s*r + 2*i = -10 for r.
5
Suppose 33*p - 32*p - 2 = 0. Solve n = 2*l - 8, 3 = p*n + 4*l - 21 for n.
2
Let b = 28 + -25. Solve b*c + 7 = -4*x, 5*x + 2 = x - 2*c for x.
2
Let d(x) = 5*x**2 - 1. Let v be d(-1). Suppose -3*p = -v - 17. Let c(n) = -n**3 + 2*n**2 + 2*n - 2. Let g be c(2). Solve 0 = -2*i, 5*i + 20 = -p*u + g*u for u.
-4
Suppose -6*g = -2*g - 4. Let s = g - -1. Solve -k - 8 = -3*i, 3*k + 6 = -s*i - 2*k for i.
2
Let r(c) = c**3 - 12*c**2 + c - 6. Let f be (1 + 2 - 6) + 15. Let w be r(f). Solve 0 = 3*d + 5*x + 9, 0*d = 2*d - 5*x + w for d.
-3
Suppose -2*k + 4 = -k. Let h(w) = w**2 - 5*w + 6. Let s be h(k). Let m = 8 + -3. Solve m*j - 4*u + s*u = -15, 4*u - 23 = 3*j for j.
-1
Suppose -4*h + 9*h = 340. Let i be h/18 + (-10)/(-45). Solve 2*q = 2*j - 2, j - 6 = -i*q - 0 for q.
1
Let g(r) = r**2 - 3*r + 1. Let d be g(4). Suppose 3*c + 53 = -0*n + d*n, -16 = -4*c. Solve 4*b = 5*v, 0 = -v - 5*b - 16 - n for v.
-4
Let q = 2 + -6. Let d be (-10)/q + 6/4. Solve -y + 4*g = -6*y - 32, -d*y - 13 = -g for y.
-4
Suppose -83*b + 40 = -78*b. Solve -5*h + 21 = -o, 3*h + b*o - 3*o = 35 for h.
5
Let r be 3/(-3) - 2 - -6. Solve -2*y + 4*y + 5*i - 35 = 0, 2*y - r*i = -5 for y.
5
Let z(y) = -y + 3. Let q(u) = u. Let n be q(3). Let s be z(n). Suppose s = -5*w + 2 + 8. Solve -5*i + 4*o + 21 - 3 = 0, -w = -5*i - 4*o for i.
2
Suppose 3*a + 15 = -5*s, -3*a - 15 = 3*s - 4*s. Suppose -3*c + 12 + s = 0. Solve c*g - 23 = t - 7, -2*g + 6 = 0 for t.
-4
Suppose -3*c + 6*c = 9. Suppose c*u = 2*u + 5. Solve 2*n = -u*v - 21, 2*n - 20 - 9 = 5*v for n.
2
Let v(h) = 6*h - 3. Let o be v(1). Solve 0 = o*f - g + 11, f + 2*g - 3 = -g for f.
-3
Suppose -v - 5 = -13. Solve -b + 0*m - 5 = 2*m, -4*b - 2*m = v for b.
-1
Let z be ((-2 - 1) + 3)/3. Suppose z*d - d = 0. Suppose d = -3*w + k + 6 + 118, -3*k - 52 = -w. Solve 4*o = 4*m - w, -3*m = -4*o + 2*m - 45 for o.
-5
Let c(b) = -2*b**2 + 5*b - 3. Let o be c(3). Let p = -2 - o. Solve -p*r + 2*r = -2*s - 18, -35 = -3*r + 5*s for r.
5
Let f = -86 - -88. Solve -13 = 5*d - 4*b, 5 = f*d - 4*b + 3 for d.
-5
Suppose 0 = -2*k + 3*k. Solve -5*x - 5*a = k, a = -2*x - 3*x for x.
0
Let c be ((-8)/10)/((-3)/15). Suppose -5*f - 47 = -c*p, -3*p + f = 3*f - 64. Let t be -1*1 + 4 + -1. Solve -4*z + p = -2*x - 2*z, 2*x + t*z - 2 = 0 for x.
-4
Suppose o - r - 9 = r, -4*r = 4*o + 24. Let c(u) = -4*u. Let f be c(o). Solve -f*w - w = m - 19, 0 = 2*w - 6 for m.
4
Let l = 0 - -2. Suppose -v - 3 = -2*s, -s - l*v = 3*s - 2. Solve -3*q + 10 = -2*w, w - s = 2*q - 6 for q.
0
Suppose 0 = -2*m + 4 + 6. Suppose -m*z + 5 = 5*l - 0*l, -4*z = -4*l - 20. Solve z*w = 0, -1 = -i - 4*w - 0*w for i.
1
Suppose -2*r - 108 = -270. Suppose 0 = -4*y - 3*x - r, y + x + 24 = 4*x. Let d be y/(-9) + 3/(-9). Solve -4*q - d*s = -2, q + 2*q + s = 3 for q.
2
Suppose -4*d - 20 = -9*d. Solve 0 = -2*v + d*y + 14, 0 = 4*v + 3*y + 27 for v.
-3
Let g = -6 - -8. Let x(r) = -r**3 + 4*r**2 - r - 2. Let u be x(g). Suppose 8 = u*t, p + 2 = 5*t - 1. Solve 0*d - 4*n = -3*d - 6, -n = 2*d - p for d.
2
Let t = 170 - 103. Let c = t - 34. Suppose 2*n = i + c, 0 = -2*n - i - 0*i + 39. Solve -11 = -2*q - 3*f - 0, -n = -5*q + 2*f for q.
4
Let a = 10 + -4. Let m be (78/(-4))/(a/(-8)). Let o be (15/10)/(1/2). Solve t + 7 = 3*z - o, -5*t = -3*z + m for z.
2
Suppose -4*i + 8 = 0, 18 = 4*b + 3*i - 16. Solve -2*p + 5*q + 23 = b, 0 = 3*p - 3*q - 15 for p.
3
Suppose 5*i = i - 36. Let a be 5/(-20) - i/4. Solve -6 = a*v, -2*r - 7*v + 3*v = 12 for r.
0
Suppose -3*v - 15 + 21 = 0. Solve -4*h + h - 4 = 4*t, 3*h = v*t + 2 for h.
0
Let w(u) = -u - 9. Let x be w(-11). Solve -2*s + 2*z + 2 = 0, -2*s + 2 = -0*z + x*z for s.
1
Let t = -60 + 65. Solve -z + 2*k = -t, 4*z + 35 = -2*k - k for z.
-5
Suppose -4*d - 2 = 2*b, 5*d + 8*b = 9*b + 15. Solve 0 = 5*r - d*z + 8, 0*z + z - 4 = 0 for r.
0
Suppose 3*h - 31 = 4*c, 0 = -5*h - 5*c + 2 + 3. Solve -3*j + h*y = 3, -j - 2*y - 5 = 4*j for j.
-1
Suppose -27 = -y - 3*b, -b = -3*y + 37 + 4. Solve 0 = -4*w - 5*d + 11, -4*w + 0*w + y = d for w.
4
Suppose 3*m + 4*y = 35, 3*y = 4*m + 4*y - 38. Let t = 18 + -11. Let q = m - t. Solve -k + 2*k - 2*n - 3 = 0, q*k + n = -9 for k.
-3
Suppose 5 = 5*q - 5. Suppose -12 = g - q*g. Suppose 5*d + 2 - g = 0. Solve d*o + 19 = 5*o - 2*r, -20 = 4*r for o.
3
Let o be 6/(-1)*(-1)/2. Suppose 0 = o*x - 19 - 5. Suppose -1 = 2*s + 3*k, -3*s - 2*k + 5 + 1 = 0. Solve -2 = 5*f + 2*u - 9, 0 = s*f + 4*u - x for f.
1
Suppose 1 = 3*i - 5. Solve -f + i*f + 3*w = -13, 6 = -2*f - w for f.
-1
Let c be ((-51)/6 - -1)*56/(-12). Solve 3*o = -5*i - c, o + i = -o - 14 for o.
-5
Suppose 0 = -5*z + 5*v + 5, z - v + 3*v - 1 = 0. Solve 16 = -a + 4*h, -a + h - z = -0*h for a.
4
Let j = 13 + -9. Suppose 0 = -j*o + o - 6. Let b(a) = -a + 1. Let g be b(o). Solve 4*d = g*r - 8, 4*r - d + 6 = d for r.
-4
Suppose 3*i - 1 - 5 = 0, 4*a - 3*i - 14 = 0. Solve -h + a = -2*h, -5*u - h = -20 for u.
5
Suppose -5 = -4*x + 3*x. Solve -2*l - n - 13 = 0, 0*l + n - 15 = x*l for l.
-4
Let p be 32/14 + (-18)/63. Solve p*k - 6 = j - 2, 0 = 4*k - 4*j for k.
4
Let d(g) = -g + 10. Let u(a) = a**3 - 5*a**2 - 5*a + 1. Let w be u(6). Let m be d(w). Solve 14 = -z - 4*z + 2*j, m*z + 21 = -3*j for z.
-4
Let w = -2 - -4. Solve -5*n - w*l = 3*l - 40, 3*n - 34 = -5*l for n.
3
Suppose 0 = -7*l + 12*l. Solve l*f - 22 = 5*o - 3*f, -3*f + 20 = -4*o for o.
-2
Let f = -64 + 66. Solve 0 = -2*b + 5*z - 4, 2*b + 0*z = -f*z - 4 for b.
-2
Let f(d) = 5*d - 5. Let i be f(3). Let r = i - 6. Solve 2*y - 8 = 5*m, -r*m + 0*m - 11 = 3*y for m.
-2
Let l = -84 - -86. Solve l*x + 8 = -5*r, 0 = -4*r - 3*x - 1 - 11 for r.
0
Suppose -z = 5*i + 10, 2*z + 3*i = 1 - 0. Solve -z*p - 16 = -y, -3*p - 3*y + y = 20 for p.
-4
Suppose -2*i + 5 = 1, 2*r = 5*i - 4. Suppose q = r*m + 27, -4*m - 56 = q - 4*q. Solve 4*j - 4*g - 12 = 0, -3*j - q = -8*j + 4*g for j.
0
Let l(h) = -h**2 - 3*h - 3. Let g be l(-4). Let r be g/(-9) - (-6)/27. Solve -17 = -3*a - x - 0, a = 3*x - r for a.
5
Suppose 17 + 3 = 4*m. Suppose -l + 0*l = -m. Suppose 0 = 3*v - 2*i - 4, -5*v - 5*i + 36 + 4 = 0. Solve l*j + 19 - 45 = -r, v*j - 19 = r for r.
1
Let o be (38/(-3))/(2/(-3)). Let a(d) = 2*d**3 + 2*d**2 - d. Let n be a(1). Suppose -3*p + 4*p = n. Solve p*g = 4*h - 6*h + 7, -g + o = 4*h for g.
-1
Let p = -7 + 9. Let v = -41 + 61. Suppose -n + 3*d + v = 0, -2*n + 39 + 1 = d. Solve -3*h = p*x - n, -x = 3*x + 5*h - 36 for x.
4
Suppose 0 = d + 2*d - 3*t + 15, -5*d = 5*t + 15. Let v be (2 - 2)/(-2 - d). Let q = -34 - -34. Solve -7 = b + p, 2*p + 4 + q = v for b.
-5
Suppose 0 = -5*i + 28 + 7. Suppose -2*t + 50 = 3*t. Let a = 15 - 13. Solve i*r = a*r - t, 2*y = -3*r - 4 for y.
1
Let z be 14 - (5 + 1)/3. Solve -g - 2*s + 6*s + z = 0, 5*s = 3*g - 8 for g.
-4
Let j be ((-3)/(-2))/(8/(-16)). Let b(u) = u**2 + 3*u + 4. Let a be b(j). Suppose -a*l = -2*l - 56. Solve -4*c - 12 = -5*m + l, -m + 9 = -c for c.
-5
Suppose 0 = -5*y + 2 + 18. Solve -3*l + 6*l + 5 = -y*s, 2*l + 2*s = 0 for l.
5
Let u(x) = -5*x**3 - 5*x**2 + 8*x - 11. Let k(m) = m**3 - m + 1. Let c(o) = 6*k(o) + u(o). Let l be c(5). Solve j = -3, -a + l*j - 5 = -18 for a.
-2
Let v be (9 + -1)/4 - 10. Let c be (-6)/v*88/33. Solve x + 13 = -c*x + y, -4*y = 2*x + 4 for x.
-4
Let u = -28 + 31. Solve -s - 2*g = -5*s - 14, -6 = -u*s - 4*g for s.
-2
Let p(y) = y**2 + y + 5. Let j be p(0). Suppose 5*f - 2*m = 0, -j*f + 3*f + 9 = m. Solve 0*g = -5*n - g - f, 2*n = 5*g - 17 for n.
-1
Let f(s) = 2*s**3 - 2*s**2 - 3*s + 3. Suppose w + 0*w - 2 = 0. Let x be