 5*s - 17 - 3 = d. Solve -n*k + 30 = 10 for k.
4
Let b = 55 + -25. Let l = 70 - b. Let q = l + -32. Solve 3*r + 1 = -q for r.
-3
Suppose 0 = -4*h - 46 - 118. Let l be 2 + -5 - 294/(-6). Let y = h + l. Solve -4*j = -1 + y for j.
-1
Let b(n) = -n**2 - 68*n - 666. Let k be b(-16). Solve 7*c - 110 = -k for c.
-8
Let z = -149 + 154. Suppose -c = -3*v + 1, 5*v - 8*v - 5*c - z = 0. Solve v = 9*w - 10*w for w.
0
Suppose 5*m + 4*i - 1176 = 0, -44*i + 43*i = -4. Solve -292 = -10*q - m for q.
6
Let o = 37 - 56. Let w = o + 19. Let v be 3 + -1 - (-1)/(-3)*w. Solve 2*g = -0*g - v for g.
-1
Let f be -14*(((-6851)/26)/17 - (-8 + -1)). Solve 4 = 93*g - f*g for g.
2
Suppose 0 = 7*y - 2*y - 4*c - 12, 4*y + 5*c - 26 = 0. Let b(d) = -d**2 + 9*d - 16. Let f be b(y). Solve -f*n = -8 - 8 for n.
4
Let t = -40 - -73. Let a = t - 40. Let k be (a + 7)/(-3 - -1). Solve 4*b - 21 + 5 = k for b.
4
Let l = -3494 - -3483. Let n(d) = d**3 + 17*d**2 + 25*d - 16. Let m(v) = v**2 + v - 1. Let g(i) = 4*m(i) - n(i). Let c be g(l). Solve -5*x - c = -4*x for x.
-1
Let g(x) = -9*x**3 - 40*x**2 + 17*x - 1. Let f be g(-5). Solve -f*t = -40*t + 6 for t.
6
Suppose -6*c = -81*t + 86*t - 61, -4*t + 2*c + 8 = 0. Solve 4*q = t + 15 for q.
5
Suppose 9*z = -3*f + 78, -6*z - 61 = -f - 2*z. Solve 27*q - f*q = -28 for q.
2
Let g(i) = i**3 + 49*i**2 + 51*i + 131. Let n be g(-48). Let a(c) = c**2 + 6*c - 81. Let s be a(n). Solve -3*r + s*r = -7 for r.
-1
Let z(d) = 3*d - 1. Suppose -2 = 5*a - 7. Let x be z(a). Suppose 21*c - 23*c = 0. Solve -6 = x*n - c*n for n.
-3
Suppose -7*b + 122 = -214. Suppose 3*a - b = -3*a. Suppose 4*n = -3*f + 12, 2*n - 2*f = 6*n - a. Solve -4*y + 4 = -n for y.
1
Let u be -2 - 12/(-8) - (-216)/16. Suppose u*o - 14*o = -4. Solve -o = -2*q - 2 for q.
1
Let w be (4 - 0)/(-2 + 4). Let u(h) = -1 + h**2 + 0*h - 3*h + w*h. Let q be u(-2). Solve -q = f + 4*f for f.
-1
Suppose -5*a = -2*a - 15. Suppose 0 = -h - a*h + 108. Let c be -6 + 158/h - 2/(-9). Solve 2*t = 3*t + c for t.
-3
Suppose 4*v = 12*v - 2176. Suppose 23*w - 7*w = v. Solve 5 = -6*r + w for r.
2
Let u = 4107 + -4078. Solve -6*k + u = -1 for k.
5
Suppose j = -3*m - 3*j - 20, m - j = 5. Suppose -2 = -9*n + 5*n + 2*o, m = 5*n - 5*o + 5. Solve 0 = -0*t + 2*t + n for t.
-1
Let n = 21 - 18. Suppose 0*x - 5*x = -25, -2*i - n*x + 29 = 0. Let l be i/3 + 6/(-18). Solve -2 = -l*c + 4 for c.
3
Let s be 2*(3 - 2)/((-2)/(-11)). Suppose -15*p = -s*p. Let v = 18 + -12. Solve 2*h - v = -p*h for h.
3
Suppose -287 = 38*g - 1123. Solve g*v + 8*v + 7*v = 0 for v.
0
Suppose 5 = 2*v - 3*j, 5*j = v + 4*v - 20. Let s(t) = 3*t**2 - 19*t - 14. Let d be s(v). Solve -4*o + 9*o - 5 = d for o.
1
Let t(u) = -u**2 + 93*u + 394. Let o be t(-4). Let k(c) = -16*c**3. Let z be k(-1). Solve -o*l = -10*l - z for l.
-4
Let w be (104/78)/((-1)/(-162)). Let u be w/14 + (11/7 - 2). Solve s - u = 4*s for s.
-5
Let s(l) = -3*l - 3. Let f be s(-2). Let z be (f/(-2))/((-3)/(-160)). Let o be (6/8)/((-10)/z). Solve -o*y = -4*y + 6 for y.
-3
Suppose -4*x = -2*d + 7*d - 70, 4*d + 4*x - 56 = 0. Let f be (d/(-6))/((-14)/12). Solve 5*s - f*s = -15 for s.
-5
Let v be ((-9)/2 - -3)*(5 - 7). Suppose -v*o - 5*r + 5 = 0, 5*o - 16*r = -19*r + 19. Solve -2*u + o = 3 for u.
1
Let w be ((-10)/6)/((-2)/6). Let b be -15 + 44/(-154)*-70. Solve w*d + b = -0*d for d.
-1
Suppose -3*m - d = 2*m - 38, m - 4*d + 5 = 0. Suppose -32 = -25*f - m. Solve -f = b + 3 for b.
-4
Suppose -4*x - 52 = -4*d, -4*x - 25 - 14 = -3*d. Let r be (-2 - -1)/((-1)/d). Suppose 722 = 302*b + 59*b. Solve 5*y + b + r = 0 for y.
-3
Let v be (3 - 201/6)*-2 + -1. Let g(o) = 11*o**2 - 2*o - 32*o**3 + 0*o**2 + 26 + v*o**3 - 29*o**3. Let s be g(11). Solve -3*b - 3 = -s*b for b.
3
Let p = -327 + 330. Suppose c - 4*o + 13 - 35 = 0, -5*o - 31 = -p*c. Let g(v) = -6*v - 5. Let n be g(-5). Solve c*s = -3*s - n for s.
-5
Suppose -w - g + 8 = 0, -3*g - 11 = -16*w + 12*w. Suppose d + 4*h + 4 = h, 3*h = w*d - 34. Solve -d*c = -9 + 29 for c.
-4
Suppose 34 = 4*k + 6. Suppose -71*z - 25 = -83*z - 1. Solve k*c + 19 = -z for c.
-3
Suppose -t + 4*u + 16 = 0, 12*u - 9*u = -t - 12. Suppose -15 = -5*l - 2*n + 7*n, 2*l + 4*n + 6 = t. Solve -4*k - l = -9 for k.
2
Suppose -6 + 3 = -x - 5*d, -2*x - d + 15 = 0. Solve x*b + 3*b + 22 = 0 for b.
-2
Let c = -1682 - -1700. Solve c*v + 21*v + 312 = 0 for v.
-8
Suppose -2*g + 4*u - u + 16 = 0, -40 = -5*g - 3*u. Suppose -d + g = p, -4*d = -2*p - 0*d - 2. Suppose p*s = 3 + 12. Solve s*y = -y - 4 for y.
-1
Let k(f) = -f**3 - 8*f**2 + 5*f - 18. Let a be k(-9). Suppose 6*j - 12*j = -a. Suppose -2*i + 5*o + j - 6 = 0, 0 = -o + 3. Solve -i = -2*c + 4 for c.
5
Let p be (20/2)/((-32)/(-1376)). Let q be 2021/p + 3/10. Solve -2*o + 1 = q for o.
-2
Let p(a) = -7*a**3 - 2*a**2 - 4*a - 1. Let o be p(-1). Suppose -4*m = -2*y + 38, y + 4 = -5*m + 2. Suppose -3*r = 1 - y. Solve 2*u - r*u - o = 0 for u.
-4
Let n = 30 - 28. Let i be 0/5 + n - (-1 + 2). Let k(f) = 10*f**2 - f + 1. Let u be k(i). Solve -d - u = -3*d for d.
5
Let f = -20 + 52. Let h be 34 + (2 - 4) + (-18)/(-3). Let b = h - f. Solve -4 + b = n for n.
2
Let p(n) = -12 - 1 + 4*n**2 + 2*n + 3*n**2 + n**2. Let h be p(3). Suppose 3*z - 5*m + 2*m - 30 = 0, -3*z - 4*m = -h. Solve 9*c = 4*c - z for c.
-3
Let f = -261 + 258. Let q be -3 + 7/2 + f/(-2). Solve 0 = q*a - 9*a + 21 for a.
3
Let u(x) = 3*x**2 + 4*x + 2. Suppose 5*w + 15 = 45. Suppose -f = w*f + 14. Let d be u(f). Solve -2*z + d*z = 0 for z.
0
Suppose -4 = 3*n - 368*c + 363*c, 4*n + c - 33 = 0. Solve 0 = -2*s - n + 1 for s.
-3
Let f be (-8)/(-20) + 6/(-15). Suppose f = 150*v - 151*v. Solve v = -k + 4*k + 6 for k.
-2
Let k = -45 - -33. Let m = 4 - k. Suppose -4*y + m = -0. Solve -g = y*g - 25 for g.
5
Let w = 1928 - -3508. Solve 5443*b - w*b = 21 for b.
3
Suppose -m - 2*a + 62 = 0, -2*a - 54 = 43*m - 44*m. Solve t + 28*t - m = 0 for t.
2
Let u(w) = -4*w**3 + 3*w**3 - 18 + 10*w**2 - 17 + 4*w. Let s be u(10). Let y = -14 - -23. Solve 0 = -y*c + s*c + 20 for c.
5
Suppose 4*r - 38*r + 832 = -2*r. Solve -18 + r = -2*c for c.
-4
Let f = -157 + 296. Let r = f + -134. Solve -r = 4*v - 13 for v.
2
Let r(m) = -9*m**3 + m**2 - m - 1. Let j be r(-1). Suppose -j*p + p - 459 = 0. Let k = 53 + p. Solve -k*q + 6 + 4 = 0 for q.
5
Suppose 0 = 3*o - 5*o. Let w(i) = i + 6. Let p be w(o). Let v(z) = -73311*z - 293240. Let b be v(-4). Solve -b*x + x - p = 0 for x.
-2
Suppose -5*r - 8 = -23. Let z = 4 - 10. Let f be 0 - (-5 + (-4 - z)). Solve 6 = f*u + r for u.
1
Let h(q) = -2*q**2 + 15*q + 21. Let i be h(9). Let f = i - -6. Solve f = -r - 4*r + 15 for r.
3
Let c = -8931 + 8934. Solve -c = -15*p + 27 for p.
2
Suppose 0*x + 4*x = 0. Suppose -2*o + 2*g - 186 = 0, 0 = -3*g + 21 - 6. Let b = 92 + o. Solve w = -b - x for w.
-4
Let p(v) = -3 - 1 - 6 + 3 - 2 - 16*v. Let k(n) = -n**2 - n + 1. Let r be k(1). Let c be p(r). Solve 0 = 5*i - c + 2 for i.
1
Let u(v) = -v**3 - 16*v**2 - 21*v - 203. Let c be u(-15). Suppose 4*n - 5*g = 470, -2*g + 197 = -4*n + 661. Let r = n + c. Solve 0 = -b - r for b.
-2
Let g = 159 + -91. Let z = g - 68. Suppose z*o - 10*o = 2*o. Solve -5*d = -o*d + 25 for d.
-5
Let q = 1412 + -1404. Suppose -2*t - 1 = -5. Solve t*d = q*d for d.
0
Let n(w) = 2*w**2 + 15*w - 5. Let v(q) = q**2 + 8*q - 2. Let o(h) = 4*n(h) - 9*v(h). Let g be o(-14). Let r be 4/g + 616/120. Solve r*l = l for l.
0
Suppose 9*r - 352 + 271 = 0. Suppose 5*z = 4*l, r*l = 5*z + 10*l. Solve -6*v + v + 10 = z for v.
2
Let n = -276 - -304. Suppose n*r = 32*r - 12, 0 = -2*d + r - 3. Solve d = 3*h - 9*h + 30 for h.
5
Let o(u) = u**2 - u + 10. Let i be o(3). Suppose n = -15 + i. Solve -4*d = -5 + n for d.
1
Suppose -336 = 10*h - 86. Let l = 27 + h. Suppose 4*j - 2*f = 12, -3*j - l*j = -4*f - 18. Solve -7*b = -j*b for b.
0
Suppose -3*p - 3*s + 393 = 0, 16*p - 17*p - 3*s = -141. Solve -21*u = 42*u + p for u.
-2
Let x(p) = -5*p - 17. Let v be x(-4). Suppose 0 = 3*y + v - 3. Suppose y = n + 3*k + 10, -4*n - 4*k = -7*k - 35. Solve 0 = -n*i - 6 + 16 for i.
2
Suppose -7*d + 31330 - 1594 = 77*d. Solve -8*b + d = 386 for b.
-4
Suppose -4*c - 33 = -q, -196 = 3*c - 199. Solve 43*l = q*l + 12 for l.
2
Suppose 9443 + 3093 = 248*l - 30864. Solve -h + l = 173 for h.
2
Let q = -5996 + 6108. Solve q*s = 98*s - 70 for s.
-5
Let b(r) be the second derivative of r**4/6 -