4*p + c, 0 = 5*z - 20. Solve -5*f + p = 3*h - 2, -2*h + 4 = 5*f for h.
2
Let o be (2/(-3))/(4/(-36)). Suppose 5*q = o*q - 3. Solve -s + f - 26 = 4*s, -q*s - 3*f = 12 for s.
-5
Let t(l) = 3*l - 10. Let i be t(7). Suppose i = 4*n - 9. Solve 4*o = -4*s, -5*o + 2*s = n*s + 6 for o.
-3
Let u(f) = 5*f - 10. Let t be u(6). Solve 4*p + 2*j = t, p - 3*p + 4*j - 10 = 0 for p.
3
Let k(w) = 5*w**2 - 3. Let a(v) = -9*v**2 + v + 5. Let c(o) = -6*a(o) - 11*k(o). Let r be c(-6). Solve 3*u + 27 + 2 = 4*d, -3*u + r*d - 24 = 0 for u.
-3
Let q = -66 + 37. Let h = 36 + q. Suppose 6*u - 6 = 3*u. Solve u*d + h*p = 2*p - 23, 5*d = -p for d.
1
Suppose -5 = -2*u + 3. Let g(s) be the third derivative of -s**5/60 + s**4/6 - s**2. Let o be g(4). Solve -3*t - 2*c + 11 = o, -2*c = -t + 13 - u for t.
5
Let h(k) = -k**2 - 6*k - 2. Let v be h(-5). Solve o = -v*b + 4, -b = -2*b + 4*o - 16 for b.
0
Suppose -5*d + 121 = i, 54 = -2*d + 4*d - i. Let o = -20 + d. Solve c + o = 5*m - 13, 0 = m + c for m.
3
Let y = 35 + -23. Solve 4*r = 3*w - 16, -5*w + y = -4*r + r for w.
0
Let c = -126 - -130. Solve -5*l + 4*m + 13 = 0, -2*l = -0*l - c*m + 2 for l.
5
Let t(f) = -f + 4. Let x be t(-4). Let g be (0 - 1*-11)/(-1). Let l = -6 - g. Solve -l*b = -15, -d - 2*b = -x + 2 for d.
0
Let q(k) = -k**2 - 10*k + 15. Let t be q(-11). Solve -w - 3 = 2*r, 5*w + 29 = -0*w + t*r for w.
-5
Let a = 1 - -1. Let n(h) = -1. Let i(f) = -f - 3. Let x(j) = -i(j) + 3*n(j). Let m be x(2). Solve 10 = -m*p + a*z, 6*p + 22 = 4*p + 5*z for p.
-1
Let s = 1 + -4. Let n = s - -6. Solve n*j + 3*a = j + 4, 5 = 5*j + 5*a for j.
-1
Let f(j) = j**2 - j + 1. Let c be f(2). Solve 0 = 2*y + z - 1, c*z - 8 = y - 26 for y.
3
Let i be (2/(-6))/((-2)/24 + 0). Solve -10 = -i*t + 2*w, -3*t + 2*w + 10 + 0 = 0 for t.
0
Suppose 5*w - 2*p - 35 = 0, 5*w - p = -13 + 43. Suppose -13 + w = -4*t. Solve -t*j - d + 1 = -j, -15 = -5*d for j.
-2
Let x(t) = -t**3 + 15*t**2 + 17*t - 15. Let q = 20 + -4. Let k be x(q). Solve 5*d = -m - 19, 2*m + 0 - k = 3*d for m.
-4
Let c(d) be the third derivative of d**6/40 + d**5/60 - d**4/24 - 2*d**2. Let u be c(1). Solve -3 = b + u*m, -4*b + 7 - 19 = -3*m for b.
-3
Let p(m) = 2*m**2 + 3. Let q be p(3). Let k = q - 19. Solve -k*y = -0*y + 8, -5*g + 2*y = -28 for g.
4
Let o be (-27 - -2)*(2 - 1). Let k = o - -35. Let d be (-1036)/(-35) - 2/(-5). Solve 0*w = 3*w - a - k, 5*w - 5*a = d for w.
2
Let n = 0 + -2. Let p(i) = 3*i**2 + 3*i + 1. Let z be p(n). Solve 5*v = t + 10, 0 = 5*t - z*t + 4*v - 14 for t.
-5
Let r be (8 - -1)*1 + -1. Suppose 4*v = 4 + r. Suppose -3 = -4*x + 17. Solve 0 = -t - x*c + 15 - 5, -v*t = c - 16 for t.
5
Let q(b) = b**3 + 10*b**2 - 12*b + 3. Let w be q(-11). Solve -2*m - m - 4*r = -8, 0 = 3*m - 2*r - w for m.
4
Let p(z) = -z**2 - 3*z - 3. Let b be p(-2). Let s be 1*b/(2/(-6)). Let t = -1 + 3. Solve 2*o + 5 + 1 = t*m, 0 = -5*m + s*o + 13 for m.
2
Let o(h) = -h - 4. Let u be o(-6). Suppose 0 = -5*a - 23 - u. Let t = -3 - a. Solve -v + 7 = t*d, -v + 2*v + 1 = 2*d for d.
2
Suppose -5*x - b = -x - 57, 3*x - 42 = -b. Solve 2*g = -5*d + x, -4*g + d - 3 + 0 = 0 for g.
0
Let g(x) = x**3 + 3*x**2 + 4*x + 5. Let w be g(-2). Solve 0 = i + 4*d + w - 13, -d = -i - 8 for i.
-4
Suppose x - 5*x = -20. Let u = 18 - 13. Solve -2*b - 2*v = -v - 8, u*v = -x*b + 15 for b.
5
Let y(z) = z**3 - 7*z**2 + 9*z - 9. Let b be -3 + (7 - (-2)/1). Let q be y(b). Solve 10 = 5*l + f, -4*l + 46 = -5*f + q for l.
3
Let u be (((-35)/(-10) - 4)*0)/(-2). Solve u = 5*s - q - 3, -4*s + 5*q = 3*q - 6 for s.
0
Let c be 5/(-2)*(-2 + 0). Let t be 4/10*(5 + c). Let v = 0 - -3. Solve v*a + g + 5 + 0 = 0, -t*g = -3*a + 20 for a.
0
Let x = -2 + 6. Let v be (-6)/(-21) - 177/7. Let s = 46 + v. Solve 5*r + s = 2*k + 1, -16 = -2*r - x*k for r.
-2
Let t = -30 + 34. Solve 0 = 3*l - 3*p - 27, 3*l - 21 = p - t for l.
4
Let m(r) be the third derivative of r**6/120 - r**5/60 + r**4/24 + 7*r**3/6 - 6*r**2. Let g be m(0). Solve 16 = -2*y + 2*b, -2*y + b + g = -6*y for y.
-3
Let y(s) = -s - 6. Let u be y(-8). Suppose 2*w + 1 + 5 = 2*a, u*w = a. Solve 0 = 2*n - a, -3*g - 3*n - 11 = -7*g for g.
5
Suppose -5*i + 4*g + 25 = 0, -4*i - 3*g - 19 = -8. Suppose i = -d - 2*n, d - 5*d + n = -23. Solve 15 = -d*u + 5*z, 0 = -u - 3*z + 2*z - 3 for u.
-3
Let h = -30 - -32. Solve -2*a + 1 = 2*d + 9, 0 = -2*d + h*a - 4 for d.
-3
Suppose 3*s - 12 = v, 2*s + 3*v + 6 = 5*s. Solve -2*l - s*i = 2, -10 = l - 4*l - i for l.
4
Let z(y) = -5*y + 1. Let a be z(-1). Let c = 4 + -1. Solve -6*k + 5*w = -3*k - 3, a = -c*k + 2*w for k.
-4
Let l = 4 + -8. Let i = 8 + l. Solve 5*a = 4*d + 4, -i*d - 4 = -a + 4*a for d.
-1
Suppose -y = -5*y. Solve -3*r - 15 = y, -7*q - 15 = -2*q - 2*r for q.
-5
Let p be (-2)/((8/(-10))/2). Solve -4*h - 21 = -4*u - u, 0 = 3*h + p*u + 7 for h.
-4
Let h(m) = -m**3 + 7*m**2 - 6*m + 4. Let c be h(6). Let n be 10/c - 1/(-2). Solve -4*z + z = 5*o + 16, 2*o = -n*z - 10 for o.
-2
Suppose 5*u - 5 - 13 = 3*g, 0 = -u - 2*g + 14. Let f be (-3)/((-1)/(10/u)). Solve f*j = -4*k + 3 - 5, -2*j = -3*k + 10 for k.
2
Suppose 5*i + 1441 = -4749. Let u be i/8 - (-3)/4. Let y be 2/(-8) - u/8. Solve -5*c + y = -m, -2*m = -4*c - 5*m for c.
3
Let a = 5 - 2. Suppose -g - 4 = -a*g. Let s(t) = -t**3 - 15*t**2 - 27*t - 11. Let x be s(-13). Solve -4*d + g*p = 10, x*d + p = d - 7 for d.
-4
Suppose 3*q = -2*q - 15. Let v = q - -8. Solve -2*t = -o - v, -t - o = -2 - 5 for t.
4
Let h = 7 - 5. Suppose 0 = h*c + 2*c - 32. Suppose -2 = -4*z - s + 6*s, c = 4*s. Solve 0 = -3*p - 3*a - a + 11, -4*p = z*a - 10 for p.
1
Suppose v = -v + 12. Solve 0 = -3*r - v, 8 = -0*q + 4*q + 2*r for q.
3
Suppose -i - 25 = -6*i. Suppose -v = -0*v - i*z - 5, 5*v = -3*z - 3. Solve p - k + 2 = v, -5*p - k = -3*k + 7 for p.
-1
Suppose -9 + 1 = -4*s. Let q(o) = o + 10. Let f(v) = -2*v**3 + 2*v**2 + 2*v - 2. Let z be f(2). Let w be q(z). Solve 0*b = -p + w*b + 23, 4*b = s*p - 26 for p.
3
Suppose 2 = -2*c + 4*c, 16 = 2*t + 4*c. Solve 5*d + 2*a - t = 21, 5*a - 30 = -5*d for d.
5
Suppose -d + 0 = -5. Suppose -5*j + 2*u = 0, d*j + 5*u = 28 + 7. Let w = 21 + -3. Solve 3*l + f - 1 = j*f, 4*l - w = -2*f for l.
2
Let c be ((-42)/(-15))/((-3)/(-15)). Let o = c - 5. Solve 5*u = 5*l - l - o, -2*l + u + 3 = 0 for l.
1
Let t = 23 - 21. Solve 2*x = -i + 2, -t*x = 3*i - 6*x - 6 for i.
2
Let b(o) = -3*o - 4. Let y be b(-3). Solve -4*s + 7 + 1 = -2*r, -4*r + 23 = y*s for s.
3
Suppose 5*l - 22 = 3*m, 3*l + 0*m = -5*m - 14. Solve h = l*i + 11 - 1, 3*i = -3*h - 15 for h.
0
Let v = -3 + 13. Let a(g) = -2*g + 4. Let q be a(-3). Let s be (15/(-6))/(-5)*q. Solve 3*i - v = s*d, 10 = -5*d + 3*i - 8*i for d.
-2
Let b(r) = 0*r + 4*r**2 + 3*r - 15*r**3 + 16*r**3 + 3. Let p be (-2 - -1)*(3 - 0). Let t be b(p). Solve -5*k = -3*o + 17 - t, -5*k - 8 = -o for k.
-1
Let y = -47 - -50. Solve -17 + 0 = -5*g + 2*w, 0 = -y*g - w + 19 for g.
5
Suppose -2*n = 5*v - 35, 3*n - 35 = -4*v - 0*v. Solve 0*f - v = 5*x + 3*f, 0 = -5*x - f - 15 for x.
-4
Let l be (30/(-7 - -1))/((-10)/4). Solve 5*c + l*f = -6, -3*c + 0*c = -f + 8 for c.
-2
Let x = -29 - -19. Suppose 0 = 2*d - 2*v + 82, 5*d - 2*v = 22 - 239. Let z be (-178)/(-9) + x/d. Solve 0 = -3*p - 12, -5*p - z = -s + 3 for s.
3
Suppose 2*i + 0 = -2. Let f be i*(0 + -2 + 2). Solve f*k - 2*k + 16 = 4*y, 2*y + 2*k = 12 for y.
2
Let p(f) = -2*f**2 + 3*f**2 - 2 - 4 + 5. Let l be p(1). Let x = 39 - 27. Solve l = 4*q + 2*h + x, 0*q - 5*h - 25 = 5*q for q.
-1
Suppose -6*r + 2*r = 0, 4*i = -2*r. Suppose -20 = -5*o - i. Solve -3*d + 26 = 4*v, -2*d - 3*d + o*v = 10 for d.
2
Let x = 90 + -88. Solve 3*y - x*i = -i + 1, 3*y + 9 = 3*i for y.
2
Let i(w) be the second derivative of w**4/12 + 3*w**3/2 + 5*w**2/2 + 3*w. Let d be i(-9). Solve -2*c + y - d = 0, 2*c - y + 14 = -3*y for c.
-4
Suppose -r - w = -4*r + 8, w = 1. Solve -27 = -2*p + 5*p - r*t, -4*p - 11 = t for p.
-4
Let c(d) = -d**3 + 2*d**2 + d + 1. Let n be c(2). Solve n*g + 12 = 0, 0 = -4*x + 2*g - 6 - 2 for x.
-4
Let q be (8/(-3) + 2)*-3. Suppose -5*c + 4*o + 4 = -16, -q*c + 4*o = -20. Suppose 0*b + 4*b - 8 = c. Solve -2*f - b*f + 19 = -3*l, -2*f = -8 for l.
-1
Suppose -8*r = -3*r - 20. Solve 0 = -3*w - r*p - 0 + 5, 11 = -3*w + 4*p for w.
-1
Let m = 15 - 10. Let i be -2 - 1*-4 - 9. Let t be 2/i - (-90)/21. Solve 3*o = -n - 2, m*o = -1 - t for n.
1
Suppose -3*t - 33