pose 0 = -4*w - 3*v + 23, -18 = -40*w + 41*w - 4*v. Solve w*f - 2 = 3*b + 6, 20 = 5*f for b.
0
Let s(j) = 9*j + 142*j**3 - 7*j**2 + 9*j + 17 + 61*j - 143*j**3. Let l be s(-13). Solve 10*b = -4*i + 6*b + 4, l*i - 4 = 5*b for i.
1
Let l(v) be the third derivative of v**5/60 - 5*v**4/24 + v**3/2 - 2*v**2 + 31*v. Let z be l(5). Solve 0 = -2*g + 10, 0 = -2*h + 4*h + z*g - 9 for h.
-3
Let s(w) = w**3 - 6*w**2 - 12*w + 37. Let a be s(7). Suppose -6*g + 2*g + 20 = 0. Let f = g - 1. Solve c - f = i, -3*c + i = a*c for c.
-1
Let s be (6/6 + 13)*(-2)/(-4). Solve 0 = -5*t + 5, -6*p - 3*t = -4*p + s for p.
-5
Suppose -5*u = -s - 13, 0 = -5*s - 6*u + 3*u + 19. Suppose 2*v + 0*t - t - 15 = 0, 5*v - s*t = 35. Solve 3 = -5*x + 4*y, v*x - y - 1 = y for x.
1
Suppose 437 = 23*i + 3427. Let f be i/30 + (-2)/(-6) + 19. Solve 3*z - 3*r + f = 0, 10 = 4*z + r + r for z.
0
Let g(r) = 8*r**2 - 7*r**2 - 6 + 3 + 1 - 7. Let p be g(4). Let f be ((-10)/(-6))/((-2)/(-6)). Solve -j - 2*b = p + 7, 3*b = -f*j - 35 for j.
-4
Let s be (7 - (-16)/2) + -12. Solve -15*d + 11*d + 4 = 2*m, -s*m = -d + 15 for d.
3
Suppose 4*d - 53 = -41. Suppose -3*m = -5*m - 3*t - 1, 0 = d*m + 5*t - 1. Let n be (12/9)/(m/(-12)). Solve -n*h = h + 3, 2*s + h + 11 = 0 for s.
-5
Let d be 1/54 - 1601/86454. Let f be 0 - 1*(2 + -4). Suppose f*l = 7*l - 15. Solve l*c - 12 = 0, 5*y = -d*y - 3*c - 3 for y.
-3
Suppose 0 = 1775*h - 1839*h. Solve -2 = 2*n + f, h - 24 = -4*f for n.
-4
Let b(y) = -y**3 + 5*y**2 - 8*y + 13. Let p be b(3). Solve 0 = -l + 3*l + 2*a - 8, -a = 2*l - p for l.
3
Suppose -11*h = 10*h - 11*h. Suppose h = 2*n - 8. Solve -i = -3*l - 4*i + 3, -13 = -n*l + 5*i for l.
2
Let h be (1 - (-9)/(-7)) + 552/21. Suppose h*p - 23*p - 3*t = 3, -2*t + 4 = 0. Solve -p*z = -2*b + 4 - 15, 4*b - 28 = -4*z for b.
2
Suppose -111 + 96 = -3*i. Suppose i*v - c = 68, -4*v + 0*c + 5*c + 46 = 0. Solve 5*n = -4*b, -v - 22 = -4*b + 4*n for b.
5
Let l be (-49)/(-28) + 2/8. Let t = 140 - 138. Suppose 0 = -w + t, -2*w - 2*w - 37 = -5*q. Solve 4*a + q = l*x - 3, a + 3 = -4*x for a.
-3
Let z(x) be the second derivative of x**3/3 + 44*x. Let o be z(0). Solve -5*l = 5*s - 15, o*s = 2*l - 3*s + 9 for l.
0
Let i(t) = -72*t + 2306. Let d be i(32). Solve 2*h = d*u + 18, 5*u + 17*h - 13*h = 0 for u.
-4
Let v be 41 + 272/(-1 + -15). Solve 0 = 5*z - 10*g + 11*g + v, 3*g = 4*z + 23 for z.
-5
Let m = -18603 + 18606. Solve 3*w + m*o = -12, 4*w + 18 = 7*w - 3*o for w.
1
Suppose 0 = -f + 2*z + 20, -14*z = -5*f - 17*z + 9. Solve 5*c = -f*i + 49, -4*i - 12 = -7*i for c.
5
Let h(i) = -7*i - 10. Let s be h(-2). Suppose -3*r + 6*r = -s*p + 6, 4*r = -p - 5. Solve 3*q = -p, -2*q = -5*k - 0*q - 18 for k.
-4
Suppose 0*w - 3*w + 3*f = -12, 2*w + 5*f - 8 = 0. Solve -t = -w*j - 4*t - 23, -5*t = 2*j + 15 for j.
-5
Let b = -83 + 88. Suppose h + 10 = 5*c, b*h + 7 = 2*c + 3. Solve -4*f = -2*z + 5*z + 11, -8 = 4*z + c*f for z.
-1
Suppose -3*u = -6, 8 = 2*m - 3*u - 2. Let s be (11/(-4) + 6/m)*-15. Let w = 33 - s. Solve 2*j = -i + 11, -4*j + 3*j = -w for i.
5
Suppose -18*c + 81 - 27 = 0. Suppose 3*j - 7*r = -6*r + 18, 5*j + c*r - 16 = 0. Solve -30 = -j*a + 5*i, -2*a + 5*a - 21 = 4*i for a.
3
Let l be (5/(-3))/(3/(-54)). Suppose m + 2*m = l. Suppose m*c - 14*c = -60. Solve 0 = -5*k - c, 6*n - 3*n + 2*k + 12 = 0 for n.
-2
Let k = 1161 + -1154. Solve 4*h - 2*q = -q - 5, 0 = -2*h - q - k for h.
-2
Let v(w) = 4*w**2 - 72*w + 306. Let c be v(6). Solve c = 3*f - l, l = -5*f - 20 + 42 for f.
5
Let q = -40 - 57. Let b = -94 - q. Suppose 2*n - 24 = -2*t, -3*n = n + b*t - 50. Solve 3*p + n = 2*f - p, p = -f + 1 for f.
3
Suppose 5*n + v - 29 + 17 = 0, n - 9 = 2*v. Suppose -6*w + n*w = 2*f - 37, 2*f = -8. Solve g - 2*a - 3*a + w = 0, -12 = -4*g + 2*a for g.
5
Let v = -286428 + 286433. Suppose -2*t = -13 - 19. Solve v*a - 3*s + 13 = 0, t = -s - 3*s for a.
-5
Let b = 22 - 18. Let a be (2 - 4) + 3 + b. Suppose 5*s - 17 = -j, a*j - 2 = 2*s + j. Solve 0 = -3*p + s*u, -3*p + 2*u + 8 = -5*p for p.
-2
Suppose -3*g - 3*v = -12, 0 = -2*g + v + 7 + 4. Let w = 129 - 77. Let r be w/12 - (-3)/(-9). Solve -15 = -5*a, -g*a + 20 = r*p - 5*p for p.
-5
Let x = -4480 - -4489. Solve -2*q - 20 = 3*r, 20 = -4*q + x*r - 10*r for q.
-4
Let n(i) = 4*i**2 + 36*i + 35. Let d be n(-8). Solve -c - 1 = 2*x, 17 = 5*c - d*x - 17 for c.
5
Let t(k) = 3*k - 1. Let r be t(-1). Let j be 0 + 14 - (-2 - r). Suppose 4*f + 5*c + 5 + 8 = 0, 0 = c + 5. Solve -8*i + j = -4*i - f*v, 0 = 2*i + 5*v - 6 for i.
3
Let f(j) = j**2 + 56*j + 6. Let q be f(-57). Solve 4*h - 20 = 0, -h = -q*l + 58*l for l.
1
Suppose 4*a + 59 - 123 = -4*a. Solve t + a = -12*i + 17*i, 0 = 4*i - t - 6 for i.
2
Suppose -r + 10 = 3*p, -3*r = -p + 2*p - 6. Let a be (-6)/(-8) - (-136)/32. Solve -p*l - a*u = 9, -u = 2*l + 3*l - 7 for l.
2
Suppose -6*h = -h - 15. Let u be h + (-2 - 6/(-2)). Let r = -27978 - -27982. Solve -u*q = r*z + 2 - 22, -5*q + 25 = z for z.
0
Let y = 18517 + -18515. Solve 15 = 4*u - y*u - 5*t, -t - 16 = -3*u for u.
5
Let r = -318 - -333. Suppose 4*c - r = 4*s - 3, -5*c + 29 = 2*s. Solve 5*u = 2*w - w + 10, 0 = s*w - 3*u + 13 for w.
-5
Suppose -15*u - 2839 = -199. Let c = -174 - u. Solve -2*i - 3*g - 13 = 0, 0 = -c*g + g - 1 for i.
-5
Suppose -5*g + 3*g = 0. Suppose 2*d - d = g. Let z be 1*(9 + -5) + -2. Solve -5*l + 5 = i - d*i, 4*i = z*l - 2 for l.
1
Let c(h) = h**3 + 10*h**2 + 11*h + 14. Let a be c(-9). Let r be 0/2 - (1 + a). Solve -3*s = r*l - 0*l + 15, 5*l = -3*s - 15 for s.
-5
Let g(a) = 7771*a**2 - 6 + 10*a + a**3 + a**3 - 7763*a**2 - a**3. Let c be g(-6). Solve -3*j + c = -0*j + 3*n, 0 = -n for j.
2
Let l(j) = 13*j - 86. Let x be 4/(-7) - (-636)/84. Let f be l(x). Solve a = -f, h + 7 = -0*a - 2*a for h.
3
Let o(m) = 9*m + 14. Let y(c) = 11*c + 18. Let f(n) = -4*o(n) + 3*y(n). Let b be f(-2). Solve k + 0*k = -5*t, b*t - 2*k + 14 = 0 for t.
-1
Let l(t) = 4*t**2 - t - 197 - 3*t**2 + 179. Let o be l(-4). Solve -3*w = -9, -o*x - 3*w = -5*w + 10 for x.
-2
Let d be (-4692)/(-966) - 1/(-7). Solve 0 = 5*m + d, 2*m + 17 = -4*t - 1 for t.
-4
Let v(t) = t**3 + t**2 + 17*t + 5. Let b be v(0). Solve 3*m + w = -12, 3*w = m - b - 1 for m.
-3
Let p(i) = -2*i + 4*i**2 + 1 + 4*i**2 - 7*i**2 + 14*i**3 + 0. Suppose z = -0*z + 1. Let j be p(z). Solve -5*l - 11 = 4*v, 3*l + 3 = 2*v + j for v.
-4
Suppose 106 = -4*u - 110. Let b be 1*2 + u/(-27). Solve 0 = -4*v + b*k - 4, -2 = -v - 3*k - 11 for v.
-3
Suppose 803*j - 794*j = 36. Suppose -4*m - 7 = -3*s, j = s - 6*m + 3*m. Solve 4*w + 9 = s, -12 = -5*d + w for d.
2
Suppose -2*m = -0 - 4. Suppose -152*t + 283*t = 0. Solve 2*d = -2*z + 8, 5*d + t*z + m*z = 5 for d.
-1
Let i = -1 + 17. Let p(s) = s**2 - 20*s - 189. Let w be p(-7). Solve w = -2*v - 3*a - 4 - 9, 5*v + 2*a = -i for v.
-2
Let d be (-1 - -1)/((-62)/62). Solve -3*j = -5*q - d*q - 23, -4*j = -4*q - 20 for q.
-4
Let s be (-9)/(-21) + (-11392)/56. Let h = s - -207. Solve -6*y - 4 = h*n - y, y + 3 = -3*n for n.
-1
Let s be 10/4 + 7/((-14)/(-3)). Let d be (-5)/(8 - 3) + 21. Let b = d + -16. Solve v - 1 = b*w + 10, -w = 2*v - s for w.
-2
Suppose -6*p + 139 = -11. Suppose -73*h = -68*h - p. Solve -24 = -h*r - 0*r - 2*o, 2*o = 3*r - 8 for r.
4
Let i = 8687 - 8683. Solve -j + 11 = 2*z, i*j - 11 = z + 6 for z.
3
Let k(s) = 4*s**2 + 139*s - 165. Let o be k(-36). Solve 14*i - o*i = -5*h + 21, 17 = 3*h - 5*i for h.
4
Let t be (-6)/(-81)*1 + (-4830)/(-405) + -10. Solve -t*l = l - 5*g + 11, 0 = 4*l - 5*g + 8 for l.
3
Let r be 5 - (-22 + 4)/(0 + 2 + 0). Solve 4*h = 2*w, -11*h - r = -8*h + 2*w for h.
-2
Suppose 2155 = 92*t + 223. Solve 3*v + 3*w - 6 = 0, -25*w = 3*v - t*w - 8 for v.
0
Suppose 100*v - 791 = -191. Solve -3*b - 2*k - 2 = 0, -b - 17*k + v = -13*k for b.
-2
Let t(i) = i**2 - 28*i - 1560. Let d be t(-28). Solve 9*p + 2*m + 2 = d*p, -2*m = 4*p - 10 for p.
4
Let h(i) = i**2 - 5*i - 50. Let k be h(10). Let x be k*(18/(-12) + 2). Solve 0 = -2*c + w + 2*w + 4, -5*c + 5*w = x for c.
-4
Suppose 0 = 40*q - 68 - 12. Solve d = -m + 3, q*m = 6*d - 5*d for d.
2
Suppose -3*r + 322*y + 18 = 324*y, -3*r + 21 = 3*y. Solve -r*d = -5*q + 31, 2*d + 3*d = -6*q - 2 for q.
3
Suppose -17*l + 6 = -14*l. Let t be l - ((-20)/(-4) + -7). Solve 2*f = -4*d - 12, 7*f - 3*f + t*d = -12 for f.
0
Let i = -14871 + 14876. Solve 5*o - 37 = -h - 54, i*o + 20 = 0 for h.
3
Let p 