*a = 3, 0 = -4*a for k.
-3
Suppose 2 = 2*m + 4*j - 4, -4*m + 12 = 4*j. Solve m*q = 0, w + 8 = -w - 2*q for w.
-4
Let x be (-93)/(-6) - (-3)/(-6). Let h = x + 4. Solve h = -k - 4*a, 0 = -5*k + k + 2*a - 4 for k.
-3
Let j = 26 + -21. Solve -2*i = -5*i - 15, 10 = -j*k + 2*i for k.
-4
Let q = -27 - -31. Solve 6 = 2*c + n, q*c - 19 = 5*n - 7 for c.
3
Let i = 19 + -10. Suppose 0 = 3*a + i - 21. Suppose 5*p - 158 = l - 2*l, -4*l - 72 = -2*p. Solve -4*q + p = a*b, 5*q + 10 = b + 4*b for q.
3
Let i = 3 - -1. Suppose 2*g - 34 = -3*l, -i*l + 2*l + 22 = 2*g. Solve 4*o + 4 = -k, -2*k + 3*o + 2 + l = 0 for k.
4
Let w(f) = f**3 + 3*f**2 - 3*f + 4. Let r be w(-4). Solve -6*z + z = r, j + z = 1 for j.
1
Suppose -2*g + g = -4. Solve -4*r = 4*c - 7*r - 6, 16 = g*c + 2*r for c.
3
Let o be 0/(7/3 + (-4)/12). Solve -d - 3*d - 4*y + 20 = o, 3*d = 5*y - 25 for d.
0
Let h(x) = -x**3 + 3*x**2 - x + 6. Let t be h(3). Solve -4*y + t = g, 0 = 3*y + 2*g + 1 - 7 for y.
0
Suppose 3*y = 3 + 12. Let x(k) = k**3 - 5*k**2. Let b be x(y). Suppose b = -0*l - 3*l + 3*n - 9, 4*n - 24 = -2*l. Solve -3*r - 1 = 4*u - l, 3*u = r - 9 for r.
3
Let k(b) = b**2 - 1. Suppose 6*l = 4*l - 4. Let j be k(l). Suppose 0*r - 7 = -j*f + 2*r, -5*r + 14 = 3*f. Solve f*p + 20 = -u, -4*u - 5 - 20 = p for u.
-5
Suppose 13 = n - 6. Suppose 0 = 4*f - 3*c - n, -f + 0*c - 2*c = -2. Solve f*m - o = -0*o - 25, -3*m = -3*o + 30 for m.
-5
Suppose -4*d - 127 = -a, 3*d + 69 = 3*a - 33. Let o be 8/(-4) + 49*1. Let t = o + d. Solve -4*n + 7 - t = 3*g, -3*n = 0 for g.
-3
Let j(g) = -g + 7. Let x(s) = -s**3 + 3*s**2 + 2*s - 1. Let l be x(3). Let w be j(l). Suppose -6 = -w*m - 0*m. Solve -v = 5*o, -6 = 2*v + o + m for v.
-5
Let z(v) = -v**3 - 5*v**2 + 3*v + 5. Let y be z(-5). Let s = -20 + 8. Let q = y - s. Solve -2*i = 2*k, 0 = -3*k - 0*i + q*i + 20 for k.
4
Let x be 2 + (11 - 3) - -2. Solve -m = -3*l - x, 3*l + 17 + 7 = 5*m for m.
3
Suppose 32 = -63*h + 67*h. Solve 0*m + 2*m = 5*z + 18, 4*z = -h for m.
4
Suppose 0 = -0*d + d - 3. Solve -g - 3 = -d*s, -5 = 2*s + 2*g - 5*g for s.
2
Let s = -10 + 13. Suppose l - 8 = -s. Solve 0 = -p - 4*c - 9, 0 = -4*p + l*c - 0*c - 15 for p.
-5
Let t(l) = l**2 + l. Let y = -5 - -4. Let v be t(y). Suppose -3*a = -5*f - 20, 2*a + v*f + 2*f = 8. Solve -w + 2*w = -a*m + 25, -2*m + 10 = 2*w for w.
0
Let q(s) = s**3 - 6*s**2 + 2*s - 6. Let t be q(6). Solve 5*o - 33 = t*m - 2*m, 0 = -3*m - 6 for o.
5
Let g(x) = 4*x - 10. Let u be g(3). Suppose -2 = -u*q - 4, 0 = -o + q + 6. Solve -3*p = -p + o*y + 33, -2*y - 6 = -p for p.
-4
Suppose 0 = 3*x - 32 + 11. Let t = 9 - x. Solve -5*w + 17 = 3*y + t, -5*y + 25 = -w for w.
0
Suppose -2 = -5*p + 13. Solve -2*d - 3 = 5*k - 33, -k + p*d = 11 for k.
4
Let s(a) = -a**2 - 5*a - 1. Let f be s(-2). Suppose -2*j + 3 = 3*v + 10, -f*j - v + 15 = 0. Solve 16 = 2*d + 4*k, -j*d - 3*k + 11 + 1 = 0 for d.
0
Let g(x) = 1 + 5*x - 4 + 1 + 3. Let j be g(1). Suppose 0 = -2*q + 5*q - j. Solve -3*i + 0 = m - 11, -q*m + 2 = i for m.
-1
Suppose 0 = 2*i - 4*c - 32, -9*c = -4*i - 5*c + 60. Solve -2*y - 17 = 3*r, -7*y - i = -2*r - 2*y for r.
-3
Suppose -2*q + 7*q + 25 = 0. Let m(y) = -y**3 - 5*y**2 + 5. Let v be m(q). Let s = 8 - v. Solve 0*c - 5*j + 17 = -4*c, 2*c + s*j = 19 for c.
2
Suppose -4*i + 9 + 15 = 0. Suppose 0*w + 2*w = i. Suppose 5*p = -o - 16, 4*p = -4*o + w + 13. Solve -3*m + o = g, g - 2*m + 5 = 2*g for g.
-3
Suppose 0 = -0*d - d. Suppose 3*y = 3 - d. Let s = y - -3. Solve 3*f + 3*m - 4 = 2, 3*f = -4*m + s for f.
4
Suppose 0 = -2*b + 11 + 67. Let o be (1 - 0)/((-1)/(-2)). Suppose -2*y + 3*r = -b + 4, 30 = 4*y + o*r. Solve y*i = 5*i - 2*k + 14, 0 = k - 2 for i.
2
Let s be ((-18)/(-72))/((-1)/(-8)). Solve 7 = c - t + s, -4*c - t = 0 for c.
1
Let t(u) = u - 3. Let c be t(5). Solve 3*s - 2 = 3*q + 4*s, 3*s + 6 = -c*q for q.
0
Let y be -12 - (-2 + (0 - -1)). Let q = 25 + y. Solve -7*s - 2*v + 10 = -3*s, -5*s - 2*v = -q for s.
4
Let s(l) = l**3 - 11*l**2 - 12*l + 11. Suppose -t = -4*p + 2*t + 48, -2*p - 3*t + 24 = 0. Let z be s(p). Solve 3*i + 2*a = -1, i - 5*a + 12 + z = 0 for i.
-3
Suppose 0 = 4*a - 3*a - 12. Let y be (-4)/6 + (-28)/a. Let h = 17 + y. Solve 4*p - 4*d + 8 = 0, -2*p - 6*d - h = -3*d for p.
-4
Suppose -2*w + 9 = -3*f - 6, -20 = -2*w + 4*f. Suppose 12 = 2*i - w. Solve -3*m = -i, 2*n + 13 = 5*m - 7 for n.
-5
Let v(c) = -c - 1. Let d be v(-2). Let b be d*-8*(-15)/(-10). Let m = b + 20. Solve -4*z + m = 0, -12 = -5*l - 2*z + 12 for l.
4
Let w = -20 + 24. Solve w*y - s = 0, 0 = 4*y + y + s + 9 for y.
-1
Let i = 1 - 1. Let p(a) = -4*a**3 + a**2 - 3*a + 3. Let u be p(-3). Suppose 3*c + 0*c - u = 0. Solve -2*s = 3*f + 7, i = -3*s + 4*f - 11 + c for s.
4
Let a(g) = 13*g - 42. Let z be a(5). Solve -3*x - z = 5*c, -x + 2 = x - c for x.
-1
Let g(z) = 3*z + 4. Let j(r) = -2*r - 2. Let y(p) = -6*g(p) - 10*j(p). Let q be y(3). Solve u + 6 = -q*w + 5*u, -2*w - 14 = 4*u for w.
-5
Suppose 2*p + a - 26 = 3*a, 0 = -3*p - 5*a + 47. Suppose -b + 8 = 3*c, 4*b - 2*c - 4 = p. Solve -11 = 4*o - q, -o - 23 = -b*q - 6 for o.
-2
Let p be 66/14 + 8/28. Let v(t) = t**2 + 1 + 1 + 1. Let d be v(-5). Solve 0 = -3*x - 3*k + d - 13, 5 = 5*x - p*k for x.
3
Suppose 7*j = 2*j - z - 109, 3*j + z = -67. Let t be 2/7 - 78/j. Solve -5*g = -3*f + 31, -4*f - t*g + 3 = -3*g for f.
2
Let b(k) = k**2 - 6*k - 5. Let i be b(7). Solve -z - 5*j - 16 = 0, 3*j = 4*z + j - i for z.
-1
Suppose -2*i = 8 + 2, 3*i = -5*b - 5. Solve 5*x + 2*z = 7, 4 - 1 = b*x + z for x.
1
Let o = 2 + -2. Let l(s) = s**2 + 5*s + 12 - 3*s + 2*s - 5*s + s**3. Let i be l(o). Solve q = 4*h + 12, -3*h - q = h + i for h.
-3
Suppose 2*m - m = 4. Solve 5*b - 34 = -k - 2*k, k = -m*b + 23 for k.
3
Let t be ((-3)/(-6))/(-1)*0. Suppose l = 3*h + 91, -3 = -3*h - 3*l - 90. Let m be (h/25)/(2/(-5)). Solve t = -g - 5*z + 12, -4*z + 16 = g + m*g for g.
2
Suppose 2*u + h + 2*h + 35 = 0, -h - 5 = 0. Suppose y = -3*d + 15, y + 0*y - d = -1. Let b be u/(-8)*(y - -1). Solve -3*g - 3 = -2*k + 7, 5*k - 20 = b*g for k.
2
Suppose -8*q + 2 = -30. Solve 0*r + z = r + 4, -4*r - 2*z = q for r.
-2
Let p be 2/8 - (-1)/(-4). Suppose -5*t - 4*g - 27 + 67 = p, 0 = t + 3*g - 19. Solve -t*d + 5*v = -20, -2*v = 2*v + 16 for d.
0
Suppose 4*y - 1 - 3 = 0. Let c be 1/y + (-1 - -3). Suppose -100*i = -81*i - 57. Solve -c*b - 4*r - 13 = 2, -i*r = 9 for b.
-1
Let l be 6*(-1)/(4 - 6). Solve 4*r + 5*z - 28 = -l, 10 = 3*r + 2*z for r.
0
Let t(z) = z**2 - 6*z - 5. Let u be t(6). Let r = u + 9. Solve 5*c + r*d = 0, 0 = c + d - 4*d for c.
0
Let z be ((-3)/(-5))/((-1)/(-5)). Let j be 3/(z*(-3)/(-9)). Suppose 0*s = -4*c - 3*s + 32, 0 = -c + s + 1. Solve -5*r - c*d = -10, -r - 13 = -j*d + 1 for r.
-2
Let z be ((-6)/(-2))/(3/4). Let m = z - -16. Suppose -4*w + 15 = 3*j, 4*j + 3*w = 4*w + m. Solve j*i - 25 = 0, -40 = -2*t - 3*t - 4*i for t.
4
Let b = 7 - 11. Let u be 1/(-2) + (-2)/b. Solve 5*x - 3*t = 0, u = -3*x - 7*t + 2*t for x.
0
Let l be (1 - (5 + -10))*(-1)/(-3). Solve -5*m + v - 28 = 0, 2*m = -l*m + 4*v - 32 for m.
-5
Let x(c) = c**3 - 3*c**2 - 2*c - 4. Let b be x(4). Let h be -4*(3 + (-2 - 0)). Let t be 1*10 + 4 + h. Solve -b*l - 5*n = -n - 40, 2*n = 4*l - t for l.
5
Let o(u) = u**2 + 6*u - 7. Let n be o(-7). Suppose -s = -n*s - 3. Solve 5*h - 15 = -5*r, -2*r + 15 = s*r - 5*h for r.
3
Let x(r) be the third derivative of r**6/120 + r**5/60 - r**4/24 + r**3/2 - 2*r**2. Let v be x(0). Solve g - 3*t + 3 = 0, v*t = -g - 2*t + 13 for g.
3
Suppose -6 = -4*w + 6. Solve 0 = -o - 2*a - 0*a - 5, w = -2*o + 3*a for o.
-3
Let f(a) = a + 6. Let v = -10 + 6. Let o be f(v). Solve 15 = m - 4*x, m - 7*x - 18 = -o*x for m.
3
Let p = -18 - -18. Suppose -5*v + 82 = -u, -5*v - 2*u + 77 + 14 = 0. Let r = -8 - -19. Solve 0 = b + 2*d + r, -d = -4*b - p - v for b.
-5
Suppose -5*j = -2*j - 6. Let v(a) = 3*a**3 + a**2 + 2. Let l be v(j). Solve -4*y + 15 = y, 3*r = 5*y - l for r.
-5
Suppose 0 = 3*s + s - 8. Suppose 3*f - r = 32, 5*f + s = -3*r + 46. Let b be 26/f - 9/15. Solve -q - b = -j, -j + 9 = -3*q + j for q.
-5
Let b be 3 + 10/(-1 + 3). Solve -b*f - 2*y = -3*f - 17, -f - 4*y + 7 = 0 for f.
3
Let d be -3 + (-2 - -7) + 0. Solve 0 = -d*x + 4*z - 8, 0 = 5*x - 3*z + 3 + 3 for x.
0
Let m be (0 + 0/2)/1. Suppose m = 2*v - 12 - 4. Suppose 0 = -k + 5*r - r, 3*k - 4*r - v = 0. Solve -k*j = -3*y - 0*y - 19