v + 18 = -0*d, 5*d + 2*v + 14 = 0 for d.
-4
Let o(r) = r + 21. Let b be o(-13). Let z be 2/b + 0 - (-44)/16. Suppose v = 4*g + 2, -5*g - 4 = -z*v + v. Solve 45 = 5*c + 8*u - 4*u, -20 = -2*c - v*u for c.
5
Let q = 1 - 1. Let m(b) = b**3 + 13*b**2 + 21*b - 8. Let h be (-1)/(-3)*825/(-25). Let f be m(h). Solve 0 = -5*a - 2*g - 7, 5*a + q*g + f = 2*g for a.
-1
Let s = 0 + 0. Suppose 0 = -2*a - 4*n - n + 13, a - n - 3 = 0. Suppose -2*w + 316 = 68*w + 9*w. Solve -a*j + w = s, 5*j - 25 = -3*p + 7*p for p.
-5
Let n(p) = 2692*p + 10784. Let v be n(-4). Let k be 1/(1 + (-8)/10). Solve -5*a = -3*o - 2*a, -a + v = -k*o for o.
-4
Let b be (-150)/15 - (-37 - -5). Solve 0 = -3*f - 2*n - b, f - 3*n = 11 - 0 for f.
-4
Suppose -39*v + 10 = -37*v. Let o be (-3 + (-34)/(-10))*10. Suppose 0 = v*c + 3*d - 25, -o*c = -5*d + d + 12. Solve -10 = -5*r, -c = -m - 4*r + 4 for m.
-2
Let l be (63/(-12))/((-91)/52). Solve -5*r - 8 - 12 = 0, -l*f - r = 16 for f.
-4
Let w be (19/(-7) + 1)/(7/(-147)). Suppose p - w = -17*p. Suppose q + 6 = -p*t, 3*q - 4*t - 26 = t. Solve -5*h - 23 = -4*v, 0 = 5*v + 3*h + 1 - q for v.
2
Let c be 9464/63 + -4 - (-4)/(-18). Let l = c + -143. Solve z + 0*z = -l*n - 2, 3*n + 2*z = -1 for n.
-1
Suppose 5*g + 3*n = 468, -2*g + 9*n - 10*n + 188 = 0. Let j be 1 + ((-2)/6)/((-16)/g). Solve 3*c = -0*c - u, -2*u + 9 = -j*c for c.
-1
Let p(v) = v**2 - 17*v + 20. Let t = 5 + -3. Suppose 0 = -t*i - 45 + 77. Let h be p(i). Solve 0*a - a + 11 = -h*g, 0 = 2*g + 3*a + 9 for g.
-3
Let y(g) = -133 + 6*g + 2*g - 137 + 273. Let x be y(0). Solve 2*q + x*p + 1 - 5 = 0, -q = -2*p - 2 for q.
2
Suppose 6*h - 15 - 63 = 0. Suppose -7*q + 3*q + h = -g, -11 = -5*q + 3*g. Solve 0 = -5*m + q*r + 9, 4*r - 1 = -5*m - 0*r for m.
1
Let j(m) = 11*m + 8. Let f be j(2). Let q be (f/9)/(8/60). Suppose t - 16 = n - 3*t, 5*t - q = 0. Solve 10 = -2*l + h, -h = n*l - 5*l - 7 for l.
-3
Let f(j) = 2*j + 4. Let n be f(3). Let b be 15/n - (-5)/2. Let v(r) = 15*r - 242. Let p be v(18). Solve -2*s + 9*t - 33 = 4*t, -b*t = -2*s - p for s.
-4
Let o(q) = -116*q + 1977. Let v be o(17). Solve -v*d - 3*m - 5 = -m, -d - 24 = 5*m for d.
1
Suppose -5*k - 264 = -13*k. Let q = 49 - k. Suppose -22 + q = -3*x. Solve -4*z - n + 10 = n, 0 = 2*z - 2*n - x for z.
2
Let m(d) = -21*d - 820. Let k be m(-40). Solve 0 = -4*v - 7*c + 6*c + k, -5*c = -3*v - 8 for v.
4
Let d(v) = -3*v**2 - 85*v + 63. Let j be d(-29). Solve -r - 6*b + b + 7 = 0, 2*r - 4 = -j*b for r.
-3
Let d be (299/(-23))/(0 + -1). Solve d*m + 4*n = 11*m + 16, 2*n = -4*m + 20 for m.
4
Let j = 145 - 124. Suppose 0 = 6*h - j*h + 60. Solve -8 = -h*o, -3*o + 4 = 4*f - 5*o for f.
2
Suppose 0 = 54*k - 47*k. Solve -c + 4*c + 15 = 0, k = b - c for b.
-5
Let l(h) = 12*h + 15. Let q(i) = -i - 1. Let k(x) = -l(x) - 15*q(x). Let p be k(1). Solve -d + p = -t + 1, 14 = t + 3*d for t.
2
Let t(a) = 66*a + 680. Let h be t(-10). Solve 2 = -o, -5*w + h*o - 19*o = 3 for w.
-1
Suppose 8*c - 3*l = 3*c + 212, -5*c - 5*l + 220 = 0. Let w = c + -42. Let r be 8 + (-1 + 1)/w. Solve -5*k + r = -s - 11, -4*k = -s - 15 for k.
4
Suppose -5*u + 2*a + 7 = 6, 5*u + 2*a - 29 = 0. Solve -2 = u*q + 5*m, 4*q - 77 = 3*m - 99 for q.
-4
Suppose 0 = 44*o - 50*o + 30. Suppose 4*a + 0*y - 24 = 4*y, -3*y - 28 = -o*a. Solve -2*x + a = -v, -6*v + 2*v = 4*x - 4 for v.
-1
Suppose -2*w + y = -4, -w - 3*y - 13 = -1. Suppose -2*d + 6*d + 3*u = 6, 0 = -3*d - 3*u + 6. Solve -5*m - 5*x + 30 = d, -10 = -3*m - w*x + x for m.
4
Let t = 5065 - 5060. Solve -3*b = -x, -x = b + t - 1 for x.
-3
Let z(w) = -10*w - 2. Let o be z(-1). Suppose 8 = 2*n + 3*m, -4*n = 5*m - 8 - o. Solve 4*d + n*t = -8, 2*t = -2*t + 8 for d.
-4
Suppose 5*v - t + 69 + 22 = 0, 3*v - 4*t + 58 = 0. Let k(s) = -s**3 - 19*s**2 - 17*s + 18. Let q be k(v). Solve -z = n - q*z + 2, -5*z = -3*n - 6 for n.
-2
Let s(q) = -2*q**3 - 7*q**2 + 15*q + 46. Let p be s(-2). Solve -2*y - 5*c = 36, 9*y - 11*y + 36 = -p*c for y.
2
Let p = -402 + 406. Suppose 0 = l + j, l - 5*j - p = -4*j. Solve 0 = l*m - 7*m - f + 20, m + 17 = 4*f for m.
3
Let x = -2523 + 2525. Solve 4*h + 2*y = -1 - 5, -3*h - 4 = x*y for h.
-2
Let x(l) = l**2 - 6*l + 5. Let p be x(6). Suppose 2*y + 0*g + p = g, 4*y + 4*g = -28. Let b = y + 8. Solve -i = -3*s - 4, 4*i = b*s + 3 + 13 for i.
4
Let m(d) = -d**3 - 14*d**2 + 26*d + 27. Let z be m(-16). Suppose -121*j - 6 = -z*j. Solve -2*u - 10 = 0, -j*r - 20 = 2*r - u for r.
-5
Let y be (-3)/(-2)*(-10)/(-3). Suppose 20 = -4*v, -5*j + v - y*v = 10. Let c = 4911 + -4909. Solve j*r + 2*h - 2 + 4 = 0, 2*r = c*h + 10 for r.
2
Let p = -66 - -151. Suppose 4*y - p = -29. Let r(o) = -o**3 + 12*o**2 - 2*o + 28. Let n be r(12). Solve n*v - x - y = 0, -2*x - 2 = -v + 5 for v.
3
Suppose -34*q + 120 = -43 - 7. Solve 5*s = w + 13, -6*s = q*w - s - 25 for w.
2
Let z = -58 + 61. Suppose -z*x = -2*c + 16 - 1, c - 4*x - 15 = 0. Let u be (2/c + 1)*(13 - -2). Solve g - u = -4*g + y, -g - y + 5 = 0 for g.
5
Let m = -10329 + 10340. Solve -10*r - m = -4*b - 11*r, -3*b = -3*r - 12 for b.
3
Let b = 3504 + -3499. Solve 4 = -b*q - y, -3*q = 3*y - y + 1 for q.
-1
Let m be 4 - (-138)/(-36) - 58/(-12). Suppose 7 = -2*w - m*x, 2*w + 11*x = 10*x + 5. Solve r + r + 4*c = 8, -2*c = 3*r - w for r.
0
Let o = 26404 - 26368. Solve 0 = -2*v - 6, 2*n = -o*v + 41*v + 11 for n.
-2
Let m = 55 + -51. Suppose m*k + 39*p - 38*p = 20, -2*p - 8 = -4*k. Solve 4*h - k*b = -4, -5*h + 27 = -0*h + 3*b for h.
3
Let n(d) = 23*d - 53 - 18*d + 6*d. Let f be n(5). Solve m + 4*q + 2 = -f, 3*q = 5*m - 26 for m.
4
Let d = -14 + 17. Let t be (4/(-12))/(2/(-108)). Suppose 4*o = -p + 24, -3*p - t = -2*o - 5*p. Solve 5*b + 10 = -o*g, 2*g + 2*g = -d*b - 8 for b.
0
Suppose 4*j - 3 = j, 0 = 3*t - 2*j + 2. Suppose -18 = -6*p - t*p. Solve -3*s = 2*v + 2, 1 - p = 2*v - 3*s for v.
-1
Suppose 26*n = -2*y + 22*n - 18, 36 = 4*y - 4*n. Solve -4*l + 0*k + 22 = y*k, 2 = 3*l - 5*k for l.
4
Let a(q) = 2*q + 10*q + q**2 - 7 - 6. Let c(i) = 193*i - 978. Let l be c(5). Let r be a(l). Solve -4*x + 13 = m, m + 5*x - 14 - 3 = r for m.
-3
Suppose 3*f = -0*f - 39. Let b be (17 + f - (2 - 0)) + 0. Solve 4*a - 10 = b*h, a + 2*h - 3 = 12 for a.
5
Let w = 327 + -322. Let y = -23 - -20. Let g = y + w. Solve 12 = -g*p + t + t, 2*p = 4*t - 20 for p.
-2
Let k be 25 - (17 - 9) - -2. Solve -k*i + 17*i = y - 1, 2*i = -3*y - 5 for i.
2
Let b = -32943 + 32944. Solve -x = -3*d + 6, -x + 5 = d - b for x.
3
Let l(s) = 17*s + 11. Let g be l(-2). Let y = g + 22. Let t be 14/18 - y - 10/(-45). Solve z - 5*w + 2 + 5 = 0, 2 = 2*z - t*w for z.
3
Suppose -83 = -3*t + 4*r - 23, -t = 5*r - 1. Solve -5*j = -m + t, -5*m = -9 + 29 for j.
-4
Suppose -5*a + 3*w = -18, 5*a - 3*a - 10 = 4*w. Solve -26 = 5*i + 5*s - 1, -s = a*i + 9 for i.
-2
Let g be (9/(-3))/((-66)/20 + 3). Let d be g/(-4)*(-10 + 8). Suppose 0*k - 4*k = 3*t - 48, 4*t + k - 77 = 0. Solve 2*y = 3*f + 2*f + 12, -d*y = t for f.
-4
Suppose -95 = 14*t + 5*t. Let l be 0 + 10 + t + -3. Solve l*f + 2*x = 2, -x = -2*x - 2 for f.
3
Let h(v) = 1 + 2 + 13 - v - 1. Let w = -15 - -26. Let r be h(w). Solve 2*y = -r*d - 0*d - 4, y = 4*d + 4 for d.
-1
Let u(p) = -p**3 - 48*p**2 + 156*p + 174. Let v be u(-51). Solve 7*c + 8 = -4*h + 8*c, v = -h + 5*c for h.
-1
Let a be 6/4 - (-644)/56. Solve -z + 5 = 0, -17*b + 1 = -a*b + z for b.
-1
Let f(w) be the second derivative of -w**5/20 - w**4/12 + 5*w**3/3 + 3*w**2/2 + 32*w. Let c be f(-4). Let p = 15 - c. Solve d - 3*b = -15, 0*b = b - p for d.
-3
Let g = 10502 + -10499. Solve 61 + 9 = -5*b - 9*k, -3*b + g*k = 0 for b.
-5
Let g(i) = -4*i - 6. Let b = -33 + 31. Let f be g(b). Suppose -2*o + f*t + 4 = 0, o + o - t = 7. Solve -3*p - 3*u = -11 - 13, -o*u = 2*p - 31 for p.
3
Suppose 38*j + 4 = 34*j. Let t be ((-48)/(-36) - 8/(-3)) + j. Solve 3*a + 8 = -v, -4*v + a - 3 = t for v.
-2
Let z(u) = -u**2 + 5*u + 1. Let x be z(4). Let n be -1 + 0 - (-10 + 4). Let w be 3/(-1) + (n - -2). Solve -b + 2*v = -w, -3*v + x = 3*b + 20 for b.
-2
Suppose -113 = -6*j + 1483. Let y = 266 - j. Solve -t - 13 = 2*u - 0*u, 3*u + 12 = y for t.
-5
Let u be ((-8)/(-6))/(1236/(-306) + 4). Let a = u + 55. Suppose -4*w + 5*z + 37 = 0, -w = -2*w + 2*z + 13. Solve 0*s + a = -w*x - 3*s, -3*s = 9 for x.
-4
Suppose a + 12 = -4*m, -4*m - 83 = -3*a - 55. Suppose 4*q + 3 + 1 = 0. Let n be q - (-1 + 0 - 3). Solv