(m) be the first derivative of m**3/3 - 2*m**2 - 32. Let k be c(5). Solve 3*j = 2*h - 13, 0 = k*j - 4*j - 2*h + 11 for j.
-1
Let b = 63 + -59. Solve 8 = -b*a + 28, -z - 3*a = -19 for z.
4
Suppose n - 23 = -105*g + 103*g, -2*n = -3*g + 45. Solve -p - 2*c = 9, 12*p - g*p - 7 = c for p.
-5
Suppose 0*j - 3*j = 2*u - 19, 16 = 2*j + 3*u. Solve 5*p - 9 = -0*z - 2*z, -z - j*p + 12 = 0 for z.
-3
Let o(m) = 2*m**3 + 10 - m**3 - 8*m - 6*m**2 - 1. Let f be o(7). Suppose -5*c + 32 = 12. Solve -f*i - 2*b = 0, i - 10 + 1 = -c*b for i.
-3
Let w = 29 + -19. Suppose 12*z - 8 = w*z. Solve -2*u - x = 4*x - 7, -2*u = 4*x - z for u.
-4
Suppose -18 = -5*z - 2*i, 5*i = -4*z + 11 - 0. Let g be (6/24 + 1)*z. Solve 3*k = g*y - 3*y + 18, 3 = -y for k.
4
Suppose 0*v = -3*v + 84. Let a be 2/8 - (-105)/v. Let p(d) = d**2 + 1. Let w be p(-1). Solve -2*c + 28 = w*c - a*s, 3*s + 9 = -c for c.
3
Let f(u) = -35*u**3 + u**2 + u + 1. Let d be f(-1). Suppose d + 4 = 8*l. Solve -x - l*w = 1 + 10, -14 = -5*x - 2*w for x.
4
Let v be 3/(-4) - -2*(-3)/(-8). Solve -11 = l - 3*u, -3*l - 13 = -4*u - v for l.
1
Suppose 3*l - 5 + 53 = 0. Let r be (l/(-24))/(11/(-6) + 2). Solve -r*s + 2*f + 6 = 0, -3*s + 4*f + 21 - 9 = 0 for s.
0
Suppose -7*n = -5*n + 34. Let d be (-2)/4*(n - -7). Solve 5*i - d*q + 45 = 0, 3*i = q + q - 23 for i.
-5
Let b = -22 + 24. Let d(a) = -a - 10. Let n be d(-7). Let c be (-1)/n + (-88)/(-6). Solve c = 5*y - b*y, -q + 5*y - 29 = 0 for q.
-4
Let n = -19 + 27. Suppose n*w - 3*w - 15 = 0. Let j be (-63)/(-12) + 1/(-4) + 0. Solve w*y + 4*u + 17 - 1 = 0, 2*y + j = 3*u for y.
-4
Let p be (1 - (-18)/(-12))*0. Solve -2*r - 3*r - j - 1 = p, -j = 1 for r.
0
Let f(n) = 3*n - 3. Let x be f(2). Let l(r) = -6*r + 24. Let a be l(-17). Let c = -96 + a. Solve 2*u - 5*b - c = 0, -5*u + u + x*b + 32 = 0 for u.
5
Let k be ((-14)/(-4))/((-1)/(-4)). Let p(y) = y**2 - 8*y - 2. Let j be p(-3). Let i = -28 + j. Solve 3*a + k = d, -a = -i*d - 0 + 2 for a.
-5
Let a(w) = 2*w**2 - w**2 + 4*w**2 - 4*w - 4*w**2 - 7. Let c be a(6). Solve 4*v - v + 4*p + 11 = 0, -37 = -4*v + c*p for v.
3
Let i = -604 - -631. Suppose d - 6 = -2*d. Solve -i = g + 5*w, -g - 5 = d*w + 7 for g.
-2
Let x be (-1 - (-9)/6)*0. Let h = -29 + 36. Suppose h*j = -0*j + 28. Solve 4*g - 3*k - 4 = x, 4*k = j*g - g + 4 for g.
4
Suppose 22*w = -36 + 102. Solve -2*a - 5 = -7*a + 5*m, -5*m + 27 = w*a for a.
4
Suppose -9*y = -0*y - 18. Suppose h = 3*k + 5, 3 = -h - 5*k - 0. Suppose -q = -h - 3. Solve 5*c = 2*t - 11, q*c = y*t + c - 10 for t.
3
Let f(l) = 5*l**2 + 42. Let n(p) = -2*p**2 - 14. Let c(d) = -3*f(d) - 8*n(d). Let y be c(5). Solve y = 2*a - s, 7*s + 15 = 4*s for a.
3
Let o(m) = -m**2 + 4*m + 9. Let w be o(5). Suppose -w*n - 4*i - 3 + 23 = 0, 2*n + 4*i = 12. Solve -x = -n*r + 1 + 1, -3*x - 3*r = -9 for x.
2
Suppose -4*l - l + 15 = 0. Suppose -2*c = -o - 50, -4*o + 3*o + 100 = 4*c. Suppose 3*t = 5*t - 10. Solve -f + l*f - 1 = 3*s, 0 = t*s + 2*f - c for s.
3
Suppose -7*u - 25 + 95 = 0. Let k be -5*3/6*(-12)/u. Solve -2*l + 8 = 2*z, 5*z - l - 17 = k for z.
4
Let o = 1829 + -1829. Solve 0 = 2*b + 8*l - 6*l + 2, o = 2*b - 5*l - 5 for b.
0
Suppose 0 = -7*p + 4*p - 21. Let v = p + 12. Solve m = 2*m + 5*o + v, -2*o - 2 = 0 for m.
0
Suppose -t + 4*v = 17, -t - 2*v - 60 = -19. Let o = -30 - t. Solve s = -3*k + 17, 5*k - 14 = o*s + k for s.
2
Suppose 5*v + 5*z + 10 = 0, -49*v = -53*v - z - 2. Solve -5*m - 5*a - 10 = v, -2*a + 0 - 8 = 4*m for m.
-2
Let f = -106 + 108. Solve -25 + 2 = 5*z + f*u, -7 = 2*z + 3*u for z.
-5
Let d be (4 + 1 - 5)/(-1)*2/(-2). Let t = 2 + 0. Solve i - 3 = -u, t*u - 3*i = -d*i - 4 for u.
1
Let n = -545 - -547. Let s = -5 - -11. Solve n*v - 1 - 11 = 2*y, 3*v + s = -3*y for v.
2
Suppose 0*t - 2*t = 24. Let j = 12 + t. Suppose -7*g + 6*g + 5 = j. Solve 4*l - g = -4*r + 3, -3*l = r - 4 for r.
1
Let n(j) = 9*j - 48. Let k(b) = -4*b + 24. Let v(d) = -5*k(d) - 2*n(d). Let u be v(13). Solve u*w - 5*y + 12 = 0, -3*w + 0*y + 2*y + 4 = 0 for w.
4
Suppose 7*i = 10*i - 2*n - 20, -3*i = 2*n - 4. Solve -b = i*j - 5, -4*j + 3*b + 28 = 11 for j.
2
Let h(z) = 17*z**3 + 2*z**2 - 1. Let k be h(1). Let f = k - 26. Let j be (f + -4)*1/(-2). Solve 5*x - 5*w + 4 + j = 0, 13 = -3*x - 4*w for x.
-3
Let g = 3 + -8. Let i(s) = s**2 - 7*s - 45. Let o be i(11). Let x = o - g. Solve -4*d = 0, -6 - x = -5*c + 4*d for c.
2
Let w(t) = 5*t**2 + 8*t + 18. Let q be w(-2). Solve q = 4*k - 0*n + 5*n, 4*n - 11 = -k for k.
3
Suppose -x = 1 + 4, b + 2*x + 8 = 0. Suppose -b*p = 2*p. Solve p - 2 = -g + v, -3*g + v = -8 for g.
3
Let b = 6 + -4. Suppose 3*y - 6 = 12. Solve -i - 4*k = -3*k - 3, 3*i - b*k + y = 0 for i.
0
Let f be (-26)/(-117) - -43*(-3)/(-27). Solve 3*o = q - 5, o + 2*q - 1 + f = 0 for o.
-2
Let g = 2233 - 2231. Solve 0 = -g*i - z + 6, -3*z + z + 9 = i for i.
1
Let w(c) = 4*c - 2. Let l(v) = 5*v - 1. Let k(p) = 3*l(p) - 4*w(p). Let n be k(5). Solve 0 = y - 4*x + 13, 3*x = -4*y - n*x + 5 for y.
-1
Suppose -24*n - 113 = -185. Solve 0 = n*z + 5*q - 27, 5*z + q - 8 = 15 for z.
4
Let s(n) = -12*n**2 - 3*n + 13. Let g be s(3). Let o = -98 - g. Solve u - 2*m = o, 4*m + 0*m = -2*u + 4 for u.
4
Let n = -71 + 84. Let q = n - -2. Solve 5*j = -3*d - 37, 0 = 4*j + 2*d + 13 + q for j.
-5
Suppose 3*l + 2*l + 6*l = 0. Solve -3*c - 10 = -3*u + c, l = -5*u - c - 14 for u.
-2
Let l be (5 - (-141)/(-27)) + (-128)/(-9). Suppose -l = -3*h - 5. Solve 9 = h*x + 3, 0 = -2*c - x + 6 for c.
2
Let s be (-4)/2*-2*186/248. Solve -5*d = -s*u + 10, -3*u = -3*d + 2*u - 22 for d.
1
Suppose 86*t + 10 = -3*a + 88*t, 4*a - t + 5 = 0. Solve a = 4*m - 5*s - 19, -5*m - 4*s = -0*s + 7 for m.
1
Suppose -3*t - 4*j + 6 + 26 = 0, 29 = t + 5*j. Solve 0*l - 3*l + 3*w = 12, 0 = t*l + 2*w - 8 for l.
0
Suppose -67 = 13*f - 119. Solve -q = b + 1, -3 = f*q - 2*b + 1 for q.
-1
Suppose 6*z = -2*z. Let p(k) = -k + 3*k - 2*k + k**2 + 1. Let q be p(1). Solve -8 = q*x - g, 0 = -5*x - z*g - 4*g - 33 for x.
-5
Let v(p) = p**3 + 7*p**2 - 9. Let i be v(-7). Let x = i + 10. Solve 0 = -4*y + 3*m + 2 + x, 3*y + 1 = -m for y.
0
Let v = 208 - -310. Let n be ((-6)/(-7))/(-3) - v/(-98). Solve 29 = -2*g + 4*w + n, -4*g - 5*w = -17 for g.
-2
Let r(a) = -a**3 - 10*a**2 + 29*a - 7. Let o be r(2). Solve -5*p + y + 5 = 3*y, -o*p + y = -3 for p.
1
Let q(m) = -m**2 - m - 1. Let z(x) = x**3 - 5*x**2 + 16*x - 4. Let i(c) = 4*q(c) + z(c). Let g be i(8). Solve -5*b - g = -3*a, a - 3*a - 6 = 4*b for a.
3
Suppose 2*w = -3*w. Let h(o) = -5*o + o**3 + 4 - 5*o**2 + 0*o**2 + 7*o + 4*o**2. Let b be h(w). Solve -z - 5*p + b = 2, 4*p = -4*z - 8 for z.
-3
Let p be (-7)/35*20*-1. Solve -9*v + 4*v + 18 = p*x, -5*v = -2*x - 6 for x.
2
Suppose 5*a + 25 = -3*m - 38, -2*m - 4*a = 44. Let u be m/(-24)*(-66)/(-4). Solve n = -4*n - 2*o - u, n + o = -1 for n.
-3
Let v = 463 + -463. Solve 1 = z - v*z - 4*n, 0 = 2*z - 5*n - 5 for z.
5
Let v(t) = 12*t - 155. Let h be v(15). Solve 0*x + 3*x - 8 = 4*p, -5*p = 5*x - h for x.
4
Let v = 48 + -27. Let a = 157 - 155. Suppose -1 - v = -a*j. Solve 4*g - j - 2 = -5*h, -2*h - 5*g = -12 for h.
1
Let o = -40 + 43. Suppose 0*u = u - o. Suppose -3*v - 2*v + 3 = -3*d, -5*d = 2*v - 26. Solve p - 4*j + 1 = 2*p, -d*p = u*j - 17 for p.
5
Let y be (26/(-39))/((-2)/15) - -9. Solve 0 = -2*j + 3*h + y, 3*j + 0*j + h = -1 for j.
1
Suppose 6*p - 152 = -134. Solve 2*g + 4*j = 0, -p*g - 5*j + 6 = g for g.
4
Let m be 0/(4/2*-1). Let k = 6 + -3. Suppose -2*g + k*p = 2, m*g = -4*g - p + 10. Solve 0 = -2*z - g*z + 12, b = -3*z + 13 for b.
4
Suppose -3*d = d - 20. Let w be (-460)/(-69)*6/4. Suppose -d*n = -x - 0*n + 25, -2*n - w = 3*x. Solve 2*b + b + u = 14, x = -b + 5*u - 6 for b.
4
Let f = 282 - 249. Solve -2*o - 5 = -3*o + 5*m, 0 = -5*o - 4*m - f for o.
-5
Let a = -513 - -517. Solve -3 = 3*d + a*n - 4, 5*n = -5*d for d.
-1
Let v = -20 - -28. Let z be (v/(-6))/((-4)/9). Let o(p) = 7*p + 1. Let y be o(2). Solve -z*g + 23 = -0*h - 4*h, -y = 5*g + 4*h for g.
1
Let h = 10 + -10. Let z(t) = 2*t + 18. Suppose -5*m - 44 - 1 = 0. Let v be z(m). Solve h*o = o + 5*n + 30, v = 5*o - n + 20 for o.
-5
Suppose w - 20 = -13. Let p(l) = -l**3 + 8*l**2 - 11*l + 36. Let c be p(w). Solve -q + 2 + 10 = -2*i, -q - 2*i - c = 0 for q.
2
Suppose 2*h - 24 = -2. Let d(q) = q**3 - 10*q**2 - 11*q + 5. Let f be d(h). Suppose f*n + 10 = 2*p - 0*p, 3*n =