-4*i - 2*j = -28, -i + 6*i = -2*j + b for i.
5
Let v be (-166)/(-10) + 4/10. Let h(y) = -y**3 - 6*y**2 - y - 1. Let d be h(-6). Solve 1 = -r + 4*o - 6, -d*r + 2*o = v for r.
-3
Let s(m) be the first derivative of -m**2/2 - 3*m + 1. Let n be s(-8). Suppose -2*a + 3*l - 2 = -7, a - n = 4*l. Solve 2*j - 17 = 4*i + j, -i + 2*j = -a for i.
-5
Suppose -60*t + 56*t = -20. Solve -u + 3*a - 7*a - 11 = 0, -4*a = t*u - 9 for u.
5
Suppose i - 5 = -l - 1, -4*l + 5*i = -25. Solve 0 = -2*a - 4*k - 4 - 6, -3*k = -l*a + 27 for a.
3
Let m(b) be the third derivative of -b**5/60 + 5*b**4/24 - 2*b**2. Let k be m(5). Solve 5*d + 3*o - 12 = 0, -d - 3*o = -k*d for d.
3
Suppose 3 = -4*n + 11. Let v be ((-3 - (-2 - 3)) + -5)/(-1). Solve -3 = -r + n, -7 = v*x - 2*r for x.
1
Suppose 140 = 5*p - 2*r, -p + 3*r + 6 = 7*r. Suppose 17*a - 3*a - 42 = 0. Solve 0 = 3*s - 2*b - 11, -a*s - 5*b + p = 1 for s.
5
Suppose 5*o + 0*s = 4*s - 55, -4*s + 25 = -3*o. Let i(a) = a + 15. Let l be i(o). Solve l = -4*f + j - 19, 3*j - 7 = f + f for f.
-5
Let u be (-1 - 76/(-16))*4. Solve 2*j + 0 = -3*a + 9, -5*a + u = -j for j.
0
Let p = -6 - -8. Solve 2*s - w + 4 = 9, p*s - 9 = 5*w for s.
2
Let f be -3*(8/(-6) + 0). Suppose 3 = -3*t - f*i + i, 4*t = 4*i + 36. Let a = t - 1. Solve -3*l - 10 = -2*y, 9*y = 4*y - a*l - 17 for y.
-1
Let k be 1 - ((-2)/(-8) - (-119)/(-28)). Solve -3*o = -0*o - k*r - 4, -o - 4*r = 10 for o.
-2
Let k be 8/(-2) - -3 - -4. Solve -4*s + 2 = 5*r, k*s - 2*r = 6*s + 2 for s.
-2
Suppose -2*a - 15 = -5*a. Solve -a*d = 2 + 3, r + d - 1 = 0 for r.
2
Suppose -2*p = 3*p - 20. Let v be p - ((-4)/1 - -4). Let n be (-40)/6*(-9)/6. Solve 2*d = -4*f - n, -f + 3*d = -v*f for f.
-5
Suppose -5*j = -c - 11 - 11, 0 = -5*j - 2*c + 31. Suppose j*w - 20 - 85 = 0. Solve 5*n = -2*p + 20 + 3, w = 5*n + 4*p for n.
5
Let c be 1/2 + (-1)/2. Let l(o) = o**2 - o + 5. Let a be l(c). Solve 0 = 4*q + 12, 3*q + 34 = -10*m + a*m for m.
-5
Suppose -7*k + 7*k = -9*k. Solve -3*s - 2*h = 2*h + 4, -2*s - h - 6 = k for s.
-4
Let v = 1 - -1. Suppose -o - 20 = -4*o + 5*w, 0 = -o + 3*w + 8. Let r be -2*(45/(-6))/o. Solve 3*s - r*d + 19 = v*d, 5*s + d = 15 for s.
2
Let u = -16 - -20. Solve 0 = 3*m - u*v - 3, 2*m + 3*v + 3 = 4*m for m.
-3
Let s(q) = -q. Let b be s(-2). Let k be 2 + -3 + 0 + 2. Let z be 8 + (-1)/k - -1. Solve -6*l = -r - 2*l + 4, -b*r + z = 5*l for r.
4
Let a be (-1)/(-2) - (-7)/2. Solve 4*i - 17 = 3*x - 0*x, a*i - 14 = 2*x for x.
-3
Let w be (0 + 2/(-5))*-5. Solve w*v - d = -11, -d + 4 = -1 for v.
-3
Let t = 96 + -54. Suppose 0 = -r + o + t, -2*o = -4*r - 3*o + 178. Suppose -7*n + 11*n = r. Solve -3*a - n = 4*j, -3*j - 5 = -2*a + a for j.
-2
Let h(a) = 2*a**2 + 0*a**3 + 4*a**2 + 3 + 8*a - a**3. Let w be h(7). Solve 0 = 5*g + 4*n + w, -g = n - 3 + 6 for g.
2
Suppose 4*c - 16 = 4*s, -3*c + s = -6*c - 4. Suppose t - 5*t = c. Suppose -3*z + t = -9. Solve -z*q + y = 13, -2*y + 0*y = 4*q + 4 for q.
-3
Suppose 0 = -9*u + 4*u + 125. Solve -u = -3*f + 4*z - 0*z, -2*z = -5*f + 23 for f.
3
Let k(t) be the third derivative of t**4/24 + 5*t**3/6 - 2*t**2. Let l = -12 - -17. Let q be k(l). Solve 0 = -2*r + z + 12, -r - 5*z = -5 + q for r.
5
Suppose -5*j + 3*j + 5*q = 14, 4*q = -j + 19. Suppose 3*h = 2*l + j*l - 9, -2*l = h - 8. Solve -4*d + 2*o = 20, 0*o - 4*o - 15 = l*d for d.
-5
Let x(a) = -2*a - 2. Let q be x(-3). Suppose -4 = -d + q*n - 0, -5*n = -5. Solve 3*f + 20 = 2*z, -f + z + d = 4*z for f.
-4
Let i(d) = 3*d - 10. Let w be i(8). Solve 5*j + x - w + 4 = 0, 4*j = 2*x - 6 for j.
1
Suppose 2*j + 2 = -2. Let i be (j/(-6))/(3/18). Solve -2*o + 3*o = -4*h + 6, -h - 2 = i*o for h.
2
Let z be 8/(-44) - 46/(-11). Let j = 21 - 7. Suppose -5*p - z*i + 28 = 0, -j = -5*p + i + 29. Solve -3*k - 4 = -0*g - g, -2*k - p = -2*g for g.
4
Suppose 0 = 3*m - m - 2*f + 4, -3*m = -f + 10. Let s be ((0 - 2) + 1)*m. Suppose -7*v = -s*v - 9. Solve 0 = -4*k + v*i + 31, 2*k + 2*k + 3*i - 1 = 0 for k.
4
Let u = 12 - 6. Let d = 9 - u. Solve -2*k = -5*z + 15, -3*z = 8*k - d*k - 9 for z.
3
Let t = 0 - 0. Suppose 0 = -t*p - 2*p + 8. Solve v + 5*u = -5, 2*u = p*v - 2*u + 20 for v.
-5
Suppose 0 = -4*a - 4*o + 4, 2*a - o + 2 = -2*o. Let g = -10 + 18. Let l = a + g. Solve -2 = -2*r + 3*p - 6*p, -l*p + 18 = -4*r for r.
-2
Let q = -5 - -9. Suppose -q*t - 5 = -1. Let i be 54*t/(-8)*4. Solve -2 = 5*b - i, 0 = -p - 4*b + 15 for p.
-5
Let l = -14 - -8. Let b be (-4)/6 + 56/l. Let c be 2/b - (-5)/25. Solve -i = -4*f - c*i - 19, -5*i + 27 = -3*f for f.
-4
Let x = 12 - 7. Solve v + 4*v = x*g - 30, -v = -4*g + 18 for v.
-2
Let f be 5*(-2 + 2 + 1). Suppose 0*o = -4*k + 2*o + 62, 5*o = -5. Let w be 7/14 - k/(-2). Solve -s + w = 5*x - 4*x, 2*x + 5 = f*s for s.
3
Let t = 4 + -1. Suppose -2*j - 3 - 1 = -3*g, -g = j - t. Suppose g*f = 2 + 4. Solve 4*m = -2*i + 5*i - 24, 5*i - 29 = f*m for i.
4
Let w(b) = 2*b - 6. Let i be w(4). Let p be (-7)/(-1 + 0 + 2). Let o be 2*1 - (4 + p). Solve 0 = -q - f + i, -q - 2*q = -o*f + 26 for q.
-2
Let x = 3 - 8. Let m be 17/x + 6/(-10). Let i = -2 - m. Solve 3*v + d + 14 = 0, 16 = -4*v + i*v - 2*d for v.
-3
Suppose -20 = -2*j - 20. Solve -5*q + j*q - 20 = -2*g, -5*q = 3*g + 20 for g.
0
Suppose -2*t = -2*g - 12, -5*g - 12 = -0*t + t. Let b = 1 + 4. Solve -i - t*q = -2 + 1, 9 = -b*i - q for i.
-2
Let k be ((-6)/18)/(2/(-18)). Let u(a) = a**3 + 7*a**2 + 6*a + 1. Let r be u(-5). Solve -m = 5*z + r, k*m - 5*m - 2 = 0 for z.
-4
Let b(z) = z - 1. Let d be (-8 + 6)/(2/(-3)). Let x be b(d). Suppose 3*q = -x*q. Solve -3*c = 4*v + 1, q*v + 2*c + 8 = v for v.
2
Let f = 14 + -8. Let w(r) = -r**3 + 6*r**2 + 3. Let u be w(f). Solve -b - 6 = -2*q, 2*b + u*b - 14 = -q for q.
4
Let z(c) = -16*c - 28. Let o be z(-2). Solve -3*r - j + o = 0, 3*r - 2*r - 5*j = 28 for r.
3
Let v be (-4)/6 + 20/12. Let d be 0 + v + 4/2. Solve 5*t - 25 = 0, -d*s - 3*t + 4 = -t for s.
-2
Let r = 20 - 18. Solve -k + 8 + 4 = -4*c, r = -c for k.
4
Let a be 33*(14/(-6) - -2). Let d = 15 + a. Solve -2*g = 5*t + 2, 5*g + 2*t = 3*g + d for g.
4
Let w be 3*-6*2*(-2)/18. Solve 3*b - 4*p - 15 = -7*p, -5*b + w*p + 7 = 0 for b.
3
Let h(f) be the first derivative of -f**4/4 - f**3/3 + f**2/2 - 1. Suppose -8*j = -5*j. Let s be h(j). Solve s = -4*d + 2*i, -d + i = -i for d.
0
Suppose 2*p = 4*p + 36. Let z be (-57)/p + 1/(-6). Solve 2*n - l + 3 = 0, n - l = z*l + 16 for n.
-4
Let a = 13 + -9. Suppose 5*v + a = -p, 5*p + 16 = 2*v + p. Solve 2*n + 5*r - 2*r - 18 = v, -n + r = 1 for n.
3
Let h = -31 - -38. Let c(y) = -y - 3. Let t be c(-6). Solve z - q - 4 = 0, t*z + 4*q - h - 5 = 0 for z.
4
Let g = -153 - -158. Solve -2*b = 3*m + 16, -3*m - g*b - 6 = 16 for m.
-4
Let o be 1/5 - 42/(-15). Let q = -13 + 20. Suppose -s + 4*t = -1, q*s - 2*s = -3*t + 97. Solve -f + 2*v + 5 = 0, o*f = -5*v - s - 12 for f.
-3
Let z(m) = m**2 - 2. Let d be z(2). Let p(n) = n**3 - 5*n**2 - 6*n. Let f be p(6). Suppose a + f*a = 2. Solve a*j = -2*l - j + d, -j = -3*l - 8 for l.
-2
Let g be (-3)/(-6)*1/1*14. Solve -5*j + 2*u - g = -u, -7 = 4*j - u for j.
-2
Suppose 2*y = -2*t - 6, 37 - 1 = -4*y + 2*t. Let w(c) = -c**2 - 7*c + 3. Let j be w(y). Solve -j*a + 3*l - 18 = -6*a, 4*a + 8 = 4*l for a.
2
Let j be ((-2)/5)/(2/(-10)). Let d be (1 - 2)*19 + -1. Let m = 20 + d. Solve m = 5*k - 0*k + j*z + 1, 0 = 2*k + z + 1 for k.
1
Let b(k) = 2*k + 18. Let s(i) = i**2 + i - 9. Let d be s(0). Let m be b(d). Solve -5*z = -2*z + 5*j + 31, -4*z - 2*j - 18 = m for z.
-2
Suppose 10 = 7*d - 2*d. Suppose -2 = -o - d*b, o + 4*b - 4 = -4*o. Solve o*h + 3*h = -3*r, -5*h = -r - 30 for h.
5
Suppose 5*i = 13 + 7. Solve -l - 24 = i*l + y, 5*l = 4*y - 4 for l.
-4
Suppose -t - 6 = -0. Let s = t + 10. Solve 0 = -s*w + 3*l + 7, 4*w + l - 6 = 3*l for w.
1
Suppose -j + 6 - 2 = 0. Let f = -6 - -9. Suppose -f*k = -2*k - 20. Solve -j*d - 20 = 4*x - 0*x, -k = -2*d + 4*x for d.
0
Let d = -23 - -11. Let p = 15 + d. Solve -4*q - p*t + 20 = 0, -q + 5 = -0*t - 2*t for q.
5
Suppose 10 = -2*b + 16. Solve -6*h = -2*d - h - 12, 7 = b*d + 5*h for d.
-1
Suppose -r - 2 = -4*l, -2*r = -l + 6*l - 9. Solve 5*g + 30 = r*j, j - 17 = 2*g + g for g.
-4
Let y = 169 + -166. Solve -y*l + 3*c = -18, -4*c + 3*c = 4 for l.
2
Suppose -h = 1, 2*n - 11 + 4 = -5*h. Let a(z) = -2*z - 2. Let m be a(-5). Suppose -3*s + s + m = 0. Solve -s*k + 9*k - 5*r = 0, -2*k - 4*r + n =