 = -3*o + o - i, -b = -5*o - 15 for b.
0
Let y(i) be the second derivative of -11/6*i**3 + 0 + 1/2*i**2 + 15*i + 1/12*i**4. Let b be y(11). Solve 0 = -4*w - 2*x + 14, -x - b = 2 for w.
5
Suppose 503*q - 574 = 432. Solve 0 = 3*b - 45*c + 44*c + 4, q*b + 3*c + 10 = 0 for b.
-2
Suppose -7*j = -4*j - 3*y - 126, 121 = 3*j + 2*y. Suppose -3*k + 155 = m + 8, 3*m = -k + j. Solve 4*g - 32 = -4*b, -3*g - 5*b = -k + 18 for g.
4
Let z be (0 - 6/5)/(114/(-285)). Suppose 13*g - 42 = -z. Let k be (-3 - 28/(-8))*16. Solve 5*l - l = k, -22 = -g*q - 5*l for q.
4
Suppose -282*w + 66 = -249*w. Solve 0 = w*n - 4*m - 24, n - 4*m = 2*n + 18 for n.
2
Suppose -f - 2*o - 2 = 0, 14*o = 5*f + 16*o - 22. Suppose 91 - 337 = -f*p. Solve 5*q + p = 4*n, 2*n + 12 = -3*q - q for n.
4
Let g be 1/(-4) - 26/(-8). Let v = 1552 + -1496. Suppose v = 3*u + 47. Solve 2*k + 3 - 10 = w, -u*k = -g*w - 9 for w.
1
Let u(r) = -8*r + 8. Let v be u(2). Let w = -6 - v. Suppose w*g + 5 = -3*n - 0, 2*g - 4*n = 30. Solve 2*f = i - 5 + 1, -g*i - 28 = 2*f for i.
-4
Let p(k) = 4*k. Let q(s) = -s**2 - 13*s + 1. Let v be (6 - 5)/((-2)/26). Let j be q(v). Let l be p(j). Solve t = l*h - 8, -t + 3*h - 4 = 2 for t.
0
Let z = -3232 - -3234. Solve -4*f = 3*t + 15, 2*f + f + z*t + 10 = 0 for f.
0
Let u be (-32)/40 + (-62)/10 + 12. Solve 0 = -2*n - o - u, -3*o - 12 = -5*n - 52 for n.
-5
Suppose 48*u - 1 - 239 = 0. Solve -24 = -3*o + u*v, -7*v - 9 = -4*v for o.
3
Let n(b) = -5*b - 119. Let u be n(-28). Let j be 3*2 - (18 - u). Solve -6 = 2*o, -2*o - j = 5*q + o for q.
0
Let s(g) = g**3 - 34*g - 4. Let d be s(-5). Solve -m = -5*b - 20, -3*b + 27 = -m + d for b.
-3
Suppose -3*m + 14*m = 1595. Suppose m*h - 138*h = 35. Solve -2 = -g, h*b - 25 = -5*g - 0*g for b.
3
Suppose 91 = 3*k + 6*z - z, -5*k = 5*z - 145. Suppose -k*f - 36 = -39*f. Solve -3*h + h - 1 = f*o, -5*h = 3*o - 11 for h.
4
Let h = 703 + -701. Solve 9 = 4*a - h*j + 27, 5*j = -2*a + 9 for a.
-3
Let t(a) = -4*a - 4. Let f be t(-2). Let u = -350 + 355. Suppose -11 = -c + f*h, -3*h - 10 = -3*c + u. Solve -2*n = -2*y - 0 - 8, 18 = c*n - 5*y for n.
1
Suppose 0 = -5*i + 245 - 130. Solve -13*f + i = 4*n - 10*f, -2*f = -10 for n.
2
Let g be 10*6/(-16)*20/(-15). Solve -5*b - 19 = 3*v, -4 = -g*b + 4*v - 2 for b.
-2
Let f = 1 + 1. Let x(r) = -8*r - 7. Suppose 4*v - 3*j = -21, 5*v - 4*j + 9 = -6*j. Let z be x(v). Solve p - 4*s + 1 = 0, -3*p - 4*s - z = -f*s for p.
-5
Let k(f) = 3*f**2 + 2*f + 2. Let w be k(-1). Let r = -38 - -42. Let s be (6 - (r - 0)) + 1/(-1). Solve 3*b = -2*t + t + s, 3*b + w*t = -9 for b.
2
Suppose -k = 2*j + 3*k + 4, -8 = -j + 3*k. Solve -5*p - 5*g = 0, 8*g - 15 = j*p + 7*g for p.
-5
Suppose -6030*n + 6202*n - 3440 = 0. Let l be -10 - (-1 + 2)*-1. Let z = -5 - l. Solve z*f = -b + n, 0 = -f + 2 + 3 for b.
0
Suppose -5*j - s + 15 = 0, j + 2*s - 3 = -2*s. Let q(a) = -115*a + 114*a + 7 + 6. Let p be q(j). Solve 2*h - 5*t - 1 = 9, -2*h - 2*t + p = 0 for h.
5
Let f(o) = -3*o**3 - 11*o**2 + 16*o + 69. Let t be f(-3). Solve 204*q - 209*q + 10 = -5*w, -4*w - t*q - 29 = 0 for w.
-5
Suppose -2*w + f = -10, -42 = 5*f - 12. Solve -5*r = w*a - 14, -14*r - 29 = 3*a - 19*r for a.
-3
Suppose -45 = -16*y + y. Suppose a - 3 = -5*j + 4, a + y*j - 9 = 0. Solve v - a = 3*o, -4*o + v + 0*v - 15 = 0 for o.
-3
Suppose 0*g = -3*g - 2*y + 58, 3*y = g - 34. Suppose 8 + 0 = k + 2*a, 3*k = -5*a + g. Solve 5*x = -4*i + 15, -6 = i + 2*x - k*x for i.
0
Let i = 192 + -10. Let k = i - 178. Solve k*s - 5*t + 5 = 0, -4*t + 56 = 5*s + 11 for s.
5
Let a(y) = -14*y + 25. Let k(s) = -5*s - 1. Let g(n) = -a(n) + 3*k(n). Let w be g(-31). Solve 5*x = 2*l + w*l - 40, -4*l - 3*x - 3 = 0 for l.
3
Let n(r) = -1877*r - 7489. Let s be n(-4). Solve 3*k = 2*f + s - 12, 4*k + 2*f = 14 for k.
3
Let o be (-535)/(-4) - (-2)/8. Suppose 7*m - 155 + o = 0. Solve 5*y = 4*y - 3*i, -m*i = 2*y for y.
0
Let o = -5 + 7. Suppose 8*s = o*s + 66. Solve d - 4*q + 14 = 0, d + q + 5 - s = 0 for d.
2
Let r(n) = -n + 12. Let u be r(-18). Suppose -24*x - 18 = -u*x. Solve -w - 27 = x*v + 2*v, 0 = 3*w + 5*v + 31 for w.
-2
Let s(z) = 2*z + 37. Let v be s(-17). Solve 4*r + 12 = g, -v*r + 99*g - 104*g = 32 for r.
-4
Let w(s) = -34*s + 150. Let g be w(17). Let k = 436 + g. Solve -3*y + 14 = 2*d, -11 - k = -4*y - 3*d for y.
4
Let x(v) be the third derivative of v**6/40 + v**5/4 - 19*v**4/24 - 2*v**3/3 + v**2 + 22. Let b be x(-6). Solve -3*l = -2*i, -7*l - b = -4*i - 2*l for i.
3
Suppose 1140*h = 921*h + 4818. Suppose l + q - 5 = 0, q = 4*q - 15. Solve 3*t + 8 + h = -5*c, t + 5 = l for c.
-3
Let w be (823/(-18) + (-14)/(-63))*(-32)/56. Solve -4*b - 9 = -l, 2*l = -b + 7*l - w for b.
-1
Suppose 149*p + 3054 = 4246. Solve 3*u = 4*n - 8*n, -2*u - p = 0 for n.
3
Let w be (-400)/12 + 2/(-3). Let u = w - -33. Let h be (-1)/u*(-2 - -4). Solve 3*t + h*k = -1, -5 = -2*t - t + k for t.
1
Let x = -1267 + 1282. Solve -5*n - 12 = -w, -4*w - 2*n + n - x = 0 for w.
-3
Suppose 5*x + 1070 = -5*p, p + 37 = 5*x + 1095. Let b = x - -214. Solve 0*s = 4*c + 4*s, b*c - 2*s = 0 for c.
0
Let d be (-3)/(24*5/50 + -3). Suppose -6 = -5*c + 4*q, 3*q = -0*c + d*c - 7. Solve 0 = -c*l + 3*i + 1, 4 = 3*l - 2*l + 2*i for l.
2
Let y be ((-3)/(-24))/(-1) + (-828)/32. Let n be y/(-8) + (-31)/124. Let o(b) = b - 1. Let z be o(4). Solve 14 = -4*a + z*a + n*u, 3*a = -u - 2 for a.
-2
Let i(a) = -2*a**2 - a - 1. Let p(d) = -9*d**2 - 3*d + 3. Let m(o) = -4*i(o) + p(o). Let j be m(2). Solve 0 = j*y + 5, 0 = -3*n - 5*y - 4 - 1 for n.
0
Suppose 2*g - 10 = -6. Let r be (g + 0)/(25/(-10) - -3). Suppose c + 2*s - 24 = -3*c, c - 2*s = -r. Solve -4*j + 3*u - 10 = c, 4*j + 22 = -u for j.
-5
Let x = 45 + -29. Let w be (2 - x/28) + (-4)/(-7). Suppose 10*m - 264 = -w*m. Solve -2*f = -3*u - u - 2, 5*u + m = -4*f for f.
-3
Suppose -18*j + 45 = -9*j. Let g = -232 - -234. Solve 0 = j*h - 20, -4*q - q - g*h + 33 = 0 for q.
5
Suppose 987*i - 984*i - 2*w = -8, i - 4*w + 26 = 0. Solve -6*j = -2*n - 8*j, -i*n = -5*j for n.
0
Let g be (-50)/(8 - -2) - (2 - 146). Suppose 0 = g*n - 142*n + 15. Solve 4*y = 2*j + n*y - 15, 0 = 4*j - 4*y for j.
5
Let i = -80 + 84. Suppose -3*r + 0*r + i*d = 10, 0 = 3*r - 2*d + 2. Suppose y - 3*y + 4*u = -6, -7 = -4*y + 3*u. Solve -3*j = -4*q + y, j + q - 17 = -r*q for j.
5
Let u = -5131 + 5135. Solve -5*b = -23*g + 26*g - 13, -4*b + u = -4*g for b.
2
Let n be (-992)/(-352) - (-4)/22. Solve 0*y = 2*y + 6, -3*u = -4*y - n for u.
-3
Let v = 362 + -154. Let h = 221 - v. Let d = 4 + -4. Solve d = -5*w - 4*j - 0 - h, -2*j + 1 = -5*w for w.
-1
Let f(g) = g**3 - 26*g**2 - 250*g + 11. Let y be f(-7). Solve -5*a = -3*r + 135 - y, 0 = -4*a - r + 14 for a.
3
Let d(w) = w**3 - 9*w**2 + 3*w. Let o be d(9). Suppose o*z - 23*z + 20 = 0. Let t be (-2*5)/z - -3. Solve 21 = t*g - 2*n, 2*n + 0*n + 15 = 3*g for g.
3
Let n be 2/(-4)*(-13)/((-13)/60). Let w(m) = -m**2 - 28*m + 65. Let d be w(n). Solve -c + 12 = -d*g, g - 6 = -3*c - c for g.
-2
Let d = 99 + -96. Suppose -4*y = -4*f, y = 7*f - d*f - 15. Suppose j + 0*j - 16 = -3*k, -3*k = y*j - 32. Solve -2*u - j*g - 9 = -5*u, 12 = -4*g for u.
-1
Let c be 35/11 + -3 + (4 - (-194)/22). Solve -4*f + 1 = 3*r - c, -3*r - 5*f = -19 for r.
-2
Let v = 62 + 172. Let q = v + -122. Let c = 114 - q. Solve -2*w = -2*n - 14, 4*n - 2 = -4*w + c for w.
4
Let u(k) be the third derivative of -k**6/120 + 29*k**5/60 + k**4/24 - 25*k**3/6 + 237*k**2. Let v be u(29). Solve -4*f = -5*a - v - 11, -3*f = 2*a + 6 for a.
-3
Suppose 0 = 5*d - p - 13, 0*p + p + 1 = -d. Solve 3*q - 5 = d*s, 0 = -4*s - 2*q - q - 19 for s.
-4
Let q(y) be the second derivative of 3/2*y**2 - 6*y - 1/12*y**4 + 0 - 5/6*y**3. Let l be q(-5). Solve z - 4 = -5*f, 5*f + 5*z = l*z + 8 for f.
0
Suppose -22*t - 84 = 180. Let j be (-2)/t - ((-55)/30 - -2). Solve -2*p - 4*f = 10, -p - 8 = -j*p + 3*f for p.
1
Let k = 45788 - 45767. Solve -9*b + 3*i - 10 = -14*b, k = -b + 4*i for b.
-1
Let b = -41588 - -41592. Solve -3*y - 3*p - 15 = -30, -2*p = b*y - 20 for y.
5
Let t(m) = 14*m**2 - 16*m - 72. Let y be t(3). Solve 5*j + 3*z = y, j - 24*z = -20*z + 15 for j.
3
Let j(u) = 2*u**3 + 5*u**2 + 2*u - 5. Suppose -3*l = l + 12. Let q be j(l). Let b be -3*5*16/q. Solve -2*p = z + 3*p + 19, -4*p = b for z.
-4
Let w(b) = -3*b**2 - 69*b - 5. Let r be w(-21). Solve -4*v + 12 = 0, -12 = t - r*v + 117*v fo