 be g(-2). Solve -2*k = x - 6, k + o*x - 21 = 2*x for k.
1
Suppose d = -2, 4*r - 2*d = -r - 1. Let f be 1 + r + (8 - 4). Suppose -j + f = j. Solve 0*s + 4*s = 4*u, 5*u - 4*s = -j for u.
-2
Let h(d) = -d - 7. Let x be h(-9). Solve 0 = z - x*w + 8, 4*w - 3*w = z + 4 for z.
0
Let r be ((-6)/(-4))/(6/36). Suppose -2*m = -p - 14, -5*p + r = -1. Solve 5*q - 2*k - 2 = 0, -3*k + 2 = -q - m for q.
2
Let i(k) = -k**2 - 10*k + 2. Let m be i(-9). Let c(n) = -21*n**3 + 2*n**2 + n. Let h be c(-1). Solve 3*f = 5*x - h, 2*x - 3 = -3*f - m for x.
2
Let w = 0 - 0. Let i = 21 - w. Suppose i = 4*l - 15. Solve -3*c = 4*z, 0 = 2*z - 3 + l for c.
4
Suppose 20*p - 239 = 21. Solve -l + 2*o - p = -1, 0 = 4*o - 20 for l.
-2
Let q(b) = -b + 1. Let k be q(2). Let i be k + 7 + -2 + 0. Let c = i + -4. Solve 2*y - 4*s = 6 - c, 4*y = -4*s + 24 for y.
5
Let j = -41 + 44. Solve -5*v + 8 = -f - 0*v, j*v - 14 = -4*f for f.
2
Suppose -1 - 8 = -3*g. Solve 2*p = -4*d - 7 - 7, -g*p + 2*d = 13 for p.
-5
Let j be ((-3)/(-2))/(-2 - 68/(-32)). Solve -7*v + 2*v = -4*p + 36, 0 = -5*p - 2*v + j for p.
4
Let n be (3/(-6))/(1/(-6)). Let h(z) = z + 6. Let r be h(-4). Suppose r*u = 33 - 7. Solve n*f - 1 = 4*w + 5, 5*w - f + u = 0 for w.
-3
Suppose -6 = -3*p + 2*w + 4, -2*p = -5*w - 3. Solve p*b + 21 = 3*n - 2, 2 = -b for n.
5
Let b(x) = -3*x - 4. Let q be b(3). Let s = 18 + q. Solve 4*t = -s*r - 30, r + 4 - 12 = 2*t for r.
-2
Let t(h) = 3*h - 40. Let j be t(15). Solve 3 = -4*n - y, 5 = -j*y - 10 for n.
0
Let f = 0 + -3. Let m = 6 + f. Suppose -3*u = 5*l - 6*u - 32, m*l - 20 = 2*u. Solve 0 = 5*o - 4*r - 21, -l*o - 2*r = 2*r - 24 for o.
5
Suppose 8 = -k - 5. Let w = -10 - k. Solve -x + 0*x + 13 = 4*q, 3*x - 9 = w*q for x.
5
Let s(d) = -10*d - 4. Let w(k) = -k - 1. Let n(v) = -s(v) + 5*w(v). Let m be n(1). Suppose m*l - 10 = 62. Solve 0 = -2*a + 2*z, -3*a - z - l = 2*a for a.
-3
Suppose -5*g = 2*m - 41, -g + 8 + 3 = -m. Let a(s) = -s**3 + 8*s**2 + 8*s + 12. Let f be a(g). Solve -2*r + 0 = -2*y + 2, 4*y + 1 = f*r for y.
-4
Suppose -7 = 3*s - 1. Let x be s - 0 - -5*2. Solve -2*b - 3*l - 1 = x, 4*l + 12 = 3*b for b.
0
Let y = -6 + 11. Suppose -4*b = -0*b. Suppose 0*o - 64 = -8*o. Solve y*f = 4*c - o, 2*c - 4 = -5*f - b for c.
2
Suppose 2*n + 4 = 4*d, 2*n - 3*n - 2*d = -6. Solve -2 = -k + n, -a + 5*k - 23 = 0 for a.
-3
Let k be 18/(-12) - -3 - 1/(-2). Solve -r - k = -o + 2, -3*r - 5*o = -28 for r.
1
Suppose 136*g = 131*g + 40. Solve 6*f = -m + f + 3, 2*f = 3*m + g for m.
-2
Let m be ((-1)/1)/(1/(-4)). Let i = m + 2. Let h(j) = j**3 - 6*j**2 + j + 3. Let s be h(i). Solve 18 = -4*w + p, s = -w - 0*w - 2*p for w.
-5
Let d = 11 - 8. Solve 4*f + 28 = h - 5*h, -2*f - 16 = d*h for h.
-2
Suppose -3*a + 5*q = -1, a - 2*q + 7*q = 7. Suppose -2*n + 6*n - 240 = 0. Let h be n/14 - 8/28. Solve -5*c + a*y = -3*y, 2*c - 4*y = h for c.
-2
Suppose -21 + 5 = 4*o. Let w be o + (5 - 1 - -2). Solve -w = -u - 3, -2*n = 4*u - 4 for n.
4
Let y be (7 + 3)/(4/2). Suppose y*t - 18 = 2. Suppose 0*b = b - 4. Solve -2 = -3*n + t*z, 0*z + 8 = 2*n + b*z for n.
2
Let o(s) = s + 1. Suppose -4*k + 43 = 3. Let f be o(k). Let w(y) = -3*y + 4. Let a be w(-5). Solve m - 5*t + f = -a, -10 = 5*m + 3*t for m.
-5
Let l(u) = 3*u - 2. Let j be l(2). Solve 7*r = -o + 3*r + 9, -j = -4*r for o.
5
Let n(a) = 9*a. Let w be n(1). Let t = 14 - w. Suppose 0 = -t*g + 37 - 12. Solve 0 - 10 = -5*h, -5*z - g*h + 20 = 0 for z.
2
Suppose -u - 11 = -5*r, 2*r - 3*u - 9 = -r. Suppose r*z - 15 = -3*z. Solve -5*g - 27 = z*p, 4*p + 7*g + 31 = 2*g for p.
-4
Let x(r) = r - 9. Let p be x(11). Suppose 0 = -p*i - 1 + 13. Suppose 3*j + 1 + 5 = -3*n, -3*n - 12 = 0. Solve i = 5*a + 3*f, -27 = -2*a - j*a + 5*f for a.
3
Suppose 0 = 2*x + 3*x. Suppose 60 = 3*l - x*l. Solve j - 2*f = -2*j - 13, l = -5*j + 3*f for j.
-1
Suppose f = 5*o + 14, o - 2*f = -10 - 0. Let h be (-2 + (o - -4))*1. Solve h = w - 5*q, -w - 5*q - 5 = -3*w for w.
5
Suppose 5*q + 2 = -4*k, -3*q = -4*k + 2*k - 12. Suppose 0 = 6*m - m - 85. Solve 4*f - 3*l = -m, -q*f + 3 - 13 = -2*l for f.
-2
Suppose 0 = -2*y - p + 2, -4*y - 2 = -0*y + 5*p. Let i = 17 + -13. Solve 3*j = -i*g - 15, -5*j = -0*j + y*g + 11 for j.
-1
Let f be 2*(-3)/6*-3. Let p be (1/f)/(2/(-6)). Let b be p*((-54)/3)/1. Solve 4*o - 2*q + b = -4, -12 = 2*o - 2*q for o.
-5
Let a = 17 - 14. Solve y + 2*y - 12 = -5*u, a*y = -2*u + 3 for y.
-1
Let o(x) = -x**3 + 7*x**2 - 4*x - 6. Let y be o(6). Let k(w) = -w**2 + 7*w - 4. Let n be k(y). Solve 2*t - n*h = 4*t + 10, -4*t + h - 20 = 0 for t.
-5
Let k = -1 + 1. Let o be 1/(((-14)/(-36))/7). Suppose k = 5*v + 3 - o. Solve v*f = -4*c + 7, 2*f - 9 = -5*c - 2 for c.
1
Suppose -4*z + 30 - 2 = 0. Suppose -5*x = -4*x + 5. Let s = x + z. Solve -s*i - 3*i + c - 13 = 0, 0 = -3*i - 4*c - 17 for i.
-3
Let r(c) = -c**2 + 5*c + 1. Let x be r(4). Solve x*s - 24 = -4*v, 2*s - 7*s = v - 21 for s.
4
Suppose 0 = -2*y + 3*y + 5*o + 16, o = -2*y - 5. Let k be y*(3 + -13) + -2. Solve 2*x + c + c - 4 = 0, 3*x = -c + k for x.
3
Let m = -2 + 5. Solve m = -y - 2*b, -3*y + b = -y - 14 for y.
5
Let l(j) = j**3 + 5*j**2 - 11*j - 13. Let s be l(-6). Solve -2*z - 3 = -2*i - s, 0 = -z + 4*i + 22 for z.
2
Let w = -3 + 6. Suppose -w*j - 5*v - 3 = 0, v = 2*j - 5*j + 9. Solve -4*z + 12 = -j*m - 0, 0 = 5*m + z + 15 for m.
-3
Let f = 17 + -9. Solve n - m + f = 5*n, -5*n - 2*m = -10 for n.
2
Let r be (-2)/3*(-9)/6. Let k be ((-3)/2)/(45/(-240)). Solve 2*c - 5*q - r = 0, -5*c + 0*q - k = -2*q for c.
-2
Suppose 0 = -6*c + 1 + 17. Solve 0 = i + i + c*b - 13, 0 = -5*i - 2*b + 27 for i.
5
Let i(x) = x**2 - x + 5. Let f be i(0). Let d = 64 + -46. Let a = d + -14. Solve -a*y - m = -11, y + 3*m + 15 = f*y for y.
3
Suppose -k = 3*k. Let u(c) = -c + 2. Let j be u(k). Let b = j + -2. Solve -5 = 6*f - 3*f + 5*n, b = -3*f + 3*n - 21 for f.
-5
Let b(h) = 7*h**3 + h**2. Let v be (5 + 0)*(-1)/(-5). Let c be b(v). Solve 2*t - 4*p - c = -0*t, -5*t = 4*p + 36 for t.
-4
Let h = -35 - -50. Suppose -c + 4*c - h = 0. Solve -3*i - 6 = c*t - 26, 3*t - 12 = -3*i for t.
4
Suppose 10*j = 9*j + 18. Solve c - 3*o - j = 0, -4*c + 14 = -c - o for c.
3
Let i be ((-2)/7)/((-16)/112). Solve b - 19 = 6*b - 4*p, 13 = -5*b - i*p for b.
-3
Let u be 4/(-10)*45/9. Let q be (3/(-12)*0)/u. Solve 4*t - 4*g = q, 2*t - 2 = 5*g + 10 for t.
-4
Suppose -6*p + 3*p + 48 = 3*l, 0 = 2*p - 8. Let r = l + -7. Let s = -11 + 13. Solve -r*c - 2*i - 9 = 0, s*c + 5 = c - 2*i for c.
-1
Let x(f) = f**2 - 16*f - 7. Let a be x(17). Solve 2*z + a = -4*w, -2*z - 7 = 4*w + z for w.
-4
Let n = 9 + -5. Suppose -3*y - n*l = y - 24, 2*y - 3*l - 27 = 0. Solve 2*i - y + 3 = 2*s, -2*s + 3 = i for s.
0
Let j(z) = -z**3 - z**2 + 2*z + 2. Let p be j(-2). Solve 5*a = -4*o - 4 - 26, -p*a - 3*o - 19 = 0 for a.
-2
Let s(j) = -2*j**2 + 12*j**2 + 1 - 2*j + 3*j - 3*j. Let d be s(1). Solve -k - 4 + 29 = 5*p, 0 = -p - k + d for p.
4
Let a(g) = -g**2 - 11*g + 2. Let b be a(-9). Suppose 0 = -3*u + 5*u - b. Solve 5*f - 5*x + u = 0, -f + x + 4*x - 14 = 0 for f.
1
Let y be 2/(-5) - 297/(-55). Let h(k) = -4*k - 3. Suppose -z + 0*z - 2 = 0. Let m be h(z). Solve -p - y*v = -11, -v - 2*v + m = -p for p.
1
Suppose -4*w + 1 + 3 = 0. Solve 5*s + w = 4*g, 3*g + s - 3 = -7 for g.
-1
Let u be 4 - ((-4)/(-3) + 96/36). Solve -4*j = -8*j - 5*z - 20, u = 3*j + 5*z + 15 for j.
-5
Let d(j) = j**3 + 3*j**2 - j - 2. Suppose -9 = 5*g - 34, 5*n - g + 15 = 0. Let q be d(n). Let z = 9 - q. Solve -5*s = 5*i, s - 3 = 3*i + z*s for i.
3
Let m(w) = 3*w - 17. Let z be m(8). Solve -s - 4*s - 5*q = 45, -3*s + q - z = 0 for s.
-4
Let l(c) = c + 17. Let s be l(-12). Solve 3*m = -s*k + 16, 0 = k - 4*m + 4 + 2 for k.
2
Let a = 25 + -20. Solve 3*k + 12 = 5*x, -a*x + 5*k + 0*k = -10 for x.
3
Let j be 336/35 + (-6)/10. Solve 3*z - 9 = 0, 3*i = 2*z - z + j for i.
4
Suppose -l + 13 = -6*j + j, 2*j + 3*l = 5. Let y be (30/20)/((-1)/j). Solve 4*t + y*c + 29 = 0, 2*t + 3*t + 3*c + 34 = 0 for t.
-5
Let t be (-6)/((36/8)/(-3)). Suppose -l + 0*f + t = -f, -3*f = 3*l - 24. Solve 0 = -l*m + m - 2*a + 16, 4*m - a = 5 for m.
2
Let i(n) = -n - 4. Let d be i(0). Let t(f) = f + 7. Let s be t(d). Suppose -c + s = -3. Solve -4*v - c = 2*j, -v - 2*v - 5*j + 13 = 0 for v.
-4
Suppose 3*m - 87 = -5*d, -5*m + 4*d + 65 = -43. Solve l + 2*t = -13, 4*t - 3*t + m = -4*l for l.
-5
Let d be ((