. Solve -m*d + 4 = k, -3*k + n*d - 2*d = f for k.
-2
Let x(v) = -v**3 + 4*v**2 + 2*v - 2. Let p be x(3). Suppose -2*t + 5 - p = -4*h, 3*t + 9 = 5*h. Suppose 23 + 2 = 5*f. Solve -n + f = -m + 1, t*n - m = 3 for n.
-1
Suppose -2*t - x = -8, 0 = -4*t + 4*x - 10 + 2. Suppose o + t = h, h - 2 = -4*o - 0. Solve -5*q = -b + 3, -b - 3*q + o = 5 for b.
-2
Let m = -2 - -6. Suppose m*g + 97 + 63 = 0. Let n be g/(-24)*1*3. Solve -n*r + 13 = 3*v + 4, 3*r + 4*v = 12 for r.
0
Suppose 0 = -3*t - 2*f + 6, 9 = -2*t + 5*f - 2*f. Solve 11 = -3*h - 2*s, -h - 4*h + 5*s - 35 = t for h.
-5
Let n(v) = v**3 - 8*v**2 + 8*v - 2. Let y be n(7). Suppose -2*c = 3*i + 4, 4*i - y*c - 24 = 9. Solve 0 = 5*k + d - 29, 4*d = 4*k - 2 - i for k.
5
Let i be (-3 + 5)*6/4. Solve 0 = i*t + h + 5, t = h - 6 + 3 for t.
-2
Let f = -11 + 19. Solve 17 = 5*p - 2*v, -p - 2*v + f + 5 = 0 for p.
5
Let v(l) = l**2 + 5*l - 9. Let o be v(-7). Let z = -17 - -27. Let u be (1 + -4 + 6)*1. Solve u*a - 6 = 5*n + a, o*a + z = 0 for n.
-2
Let a = -4 + 6. Let q be (-3)/3 - (-1 - 4). Solve 10 + a = -s - 4*n, 0 = -q*s - 5*n - 4 for s.
4
Let v(z) = z**3 + 3*z**2 + 4*z + 3. Let j be v(-3). Let s = 13 - 10. Let l be (s/2)/(j/(-24)). Solve -i + 7 = 5*t - 15, l*i + 8 = 4*t for i.
2
Let h(v) = -7*v + 4 + 0*v**2 + v**2 - 2*v**2. Let t be h(-6). Solve 2*d + t = -4*y, 4*d = -4*y - 0 - 4 for y.
-4
Let h = -38 - -42. Solve -4*j = 3*n + 14, 22 + 8 = -h*j + 5*n for j.
-5
Let o(b) = -b**2 + 5*b - 4. Let s be o(3). Suppose z + 2*r = 4, 2*z - r + s = z. Solve z = 3*t - 3*j + 15, -3*t + 3 = 3*j + 12 for t.
-4
Let u(f) = -f + 6. Let m be u(8). Let d(o) = -o**3 + 3*o**2 + o - 1. Let q be d(3). Let a be 4 - 3 - q/m. Solve -v + 2*n + 7 = 0, -11 + a = -v + 3*n for v.
3
Let i = 23 - 13. Suppose h = -3*a + i, 7 = 4*a - 1. Solve 3*n = -9, -2*r + 0*r = -h*n - 6 for r.
-3
Let o be -3 - (2/2)/(12/(-60)). Solve 0 = -4*w + o*i - 2, -2*w + w = 3*i + 18 for w.
-3
Suppose -5 + 53 = 12*n. Solve 0 = -2*b - n*j - 4, -2*b - j = 3*b + 19 for b.
-4
Let a be 4/(-1)*2/(-4). Let v be 4/1 - (-2)/a. Suppose 0 = -3*b + 3 + 3. Solve -b*u + v = -5*k, 4*u - 6*k + 8 = -2*k for u.
-5
Let r be (-5)/2*8/(-10). Solve z - w + 8 = 2, r = 2*w for z.
-5
Let a(z) = -z**2 - 6*z - 5. Let j be a(-5). Suppose -3*h - 1 + 19 = j. Solve 5 = 5*l - 5*m, -m - h = m for l.
-2
Let r be (5/3)/(3/9). Suppose -4*l + 7 = -r. Solve 10 = -4*g - 2*j, -5*g + 3 = l*j + 16 for g.
-2
Suppose 3*l = -2*l. Suppose -p + 1 + 2 = l. Solve 0 = 4*i + 2*m - 20, -4*m = i - p*i - 10 for i.
3
Let y(n) = -n**3 - 2*n**2 + 5*n + 4. Let p be y(-4). Solve 0 = -2*g + 2*t + 14 - 0, -2*g + p = -3*t for g.
5
Suppose -5*p = 5*k - 25, 5 = -5*p + k - 0. Solve -14 = -4*f - p*f - r, -5*r = -10 for f.
3
Suppose -13*f + 80 = -8*f. Let u(n) = n**3 - 17*n**2 + 15*n + 16. Let v be u(f). Solve 2*q + 3*g + v*g - 9 = 0, 5*g - 40 = 5*q for q.
-3
Let x(c) = c**2 - c - 1. Let i be x(-2). Let d = 0 + 10. Suppose 3*z - 7*z = -8. Solve i*p - z*n = -3, 0*n = 5*p + 5*n + d for p.
-1
Let s = -21 + 34. Suppose -4*o + k = 5, 2*k - 1 - 9 = -3*o. Let t be (-4)/(-4) + o + 2. Solve -2*c + t*r + s = 0, 3*c - r - 12 = 2*r for c.
-1
Let v(d) = -2*d - 5. Let h be v(-4). Suppose 0*u = 5*u - 25. Solve h*z = u*f - 25, -6*f = z - 4*f - 10 for z.
0
Suppose 5*l - 3*s + 4*s = 19, -3*l - 3*s = -9. Suppose -m = -2*u + 6 - 2, m - 26 = -l*u. Suppose -m*k = -2*k - 24. Solve -1 = a + v - 4, k = 2*v for a.
0
Let n be (-4 - (-11 - -5)) + 1 + 3. Let y = 11 - 5. Let p = y + -3. Solve -o - i + n = -p*i, -2*i - 26 = 4*o for o.
-4
Let u(j) = -10*j + 62. Let i be u(6). Let z = 30 - 13. Suppose 0*f + 4*x = f - z, -f - 7 = 4*x. Solve -i*k + f*s - s = 16, -3*k - 2*s = -16 for k.
2
Let q(m) = -5*m**3 + 5*m**2 + m - 13. Let g(y) = -2*y**3 + 3*y**2 - 6. Let b(j) = 7*g(j) - 3*q(j). Let v be b(-6). Solve 4*d = f + v + 1, -3 = -5*d - 3*f for d.
3
Let c(w) = -w**2 + 5*w + 4. Let u be c(5). Solve u*s - 2*d - 4 = 0, -46 = -3*s - 5*d - 17 for s.
3
Suppose 4*o + 38 = -5*y, 0*o - 3*y - 20 = 2*o. Let v = o + 9. Solve 2*d + 2 = -3*g, 5*g = 2*d + v*d + 4 for g.
0
Let r = -10 - -15. Solve o - 4 = -q - 3*o, -4*q = -r*o + 26 for q.
-4
Let z(j) = -j**2 + 9*j - 1. Let i be z(7). Suppose -1 = x - i. Let l = 4 + 0. Solve s + 4*k - 9 = 0, -2*s + l*s - 2*k = -x for s.
-3
Let m(r) = r**2 + 2*r - 6. Let i be m(-4). Solve 3*z = -5*n - 37, z - i*n - 2 = -z for z.
-4
Suppose 0 = 2*c + 3*c - 120. Suppose 3*a = -a + c. Solve 8 + 6 = -4*h - q, 4*h + 5*q + a = 0 for h.
-4
Let l(a) be the first derivative of a**2/2 - 9*a + 4. Let q be l(9). Solve q = -2*k - n + 3, -5*k + 5*n - 15 = 0 for k.
0
Let g = 28 + -18. Solve -2*s + 5*z - g = -s, 5*z = 10 for s.
0
Let h be 2/4 + 18/4. Suppose -6 = -x + 2. Let y = x - h. Solve 5*a - 2*i = -28, a - y*i - 5 + 21 = 0 for a.
-4
Let v(t) = 0*t**3 + t**3 - 15 + 8*t**2 - 2*t + 4 + 0*t**3. Let w be v(-8). Solve -3*m - 12 = w*b, -4*m + b - 2*b = 16 for m.
-4
Suppose -3*h + 11 = -2*p, -3*p - h = -7 - 4. Solve 7 = p*j - 3*w, -2*j = -0*w + 5*w + 33 for j.
-4
Let n be ((-126)/27)/((-4)/6). Let r = n - 4. Solve b - r*y = 13, 2*b = 3*y - 2 + 13 for b.
-2
Let h(z) = z**2 - 7*z + 4. Let y be h(7). Suppose -3*o + 10 - 1 = 0. Solve 3*n = -2*t + 5 - 4, 0 = -y*t + o*n - 7 for t.
-1
Let o be 0 + -1 + 6 + 0. Solve -r - 6*n - 2 = -o*n, -8 = 3*r + 4*n for r.
0
Let b = 6 + -5. Let i be ((-6)/3)/b*-2. Solve -s + 9 = -i*n, -3*s + 13 = 3*n - n for s.
5
Suppose 0*b + 145 = 5*w - 2*b, 0 = 5*w - 5*b - 160. Solve 0 = g + 4*q + 8, -g + 5*q = 2*g - w for g.
4
Let n be 3/(-6) - (-1)/2. Let t(o) = -22*o. Let p be t(-2). Suppose n = z - 3*z + p. Solve i - z = 6*i + 3*x, 0 = 5*i - x + 26 for i.
-5
Suppose -12*o + 5*o = -28. Solve 4 = 2*k - 2*r, 4*k + o*r + 3 = 3*k for k.
1
Let y be ((-9)/(-6))/(-3)*0. Suppose -5*w - 4*v - 34 = y, -3*w - v + 1 = 20. Let g = 8 + w. Solve -4*l + 20 = 5*c, 2*c - 5 = -g*l + 3 for c.
4
Let p(r) = r**3 + 7*r**2 + 3*r - 15. Let v be p(-6). Let k be (v - 2) + (-8 - -11). Solve x = 4*b - 0*b + 4, k = 4*b + x for b.
0
Let v be (2 + -2 - 2)*-2. Let q = 2 + 0. Let u be 4/(-1 + 6/4). Solve -q*x + 8 = -x - v*j, 4*j = -2*x - u for x.
0
Let k be 3/(3 - 2) + 29. Let c be (k/12)/((-2)/(-3)). Solve -2*i = -2*s, -i = c*s - 4 + 14 for i.
-2
Suppose -21*w - 6 = -24*w. Solve -w*o + 19 = -c + 3*o, 5*c - 5*o + 15 = 0 for c.
1
Suppose 0 = -m + 4*a - 11, 0 = 2*m - 3*a - 2*a + 13. Let j(y) = 2*y. Let t be j(2). Solve t*q - 5 = s + 1, 0 = 3*q + 2*s + m for q.
1
Suppose -4*m - 16 = -2*o - 2*m, -28 = -4*o + 3*m. Solve -2*d + 1 = -3*q + 8*q, -o*d + q = -13 for d.
3
Let x be (0 - -1)*(-8)/2. Let i be 108/30 - x/10. Suppose 3*a + 70 = 5*p, 2*p + 0*a = 4*a + 14. Solve -3*d + 5*d - p = -3*j, j - i = d for j.
5
Suppose 0 = 2*k + 10, n - 2*n + 12 = -2*k. Suppose 2*l = -2*t - n*l - 8, -4*l + 4 = 5*t. Solve 4*f + t = q, -1 + 3 = -2*f + q for f.
-1
Let x(o) = -3*o + 74. Let p be x(24). Solve 4 = -u - 3*c, 40 = 5*u + p*c - 7*c for u.
5
Suppose 20*r - 17*r = 15. Suppose 10 + 5 = 3*w. Solve c = 2*f - 5, 5*c - 15 = -w*f + r for c.
1
Suppose -23*u + 200 = -18*u. Solve -3*t - q = 3*q + 5, -4*q = -4*t + u for t.
5
Let z be (-5)/((-2)/(-2) + -2). Let p be z*1 + 1 + -2. Solve -p*g - t - 11 = -4*t, -g + t = 2 for g.
-5
Let j(t) = t**3 - 3*t**2 - 4*t - 6. Let v = 12 + -7. Let z be j(v). Solve 4*p + 0*l + l = 21, 4*p = -4*l + z for p.
5
Suppose 3*n = 33 - 18. Solve -5*d = -4*x - 0*x - 24, -n*x = -2*d + 13 for x.
-1
Suppose 0 = -3*j - 3*i - 8 + 2, -j + 2*i = -4. Solve -3*n + 3 = -3*d, -n - 3*d = -j*n - 13 for n.
4
Let h = -10 - -14. Let o(q) = -4*q + 4. Let t(a) = -3*a + 3. Let x(g) = -4*o(g) + 5*t(g). Let f be x(h). Solve 25 = -3*v - 5*k, -4*v + k + f = -2 for v.
0
Suppose -2*o + 39 + 63 = 0. Suppose 4*y - o = -11. Solve y = 4*k + 3*c, 5*k - 8 = -c + 10 for k.
4
Let l(n) = -n + n + 5*n - 2*n**3 - 3*n**2 - 7*n - 3. Let g be l(-2). Solve 3*q = z - 5, -2*q - g = -z - 5*q for z.
5
Let w be 0*(-4)/(-10)*15/(-12). Solve w = u - 1, -3*d = u - 5*u - 11 for d.
5
Let q be 4/14 - (-220)/14. Suppose 0*f - 4*f = -q. Solve -2*o + 2*t - f = 0, -5*t - 20 = -o + 2*o for o.
-5
Let v(z) = -3*z + 1. Let g be v(-3). Suppose 5 = -c + g. Solve 0*r - c*m - 22 = 2*r, -4*r + 8 = -3*m for r.
-1
Let m(g) = 2*g - 3. Let c be m(-5). Let s = 22 + c. Solve 0 = -5*f - 4*t + 2, -5*t = 1 + s for f.
2
Suppose -28 = -4*a + 6*a. Let z = a + 16. S