et c be h(b). Let k = -101 - c. Solve -k + 1 = -r for r.
4
Suppose 0 = 5*k + a - 36 + 2, 38 = 3*k + 5*a. Let g be -2 - (-15 - (-11 + k)). Solve 0*h + 16 = -g*h for h.
-2
Let s(b) = -b**2 + 7*b - 5. Suppose 0 = -j + 2*f + 16, -5*f = -3*f + 10. Let l be s(j). Let a = -31 - -32. Solve -h - l = a for h.
-2
Let a(n) = -n**2 + 6*n - 3. Let t be a(4). Let z(q) = -5*q - 79. Let k be z(-16). Let s(y) = 19*y - 9. Let o be s(k). Solve t*p + o = 35 for p.
5
Let f(h) = h + 23. Let g be f(2). Let m = 37 + -43. Let y(i) = -i**2 - 7*i - 6. Let c be y(m). Solve -w + 6*w + g = c for w.
-5
Suppose 16*f - 250 + 124 = -2*f. Solve 24*i = 41 + f for i.
2
Let o(h) = -h**2 + 4*h + 1. Let r be o(5). Suppose 5*u - 46 = -38*g + 37*g, 0 = 4*u + 2*g - 44. Let j = u + r. Solve -5*c = -j - 6 for c.
2
Let c(u) = -2*u**3 - 4*u**2 - 4*u - 4. Let r be c(-2). Suppose -r*b - 4*s + 88 = 0, 3*b + 33 - 107 = 5*s. Let x = b - 21. Solve 9 = -q - x*q for q.
-3
Let t be -1*6/36*0. Solve -749*d + 752*d - 6 = t for d.
2
Let q(p) = -3*p + 54. Let l be q(0). Suppose -30 = 4*w + l. Let r be ((-30)/(-70) - (-23)/w)*-3. Solve -8 = r*x - 0*x for x.
-4
Let m(t) = -8*t - 26. Let v be m(-6). Let r be v/(-66) - (-13)/3. Solve r*h = 8 - 4 for h.
1
Let u = -15 - -24. Suppose -u*j = -j - 312. Let o = 42 - j. Solve 3 = 4*t - o*t for t.
3
Let f = 127 - 109. Let a = -12 + f. Suppose 4*x - 25 = -x. Solve 9 + a = -x*n for n.
-3
Suppose 911 = 6077*z - 6075*z + 195. Solve 0 = -7*o + 393 - z for o.
5
Suppose -y + 71 = 2*h, -151 = -5*h + 5*y + 64. Solve 0 = 5*a + h - 43 for a.
1
Let y = -12372 + 12700. Solve -22*l + y - 196 = 0 for l.
6
Let g be (-1)/4 - ((-5574)/24 + 2). Solve 0 = 5*s + g - 255 for s.
5
Suppose 9629 = 10*w + 9469. Solve -w + 0 = 8*d for d.
-2
Suppose 4*o + 410 = -2*k, 2*o + o + 304 = 2*k. Let p = o - -102. Let b be (-3)/(-2) + (-13)/(-26). Solve p*n + b = n for n.
2
Let h be (-3)/12 + (-18)/(-8). Suppose 0 = -37*d - h*d. Solve 5*n - 25 + 10 = d for n.
3
Suppose 0 = 4*u - 2*u. Let h(d) = -34*d**3 - 4*d**2 + d. Let x be h(-1). Suppose x + 15 = 22*b. Solve u*z - b = 2*z for z.
-1
Suppose 6 = 2*b - 3*v, 36*b - 32*b - 5*v = 10. Suppose 0 = -5*d + 3*d + 24. Suppose 0 = -2*q - d + 18. Solve b = n - 2*n + q for n.
3
Suppose -196*u + 197*u + 1 = b, 2*u - 3*b + 8 = 0. Suppose 3*p = -5*g - p + 19, -2*g + 7 = p. Solve 2 = u*z - g*z for z.
1
Let k be (-1*4/14)/((-7)/98). Suppose z + 49 = -k*h, 0 = 5*z + 10 - 25. Let y = -11 - h. Solve -3*o - y*o = 25 for o.
-5
Let p be (2730/77)/3 - (-2)/11. Let a be (-711)/(-45) - p/(-10). Solve -a*r + 18*r = 2 for r.
2
Let u = -16 - -21. Suppose -130 - 170 = -u*l. Suppose 3*g - 30 = 3*s - 5*s, l = 4*g - 4*s. Solve 6*b - 2*b - g = 0 for b.
3
Suppose 3*v - 3*s + 561 = v, 5*s + 521 = -2*v. Let d = 276 + v. Solve -y - 2 = -d for y.
1
Let y be -5 + 2 + (1 - 3). Let d(q) = -20*q - 92. Let r be d(y). Solve 3*i - 11 + r = 0 for i.
1
Let f(d) = d**2 + 2*d + 348. Let z be f(0). Let w(g) = 178*g - z*g + 171*g. Let b be w(2). Solve b*s + 2 - 12 = 0 for s.
5
Let d be ((-2 - -2)/6)/(8/(-1)). Solve d = -7*c + 4 + 24 for c.
4
Let z(k) be the third derivative of 0 + 0*k - 1/12*k**4 + 15*k**2 + 1/2*k**3. Let t be z(0). Solve t*r + 4 = -r for r.
-1
Let b(p) = p**2 + 10*p - 30. Let i be ((-2)/6)/(49/1911). Let d be b(i). Solve 0 = 2*s + s - d for s.
3
Let n be (1/5 + 3)*5. Suppose 14*i = n*i - 18. Solve -4*h + 11 = -i for h.
5
Let l = 16440 + -16346. Solve -11*x = -l + 138 for x.
-4
Suppose -i = 3*n - 25, 0 = -2*n + 4*i + 49 - 9. Solve 0 = -6*j + n*j + 16 for j.
-4
Let r(b) = 2*b**3 - 15*b**2 + 32*b - 156. Let f be r(7). Solve f*d + 49 = 182 for d.
7
Let u be 1*2 + 0 + 2. Suppose 0 = -5*t + g - 4*g + 15, -7*g - 25 = -12*g. Solve t = 5*b - 4*b + u for b.
-4
Suppose 0 = 4*n + 5*l - 39 - 88, -5*n - 4*l = -152. Let r = n + -26. Suppose -2*y + 6*y - 4*f = 0, -4*y - r*f = 0. Solve 0 = -3*t - y - 9 for t.
-3
Let c = 6146 + -6135. Solve 707*v - 718*v = c for v.
-1
Suppose -530 = -4*i - 5*b - 74, -4*b - 492 = -4*i. Solve 9 - i = 22*m for m.
-5
Let i = 797 - 792. Suppose -5*y + 45 = 5*n, -3*y + 60 = 4*n - i*y. Solve 9*f = n + 5 for f.
2
Suppose -14*c - 33 + 330 = 13*c. Solve 6*a = -c*a - 34 for a.
-2
Suppose -3*n = -c + 225, 8*n - 7*n = 5. Let u = -235 + c. Suppose 0 = 4*x + x. Solve 10 = -u*p - x*p for p.
-2
Suppose 165 + 8 = 14*v + 61. Let r = 2 - 2. Solve -3*z + v*z = r for z.
0
Suppose -2*f - 4*p - 4 = -0*f, -3*f + 2*p = -10. Let h(k) = -3*k**2 + 26*k - 49. Let x be h(3). Solve f = -x*z + 12 for z.
5
Let f be 1528692/16280 - ((-3)/10)/3. Solve 57*o - f*o = 148 for o.
-4
Let q be (-69)/(-2)*(-13 - (-280)/21)*2. Solve -10*m + q = 13 for m.
1
Let s(a) = -12*a + 125. Let w be s(10). Suppose -14 = 3*c - w*x, c + 3 = 4*x - 11. Solve 0 = -2*j - c*j - 4 for j.
-1
Let h = 475 - 452. Let f be h/((-115)/(-50)) - 3. Solve -f*r + 1 = -6 for r.
1
Let i = -1562 + 1066. Let d = i + 499. Solve -25 + 28 = -d*x for x.
-1
Suppose 0 = -2*k + 4, -v = 3*v - 3*k - 34. Solve v*q = -1483 + 1563 for q.
8
Let x = -94 + 96. Suppose -5*h = i - 22, 7*i + 15 = 10*i - x*h. Solve -i = -6*v + 5 for v.
2
Let h = -836 + 844. Solve -h*m = 21 + 19 for m.
-5
Let n(z) be the second derivative of -z**3/2 + 6*z**2 - z. Suppose 2*y + 3*l = -6, 3*y + 4*l + 10 = 3. Let i be n(y). Solve 0 = t + i*t - 16 for t.
4
Let l = 338 + -333. Suppose -2 = -2*i - l*h, 2*h - 3 = -4*i + 1. Solve -4 = 3*q - i for q.
-1
Let o be 77/19 - 186/3534. Suppose -2 = 6*a - 8*a. Solve 0 = -b - a + o for b.
3
Let a(y) = -5*y**2 + 2. Let j be a(-2). Let t = 20 + j. Suppose t*l + 2*r = 4 + 2, -2*r - 2 = 0. Solve l*b + b = 20 for b.
4
Suppose -65*u + 151*u - 6615 = -103*u. Solve -u*c = -35 - 245 for c.
8
Let q(f) = 11*f**2 - 5*f + 7. Let i be q(2). Solve i*g = 18*g - 92 for g.
-4
Let h(z) = -16*z + 5. Let r be h(0). Let q be 8/(-2)*(r - 54/8). Solve p + 12 = q for p.
-5
Let g(d) = d**3 + 7*d**2 - 4*d - 2. Let l be g(-7). Suppose -l - 19 = -3*u. Let s = 2992 + -2987. Solve s - u = 2*o for o.
-5
Let s = 19 - 17. Suppose 0 = 5*q - 4*o + 3*o - 46, 0 = -3*q + s*o + 29. Let x = 17 - 15. Solve -q = -x*y - y for y.
3
Suppose g + 111 = 3*q - 35, -4*q + 5*g + 180 = 0. Solve -2*u - q = -38 for u.
-6
Let z(j) = -3*j**2 + 84*j - 153. Let p be z(26). Solve -p*v - 146 + 128 = 0 for v.
-6
Suppose -91 = -12*r - 163. Let b be 7/(-4)*(2 + r). Solve 0 = b*m - 4 + 4 for m.
0
Let o(z) = -z**2 + 239*z + 974. Let l be o(-4). Solve -46*p - l = -44*p for p.
-1
Suppose 0 = 5*c + 5*w - 10, 0*w - 2 = w. Let v be ((-11)/14 - (-38)/133)/(3/(-24)). Solve -v*h - c = -12 for h.
2
Suppose 4*j = -4*a - 4, -j + 2 = -0*j - 2*a. Let d = 26021 - 25985. Solve j = -g - d + 35 for g.
-1
Let y = 1 + 1. Let a be (12 + (12 - 24))/(-1 - -2). Solve a = y*v - 7 - 3 for v.
5
Let s(g) = -1 + 7 + 3*g - g**2 + 2*g. Let b be s(6). Suppose -2699 + 7 + 1 = -897*a. Solve b*j - a = -j for j.
3
Let j(v) = v**2 - 6*v + 11. Let m be j(5). Suppose p = -3*z + 21, 3*z - m*p = -3*p + 9. Solve 2*f = z*f + 12 for f.
-3
Let x be 1*0*1/1. Suppose 189*h = 191*h - 5*z + 55, 44 = 10*h + 4*z. Solve x*y - 4*y - 8 = h for y.
-2
Suppose -10*h + 83 - 13 = 0. Suppose -15 = 3*d, -h*l = -2*l + d - 105. Solve l = a + 25 for a.
-3
Let r(a) = -5*a + 6. Let y be r(5). Let x be 5/(-35) - (0 + 306/14). Let i = y - x. Solve -h = -i*h + 8 for h.
4
Let p be -52 + 47 + 16*(-2)/(-4). Solve p = 6*y - 5*y for y.
3
Let l be 1 + 342/10 - (7 - 273/35). Solve -22*a = -10*a + l for a.
-3
Suppose 72*s - 22*s + 22*s = 1800. Let x = -35 - -50. Solve s = -10*o + x*o for o.
5
Suppose 16*s = -36*s - 28*s. Solve s*r - 2*r = r for r.
0
Suppose 111*b - 7096 = -74*b + 17694. Solve 31*j - b = -36*j for j.
2
Let o(x) = 183*x**2 + 17*x - 34. Let c be o(2). Let q = 737 - c. Solve -7*j = q*j - 13*j for j.
0
Let s be -2 + 1*22/2*2. Let l be s/5 + 1 + -1. Let q(h) = h**2 - 2*h - 8. Let a be q(l). Solve a = w + 2 - 3 for w.
1
Let q(y) be the third derivative of y**5/60 + 5*y**4/24 - y**3/2 + 992*y**2. Let d be (1 + -5 + 2)*-1. Let h be q(d). Solve -h = -5*u + 14 for u.
5
Let z(d) = -7*d - 4. Suppose 14*q - 6 = -20. Let b be z(q). Solve -b*s - 4 = s for s.
-1
Let l be (-1 + 6/4)/(30/(-2280)). Let q = 42 + l. Solve q*u = 2*u for u.
0
Let d(j) = -j**2 - 36*j + 21. Let f be d(-25). Let r = -292 + f. Solve r*z = -z for z.
0
Suppose -17*q + 29*q + 324 = 0. Let r = 22 + -46. Let j = r -