 2*d, -25 - 3 = 4*b - 2*d for b.
-5
Suppose 4*y + 6*c - 2*c = -8, 0 = 2*y + c + 2. Suppose 0 = 5*n - y*n. Solve 3*s = -5*k, -2*k = -n*s + 4*s - 14 for s.
5
Suppose 12 = 2*w - 5*w. Let p = 8 + w. Solve -2*u - u = -p*i + 12, 4*u - 5*i = -15 for u.
0
Let u be -2 - (3 - 4) - -7. Suppose 0*r - 2*r + u = 0. Solve 4*z = -5*q, 2*q + r*q = 2*z - 30 for q.
-4
Suppose -z + 5*h = 20, -2*z = -h + 34 + 15. Let k be ((-8)/10)/(5/z). Solve 7 = -f - 2*w, 3*f + 1 = k*w - 10 for f.
-5
Let x be (-4)/(8/4 - 4). Solve -3*h - n - 19 = 0, n = -x*h - 0*n - 14 for h.
-5
Let x be 4 + 3 + (1 - -2). Solve 2*k + 2*k + x = -2*f, 5*f + 3*k + 11 = 0 for f.
-1
Let a(b) = 2*b**2 - 5*b - 9. Let s be a(5). Solve -3*o - 9 = o + 5*m, -o = 4*m + s for o.
4
Let n = 8 + -6. Suppose r - 7 = -n, -w + 5*r - 20 = 0. Let i be (0 - -2)/(2 - 0). Solve -2*o = -5*c + i, 3*c - 4*c - w*o + 11 = 0 for c.
1
Suppose 0*n = n - 4. Suppose -n*w = -0*w - 8. Let u = -10 - -29. Solve 5*l - 35 = 4*m, w*l - 12 - u = 5*m for m.
-5
Let i be (-6)/15 - (-36)/15. Let j = i - -6. Solve -4*c = -5*k + j, 2*k + 5*c = 3*c + 14 for k.
4
Suppose 3*j + 54 = 6*j. Suppose -2*l = 5*w - j, w + 3 = 2*l - 3. Solve 4*n + 3 = 5*n - 3*m, -l*n + 12 = 4*m for n.
3
Let n = -150 + 153. Solve -4*z + n*f = 1 + 6, -5*z + f - 6 = 0 for z.
-1
Suppose -5*j - 7 = -27. Solve -2*f - 25 = -z - 2*z, -j*f = -4*z + 40 for z.
5
Let y be -2*(-4)/(1 + 1). Solve 0 = -t - 3*t + 12, y*t = 3*r + 9 for r.
1
Let x(n) be the third derivative of -n**5/60 + 7*n**4/24 + 11*n**3/6 - 3*n**2. Let o be x(8). Solve -5 = 5*z + 5*u, -z + u = -o*u - 14 for z.
2
Let d = 45 + -41. Let s(z) = 14*z + 1. Let j be s(1). Solve -3*l + 4*b = j, d*b - 9 = -5*l - 2 for l.
-1
Let s be (-37)/7 - 2/(-7). Let x = 0 - s. Solve -25 = x*o + 2*q, 3*q - 10 = -2*o - 31 for o.
-3
Let i be (-4)/30 + (-124)/(-30). Solve 6 = 5*b + i*o - 5*o, 0 = 5*o + 5 for b.
1
Let d(p) = p + 7. Let k be d(-5). Suppose -4*u = -k*u. Let x be (1 - (-8)/(-6))*u. Solve -3*l + 1 = w, x*l + 4*w = -2*l + 14 for l.
-1
Let k(b) be the second derivative of -b**3/6 - 11*b**2/2 - 3*b. Let t be k(-16). Solve q - 15 = 5*s - s, -q - t*s - 21 = 0 for q.
-1
Suppose -3*y + 4*l + 7 + 1 = 0, 0 = -2*y - 5*l + 13. Suppose -5*f + 4*k - 2*k + 18 = 0, 3*f = -3*k - 6. Solve 3*o - 19 = -f*v, -2*v - 29 = -y*v - 5*o for v.
2
Let q be 74/14 - (-2)/(-7). Let o = q - 1. Suppose p + 0*p + o*d = 7, 2*p + 2*d - 8 = 0. Solve -2*s - 3*w = -4 + 15, -15 = p*s + 3*w for s.
-4
Let l(j) = 10*j - 2. Let q be l(5). Let w be q/(-60)*10/(-4). Solve f = -w*f - 3, 5*u = f - 24 for u.
-5
Let w(r) = 3*r**2 - 5*r - 2. Let y be w(4). Let b = -3 - 0. Let c be 0/((-2)/b*3). Solve 14 = -5*n + 5*h - y, c = -h + 5 for n.
-3
Let u = -2 + 1. Let g be 85*1 - u - 2. Suppose 2*b + 2*b = -a + 40, -3*a - 3*b = -g. Solve -35 = -5*w + 5*j, -a = -3*w + 2*j - 5 for w.
5
Let v(s) = s**3 - 7*s**2 + 7*s - 6. Let h be v(6). Solve -2*y + f + 4*f + 6 = 0, 4*y + 4*f - 12 = h for y.
3
Let i = -4 - 2. Let x be (-2)/i + (-230)/15. Let c be (-4)/(-6) + (-515)/x. Solve 5*a = 4*k - 3*k + 17, 5*k - c = -5*a for k.
3
Let m be (24/36)/((-1)/(-3)). Solve -4 = -4*v + 2*q, 2*v - 8 = -m*v + q for v.
3
Suppose -11 + 1 = -2*s. Let w(k) = k**3 - 8*k + k**2 + 0*k**3 + s + 6*k**2. Let t be w(-8). Solve 2*x + 1 = d, -4*d - 3*x = -t*d + 2 for d.
-1
Suppose 12 = -3*k + 6*k. Let d be (-3 + k)/1*5. Solve -4*m - r + 20 = 0, 6 + 9 = 3*m + d*r for m.
5
Suppose 21 = -2*w - g + 4*g, -5*g = -w - 14. Let n be (-6)/w + 20/6. Let p(z) = -z + 5. Let d be p(3). Solve -4*x + 0*v = 3*v - 1, n*v + 2 = -d*x for x.
1
Let j be 3 + -2 + (-6)/(-2). Solve 3*x + 2*x = 2*y - 3, -5*x + j*y = 11 for x.
1
Suppose 4*y - v = 0, -v = v. Solve 5*m - 1 = -3*c - 10, m = y for c.
-3
Suppose -4*q + 1 = -15. Solve -2*h + 4 - 2 = p, 0 = h + q*p - 8 for h.
0
Let v(q) = q - 2. Suppose -3*d + 0*x + 62 = -x, 4*d - 85 = -x. Suppose -3*p + d - 6 = 0. Let n be v(p). Solve -3*s = n*g - 21, 0 = -2*g + 4*s + s - 14 for g.
3
Let f(d) = d**3 - 8*d**2 - 9*d + 5. Let k be f(9). Suppose -2*b - 6 - 4 = 0, k*b + 27 = z. Solve -z*j = 2*u + 3 + 5, 3*u = -15 for j.
1
Let x = -12 + 17. Let s = x + -5. Solve -c + 0*c = 2*l + 2, -2*c - 3*l - 5 = s for c.
-4
Suppose 2*d + 5*r = -2*d + 22, -2*d + 8 = r. Suppose 31 = d*m - 8. Solve 3*f = -0*u + 5*u + 17, -3*u + m = 4*f for f.
4
Suppose 4 = 4*p - 4. Let h(f) = f**2 - 6*f - 4. Let b be h(7). Solve -p*t - 1 - 11 = 2*u, 0 = -b*t - 12 for u.
-2
Suppose -40 = -0*z + z. Let d be (-10)/z - 38/(-8). Solve d*f - 15 = 5*r, 3*r + f = -3*f - 16 for r.
-4
Suppose 0 = -2*o + 7*o. Solve 2*j = -4*f - o*j + 16, -j = 0 for f.
4
Let a(q) = -q**2 - 2*q - 1. Let i(f) = 6 - 10 + f - 2*f. Let b be i(-3). Let p be a(b). Solve 6*o + 2 = -2*w + 8*o, p = -3*w + 2*o - 2 for w.
0
Let h be ((-98)/21)/(1/(-3)). Let c be 0*(3 - 7/2). Solve 0*w + 3*w = -4*u + h, c = -3*w + 3*u - 21 for w.
-2
Suppose 9 = 3*y + 7*a - 2*a, -3*y - 3*a = -9. Let x(u) = 6*u**2 + 2*u + 0*u**2 - 2 + 3. Let v be x(-1). Solve v*b = -4*r + 13, -y*b + 22 = -4*r - b for r.
-3
Suppose -3*p + 4*q = -29, 0 - 10 = 5*p + 5*q. Solve 0 = 5*c - 3*h - 16, -8*h = -4*c - p*h + 5 for c.
5
Let s(m) be the second derivative of m**3/6 + 4*m**2 - 2*m. Let v be s(-8). Solve -4*k - 4*j - 20 = v, 2*k + 0*j + 5*j = -10 for k.
-5
Suppose -5*q + 3*q = -20. Suppose -q = -5*b + 5. Solve -5*y - b = 2*v - 9, -y + 4 = -v for v.
-2
Let t(f) = -f + 1. Let v be t(-1). Suppose y + y = 2*p, 6 = -v*y + 4*p. Solve 5*d - 16 = y*h, -1 - 3 = -d + h for d.
2
Let g = 7 - 4. Suppose 5*t + 4 = i, -4*t = -g*i + 3 + 9. Solve j + 0*j + 4*c + i = 0, -5*j = 3*c - 14 for j.
4
Suppose 5 = -t + 7. Let p(f) = f**2 - 2*f - 3. Let j be p(6). Solve 4*d - j = 3*c - 2*c, 3*d - 13 = -t*c for d.
5
Suppose -16 = -4*t - 12, -5*d - 3*t + 28 = 0. Solve -5*g + 20 = 4*c - 3, -21 = -3*c - d*g for c.
2
Let m be (3 + -1 + -2)/2. Suppose -2*n + 4*v + 12 = m, -3*v = 4*n - 5*n + 7. Solve 5 = -5*b + l, 2 = 2*b - 2*l - n for b.
-2
Suppose 9*l - 2*v = 4*l - 15, -5*v = -4*l + 5. Let z be (-74)/(-5) - 1/l. Let x = -8 + z. Solve -2*w + 15 = -p, 2*w + x - 2 = -3*p for w.
5
Let q(p) = 0 - 4 + 3 + p + p**2 + 2. Let z(y) = -5*y**2 - 6*y - 5. Let n(f) = 6*q(f) + z(f). Let a be n(-1). Solve 3*k + 3*u = -k, -k + a*u = 0 for k.
0
Let a(d) = d**3 - 3*d**2 - d + 6. Let x be a(3). Solve 2 = -h, x*h + 8 + 4 = -2*u for u.
-3
Suppose -2*h - 4 + 0 = 0, 4*r - h - 42 = 0. Suppose -15*l + r*l = -15. Solve -2*c + 3*b + 28 = l*c, b + 1 = 0 for c.
5
Suppose 2*h + 2 = -2*s - 0*h, 0 = -2*s + 4*h + 16. Suppose 5*b + 5 = z, 4*z + b - s*b = 20. Solve 5*g - g + 5*q - 22 = 0, q - 17 = -z*g for g.
3
Let t = -21 - -35. Let k = t + -12. Solve 4*r = k*v - 6, 0 = r + 3*v + 2 - 11 for r.
0
Let n = -53 + 57. Solve l = -5*d + d - 8, 3*l + n = -2*d for d.
-2
Let v be (-16)/(-6)*15/4. Let w = v + 10. Solve 0 = -4*c + w, -2*p + 5*c = 3*c + 16 for p.
-3
Suppose 4 = i - 3. Let c = 11 - i. Solve 3*g = -6, n = -g + c*g + 9 for n.
3
Let f = 11 - 17. Let p be ((-40)/(-30))/((-4)/f). Solve 0 = 5*y + p*u - 11, 3*y = 3*u + 3 - 9 for y.
1
Let x be 0/3 + 3 - 0. Suppose -4*v + 4 = -x*v. Solve 4 = 4*m, 3*q + 2 = -v*m - 3 for q.
-3
Let x(t) = t**3 + 4*t**2 + 4. Let h be x(-4). Suppose 2*o = -h*s + 22, -4*s - 2*o = 2*o - 32. Solve k - 18 = -4*u - 4, -3*k - s*u = -6 for k.
-2
Suppose 0*v + 4*z = 3*v - 17, -3*v - 3*z = -45. Solve 3*y - 4*n = -14, 5*y - 4*n - v + 29 = 0 for y.
-2
Let r be 0 + (4/3)/((-1)/(-3)). Solve -r*s + 4 - 3 = -v, 3*v = 2*s - 13 for s.
-1
Let t be 2/(-6) - (-1)/3. Suppose 4*d + 3*c = 4*c + 18, -d + 6 = -c. Solve 0 = 3*h + d*k, -3*k + 1 - 10 = t for h.
4
Suppose -j - 4 = -l, 0 = -6*l + 4*l + 3*j + 10. Solve -3*a = -l*k - 8*a - 15, -a = 2*k + 11 for k.
-5
Suppose 4*y - 29 = -17. Suppose -4*s = -8*l + 3*l + y, -6 = -l - s. Solve -2*p = -l*g + 7, -4*g - 4*p + 19 = g for g.
3
Let a = 8 - 3. Suppose 2*z = -2*c + 12, c - a*z = 25 - 1. Solve 0 = 4*j + n - c, 2*n = -j - j for j.
3
Let v = -3 - 1. Let h = v - -3. Let b be (-6)/9*(h - 2). Solve 6 = -b*k - 5*x - 7, 0 = -2*x - 2 for k.
-4
Let i be -1*(0 - (-4)/(-1)). Let a be 306/14 - 3/(-21). Let r(f) = f**2 - 6*f + 6. Let n be r(5). Solve p - 5 = -v + n, -2*p - i*v + a = 0 for p.
1
Let s = 87 + -50. Suppose -3*f - 5*y = -s, 33 = 5*y + 8. Solve 3 + 2 = -d - 5*k, -k + 18 = f*d for d.
5
Let c(k) = k**3 - 3*k**2 - 2*k - 3. Let t be c(4). Let