. Let p be f(-7). Suppose 2*s + 0 - d = -5*k, -5*k = p. Solve 5*m - o = 4*o, -s = 3*m - 4*o for m.
1
Let q(v) be the second derivative of -v**5/20 + v**4/2 + 5*v**2/2 + 4*v. Let z = 15 + -9. Let b be q(z). Solve 3*j + 7 = -2*o + o, -41 = -b*o + 4*j for o.
5
Let c be (8/5)/(3/(-15)). Let q = -1 - c. Let g be (0 - 0)*(-6 + q). Solve -3*f + 5*z + 13 = g, -5*f + 2 = -z - 5 for f.
1
Suppose 0 = -2*z + 4*n + 18, z + 5*n = 3*z - 20. Let r be -6*(40/(-12))/z. Solve -r*q + 17 = o + 2, 15 = 2*q - o for q.
5
Let a = 7 + -12. Let p = a + 24. Let v(m) = 5*m**2 - 29*m. Let x be v(6). Solve 0 = 5*y - 2*b - p, -y - 5 = -2*b + x*b for y.
3
Let h = 0 - -4. Solve -o = 4*o + g + 11, -3*o + 2*g - h = 0 for o.
-2
Let g be 27/5 + -5 + 36/10. Solve -2*c = -v + 6, -2*c + 36 = -g*v - 6*c for v.
-4
Suppose 2*l - 4 = l. Let a be -1 + (l - (-3)/(-1)). Solve 3*h + 2*z + 1 = a, -4*h + 2*z - 3*z = 8 for h.
-3
Let j(h) = h**2 - 4*h - 7. Let z be j(6). Suppose 2*s - 53 = -z*a, -4*a - a + 59 = -4*s. Let r = a - 0. Solve f + i - r + 3 = 0, 4*i + 13 = 5*f for f.
5
Suppose 4 = -4*g - 8. Let q = g + 7. Let t = q - 4. Solve 0 = 4*w + p - 16, t*w + 5*p = -2*w + 26 for w.
3
Suppose -4*h = 4 - 16. Suppose 17 = p + 1. Suppose n = -h*n + p. Solve -5 = -5*g + j, 5*g = g - j + n for g.
1
Let q = 44 + -13. Let v = q + -18. Suppose -v = -3*k - 1. Solve k*g + 5*s = 10, -3*g + 6 = 2*g + 3*s for g.
0
Suppose 5 = 6*s - 19. Suppose -5*b = 2*w + 20, -5*w + b = 2*b + 4. Let j(r) = -r**2 - r + 2. Let d be j(w). Solve 0 = d*z + p + 6, z - s*p + 31 = -2*z for z.
-5
Suppose 5*n - 14 - 51 = 0. Let d = -9 + n. Solve -2*w + 28 = 4*o, 17 = -w + 5*o - d for w.
4
Let w be 2/(1/((-4)/(-2))). Suppose 3*i = -4*x + 3, -4*i - x = 3*x - 4. Let b be i/(4/8) + -1. Solve w*l + 5*j = 4 - 1, b = -j for l.
2
Suppose 4*u - 3*u = -u. Solve -5*m - y + 28 = u, -2*m + 6*y = 4*y - 4 for m.
5
Let x be (-6)/(-4) - 7/14. Solve -3*n + x = -7*n + p, -2*n - 2*p + 2 = 0 for n.
0
Let u(j) = -j**3 + 8*j**2 - 8*j + 9. Let c be u(7). Solve 5*s - 4 = 2*s + r, -c*s + 3*r - 9 = 0 for s.
3
Suppose 5*o - 5 = 4*o. Suppose n - r + 1 = -4*r, o*r = -10. Solve 2*k = -x + 1, -5*k + k + x = -n for k.
1
Suppose -f = -0*f + 14. Let i = 18 + f. Solve -3*t = -4*p - 16, 2*p = i*t - p - 12 for t.
0
Suppose 2*n - 9 = -3. Suppose -3*g + 4*t - 6 = -0*g, -1 = -5*g + n*t. Solve g*f = 2, 4*l - l + f + 11 = 0 for l.
-4
Let h(i) = -2*i**3 + i**2 + i + 1. Let m be h(-1). Suppose -m*j = j. Let f(n) = 4*n - 6. Let a be f(2). Solve b - 4 = c - j*c, -a = 3*c + 2*b for c.
-2
Suppose 5*c + 30 = -u, -2*c - 2*u - 12 - 8 = 0. Let a = 6 + c. Solve -4*j + y = 5, 2*y + a - 5 = 5*j for j.
-2
Let q = 20 + 2. Solve -q = 4*h - 3*z, -2*h = -3*z + 11 + 3 for h.
-4
Let z(b) = b**2 - 6*b + 2. Let j be z(6). Let a(x) = -4*x - 159. Let r be a(-42). Let t = -3 - -7. Solve 2*l + 28 = t*h - j*l, -l + r = 3*h for h.
4
Suppose 2 = -3*k + 2*k. Let y = -4 + k. Let t(q) = -q - 6. Let h be t(y). Solve -2*r + 10 = -2*g, 6*r - 2*r - 12 = h for g.
-2
Let q = 5 + -4. Let j be (-2)/(-2) + q + 1. Solve 5*v - 5*y = 10, -4*y - 3 = -j*v + 4 for v.
1
Suppose n + 4 = 2*n. Let h be 4 + 3/((-3)/(-2)). Solve -h*c - n*r = -2*c, -2*c = -4*r - 30 for c.
5
Suppose 8*a = 3*a - 5*k + 50, -2*a - 3*k + 25 = 0. Suppose a*f - 13 = 357. Let t be f/14 - 6/21. Solve -5*c - 25 = -t*y, -10 = 3*c - c - 4*y for c.
-5
Let z(u) = -u**2 + 5*u. Let p be z(4). Suppose 2*a - a = 5. Suppose 31 = a*l - 4*s, 0 = -3*s - 2*s - 20. Solve l*t = -2*n - 16, p*t = -n + 8*t + 14 for n.
-2
Let w = 8 + -4. Let h(n) be the third derivative of -n**5/60 - n**4/4 + 5*n**3/3 + 2*n**2. Let s be h(-7). Solve v - 19 = -s*a, 5 = w*v + v - 3*a for v.
4
Let d = 29 - 48. Let q be 4/14 + d/(-7). Solve -w + i + q*i - 19 = 0, 3*w + 2 = i for w.
1
Let r = -14 + 14. Solve -4*b - 15 = -r*p + p, 4*b + 21 = 5*p for b.
-4
Let a(i) = i + 6. Let f be a(-4). Solve v + 4*v = f*s + 28, 4*s + 28 = 3*v for s.
-4
Let m(v) = 2*v + v - 2*v - 3*v + 2. Let w be m(-1). Solve w*a - 4*o = o + 22, 5*a - o = 17 for a.
3
Let i = -6 - -6. Suppose i = -2*g - g + 9. Solve -g = s - 3*s + 3*q, s = -3*q + 6 for s.
3
Suppose -3*y = -2*g + 13, 2*g + 2*y + 3 = 11. Suppose -2*j = -5*j + 6. Solve j*r = g*d - 16, r - 12 = 5*r for d.
2
Suppose -2*a = -2*j + 6, -4*a = 2*j + 3 + 9. Solve 2*h + 16 - 4 = 2*k, k - 3*h - 10 = j for k.
4
Suppose -14*k = -15*k + 3. Let a be k/6 - 14/(-4). Solve a*v + 4*d + 6 = 7*v, -4*v = -2*d + 2 for v.
-2
Suppose 5*o - 9 = 1. Suppose o*h = 3 + 1. Solve r + 2 = -h*b, 1 + 34 = 5*r - 5*b for r.
4
Let b = -1 - -7. Let i = 6 - 4. Let x = 5 - i. Solve -3*t + x*c = -9, -2*t - 2*c + 8 + b = 0 for t.
5
Suppose 3 = 3*j - 3*d - d, 0 = 2*j - 4*d + 2. Solve 2*w + 0*w = p + 12, -19 = -3*p - j*w for p.
-2
Suppose -2*u = -5*u - 21. Let b = u + 10. Solve -b*s + v + 8 = 0, v - 38 + 14 = -5*s for s.
4
Let t(b) = b + 4. Let x be t(0). Let l = 11 + -7. Solve 0 = -2*k - 0*g - g - 12, -5*k = -x*g + l for k.
-4
Let r = -1 - -14. Suppose 4 = -3*h + r. Solve 0 = z - 3*u - 10, 5*z = -0*z + h*u + 2 for z.
-2
Suppose 6*z = 5*z + 8. Let n(t) = -t + 8. Let k be n(z). Solve k = -5*m + 4*i - 21, 4*i = m - i for m.
-5
Let l = -2 + 2. Suppose -4*q + z - 5 = 0, 3*q + l*q - 2*z = -10. Let d = -3 - -5. Solve -5*x = v + 11, -3*x + x + d*v - 14 = q for x.
-3
Suppose 0 = -i - 7 + 16. Suppose 3*j + 5*h = 24, j - 2*h + 1 = i. Solve 0 = -2*c - 5*x - j, -c - 3 = 2*x for c.
1
Let t(v) = -v**2 + 10. Let n be t(0). Suppose -6*h + h + n = 0. Let j be -1*(-19)/1 + -3. Solve -h*w = -2*z - j, 0 = -3*z - 0*z - 3*w for z.
-4
Let k = -8 - -4. Let a = 0 - k. Solve -g = -3*u - a, 2*g = 7*g + u - 4 for g.
1
Let j(p) = -5*p**3 - 2*p**2 - 2*p. Let o be j(-1). Solve 5*a - 14 = -3*l - 4, -2*l + o*a - 35 = 0 for l.
-5
Suppose 2 + 3 = n. Solve 0 = 3*h - 3*l - 27, -l - 2*l = 5*h - n for h.
4
Let i(o) = o**3 - 2*o**2 - 5. Let f be i(3). Solve w + 12 = f*n, -3*w = -n + w + 18 for n.
2
Suppose -4*i + 24 = 4*a, 5*i = -0*i. Let k = 6 - 3. Let p = -2 - -4. Solve -a*b + k*b = p*l + 6, -b + 8 = 4*l for b.
-4
Suppose 4*u = -0*u. Suppose -5 = -3*s + 7. Suppose f = -4*w + 2*f + 15, 4*w = -s*f. Solve -6 = -2*x - w*c, x + 4*x - c + 19 = u for x.
-3
Suppose -5 + 21 = 4*r. Solve t - 9 + 34 = r*v, 0 = -4*v - 3*t + 5 for v.
5
Suppose -2*l + 5 + 1 = 0. Suppose 2*h - 16 - 18 = 0. Suppose c = -3*d + 10, -2*d - 3*d = 2*c - h. Solve d*r = 2*v + 2, 10 = -l*v + r - 0*r for v.
-4
Let y = 4 + 1. Suppose -x = -y*x. Solve -o + s = 3, x*o - 3*o - 2*s = -16 for o.
2
Let o = 90 - 85. Solve 4*y = 2*y - 4*f, -4*y - 13 = -o*f for y.
-2
Let a be (-3)/5 + 62/(-5). Let q = a + 16. Solve 4*c = -3*d - 18, -2*c - 5*d + q*d = 10 for c.
-3
Let f(z) = 3*z - 6. Let a be f(7). Let x = 9 + 1. Suppose -4*t - t - x = 4*v, 3*v + 19 = 2*t. Solve -3*h - t*k = -a, 5*h + k - 10 = 15 for h.
5
Let s(y) be the second derivative of y**4/4 - y**3/3 + 2*y. Let v be s(-1). Solve -3*q - d = 5, -d = -v*q - 9 - 10 for q.
-3
Let i = 39 + -39. Solve i = -4*g + 16, 7*g - 3*g = -3*h + 22 for h.
2
Suppose 0 = -2*w - w + 18. Suppose 10 = 2*n - w. Suppose d + d = n. Solve -9 + 37 = d*r + 4*l, 4*r + 5*l - 31 = 0 for r.
4
Let o(z) = z**2 - 1. Let n(p) = -p**3 - 7*p**2 - 7*p - 4. Let x be n(-6). Let k be o(x). Solve -7*h + 20 = -k*h, 4*d = -3*h + 7 for d.
-2
Let u be (-58)/(-7) + (-4)/14. Let p = u + -3. Let x = 1 + 3. Solve x*f + d = -d + 14, -p = -f + d for f.
4
Let m = -8 - -17. Solve 0 = 4*g - 3*h - 0*h - m, 5*g - 2*h = 6 for g.
0
Let w be 0 + 1 + (-1 - -2). Solve -5*f = j - 0*j + 25, -w*j = 0 for f.
-5
Suppose 5*h + 2 = 6*h. Solve h*l + 3 = t + 4*t, 0 = -3*l - 3*t + 6 for l.
1
Let f(q) = -5*q. Let d be (-2 + 2)/(4/(-2)). Let v = -1 + d. Let i be f(v). Solve i*t - 2*z - 6 = 0, -5*z - 5 = 3*t + 10 for t.
0
Let f = 2 - 4. Let t(g) = -g**3 - 2*g**2 - g. Let l be t(f). Let k be (2 - 1) + 12 + l. Solve 0 = -3*s - k, 2*s = -2*x - 0*x - 18 for x.
-4
Suppose 4*k - 9 - 3 = o, 5*o - 3*k - 8 = 0. Let j be 6/4*8/6. Let m be (j/(-4))/(-1)*16. Solve -3*h - o*q + 1 = 8, 0 = 3*h + 5*q + m for h.
-1
Let f(b) be the first derivative of -b**2/2 + 5*b - 6. Let g be f(0). Solve -2*l + i = 1, g*l - l + 3*i + 7 = 0 for l.
-1
Suppose 2*j + 12 = 6*j. Solve 0 = -2*y + 3*a - 1, j*y - 5 - 22 = -5*a for y.
4
Suppose -31*r + 27*r = -16. Solve -3*u - r*q - 14 = -5, u = 5*q + 16 for u.
1
Let q = 3 - 1. Let c = -7 + 9. Let x