
Let a(k) = k**3 - 29*k**2 + 75*k + 84. Let t be a(26). Let b be ((-81)/63 + t/21)*0. Solve b*x - 5 = -5*c + x, -3*c = x - 3 for c.
1
Let f(r) be the second derivative of -r**3/2 + 17*r**2 - r - 44. Let y be f(10). Solve 5*l + 3*m - 2 = 0, l + 2*m = -y*l + 3 for l.
1
Let g(t) = -9*t + 241. Let w be g(24). Suppose 3*i - 40 + 13 = 0. Let d(l) = 3*l - 3. Let y be d(i). Solve -3*k - 59 + y = -4*m, 0 = 5*m - w for k.
-5
Let v = 136 + -525. Let t = v - -391. Solve t*k - 5*k = -2*d, k - 8 = -2*d for k.
2
Let z(r) = r**2 - 10*r + 14. Let d be ((-27)/(-15))/(-5 + 156/30). Let s be z(d). Solve -4*c + 4 = 4*y, s*y - c = 2*y + 15 for y.
4
Let n = -5015 + 5031. Solve 3*w = -h + n, 3*h - 8 = 4*h - 3*w for h.
4
Let b(w) be the third derivative of -w**4/8 + 9*w**3 + 72*w**2. Let a be b(17). Solve -a*p - 5 = -5*p + 3*z, 5*z + 45 = -4*p for p.
-5
Let z(k) = -k**3 + 12*k**2 + 11*k - 234. Let q be z(11). Solve 4*s = -x + q, 16*x = 12*x - 5*s - 1 for x.
-4
Let h = -4 - -6. Let k = -60082 - -60110. Solve 3*d = -4*w + k, h*w - d = 2 + 2 for w.
4
Let f be 2/(-17) - 4134/(-1326). Let i be (-11)/(-6) - 2/(-12). Solve s + 0*s + i*o - 1 = 0, -f*s + 2*o = -3 for s.
1
Suppose 71*u - 69*u - 16 = 0. Suppose 14*i - u*i = 12. Solve 2*b + i = -3*t + 2*t, 5*t - 2*b + 10 = 0 for t.
-2
Let r be (-2)/(((-4)/(-20))/(15/(-25))). Solve 5*m + r = -3*o, -o - 14*m + 11*m - 2 = 0 for o.
-2
Let b be 30 + (-7)/((-21)/(-6)). Suppose 0 = -3*l + 118 - b. Suppose 3*k - 78 = -5*s, -l + 11 = -k - 4*s. Solve -4*p + j + 2*j + k = 0, 15 = -3*j for p.
4
Let b(u) = -1446*u**2 + 21 - u + 14 + 1444*u**2 - 10. Let g be b(3). Solve -z + 4*o + 34 = 12, 3*z = -g*o - 14 for z.
2
Suppose 2*a + 71 - 47 = 0. Let t = 16 + a. Suppose 4*f = -3*o + 8*o + 28, -4*o = 4*f - 64. Solve -4*l + t*q = -20, 2*q = 3*l - 0*q - f for l.
2
Let n be (42/4)/((-24)/(-32)). Let d(g) = 4*g - 54. Let t be d(n). Solve -2*q + p - t = q, 4*p = -q + 21 for q.
1
Let j(h) = -h**2 + h + 114. Let t be j(11). Solve 20*n - 19*n = -l - 1, -t*n + 12 = 0 for l.
-4
Suppose 0 = -3*z + 4*g - 37, -4*z + 0*z + g = 32. Let i(t) = -t**3 - 7*t**2 + 2*t + 14. Let s be i(z). Solve s = -3*p + 4*l - 6, -p - 3*l = -3*p - 4 for p.
-2
Let f(x) = x**2 - 5*x + 2. Let q be f(6). Let c = -6 - -8. Suppose 315 = -2*r + 321. Solve -4*d = c*n - q, -r*n - 8 = -4*d - 0*d for n.
0
Let t(n) = -n**2 + n - 24. Let p be t(-7). Let l be 9/((-135)/p) - (-1)/(-3). Solve 0 = -l*z + 5*g + 30, 4*z - 5 = 3*g + 14 for z.
1
Let g = -110 + 113. Suppose g = r - 3*o, 3*r - 2*o - 12 + 3 = 0. Solve 9*q + t + r = 4*q, -15 = q + 5*t for q.
0
Let x be ((-375)/6)/(-5) - (-32)/64. Solve 0 = -4*k, 15*y - 3*k + 10 = x*y for y.
-5
Let t(b) = 4*b**2 - 18*b + 6. Let z be t(0). Solve -5*m + 20 = -z*m + 5*o, 5*m + o = -22 for m.
-5
Suppose 5*o - 58 = 22. Suppose 0 = -o*v + 12*v + 20. Solve -v*k + 17 = 2*t + 4, 5*k - 2*t = -3 for k.
1
Suppose -17*u + 55 = -6*u. Let m = -17 + 34. Suppose -2*d - 16 = -5*z - 6*d, 0 = z - d + 4. Solve z = -u*c + 4*g + 24, -m = 6*c - 11*c - 3*g for c.
4
Let j be -4*3/9*(297/(-22) - -12). Solve -t = g - 6, 4*t - 16 = -2*g - j for t.
1
Let k(x) = 3*x**2 + 32*x + 103. Let s be k(-6). Solve 20 = 5*g - c, -g + 14*c - s*c = -4 for g.
4
Suppose 25*b + 0*b - 236 + 86 = 0. Solve 5*g - b*v = -7*v + 5, -4*v = 5*g - 20 for g.
0
Let q(i) = -i**3 + 97*i**2 - 288*i + 580. Let y be q(94). Let u = -12 - -17. Solve -u*a - y = w, 0 = -a - 3*w + 6*w for a.
-3
Suppose 14*t = 36 + 90. Suppose 5*y - n = 44, 3*n = -4*y + 48 - t. Solve 3*i - 4*i - y = -g, 5*i = g - 29 for i.
-5
Let p = 339 + -285. Suppose -p*n = -48*n. Suppose -4*v + 8*v - 16 = 0. Solve 3*c = n, -2*m = c + v*c - 10 for m.
5
Let k be ((-11)/(66/24) + 6)*2. Solve -4*p - 20 = 0, -k*p = -v + 3*v + 12 for v.
4
Let b = -18014 + 18029. Solve -3*f + 5*u + 28 = 0, 0 = 191*u - 194*u - b for f.
1
Let v(s) = s**3 - 51*s**2 - 56*s + 208. Let j be v(52). Solve -g - 2*q + 3 = j, 0*g = g + q - 1 for g.
-1
Let m be (2 + 0)*65/26. Let o = 123 + -113. Solve -m*c + 2*p + o = 0, 5*c - 17 + 2 = p for c.
4
Let g be 0 - (-4)/38 - 4218/40071. Solve 2 = 2*d + 4*p, d - 3*d + 4*p - 14 = g for d.
-3
Suppose -4*g = g - 15, -i - 6 = -5*g. Solve 33*y - 30*y + i = -3*q, -2*y = -q - 6 for q.
-4
Suppose -36 = -p + 4*d, 2*p - 17 = 12*d - 15*d. Suppose 0 = -p*s - 6 + 54. Solve -5*c + 20 + 5 = 0, -v = s*c - 16 for v.
1
Suppose 111*l - 271 = 3392. Solve l*p = 28*p - y - 7, 0 = 3*p + y + 5 for p.
-1
Suppose 9 = 4*c - 3*h, -2*c = 3*c - 3*h - 12. Let a(g) = 15*g + 22. Let y be a(4). Suppose -y*k + 80*k = -4. Solve -2*o - c*t = -4, k*t = -5*o - 0*o + 21 for o.
5
Suppose 3*h + 1532 = 5*c + 1542, -2*c - 4 = 0. Solve -t - 5*l - 18 = h, -5*t - 5 = -l + 7 for t.
-3
Let a(l) = -2*l**3 + 6*l**2 + 15*l - 24. Let d be a(4). Solve -1 = d*u + 3*z, u + 84 = 3*z + 65 for u.
-4
Let v be 59/(590/920) + 8 + 0. Solve -v*a = -4*f - 103*a + 1, 3*f = -a + 2 for f.
1
Suppose 0 = 1822*z - 1832*z + 75 + 35. Solve k = -3*i + 1, 0 = 4*i - k - z + 12 for i.
0
Let w be (-32 + 32)/(0 - 2). Suppose -c + 525 - 523 = w. Let t be 3/2*(-16)/(-6). Solve -t*d + m - 3*m = 16, -3*d - c = -m for d.
-2
Let z = -2190 - -2193. Solve 0*w + z*w - 18 = -3*q, -3*q - w = -14 for q.
4
Let f = 2848 - 2848. Solve f = -4*l - m + 6, -5*m + 7 = -6*l + 3*l for l.
1
Let l(i) = -11*i - 111. Let y be l(-11). Let s(g) = -g**2 + 9*g + 16. Let b be s(y). Solve -r - r = 2*z + 4, -5*r - b = 4*z for z.
-4
Let f = 88 - 87. Suppose 3*w - 3 = -3*n, n - f = -3*w - 0*n. Let z = -15 - -19. Solve 6*o = 4*l + o, w = -z*o + 16 for l.
5
Let d(u) = -40*u - 239. Let r be d(-6). Solve k + 129 = 4*j + 119, -k - r = -j for k.
2
Let o = -4130 - -6164. Suppose 20*s - 2*s = -o. Let z = -95 - s. Solve -7*r = -2*r + 5*a - 10, -z = -4*r + a for r.
4
Suppose 0 = 10*h - 5*h + 10. Let i be -4 - (-4)/(-1 - h). Suppose i = -4*w + c + 8, c = -4*w - 4*c + 32. Solve 2*y = 2*r - w - 11, 26 = -2*y + 5*r for y.
-3
Suppose x = 3*z - 115, -2*x = 3*z - 6*x - 100. Solve -5*t - z = -10*c + 6*c, -4*t + 9 = 5*c for t.
-4
Suppose 66*i = 65*i + a + 162, -5*a = i - 126. Solve 8 = 4*l - 4*o, -4*l + 164 - i = -o for l.
2
Suppose -25*w + 21*w - b = -5, 0 = 5*w + 4*b + 2. Solve -2*g + 0 = 3*y - 5, w*y = g + 1 for y.
1
Let v(k) be the third derivative of k**6/120 - 2*k**5/15 + 8*k**3/3 - 25*k**2. Let b be v(8). Suppose -8*a + b + 24 = 0. Solve -2*z = a*i + 9, -6 = z - 4 for i.
-1
Suppose 0*b - 2*b - g + 36 = 0, 5*b = 5*g + 90. Let k be -2*(39 - 37)/(-2). Solve -i + b = 3*t + 4, 5*i - 31 = -k*t for i.
5
Let d = 61 + -58. Suppose 3*f = -d*z + 24, z = -0*f + f - 16. Let t be (18/f)/((-6)/(-16)). Solve -4*r = 4*n - 3 - 1, -1 = -t*n - r for n.
0
Suppose -4 + 1 = -d - r, 0 = 3*d + 5*r - 9. Solve d*n = 3*g - 3, 2*n + 7*g = 4*g + 8 for n.
1
Suppose 4*z = 4*a - 9 - 23, 5*a = z + 40. Let p be -4*(a + 119/(-14)). Solve -30 + 8 = p*j + 4*v, 2*v - 14 = 4*j for j.
-5
Let w be 3 + (6 + -1)*1. Let s(z) be the first derivative of -z**2/2 + 16*z - 119. Let o be s(w). Solve -2*u - o = 3*j, 3*j = 5*j + 4 for u.
-1
Suppose 0 = -5*b - 3*p - 9, -b - 5*p = -4 + 19. Suppose l + b*l = 5. Solve n + h + 3 = -0, -3 = -l*n + 4*h for n.
-1
Let a(r) = -23 - 7*r - 9*r - 2*r**2 + 69*r + 45 + 26. Let j be a(27). Solve 3*h + 2*i = j, 4*h + 8 - 31 = -i for h.
5
Let k(g) = 3*g - 21. Let a be k(9). Let r be ((-8)/(-10))/(a/15). Solve 2*w = -3*j, -w = -r*j - 2*w + 1 for j.
2
Let u = -46 - -49. Suppose -24*b + 27*b = u. Let r be (47 + -48)/(b/1 - 2). Solve y - 2*t + r - 8 = 0, 5*y - 15 = 5*t for y.
-1
Let w be (3*(-1)/2)/((-57)/266). Let t(z) = z**3 - 4*z**2 + 3*z + 3. Let d be t(3). Suppose d = -w*v + 24. Solve v*y - 5*l = 19, 3*y - 5 = 2*l + 8 for y.
3
Suppose 8 = 2*l, 30*l - 25*l = -4*b + 40. Solve -38 = -4*i - 22, -3*i = -b*z - 17 for z.
-1
Let n = -32062 + 32064. Solve -n*t + z = 5*z + 16, z - 18 = 5*t for t.
-4
Suppose -3*y = -5*h - 5 + 86, 0 = h + 5*y - 33. Let p be (72/6 - h)*10/(-4). Solve -5*d + p = -0*n - 3*n, -n = -2*d + 5 for d.
0
Suppose -5*w = 4*v - 5*v - 90, 0 = -2*v. Suppose 8*t + w = 17*t. Solve 4*a + 4*f - f + 28 = 0, t*a = 5*f + 12 for a.
-4
Let w(s) = 56*s**2 - 5*s - 15. Let o be w(-2). Let b = o + -186. Solve -5*y + 2*g = -b, 8 = -g + 4 for y.
5
Suppose -4*z = 2*f - 6, 0*z = z - f - 9. Let p = -17 - -41. Suppose -3*v = -2*v - p. Solve 2 = -s - 1, z*s = -3*i - v for i.
-4
Let t = 81 - 71. Suppos