 + 7*o + 27. Let s be b(-3). Let a be x(s). Solve 0 = a*g + 4*w + 9, -2*w + 7 = -2*g + 1 for g.
-3
Suppose 5*a - 4*d - 116 = -5, 4*a + 5*d = 138. Solve 0 = 2*t + 3*t + 4*j - a, j = t for t.
3
Let p(k) = -k**2 - 171*k - 1443. Let y be p(-9). Solve 5*b + 10*a - 5*a + y = 0, -4*b = -4*a - 4 for b.
-1
Suppose 4*d + 6*d = -670. Let a = d - -72. Solve -5*c + c + 3*t = -14, -a*c + 17 = -4*t for c.
5
Suppose -2*p - 12 = -4*t, -3*t - p - 1 = -15. Suppose -5*z + 3*q = -t*z + 13, -4*z - q = -13. Let x = z - -1. Solve x*n - 7*n - 4*b = -28, -4*b = -n - 8 for n.
4
Let p = -259 + 290. Let x be (-1)/4*(23 - p). Solve d - x + 0 = b, b = -d + 4 for b.
1
Suppose 4*z + 36 = 2*u + 7*z, 0 = -2*u + 2*z + 16. Solve f = 27*s - 22*s - u, s = 3*f + 8 for s.
2
Let g be 92/(-15) + (-4)/(-180)*6. Let k be (37 + -33)/((-4)/g). Solve -k*x = 5*a - 3*x + 18, -3*a - 3*x = 12 for a.
-3
Suppose -1410 = 5*p - 4375. Let z = p - 591. Solve 0 = -5*v + 3*m - 22, 7*m = -v + z*m - 10 for v.
-5
Let i(h) be the third derivative of h**4/4 + 7*h**3/3 + 13*h**2. Let k be i(9). Let t = 70 - k. Solve c - 2*c + 11 = -4*n, -c + 3 = -t*n for c.
-5
Suppose -4 = -p, 0 = -5*t - 5*p + 154 + 116. Let z = t - 47. Solve 4*k + y + 4 = z*k, -4*y + 4 = -k for k.
-4
Suppose 0 = -133*u + 53*u + 320. Solve -4*g - z + 24 = g, -5*g - u*z = -21 for g.
5
Let r(o) = 2*o - 6. Let t = -26 - -30. Let k be r(t). Suppose 2*x - 34 = -3*x - 3*a, 0 = 3*x + k*a - 21. Solve 5*n + u - x = 7, -4*n = 4*u - 16 for n.
2
Let v(g) = -3*g**2 - 91*g - 20. Suppose 4*z - 52 = -0*l + 2*l, l = -4*z - 38. Let h be v(l). Solve 2 + 0 = 4*o - 2*y, -4*y = -o - h for o.
2
Let c(b) = 3*b**2 + 82*b + 111. Let l be c(-32). Let u = l - 554. Solve 0 = 3*w + 4*i - 19, 0*w = u*w + 5*i - 25 for w.
1
Suppose l + 146 = 5*r - 3*l, 3*r - 3*l - 90 = 0. Suppose -31 = -5*z + 3*q, 10*q - 13*q = -4*z + r. Solve 1 = p - 3*f + 4*f, 5*p - z*f - 25 = 0 for p.
3
Let p(a) = -a**2 + 5*a - 3. Let u be p(3). Suppose 136*f = 167*f. Solve y - 3*i + 8*i - 11 = f, u*i - 7 = -y for y.
1
Let x = -29936 - -29967. Solve -5*d = -q + 25, -3*q = -3*d - d - x for d.
-4
Suppose -2 = -3*g - 8. Let o(j) be the second derivative of j**4/12 + j**3/3 + 3*j**2/2 - 5*j. Let m be o(g). Solve 0 = -0*x - x - 3, -m*y + 2*x + 3 = 0 for y.
-1
Let y = 18 - -12. Let l = 32 - y. Suppose 2*v = -2*p + l, 3*p = p - 4*v. Solve p + 7 = x + 5*t, 0 = -5*x - t + 21 for x.
4
Suppose -2*h - 5*n + 64 = 0, 2*n - 52 = -63*h + 61*h. Solve 0 = -4*k - 0*m - 4*m + 36, 0 = -3*k - 2*m + h for k.
4
Suppose 1 - 20 = -2*p + 3*j, 0 = 4*p + 5*j + 17. Let d(z) = 9*z + 24. Let k be d(10). Suppose -23*o = -k - 1. Solve -3*s - 2 - 8 = p*w, 0 = o*w + 10 for s.
-2
Suppose 0 = -6*y - 678 - 990. Let r = y - -282. Solve -3*g = -p - 13, -r*p - 5*g = 5 - 4 for p.
-4
Let g = -29906 + 29911. Let t(u) = -u**2 - u + 14. Let d be t(0). Solve g*q - 3*m = -2*m - d, -2*q - 7 = m for q.
-3
Let l(s) = 38 - 31*s - 9 + 20*s + 12*s. Let v be l(-8). Solve -4*u + 4*g - 11 = v, u - 3*g + 14 = 0 for u.
-5
Let t(w) = -6*w + 87. Let h be t(17). Let l(y) = y - 33. Let o be l(0). Let j = h - o. Solve 4*v - j - 1 = -3*i, i - 8 = -3*v for v.
1
Suppose -25 = -4*d - 3*z, -d = -0*z + 5*z - 2. Let y be (-10*(-2)/30)/((-4)/(-18)). Let g be 3 - 6/(-9) - 2/y. Solve -g*r - 2*b = 12, 3*b - d = r - 3 for r.
-4
Let k = -3319 - -3329. Solve 4*r + k = 5*j, r + 4*j - j = -11 for r.
-5
Let c(j) = 4*j - 7. Let a be c(2). Suppose 2*l = -u + 2 + a, -5*u + 2*l + 39 = 0. Suppose 2*x = 23 - u. Solve -2*o = -2 - 4, -d = -o + x for d.
-5
Let q be (0 - 0)/(((-166)/415)/((-1)/(-5))). Solve q*o = 3*i + 3*o - 18, -2*o = -2*i for i.
3
Let m be (-12)/60 + 22/10. Suppose 3*u - 2*s - 19 = 0, 18 + m = -4*s. Suppose g - n = 2*n + 15, 42 = 5*g - 4*n. Solve g = l - 3*v, 2*v + 10 = -2*l - u*v for l.
0
Suppose -4*u + 282 = g, -4*g = 4 + 4. Let w = -59 + u. Solve d - 18 = 5*s, -2*d + s + w = -3*s for d.
-2
Suppose 4*i = 2*t - 10, -t + 12 = -4*i + 7. Suppose -74 = -t*u - l, 50 = -20*u + 25*u - 5*l. Solve 5*q = -5*r + 20, 4*r = 5*q - 6 - u for q.
4
Let s be ((32/(-12))/(-4))/((-3)/(-108)). Suppose -119 + 47 = -s*q. Solve 0*u = q*t + u - 17, -29 = -t - 5*u for t.
4
Let g be (-1970)/(-180) + (-14)/(-252). Solve -4*r = -8, 5*d - 3*r + g = -0 for d.
-1
Let h be (-152)/(-342) - 12/27. Solve 6*p + 5 = -5*d, 4*p - d - 3*d + 40 = h for p.
-5
Suppose k - 4*k + 6 = 0. Suppose -n + 201 = 5*i, -k*i + 3*n = -3*i + 29. Let p = i - 39. Solve 0 = u - 2*v + 13 - 4, -p*u + 27 = 5*v for u.
1
Suppose -4*m + 12 = k, -k - 1947 = 2*m - 1949. Let v be (-2)/(-8)*-9*-8. Suppose -3*x - 6 = -v. Solve -m*o = -4*j + 45, 3*j + 2*o - 1 = x for j.
5
Let z(u) = u**3 + 8*u**2 + 7*u + 3. Let n be z(-7). Suppose 51 = 11*a - 4. Suppose a*q + 0*q = 0. Solve q = -r - n*b - 12, 5*b + 15 = -0 for r.
-3
Let j be (2421/(-45))/(6/(-30)). Let f = -259 + j. Solve 4*x + i - 12 = 0, f*x = 5*x + 2*i + 15 for x.
3
Let a(k) = -2*k - 7*k + 4*k + 0*k - 25. Let j(r) = 4*r + 13. Let x be j(-5). Let u be a(x). Solve 0 = -2*c - 0*c - 2*b + u, -4*c + 16 = 2*b for c.
3
Let n(v) = -v**2 - 43*v - 75. Let b be n(-41). Let f(z) = 13*z - 87. Let i be f(b). Solve -s = s + i*m + 22, -4*s - 20 = 2*m for s.
-3
Let a be 2/(-4) - (-866)/4. Let q = 220 - a. Solve 0 = 3*c + q*n + 26, 2*c + n + 8 = -1 for c.
-2
Suppose -4*u + 152 = 80. Solve -2*a = -3*v - u - 1, -4*v = 20 for a.
2
Let b(q) be the third derivative of q**4/8 - 5*q**3/2 + q**2. Let c be b(-7). Let j be (-8)/c + 136/36. Solve -3*n = 5*u + 25, j*u = 4*n + 2*u + 16 for n.
-5
Let a = 11405 - 11390. Solve 5*i = -x - 1 - a, -i - 2*x - 5 = 0 for i.
-3
Let x = -15 - -82. Suppose -x*q + 2 = -66*q. Suppose 1 + 43 = 4*b + 2*f, 0 = -b + 4*f + q. Solve a = 2*y - 1 - 4, y - b = 3*a for a.
-3
Let j = -25488 - -25491. Solve -2*v - 5*h + 18 = 0, -33*v + 32*v - j*h + 11 = 0 for v.
-1
Let g = -452 - -457. Suppose -3*s + 3*l + 4 - 7 = 0, -2 = g*s - 4*l. Solve s*q + 2 = c - 1, -10 = -2*c + 5*q for c.
-5
Let l(d) = 18*d + 16 + d**3 - 11*d - 8*d - 9*d + 10*d**2. Let c be l(-11). Suppose -c*o + 142 = -8. Solve 3*i = -5*u + o, 5*i - 4 - 21 = 0 for u.
3
Let b(q) = q**2 - 47*q + 90. Let m(s) = s**2 + 23*s + 67. Let n be m(-22). Let l be b(n). Solve 0 = 2*z - 2*k - 4, l*z + 2 = z + 3*k for z.
2
Let a = 13897 - 13874. Solve -27*d = -a*d + g - 21, 4*d = -5*g + 41 for d.
4
Let c(d) = -d**2 - 23*d - 101. Let j be 4 - (0 - 2)*(-4 + -1). Let v be c(j). Solve 5*s + 3 = -2, s - v = -2*t for t.
1
Let v(z) = 17*z - 287. Let d be v(17). Solve 5*t = -4*y + 5*y, -2*y - d*t = -12 for y.
5
Suppose 53 = 4*a - 5*u - 143, -5*u + 112 = 3*a. Suppose a*g - 42*g - 16 = 0. Suppose -5 = 7*j - g*j. Solve t - 18 = j*l, -3*l - 3*t - 2*t = 22 for l.
-4
Let x = 2306 + -983. Suppose -2*w = -8, -4*w - 474 = -3*v - w. Let m be 2/(-12) + x/v. Solve 2*c + m = -3*f, f + f = 4*c for f.
-2
Let y be (-1)/4 - 605/(-20). Suppose -y*u + 23*u + 14 = 0. Solve 1 = -4*l + 5*l + p, -u = -2*l + 4*p for l.
1
Suppose 0 = 5*u + 20, 6*l - 3*l = 2*u + 17. Suppose -6 = -l*b + 9. Solve -5*n + b = 3*j + 2*j, 3*n - 5*j = -21 for n.
-2
Let k be 174/10 - 8/20. Suppose 5 = -15*a + 14*a, q + 4*a + k = 0. Solve -3*i + 5*s + 17 = 0, 0 = 4*i + 2*s + q*s + 24 for i.
-1
Suppose 103 = 24*m + 9 - 74. Solve 15 = 5*t, 0 = -m*z + 4*z + 4*t for z.
4
Let d(q) be the second derivative of q**5/10 - 4*q**4/3 + 2*q**3 + 17*q**2/2 - q - 14. Let h be d(7). Solve 5*x = -3*i, h*i - 13 = 2 for x.
-3
Let k(u) = -486*u - 3886. Let c be k(-8). Solve 0 = a - 11*h + 12*h - 3, c*a - h = 0 for a.
1
Let l be -5 - (-4)/2 - -38. Suppose 3 - 5 = -c. Suppose 0 = -c*b - 4*w + 14, 5*b - 5*w = -w + l. Solve -5 = s + 3*q, -2*q + 0 = -3*s + b for s.
1
Let v(l) = 2*l. Let s be v(0). Let h(x) = -4*x**2 + 102. Let w be h(s). Let z = w - 78. Solve -2*q = -4*c + 14, -5*q - z = -4*c + 5 for q.
-5
Let r(n) = -2*n**3 - 50*n**2 + 58*n + 158. Let c be r(-26). Solve 7 - 1 = 3*m - c*f, -3*m + f = -9 for m.
4
Let g(n) = -n**3 - 78*n**2 + 175*n + 1203. Let z be g(-80). Solve 5*r - 13*m - 12 = -15*m, 3*m = -z*r for r.
4
Let a(h) = -11*h - 28. Let n be a(-3). Let d = 2 + 2. Suppose d*g + 1 = 3*q - 3, 2*g = -2*q + 12. Solve 0 = q*b + n*l - 10, -l - 4 = b - 3*l for b.
0
Let a be (4/2 + 46/(-23))/2. Let p be 0 - (-1 + 1) - a/33. Solve -2*g + 5*b + 6 = p, -2*b = 3*b for g.
3
Let n(q) = -q**3 + q**2 + 31*q. Let d be n(6). Suppose 0 = -2*t 