c(a) be the first derivative of -a**4/4 - a**3/3 + 3*a**2/2 - 4*a + 2. Let t be c(-3). Solve -9*p = -4*d - 4*p + 17, 3*d + v*p = t for d.
3
Let i = 6 + -3. Let p be i - (-2 + -1 + 2). Solve -2*a - 3 - 11 = -p*t, 5*t - 5 = 0 for a.
-5
Let o(h) = h**3 + 7*h**2 - 4*h + 2. Let d be o(-7). Suppose 2 = -4*w + d. Solve -2*r = v - 2*v - w, 0 = -3*r + 3*v + 12 for r.
3
Let u = -160 - -225. Suppose -6*p = -p - u. Suppose -5*c + p = 4*l, -4*c + 3*l + 0*l = -29. Solve 0 = 5*n + x - 16, 0 = -n - 3*x + 1 + c for n.
3
Let o(c) = c + 4. Let f be o(4). Solve -2*j - 1 = -p - 14, -j + p + f = 0 for j.
5
Let c(a) = -a**3 - 5*a**2 - 4*a - 3. Let q be c(-4). Let s = q - -4. Let y = -11 + 11. Solve i = d - y*d - s, 14 = -2*i - d for i.
-5
Let x(w) be the third derivative of w**6/120 - w**5/20 + w**4/8 - 2*w**3/3 - 2*w**2. Let r be x(3). Solve 5*s + 16 = 2*u + s, 0 = -2*u + r*s + 21 for u.
-2
Suppose 0 = -3*f - f + a - 18, -4*a + 16 = -2*f. Let l = -1 - f. Solve 13 = -u - l*v + 3, -2*u = 2*v for u.
5
Let j = -71 + 99. Solve 15 = -3*t - 2*l + 2, j = -3*t - 5*l for t.
-1
Suppose -4*n = -12, 0 = -s + 6*s - 4*n - 3. Suppose -s*t = -w + 28, 0 = 4*t - 2 - 2. Solve -7*q + w = -3*q - 5*v, q + 3*v = -5 for q.
4
Let k(u) = -u**2 + 7*u + 12. Let a be k(8). Solve 1 = -s - 3*c, 3*s - a*c = -5*c - 11 for s.
-4
Let r = -10 - -5. Let h = r - -7. Solve w - 12 + 1 = 2*u, 0 = h*w - 6 for u.
-4
Let t(z) = 4*z + 1. Let q be t(-1). Let r be (-3)/q + 1 + 0. Let k = 4 - -1. Solve k*w + 5*b = 20, -r*b - 16 = w - 5*w for w.
4
Let h(t) = 0 + 10 - t**2 + 8*t + 5*t**2 - 3*t**2. Let q be h(-7). Solve -2*m - 13 = -m - 2*g, -19 = q*m - g for m.
-5
Let x(u) = -4*u. Let s be x(-1). Suppose -5*d + 33 = s*b + 1, 0 = -5*b + 15. Suppose 11 = 5*r - 39. Solve 0*h + 4*h + 4*i - 4 = 0, -d*h = i - r for h.
3
Let l(p) = p - 15. Let g be l(17). Solve -2*i - g*i - y = 13, -2*i - 3*y - 9 = 0 for i.
-3
Let v(w) = -w - 3. Let x be v(-3). Suppose 5*u - u = x. Solve 2*c + 0 = i - 4, -c - 4 = u for i.
-4
Suppose 10 = -2*h, 0 = -2*s - s - h + 7. Suppose -5*p = 6*b - s*b - 40, 4*b - 2*p - 80 = 0. Solve 0 = -3*f, -4*j = -3*f - 2*f - b for j.
5
Let o(w) = w**3 - 9*w**2 + 9*w - 4. Let n be o(8). Let x(y) = y**2 - 2*y - 4. Let c be x(n). Solve 16 = c*q - 4*i, -q + 5*i + 6 = 2*i for q.
3
Let j(d) = -d**3 + d**2 + 7*d + 10. Let g be j(-3). Solve -3*l + 5 = t, 4*l + 5*t - g = 2*l for l.
0
Let o = 25 - 21. Suppose 15 = -5*m, -5*l + o*m = -l - 28. Solve -l*n + 5*r + 4 = -8, 4*r + 14 = n for n.
-2
Let h be 2 - (32*3)/3. Let j = 42 + h. Solve 0 = 3*a - t + 2 + j, 4*a - t + 17 = 0 for a.
-3
Let h be ((-33)/6)/(-11) + 3/2. Solve 3*c = 5*q - h - 17, 0 = 3*q - 6 for c.
-3
Suppose d + 6 = 4*d. Solve -5*y = 3*z - 19, z - 5*y = -d*z - 31 for z.
-2
Let q = -5 - -10. Suppose -2*l - 2 = -10. Suppose 6 = q*i - l. Solve v = -4*v + 2*k + 23, -6 = i*v + 3*k for v.
3
Let p = -4 + 6. Suppose 2*j - 4*j = -4*u - 16, -2*u = -p*j + 12. Let n be u/(3 - (-11)/(-3)). Solve 0 = n*x + 4*o - o - 12, 2*x + 16 = 4*o for x.
0
Suppose -4*k + 21 + 11 = 0. Let u be 202/k - (-5)/(-20). Let b be (-6)/((-22)/4 + 4). Solve 0 = -5*l - i - u, -18 - 2 = b*l + 5*i for l.
-5
Let o be -2*3/(-4)*2. Suppose 5*p - 42 = -2. Suppose 0 = -5*x - 3*h + 22, h + h = p. Solve x*m + 1 = -2*n - 5, -n - 3*m - o = 0 for n.
-3
Let l = 0 + -1. Suppose 0*y + 5*y = -15. Let d be y/(l + (-2 - -2)). Solve -4*t - 5*u + 37 = 0, 25 = 2*t + d*u + 4 for t.
3
Let u be 3/(42/46) + 14/(-49). Solve -q + 5*n = 24, -u*q + 2*n - 5*n = 0 for q.
-4
Let m be (-64)/(-16)*38/8. Let j be (-17)/(-3) - 2/3. Let d = m - j. Solve l - 17 = 5*q, 2*l + d = -4*q + 3*l for q.
-3
Let c(t) = -t - 9. Let x be c(-7). Let g(h) = 2*h**2 + 4*h + 3. Let l be g(x). Suppose 0 = -q + 5 + 4. Solve -3*n + q = -4*z, -n - 3*z = 2*z - l for n.
3
Let m be 2/(-4)*(-32 - 0). Let f be (12/8)/(1/2). Let k be (-2)/15*f*-10. Solve 20 = k*w, v + 5*w - 9 - m = 0 for v.
0
Let n be (-84)/(-20) - 32/(-40). Solve 0*s + 2*s + 10 = -5*t, 0 = -2*s + n*t + 10 for s.
0
Let u(m) = -m**3 + 5*m**2 - 3*m + 2. Let x be u(5). Let a = -10 - x. Solve r - 8 = -2*g, -4*g + 16 = -0*g + a*r for g.
4
Suppose 0 = -0*p - 3*p + 12. Solve -5*q = -p*a - 37, 2*q - 7 = -3*a + 2*a for q.
5
Suppose -16 = k + 4*g, 2*k = -0*g + g + 4. Let z = k + -1. Let r = 1 - z. Solve 2 = 4*f + 5*d, -5*f + d + r*d = -21 for f.
3
Let l be 20/6 - (-2)/(-6). Let k(w) = -5*w**3 + 2*w + 3*w**l + 4*w**3 - 1 - 2*w**2 + w**3. Let y be k(1). Solve y*o + 1 - 7 = -4*g, -o = 5*g - 9 for o.
-1
Let a(r) be the first derivative of -r**4/4 - 2*r**3 - 3*r**2 - 3*r + 5. Let x be a(-5). Solve 5*f + 5*z = -30, -x*f = -4*f + 3*z + 13 for f.
-1
Let h = -6 + -12. Let o = h + 22. Solve 0 = o*n + 4*r - 28, 0*n - 3*n + 13 = r for n.
3
Suppose 2 = 4*k - 5*k. Let s = 6 + k. Solve -4*t + 3*t + 4*q - 1 = 0, 0 = -3*t + s*q - 11 for t.
-5
Let o(y) = -y - 3. Let z be o(-4). Suppose 4*a = 19 - 7. Solve -z - 22 = a*q - 4*u, -4*q - u - 18 = 0 for q.
-5
Suppose 0 = -5*c - 5*i + 3 + 27, -4*i = -20. Let z be c + 7 + -1 + -2. Solve 3*b + 4*o - 2*o - 4 = 0, z*o + 4 = -4*b for b.
4
Let w(v) = v**3 - 5*v**2 + 5*v - 3. Let b be w(4). Let l = 3 - b. Suppose 0 = l*i + i - 15. Solve 5*a - 4*n = -i, 3*a - 2*n + n + 10 = 0 for a.
-5
Suppose 0 = 2*m + 3*v - 17 - 11, -2*m + 20 = 5*v. Let s = -14 + 26. Solve 0 = -3*f + s, -n + 2*f = 2*n + m for n.
-4
Let s(o) = -2*o**2 - 20*o + 3. Let j be s(-10). Solve 0 = 4*i + 4*y - 0*y, j*i + 2 = -2*y for i.
-2
Suppose -3*n + 5*q + 37 = 0, -2*n + 0*q - 17 = 5*q. Let x be 0/((n - 0)/2). Suppose 6 = 3*l - 12. Solve -l = -2*k, x = 3*j - k + 5*k - 15 for j.
1
Let c = 63 + -54. Solve -2*a = -h - c, -6 = -h - h - 2*a for h.
-1
Let p = 24 - 20. Let g be (-70)/4*48/(-10). Suppose 2*d = -d + g. Solve 5*i - d = i - 4*y, -p*y + 18 = -i for i.
2
Let m be 0*1/(-2) - (-6)/2. Solve j - 2*p = 2, -m*p - 5 = -2*j - 1 for j.
2
Suppose 2*n + l - 7 = -2, 0 = 4*n + 3*l - 7. Let a be 0/(1 + (2 - n)). Solve a*h = -5*h - 2*y - 4, 2*h - 10 = 5*y for h.
0
Suppose -2 + 14 = 3*j + 3*k, -7 = -3*j - 4*k. Solve 4*n - 12 = -5*i, -5*n + 5*i = -8*n + j for n.
3
Suppose p - 3*q + 1 = 11, 0 = -5*p + 4*q + 39. Suppose -4*y - 33 = -p*y. Solve 4*r = c - 5, 0 = -2*r + 3*r + 3*c + y for r.
-2
Suppose 0 = 4*q - 3*w - 22, 3*w = -4*q - w + 8. Solve c + 5*p = 4*c + 25, -p = -q*c - 22 for c.
-5
Let s(f) = -6*f - 2. Let z be s(-2). Suppose 8 + z = 2*n. Solve -t = -4, -n*t + 30 = 5*m - 4*t for m.
2
Let u be 1/(2/(-10))*1. Let x be (2*-1)/1 - u. Solve h - 11 = -4*q - 3, x*q = -4*h - 7 for q.
3
Suppose 0 = g - 0*g. Suppose v + 2*v - 18 = g. Solve 2*y + 10 = 4*j, -4*y + 2*j + 40 = v*j for y.
5
Let s(n) = -2*n + 1. Suppose 3*h + 2*j + 4 = 0, -j + 6*j = 2*h - 10. Let r be s(h). Solve -x - r = -2*c, -2*x - 23 = -c + 3*x for c.
-2
Let d = -1 - -17. Solve 4*j = 4*v + 4 - d, 0 = 2*j + 4*v + 12 for j.
-4
Suppose 0 = -4*r - 4*z - 4, 4*z - 1 = 2*r + 31. Let t be 4/10*(81 + r). Solve 2*h + t = 5*j, -3*h + 2*j + 0*j - 23 = 0 for h.
-5
Let v be ((-1)/2)/(3/(-12)). Let w(n) = 0*n**2 - n**2 - 2 + 0 + v*n**2. Let i be w(-2). Solve 3*d + 5*r = 9, 4*r = 3*d + i*d + 22 for d.
-2
Suppose 5*p + 5*k - 5 = 0, 0 = -0*p - 4*p + 5*k + 31. Solve p*f - m - 13 = 0, 0 = 4*f + 4*m + m + 17 for f.
2
Suppose -d = 3*k - 6, 0 = 3*d - 2*k + 1 - 74. Let l be (-75)/(-7) + 6/d. Solve 2*h + 8 = -3*o - l, 14 = -h - 3*o for h.
-5
Let x be ((-2)/1 - -1) + 4. Let r be (10/6)/(1/x). Solve y - 2*u = 11, y + 5*u + 19 = -r for y.
1
Suppose 10 = -5*b, -3*m + b + 12 = -2*b. Suppose -5*z + 14 = m*a - 4, 2*a = 3*z - 14. Solve 5*t + i = -5, 3*t + z*i = -4 + 1 for t.
-1
Suppose -30*k = -33*k + 3. Solve -1 = -q + 4*h, 5*q - 6 + k = h for q.
1
Let r be 1/4 - 30/(-8). Let p = -4 + 4. Suppose 3*a + 5*u + 7 = -p*a, -5*u - 25 = 0. Solve -3*h = 2*h - 4*l + a, -5*h - r*l + 26 = 0 for h.
2
Suppose 16 = y + 3. Let c = 5 + -3. Suppose -2*p - c*p = 0. Solve -4*x + p*f - y = f, 5*f = 2*x + 23 for x.
-4
Suppose 4*p + 3 = -5. Let g be p/((-2)/10*2). Solve -4*n + g = x + 2*x, 2*n - 5 = x for n.
2
Let y(t) = -2*t - 5. Let w be y(-5). Solve -a + 6 = -w*o, 4*o = -a - o - 14 for a.
-4
Let s = 10 - 7. Solve -5*o - s - 2 = -3*x, 2 = -4*o + 2*x for o.
2
Let w be ((-24)/4)/(4 - 5). Solve 17 = 3*h + 2*p - w*p, 0 = 2*h - 5*p - 16 for h.
3
Let z = 2 - 0. Solve -4*j - 16 = -z*b, b = j + 6*b + 15 for j.
-5
Suppose -4*t = t - 30. 