*i = 3*s - 0*s + 6, k = -4*i + 3*s + 20. Solve 4*b + 4*g = -20, -2*b = g + 8 - i for b.
-1
Suppose 0 = 4*r - 3 - 1, -14 = -3*p - 5*r. Suppose -5*a = g + 1, p*g - 5*a = -g + 21. Solve 2*f + g*n + 6 = -0*n, -n - 5 = -3*f for f.
1
Let n = -109 - -113. Solve -w + 6 = -5*v - 14, v + 5*w + n = 0 for v.
-4
Suppose 0 = -2*k + 3*k - 3*f + 7, 2*f + 28 = -4*k. Let v(p) = -p**3 - 6*p**2 + 7*p + 5. Let r be v(k). Solve 0 = 4*i + r*h - 41, 25 = h + 4*h for i.
4
Let u be (-12)/28 - 6/(-14). Suppose u*q = q + 30. Let r = -18 - q. Solve -5*k - 23 = -4*c + 5*c, -4*c - 4*k = r for c.
2
Let f(k) = 3*k + 61 - 21 + 0*k - 2*k. Let q be f(0). Solve 5*n - 4*u = q, n - 6*u = -2*u + 24 for n.
4
Let a = 73 - 73. Suppose a*p = -2*w - 5*p + 14, -4*w + 5*p - 2 = 0. Solve -6 - 6 = -2*d + w*v, 4*v = 5*d - 26 for d.
2
Let g be (5/(-1) + 2)*-1. Let t = 284 + -284. Solve t*i + 1 = -g*c - 4*i, 4*c - 4*i = 8 for c.
1
Let i = 6 + -4. Let l(o) = -o - 13. Suppose 0 = -10*u + 14*u + 52. Let p be l(u). Solve i*v - 3*d + 16 = p, -1 - 7 = -2*v - 3*d for v.
-2
Let w = 277 + -268. Solve -5*o - w = 1, -2 = -4*l + 3*o for l.
-1
Suppose n + 13 = -3*c + 4*c, -5*c + 61 = -n. Suppose 29 = 3*m + a, -a - c = 2*a. Solve -5*t - 5*l = 43 - 18, 0 = -t - 3*l - m for t.
-2
Suppose 3*u = -p + 161, -2*p = -1 + 3. Suppose -q + u = -7*q. Let v = q - -10. Solve 3*n + 9 = -2*y, -5*y - 4 - v = 4*n for n.
-5
Let a(w) = -2*w**2 - 15*w + 13. Let d be a(-8). Solve 2*h - x + 1 = 7, -d*x - 10 = -5*h for h.
4
Let k be (-21)/(-6) + (-10)/(-4). Solve -3*c = -g - 4, 19 + k = 2*g + 5*c for g.
5
Let j be (-20)/2*2/5*-1. Solve j*q - 19 = -3*b, b + 3 = 4*b for q.
4
Let a(l) = -1503 - l - l**3 + 1493 + 12*l**2 + 2*l. Let u be a(12). Suppose -3*f + 48 = 2*f + 3*c, 3*c = -f. Solve -u*t = 4*q + 26, q + 2*q + f = t for q.
-5
Let z = 21 - 18. Suppose -q = -4*q - 2*l + 38, -2*q + 2*l + 12 = 0. Suppose 3*p - q = c, c + 2*p + 2 = z*p. Solve -2*k = 3*o + 21, -c*k = -0*k - o + 1 for k.
-3
Let u = -372 - -377. Solve 4*m - n - u = 0, 4 - 2 = -3*m - 5*n for m.
1
Suppose 0 = -5*r + 10*r + 15. Let f be (-3 - -9) + r - -2. Suppose 3*z = 5*x - 17 - 18, f*z = 2*x - 33. Solve 12 + 6 = x*a - 2*g, 0 = -g - 3 for a.
3
Let r(w) = 4*w - 1. Let h be r(2). Let n = h - 3. Suppose -j + 9 - 2 = s, -3*j = s - 11. Solve -2*m = -2*f + 14, -j*m = -9*f + n*f + 26 for f.
4
Let j = 113 + -108. Solve 2*u - 7 = -3*d, j = 2*d - 2*u + 3*u for d.
3
Let x(g) = 4*g + 2 - 4 + 1 + 2*g**2. Let d be x(-3). Solve 3*c + 40 = -d*r + 12, 5*c = -5 for r.
-5
Suppose 4*u - 7 = w + 7*u, 0 = 5*w + u - 7. Solve -4*y + 7 = r, w*r + y = -2*y - 1 for r.
-5
Let g be (-1 - (-3 + 3)) + 4. Let u be g + (4/1)/(-4). Let y be (6 + -4)/u - -3. Solve -r - 20 = 5*c - 2, -y*r - 9 = -c for r.
-3
Let l = 7 + -4. Let h be (-6)/(-24)*(4 - 0). Suppose -7 + h = -l*j. Solve o = -2*w + 6, -6*w + 2 = -j*w - 3*o for w.
2
Suppose 0 = -2*t + 12 - 8. Suppose f + 6 = 3*f. Solve -12 = -4*k + y, f*k - t*y = -2*k + 18 for k.
2
Let z = -2595 + 2597. Suppose 4*x - 12 = -5*l, -12 = -4*x - l + 5*l. Solve -x*j + 3*u = z*u, 0 = -j - 5*u + 16 for j.
1
Let o = -29 + 32. Solve -8 = 5*q - 3*g, -o*q + 8 = -6*q + g for q.
-4
Let q(o) = o**2 - 5*o + 14. Let z be q(4). Let b be (0/1 + -2)*14/(-4). Suppose -7*g = -3*g - 20. Solve 0 = 5*v - g*s + z, -v - b = 4*s + 5 for v.
-4
Let n(o) = o**2 - 20*o - 41. Let m be n(22). Suppose -2*f = -y - 9, m*f - y - 3 - 9 = 0. Solve c + 18 = 5*s, 4*c + 5*s - 6 = -f for c.
-3
Let w(m) = -m**3 - 6*m**2 + m + 6. Let k be w(-6). Let s be 3*(k + 32/(-6)). Let l = s - -18. Solve 4*z + 4*d + l - 10 = 0, 3*z + d = 2 for z.
0
Let t be ((-16)/64)/((-2)/16). Let r be (-24)/6*(-1)/t. Solve 4*c - 5*q = -7, 0 + r = c - 5*q for c.
-3
Suppose -o = 4*o - 30. Suppose 1 = f + y - 1, -15 = -4*f + 3*y. Solve k = 4*p + f*k + o, 3*k + 5 = -2*p for p.
-1
Suppose 3*v - n + 48 - 7 = 0, v - 3*n + 19 = 0. Let y = 14 + v. Suppose 0 = -4*a + 29 - y. Solve -a*l - x = -3*l + 24, -37 = 5*l + 3*x for l.
-5
Let l(f) = -3*f + 28. Let z be l(3). Suppose 14*v - 9 = z. Solve -a + v*u - 7 = 0, -3*u + 8 = 3*a - 7 for a.
1
Let w be (-69)/46 + (-29)/(-2). Suppose -4*c + 36 = -4*k, 14*c + 3*k + 11 = w*c. Solve -35 = 3*v + 3*o - 7*o, v + 25 = c*o for v.
-5
Let h be ((-30)/(-8))/((-12)/(-16)). Solve 2*x - h = x - w, 4*x = -2*w + 20 for x.
5
Let a = 7 - 2. Let s(o) = o**3 - 5*o**2 + 5. Let w be s(a). Let y(d) = -6*d + 32. Let g be y(5). Solve 4*n - z + w = 0, -5*z - g = -5*n + 3 for n.
-2
Let g be 2*4/(-10) + 16/20. Let h be (g - -12) + (-40)/(-8). Solve -5*i - 5*n + 30 = 0, 3*i - 3*n - h + 5 = 0 for i.
5
Let f(g) be the first derivative of -g**4/4 + 4*g**3 - 6*g**2 + 13*g + 22. Let h be f(11). Solve h*a + 9 = -a, 2*c = -4*a - 2 for c.
5
Let b(y) = -2*y**2 + 37*y + 64. Let w be b(20). Solve 5*m = w*p + p - 5, 3*p + 4 = -4*m for m.
-1
Let x(m) = 2*m**2 + 2*m + 9. Let u be (-16 - -22)*(-2)/(-4)*-1. Let l be x(u). Let r = 2 + 3. Solve 3*b - 4*o = -4, r*b - 7 + l = 3*o for b.
-4
Let k be (2 + -3 - 1)*116/(-8). Let d = k - 16. Solve -4*c + 0*n = 3*n - 5, -3*n = -4*c - d for c.
-1
Let l(u) = -4*u + 38. Let j(h) = 5*h - 38. Let y(a) = -6*j(a) - 7*l(a). Let q be y(-21). Solve -3*t - 2*r - q = 4, 0 = r - 2 for t.
-4
Suppose -66*x - 40*x + 212 = 0. Solve 0 = -z + 2*i + 13, 5*z + 5*i = -12 + x for z.
3
Let w(j) = 7*j + 52. Let l be w(-5). Solve 2*o - 4*x + 18 = 0, -3*o + x = -0*x + l for o.
-5
Let v be 3 + -1 + (-9)/(-3). Suppose 0 = v*p - 256 - 184. Let h be p/5 - 6/(-15). Solve 0 = -4*u - 3*l + h + 13, 5*u - 5*l = -5 for u.
4
Let u be ((-165)/(-20))/(-11) - (-163)/4. Suppose 30 = t + 5*n, -4*t = 2*n + 10 - u. Solve t*i + 5 = 2*b - 3, 3*b = -2*i + 12 for b.
4
Let c be (0 - 4/(-4))/(14/28). Solve -t + 2*f = 6*f + 9, -4*f = -c*t + 18 for t.
3
Let b be (-1)/(4/(-160)) + -1. Let y = b - 33. Solve 2*x = -0*x + 3*d + 1, 5*x + d = -y for x.
-1
Suppose -11*c + 33 = -55. Suppose 2 + 1 = l. Let a be (-3)/((-30)/c + l). Solve 0*v - 2*v = -2*u, 0 = a*u + 8 for v.
-2
Let g = -1714 + 1719. Let f = -8 + 13. Solve 9 = -4*b - h - 8, -g*h = f*b + 40 for b.
-3
Suppose d + 2*d = 0. Suppose -10*z + 54 + 6 = d. Solve z*h - 28 = 2*h - 4*o, 5*o = -4*h + 31 for h.
4
Let s be 4/5 + (-16)/20. Let v(b) be the second derivative of -b**4/12 + b. Let c be v(s). Solve c = -5*n - l - 14, n + l + 0*l = -6 for n.
-2
Let u(g) = g**2 - 4*g. Let l be u(4). Suppose -k + l*z = -z - 28, -5*k + 131 = -2*z. Solve 5*t + k = p, 2*t = -0*p + 2*p - 18 for t.
-4
Suppose -5*b + 9 = -3*t - 5, 0 = 3*b - 4*t - 4. Let k = b - 1. Suppose 2*d + 81 = 87. Solve -2*g = g - d*p - 3, -5*g - 11 = k*p for g.
-1
Let h(f) = -5*f + 1. Let s(p) = -6*p + 2. Let c(u) = -5*h(u) + 4*s(u). Let k be c(0). Solve -k*l - 3*v = 6, 0*v - v - 17 = 4*l for l.
-5
Let b(a) be the third derivative of -a**5/60 + a**4/24 + a**3/2 + 10*a**2. Let j be b(0). Solve -o - 27 = -5*w, o - j*w = -7*w + 18 for o.
-2
Let f be (0 + (-15)/9)*3. Let z = f - -14. Solve -3*j + 11 + z = 4*a, 3*a = 5*j - 14 for j.
4
Let m be 296/60 + (-27)/(-405). Solve -13 = 2*q - d - 1, q = m*d - 15 for q.
-5
Let v be (24/18)/((-2)/(-63)). Let m = 48 - v. Solve 2*n + w + 0*w = m, 0 = n + 5*w - 21 for n.
1
Let p(u) = u - 3. Let f be p(0). Let c(j) = -j + 1. Let d be c(f). Suppose -2*n - 8 = d*k, -n + 5*k = -5 - 5. Solve 4*a - 1 + 21 = -3*b, n = a + b + 5 for a.
-5
Suppose 16*u - 18*u = -4. Suppose 62 = 2*f + 2*t + t, -t = -4. Solve 0*o - f = -o - 5*d, -4*d = u*o - 26 for o.
5
Let n be (8*(-7)/140)/(2*(-2)/70). Suppose 5*m + 9 = 29. Suppose 4*o = -2*h + 10, -3*o + 3*h + 3 + 0 = 0. Solve -i = m*s + 17, s - 5*i = -o*s - n for s.
-4
Let g = -9 + 9. Suppose g = 4*a - 12, -18 = -4*l - 2*a + 4. Solve l*n - 2*x = -8, 2*n - 4*x - 4 = x for n.
-3
Suppose -3*p + 5*p - 6 = 0. Suppose 2*c - 3*d = 13, 7*c = 2*c - 2*d + 4. Suppose -3*h - h = p*a - 11, -c*h = 2*a - 6. Solve 0 = -k + 3, h*m + 2*k = k + 9 for m.
3
Suppose -23 + 107 = 4*s. Suppose -2*f = 5*p + 28, -f - 2*f - s = 4*p. Let r be ((-225)/p)/(-5)*-2. Solve -a - r = -4*h, 4*a - 45 = -5*h - 0*a for h.
5
Let q = 1 - -1. Let u be 372/(-18) + 22 - (-4)/6. Solve 0 = -q*g - 4*d - 10, 3*d + 1 + u = 0 for g.
-3
Suppose 72 = 34*l - 16*l. Solve 4 = 4*d + 4*r, l*r - 4 = 6*r for d.
3
Suppose 10*u - 13*u = -24. Solve 0 = -t + 5*x + 2, 3*t + x + 2 - u = 0 for t.
2
Let y be (-12 + 125/10)/(2/16). Solve y*c + 18 = -3*w + 8, c = -5