3*a - x*k = -5 for a.
-5
Let r = -5 + 6. Let x be (6/(-10))/(11/(-55)). Suppose 0 = u - x + r. Solve -1 = -n, -2*n = g + u*n for g.
-4
Let t(u) be the third derivative of u**6/60 - u**5/15 + u**3/3 + 2*u**2. Let s be t(3). Suppose -d = -6*d + s. Solve 5*p = d*a + 18, -2 = 5*a + p + 3*p for a.
-2
Let g = 1 + 0. Suppose 8 = -4*n - 4*b - 8, -5*b = -3*n - 4. Let p = 10 + n. Solve -3*q = -2*o - p, 3*o + q - 5 - g = 0 for o.
1
Suppose -3*b = i - 5, 4*b - 4 = i - 5*i. Let c be 4/(-8) - 19/b. Let t be (-34)/c + (-10)/25. Solve -t*p = 3*r + 9, 0 = -5*p - 0*p + 5*r + 15 for p.
0
Let r(m) = -m**3 + m + 6. Let i be r(0). Let k = i - 4. Solve 2*x + 21 = 3*q, 6 - k = -q - 3*x for q.
5
Suppose 25 = -5*l - 0*l. Let o be (-56)/4*(-2)/4. Let x = o + l. Solve -21 = -3*w - 3*h, -x*w - 1 = 5*h - 27 for w.
3
Let q = -9 - -4. Let k = 6 + q. Solve 2*m = -k - 3, -3*v = -m - 14 for v.
4
Let w = -463 + 477. Suppose -2*h = -h - 7. Solve -3*p = 15, 4*s - p - w - h = 0 for s.
4
Suppose -3*k = -1 - 8. Suppose 2*m + 8 = -4*y, 5 = -4*y + 3*m - k. Let q = y + 5. Solve 3*o = -s + 19, 8*s - 3*o = q*s + 5 for s.
4
Let j = -38 - -40. Solve 0 = 2*c + 2*x + j, 0 = c - x + 4 - 3 for c.
-1
Suppose -4*f - u = -61, 0*u + 71 = 4*f + 3*u. Solve 0*t = 2*q - 2*t - f, 3*q = -3*t - 9 for q.
2
Let r = 18 - 14. Solve 4*h = x + 21, -3*h + 2*x + 6 = -r*h for h.
4
Suppose m - 6 = 4. Let x be -3 + m + (-2 - 0). Solve -x*a + l = 2, 0 = -5*a - 3*l - 2*l - 20 for a.
-1
Let s = -1 + 0. Let r(c) = -c**2 - c. Let y be r(s). Solve 4*k + 3 = -b, y*b = 3*b - 15 for k.
-2
Let u(f) = f**2 + 5*f - 3. Let o be (3/(-6))/(1/32). Let c = -22 - o. Let w be u(c). Solve 0 = 2*z - w*t - t - 26, 0 = -4*z - 2*t + 12 for z.
5
Suppose 4*p + 20 = 5*l, -l = l + 4*p - 8. Suppose -2*b - 2*a + 8 = 0, b - a = 11 + 1. Solve -l*n = b, 12 = -5*t + n - 2*n for t.
-2
Let x be (-4)/(-3) + (-4)/(-6). Solve -b - b - x*i + 20 = 0, 4*i - 10 = 2*b for b.
5
Suppose 5*m = -5*t + 30, 0*t = -t + 1. Suppose -17 + m = 4*w. Let i = w + 7. Solve -3*r - 27 = -5*g, -4*g - 9 = -i*r - 37 for g.
3
Let u be 1/4 - (-102)/(-24). Let h(o) = o**3 + 4*o**2 - o + 2. Let i be h(u). Solve 4*w - 1 = -g + 6*g, -g = 5*w + i for g.
-1
Let v = 6 + -8. Let q be 0 + (3 - v) + -1. Solve 0 = -q*f + 3*u + 1 - 9, 5*f + 41 = -4*u for f.
-5
Let v(l) = l**3 - 3*l**2 - 10*l + 4. Let u be v(5). Solve -2*b = -0*b + 3*x + 2, 4*b - 2*x + u = 0 for b.
-1
Let t(c) = 3*c + 14. Let r be t(-4). Solve 5*i = -3*j - 11, 2*i - r = 3*j - j for j.
-2
Suppose -5*q = -t + 16, t + 0*t = 3*q + 12. Solve 0 = 4*y + 4*s - 9*s - 13, 0 = -2*y + 2*s + t for y.
2
Suppose 3*r - r = -22. Let f be (-1680)/(-44) + 2/r. Suppose k - 39 = 5*i - 96, -3*k + f = 4*i. Solve y + 6 + i = 4*j, 0 = y - 3*j + 13 for y.
-1
Let l(f) = f + 10. Let m = -19 + 11. Let u be l(m). Solve -3*o - c + 7 = 0, -u*o + 6*o - 4*c = 4 for o.
2
Let g(p) = p**3 + p**2 - p + 8. Let u be g(0). Suppose u*r = 4*r + 16. Solve 4*l = r*x + 7*l + 16, 4 = -x + 4*l for x.
-4
Let f be -3 - (-3 + -1)/(1/2). Solve -f*u + t = -11, 4*u - 4 - 3 = -t for u.
2
Let j be (8 + -7)/(2/(-2)). Let w = j + 4. Solve w*x + 13 = d - 1, -4 = -d + x for d.
-1
Let o be (0 + 0)/(-1 + 3). Suppose 2*y - 6 = -o*y + 5*i, -5*i - 14 = -3*y. Solve -4*m = -0*m - k + y, 2*m - k + 2 = 0 for m.
-3
Suppose 16 = 2*k + 4*c, -2*k + 3*k - 4*c + 16 = 0. Let v be (0 + -8)*2/(-4). Solve -3*f + 9 = 0, h - v*f + 10 = -k*f for h.
2
Let r(l) = 2*l - 3. Let d be r(3). Suppose 5*v + y - 22 = 0, -7*y = -6*y - 2. Solve -i + 3 = v*a, -d*a + 4*i - 3*i - 3 = 0 for a.
0
Suppose -3*y = -y - 12. Let g(k) = -k**2 + 7*k - 3. Let b be g(y). Solve -2*w - 2*m = -5*w - 5, -b*w - 25 = 2*m for w.
-5
Suppose -3*m + 2*m + 11 = 3*n, -2*m + 2*n - 2 = 0. Solve 2*c + 10 = 0, -2*c = 3*l + m + 5 for l.
1
Let j = 60 + -55. Solve -9 = -2*c + f, j*c + 2*f - 21 = 6*f for c.
5
Suppose 5*y + 14 = -1. Let t be -2*y*5/6. Suppose 2*s = -5*b + 8, -2*b + 3*s - 4 + 11 = 0. Solve -2*k + 20 = -0*h + 4*h, -t*h - b*k + 23 = 0 for h.
3
Let o(y) = y**3 + y**2 - 2*y - 1. Let j be o(-1). Solve -4*k = 4*d, 3 - j = -4*k - 5*d for k.
2
Let c(a) = 3*a - 2. Let t be c(2). Suppose -t*i + 2 = 10. Let g = 2 - i. Solve -8 = g*w - 4*f, -4*f + 7 = -2*w - 1 for w.
0
Let u = 38 - 36. Solve -29 = f + f - 5*y, 5*f = -u*y for f.
-2
Let j be (-3)/2*6/(-9). Let t = 135 - 45. Suppose 5 = 4*o - 2*o - 5*h, -5*o - 3*h = -t. Solve -c = 2*c + 5*l + j, -o = 5*c - 5*l for c.
-2
Let n = -52 - -73. Let o be n/14 - 18/(-4). Suppose 4*t + 2*q - 16 = 0, o*q - q = -t - 5. Solve -4*y = t*m - 6, 2*m + y = m + 1 for m.
2
Let b(u) = u**3 - 10*u**2 + 9*u + 5. Let y be b(9). Solve -2*g + 4*x - 1 = -y, g - 3*x = 1 for g.
4
Let o be (-3 - 1) + (-4)/(-4). Let j(r) = r**3 + 4*r**2 - 5*r - 3. Let v be j(-5). Let y = o - v. Solve -4*d + 2*b - 20 = y, 4*b + 0*b = 3*d + 20 for d.
-4
Let p be (-16)/5 + 6/30. Suppose 0 = -3*g + 12 + 6. Let n = g + p. Solve -1 = 4*x - n*t, -5*t = -0*t - 15 for x.
2
Suppose 3*s - 6 = -2*z, -4*z + 0*z = 2*s + 4. Solve -2*n = -k + 2*k - s, -n - 16 = 5*k for n.
4
Suppose 0 = -3*f + 6 - 0. Suppose 0*u + 12 = f*u + 4*z, 0 = 2*u + 3*z - 15. Solve -4*g - u = 5*h + 1, 4 = -2*g for h.
-1
Suppose -76 = 2*w - 86. Solve 2*r - 13 = u + w*r, 2*u + 14 = -3*r for u.
-1
Let d(p) = p + 12. Let h be d(-10). Let n(v) = v - 1. Let g be n(3). Solve -h*j = -g, -2*w - j = -3*j - 8 for w.
5
Let g(j) = j**3 + 3*j**2 - 1. Let u be g(-2). Solve i + 3*z + 2 = -2, 5*z = -u*i - 8 for i.
-1
Suppose -3*p - 2 + 8 = 0. Suppose -p*z + 18 = -0*z + 3*f, -3*f = 3*z - 30. Solve 2*r + 12 = 3*l, 0 = 3*r - l - 2*l + z for r.
0
Suppose -2*a = 3*a. Let z be 1 + a + -3 - -2. Suppose b = 2 - z. Solve 5*x - 4*s + 6 = 31, 0 = -3*x + b*s + 15 for x.
5
Suppose -h + b + 9 = 0, -2*h + 3*b = 6 - 29. Solve 4 = 5*o - 1, 3*o - 19 = -h*v for v.
4
Suppose 13 = -z + 4*d, 1 = 2*z - 5*d + 15. Let y(n) = n**3 - 3*n**2 - 5*n + 6. Let f be y(4). Let r = 5 - f. Solve 5*b + r*g = 28, 12 = 3*b - 0*b - z*g for b.
5
Suppose 7 - 1 = 3*n. Suppose 5 = n*m - 1. Solve 0 = -4*q - 8, -o - m*q = 3 for o.
3
Suppose -a - 7 = 5*u - 0, 0 = u + 3*a + 7. Let b(s) = -7*s**2 + 2*s + 1. Let l be b(u). Let q = -8 - l. Solve -5*j + q*d - 23 = d, -3*j = -5*d - 3 for j.
-4
Suppose -5*r + 6*r = -9*r. Solve 8 = -2*c - 0*c + 3*x, 4*c + 2*x = r for c.
-1
Let d be (-1)/(-3)*(1 + 8). Let u be (-2)/(-5) - (-2)/(-5). Let r = u - -2. Solve 0 = a - 2*q - d, -r*a = 2*a - 4*q for a.
-3
Suppose -2*l = -8 - 6. Suppose 0 = j - 5 - 0. Suppose -3*h = 5*q - 4, -8 - 12 = -5*h + j*q. Solve h*f - 13 = v, -v + 2*f = 3*f - l for v.
2
Let h be (4/(-5))/((-8)/40). Solve -i + 5*c = -2*i - 12, -3*c - 14 = h*i for i.
-2
Suppose 4*a - 2*u - 22 = 0, 1 = -2*a + 3*a - 2*u. Suppose 5*d + a = -3*n + 36, 0 = 5*d - 20. Suppose -1 = j - n. Solve 5*p - j = -27, -5*p - 30 = 5*m for m.
-1
Let d(c) = c**2 + 4*c - 7. Let t be d(-7). Let x = t + -10. Solve 0*b - p + 10 = x*b, -3*b = p - 7 for b.
3
Let l(u) = -u**2 + 9*u + 3. Let w be l(9). Solve -i + 4*q = 8*q + 20, -4*i - 4 = -w*q for i.
-4
Suppose -24 = 4*c - 0*c. Let m(z) = z**3 - z**2 + 4*z - 3. Let q be m(2). Let j be (q/3)/(c/(-4)). Solve w + 5*k - 25 = 0, 0 = -4*w + 3*k + j*k for w.
5
Suppose x - 2*x + 14 = 0. Let g = x - -39. Suppose y + 5*m = -y + g, y + m - 25 = 0. Solve 4 = -2*t - f, -4*t = -5*f + 12 + y for t.
-4
Let g be 8/2*4/8. Let d be g/(-11) + 158/22. Let h = 12 - d. Solve -2*x = -2*a + 12, h*x + 6 = -a - 12 for a.
2
Suppose 2 = 2*p - 6. Solve 2*q = p, -f + 0*q = -q - 1 for f.
3
Let r be (0 + 1 - (-56)/(-21))*-3. Solve -r*n + 23 = -2*o, -2*n + o + o = -14 for n.
3
Suppose -5*h - 2*z + 12 = 0, h - 3*z - 15 - 1 = 0. Suppose -6*k = -h*k. Solve -8*s + 3*s = r - 24, -4*s + 2*r + 22 = k for s.
5
Suppose 6*i - 40 = 2*i. Suppose 0*d - 2*a = d - 11, 0 = -2*a + i. Let v be 6 - (d - -2) - 1. Solve y = v*n - 0*n - 2, -5*n - 13 = 2*y for n.
-1
Let c(v) = -v + 20. Let l be c(15). Solve -2*j + l*j - 3*k + 12 = 0, -5*j = -k + 20 for j.
-4
Let y(v) be the third derivative of -v**4/24 + 3*v**3/2 + 2*v**2. Let r be y(5). Suppose -r = -0*q - 2*q. Solve -q*c + 4 = -o, -3*o = -3*c - 2*c + 11 for c.
1
Let l = 25 + -23. Solve 0 = u - m - 3, -4*u + 7 = -3*u - l*m for u.
-1
Let u = -13 + 18. Solve -t + 1 - 9 = 3*f, f + u*t = -26 for f.
-1
Let r(h) = h - 1. Let m be r(7). Let y be -1 + (m + -3)/1. Suppose 4*x - 4 = -0*x. Solve 0 = -y*t