k.
1
Suppose d + 3*l = 11, -26 - 8 = -2*d - 3*l. Let t = d + -20. Solve c + t*q - 10 = -c, -2*q = c - 6 for c.
2
Let m = 1 + -1. Suppose 5*w + 4*r - 23 = 0, r - 11 = -3*w - m*r. Solve -w*z - 3*c = 0, -2*z - 5*c - 6 = -21 for z.
-5
Suppose -1 = 3*x + 5*w + 5, 3*x - 5*w = 24. Solve k + 11 = -3*s - k, 4*k = -x*s - 7 for s.
-5
Suppose 65 = 4*j - s, -4*s - 16 - 36 = -3*j. Suppose 4*b + 24 = 2*b. Let r be -2 - (b/3 + -1). Solve 20 = r*c + c + 3*h, 4*h - j = 0 for c.
2
Suppose 5*m - 2*m + 2*u - 3 = 0, 3*m - 21 = 4*u. Solve -3*a + m*b + 5 = b, -5*b = 5*a - 25 for a.
3
Let a be ((-12)/(-9))/((-1)/(-6)). Solve -5 + 3 = h, 0 = o + 5*h + a for o.
2
Suppose 5*l + 1 = 5*o - 9, 0 = -2*o - l + 7. Solve -3*h + g - o*g + 8 = 0, 12 = 2*h + 3*g for h.
0
Let o(x) = x + 7. Let h(u) = -5*u - 1. Let d be h(-1). Let r be -4*(0 - (-5)/d). Let m be o(r). Solve w - 3*k = 1, -2*w + 6 = -6*w + m*k for w.
-2
Let h(r) = 2*r**2 - r. Let u be h(-1). Suppose u*s = 6*s - 9. Solve -2*m = -f, 4*f + s*m = f for f.
0
Suppose -4*p = -3*g + 36, 2*p - p = -3*g + 36. Let s be (3/(-2))/(g/(-16)). Solve -2*t + 4 = r + 9, -5*t + s*r + 1 = 0 for t.
-1
Let x(s) = s + 6. Let d be x(-10). Let f be d/6 - (-7)/(-3). Let l be (-4)/6 - 14/f. Solve 0 = -4*o - 3*u, -o - l*u + 3 = -10 for o.
-3
Suppose -2*f = 2*f - 16. Suppose -f*a + 2*a + 8 = 0. Suppose -3*l = l - 20. Solve 0 = -3*o + a*i - 9*i - 17, -1 = -o + l*i for o.
-4
Let h be 159/51 + 10/(-85). Suppose -h*a + 2*s = -12, 0 = 4*a + s - 4*s - 17. Solve 4*y = 5*o + 5, y - 2 = -y + a*o for y.
0
Let p be 1 - 4 - ((-2 - 5) + 2). Solve 2*y + p*y + 14 = -2*f, 18 = -5*y - 3*f for y.
-3
Suppose 3 = 4*x - 17. Let n be x*(-3)/6*-2. Solve -4*w + 5*d - 1 - 2 = 0, -w + n*d = 12 for w.
3
Let y = 7 - 4. Let n(z) be the first derivative of z**3/3 - 4*z - 1. Let g be n(y). Solve -14 = h - 2*r - 2*r, -2*h + g*r - 16 = 0 for h.
2
Let n(l) be the second derivative of -l**4/12 + 6*l**2 - l. Let y be n(0). Solve -2*h + y = h, -h = -2*w - 10 for w.
-3
Let u = 0 - -2. Let y be ((0/u)/(-1))/2. Solve -5*n - 4*r + y - 11 = 0, 4*n + 5*r = -7 for n.
-3
Let p be -4*(-4 + 3)*1. Solve -3*j = 3*w, -3*j = -p*w - 42 + 7 for w.
-5
Let h = 33 + -29. Solve 4*y + 4*m - 10 = -2, 3*m + 8 = h*y for y.
2
Let w(s) = -13*s + 2. Let r be w(-2). Let h be (r/(-42))/(1/(-18)). Solve 3*j - 2*j = -5*p + 16, 3*j - 5*p + h = 0 for j.
1
Let j be 3 - 3/(1 + 0). Solve j = -2*v + 2*y, y = 4*v + 5 - 2 for v.
-1
Let k(g) = 17*g**2 - 12*g**2 - 14*g - 6*g**2 - 10. Let l be (2 + -28)*(-1)/(-2). Let y be k(l). Solve 3*m - 5*q = m + 15, -4*q = y*m + 12 for m.
0
Suppose 0 = 5*o + 3*j - 116, -2*o - 4*j = 14 - 66. Suppose 25 = 5*s, -5*l + 6*l - o = -4*s. Solve 0 = -l*g + 6, 2*g = -k + 4*k + 21 for k.
-5
Let u(a) = 2*a**2 - 5*a - 5. Let q(x) = -x - 1. Let j(b) = -4*q(b) + u(b). Let k be j(-1). Solve -3 = k*y + f, -3*f + 10 = -f for y.
-4
Let w = 47 + -17. Suppose -d = 4*d - w. Solve 5*z + 5*r = -35, -d*z + 3*z = 5*r + 27 for z.
-4
Suppose 4*r - 2 = 2*r. Let m = r + 2. Let z = 1 + 1. Solve -m*g + 1 = 2*b - 0*g, 0 = -4*b + z*g + 10 for b.
2
Let f(i) = i**2 - 6*i + 7. Let z be f(5). Suppose z*s + 2*h - 5 - 3 = 0, -4*h = -3*s - 2. Let g = s - 2. Solve -3*p - 2*m + 3 = g, 3*m - 6 = 4*p - 7*p for p.
-1
Suppose -3*r + 2*r = -64. Suppose -4*x + 0*x = -r. Solve -4*n + 12 + x = 4*s, s - 1 = 2*n for s.
5
Let j = 9 - 11. Let b be -15*(j - (-15)/9). Solve -5*w = -b*a - 30, -w = 2*w + 3*a - 6 for w.
4
Suppose 5 + 5 = c. Solve -o - 4*o - 22 = 3*w, -3*w - c = -o for o.
-2
Let j = 0 - 31. Let k = 2 - j. Solve 5*x + 17 = -2*l, -7*x = -2*x - 2*l + k for x.
-5
Let v(k) = -k**3 + 9*k**2 - 2*k + 13. Let q be v(9). Let t be (-7)/14 - q/2. Solve 0*d = t*u - d - 2, 5*d = -5*u + 35 for u.
3
Let k = -26 + 66. Let u = 5 - 2. Let j be (-16)/(-6) - (-1)/u. Solve j*c - 4*p + k = 5, -5*c = 2*p + 15 for c.
-5
Let f(q) = -2*q + 6. Let r be f(4). Let v be -1*4/4*-2. Let n = r + v. Solve -4*i - 5*b - 35 = 0, n = -4*i + i + 5*b for i.
-5
Suppose 2*t + 4*s = s + 54, 0 = 3*t - 3*s - 96. Suppose -3*f + 5*i - t = -4*f, -3*f - 10 = -5*i. Solve f*l - q = -18, q - 6*q + 18 = -l for l.
-3
Let f be (-4)/(-8)*-1*14. Let a = f + 4. Let k(x) = x**3 + 2*x**2 - 5*x - 3. Let w be k(a). Solve 2*r - w*v + 1 = 0, 2*r - 3*v + 2*v = 5 for r.
4
Suppose 0*s - 4*s - 24 = 0. Let c(j) = -2*j - 9. Let y be c(s). Solve 3*t - 4 = a, t - y*a - 4 = -0*a for t.
1
Let a be 2 - (0 - (1 + -1)). Suppose -20 = -3*l - a*l. Solve -t - 2*n + 3 = -l*n, 4*t = -5*n + 12 for t.
3
Let y(d) = 5*d**3 - d. Let i be y(-1). Let b = -11 - i. Let c(j) = -j + 6. Let q be c(b). Solve -n = k - 5 - 3, 2*n - q = -k for k.
3
Suppose 0*v = v - 2. Suppose 2*q - 1 = x, 0 = 2*x + 4*q - q - 19. Solve -3*s = x*b + 16, b - 5*s + v = -18 for b.
-5
Let r be 12/5*(-45)/(-6). Suppose r + 2 = -4*g. Let u = -2 - g. Solve l + 2*d - u*d = 8, 4*l = d + 17 for l.
3
Suppose -4*b - 2*g = -12, -5*g = 4*b - 0*b - 12. Suppose y + a = -3*a + 5, a = -b*y + 26. Let o = 7 + 18. Solve -n + o = -0*n + 5*j, 4*j + y = 5*n for n.
5
Let d(p) = p**3 + 2*p**2 - 2*p**2 - p**2. Let x be d(1). Suppose x*y + 5*y = 20. Solve 7 = -3*v + 3*u + 16, -8 = -v - y*u for v.
4
Suppose -4*v + 0 = -12. Solve -m = -2*z + 6, -v*z + 24 = z + 4*m for z.
4
Let n be 1/((-3)/18 + (-6)/(-12)). Solve -3*s - p + 2 = 0, -2*s + n = -2*p - 1 for s.
1
Let z be (-29 - -11)/((-6)/4). Solve u + 4 = 2*u, 5*u - z = -2*d for d.
-4
Let d(j) be the third derivative of -j**5/30 + j**4/8 + j**3/3 + 2*j**2. Let l be d(3). Let c = 6 - l. Solve 0 = 4*m + u + 13, m - 5 = -5*u - c for m.
-3
Let y(p) = 2*p**2 + 3*p + 1. Let v be y(-2). Let u(k) = -k**3 + 6*k**2 + k - 2. Let z = 22 - 16. Let i be u(z). Solve 4*x + v = -3*a, 2 - 28 = -2*x + i*a for x.
3
Suppose 0 = 2*l + 3*a - 31, -2*a + 12 = l + 3*a. Let h = -12 + l. Solve -h*t - 7*w + 4*w + 1 = 0, -t = 3*w + 7 for t.
2
Let c(u) = -8*u - 43. Let o be c(-6). Solve -5*d = -3*l - 0 - o, 4*l + d - 24 = 0 for l.
5
Let z = -22 - -33. Let o be (1 - -2)/(6/8). Let t be 37/7 - o/14. Solve 6*k - 2*m = 2*k + 8, -k + z = -t*m for k.
1
Let f(n) = -2*n + 2. Let j be f(-3). Solve -4*z + j = 4*c, 0 = 4*c + 3 + 9 for z.
5
Let y = 4 + -2. Let k be 183/21 - y/(-7). Suppose -2*x - 1 = -k. Solve -f + 4*l + 2 = 0, 3*l - 2 - 6 = -x*f for f.
2
Suppose -5 = -5*n + 10. Let a be 1 - ((-4)/1 + n). Solve 0 = -a*i + 3*i - 3, 3*q - 15 = -3*i for q.
2
Suppose 1 = 2*z - 3. Let v be 19/z - (-2)/4. Let b(l) = -l**3 - 2*l**2 + 1. Let r be b(-1). Solve r = 4*j + 3*q + 4, -2*q - q = j + v for j.
2
Let n = 8 + -8. Suppose n = 2*c + f - 2*f - 8, 0 = -2*c + 5*f + 24. Solve -b = -c*g + 5, -b + 2*g - g = 3 for b.
-1
Suppose 3*q = 51 - 6. Let x be (-18)/q*110/(-4). Let v = x + -23. Solve -4*y + 0*y = 3*c + v, -9 = 5*y + 2*c for y.
-1
Let x = 0 + 2. Suppose 2*h - x*k - 18 = 0, h + 5*k + 0*k + 21 = 0. Solve -5*q + 25 = v - 3*v, -4*v = -h*q + 32 for q.
3
Suppose 0*o = -3*o - 93. Let p be 1 + -2 - -2 - o. Let n be (-5)/(5/(-2))*2. Solve 6*s + p = s + n*u, 3*s = -4*u for s.
-4
Let z be 44/((4/9)/(-2)). Let k be 16/6*z/(-24). Solve 4*a + 3*j - k = 0, 7 = 3*a - 2*j - 1 for a.
4
Let p be 10/4*(-48)/(-15). Solve 3*v + 5*t - 8 = 3*t, -4*v + p = 4*t for v.
4
Let z be 6 - (-3)/(-6)*6. Solve -4*y + 5 = -5*x - 3, z*y - 6 = -2*x for y.
2
Suppose -3*c + 25 = 2*c. Solve -10 = 5*i - k + c, 5*i - 5*k = -15 for i.
-3
Suppose 3*o - 55 = -8*o. Solve -22 = -4*c - 2*z, -4 = 3*c - o*z + 12 for c.
3
Suppose 4*g - 18 = -5*z, 2*z - 4 = -g + 2. Solve 2*d = -z*t + 3*t - 10, 28 = 4*t - 5*d for t.
2
Suppose 4*h + 24 = 3*b - 11, 15 = -3*h. Solve -2*k + f = 7, 5*k - b*f = -2*f - 17 for k.
-4
Suppose 0*i - 4*i = -44. Suppose -5*w = -l, -w + 0 = 2*l - i. Solve 0 = -3*g - 3*x + 24, 2*g - w = 4*x - 15 for g.
3
Suppose -y = 2*p - 3, -7 = 5*y - 2*y + 2*p. Let g = 4 - y. Solve -3*i = 3*k, -i - 4*k + 24 = -g*k for i.
4
Let m = 13 - 10. Solve 0 = -m*f + 4*o - o, -3*o = 3*f - 18 for f.
3
Suppose 2*a + 5 = -a + 5*m, a + 3 = 2*m. Solve 2*q = 4*r - 2, 0 = 3*q + a*r + 6 - 3 for q.
-1
Let z be (8/(-8))/(1/(-8)). Solve 4*m - v - 3 + z = 0, 4*m - 5*v = -9 for m.
-1
Suppose 7*x = -x. Solve s - m - 6 = x, 2*s - 8*m + 3*m - 21 = 0 for s.
3
Suppose 0 = 4*b - 69 - 7. Let d = b + -16. Suppose f = -3*f + 16. Solve f = 2*m - 3*k, m + 2*k = d*k + 1 for m.
-1
Suppose -5 = 5*o, -3*x - 4*o - 5 = -1. Let r be (-3)/((-2)/(-8) + -1). So