+ 2*s - 8 = n, -2*h + 16 = -3*h + 4*s for h.
0
Suppose 5*s + 14 = 3*r, 0 = 5*r - 2*r + s - 8. Suppose 4*h - 101 = -4*k - 9, -4*h = -r*k - 71. Solve -3*c - 1 = -5*i - h, -i = 5 for c.
-2
Let b = 17 + -15. Let n be (b + 1)*60/(-18). Let c = 14 + n. Solve w = -2*w - 3*z - 12, c = -3*w - z for w.
0
Let d(f) be the third derivative of -f**6/120 + 7*f**5/20 - 5*f**4/6 + f**2. Let h be d(20). Solve -3*p = 3*q + p - 16, 3*q + 2*p - 8 = h for q.
0
Suppose 0 = 4*m + 5*p - 69, 4*p = 3*m - 4 - 9. Solve -u - 5 + m = 2*x, -2*u = 2*x - 4 for x.
4
Let g(l) be the first derivative of -l**4/4 - 8*l**3/3 + 4*l**2 + 3*l + 9. Let j be g(-9). Let r = j - 9. Solve -d = -3*z + 11, -5*d - 11 = -r*z - z for d.
1
Let i(d) = d**2 - d - 72. Let n be i(10). Solve 4*f - 7*y = -3*y, 3*f + 3*y = -n for f.
-3
Let h be 6/4*3/9*2. Suppose -h = -i + 6. Solve 5*q + 3*x = -i, 0*x = 5*q - x - 9 for q.
1
Suppose 3*o + 4 = 2*m - 34, 77 = 5*m - 3*o. Solve 3*y - 15 = -j, -3*y + m = -2*j - 2 for j.
0
Suppose -12 = -a - 10. Solve -2 = -b - u, -b + a*b = -2*u + 3 for b.
1
Let v = 14 - 11. Suppose 0 = -v*f + 22 - 10. Suppose -3*c = -6*c - 5*x + 22, f*c - 8 = 4*x. Solve 0 = -4*r - t + 25, c*r - 5*t + 5 = -0*t for r.
5
Let x = 14 - -5. Let j = -14 + x. Solve -f = -4*b + 2*f - 6, -5*b - j*f - 25 = 0 for b.
-3
Let h(b) = -b**3 - 2*b**2 - 5*b + 2. Let r(k) = k**2 - k + 1. Let x(f) = h(f) - 4*r(f). Let z be x(-6). Solve -z*w = 5*l - 11, 3 = 2*w + 5 for l.
3
Let y(s) = -1 + 1 + 2*s**2 + 0. Let j be y(1). Let n be 21 - (3 + j + -1). Solve 3*m - 6 = 2*k - n, -m = -k + 5 for k.
4
Let t = -249 + 254. Solve t*b + 20 = -5*m, 10 = -2*m - 5*b - 13 for m.
1
Let c be (-2)/2 - (-2 - 3). Solve -5*o - 35 = 3*d + 2*d, -3*d + 14 = -c*o for d.
-2
Let l = -41 - -51. Let s be 40/24 + l/(-6). Solve -20 = -4*o - s*v + 4*v, -3*v - 11 = o for o.
1
Suppose 17 - 3 = 7*h. Solve s = g - 1, -h*s + 0*s = -3*g + 1 for g.
-1
Let c = -3 + 3. Suppose c = 3*r - 19 - 32. Solve u = -4*m - 3, -3*m + 4*u = 5 - r for m.
0
Let k(d) be the second derivative of d**4/12 - 2*d**3/3 - 3*d**2 - 3*d. Let f be k(4). Let z be 11/3 + f/(-18). Solve z*m + 3*h = 1, 4*h - 11 = -m - 1 for m.
-2
Let a(c) be the first derivative of 13*c**4/4 + c**2/2 - c + 1. Let s be a(1). Solve -11 = 3*x - 0*n - n, 3*x + s = -n for x.
-4
Let g = 682 - 680. Solve -3 = v + 4*s + s, s = g*v + 6 for v.
-3
Let j(x) = -x - 1. Let d be 3*(-3 + 2 - 2). Let a(z) = -z**3 - 9*z**2 + 2*z + 7. Let i be a(d). Let o be j(i). Solve w = -5*k - 0*w + o, -10 = -5*k + 4*w for k.
2
Let g be ((-2)/6)/(2/6). Let x = g + 5. Let c be 14*(-2 - (-10)/x). Solve -9 = 3*i - 3*j, -3*i - c - 1 = -4*j for i.
-4
Let g be (-129)/(-172)*(-2 + 22/1). Solve g = 3*s - 4*f, -4*s - 2 + 22 = 2*f for s.
5
Let i = 525 - 513. Solve -4*z + 23 = y + 2*y, 2*y - i = -2*z for y.
1
Let k be (-78)/65*10/(-4). Suppose -b = -4*o + 11, -4*b - k = -7. Let q be ((-72)/o)/(-4) - 3. Solve q*v - 2*v + 1 = 2*z, 3*v + 23 = -4*z for z.
-2
Let r = 471 + -469. Solve -d + 4 = -4*n, 2*n + 5 = r*d + 3 for n.
-1
Suppose 131*z - 10 = 126*z. Solve -b = -w + 1, 4*w - 3*w = z*b for b.
1
Let n = 17 + -24. Let f be 42/15 + n/(-35). Solve 7*v = 3*b + 2*v - 9, 2*b + f*v - 6 = 0 for b.
3
Suppose 3*r - 68 = -c, -2*r - 126 = -2*c + 2*r. Suppose -c = -2*y - 23. Solve -4*a = -2*i + 26, 2*a + y = 4*i - 1 for i.
3
Let w = -27 - -51. Let p be w/((-3)/(-15)*1). Suppose -4*u = -9*u + 2*y + 92, 5*u = -5*y + p. Solve -4*z - u = -b, z + 2*z - 4 = -4*b for b.
4
Let f be 1 + -4 - 6/2. Let d(w) = -2*w**2 - 12*w + 3. Let r be d(f). Solve r*y = -2*a - 2 - 5, 2*y = -3*a - 8 for y.
-1
Let x be 2 + 7/(-1 - -2). Suppose 3*j - x*j - 12 = 0. Let s be (-2)/(-4)*j - -1. Solve s = -3*t + 9, -h = h - t - 7 for h.
5
Suppose -2*z + 5*x + 3 = -z, 97 = 4*z - 3*x. Suppose -z = -2*v + 6*v. Let f = -7 - v. Solve -4*i - 4*s + 2 = s, f = -5*i - 5*s for i.
-2
Suppose 2*b + 4*w = 6, 3*b - 5*w - 32 + 12 = 0. Solve 2*k = 4*k + 5*r - 3, -5*r = -b for k.
-1
Let b(k) = -k**3 + 4*k**2 - k - 2. Let x = 10 - 9. Suppose -v + 2 + x = 0. Let u be b(v). Solve 6*w - u*s = 3*w - 17, -4*s + 21 = w for w.
1
Let z = -5 - -8. Suppose z*c - 6 = -4*u + 21, -3*c = -5*u. Solve -3*r + i - 19 = 0, -u*r + i - 3 = 4*i for r.
-5
Let x be -409 - -414 - 1/((-2)/(-6)). Let b = 25 + -17. Solve 0 = -x*o + 5*n + b, 3*n - 6 = 5*o - 26 for o.
4
Let z = -16 - -39. Let w = 2 + z. Suppose 2*c + 14 = 4*k, k - w = -4*k. Solve -2*i + 6 = 4*y, 0*i - c*i = 3*y - 9 for i.
3
Suppose -88 + 78 = -b. Suppose 2*t = -3*v - b, -2*t - 4 = 6. Solve v = -5*z - j - 4*j, z = -5*j - 20 for z.
5
Suppose -5*r - c - 3*c = -16, 4 = -4*c. Suppose s = -r*s + 20. Suppose 17 = 3*i + 4*j, 4*j + 1 = -i - s. Solve 2 = p - a, -7 - i = -3*p - 3*a for p.
4
Let a be 1*(-1 + 1 + 0). Suppose 6751*g + 12 = 6752*g. Solve 5*z + f = 4 - a, 3*f - g = 0 for z.
0
Suppose -2*j + 3*j = 0. Solve -4*x - 16 = 5*l, 0 = -j*l - 3*l + x - 13 for l.
-4
Let h = 24 - 18. Let i(m) be the second derivative of m**4/12 - 2*m**3/3 - 7*m**2/2 + m. Let t be i(h). Solve t*r = -3*z + 10, -2*z = -0*r - 3*r + 25 for r.
5
Suppose -2*t + 33 = -y, -52 = -5*t + 2*t + 2*y. Let l(p) = -p**2 + 13*p + 19. Let q be l(t). Solve q*b = a - 3 - 7, -a + b - 2 = 0 for a.
-5
Let d(h) = -h**3 + 3*h**2 + 12*h + 2. Let a be d(5). Solve -6 = 3*x, 3*c = -3*x - a - 0 for c.
-2
Suppose 0 = 3*d, -3*h - 4*d + 9 = -d. Suppose 144 = 21*g - h*g. Let l be 0/(-1)*(-2 - -1). Solve x + l*x - 12 = -4*a, 4*x + g = -2*a for a.
4
Let s be (-2)/1 + -1 + 19. Suppose -3*m + s = -2. Let y = m - 3. Solve -2*g = p + 3*p + 12, 0 = -p - 3*g - y for p.
-3
Let n(y) be the third derivative of -5*y**4/24 + 3*y**3 + 15*y**2. Let x be n(3). Solve -j - 32 = x*j + 4*u, -4*u = -j + 12 for j.
-4
Suppose 92 = 32*i - 68. Solve -i*s = 20, -5*q + 2*s = s + 6 for q.
-2
Let r be (4/8)/((-1)/(-12)). Solve -w + j - r = 0, w + 0*j = 3*j - 16 for w.
-1
Suppose -l + 12 = 3*l, 0 = 2*x - 5*l + 23. Let w be x/(-16)*(-48)/(-3). Suppose 11 = -r + 3*h, -w*r = h - 2*h. Solve 5*p + 4*n = -3, p + 2*n - r = -4 for p.
1
Let t(m) = -18*m + 2. Let q be t(0). Let u(y) = -y**2 - 6*y - 3. Let a be u(-6). Let w = 3 + a. Solve -2*l - 8 = k, 2*k + q*l + w = -12 for k.
-4
Suppose 3*d + 8*d = -4*d. Solve d = 2*i + 3*u - 13, 1 = i + u - 4 for i.
2
Let d be (51/(-68))/((-1)/4). Suppose -3*w = -3 - 6. Let u = d - w. Solve -4*j - 16 = u, 5*i + 10 + 10 = -5*j for i.
0
Let a be (3/2 + -3)*-2. Solve 4*p = z, -a*z + p = 2*z - 19 for z.
4
Suppose 26 = -13*z + 26*z. Solve z*p - 5 = -g, -3*g + 6*g + 10 = -p for g.
-5
Let t be (16/(-40))/(3/(-30)). Solve -v - 5 = -p - 7, t*p = 5*v - 6 for p.
-4
Let g(j) be the third derivative of j**5/60 + j**4/3 - j**3 - 25*j**2. Let w be g(-9). Solve -s - 14 = w*u, -2*u + 6*u - 4*s = 8 for u.
-3
Suppose -2*w + 2 = -8, -2*w = 2*f + 8. Let j be f/((14/42)/((-8)/9)). Solve 4*l = n + j, -3*l + 5 = -2*l for n.
-4
Suppose q - 2*h + 0 = 6, 12 = 5*q - h. Let c = 56 - 22. Let m = -29 + c. Solve 4*k - 12 = -q*z, k - m*k + 4*z = 12 for k.
1
Let t = -27 + 32. Suppose 0 = -2*k - t*k + 35. Solve 4*b = -3*h + 2*h + 12, -k*b = -2*h - 28 for h.
-4
Suppose 73 = 8*t + 41. Solve 0 = -2*n + d - 3, t*n - 3*d - 1 = 3*n for n.
-2
Let o be (2 - 5)*-1*(-52)/(-6). Solve -3*g + 5*s - 2*s + 18 = 0, 5*g - 4*s - o = 0 for g.
2
Let y be (-1*(8 + 1))/((-21)/14). Let x = 8 - y. Solve -x*v - 5*a + 5 = 0, a + 29 = -5*v + 7 for v.
-5
Let s(j) = j**3 - 2*j**2 - j + 1. Let h be s(3). Suppose -p = -0*p + h. Let o be 2/9 + p/(-9). Solve 3*r + o - 2 = 5*g, 0 = 5*g - 5 for r.
2
Let a(k) = 2*k**2 + 7. Let s be a(0). Let c be 0 - s*(1 - 4). Solve -c = -5*w + 2*z, -w + 3*z = 4*z for w.
3
Let b = 11 + -7. Let a = 204 + -201. Solve -y - a*u = -12, 4*y - 9*y + b = u for y.
0
Let y = 103 + -103. Solve 0 = 5*p - x - 30, y = 5*p - 3*x - 56 + 16 for p.
5
Suppose -6*h = -4*h - 6. Suppose -h*u + 4*u - 2 = 0. Let x be 5/5 + 4 + -2. Solve 2*k + 2 = -4*t, 5*t + 20 = x*k - u*k for t.
-3
Suppose -3*q + 36 = -5*d, -4*q - 2*d + 20 + 54 = 0. Suppose 0 = -7*r + q + 4. Solve 2*t - 6 = -b - 3*b, -21 = -4*b + r*t for b.
3
Suppose 0 = 3*v - 24 + 3. Let n(o) = o**3 + 13*o**2 - 2*o - 26. Let t be n(-13). Solve g + 5*b - 3 - v = t, 5*g - b + 28 = 0 for g.
-5
Let p(g) = -g**3 + g - 6. Let l be p(-2). Solve 0 = -n - l*n + 5, 30 = 5*t + 5*n for t.
1
Let w(d) = d**3 - d**2 + 2*d - 4. Let h = -15 + 17. Let o be 