). Let l(f) = 8*f + 112. Let z be l(j). Solve 18 = 6*h + z for h.
-1
Suppose 0 = 2*x + 2*q - 36, 0 = -0*q + 2*q - 4. Let k = 8706 - 8703. Solve 0 = -k*r - 31 + x for r.
-5
Let h = 13 - 27. Let k be (21/h + 2)*0. Solve 6*l + 2*l + 32 = k for l.
-4
Let p(n) be the first derivative of -n**4/4 + 4*n**3 - 10*n**2 + 4*n + 10. Let q be p(10). Solve q*u - 1 - 19 = 0 for u.
5
Let v = 243 + -243. Suppose j + a - 16 = v, 5*j - a - 3*a - 116 = 0. Solve -9*n - n - j = 0 for n.
-2
Suppose -c + 2467*q + 67 = 2463*q, -2*c + 5*q = -137. Solve 70 = -c*l - 569 for l.
-9
Suppose 0 = 20*h + 22 - 617 - 145. Solve h*y - 44*y + 21 = 0 for y.
3
Suppose 0 = 6*i - 11 - 13. Let h(o) = 2*o**2 - 4*o - 1. Let x be h(i). Let t be -1 + 0 - (14 - x). Solve t = -b - 2 - 1 for b.
-3
Let d be -3 + 0 + (-1 - -15). Suppose -d = c - 4*t, -3*c - 2*t + 23 = -0*t. Suppose -5*q = f - 21 - 9, -25 = -c*q. Solve 3 = f*y + 18 for y.
-3
Let a be 2/3 + (-256)/(-12). Let h be (3 - 70/a) + (-4)/(-22). Let f = -2 - -5. Solve h = -0*x + f*x for x.
0
Let w(g) = -g**2 + 30*g + 11. Let d be w(14). Suppose -d = -20*t + 165. Solve -t = 4*z - 0 for z.
-5
Suppose x = 4*r - r - 26, -3*x = -3*r + 36. Let u = 914 + -910. Let w(n) = n**3 - 2*n**2 - 4. Let j be w(3). Solve r + j = u*p for p.
3
Let a = 21105 - 21045. Solve 90*f = a*f + 240 for f.
8
Suppose -d - 3*u + 65 - 16 = 0, -u = -12*d + 366. Solve -29*z + d*z - 2 = 0 for z.
1
Let v(a) = 7*a**3 - 3*a**2 + 2*a. Let m be v(1). Suppose -13*o = -m*o - 2*o. Solve 3 = -o*l + l for l.
3
Let i = -535 + 583. Let x be (-8)/(-40)*1 + i/10. Solve -51*b + 56*b - x = 0 for b.
1
Let w be (-13746)/29*(2 + 8/(-3)). Let z be 1264/w + (-4)/(1*-2). Solve 5*o - 2*o = -z*o for o.
0
Let t be 603/54 + (-11)/(660/(-50)). Solve 240 = -t*n + 288 for n.
4
Suppose j = -4*j - 20, 4 = -4*g - 3*j. Let u(h) = -h**2 - 74*h - 843. Let a be u(-14). Let f be a/3 + g + 0 + 1. Solve 0 = f*m - m for m.
0
Let s(a) = -a**3 - 51*a**2 - 605*a + 754. Let u be s(-30). Let n = 25 + -12. Solve -n*z = -15*z + u for z.
2
Let g = 1406 + -1405. Solve 48*o + g = 49*o for o.
1
Suppose l = -11 - 7. Let z be 420/540 + (-4)/l. Solve -24 - z = 5*h for h.
-5
Let o be ((-93)/(-45) - (-69)/115)*9. Solve -490*y + o = -482*y for y.
3
Suppose 0 = -3*h + 2*r - 2, -95*r = 4*h - 91*r - 4. Let f be -3*-1*4/(-6). Let a be ((-1)/f - -1)*2. Solve -a = -p - h*p for p.
3
Let g(r) = -9*r**2 - 69*r - 15. Let z be g(-6). Suppose 5*p = -75 + z. Solve 2*m - 11 + 5 = p for m.
3
Let h(m) = 97*m - 5330. Let w be h(58). Solve 33 = -47*t - w for t.
-7
Let c(k) be the third derivative of k**6/120 + 7*k**5/30 - 2*k**4/3 - 3*k**3/2 + k**2 + 7*k. Let p be c(-15). Solve 3*y = p*y + 12 for y.
-4
Suppose 0 = -m + 2*n + 9, 2*m - 7*m - 2*n + 93 = 0. Solve -38 = -m*h + 13 for h.
3
Let z be (-7 - -12 - 13) + 12. Solve 12*w - 80 = -z*w for w.
5
Let l(q) = -13*q + 2. Let d be l(0). Suppose 0 = 2*x - 2*i + 28, -i = -3*x - 5*i - 7. Let y = -8 - x. Solve d*g = -1 - y for g.
-1
Let l(x) = 233*x - 403. Let n be l(2). Solve 7*w + 35 = n for w.
4
Suppose -23*l - 376 = -523 - 612. Solve 52*z - l + 33 = 0 for z.
0
Let b(t) = 5*t**2 - 96*t - 28. Let x be b(17). Let l = 219 + x. Solve -3*a - 10 = -l for a.
-2
Let b(l) = 101*l**2 + 23*l + 24. Let z be b(-1). Solve -18 = 28*n - z for n.
3
Suppose 0 = -121*b - 8 + 492. Suppose 0 = 4*c + k - 98, 3*k - 119 = -7*c + 2*c. Solve -w = b*w - c for w.
5
Let w be 4 + -11 + (-2)/(-2*1). Let x be (w + 231/28)*16/6. Solve 0 = x*f - 10 + 4 for f.
1
Suppose -72*n - 1408 = -74*n. Let f = 714 - n. Solve -f = 3*c - 1 for c.
-3
Let t be (0 + 4 + -4)*-1. Let n be (26 - 26) + t/(1 + 1). Suppose -3*k = 5*z - 2*k, z = 4*k. Solve n = 3*i - z + 6 for i.
-2
Suppose 0*y = -11*y + 8085. Suppose 4*s - y = -11*s. Let x = s - 47. Solve 3*j = x*j for j.
0
Let j(b) = -2*b**2 + 20*b + 3. Let x be j(9). Suppose 18 - x = -d. Let q(o) = o**2 + 15*o + 21. Let u be q(-14). Solve u*a - d*a - 16 = 0 for a.
4
Let v(c) be the second derivative of 7*c**3/6 - 7*c**2/2 + 31*c. Let r(x) = -6*x + 7. Let z(d) = -6*r(d) - 5*v(d). Let w be z(8). Solve 0 = 3*h + w - 16 for h.
5
Suppose -s = 3*i + 71, 4*i - 88 = 2*s + 4. Let n = s - -60. Suppose -16*t + n*t = -24. Solve 0 = t*v + 2 for v.
-1
Suppose -28*d + 174 = 16*d + 14*d. Solve d*m - 6 = -21 for m.
-5
Suppose 0 = a - 5*l + 6, -4*a = 5*l - 1. Let h be (-2 - (5 - 2))*a. Solve 16 = -h*s + 41 for s.
5
Let q(h) = -3*h - 122. Let v(u) = -8*u - 369. Let x(r) = 11*q(r) - 4*v(r). Let y be x(21). Solve -y + 98 = 3*c for c.
-5
Let h be (-3)/(-5) - ((-32)/5 + (-11 - -13)). Solve -21*u + 121 + h = 0 for u.
6
Suppose 3*g = -2*j + 4, 146 = 2*j + g + 138. Solve -284 = -j*r - 289 for r.
-1
Suppose 1151 - 3581 = -15*o. Let r = o - 147. Solve -r = -5*h + 5 for h.
4
Let k(a) = -384*a**2 + 1172*a - 3. Let c be k(3). Solve -c = -27*g + 46*g for g.
-3
Let t be 0/((38 - 40) + (6 - (1 - -2))). Solve -58*v + 62*v + 12 = t for v.
-3
Let u(j) = j**3 + j**2 - j - 1. Let s be u(2). Let m = -6 + s. Let t be 9212/420 + -18 - (-3)/45. Solve -m*z = -5 - t for z.
3
Let q(z) = -8*z**2 + 9*z + 30. Let b be q(-6). Let a = -284 - b. Solve -a = -8*v - 4 for v.
3
Suppose 4*b = -3*j + 31, 26 = -2*j - 861*b + 865*b. Let x = -1 - -4. Suppose -5*c = -3 - 7. Solve 0 = x*w + j + c for w.
-1
Let t(g) = -g**2 - 2*g + 7. Let c = 296 - 299. Let w be t(c). Solve w*l - 27 + 7 = 0 for l.
5
Suppose 4*s + 16 = -w, -5*w = 2*s - 5*s + 126. Let d be 4/w + 38/12 + -1. Solve 8*b = d + 6 for b.
1
Let o be 26901/105 - ((-2)/(-10))/(0 - -1). Solve 5*c - 261 = -o for c.
1
Let r be 2 + (-21)/12 + (-185)/4. Let v = -58 - r. Let y be 54/v*(-1 - (0 + 1)). Solve -4*w + 7*w + y = 0 for w.
-3
Let l(c) = -c**2 - 19*c + 19. Let m(w) = 2*w**2 + 38*w - 39. Let q(t) = -5*l(t) - 2*m(t). Let d be q(-20). Solve d*j - 8 = j for j.
4
Let a be 2/(10/5)*0. Let f be -4 + a - -94 - 3. Let n = 90 - f. Solve n*o = -5 - 1 for o.
-2
Suppose -g + 43 = -2*m + 106, -3*g = m - 49. Solve 22*i - 54 = m for i.
4
Let m = -12 + 17. Suppose -15 - m = -4*o. Suppose 2000*l - 1756*l = 3660. Solve o*p - l = -0*p for p.
3
Suppose 0 = -2*u - 2*k + 10, -25 = 14*u - 19*u - 4*k. Suppose -5*q - 5*m + 4*m + 9 = 0, -4*q = -u*m - 13. Solve -6*d - q = -5*d for d.
-2
Let s(f) = 40*f + 3203. Let x be s(-80). Solve -x*h + 59 - 38 = 0 for h.
7
Let r be (1 - 9)/(-4 + 735/182). Let u = r - -210. Solve -6*c + 5*c = -u for c.
2
Let s = -33 + 31. Let v be (2 + s - -3)*(-8)/6. Let y be 7 - (v + 3 - -5). Solve 4*x - y = x for x.
1
Let h(q) = -80*q. Let w be h(0). Solve 8*z - 16*z = w for z.
0
Let p = 3 - 35. Let x = 35 + p. Suppose z + x*c = -20 + 47, -z = -2*c - 2. Solve -5*s + s = z for s.
-3
Suppose 4*o = -5*k - 165 + 297, 0 = -3*k - 12. Solve 43*w = o*w - 15 for w.
-3
Let v be (-30)/7 + (-2)/(-7). Let i(c) = 2*c**3 - 15*c**2 + 39*c + 8. Let d be i(5). Let w be (-16)/32 - d/v. Solve -3*y - w + 7 = 0 for y.
-4
Let y = -32 - -8. Let q = 29 + y. Suppose -5 = q*v + 4*j, -2*v + 6*v = -2*j + 2. Solve -b + 4*b = -v for b.
-1
Let j(o) = o. Let x be j(-5). Let b(c) be the third derivative of c**6/120 + c**5/10 + 7*c**4/24 + 2*c**3 - 70*c**2. Let g be b(x). Solve 0 = g*a - 0 - 2 for a.
1
Let a = -179 - -202. Solve a*l + 6*l = -145 for l.
-5
Let k be 0/2 - (-16)/4. Let b = 51 + -51. Suppose m + m = -b*m. Solve m*o + 16 = k*o for o.
4
Suppose 0 = 55*q - 182*q + 2667. Solve -7*w + 14 = -q for w.
5
Let l be (1641/21)/((-12)/(-84)). Let u = l + -529. Solve 2*c = -4*c - u for c.
-3
Let p = 4047 + -4045. Solve 17*a = p + 83 for a.
5
Let y be 70/9 - (-6)/(-297)*-11. Solve 291 - 339 = -y*r for r.
6
Let u = -9 - -13. Suppose 11 = g - 3*y, 7 = -5*g - u*y + 5. Suppose -558*w - 342 + 5323 - 317 = 608*w. Solve -g*r + w = -2 for r.
3
Suppose 4*g + 8869 - 9017 = 0. Solve 12*w + g = 13 for w.
-2
Let t(f) = f**3 + 34*f**2 + 32*f + 52. Let r be t(-33). Solve r = -15*y + 70 for y.
-1
Let s = -482 + 970. Let h = s - 485. Solve r + h = 2*r for r.
3
Suppose 6*q - 4 = -3*u + 2*q, -5*u + 12 = 4*q. Suppose -4*m - 4 = 2*c, -15*c + 18*c - u*m - 4 = 0. Solve c = 4*h - 11 - 9 for h.
5
Let d = 105 - 440. Let o = 338 + d. Solve o*f - 10 = 2 for f.
4
Let q be (-2)/((20/18)/(-5)). Suppose -q*r + 7*r + 18 = n, 4*r = n + 12. Let v = 3 - -1. Solve 0 = 3*t + n + v for t.
-4
Suppose -15*v = -3*o - 10*v + 103, 0 = -2*v - 10. Solve o*x + 162 = -x for x.
-6
Let m(o) be the s