Suppose -v*a - 2*a + 8 = 0. Solve 0 = -a*k - y*k - 25 for k.
-5
Let c(r) = 2*r**2 - 17*r + 71. Let b be c(4). Solve b = k + 6*k for k.
5
Suppose 24 = -16*p + 20*p. Solve 2 = -p*w + 8 for w.
1
Let j = -4 - -4. Let t(h) = -h**2 + 5*h + 1. Let u be t(4). Suppose 2 = -8*p + 10. Solve 4*o - p + u = j for o.
-1
Let k be 16 + -3 + (-8 - -3). Solve k - 5 = f for f.
3
Suppose 0 = 39*i - 37*i - 10. Solve -2*h = -i*h + 12 for h.
4
Let l be 3 - (-13 - ((-24)/8)/(-3)). Solve -1 = -l*d - 18 for d.
-1
Let j(h) = -3*h - 6. Let n be j(-4). Suppose 2*g - 6 = n. Solve g*b = b for b.
0
Let i = 46 + -42. Suppose 0*j + 5*j - 25 = -2*m, j + 4*m = 23. Suppose 0*o - 4*o = -92. Solve -o + j = i*k for k.
-5
Let q(b) = -b**2 - 8*b - 3. Let j be q(-7). Suppose -5*c - 3*h = -j*c + 6, c + 4*h + 9 = 0. Suppose -c*s = -64 + 16. Solve 2*y + s = 6*y for y.
4
Let w(a) = 3*a**2 - 94*a - 37. Let n be w(32). Solve 4*p - n + 7 = 0 for p.
5
Let v be (-1)/((-10)/35 - 3/(-35)). Suppose 0 = -5*i - v, -x + 0*i = 5*i + 2. Solve 0*d = -x*d + 12 for d.
4
Suppose 5*r - 183 = -168. Solve -r*j + 11 = 2 for j.
3
Let q = 33 + -20. Suppose 22 = l - 4*n, 3*n + 8 + q = 3*l. Solve l*r + 2 = -4 for r.
-3
Let t = 6 + 2. Let y(b) = -b**3 + 7*b**2 + 9*b - 9. Let s be y(t). Let h be (-15)/(-3) + s + 1. Solve q - h = 2*q for q.
-5
Let l be (0 + 5)/((-11)/33). Let k = l - 3. Let h = 22 + k. Solve -v - h = v for v.
-2
Let u be 4/54 + (-94)/1269. Solve -o - 11 + 14 = u for o.
3
Let d be ((-1044)/(-42))/6 + 2/(-14). Suppose 2*x + 3*p - 7 = x, -d*p - 16 = -5*x. Solve x*k = -11 + 3 for k.
-2
Suppose 0 = h + 25 + 94. Let b = h - -122. Solve -m - 6 = -b*m for m.
3
Let u be ((-196)/(-56))/(21/12). Solve u = -24*r + 26*r for r.
1
Suppose 0 = 2*s + 2*p + 4 - 8, 2*p = 0. Solve -k + 5 = -s*k for k.
-5
Let d be 3*(-12)/9 - (18 - 0). Let f be 1/2 + 7 + d/4. Solve -f*w + 5 = 13 for w.
-4
Let x be (-2)/(-5) + 276/(-15). Suppose 4*g = -3*f - 78, 2*g = -g - 4*f - 62. Let s = g - x. Solve -3 = -s*k + 3*k for k.
-1
Let i(o) be the third derivative of -o**6/120 - 7*o**5/60 - 5*o**4/24 + 5*o**3/3 - 5*o**2. Let m be i(-6). Solve -8*p + 4*p - m = 0 for p.
-1
Suppose 25 + 35 = -4*d. Let z = 2 - 22. Let m = d - z. Solve 0 = -m*y - 9 + 24 for y.
3
Suppose -5*d - 2*o = -59, 2*d + 2*o - 4 - 22 = 0. Suppose -3*x = 7 - 4, 27 = 3*s - 3*x. Let a = d - s. Solve 2*c + a = -c for c.
-1
Suppose 66 = 2*a + 18. Let u be ((-4)/6)/((-2)/a). Solve -3*q = -u*q + 25 for q.
5
Let w(l) = -l**2 - 7*l - 9. Let c be w(-6). Let x be (-2)/c*(-5 - -8). Suppose 2 + 4 = x*s. Solve 12 = -s*u + 3 for u.
-3
Let x be 2 - (17 - 1)/1. Let z = 31 + x. Let p = 17 - z. Solve 4*h - 24 + 4 = p for h.
5
Suppose 0 = 5*p - 4 - 11. Suppose 3*i + 13 = -p*c - 2*i, 5*c = -5*i - 5. Suppose k - 2*k - o + 13 = 0, -c*o = -20. Solve -j + k = j for j.
4
Let b be 8/(-2) + 4 - -3. Suppose -b*t - 24 = -6*t. Suppose -5*s + 12*s = 0. Solve -t = -2*o - s for o.
4
Let u = -95 + 134. Let z = u - 30. Solve 11 = -5*w - z for w.
-4
Suppose -16*p - 5 = -5. Solve 9*c - 1 - 26 = p for c.
3
Let a = 211 - 206. Solve -a = -5*s - 0*s for s.
1
Suppose 2*y + 3*l = 0, 4*y - 3*l - 2*l = 0. Let g = -8 + 12. Suppose g*q - 60 = -y*q. Solve 4*z - z = q for z.
5
Suppose -2*m + h + 3 = -m, 5*m + 2*h = 15. Suppose -14 = -4*j - m*j. Solve j*k = 5*k - 12 for k.
4
Suppose 16 = -b + 3*b. Let z(q) = -q**2 + 11 - 20 + 12 - q**2 - 20*q. Let i be z(-10). Solve i*p + 7 = -b for p.
-5
Let k = 4 - -1. Suppose 0 = -3*r + k*r - 12. Let y be (8/r)/(5/15). Solve y*n + 9 = 21 for n.
3
Let w be 77 + (-5)/((-15)/(-18)). Solve -w*z - 20 = -67*z for z.
-5
Suppose 2*f - 56 = -2*l, -4*l = -4*f - f - 94. Suppose n - 4*a + 26 = 0, 13 = -3*n + 5*a - 6*a. Let s = n + l. Solve 3*p = -2*p + s for p.
4
Let f = -4 + 43. Let j = -37 + f. Let z be j/((-7)/((-35)/2)). Solve 8 = z*k - k for k.
2
Let q be (-2)/9 + (-274)/(-18). Suppose -3*l - 35 = 4*y - 121, -l - 2*y + 32 = 0. Let p(d) = d**3 - 21*d**2 - 21*d - 18. Let w be p(l). Solve w*a = a + q for a.
5
Let x(q) = 3*q**2 - 38*q + 73. Let o be x(2). Solve h = 9 - o for h.
0
Suppose 4*b = 4*p - 0*p - 92, 2*b + 21 = p. Let k(z) = z + 2. Suppose d - 9 = j - 2*j, -5*d = -5*j + 15. Let h be k(j). Solve -3*r + p = -h*r for r.
-5
Suppose 80 + 112 = 12*g. Solve -14*c = -g*c - 2 for c.
-1
Suppose -8 = -59*u + 464. Solve u*j = -7*j - 30 for j.
-2
Suppose -8*w = -3*w. Let v be (4/(-7))/((-116)/14 + 8). Suppose -v = -u - w. Solve 0 = u*s + s - 3 for s.
1
Let x = -382 - -382. Solve 11*d + 0*d + 22 = x for d.
-2
Suppose 2*q + 0 = 10. Suppose -q*w = 3*l - 4*w - 16, -4*l + 2*w + 18 = 0. Suppose -3 = -2*h + 1. Solve 5 = h*r - l for r.
5
Let z(l) = -l**2 - 2*l - 10. Let v be z(6). Let w = v + 62. Solve -3*r + 11 = -w for r.
5
Let o = -7 - 4. Let n = -9 - o. Suppose -k = -5*m - 4*k + 1, -n*k = m + 4. Solve -3*j - m*j = 10 for j.
-2
Let b = 7 - 2. Suppose b*r - 3*r = -50. Let i = r + 25. Solve w - 4*w - 9 = i for w.
-3
Suppose 4*t = 3*d + 22 + 73, 2*t = 4*d + 60. Solve 31*w - 27*w = t for w.
5
Let d(b) be the second derivative of -b**5/20 + b**4/3 - b**3/3 + 4*b**2 - 3*b. Let c be d(4). Solve c*y - 2*y = 0 for y.
0
Let i be 50615/1537 + 2/29. Solve 3*m + 8*m + i = 0 for m.
-3
Let i(r) = -2 + 15*r - 5 - 16*r. Let k be i(-10). Solve 17 = k*j + 2 for j.
5
Let s(g) = -4*g**2 - 31*g + 56. Let z be s(-9). Solve z*f - 71 = -38 for f.
3
Let k = 102 - 96. Solve -7 - 11 = -k*o for o.
3
Suppose 0*a + a - 34 = v, -3*a + 72 = 3*v. Suppose 2 = -3*c + a. Solve -c = 5*r + 1 for r.
-2
Suppose -4*m + 2*r + 0*r + 56 = 0, 5*m + 2*r - 52 = 0. Let o(b) = -b**3 + 17*b**2 + 20*b + 5. Let f be o(18). Let w = f - 28. Solve -5*c - m - w = 0 for c.
-5
Let r(x) be the third derivative of -x**5/60 - 9*x**4/8 - 12*x**3 + 20*x**2. Let b be r(-24). Solve b = -8*k + 4*k for k.
0
Suppose 34*v - 30*v = 12. Solve 4*k - 1 = v for k.
1
Suppose -4*q - 16 = -5*r + 4, q + 5 = r. Solve 0 = -r*j - 16*j + 64 for j.
4
Let m = -173 + 179. Solve 0 = -0*w + 2*w - m for w.
3
Suppose 17 = -5*b + 27, -3*s + 3*b + 57 = 0. Solve -18*o = -s*o for o.
0
Suppose 75 = 25*k - 525. Solve -b - k = 7*b for b.
-3
Let p(u) = 22*u + 25. Let s be p(-1). Solve s = -7*l - 4 for l.
-1
Suppose 30*x + 31*x = 976. Solve 0 = -9*v - 52 + x for v.
-4
Let i(s) = -s**3 - 12*s**2 + 3*s - 8. Let y be i(-12). Let q = y - -49. Solve -q*b + 0*b = 0 for b.
0
Let x be ((-2)/6)/(10/(-300)). Let u be 65/26*(x - 2). Solve 3*s + 2*s = -u for s.
-4
Suppose -5*k = -9*k + 28. Suppose -7*t = -k - 21. Suppose 0 = t*a - 0*a - 16. Solve a*z = z for z.
0
Let m(w) = 5*w**3 - w**2. Suppose -5 = 5*c, -5*p + 4*c - 11 + 0 = 0. Let a = p + 4. Let q be m(a). Solve 0*z = -q*z + 8 for z.
2
Let s = 17 - 9. Suppose 5*a + s = a. Let q be a/(3/(-9)*2). Solve -q*r = 2*r - 10 for r.
2
Let y(m) = m**2 - 7*m + 5. Let v be (0 - -2)/(4/14). Let j be y(v). Let x be (-1)/1 + -2 + 4. Solve 6*g - j*g = x for g.
1
Suppose u - 4 + 6 = 0. Let i be (33/u)/(-11) - 6/4. Solve i = -4*k + 5*k for k.
0
Let r = 95 - 93. Solve r*s - 3*s = -2 for s.
2
Let q = 1 - -2. Let r be 36/(24/4) + -6. Suppose r = -7*g + 65 + 47. Solve -s = q*s - g for s.
4
Suppose -6*p = -9*p + 18. Let v be (-4)/6 + 46/p. Suppose -i + 4 = s, 2*s + 3*i + v = 19. Solve s = 4*w - 8 + 24 for w.
-4
Suppose 0 = 4*a + a. Suppose a*d = -3*d + 18. Let w = d + 7. Solve -7 = 5*g + w for g.
-4
Let x(s) = -s**3 + 7*s**2 + 199*s + 11. Let q be x(-11). Solve q*p = 16*p + 64 for p.
-4
Let n = 152 + -103. Let f = n - 47. Solve 0*y = -f*y - 4 for y.
-2
Let h be 1/(-1 - 3/(-2)). Let j = 3 - -1. Suppose 0 = -s - 2, -4*z + 4 = -0*z + j*s. Solve h = -a - z for a.
-5
Let f(n) be the second derivative of n**3/2 + 21*n**2/2 + 5*n. Let d be f(-6). Solve d*y = 5*y - 8 for y.
4
Let n = 59 + -55. Suppose n*k - s = 21, 5*k + 5*s + 2 + 3 = 0. Solve -k - 11 = 3*o for o.
-5
Suppose 51 = 8*d - 85. Solve 4*u - d = -33 for u.
-4
Let c(y) = -3 + 10 + 19 - y. Let j be c(21). Solve -j*n + 0*n = 0 for n.
0
Let x(c) = -3 - 3 + 2 + c**3 + 5*c**2 + c. Let i be x(-4). Let l be 18/12 + 20/8. Solve -i = -l*r + 4 for r.
3
Let h be -1*1 + (31 - 9/(-3)). Suppose -n + 3 = 0, -2*n - n + h = 2*q. Solve c + q = 5*c for c.
3
Suppose 34*d = 18*d + 32. Let h = -8 + 9. Solve h = -r + d for r.
1
Let d(l) = -l**3 - 7*l**2 - 11*l + 1. Let y be d(-5). Let h be 82/7 + y/21. Solve -2*t + h = t for t.
4
Let q = 149 - 143. Solv