+ a = -7*k for k.
-2
Suppose 2127 = 4*d - 3*k + 4*k, 0 = -5*d + k + 2670. Solve d = -2*g + 527 for g.
-3
Let u = -38 - -68. Let v = u - 28. Let c be v/(-10) - (-2)/10. Solve -2*h + c*h = 10 for h.
-5
Let s(k) = k**3 - 15*k**2 - 13*k - 7. Let l be s(16). Let r = -41 + l. Solve -4*t + r = -4 for t.
1
Let j = 9 + -25. Let f(h) = 2*h + 34. Let i be f(j). Solve -i*x + 3 = 5 for x.
-1
Let c = -22 - 5. Let v = c - -29. Solve -v*a - 2 = 4 for a.
-3
Let n = -84 + 87. Suppose -t - 3*h = 2*h + 21, -3*t + 27 = -n*h. Solve 0 = -o + t*o - 12 for o.
4
Let i be ((-15)/10)/(2/(-4)). Suppose -i*j - 24 = j. Let o be 148/10 - j/30. Solve o = 4*f - 9*f for f.
-3
Let w(d) = 7*d. Let o be w(-3). Let v = o + 25. Solve -v*n + 5*n = 5 for n.
5
Let u(s) = 2*s**2 + 6*s - 34. Let y be u(-7). Solve -y = -2*f - 12 for f.
5
Let a(f) be the second derivative of f**5/20 + f**4/12 + 3*f**2/2 - 5*f. Let s be a(0). Solve -s*h - 20 = -8*h for h.
4
Let o = 119 + -112. Solve o*g - 4*g = -6 for g.
-2
Let z(s) = 2*s + 10. Let q be z(-3). Let y be 3/(3 - 0) + q. Solve -3*g + 1 = -y for g.
2
Let p(d) = d**3 - 2*d**2 + 3*d - 1. Let o be p(2). Let r = 10 + -10. Let a(z) = -z**3 + 4. Let h be a(r). Solve 0 = -o*n + h*n + 5 for n.
5
Let w = 40 + -19. Suppose x + g - 7 = -g, -5*x = 3*g - w. Suppose -5*d + 40 = -5*c, -2*c - x*c = 4*d + 13. Solve 0*b = d*b + 12 for b.
-4
Suppose -3*h + 2*p + 9 + 198 = 0, 4*h - 5*p - 269 = 0. Let b = h + -55. Solve 0 = -4*g + 4 - b for g.
-3
Suppose -8*v = -6*v - 8, -2*f - 16 = -5*v. Suppose -2*x - 4 = u, f*u + x = 1 - 0. Let l be 92/16 - (-1)/4. Solve -l = -h - u for h.
4
Let u = 81 - 125. Let f = -44 - u. Solve -2*g + 2 = -f*g for g.
1
Let m = 32 + 28. Let x = m + -57. Solve 5*k = 7 + x for k.
2
Let u(q) = q**3 - 12*q**2 - 12*q - 3. Let b be u(13). Solve 0*g - b = -2*g for g.
5
Let z be 3/9 - ((-5)/3 - 8). Solve z*v + 9 = -11 for v.
-2
Suppose -2*y = -4*d + 13 + 5, 10 = -5*y + 3*d. Let q be 42/2 - y/1. Solve 0*s = -5*s - q for s.
-4
Suppose 5*k + 24 = i, 5*k + 21 = 4*i - 75. Suppose -7*w - i = -10*w. Solve -3*v = v - w for v.
2
Let k(s) = s**3 + 11*s**2 + s - 16. Let u be k(-11). Let v = -25 - u. Solve v*r - 6*r - 20 = 0 for r.
-5
Let d be (-2 + (0 - 7) - -3)*-4. Solve d*f + 45 = 15*f for f.
-5
Suppose 5*i = 25 - 15. Solve -4 = -i*l - 10 for l.
-3
Let z = -70 + 74. Let v(m) = m**3 - 5*m**2 + 6*m - 6. Let f be v(z). Solve q + 2 + f = 0 for q.
-4
Let p = -5 + 5. Let i be (-10)/(-4)*104/20. Suppose -i = -x - 8. Solve a + p*a + x = 0 for a.
-5
Let j = 27 - 26. Let x be (-10 - -10)/(-3 + j). Solve 2*p + x*p + 4 = 0 for p.
-2
Let x be ((-3)/2)/((-5)/(-90)). Let d = x - -32. Solve -d*j + 3*j = -6 for j.
3
Let m = -95 - -111. Solve -m*t = -13*t + 15 for t.
-5
Suppose 0 = -9*q - 15 + 105. Let y be 1*5/(q/8). Solve 0 = -2*c - 0*c + y for c.
2
Let t(c) = -c + 1. Let o(m) = -m**3 - 10*m**2 - 2*m - 11. Let v be o(-10). Let u be t(v). Let y be (u - -12)/(0 - -2). Solve 0 = s + y - 0 for s.
-2
Let u be ((-4)/(-80)*-12)/((-1)/(-15)). Let m = -8 - -19. Let c = m + u. Solve c*o + o + 3 = 0 for o.
-1
Let g = -689 + 809. Solve -25 = g*u - 115*u for u.
-5
Let i be (7*-1)/((-18)/54). Solve 0 = -i*r + 23*r + 4 for r.
-2
Suppose 4 = -a, 2*j - 6*j + 12 = a. Suppose -12 = -3*t - t. Let z(f) = -3*f + 132. Let l be z(44). Solve g + t - j = l for g.
1
Let w(d) = d**2 + 14*d + 25. Let q be w(-7). Let x = q + 24. Solve l - 1 = -x for l.
1
Let n(f) = 9*f - 11. Let b be n(9). Let o be (-28)/b - 76/10. Let r be (o + 5)*(-2 + 1). Solve -7*j + 4 = -r*j for j.
1
Let c(w) = -2*w**2 - 21*w - 19. Suppose 5*t + 35 = -p, -4*t = 3*p + 9 + 8. Let g be c(t). Solve g = 5*q - 4 for q.
5
Suppose -7 = 5*j + 13. Let o be 1 - -1*1 - (j - 0). Solve 2*y - o*y = -12 for y.
3
Let m = -1360 + 1363. Solve 10 = m*n + 7 for n.
1
Suppose -b = 61 - 121. Solve 58*y = b*y - 6 for y.
3
Let j be 6*7/((-21)/(-2)). Let a(c) = c**3 - 7*c**2 - 7*c - 1. Let m be a(8). Let r = m - j. Solve -r*x = -x - 6 for x.
3
Let b = 80 - 71. Let x be b/6*((-11)/(-3) + 1). Solve 0 = -x*f + 2*f + 25 for f.
5
Suppose 2*g - 12 = -2. Solve -5*v + 0*v - g = 0 for v.
-1
Let u(a) = -a**2 - 9*a + 2. Let v be u(-8). Solve 3*d = v - 4 for d.
2
Let f(w) = w**2 + w - 1. Let l(u) = 13*u + 0*u**3 - 17*u - 5*u**2 - 11 - u**3. Let d(b) = 6*f(b) - l(b). Let t be d(-10). Solve t*v = -18 - 7 for v.
-5
Suppose -z + 0*z + 4*i + 15 = 0, -5*z - 4*i + 3 = 0. Solve 0 = z*x - 7*x + 16 for x.
4
Suppose 342*i - 338*i + 20 = 0, 0 = -4*y - i + 131. Solve 9*w + 16 = y for w.
2
Suppose 1754*k = 1749*k. Solve -2*o - 4 + 2 = k for o.
-1
Let n = -3151 - -3158. Suppose -i = 3*i + 2*y - 40, 0 = -3*i + y + 30. Solve -n*k = -2*k - i for k.
2
Suppose -25 = 3*y - 8*y. Suppose -3*k + y = i, -5*k + 3*i = -2 + 3. Let c = 80 + -79. Solve k + c = t for t.
2
Let o(i) = -i**2 + 3*i + 3. Let l be o(5). Let y(h) = -h**3 - 8*h**2 - 7*h + 3. Let k be y(l). Suppose -3*w + 15 = -k. Solve -14 = -5*r + w for r.
4
Let k be 20/12 - 1/(-3). Suppose k*i = 5*i - 72. Let y be (i/(-40))/(1/(-5)). Solve -n = -y*n for n.
0
Suppose 2*i - 1 = 5. Suppose -3 = -2*h + i. Solve 8*u = h*u for u.
0
Let m be (7/(-21)*0)/(-2). Solve -23*p + 9*p = m for p.
0
Let w be 1 + -2 - (-9 + 3). Suppose -68 = -2*r + w*d, -1 = -3*r - 2*d + 63. Solve -1 = -5*g + r for g.
5
Let d(n) = -n + 7. Let q be d(-5). Let k = -58 + 64. Suppose 3*l - k*l = -q. Solve -5*g = -l*g - 1 for g.
1
Let x(v) be the first derivative of -v**2 - 9*v - 3. Let c be x(-6). Suppose -14 = -c*q + 4. Solve -2*f = -q*f - 20 for f.
-5
Let r(j) = j**2 + 2*j - 8. Suppose u + 10 = 6. Let y be r(u). Solve y = -w + 4 - 0 for w.
4
Let s(b) = -4*b + 7 + 7*b - 2*b. Let k be s(-6). Let i be (11 - 13) + 10 + k. Solve i = -5*t - 1 for t.
-2
Suppose -2*b + b = 3*b. Solve b = -5*n - 4 + 19 for n.
3
Let k(r) = r**2 + 3*r + 7. Let j be k(0). Suppose 2*o + j*o = -2*o. Solve -f + 3*f + 10 = o for f.
-5
Let i(p) be the third derivative of -p**4/6 + 15*p**2. Let r be i(0). Solve -2*s - 10 = -r*s for s.
-5
Let h = -317 + 427. Solve 109*r = h*r + 4 for r.
-4
Suppose -5*w - 3 = -0*a - a, 0 = 5*a - 5*w - 15. Solve a*i + 4 = -i for i.
-1
Suppose 2*y - 3*y + 5*k = -21, -2*y - k = -9. Let m = y - 0. Suppose 0 = -6*r + 3*r. Solve r = 2*c + c - m for c.
2
Let v = 1 - -2. Let m = -61 - -67. Suppose 0 = 2*o - m, -5*a - 3*o + 27 = -4*o. Solve 6*l + a = v*l for l.
-2
Suppose 86 + 22 = 18*b. Solve -3*v - 6 = b for v.
-4
Let j = 41 - 36. Suppose -20 = -3*z + j*z. Let m be ((-24)/z)/(24/80). Solve -m = w + w for w.
-4
Let f = 1122 + -1122. Solve -98*v + 103*v - 15 = f for v.
3
Let m(i) = -i**3 - 5*i**2 + 2*i + 8. Let j be m(-5). Let k be -1 - (-32)/(-12)*3/j. Solve 0 = 7*v - k*v + 8 for v.
-2
Let m = -8 + 9. Suppose -2*b - 2 = 2*d, d = -0*d - 4*b - m. Let l be (-20)/80 + d/(-4). Solve l = y - 3*y + 8 for y.
4
Let s(n) = 21*n - 104. Let d be s(5). Solve 1 - d = 30*i for i.
0
Let q(z) = 44*z - 602. Let f be q(14). Solve f*d = 24*d - 30 for d.
3
Let d(a) = -9*a - 9. Let x(r) = -7*r - 10. Let l(o) = -3*d(o) + 4*x(o). Let n be l(-17). Solve -12 - n = 4*k for k.
-4
Let b be (-1 + 12/8)/1*4. Suppose -3*l + l = b*l. Solve g + l = -4 for g.
-4
Let r be (2 - 1)*-7*120/(-140). Suppose 13 = 5*w - a, 0 = 2*a + a - r. Solve 7*n - 4*n = -w for n.
-1
Let u = -2230 - -2239. Solve u = 5*a + 24 for a.
-3
Suppose -283*a + 272*a = 0. Solve a = -2*v + 29 - 25 for v.
2
Let l = -7 - -13. Suppose l*s - 9*s + 63 = 0. Solve -5*f + 1 = s for f.
-4
Suppose -3*q - 2*q = -5*z, -5*z + 20 = -q. Suppose -1 + 44 = 5*i - m, 3*m = z*i - 39. Let y = 11 - i. Solve 0 = -3*p + y*p - 4 for p.
-4
Let d = 15 + -2. Let p = 27 - 11. Let s = p - d. Solve -5*z + s = -7 for z.
2
Let s be 4 - (-4)/8*0. Let r be (s/12)/(1/9). Suppose 4*q - r*q = 0. Solve -u + 3 = -q for u.
3
Suppose 5*h - 8 = 3*h - 2*l, 2*h - 3*l = -12. Let d = h - 4. Let i = d - -9. Solve x = -4*x + i for x.
1
Let w be (-4*8)/(7 - (-714)/(-98)). Solve 15 = -w*f + 107*f for f.
-3
Let o be 1/4*(5 - 5). Solve -22*y + 21*y + 3 = o for y.
3
Let i(l) be the first derivative of 7*l**4/24 - l**3/2 + 9*l**2/2 - 4. Let k(h) be the second derivative of i(h). Let d be k(1). Solve -d = 3*b - b for b.
-2
Let z = 1045 - 1006. Solve -z*t + 38*t = 0 for t.
0
Let o(i) = -2*i - 14. Let d = -110 - -101. Let u be o(d). Solve u*q = 9*q + 10 for q.
-2
Let o(c) = -c + 15. Let p be o(12). Suppose 