pose -2*k + q + 14 = 0, -5*q - 13 = -4*k + 21. Solve -4 = 2*d, -k*d - a = 3*o - d for o.
-2
Let m = -7 + 0. Let g be (-12)/42 + (-2)/m. Solve 0 = -3*n - 4*p + 8*p + 11, g = -2*n - p for n.
1
Suppose d - 5*d - 3*z = -18, -10 = -2*d - 2*z. Solve -3*r + 4 = 4*t, t = -d*t + r + 4 for t.
1
Suppose 0 = h - 5*z + 1, 2*z - 14 = h - 4*h. Solve -h*l = 3*m + 7, m = 2*m - 2*l - 11 for m.
3
Let p(f) = f**3 - 2*f + 1. Let s be p(1). Let q(w) = w - 1. Let c be q(3). Solve s = y + 5*i + 7, -y - 6 = c*i + 2*i for y.
-2
Suppose -3*o + 3 = -3. Let q(j) = -2*j. Let z be q(-3). Let h be 40/z + (-10)/(-30). Solve l + 4 = 2*l - 5*g, -h = 5*l + o*g for l.
-1
Let s = -24 + 34. Suppose -s = -k + 2*i, -4*k = 2*i - 3*i - 5. Solve k = -4*m - 0*m + 5*z - 6, -5*m + 4*z = 12 for m.
-4
Suppose -13 = -2*x - 39. Let a = -10 - x. Solve s + 5 = 0, -18 = a*g + g + 2*s for g.
-2
Let g = -12 - -21. Suppose 2*w - 5*w + g = 0. Suppose 0 = w*m - 15. Solve 3*j + m*n = -25, 2*j - j = n + 5 for j.
0
Let b(q) = q + 17. Suppose a + 24 = -2*a. Let t be b(a). Suppose -3*w + 2*h + t = -h, -12 = 4*h. Solve 2*f - 5*i = -10, f + 11 = 4*i - w for f.
5
Let y be (4/10)/(2/(-30)). Let t = y - -9. Solve 4*w - t*k = 2*k + 9, -4*w - 5*k - 1 = 0 for w.
1
Suppose 2*b = -2*b + 16. Let s = 6 - b. Solve f + 1 = 0, -5*n = -s*n - f - 13 for n.
4
Suppose 0 = -i - 4*i + 60. Let j = -5 + i. Solve -35 = -5*g - 2*l, -j*l + 3*l = 4*g - 40 for g.
5
Let l = -120 - -70. Suppose w + m + 79 = -3*m, -w + 4*m = 111. Let v = l - w. Solve 4*z = 5*o + v, 3*o + 35 = 3*z + z for o.
-5
Suppose 0 = 2*i + 3 - 7. Let b(u) = u + 2. Let n be b(i). Solve 4*k + 16 = 0, -n*c = -5*c - k - 6 for c.
-2
Let c = 21 + -31. Let v be (-1)/(-2) + c/(-4). Suppose 3*m = -n + 37, -5*m - 42 + 117 = 5*n. Solve 2*l = -5*h - 1, -v*l + 7*h = 2*h - m for l.
2
Let w be (-4 - -3)*30/(-3). Let y be 1/(-1*2/(-10)). Let x(b) = -2*b**3 - 4*b**2 + 5*b + 1. Let s be x(-4). Solve -5*u - s = o + 4*o, -w = y*o - 2*u for o.
-4
Let a(x) = x**3 - 3*x**2 - 2*x. Let w = 6 - 2. Let k be a(w). Solve 0 = g + 4, 17 + k = 5*h - 5*g for h.
1
Let m = 7 + -3. Let w be (10/(-4))/(m/(-8)). Solve -2*n = 3*q + q - 12, w*n = 0 for q.
3
Suppose -4*w + 1 = -3. Let v be 4 - w - (-30)/6. Let f be (-2)/3 - (-22)/6. Solve o - 3*d + v = -4*d, -f*o - d = 18 for o.
-5
Suppose m - 56 = -4*a + 78, -4*a - 4*m = -128. Solve 4*p = 2*x + 6 - a, -3*p + 4*x = 31 for p.
-5
Suppose z = 0, -z = 2*m - 2*z. Solve x + 9 = 5*q, m*x + 25 = -5*x + 5*q for x.
-4
Let c = 11 - -1. Let f = -10 + c. Solve -v - n = -f, 2*v = 5*v - n + 14 for v.
-3
Let b(r) = r**3 + r**2 - r + 2. Let q be b(0). Suppose q*x = 3*x - 22. Solve -5*d = -2*t - 0 - 5, 0 = 3*d - 5*t - x for d.
-1
Let h be 0 - 1 - (4 + -3)*-1. Solve 4*n + 8 = h, 2 - 10 = -f + 5*n for f.
-2
Suppose 2*j - 9*j = -70. Solve 4*t - 7*t + 3 = 0, j = -4*m - 2*t for m.
-3
Let o = 7 - 5. Let l be (-22)/11*(1 + -3). Let t be (0/(-2))/(2/1). Solve 3*a - 2*z - o = t, l*a + 5 + 15 = -3*z for a.
-2
Let z(c) = -c**2 + 11 - 11 + c. Let m be z(0). Suppose m = 2*a - 9 - 1. Solve 0 = 2*l + 5*s - 6 + 4, -3 = -3*l - a*s for l.
1
Suppose 4*t + 2*t = 0. Solve t*i = -2*i + d - 5, -4*d = 5*i + 19 for i.
-3
Suppose 0*r = 5*r - 15, -2*r + 6 = -n. Suppose 5*d + 10 = n, -4*x - 3*d = -4 + 2. Let z = -2 + x. Solve -5*g - 15 = 2*a, 0 = g - z*g + 5 for a.
5
Suppose -7*x - 120 = -176. Suppose 6*k = 2*k + 16, q - 3*k = -10. Solve -5*d - 4*g - x = 0, -q*g - 4 = 4*d - d for d.
0
Let k(y) = -y + 3. Let w be k(12). Let m = -6 - w. Solve 0 = p - 5*a - 19, -m*a - 10 = 3*p + 5 for p.
-1
Let q be 2/4 - (-7)/(-2). Let u be 10*((-30)/4)/q. Solve u = 5*f - 5*s, 4*f = 3*s - 0*s + 18 for f.
3
Suppose -5*v - 43 = -3*n, 9 = 2*n - 5*v - 28. Suppose -3*b = -3*q - 3, 2*b = -2*q - n + 20. Solve 4*k = -2*g, -5*g - q*k = -0*k - 14 for g.
4
Let f be (-3)/15 + (-32)/(-10). Let r be 2/(-6) - (-76)/f. Suppose r = t + 4*t. Solve -2*x + 2 = -0*x - t*q, -5*x - 26 = 3*q for x.
-4
Suppose -3*n + 5*n = 24. Suppose -4*c = 4*f + n, 2*f = -3*f - 15. Solve 2*x + 13 = -c*o + o, 0 = -o + 3*x + 18 for o.
3
Suppose -25 = 5*y + 5. Let f be 1/(-2)*36/y. Solve 0 = -h - 0*d - d + 1, 0 = -2*h - f*d - 1 for h.
4
Let g(w) = w**2 + 9*w + 3. Let b be g(-9). Solve 0 = -2*i - 5*t - 9, -b*i + 5*i - 3*t = 15 for i.
3
Let p(y) = -4*y - 12. Suppose -2*z + 5*z + 24 = 0. Let v be p(z). Solve 5*d = -v, -d + 2*d - 1 = n for n.
-5
Let t = 2 + -10. Let l be ((-9)/6)/(3/t). Solve -10 = 2*d - 4*h + 16, -l*h = -16 for d.
-5
Let m(q) = -7*q - 2*q**3 + 3*q**3 + 1 + 2*q**2 + 3*q. Let y be m(-3). Solve -y*u + 19 = -h, -h + 2*h = -5*u + 17 for h.
-3
Let l = -61 + 61. Solve 0 = -0*g - g + 3*i + 1, l = -4*g - 5*i - 13 for g.
-2
Suppose 0 = 3*o + 2*c - 5 + 16, o + 2*c = -5. Let g be 3*((-8)/o)/2. Let b(a) = a + 4. Let f be b(4). Solve g*t + 2*k - k + f = 0, 0 = k + 4 for t.
-1
Let v be 3 + (0 - (0 - 2)). Suppose 0 = -v*g + 10. Solve -2*w - 5 = g*i - i, 0 = 4*w + 5*i + 25 for w.
0
Let a be -2*(2/4 + -3). Let k be a + -2 + (0 - -2). Solve -b = -5*i + 16, 5 = k*i - 4*b - 14 for i.
3
Suppose -2*i = 5*d + 14, -i + 11*d - 15*d = 13. Solve 2*v + 16 = 3*y - 2, i*v + 4*y = 7 for v.
-3
Let c = 21 - 19. Solve -5*o - 4*k - 1 = -8*o, c*o = 4*k + 6 for o.
-5
Let o(c) = -c**2 - 7*c - 4. Let t be o(-6). Solve 3*n - t*k + 0*k - 4 = 0, 0 = -k + 4 for n.
4
Let c(i) = 2*i - 2. Let k be c(3). Let v(q) = 2*q - 3. Let w be v(4). Suppose k*x = -x - 10, 5*x = -w*o + 50. Solve -o + 1 = -n + 2*f, 2*n + 4*f + 18 = 0 for n.
1
Suppose s = 5*s. Solve -k - 2*k + 3*m = -3, 4*k - 5*m - 3 = s for k.
2
Suppose 3*h = 11 + 25. Let x be (-27)/(-2)*16/h. Suppose -4*l + y = -13, 3*y + 1 + x = 2*l. Solve 5*w + 30 = -l*q, 7*w = 2*w + q - 15 for w.
-4
Let i = -2 + 2. Suppose -2*k + w = 5*w, -3*k - w + 5 = i. Suppose 0 + 6 = -3*s - 2*t, 2*s - 3*t = 9. Solve 4*a - k*m = -a - 18, s = -a + 2*m - 2 for a.
-4
Let r be 4 + 3 + (-3 - 1). Suppose -n = -3*h + 12, -r*n + 1 = 3*h - 11. Solve 3*q = 3*t - 24 + 6, 0 = q - h*t + 15 for q.
-3
Suppose 4*v = 96 + 152. Let u = v - 32. Let i = 6 + 0. Solve -5*n = -5*d, -n - i*d = -d - u for n.
5
Suppose 0 = -4*k + 7 + 1. Let r be (-2)/(-6) - 2/6. Suppose 0*i - i = r. Solve -k*x - 5*p - 10 = i, -4*p - 6 = 10 for x.
5
Let m(l) = -l**3 + l**2 - l + 4. Let w = 8 + -8. Let q be m(w). Solve q*p - 5 = 3*c + 6*p, -2*p - 7 = c for c.
1
Let h(t) = -t**3 + 10*t**2 - t + 13. Let m be h(10). Suppose 0 = -2*w + 3 + 1. Solve -w*x = 3*s - 1, m*s - 3*x = -18 - 6 for s.
-3
Let s(n) = -n + 4. Let b be 3 - (-3 - (-5 + -1)). Let p be s(b). Suppose 2*o - 4*o + 16 = p*q, -2*q + 18 = -4*o. Solve q*i - 3*c = 5, -2*c + 3 - 5 = -2*i for i.
1
Let p(a) = -a**3 - 10*a**2 + 12*a + 15. Let x be p(-11). Solve 0*r + 5*g = 2*r - 16, 0 = -2*r + x*g + 14 for r.
3
Let q be (1 + 0)*(-4 + -1). Let z = q + 8. Solve z*a + 5*h - 32 = 6*a, -2*a - 16 = -2*h for a.
-4
Let b = 9 - 5. Suppose 2*p - 7*p - 25 = 0, g - b*p - 24 = 0. Solve 2*x = 4*s - g, -s - 10 = s + 5*x for s.
0
Let x(d) = d + 1. Let f be x(-1). Solve j + 22 = 4*l - f*l, 5*l = -4*j + 17 for j.
-2
Suppose -3*g = -s - g + 11, 3*g + 3 = 0. Let b = -3 + s. Solve -b = 5*v - 3*u, u = -4*v + 4*u - 6 for v.
0
Suppose -3*z + k = 2*z + 57, z = 3*k - 3. Let l = z + 18. Suppose 2*x - 20 = -l. Solve -x*f + 2*f + 15 = 5*o, -5*f + 8 = -2*o for o.
1
Let a(r) = r**3 + 5*r**2 - r + 1. Let p be a(-5). Suppose -2*o - o = -p. Solve -2*v - 7 = -h, 17 - 6 = o*h - v for h.
5
Let m = 42 + -33. Solve -5*x + 4 = 3*i - 10, -3*x - m = -4*i for x.
1
Let d = -13 - -14. Solve v + 12 = 3*x, v = -3*x + d + 5 for x.
3
Suppose -1 = -2*m + 7. Solve m*n + 3*o = -8, -3*n + 6 = -6*n - 4*o for n.
-2
Let m = -41 + 44. Solve b - 1 = -2*q, -31 = m*q - b - 4*b for q.
-2
Suppose 4*o = -5*p - 0*p + 25, 2*o = 0. Solve -f - 5*x = 2*f + 10, -f + p*x = 10 for f.
-5
Suppose 5*o + 4 - 19 = 0. Suppose -o*x = -x - 10. Solve u + 3 = -5*b + x*u, 15 = -5*u for b.
-3
Suppose 2*r + r = 0. Suppose -5*b + 0*b + 30 = 0. Let k be 4/(-6) - (-88)/b. Solve -5*v - 4*z = -k, r*v - 5 = -5*v + 5*z for v.
2
Suppose -2*w + 0*w + 3*m = 5, 4*w = m + 5. Suppose 12 = -4*f + 3*n, 5*f - 12 = -4*n + 4. Suppose -4 = -w*o - f. Solve -o*u + 10 = -4*t, 12 = t + 5*u + 31 for t.
-4
Suppose 3*d = -2*m + 19, -5*m + 6*d = 2*d + 10. Let j = 0 + m. Suppose g = -j*g. Solve 2*k + 0*k - 4*r = -6, 2*k + 4*r - 18 = g for k.
3
Let z be 1*-4 + 9/(-3