). Let s = w + 4. Solve s = 4*h - 7 for h.
4
Let r(h) = 7*h - 32. Let b be r(5). Let q be -4*(-6 + b + 1). Solve 6*x - q*x - 4 = 0 for x.
-2
Let j(b) = -2*b - 6. Let o be j(-4). Suppose 0 = 2*d + 4*p + 2, -6*d + o*d + 5*p = -22. Let w be 5 + (-2 - 0) - d. Solve -q + 3*q = w for q.
0
Suppose -3*b - 1 = 2. Let q(h) be the third derivative of -h**6/60 + h**5/30 - h**3/6 - 24*h**2. Let d be q(b). Solve -8 = -d*m + m for m.
4
Let v(y) = -2*y**2 + 18*y - 7. Let p be v(4). Solve -48 = 3*i - p for i.
-5
Let g be ((-44)/(-55))/(-2*(-2)/(-10)). Let s be 3/15*g - (-1287)/55. Solve 5*t - 3 = -s for t.
-4
Let m(q) = -2*q - 1. Let k be m(-2). Solve -k*i = -1 + 7 for i.
-2
Suppose 11 = o + 3. Solve 0 = 3*h - o - 4 for h.
4
Suppose 5*j - 4*h = 3*j + 18, 5*h = 2*j - 19. Solve 7*s + 0 = j for s.
1
Let s = 209 - 200. Solve -s*i + 8*i + 5 = 0 for i.
5
Let y be ((-38)/(-114))/(1/9). Solve -2*b + y*b = 0 for b.
0
Let g(c) = c + 33. Let p be g(0). Let u = -31 + p. Solve -5*b = -4*b + u for b.
-2
Suppose n - 4*u = u - 48, 132 = -4*n + 5*u. Let f = -24 - n. Solve y = -f*y for y.
0
Let c = -1814 - -1854. Solve -c = -15*t - 5*t for t.
2
Let c = 1 + 2. Let t = -1669 - -1672. Solve c = -0*r + t*r for r.
1
Suppose 0 = 2*h + x - 14, -12*h - 4*x - 32 = -15*h. Solve -5*g + h*g = -3 for g.
-1
Suppose -5*s + 16 + 14 = 0. Let p(h) = -h + 12. Let r be p(s). Let a = 7 - r. Solve 4*u + a = 9 for u.
2
Let y(s) = s + 7. Let k be y(-4). Let g = -2 - -2. Suppose -x - 3*v = -9, -3*x + g*v = -k*v - 3. Solve x*l = -6 - 9 for l.
-5
Let h be ((-10)/6)/((-295)/708). Solve -8 = -h*m - 0*m for m.
2
Let a be (-18)/30 - (-18)/5. Suppose -14 - 34 = -a*r + 3*o, 3*r - 2*o - 48 = 0. Let i be ((-12)/5)/(r/(-40)). Solve -i = v - 1 for v.
-5
Suppose 1 = 2*y - 7, 3*y - 794 = -2*o. Solve -1 = -392*r + o*r for r.
1
Suppose 9 = j + 3*j - 3*x, j - 3*x - 9 = 0. Suppose 8 = 2*t - 2*v, t + 2*v + j = -2. Solve -3*p + t*p = 3 for p.
-3
Let n be 38/4 + 9/18. Suppose -n*v - 2 = -11*v. Solve -r = -v*r - 1 for r.
-1
Let h(i) = -i**3 + 21*i**2 - 41*i + 63. Let g be h(19). Solve -g*t = 11 - 5 for t.
-1
Let l be (2 + -4 + 3)*(-6)/(-3). Suppose -2*g + 2 = 2*c, -3*g + l = c - 1. Solve c = -4*m + 4 + 12 for m.
4
Suppose -312 - 808 = -40*y. Solve u + y = 28 for u.
0
Let n(b) = b**2 + 5*b - 123. Let d be n(9). Solve d*o - 8 = -14 for o.
-2
Suppose 0 = -3*u - 3, 0 = -2*k + u + 2 + 9. Solve -k*x = -8*x - 6 for x.
-2
Suppose -i + q - 10 = -3*i, i - 2 = -2*q. Solve -y - i = -11 for y.
5
Suppose -1 + 101 = 4*s. Suppose 0*a = -3*a + 222. Let d be 3/(-12) - a/(-8). Solve -4*f = -d*f - s for f.
-5
Suppose -338*q + 90 = -329*q. Solve 0 = q*y - 14 + 4 for y.
1
Let j(n) = -n - 16. Let b be j(-9). Suppose -7 = 5*w + 3. Let y = w - b. Solve -y*a - 16 = -a for a.
-4
Let s be 32/(-12)*(-6)/4. Let r be 2*(3 - s)*(-14 + 4). Let u(z) = -z**2 - 3*z. Let q be u(-2). Solve q*v + r = -2*v for v.
-5
Let r be (-27)/6*6/(-9). Let g(o) = 6*o**2 + 9*o**2 - 4*o**2 - 4*o**2 - 2 - 5*o - o**r. Let v be g(6). Solve 0*h = v*h - 8 for h.
2
Let j be (-189)/(-105) - (-1 + (-1)/5). Solve -8*v = -j*v - 10 for v.
2
Let c(n) = -2*n**3 + 5. Let x be c(3). Let f be 4/14 - 182/x. Suppose -f*r = 0, -w = 4*w - 4*r. Solve w = p + 2*p for p.
0
Let t(m) = m**2 + 9*m - 6. Let p be t(-7). Let h be ((-4 + p)*2/(-4))/2. Solve h - 2 = -4*g for g.
-1
Suppose 207*q - 196 - 41 = 177. Let i(n) = 3*n**2 + 1. Let m be i(-1). Solve -o + q = m for o.
-2
Let a(f) = 5*f**2 - 109*f + 1. Let i be a(22). Solve i*h - 21*h + 8 = 0 for h.
-4
Let p be 2/((-15)/(840/(-16))). Solve -12*i + p = 19 for i.
-1
Let b(a) = a**2 + 41*a + 422. Let p be b(-22). Solve -6*m = p*m + 10 for m.
-1
Let z = 195 - 189. Solve z*d = 3*d + 3 for d.
1
Let v(i) = -54*i - 586. Let b be v(-11). Solve 0 = 5*r + 3 - b for r.
1
Let y(a) = -a + 3. Let m be 1/2 - 2/(-4)*5. Let o be y(m). Solve 3*s + o*s = -15 for s.
-5
Suppose 2*x - x = 3*k - 13, 0 = -2*k - 2*x + 22. Solve k = -3*u - 9 for u.
-5
Let v(c) be the second derivative of c**3/6 - 13*c**2/2 - 6*c. Let a be v(9). Let o = a - -4. Solve -8 = -o*q + 2*q for q.
-4
Let b(n) = -14*n + 8. Let w be b(1). Let o be (w/4)/((-3)/4). Solve -o*d + 2 = 4 for d.
-1
Let u(w) = -85*w + 256. Let o be u(3). Let j be 6/(-3) - -2*3. Solve -j*a - o = 7 for a.
-2
Let q = -1 - 21. Let r = 29 + q. Solve 2*c + r = 3 for c.
-2
Suppose -2*w - 15 = 3*w. Let s be ((-2)/(-3))/((-1)/w). Let t be s/(-11) - 184/(-44). Solve t*l + 4 = 24 for l.
5
Suppose 0 = q - 5. Suppose m = q + 1. Suppose s = m*s. Solve -4*c + s + 4 = 0 for c.
1
Suppose -7*d + 6*d = -9. Suppose m + 0*m + 4*z + 16 = 0, 0 = -m + z + d. Let c(x) = -21*x - 1. Let i be c(-1). Solve m*w + 0*w = i for w.
5
Let x(a) = -a - 16. Let h be x(-18). Solve 6*w - h*w + 8 = 0 for w.
-2
Suppose -5*i = 2*t - 53, -16 - 21 = -5*i + 2*t. Solve -u + i*u + 40 = 0 for u.
-5
Suppose 0 = -3*t - 34*t + 1332. Solve -12 = 6*g - t for g.
4
Let b(d) = 2*d**2 - 23*d + 13. Let t(x) = -x**2 + 11*x - 6. Let a(o) = 4*b(o) + 9*t(o). Let w be a(6). Let l be 6 - (w - 2 - -1). Solve l*f = -f for f.
0
Let s(f) = 2*f - 9. Let w be s(6). Let h(i) = -i + 2. Suppose 5*q - 4*z = 3 + 5, -10 = -3*q + 5*z. Let r be h(q). Solve 2*k - w*k - r = 0 for k.
-2
Let b(t) = -t**2 - 11*t + 2. Let q be b(-11). Suppose -5*w + 6*u + 36 = q*u, -11 = -w - 3*u. Suppose 0 = -w*j + 3*j. Solve 3*d + 1 + 2 = j for d.
-1
Let r = -277 + 279. Solve 0 = -2*x + r - 6 for x.
-2
Suppose -4*d = -l + 6*l + 131, -5*l = -5*d - 130. Let q = 33 + d. Solve -5 = 3*r - q*r for r.
5
Suppose -2*q - q - 72 = -4*d, 4*d + 3*q = 96. Let v = 22 - d. Solve -1 = g + v for g.
-2
Suppose 8*b - 125 = 3*b. Suppose 0 = -3*u - 5*n + 17, 2*u = u - n + 5. Suppose 5*x = u*y - 41, 2*x - 5 = -4*y + 1. Solve -c = y*c + b for c.
-5
Let b(w) = w - 5. Let i be b(7). Let v(m) = 2*m. Let p be v(5). Solve 3*n - p = -i*n for n.
2
Let w(i) = 4*i**3 + i. Let k be w(1). Suppose -3*z + 2 = s + 7, 3*z + 5*s + 25 = 0. Suppose -9*p + 3*p + 18 = z. Solve -k*f + p*f + 8 = 0 for f.
4
Let p be ((-768)/320)/(3/(-10) + 0). Solve -p*d = d for d.
0
Let u(y) = y**3 - 6*y**2 - 14*y - 14. Let v be u(8). Solve 83 - 85 = -v*w for w.
1
Suppose 5*z + 5*w = -500, -2*z + 3*w = -6*z - 405. Let k = z + 106. Solve 0 = 3*q - 2*q + k for q.
-1
Let n(y) = y**2 - y + 4. Suppose 20 = -6*t + t. Let m be n(t). Let d = m + -19. Solve d = 5*k - 15 for k.
4
Let c = 2 + 0. Let g be (c/(-4))/(2/(-4)). Let b(u) = u**3 - 14*u**2 - 54*u + 55. Let x be b(17). Solve -g = -5*o + x for o.
1
Let s = -8 - -8. Let y = -1355 + 1363. Solve s = g - 3*g + y for g.
4
Let v(m) = -m**2 - 2*m + 9. Let b be v(-4). Solve -p + b = -0 for p.
1
Let w(y) = -63*y - 550. Let r be w(-9). Solve -r + 37 = 5*h for h.
4
Let k(j) = -76*j + 317. Let c be k(4). Solve -c*n - 2 = 11 for n.
-1
Let k be 52/2*12/(-8). Let z = 40 + k. Let i be 4 - (5/z)/5. Solve 5*o - i = -18 for o.
-3
Let o = 458 + -454. Solve 0 = 2*p - 2 - o for p.
3
Suppose 2*j - 33 = 3*h, 10*h - 5*h = 5*j - 70. Solve -w = -j*w for w.
0
Suppose -6*q = -2*q - 2*o, 0 = 3*q + o. Let i be (-60)/(-48) + 18/24. Solve i*k + q*k = 0 for k.
0
Suppose -558*y + 550*y = -64. Solve y*f - 8 = -40 for f.
-4
Let m(a) = -3*a**3 - 129*a**2 - 2*a - 82. Let p be m(-43). Suppose -w + 1 + 4 = 0. Suppose 7 = -w*i + 22. Solve -i*q + q = p for q.
-2
Suppose -l + 13 = -2*q, -3*q - 16 = 2*q + 3*l. Let b = q - -7. Solve 0*h = -b*h for h.
0
Let u(d) be the third derivative of -d**5/60 + 5*d**3/3 + 3*d**2. Let v be (6 - (5 - 1)) + -2. Let a be u(v). Solve 0 = 4*o - 9*o - a for o.
-2
Suppose 1727*i - 1739*i + 84 = 0. Solve 11 + 10 = i*b for b.
3
Suppose 74*b - 90 = 69*b. Solve -12*j + b = -3*j for j.
2
Let t be 276/15 - 424/(-265). Solve -8 - 52 = -t*v for v.
3
Let j be 74*(-1 + (-3)/(-2)). Suppose -4 - 4 = -4*x - 5*b, 0 = 3*x - 4*b - j. Solve -4*y = 15 - x for y.
-2
Let m(a) = 4*a + 1. Let x be m(2). Suppose 8*r + x = 5*r. Let f be r - 2/3*-57. Solve 10 = 5*u + f for u.
-5
Suppose 6*a = 4 + 20. Solve -9*g - a = -11*g for g.
2
Suppose -8*q + 23*q = 7*q - 2*q. Suppose -3*p - 3*l + l = -1, 20 = -5*l. Suppose -5*y = b + 1 + 3, y + 16 = -4*b. Solve q = -3*t - y*t - p for t.
-1
Let x = 733 - 727. Solve -j - 3 = -x for j.
3
Let j be (1 + 2)*(6 - 1) + 3. Let q = 20 - j. Solve 0 = q*v - 2 - 6 for v.
4
Let i(f) = -12*f - 2. Let q be (24/(-14))/((-4)/14). Suppose 0 = -c - 5*c - q. Let