 73 = -67, -3*i = 2*j - g for i.
1
Let d(h) = h**2 - 11*h + 20. Let m be d(3). Let u be (2/5 + 22/(-55))/m. Solve u = -3*y - x + 7, 2*x - 4*x = -2 for y.
2
Let b(d) be the third derivative of 19*d**4/12 - 73*d**3/6 - 301*d**2. Let s be b(2). Solve 4*z - 19 = -4*a - s, 3*z - 5*a + 12 = 0 for z.
1
Suppose 0*d - 2*d = -22. Suppose 2*g = -u - 3*g - d, g + 2 = 0. Let z(y) = -7*y - 3. Let q be z(u). Solve 8 = r + 5*h, -r - 2 = -h - q for r.
3
Let t = 3 - -25. Let x(g) = -g**3 + 29*g**2 - 26*g - 37. Let a be x(28). Solve 5*w + 2*n - a = 1, -4*n + t = 4*w for w.
2
Let i = -71 - -69. Let z be 1/(i - (-15)/6). Suppose 5*n + z*d = 33, -3*d = -2*d - 4. Solve 2*o - k + 16 = 5*o, 0 = n*o - k - 24 for o.
5
Let z(y) = y**3 + 83*y**2 + 95*y + 1066. Let p be z(-82). Solve 0 = 5*a - 5*j + 25, p = 3*a + 16*j - 20*j + 18 for a.
-2
Suppose 47*t = 102*t - 63*t + 240. Let q = 16 + -8. Solve 0*r - q = 4*l - 3*r, 0 = 2*l + 5*r + t for l.
-5
Suppose -531 + 211 = -40*i. Solve g - 2*u = -12, 5*g - 3*u + i = -17 for g.
-2
Let m(k) = -2*k**2 - 39*k - 52. Let u be m(-18). Solve 5*g = 2*v + 14, -3*g + u*v + 18 = 8 for g.
2
Let w(a) = a + 8. Suppose -12*z = -20*z - 64. Let k be w(z). Suppose k = 4*r - 133 - 15. Solve -2*j + j + 2*s + 11 = 0, 0 = -5*j + 4*s + r for j.
5
Let t = 38304 + -38300. Solve 0 = -3*g - 2*q - 4, -8*g - t*q - 8 = -11*g for g.
0
Suppose 3*d - 2*j - 15 = 0, -3*d - j + 31 - 16 = 0. Solve -t - d = i - 7, 6 = t + 2*i for t.
-2
Let g be -4*(-5 - (-45)/10). Suppose -10*s = -12*s + g. Solve -5*u = 2*v - s, 0 = -v + 5*u - 2*u - 5 for v.
-2
Let w = -8380 - -8399. Solve 5*s = -q + w, -418 = 3*s + 4*q - 443 for s.
3
Let s(m) = 17 + 59 + 36 + 4*m. Let z be s(-27). Solve -5*t = i + 11, 3*i + t = z*t + 3 for i.
-1
Let y = -5 - -7. Suppose -y*x = 3*b - 46, -x + 5*b = x - 30. Let n(z) = 2*z - 37. Let s be n(x). Solve 7 = s*h + 2*u - 3*u, 2 = -2*h + 4*u for h.
3
Let i(f) be the first derivative of f**4/4 + f**3 - f**2/2 - 3*f - 10. Let y = 15 - 18. Let u be i(y). Solve 3*g + 4 = -g, c + g + 5 = u for c.
-4
Let r(b) = -b**2 - 5*b + 34. Let o be r(-8). Let d(c) = c**3 + 30*c**2 + 31*c + 63. Let y be d(-29). Solve 4*m + 8 = -t, m - y = 4*t + o for m.
-1
Suppose t + 14 - 6 = 0. Let z be 5/(-2)*t/10. Let w(j) = j**2 - 9*j - 25. Let r be w(13). Solve 0 = -z*q + 5*s - 10*s - r, -2*s - 15 = 5*q for q.
-1
Suppose 39*v - 13 + 33 = 20. Solve 4*c + k - 18 = v, 3*c - 14 = 19*k - 20*k for c.
4
Suppose 0 = -4*a - 2*c + 58, -4*c = -a + 10 + 18. Solve 0 = b - 4*w + a, b - 37 = -2*b - 5*w for b.
4
Let k = 11 + -5. Suppose 3*o = k*x - 5*x - 1, 0 = -2*x - o + 16. Suppose -2*g - 2 + 10 = 0. Solve 0 = 2*b + g*w - 8, 3*w - x = 5*b + 12 for b.
-2
Let v(j) = -3*j + 18. Let k be v(12). Let q = k + 20. Let x = -321 - -326. Solve x*d - 3*s - q = 0, 0 = 2*d + s + s + 12 for d.
-2
Let f = -285 + 280. Let m be -2 - (5 + f) - -5. Solve -3*a + u = -1 + m, 13 = -2*a + 3*u for a.
1
Suppose -60*a = -86 - 214. Solve 42*t - 3*b - 25 = 35*t, -22 = -a*t - 2*b for t.
4
Let v(k) = k**2 - 8*k - 18. Let y = 91 + -81. Let a be v(y). Solve 7 = a*w - 3*i, -11 + 29 = -2*w - 2*i for w.
-4
Suppose -m + 5 = -6*m. Let z be (0/(-1))/(m - 2). Suppose 40 = 3*r - 5*f, 5*r - 3*f = 2*f + 50. Solve a + d + r = z, 4 = -4*d - 12 for a.
-1
Suppose 0 = 104*g - 51*g + 4 - 4. Solve g = -4*q - w + 17, -3*q - 3*w = -108 + 93 for q.
4
Let y(w) = 3*w - 34. Let v be y(33). Suppose 0 = -8*x - v + 81. Solve 4 = -c, -x*d - 6 = 4*c - 0 for d.
5
Let s = 4617 - 4605. Solve 9*z - 5 = s*z - 2*t, -5*t = -4*z - 16 for z.
1
Suppose 3*z - 4*d + 6073 = 0, -334 = -z + 4*d - 2345. Let v = z - -2033. Suppose 4*t = -0*t - 2*l + 32, 20 = -5*l. Solve 4*j = h + v*j, 2*h + j = t for h.
4
Let g(y) = y**2 - 13*y + 15. Let t be g(12). Let k(v) = -v**2 + 13*v - 28. Suppose -c + 14 = 8. Let m be k(c). Solve t*i + m = h, -4*h - 8 = 2*i + 6 for i.
-5
Let p(z) = 46*z + 973. Let j be p(-21). Solve 27 = j*y - 2*y - 4*a, -y + a = -6 for y.
3
Let d = 1846 + -1842. Solve 12 = d*c + 4*y, c + 0*y + 5*y + 1 = 0 for c.
4
Let m(a) = 26 - 50 - a + a - 2*a. Let n be m(-13). Solve 3*d - 2*v - 4 = 0, 5*d + v + n*v = 13 for d.
2
Let f be 4 + 3*10/15*6. Suppose z - w = 3*w - f, 2*z = 2*w - 8. Solve -4*o + 8 = z, i - 2*o = -2*i - 1 for i.
1
Suppose 0 = -c - 4*r - 559, 0 = 3*r - 0*r - 3. Let o = 566 + c. Let t(s) = -s**2 - 4*s + 1. Let z be t(-4). Solve 2*q - 4*p + z - 5 = 0, 11 = o*q - p for q.
4
Suppose -18*r + 94 + 197 = 3. Solve 3*p + 2*z - 17 = 0, r*p + 4*z = 21*p + 1 for p.
3
Let y(w) = 91*w + 3. Let n be y(0). Solve f + 3 = -4*i - 7, -4*f = -n*i + 2 for f.
-2
Let m = -13 - -16. Let l(u) = -u**2 + 8*u - 10. Let d be l(5). Let h be (2 + -1)/(-5 - (-26)/d). Solve -h*c - m*p = 7, 3 = 4*p - 1 for c.
-2
Suppose -78 = -2*s + 5*p - 15, 2*s - p - 67 = 0. Let n(i) = 3*i**3 + i. Let x be n(-2). Let j = x + s. Solve -u = -4*o - j, o = -4*u + 3 - 22 for u.
-4
Let y = -1509 - -859. Let p = y - -671. Solve -2*a + 3*j - p = -5*a, 2*a = 5*j for a.
5
Suppose 9*z = 53 - 8. Let t be (z/(-10))/(10/(-80)). Solve -u = t*x + 19 + 1, 16 = u - 5*x for u.
-4
Let h = 1654 - 1644. Solve -29*d + 2*u - 10 = -24*d, -5*d = 5*u + h for d.
-2
Let y be (-7 - -5 - -3)/((-2)/(-326)). Suppose 0 = -2*r - 159 + y. Solve -17 = -3*q - r*d - 2, 21 = 5*q + 2*d for q.
3
Suppose 5*w + 4*m - 3*m = 245, 5*m = 3*w - 119. Suppose w*y - 49*y + 2 = 0. Solve -2*v - y*c = 8, 2*v - 2*c - 18 = -6 for v.
1
Let r = 5432 - 5423. Solve x + 11 = -4*b, r*b + 15 = 4*b for x.
1
Suppose 288 = -26*a - 76. Suppose -2*f + 2*m = -26, -37 = -3*f - 0*f + 2*m. Let b = f - a. Solve -4*q - n + 1 = -6, -b = 5*n for q.
3
Suppose 6 = q, -3*x - 2*q + 23 = -1. Solve -37*v + 12 = -41*v - x*z, 5*v - 4*z = -15 for v.
-3
Suppose -5*f - x = 194, 0 = -4*f + 3*x + 2*x - 161. Suppose 0 = -j - 48 + 10. Let b = j - f. Solve 3*l = 4*t + 7, b = -2*t - 3*l - 16 for t.
-4
Let h = -1 + 4. Suppose 5*q = -25, 4*m - 76 = -6*q + 2*q. Solve -d - m = -4*p, 0*p - p - h*d - 7 = 0 for p.
5
Let o(d) be the third derivative of -37*d**4/24 - 475*d**3/6 + 77*d**2 + d. Let m be o(-13). Solve 0 = -t - s - m, 2*t - 5*s - 1 - 1 = 0 for t.
-4
Let v(l) = -26900*l - 80697. Let n be v(-3). Let c = 4 - 1. Solve -c*s + 4*j - 12 = 0, -3*s + s = -j + n for s.
0
Let b(l) = -25*l + 29. Let m be ((-2)/16*2)/(64/(-256)). Let v be b(m). Solve 4*d = 4*p + 5*d - 3, 16 = -2*p - v*d for p.
2
Let d = -6730 + 6732. Solve -q = 1, -d*y = -y + 2*q + 4 for y.
-2
Let z = -8319 - -8322. Solve 0 = -v - p + 7, 0 = 45*v - 49*v - z*p + 25 for v.
4
Let o = 82 - 2. Let z be (o/30)/(3 + 7/(-3)). Solve -3*j = 5*d - 16 - 7, -4 = -z*j for d.
4
Suppose f + 364 = -13*f. Let z be ((-8)/20)/(f/195). Let j = 0 + 0. Solve -s + j*s = 2*i - 6, -2*i + 6 = -z*s for i.
3
Let u = -5020 - -5034. Solve 0 = x + q - 4, -5*x - 8*q + 9*q = -u for x.
3
Let m be 2/21 + (-7968)/(-1008). Solve -2*w + y = w - 7, 4*y = m for w.
3
Let y be ((-20)/60)/(1/(-3)). Let j be y/((-5)/100*-5). Suppose 35 = 5*v - 5*w, -14 = -j*v - 4*w + w. Solve 4*m = -5*g + 1, g + g = v*m + 7 for g.
1
Suppose 0 = -20*p - 17 + 497. Suppose -71*y = -63*y - p. Solve -y - 13 = 4*l + x, 0 = 4*l - 5*x + 16 for l.
-4
Suppose -128*u + 215 = 94 - 391. Solve 9*s - u*s = -5*m - 15, -5*s = 3*m + 5 for m.
-5
Suppose -v + 58 = v. Suppose -v*b - 4 = -31*b. Suppose -p = 1, -5*z + 1 = -2*z - p. Solve 3*y - 8 = -z*u - b*u, -y = u - 2 for y.
4
Suppose 1 = -13*r - 90. Let l(u) = u**3 + 7*u**2 + 3*u + 21. Let f be l(r). Let w(k) = k**2 - 4. Let b be w(-3). Solve h + 12 = -f*h - b*s, 0 = -4*s - 12 for h.
3
Let z(t) = 65*t + 6502. Let w be z(-100). Solve -3*b = -4*c + 10, -3*c - w*b + 17 - 1 = 0 for c.
4
Let u(k) = k**2 - 7*k - 3. Let w be u(-1). Suppose w*s = 4*s - 2*z - 5, s + 13 = -4*z. Solve 1 = s*n + 4*x, -2*n - x = -7*n - 29 for n.
-5
Suppose -5259*b + 498 = -5176*b. Solve b*m + 23 = 5*c + 3*m, 0 = 3*c - 3*m - 15 for c.
4
Let c = 490 + -481. Let f be 7*(-7)/(-147)*c. Solve 0 = 2*v + f*j + 12, -4*j - 21 = 3*v - 4 for v.
-3
Suppose 7*z - 9*z - 5 = -5*y, 2*y = 2*z + 8. Let i(j) = -6*j - 2. Let s be i(y). Solve 4*f + s = 0, f + 6 = -3*m - 2*f for m.
-1
Suppose -62*o - 9*o + 31*o = 0. Solve 32*m + 5*n - 1 = 35*m, o = 5*m - 4*n - 7 for m.
3
Suppose 4*h = 2*t + 20, -143 = -4*t + 2*h - 141. Solve -t*n = -5*o + 22, 4*n + 10 = 5*o - 6*o for n.
-3
Let u(h) = h**2 + 6*h - 1. Let d be u(-5). Let r 