*n - l for k.
-3
Suppose -3*i + 29 = -1. Suppose w - i = -2*u, -6*u + 3*u + 3 = 0. Solve f + c + 3 = w, 6 = 2*f + c for f.
1
Suppose -x - 5*c + 23 = 0, 14 = -2*x - 0*x + 2*c. Let d = 0 - x. Solve 3 = -3*l - d*h + 2, 4*h = -5*l - 3 for l.
1
Let t(v) = -2*v + 14. Let f be t(6). Suppose f*z = -z. Solve -2*m - 7 = -d, z*d - 5*m - 10 = -d for d.
5
Suppose 0 = -r - 4*p + 13, 0*p = 2*r + p - 26. Solve -r = 4*k + 7, 2*u - 13 = k for u.
4
Let b = 0 + 6. Let f be (-2)/((-5)/(165/b)). Suppose 9 = 5*c - f. Solve -c*r + 12 = 4*z, 3*z + 0 = -2*r + 8 for z.
2
Suppose 0 = -3*k - 0*k. Let t(d) = -d - 9. Let m be t(-11). Solve 4*z + m*j = 2*z - 2, k = -4*z - 5*j - 2 for z.
-3
Suppose 0 = -10*x + 918 - 858. Let n = -16 + 24. Solve -x = -u - k, 4*u - n*u + 16 = 2*k for u.
2
Suppose 3*k = -9, 1 = -2*i + 4*k + 13. Solve 4*d = 2*d + 5*c - 22, d - 3*c + 13 = i for d.
-1
Let j(d) = -8 + 6*d**2 - 7*d - 2 - 5 + d**3. Let w be j(-6). Let f(h) = h - 3. Let m be f(5). Solve -3*r - w = 3*p, -3*p + m = -5*r - 11 for p.
-4
Let y = -10 - 13. Let p = y + 50. Solve -6*r + 28 = -3*j - r, -2*j + 5*r = p for j.
-1
Suppose 30 = 7*p + 2. Solve y = p, 0 = -4*i - 4*y - 0*y + 12 for i.
-1
Let r = 5 - 2. Let x be 2*r/6 - -19. Let o = x - -12. Solve 0*p + 20 = 3*p - 2*g, 5*g + o = 3*p for p.
4
Let z(t) = 6*t**2. Suppose 4*b + 5 = -i, -2*b - 4 = 2*i - 0*i. Let p be z(i). Solve -4*u = 5*j - 16, -2*j + p*u + 12 = 2*u for j.
4
Let l be 2/3*6/4. Let g(r) = r - 4*r + 6*r + 5*r + 1. Let c be g(l). Solve -4*h + c = 5*o - 1, -4*h + 2 = o for o.
2
Suppose -4*f = -3*m + 5*m - 112, 4*f + m = 108. Suppose -4*v + f + 10 = 0. Let l(z) = z + 7. Let g be l(v). Solve 5*b - g = 3*t, 5*b + 2 = -4*t + 4 for t.
-2
Let u(v) = -4*v**3 - v**2 - 2*v - 1. Let c be u(-1). Suppose -148*o + 147*o = -4. Solve r + r - 3*t - 3 = 0, 3*r + o*t = -c for r.
0
Let v(b) be the first derivative of b**4/4 + 2*b**3/3 - b**2 + 4*b - 3. Let h be v(2). Solve 0 = 5*o - 3*z + 4*z, o - 3*z + h = 0 for o.
-1
Let u be (-6)/18 - 14/(-6). Solve -s + 3*s - 5*a = -28, -u*s - 2*a = 0 for s.
-4
Let p be 2/(4/6) + 12. Solve -3*o = -3*y - 0*o, 2*y + o = p for y.
5
Let d = 11 + -9. Solve 5*h = -5*b - 5, -h = 4*b + d - 1 for h.
-1
Let u(f) = -2*f - 2. Let q be u(-5). Suppose 2*d = -d + 5*g + 10, -2*g = -q. Solve 3*h = 2*x - 7, -3*h + d = x + 2*h for x.
5
Let g be 3 + (-2 + 0)/(-1). Suppose 10*f = g*f. Solve 0 = -f*a - a + 3*s + 2, 5*s = -5 for a.
-1
Let s(i) be the first derivative of -i**4/4 - 5*i**3/3 + 2*i - 2. Let y be s(-5). Solve v = 4*p + 6, 0 = -3*v - 3*p - 10 - y for v.
-2
Let f(i) = -8*i + 5*i + 13*i. Let n be f(1). Solve -5*m = -u - 7, m - n - 1 = 5*u for u.
-2
Let c be -7 + 3 + -1 + -2. Let r = c + 4. Let t = -1 - r. Solve 5*s - 3*s = t*g - 2, 0 = -4*s for g.
1
Suppose -4*h - 3 = 17. Let a = h - -10. Solve -4*u + 9 = -2*c - 3*c, 3*c + a = 2*u for u.
1
Let l = 39 - 36. Let o(w) = -w**2 - 3*w + 1. Let x be o(-4). Let g = -3 - x. Solve -5*u + y = 15 - l, y + 3 = g for u.
-3
Let s = -6 - -10. Solve 0 = -4*y + n + 21, 0 = 5*y - s*n - 64 + 24 for y.
4
Let v(j) = -j + 1. Let u be v(-1). Let t(s) = s**3 + s**2. Let m be t(0). Solve -5*h = 4*y, m = 5*h - u*h + 4*y + 8 for h.
4
Suppose 0 = 2*o + c + 7 - 2, -o - 25 = 5*c. Solve o = g - 2*s - 11, -2*s + 21 = 3*g - 4*s for g.
5
Suppose b = -5*u + 1, 16*b - 12*b = u + 4. Solve -n + 2*c + 4 = 0, 2*c - 3*c - 1 = u for n.
2
Suppose 0 = 20*v - 24*v + 12. Solve 2 = -3*q + 4*x - 9, v*x = q + 12 for q.
3
Let z(l) = 2*l**2 + 52*l + 52. Let d be z(-25). Solve 4*j + 3*w = 16, 0 = -d*j + w - 4*w + 14 for j.
1
Let c be (4 + -3)/((-3)/(-15)). Suppose 0 = 2*r - c*r + 24. Solve 4 + 8 = f + 5*v, 0 = -f - 3*v + r for f.
2
Let i(z) = -z**2 + 8. Let x be i(0). Suppose 0 = 2*t + t - s - x, 2 = -4*t - 5*s. Solve -l - 1 = -t*p, -3*p - 18 = -0*l + 5*l for p.
-1
Suppose 7*d = 2*d + p - 11, -3*p = 3*d + 21. Let b be -2 + (2 - d) + -3. Solve 2*o + 0*o - m = 12, b = -5*o + 3*m + 31 for o.
5
Let o be 32/10*(-35)/(-14). Solve -5*i = -4*q + 16, -i - o = i for q.
-1
Let k be -2 + 12/(1 - -1). Let b be (k/6)/(2/6). Solve j = 4*q + b, -4*q = -q - 3*j + 6 for q.
0
Let u = -72 - -75. Solve -2*k - 9 = -u*f, k - f + 11 = 3*k for k.
3
Let q(c) = -c**2 + 6*c - 1. Let m be -1 + (-7)/(7/(-6)). Let g be q(m). Let w be 8/6 + g/6. Solve 17 = -w*n - 3*s, -2*s + 0 - 11 = n for n.
-1
Let g be (-264)/(-26) - 32/208. Let m(n) = -n**3 + 5*n**2 - 2*n - 1. Let u be m(4). Let o = g - u. Solve 0 = o*q - 6*z + 3*z + 30, -4*q - 5*z = -5 for q.
-5
Let s = 41 - 37. Solve 4*k = -s*a + 12 + 12, 4 = 4*k for a.
5
Suppose -1 - 6 = -4*k + n, -2*k + 2*n + 2 = 0. Solve -2*j = -w + 2, 3*j - 2*j - 2 = k*w for j.
-2
Let f be ((-2)/2)/1*-3. Let h(p) = -3*p**3 + 2*p**3 + 3*p**2 + 3 + 8*p - 10*p. Let n be h(2). Solve f*d - n*w - 6 = -4*w, -2*d - w = -4 for d.
2
Suppose -2*x - 4*f = 2*x - 20, -4*x + 2 = -2*f. Solve -2*t - 29 = -5*s, -x*s = 2*t - 8 + 2 for s.
5
Let k(z) = z**2 - 9*z + 9. Let x be k(9). Solve 0 = -4*i - 4*b + 1 + 3, -i = 5*b - x for i.
-1
Suppose -5 = 2*n - 21. Solve z + 14 = 3*j, -j - 3*j = 4*z - n for j.
4
Let h(l) = -l. Let q(i) = -4*i + 2. Let s(r) = 6*h(r) - 2*q(r). Let m be s(5). Let p be ((-4)/m)/((-3)/9). Solve -p*y = 3*t - 5, -t = t - 4*y - 30 for t.
5
Suppose -2*a + 3 - 9 = -3*s, -s - 3*a = 9. Let d be (2/5)/((-2)/(-10)). Suppose z = -d*z. Solve s = 5*y - 20, x + z = -y + 8 for x.
4
Let s be (-3 + 9)/(-3) + 7. Suppose 9 + 11 = s*b. Solve 1 = -b*g + 5*t, -t = 4*t - 5 for g.
1
Let b be (-4)/(-8) - 9/(-6). Suppose 0*o - o = -b. Solve -k + 4*n + 17 = 0, 2*k - 3*n - 12 - o = 0 for k.
1
Let r be -1 + -1 + (0 - 0). Let g be (-1)/r + (-6)/(-4). Suppose -9 = -2*d - d + 3*q, d + g*q = 0. Solve 2*w + d*t = -8, 5*w + 11 = -t - 9 for w.
-4
Let l = -68 - -76. Solve -4*o + 2*h - 5 = -5*o, -l = 5*o - h for o.
-1
Suppose 0 = -4*p, -5*v = -5*p - 40 + 200. Let r = v - -46. Let m = r - 1. Solve 6*d - 3*d + m = -5*l, 5*d = -4*l for d.
4
Suppose -32 - 3 = -5*m. Solve 5*d - 30 = 5*n, 2*d + 3*n - 16 = m*n for d.
4
Let p(u) = u**2 + u + 5. Let b be p(0). Solve -2*g + 4*a = 18, 3*g - b*a + 21 = -2*a for g.
-5
Let g(c) = 4*c**2 + 2*c - 2. Let t be g(-2). Let i = 15 - t. Suppose 3*u - i - 1 = 0. Solve -4*d = 2*o - u, 2*d = -1 - 3 for o.
5
Let a be (0 - 3)/(27/(-45)). Suppose -4*h - h - 10 = 0. Let g be (1 - 2)*(h - -1). Solve 2*m + 3*s + g = -7, -a*m = -s - 14 for m.
2
Suppose g + 32 = 3*r, -2*r + 0*r = -2*g - 24. Suppose -3*t + s - 2*s = -r, -2*t = 3*s - 2. Solve -13 = -2*a - a + 2*n, -a + t*n = -1 for a.
5
Suppose -12 = -4*n, -4*k - n = -3*n + 46. Let r be -1*k/(-3 + 5). Let x = -1 + 1. Solve -r*i + 3 + 2 = x, 5*i = t + 4 for t.
1
Let d be 0 + -4 - (5 - 4). Let w = -1 - d. Suppose -4*f - 1 = 4*c + 3, -w*f = -c + 14. Solve 3*a + c = -5*i - 0, -a - 1 = 2*i for a.
1
Let a(s) = s**2 + s - 2. Let z be a(-2). Suppose -4*u + z*x + 2*x + 18 = 0, -5*u + 21 = -4*x. Let o = u - 2. Solve 2*y = -y - 3, o*y - 1 = p for p.
-4
Let w(t) = -t + 2. Let x be w(2). Suppose x*y - 4*y = -8. Let o be -3 + 4 + -2 - -4. Solve o*v - i + 12 = y*i, 5*v = -5*i for v.
-2
Let y = 7 + -9. Let s be y/((2/(-5))/1). Solve 3*h - 5*h + 33 = -s*m, 1 = -m - h for m.
-5
Suppose -32 = -2*r - 0. Let l be 4/((-44)/r - -3). Solve 0 = -2*g, -3*d - l = -7*d - 5*g for d.
4
Let k(i) = i**3 - 14*i**2 - 15*i + 2. Let o be k(15). Solve -24 = -3*g - 3*q, -o*q + 0*q + 10 = 0 for g.
3
Suppose 2*r + 2*y + y + 11 = 0, -4*r - y + 3 = 0. Let m = -7 - -9. Suppose m*j = q - 10 - 11, -3 = j. Solve -z - q = -3*x + 2*z, -r*z - 16 = -5*x for x.
2
Let f(w) = w**3 - 5*w**2 - 8*w - 2. Let m be f(6). Let o = 16 + m. Solve -3*g + 8 = o*y - 3*y, 0 = -5*y - 2*g + 11 for y.
1
Let p(k) = k**2 - 4*k - 4. Let m be p(6). Let z be m/5 - (-4)/10. Solve -3 = -a - z*t, 2*a + 3 = t - 1 for a.
-1
Let q be 68/18 + (-6)/(-27). Suppose -4*b - 4 = 3*j - 40, 4*j = -3*b + 34. Suppose h = b - 1. Solve 0 = 2*x + q*c - 0*c + 4, -h*x = -3*c - 16 for x.
2
Let z(q) = -q**3 - q**2 + 4*q + 3. Let d be z(-3). Solve 0*p - 2*l = -p + d, 4*p = -4*l - 12 for p.
1
Suppose 0*f + 4*d - 10 = -f, 3*f - 3*d + 15 = 0. Let u be (f - -2)*(-1 + 2). Solve -q + 10 = m + 2*m, u = 4*m - 20 for q.
-5
Suppose 4*b - 6*u + u + 4 = 0, -5*b = -5*u. Solve -3 = b*a - 5*a, 4*a + 13 = -5*m for m.
-5
Let a = 84 - 169. Let g be (-2)/5 - 204/a. Solve 8 - 2 = -g*n, -11 = 4*l + 5*n for l.
1
Let 