/k). Solve -r*o + 2*o + 20 = 0, -5*a + 4*o = 40 for a.
-4
Let z = -2 + -1. Let v = -13 + 21. Let a = v + z. Solve 2*k + 0*k - 10 = -3*m, -3*k - 4 = -a*m for m.
2
Let z be ((-2)/3)/(4/6). Let a = -4 - z. Let d = 18 - a. Solve -5*l + d = -0*l + 3*n, -l = 3*n - 9 for l.
3
Suppose -18 = -4*p + 10. Solve -h + 7 = -z, 4*h - 14 = -p*z + 4*z for z.
-2
Let o be 8/1*6/8. Suppose -33 = -5*p - 3. Let w be (o/4)/(p/16). Solve -w*g - 1 = h - 3*g, h = 2*g - 13 for h.
-5
Suppose 0 = -3*t + 2*i + 8, -4*t - i = -5*i - 12. Let m(w) = -4*w + 2. Let k be m(t). Let p = 8 + k. Solve -p*o - j = -2*j - 7, 0 = 2*o - 3*j - 13 for o.
2
Let g = 0 - -3. Suppose -g*t + 1 = -23. Solve -3*v = 5*p, -4*p = 5*v + t + 5 for v.
-5
Let t(w) = w - 1. Let p be t(1). Let d be (p + -3 + -1)/(-2). Solve -m + 1 = -5*z, -d*z - m - 1 = -2 for z.
0
Let j be -12*(-8)/64*(-4)/(-3). Solve 4*y - 29 = j*t - 5*t, y = -t + 8 for t.
3
Let y be (2/(-8))/((-3)/(-12)). Let m = y + 3. Solve m*l = -2*b - 15 + 3, -4 = b for l.
-2
Let t(i) = i**3 - 5*i**2 - 6. Let u be t(6). Solve 5*h + 3*w = h + 5, 0 = 5*h - w - u for h.
5
Let i be (-9)/(-36) + (-1 - (-6)/8). Let c be (2 - -1) + -1 - -13. Suppose 0*d - 12 = -4*u - d, c = 5*u + 3*d. Solve 0 = 4*s + u*o - 10 - 9, i = -3*o + 3 for s.
4
Let s be ((-4)/14)/(6/7 + -1). Solve -2*h - 16 = -4*v, 4*h - 2*v + 20 = s*v for h.
-2
Let k(j) = j**3 - 2*j**2. Let t be k(3). Let h = 10 - t. Solve 0*d - d + 5*y - 7 = 0, d - y = h for d.
3
Let z(y) = y - 7. Let d be z(10). Solve -2*p + 2*r + d*r = 11, 0 = -4*p + 2*r - 14 for p.
-3
Let i be -3*5/(-5) - -3. Solve 5*n + 5*c = 5, -3*n + i*c - 9 = 5*c for n.
-2
Let i(s) = s**2 - 9*s + 3. Let n be i(9). Let g(j) = j**2 + 6*j + 5. Let o be g(-5). Solve 4*v - 4 = o, -v - 4*v = 2*l + n for l.
-4
Suppose -5*b + 45 = 3*u, -2*u = -4*u + 10. Suppose -14 = -2*d - 5*w, -12 = -2*d + 2*w - b*w. Solve -4*i - 22 = -d*q, 3*i + 4*q = -q + 3 for i.
-4
Suppose -4*d + 3*d = -25. Solve -b - 2*b = 0, -4*b = 5*g - d for g.
5
Suppose -10*v - 5 = -5*v. Let f(j) = j**2 + 4*j - 3. Let b be f(-5). Let m = b - v. Solve 2*k - 7 + 5 = 5*p, m*k = -5*p - 22 for k.
-4
Let j(v) = -v + 12. Let k be j(0). Suppose 0 = -2*l - t + k, -4*l - 10 = 4*t - 38. Solve 7 = 5*q - 4*p, -l*p + 0 = q - 13 for q.
3
Let f(v) = v**2 + 7*v + 5. Let d be f(-6). Let b = d + 4. Suppose b*m - 7 - 8 = 0. Solve w = m*u - 3 - 2, -w = u - 1 for w.
0
Let q(d) = -d**3 - d**2 - d. Let h be q(0). Suppose -3*r + u = -8, -4*r + 5*u + 5 + 2 = h. Solve 0*t = 2*t + 3*n, -r*t = -n for t.
0
Suppose -s - 420 + 425 = 0. Let z(a) = -a**3 - 5*a**2 + 3*a - 6. Let y be (-6)/(1 - 0/2). Let u be z(y). Solve 4*k + u = 2*c, 0 = 4*k - 3*k + s for c.
-4
Let o be (-3)/6 - 131/2. Let q be (o/(-8))/(6/16). Solve -3*i + m = 19, 0 = -2*i - m + 4*m - q for i.
-5
Let s = 4 - -1. Suppose -2*y = 3*y - s. Let f(r) = r**3 - 1. Let j be f(y). Solve 5*q = 2*v - 0*v + 26, j = q - 4*v - 16 for q.
4
Let x be 0/(-2) - 42/(-3). Solve -15 = -5*f + d, 0*f - x = 3*f + 4*d for f.
2
Let c(o) = -o**3 + 2*o**2 + 3*o - 1. Let h be c(3). Let y be h*2 - (11 + -13). Solve 2*a + 3*a - 23 = -2*i, 4*i + 5*a - 31 = y for i.
4
Let r(v) = -2*v - 8. Let l be r(-5). Solve 4*m + 32 = -2*t - l*t, 5*t = -2*m - 31 for t.
-5
Suppose 2*t - f = f + 18, -24 = -4*t + f. Solve 0 = -2*j - g - 12, 3*g - 24 + 5 = t*j for j.
-5
Suppose 3*g + 20 = 8*g. Solve -n - g*b - 15 = -0*n, 2*n = 3*b + 14 for n.
1
Suppose 5*m = -f + 10 + 7, m = -f + 5. Solve -2*c = 5*r + 27, -f*r - 5 = 2*c + 7 for c.
-1
Let o(b) = b**3 + b**2 - 4. Let q be o(0). Let g = q - -4. Solve -2*h + 3 = -x - g, 2*h = -2*x + 18 for h.
4
Let y(a) = -a**3 + 5*a**2 + 7*a. Let g be y(5). Solve -g = -5*x - 5*s, 7*x - 2*s = 3*x + 10 for x.
4
Let g(b) = b**3 - 10*b**2 - b + 14. Let v be g(10). Solve -21 + 7 = -4*x - 5*j, -5*x + 13 = v*j for x.
1
Let c(v) = v**2 + 9*v - 5. Let l be c(-10). Solve -2*x - 10 = -4, 4*x + 12 = -l*b for b.
0
Let f(s) = s**2 - 1. Let a be f(1). Solve a = -5*j - 4*u - 8, 0 = -4*j + 5*u - 2*u - 25 for j.
-4
Suppose -19 = p + 4*d, 5*p + 4*d = 3 - 18. Solve 9 = 3*u, 3*u + p = -2*l + 2 for l.
-4
Suppose -2*o = -6*o + 2*o. Solve d = -5*x + 22, o = 4*d - 4*x + 13 + 19 for d.
-3
Let r be 3 + -1 + 3 + -3. Let i = 4 - r. Solve 0 = -4*c + i*c + 2*l + 10, -c = l - 1 for c.
3
Let p = -22 - -12. Let u = 12 + p. Solve -s - u*g = -0*g - 3, 5*s + 3 = -4*g for s.
-3
Suppose 2*k + 3*j + 21 = 0, 0 = -k - 4*k - 4*j - 49. Let i(m) = -2*m - 3. Let f be i(k). Let q = 28 - f. Solve -4*r + q = -c, 4*r + c = -3*c - 12 for r.
2
Let y(l) = l**2 - 6*l - 5. Let r be y(7). Suppose r*s = 6*s - 20. Let o(d) = -d + 5. Let c be o(3). Solve s*z - 2*w + 4 = 0, 0 = z - c*z + 5*w + 13 for z.
-2
Suppose 3*c - 2*v + 32 = 5*c, 4*c - 59 = v. Let s = c - 10. Suppose 4*w = -4*q - 0*w - 8, 5*q - w = 2. Solve 2*p - u - 8 = q, -p + 0*u + 15 = s*u for p.
5
Let x be (5/(-2))/((-2)/4). Let i be x/20 + (-38)/(-8). Let f = 0 + 3. Solve i*b - 2*r = -f*r, -4*r = 3*b for b.
0
Suppose 0 = 6*q - 7*q + 2. Solve 4*t - t = 3*d + 27, 3*d - q*t = -22 for d.
-4
Let c(l) = l**3 - 12*l**2 + l - 7. Let p = 39 + -27. Let s be c(p). Suppose 3*u + 32 = s*u. Solve -2*o + u = 2*o, -5*n + 7 = -2*o for n.
3
Let k(c) = c - 3 + 3 - 1. Suppose -5*s + 3*y = -35, 4*s - 17 = y + 4. Let a be k(s). Solve 4*b = -p + 2*b - 4, -3*b + 3 = -a*p for p.
-2
Suppose -15 = -a - 12. Solve -n = -2*k - a*n - 14, n + 9 = -2*k for k.
-2
Let s = 21 - 13. Suppose 3*k = -k + s. Let w be (-6)/27*3*-3. Solve -3*f + w*i + 7 = 0, -2*f + 7*f - k*i = 5 for f.
-1
Let f = -22 - -25. Solve f + 1 = o, -s + 15 = 3*o for s.
3
Let u(d) = -d**3 - 5*d**2 + 5*d + 5. Suppose -12 = 10*a - 8*a. Let q be u(a). Solve -q = 5*b + j - 2*j, 0 = 4*j + 16 for b.
-3
Suppose d + 13 = -5*w + 32, -w - 2*d = -2. Solve -2*u = -m + 3, -w*u = 5*m + u for m.
1
Let i(j) be the third derivative of -j**4/24 + 2*j**3 + j**2. Let s be i(9). Suppose 0 = 3*m - 0*m - 6. Solve -w = -3*l - l - s, 0 = w + m*l - 3 for w.
3
Let q(j) = j**2 + 9*j - 14. Let i be q(-11). Let t be (12/i)/(3/4). Let l be t/3 - 224/(-24). Solve -p - 4*x + l = -3*p, 0 = 2*p - 5*x + 14 for p.
3
Let f be ((-5)/(-2))/(1/(-18)). Let u be (-4)/18 + (-415)/f. Solve 1 = -5*w + p, -4*w - 2 = -u*w - 2*p for w.
0
Suppose -t = -0*t - 2. Let c be (t - 1) + 0 - -8. Suppose 12 = 3*a + 2*f, -a - 2*f + f + 4 = 0. Solve c = 3*g - 3*u, 3*u + 5 = -3*g + a*g for g.
2
Let g = -2 + -7. Let j = 1 - g. Solve j = -2*w + l + l, -4*l = 3*w - 6 for w.
-2
Suppose 0 = 3*p - 4*p - 14. Let l = -8 - p. Suppose 2*r - l = 3*f - 0*f, -3*f = r - 3. Solve k = 2*s, -5*s + f = -4*k - 3 for k.
-2
Let l(x) = -x + 27. Let i be l(24). Let m be ((-8)/10)/((-6)/15). Let u be m + (-3)/9*0. Solve -u*k - 5*j = -k + 8, 0 = 2*k - i*j - 10 for k.
2
Let h(i) = 2*i**3 + 1. Let r be h(-1). Let w be ((1 - 1)/(-2))/r. Solve -4*s + w*j - 4*j = 4, -5*s + 3*j + 27 = 0 for s.
3
Suppose -l = -13 + 2. Suppose l = 3*n + 2. Solve 0 = h + n*w + 8, -5*h - w = 10 + 2 for h.
-2
Let b(i) = -i**2 + 4*i + 3. Let d be b(3). Let f be 8*(0 - 3/(-6)). Solve -k + 21 = -4*g - d*k, -f = 2*g - 4*k for g.
-4
Let y(s) = -s - 2. Let w be y(-6). Let l(b) = b**3 - 5*b**2 - 6*b. Let c be l(6). Let j = -21 + 38. Solve u + w = -t, c = -3*u + u + 3*t + j for u.
1
Suppose 36 = -2*u + 42. Solve 16 = -u*a - 2*n, 31 = -4*a - 4*n + 7 for a.
-4
Suppose -2*v = -6*v + 32. Let i be (5/(-10))/((-1)/v). Suppose 0 = -2*h - i*o - 16, -6*h - 17 = -2*h + 5*o. Solve 5*j - 14 = 3*z - h, 19 = 5*j + 4*z for j.
3
Suppose 3 = 2*v - 3. Suppose -s + 2 = h - v, -2 = -4*h + 2*s. Suppose -4*w + 26 - 10 = 0. Solve -j - 4*p = -w*j - 4, 4*p = -h*j - 16 for j.
-4
Let k be (-6)/(-8)*(1 + -9). Let t be (-22)/k + 6/(-9). Let h = -195 - -195. Solve 3*z + 0*z - 2*s - 10 = 0, -z + t*s + 15 = h for z.
0
Suppose -l = -2*l + 18. Let s = l - 10. Solve 0 = 3*f - q + s, 15 = -4*f + 5*q - 3 for f.
-2
Let z be (-8)/(-44) + 64/11. Solve 2*a - z = -4*f, 0*f - 1 = f - 2*a for f.
1
Let t = -1 - 14. Let w be -11 + 1*(-2 - -2). Let m = w - t. Solve 0 = 4*b - 4*n - 24, 6 = m*b + b + 3*n for b.
3
Suppose 6*k - k - 5 = 0. Suppose 2*g = 4*m + 18, g = -3*m + 8 + k. Let f be (15/(-9) - -2)*g. Solve 3*p - 19 = a + f*a, -2*p + 2*a + 10 = 0 for p.
1
Suppose 2*v = -2*v + 68. Solve -2*s + v = 5*n, -3*n + s + 8 = -11 for n.
5
Let v(t) = 5*t - 4. Let a be v(2). Let l = 0 + 2. Solve 0 = -l*z - 5*f 