ppose -10868 = 6459*u - 6503*u. Solve -43*h + 11 = -u for h.
6
Let t(i) = 6*i**2 - 11*i - 377. Let q be t(-27). Solve 0 = 4300*c - q*c - 30 for c.
5
Let a = 148 - 145. Suppose 13 = a*g + 10. Solve 6*k = 7*k - g for k.
1
Suppose 3*k - 118 = -3*n - 28, 0 = 3*k - 3*n - 66. Solve 6*l + 7*l + k = 0 for l.
-2
Let x(n) = n**2 + 3*n - 4. Let r(i) = 59*i - 28*i - 26*i - 100. Let l be r(19). Let b be x(l). Solve 5*j - b*j = 0 for j.
0
Let d = -9993 - -10012. Solve -d*j - 13 = -51 for j.
2
Suppose 20*b - 18*b = -p + 24, -5*p - 45 = -5*b. Suppose b*z - 10*z = 0. Solve -3*x + z*x = 9 for x.
-3
Let q = -242 + 245. Suppose -q*c + 77 = -4*g, 0*c + c - 9 = -2*g. Solve -25 - c = -11*m for m.
4
Let x(p) = 12*p - 115. Let l be x(10). Suppose -d + l = -3*g, -g = -3*d - 5*g + 2. Solve 0 = -2*b - 2 - d for b.
-2
Let g(s) = -3*s - 22. Let c be g(-8). Let j(t) = -2*t**3 + 60*t**2 - 114*t + 70. Let i be j(28). Solve 0 = c*p + 4 - i for p.
5
Let w be ((-900)/(-24))/(10/20). Solve 0 = -53*m + w + 296 for m.
7
Suppose l = h - 29, -3*l + 36 = -h + 73. Let s = -18 - -20. Let g be s/(-4) + (-3)/(-6). Solve -2*o - 3*o - h = g for o.
-5
Suppose -5*q = -97 - 153. Let p = -55 - q. Let l = -105 - p. Solve -3*d + 2*d + 4 = l for d.
4
Let x(a) = 3*a + 47. Let c(i) = -2*i - 24. Let q(b) = 5*c(b) + 3*x(b). Let z be q(19). Suppose 2*l + z*l = 0. Solve -4*g + 2*g = l for g.
0
Suppose -10*d = 9*d - 760. Suppose -a - d = -43. Solve -6 = a*p - 5*p for p.
3
Let o be 43/5 - (-18)/45. Suppose -3*t = -4*t - 5*q - 15, -q = -t + o. Solve y - t*y = 8 for y.
-2
Let m(t) = t**3 - 10*t**2 - 22*t - 154. Let p be m(13). Solve -374 = -63*a + p for a.
7
Suppose 4*z - 60 + 12 = 4*h, 21 = 4*z + 5*h. Solve z*a = 10*a - 4 for a.
4
Suppose 5*v = -4*y - 236 + 44, -5*v = 3*y + 139. Let s be -3 + 0 + y/(-1). Solve -s = 4*d - 38 for d.
-3
Let q(o) = -o**3 - 10*o**2 - 29*o - 17. Let c be q(-5). Let g be 0 + 0 + (2 - 2). Suppose 8*j - 3*j - 20 = g. Solve c*y - j - 2 = 0 for y.
2
Let g be 28/224 - (-23)/8. Let j(h) = 2*h**2 - 99*h + 148. Let u be j(48). Suppose -2*y = -4*y + 22. Solve g*a - y - u = 0 for a.
5
Suppose 20 + 1 = 3*q. Let c be 186/48 - (-3)/(24*1). Suppose -x = -0*x + c*n - 20, 0 = -n + 2. Solve -q*k - 5 = -x*k for k.
1
Let z = -788 + 807. Let j(a) be the first derivative of a**3/3 - 19*a**2/2 + 9*a - 1. Let w be j(z). Solve -3*t + w = 21 for t.
-4
Let z be 28/4*(-108)/(-42). Let s(l) = l**2 - 17*l - 16. Let j be s(z). Suppose -j*y + 3 + 1 = 0. Solve v = 7 - y for v.
5
Let x = 54 + -51. Suppose 4*r + b - 6 = 3*b, r = -x*b - 2. Let o(f) = f + 5. Let m be o(6). Solve 3*k - r = m for k.
4
Let b = -43 - -49. Suppose -3*d + b = 4*n, -d + 5*n + 10 = 4*d. Let q be d + 5/1 + -14 + 11. Solve -q = 3*r + 5 for r.
-3
Let p = -8829 - -8843. Let l = -19 + 22. Solve p*t - l*t = -11 for t.
-1
Let r = -5 - -7. Let g(p) = -6*p + 48. Let f be g(5). Suppose 23*w - f*w + 4*x = -15, -w = -3*x - 16. Solve -h - r - w = 0 for h.
-3
Let d be 8100/360*(-4)/(-9). Solve -d*j = -43 + 23 for j.
2
Let i(k) = k**3 - 6*k**2 - 8*k + 83. Let d be i(6). Let q = d + -32. Solve -q*c = -7*c for c.
0
Let w(h) = 9*h**3 + 8*h**2 - 10*h + 9. Let b be w(1). Solve -8*x - 40 - b = 0 for x.
-7
Suppose 5*s = -5, 5*h - 4*s + s - 183 = 0. Suppose 2*r = z + 17, 0*r + 3*r - 5*z = h. Let y be -1*(5 - -5) - -13. Solve r*f = y*f for f.
0
Let f(x) = -18 - 16 + 16 + 4*x - 18. Let m be f(11). Suppose r - 3*d = -r - m, -4 = 4*r - 3*d. Solve 0 = r*t + 4 - 0 for t.
-2
Let m = 928 + -893. Suppose 0 = -5*b - 0*b + 3*p + m, 5*b - 4*p = 40. Solve -7*g = -b*g + 3 for g.
-1
Let x(n) = -8*n - 47. Suppose 4 = -4*l - c, -2*l + 2*c + 8 = -0*c. Let y be x(l). Let f be (-12)/5 + 2 - y/5. Solve 8*m - f*m + 5 = 0 for m.
5
Suppose -4*l = 5*p + 10, -5*l - 3*p - 4 = 2. Solve 5*h - 9 - 11 = l for h.
4
Let v(m) = 102*m - 319. Let k be v(4). Solve 95*f - k*f = 0 for f.
0
Suppose 39*t + 8*t = 564. Solve -t*n - 38 = -38 for n.
0
Let v(h) = 2101*h - 374 - 4292*h + 2127*h. Let s be v(-6). Solve -s = 5*q - 0 for q.
-2
Let s be 0 + (7 - (1 - -2)). Suppose -2*m = -6*f + 3*f + 22, -s*m = -3*f + 32. Solve 0 + 20 = f*k for k.
5
Let f = 16852 - 16806. Solve -f*n + 12 - 196 = 0 for n.
-4
Let j(r) = -r - 2. Let i be 156/(-65) + 3/5*-1. Let w be j(i). Let d be (w + 4/(-2))*-3. Solve -d = -0*y - y for y.
3
Let k(b) = 4*b + 4. Let v be k(0). Suppose n - 2 = h, 6*n - v*n + 3*h - 19 = 0. Solve -n*j + 22 - 2 = 0 for j.
4
Let r(n) = 9*n**3 - 2*n**2 + 1. Let f be r(-1). Let u = 17 + f. Suppose 18*p + 2*p = -p + 42. Solve -p*o - u = -1 for o.
-3
Let q = -1921 - -1927. Let a be 4/14 - (-288)/21. Solve -10*m + q = -a for m.
2
Suppose -3*t = -2*w - 45, -w = 2*t - 4*w - 25. Suppose 0 = j + 4*v - 4, -3*v = -3*j + 72. Solve j*n = t*n for n.
0
Let h = 5670 - 5635. Solve h*n - 56*n = -126 for n.
6
Let f be ((-3)/(-12))/(60/(-1600))*-6. Solve 0 = -30*r + 38*r - f for r.
5
Let d be 9870/168*(-12)/(-15). Solve -d*q - 12*q = -472 for q.
8
Suppose -2*x + 32 = v, -8 = 4*v + 8. Suppose -4*i + 2*s = -x, 4*i - 7*s - 27 = -2*s. Solve -i*d = 2*d for d.
0
Suppose 6*c - c - 280 = 0. Suppose -121 = -n - 2*s - 164, -2*n + 4*s = 118. Let l = n + c. Solve 0 = -l*t + 2*t + 9 for t.
3
Let f(y) = 3*y**3 - 17*y**2 + 8*y + 10. Let r be f(5). Solve r = -7*w - 0 - 49 for w.
-7
Let m = 14 + -9. Suppose 5*c - 5 = -5*z, m*c - z = z + 26. Let s be 16/(-8)*(-155)/62. Solve -7 - s = c*o for o.
-3
Let j(y) be the third derivative of -y**6/120 + y**5/12 + 14*y**2. Let u be (5/(-3))/((-3)/9). Let z be j(u). Solve z = 2*n - 2 for n.
1
Let m be (-32)/(-18) + 6/27. Suppose 4*q + 4*q = -736. Let f = -90 - q. Solve r + f = -m for r.
-4
Suppose -5*j = -112*z + 116*z - 467, 4*z = 3*j + 475. Solve -z*g - 231 = 359 for g.
-5
Let m be (80/(-5) + 6)/2. Let t(d) = 2*d**3 + 11*d**2 + 5*d + 5. Let u be t(m). Solve -u*w + 25 - 5 = 0 for w.
4
Let s = 16 - 14. Suppose s*l + 7 = 43. Suppose -2*d - f + 9 = 0, d = 6*d + f - l. Solve -d*b = -8*b for b.
0
Let z = 93 - 59. Suppose -3*d + 0*d - 2*s - z = 0, -5*d - 5*s = 65. Let a(l) = l**3 + 10*l**2 + 16*l + 1. Let v be a(d). Solve -1 - v = 2*w for w.
-1
Let m(n) be the third derivative of -2*n**4/3 - 29*n**3/2 - 66*n**2 + 1. Let q be m(-6). Solve -4*t = q + 11 for t.
-5
Let v = 104 + -58. Suppose -4*g = -6*g - v. Let z be (g + -2)*(-1)/2*2. Solve -z = -0*m - 5*m for m.
5
Let d(b) be the first derivative of -b + 24. Let j(a) = a**2 - 5*a + 1. Let u(z) = -3*d(z) + j(z). Let k be u(5). Solve 0 = -5*l + k + 1 for l.
1
Let y(f) = -f**2 + 7*f - 6. Let o be y(6). Let r be -5 + -40*(-3)/6. Suppose -m + 1 - r = -5*a, 2*a + 3*m - 9 = o. Solve -a*p = 2*p - 15 for p.
3
Let h(k) = -16*k - 80. Let d be h(-5). Let p = -18 + 20. Solve d = -l + p for l.
2
Suppose -510 = 5*z - 5*f, -3*z - 2*f + f - 326 = 0. Let w = -104 - z. Solve 2*g + w = 5 for g.
1
Let g = -5618 + 5624. Solve -214*q + g = -208*q for q.
1
Suppose 52*j - 801 = -71 + 1038. Solve 0 = -13*d + j*d for d.
0
Let p(s) = s**3 + 11*s**2 + s - 21. Let j be p(-9). Suppose 2*b = a + j, -50 = 5*b - a - 374. Let f = b - 60. Solve 0 = x - 3*x - f for x.
-2
Let x be 9/(-15) - 4436/(-10). Solve x*k = 446*k - 12 for k.
4
Suppose -5*u + 66 = -54. Suppose -3*c = 3*v - u, 3*c - 3*v + v = 9. Solve -26 = -c*w - 1 for w.
5
Let s(o) = -9*o**2 + o + 2. Let u be s(-2). Let r be (-9)/(-15) + u/(-15). Let t be r - (-9)/((-18)/4). Solve -2 = -c + t for c.
3
Let a(k) be the first derivative of k**4/4 + 14*k**3/3 + 6*k**2 - 6*k + 55. Let y be a(-13). Solve 0 = -t - y + 5 for t.
-2
Suppose -2*b + 4*b - 2*n + 124 = 0, 5*n = -3*b - 154. Let h(l) = l**3 - 42*l**2 + 41*l - 56. Let u be h(41). Let f = u - b. Solve y - f = -1 for y.
1
Suppose 39*t - 1054 = -313. Solve t = 2*s + 7 for s.
6
Let p = 15544 - 15187. Solve -55*k + 137 = p for k.
-4
Let o(z) = -22*z + 66. Let b be o(-37). Let d be (2/5 - -1)*b/176. Solve -4*n + 15 = d for n.
2
Suppose -9*u = -2*d - 11*u, -2*u = 5*d. Solve 74*a - 71*a = d for a.
0
Let c = -122 - -100. Let m be 6 + (-2 - 1) - c/2. Suppose 0*q + 2*i - 16 = -q, -4*q + 2*i = -m. Solve r - q = 3*r for r.
-3
Suppose 15*n + 88 = 48*n - 29*n. Solve -88*y - 528 = -n*y for y.
-8
Let w(u) = -111*u - u**2 - 14 + 52*u + 52*u. Let x be w(-5). Let r = x + 6. Solve 0 = -5*h - r - 3 for h.
-1
Suppose 3*w = -2*n - 3*n - 115, 0 = 2*w. Let s = 93 - 69. Let z = n + s. Solve -2*x + 3*x = z for x