80)/(-13). Suppose s = i + 2. Let p = -2 - -4. Solve -5*m - s = -3*b, -3*b - 32 = p*b + 3*m for b.
-4
Suppose 0 = 4*p - 2 - 2, -5*g + 2*p = 67. Let t = g + 23. Solve -3*u + a = 2*u + 20, 0 = 5*u + a + t for u.
-3
Let q be 4/10 + 13/5. Suppose 5*k + 0*k + 125 = 5*j, 4*k = j - 37. Let o = j - 2. Solve 5*r + q*h - o = 0, 0*h - 27 = -5*r + h for r.
5
Let i = 372 - 368. Suppose -2*q + q = -20. Solve -3*d = 0, q = -i*l - 5*d + 2*d for l.
-5
Let i(v) = -2*v - 21. Let l(c) = 3*c + 32. Let t(n) = 8*i(n) + 5*l(n). Let h be t(-10). Solve 0 = 4*k - 3*q - 3, -2*q = -4*k + h*q + 8 for k.
-3
Suppose -j + 1 = -3*u + 37, 0 = -3*u - 3*j + 36. Solve -5*b - 5*h = 20, -b + 0*h - u = 5*h for b.
-2
Let o(n) = n**3 + n**2 - 2*n. Let r be o(3). Suppose 3*s = 8*s - r. Solve -5*l = -q - 11 - s, -3*l + 2*q + 13 = 0 for l.
3
Suppose -u = -5*u + 24. Let n be (-3)/(-1 - (1 + -1)). Solve -5*b - n*j = 30 - 6, -b - j = u for b.
-3
Let l be 2 + 3 + -2 + 1. Suppose l = a + 2. Let u be (-69)/(-12) + a/8. Solve -u = -m + 5*y - 24, y + 9 = -4*m for m.
-3
Suppose 0 = 4*o + 2*f - 16, 2*o - 12 = -o - 2*f. Solve o*s - 9 = -v + 6, 15 = 3*s for v.
-5
Suppose 4*q = 4*r - 20, -4*r - q - 3*q + 28 = 0. Suppose r*h - h = -5*v, 5*v = -h - 16. Solve 0 = 3*s - h*w - 2 + 10, -2*w - 18 = 4*s for s.
-4
Let x = 8 + -5. Let g be (1 + -2)*(4 + -10). Suppose -10*b = -g*b - 8. Solve -2*d + 3 = -4*p - 9, x*p = -b*d + 5 for d.
4
Let h(a) = -a**2 + a + 2*a**2 + 5 - a. Let g be h(0). Solve l = -p + 4, l + 24 = g*p - 2 for l.
-1
Suppose -i + 16 = -5*i, 0 = 2*g + i + 4. Solve -21 = k + 5*u + 4, g = 4*u + 16 for k.
-5
Let p(a) = -a**2 + 5*a - 5. Let u be p(6). Let f = u - -17. Let k be 4/(-6) + 172/f. Solve -2*c - 5*l - k = 0, 4*c + 3 = 2*l - 5 for c.
-4
Let t(v) = 6*v + 44. Let i be t(-4). Solve -2*p + 4*p - 4*c = 2, 4*p + 4*c + i = 0 for p.
-3
Let l = 11 - 6. Solve -3*b + 3 = 0, -13 - 12 = -l*h - 5*b for h.
4
Let c(i) = 2*i + 9 + 11 + 2 - 5. Let a be c(-7). Solve 0 = a*q + 3*y + 3, -10 = -6*y + y for q.
-3
Suppose -21 = -5*z + 9. Let h(x) = x**2 - 2*x - 8. Let j be h(z). Let v = j - 11. Solve v*i + 3*f - 8 - 2 = 0, 0 = -5*i + 4*f - 25 for i.
-1
Let u(i) = 4 - 3*i + 0 + i + i. Let s be u(4). Solve g = -s*o - 4*o - 20, -32 = 3*o + 5*g for o.
-4
Suppose 2*t - 3 = 1. Suppose o + b + 9 = -3*b, t*b + 12 = 2*o. Solve -3*l + 2*d = -2, 16 = -2*l - 0*d - o*d for l.
-2
Let f be (-8)/(-5) + (-4)/(-10). Let r(l) = l**3 + 6*l**2 + 6*l. Let x be r(-4). Let n = x + -5. Solve -5*v + n = 5*u - f, 4*u = 0 for v.
1
Let o be (-20)/(4/(-1)) - -2. Solve -2*a + o = d, -2*a + 3*a + 4*d = -7 for a.
5
Let a = -64 - -79. Solve -24 = 5*b + 4*v, 4*b + v + a = 2*v for b.
-4
Let l(v) = -v**2 + 4. Let g be l(0). Suppose 32 = 4*s + 3*x, 0 = -3*s + 6*s + g*x - 31. Solve 2*b = s*p - 2, 0 = -3*b - 3*p + p - 3 for b.
-1
Let g be (-2)/(-6) - (-136)/24. Solve -k + g = 7*v - 2*v, 5*k = 3*v + 2 for k.
1
Let m(n) = -2*n - 14. Let r be m(-8). Let v be (8/(-2))/(-2) + 1. Suppose 2*l = -v*w + 13, 7 = 3*l - l + w. Solve 2*f + 3 = u, -3*f + r = -l*u + 5 for u.
-3
Let y(c) = c**2 - 11*c + 14. Let h be y(10). Solve 0*r - r = -5*w + 25, -5*w - h*r + 25 = 0 for w.
5
Let z be (-58)/(-7) - 4/14. Suppose -2*w + 24 = -4*y, -w - 2*y + z = 3*w. Let v be 0 - (w + -2) - -2. Solve -l + 2*m - 3 = v, 2*l - 4*m + 5 = -m for l.
-1
Let j = 2 - 2. Suppose -2 = 5*q + 3. Let y be (-20)/4*(j + q). Solve y*u - 28 = 5*l - 3, 0 = 3*u + 2*l + 10 for u.
0
Let n be 3/6*1*8. Solve 6*r = -b + 4*r - n, 0 = 3*b + r + 2 for b.
0
Let j(o) be the second derivative of -o**4/12 - 5*o**3/3 + 9*o. Let t be j(-6). Solve 5*a - 2*g - 2*g = 21, 0 = 4*a - 5*g - t for a.
1
Suppose 0 = 2*n + 3*n - 125. Suppose -n = -4*r + 47. Solve -5*f + r = -3*u - u, -4*f - 4*u = 0 for f.
2
Let d = 16 + -6. Solve -6*y + y - d = 5*i, -3*y - 1 = 2*i for i.
-5
Suppose 3 = -2*d + 3*d. Suppose -4*o - 11 = 1, 75 = d*k + 4*o. Solve 3*v - 5*t = -26, 13 - k = -4*t for v.
-2
Suppose 5 = -20*x + 21*x. Let t(g) = g. Let q be t(5). Solve -5*u - x = -0*u + p, p = 3*u - q for u.
0
Suppose -4 = 4*i - 6*i. Let n be 4/10 - (-22)/(-5). Let c = 7 + n. Solve c*q + i*x = -q, -5*q + 4*x + 26 = 0 for q.
2
Let j(p) = p**3 + 3*p**2 + 2*p - 2. Let t be j(-2). Let i be ((-9)/12)/(t/8). Solve -3*k - i*q - 3 = 0, 4*k - q + 3 = 7*k for k.
2
Let g(y) = 3*y**2 + y. Let u be g(-1). Solve 4*n + 2*p - 26 = 0, 6*n = n - u*p + 30 for n.
4
Let x be (-17)/((-3)/(-3 + 6)). Suppose 4*t = 3 + x. Let k be (3 - -1)*2/4. Solve -g + k*g + 4 = 2*d, -9 = d + t*g for d.
1
Let o be (2 - -1)/(3/2). Suppose -o + 0 = -h. Solve a + 0*a = n - h, 0 = -5*a + 3*n - 14 for a.
-4
Let s be 5/15*-1*-9. Solve 0 = -4*m - 3*v - v, s = 3*v for m.
-1
Let i(p) = p**2 + 2*p + 1. Suppose 5*v - h - 12 = 0, -6 = -6*v + 4*v + h. Let g be i(v). Solve 3 = -3*r + 2*r + 3*d, 0 = 3*r - d + g for r.
-3
Let d(u) = -u + 2. Let r(y) = y - 1. Let c(o) = 2*o. Let q be c(1). Let g(m) = q*r(m) + d(m). Let p be g(4). Solve -5*w + 24 + p = 2*i, -4*w + 32 = 4*i for i.
4
Suppose -27 = -5*x - 3*k, 7*x = 3*x + 2*k + 4. Solve 0 = 2*f + 5*i + 2, -3 = x*f + 3*i - 4*i for f.
-1
Suppose x = -4, 5*z - x - 28 = z. Let j = 10 + -9. Solve -5*g - z*i - 5 = -i, -3*i - j = g for g.
-1
Suppose f + 3*f = 16. Suppose -3*p + o + 27 = 6*o, 28 = 4*p + f*o. Solve c = p*d + 4*c + 1, 2*c + 14 = 4*d for d.
2
Let b(o) = -2*o - 4. Let u be b(-7). Suppose 5*k - 3*p = 20, -3*k + u = 2*p - 2. Solve 24 = 4*l + k*c, -l - 2*c = 2*l - 17 for l.
5
Let m = -3 + 5. Suppose -4*r + 3*r = -m. Solve -r*o = 2*h - 8 - 0, -3*h + 8 = o for h.
2
Let d = -40 + 41. Suppose -3*h = -47 - 4. Solve u = r - d, 0 = -5*u - r - h - 0 for u.
-3
Suppose 3*h + g + 8 = 24, h - 17 = 2*g. Let k = -5 - -9. Solve 0*x + k*b + 16 = -4*x, -2*x = -b - h for x.
1
Let y(p) = -2*p**3 - 3*p**2 - 3*p - 1. Suppose 0 = -10*v + 7*v + 6. Suppose z + v = -0*z. Let a be y(z). Solve 0 = -4*c - 3*u - 3, c - a = -c - 5*u for c.
-3
Suppose -48*n - 12 = -51*n. Solve -5*k + 3*t + 13 = -14, n*k - 16 = t for k.
3
Suppose -x = -4*x + 6*x. Solve 5*z - 4*a = -10, x*z + 2*z - 4*a + 16 = 0 for z.
2
Let r be 2/3*1/1*3. Solve -r*x = z + 4*z - 11, z + 1 = -2*x for z.
3
Let i(k) = -k + 8. Let r be i(4). Solve 0 = 2*j - 4, -r*p + p = -j - 10 for p.
4
Suppose 2*s + 3*v = -0*s + 6, 4*s + 2 = v. Suppose s - 4 = -r. Solve 17 = 3*j - r*g - 0, 0 = -j + 5*g + 24 for j.
-1
Let r be (1 + -4)*40/(-60). Solve -4*t + r*a = -10, t + 3*a - a + 5 = 0 for t.
1
Let h = -2 - -4. Let l be (-6)/(5 - h) + 3. Let p(m) = 3*m**2 + 1. Let j be p(l). Solve 0 = -j*x + 2*g + 14, -2*x + 0*g = 3*g + 13 for x.
1
Let x = -1 + 2. Suppose -i + x = -1. Let g = 47 - 42. Solve -3*p + i*p + 4 = n, 3*p - g = 4*n for p.
3
Let v(h) = h - 3. Let a be v(3). Let t = a - -4. Solve -t*o - 4*i = 0, 0 = -2*o - 6*i + 3*i + 4 for o.
-4
Suppose 0 = -3*u - 0 + 6. Solve -2*l - 3*l + u*j = -9, -3*l + j = -6 for l.
3
Let h = -2 - -3. Let m be 2 + h/(3/9). Suppose -3*c + 6 = -0*c. Solve -t - 2 = 3*i - m, -3*i = -c*t + 6 for i.
0
Let n = 0 - -16. Solve 5*x = 25, d - n = -d - 2*x for d.
3
Let j(t) = t**3 - 13*t**2 - 28*t - 25. Let z be j(15). Solve 5*c - 20 = h + 3*h, 0 = z*c - 2*h - 10 for c.
0
Let s(u) = 14*u**2 + 50*u - 47. Let a(k) = -5*k**2 - 17*k + 16. Let p(q) = 17*a(q) + 6*s(q). Let n be p(8). Solve -2*z + 6 = -2*y + n, -z + 1 = 4*y for z.
-3
Let u(p) = -p**2 - 7*p - 1. Suppose -2*w + 18 = -5*w. Let q be u(w). Solve -3*n + 6 = 4*s - q*n, -3*n - 15 = 0 for s.
-1
Suppose -k = 3*k - 8. Let l be (k - 3 - -2) + 1. Suppose -3*s - 3 - 1 = -l*z, 3*s = z - 2. Solve s*i - 2*i + 10 = 0, 3*p - 29 = -4*i for p.
3
Let m be (-2 - -3)/((-1)/(-5)). Suppose -3*y + 24 = -s + m*s, 27 = 3*y + 5*s. Let b = 8 + -4. Solve 0*d = 3*d + y*r - 1, d - 11 = -b*r for d.
-5
Suppose -4*j + 3*b + 11 = 0, j - 6 - 2 = -b. Let u(y) = y**3 + 5*y**2 + 3*y + 1. Let m be u(-4). Solve 27 = -j*t + 7, m*t + 18 = g for g.
-2
Let s(v) be the third derivative of v**5/10 + v**4/24 + 4*v**2. Let l be s(-1). Suppose l*y - 9 = 1. Solve 2 = -a + c, -c - 6 = -a + y*a for a.
-4
Let q = 7 + -2. Suppose 0 = -3*a + a + 5*d - 4, -q = -5*a + 5*d. Solve -p - a*p + 15 = -b, -20 = -3*p - b for p.
5
Let m be (-3 + 3/(-3))*2. Let t = -1 - m. Solve 3*v - 5*w - t = 2*v, 3*v + 5 = 2*w for v.
-3
Let q be ((-1)/(-1))/(10/50). Solve -q*m = -2*m - 4*t + 35, -2*m + 2*t = 20 for m.
-5
Suppose 2*c + 2*h - 2 - 4 = 0