k.
0
Let l = -21 - -10. Let d = l + 13. Solve v + 11 = -5*b, -4 = -4*v + 5*b + d for v.
-1
Let l = 10 + -19. Let f = 9 + l. Solve f = -3*k + 2*r + 17, -3*r - 3 = 3*k - 0 for k.
3
Let s = 73 + -71. Solve 6 = s*n + 4*r - 4, -5*r + 12 = 3*n for n.
-1
Let w(m) = -m + 0 + m**2 + 0. Let p be w(-1). Solve 0 = -2*v - o, 5*o - p = -4*v + 4 for v.
-1
Let g be (0 + -1)/(3/(-15)). Suppose s = g*s - 8. Let d = 3 + 1. Solve s*z - 6 = -d*m, -z = -6*z - 3*m - 13 for z.
-5
Let t(p) = -6 - 5*p + 3*p + 0*p. Let l be t(-4). Let r be 0 - 1*(-7 - 0). Solve -k = l*d, -d + r = -0*d + 4*k for d.
-1
Let m be ((-8)/3)/((-6)/18). Let w = -1 + 3. Suppose -w*s + 2 = -0*s. Solve 2*k + 3*t + 7 = s, 3*k + 4*t = -m for k.
0
Let p be (-1)/2*0/3. Let d be (2 - p) + 6/2. Suppose 2*k = k + 3*o - 6, d*k + 5*o - 30 = 0. Solve -4*r = -k*r + g, 2*g = 8 for r.
-4
Let n be 0*(3/(4/4) - 2). Solve 2*q - 3*i = 6*q - 16, n = 3*i - 12 for q.
1
Let t be (2/2)/(-1) + 6. Let u = 107 - 87. Let p be (2/1)/(2/3). Solve 5*b = 5*k - u, k + t = -p*b - 3 for b.
-3
Let x = -1 - 1. Let r be (-24)/(-32) - (-1)/4. Let l be r - 2*(1 + x). Solve -2*a = l*j + 1, -3*a + 3 + 1 = -j for j.
-1
Suppose 0 = 2*b + 2*b. Suppose a - 30 = -b*a. Solve 4*h + 4*d - 8 = 0, -h - 5*d + a = -6*h for h.
-2
Suppose 15 = 5*l - 5*w, -3*l = 5*w - 10 + 1. Suppose -3*f - l*f = -18. Solve 0 = 2*d - c - 1, -4 = -3*d + f*c - 2*c for d.
3
Let c = -2 + 4. Let u be c/2 - (-6)/2. Solve 5*z = -2*g, 0 = 4*z + z + u*g for z.
0
Suppose 0 = -5*b + 2*f + 29, 2*b + 5*f - 13 = 16. Let h be 0/(1/(1/2)). Suppose 0 = -h*s - s + b. Solve 3*d = -l - 0 - s, 5*l = -2*d - 9 for d.
-2
Suppose 6 = 5*j - 4. Solve j = 2*l - q - 3*q, -2*l - 1 = -3*q for l.
-5
Let z = -4 + 10. Let t(o) = -4*o - 28. Let p be t(-10). Let i = p - z. Solve 3*m - 5*k = -i, -4*m - k = -5*k for m.
3
Let u(c) = -c**3 + 11*c**2 - 6*c - 8. Let r be u(10). Suppose 3*d = 4*y + r, d - 4*y = -y + 19. Solve -3*g - d*k = -17, -2*k + 7*k = 4*g + 29 for g.
-1
Let v = 4 + -2. Suppose -v*g = 6 - 16. Solve -5*t = g*s + 19 + 6, -2*t - s - 10 = 0 for t.
-5
Let f = -3 - -27. Let p = f - 15. Suppose -1 - p = -5*n. Solve -d = u, -3*u + 3 = n*d + 6 for u.
-3
Suppose u - 19 = -3*w, 4*u - 2*u + 18 = w. Suppose o = -o + w. Solve -i - 2 = -o*d, d - i = -0*d - 1 for d.
1
Suppose -2*b - 2*q - 4 = -b, -4*q = 8. Let w be -1*(2 + -4 + b). Solve 3*a - 3*n = -0*a - 12, -n = w*a + 8 for a.
-4
Suppose 4*f = 2*a + 4, 5*f = 5*a - 0*a - 5. Solve 4 = b, -3*b - 6 = a*z - 2 for z.
-4
Let q be (-2)/(-7) - (-656)/56. Suppose 0 = 2*d + d - q. Let s be 4 + (1 - 0 - 1). Solve d*y + s*i + 0*i = -24, 5*y = 2*i - 9 for y.
-3
Let k be ((-16)/20)/((-6)/90). Solve 5*l = -3*v + v + k, -l = -v - 1 for l.
2
Suppose 0 = -0*w - 2*w + 74. Let m = w - 20. Solve -h + 12 = -2*u, 3*u - 5*h = -4*h - m for u.
-5
Suppose -l - 11 = -5*f, -3*l - 2*l - 9 = -2*f. Solve -v + 2*s - 16 = -2, 4*s - 12 = -f*v for v.
-4
Let y = -18 - -26. Let h = y + -7. Let r = 2 + -2. Solve -x + 3*o - h = -2, 3*x + o - 13 = r for x.
4
Let t be (27/36)/((-2)/128). Let l be t/9 - (-4)/(-6). Let s be 2*(0 - 1) - l. Solve 0 = -5*x + 2*f - 8, s*x - 3*f = -0*f - 5 for x.
-2
Let s(a) = a**2 - 9*a + 4. Let u be s(9). Let k(p) = 4*p**2. Let t be k(-1). Solve -u*z + 2 = -0*z - f, -2*z + 8 = -t*f for z.
0
Let t = 16 - 6. Solve -u - 4*y = t, -5*u + u = -5*y - 23 for u.
2
Suppose 2*y = 2, -26 = 4*x - x - 2*y. Let n(q) = q**2 + 8*q + 3. Let t be n(x). Solve -w + t = m, 2*m = 5*w - m + 25 for w.
-2
Let v = -8 - -8. Let r = 3 + v. Solve 4*o - u = 17, -3*o - r*u + 30 = 2*u for o.
5
Let f be (-1)/(-4) - 26/8. Let d = -5 - -4. Let b = d - f. Solve -o + 1 = -4*i + b*i, -3*o = 5*i + 8 for o.
-1
Let p(n) = 4*n + 6. Let y be p(-5). Suppose 0 = -2*l - 4*v + 20, 3*v - 20 = -5*l - v. Let w be l - y - (4 + -6). Solve m = 3*t + 8, 4*m - w + 1 = -5*t for t.
-1
Let f(o) = -o**2 - 10*o + 7. Let x be f(-11). Let j be (-1)/x*0*-1. Solve j = -3*p + 2*k - 12, -3*p - 3*k - 21 = -9 for p.
-4
Let t(z) = z**2 - 10*z + 10. Let w be t(8). Let d = -2 - w. Let a = -5 + 10. Solve d*n + 5*q = 41, 3*q - 32 - 3 = -a*n for n.
4
Let s = 6 + 3. Let d be 3*s - (4 - 7). Solve -2*a - 5*y + 11 = -6, d = -5*a + 2*y for a.
-4
Let o = 162 + -160. Solve -o*m = -2 - 4, r = 2*m - 1 for r.
5
Let v(a) = -a. Let i be v(-1). Solve -i = -3*g - 7*t + 2*t, 5*t + 7 = g for g.
2
Let o(a) = -a + 2. Let v be o(0). Suppose -d + 12 = 2*w - 1, 6 = v*d - w. Solve -q + d*u + 15 = 2*u, -u = 2*q - 2 for q.
3
Let i(n) = -n**2 + 19*n. Let y be i(19). Solve 4*o - 10 = -y*o - 2*r, -5*o + r + 2 = 0 for o.
1
Let s(n) = n**3 + 5*n**2 + 2*n. Let k be s(-2). Solve -z + k = -2*y - 2*z, -y - 4 = -4*z for y.
-4
Let b = -11 - -11. Solve 6 = -i + 4*r, -r - 1 + b = i for i.
-2
Let z = -10 + 1. Let f be ((-13)/(-3))/(1/3). Let q = z + f. Solve -2*m + q*v + 8 = 0, -12 - 4 = 2*m + 2*v for m.
-4
Let k(j) = j + 1. Let o be k(1). Solve -26 = 4*h - o*c, -5*h + 8 = -5*c + 48 for h.
-5
Let k(l) = -3*l - 37. Let r be k(-19). Solve u = 4*m, -2*m + 6*m + 4*u + r = 0 for m.
-1
Let l = -8 - -11. Solve -5*c + 16 = j, 6*j - 3*c + 24 = l*j for j.
-4
Let m = 28 - 28. Solve 5*v - 15 = m, 0*v = -p + v for p.
3
Let g(a) = -a + 1. Let b be g(-3). Suppose 0 = j - 5*j. Suppose -b*q + 3*q = j. Solve q = 4*p - 2*p - 3*k - 22, 0 = -2*k - 8 for p.
5
Suppose 2*f - 36 = -3*n, 6*n = 2*f + 2*n - 8. Let x = -4 + 4. Suppose x = -3*s + 6*s - 6. Solve -3*i - q - 3 = s*q, f = 3*q for i.
-5
Let a(u) = 4*u**3 - u**2 + 2*u - 1. Let r be a(1). Suppose 0 = 8*x - 11*x + 2*x. Solve -5*b - q - 26 = x, -5*b - 10 = -r*q + 11 for b.
-5
Suppose 6*k - 6 = 3*k. Suppose -k*p + 336 = 2*p. Suppose -p = -4*l + l. Solve 4*g = 2*i - l, 6 + 20 = -2*g + 4*i for g.
-5
Let h = 2 - -2. Let m(k) = 26*k - 153. Let o be m(6). Solve o*n = -n + 5*c - 8, -h*n + 4*c = 8 for n.
-2
Let m = 29 - 26. Solve 14 = m*g + 4*z, g - 3*z = -7*z + 18 for g.
-2
Suppose 4*g - l = 23, -29 = -2*g - 6*l + 3*l. Let u = 7 - g. Suppose -3*c - 5*m = -0*c - 112, u = -m + 5. Solve -5*p = n - c, -1 + 5 = n for p.
5
Let x be (-2)/(-9) - 735/27. Let r be 52/9 - 6/x. Solve -r*c - 3 = -c - 2*v, 3*v = -3 for c.
-1
Let k = 15 + -10. Let x = k - 3. Solve 2*l + 3*u + u = -18, -x*u = 6 for l.
-3
Let v(w) = -w - 4. Let g be v(-6). Let j = 10 + -7. Suppose j*s + 2 = 4*s. Solve g*x + s*k + 21 = -k, -k = -x + 2 for x.
-3
Suppose -2*y + 3*u - 7 = 8, -3*y + 3 = 4*u. Let j be 12/y*(-6)/8. Solve 2*p + 2 = -x - 7, j*p + 4*x = -16 for p.
-4
Let o be (-10)/(-4)*(-12)/(-5). Let m be (2/o)/((-5)/(-75)). Solve m*k + 37 = -3*y, -5*k - 2*y - 53 + 20 = 0 for k.
-5
Let d(h) = -2*h**3 - 16*h**2 - 16*h - 2. Let j be d(-7). Solve 0 = 4*k + j + 4, k = -z for z.
4
Suppose 0*i - 13 = -i. Let j = 18 - i. Solve 0 = 2*l - 4*q - 6 + 18, -10 = j*l - 5*q for l.
2
Let k be ((-8)/6)/(6/(-9)). Solve -r + 6*m - k*m - 4 = 0, 2*r + 8 = -m for r.
-4
Let v = -22 - -27. Solve -4*q = v*y - 6, 3*q = -y - q + 14 for y.
-2
Let b = -114 - -114. Solve -4*p + 4 + 0 = b, i - p - 2 = 0 for i.
3
Suppose 0 = -0*b - 4*b. Suppose -5*m - 1 + 16 = b. Solve 4*h = 2*r - 12, 0 = 2*h + 3*r + m + 3 for h.
-3
Suppose -14 = 2*r + 3*y - 5*y, 5*r = -4*y - 44. Let h = 14 + r. Solve -3*d + 0*d + 2*i + 4 = 0, -3*i = -4*d + h for d.
0
Suppose 0*a - z + 25 = 5*a, 4*a + z - 21 = 0. Solve i + 6 = -4*i + g, 5*g = -a*i - 28 for i.
-2
Let v(j) = 3*j**2 - 2*j. Suppose -2*y + 4 + 0 = 0. Let z be v(y). Solve -17 = -x - 3*x - 5*g, -3*x + z = -g for x.
3
Let g(c) = 4*c - 35. Let f be g(10). Solve 2*t = f*h, 0*h = -2*t + 3*h for t.
0
Suppose 2*t = -1 - 3. Let g(p) be the first derivative of -p**2 + 8. Let w be g(t). Solve 0 = -5*j - w*x - 33, 0*j - 4*x - 3 = -j for j.
-5
Suppose 0 = -3*f - 0*f - 6. Let a be f/3*(-1 - -4). Let c = a + 2. Solve c = -s - 5*w + 14, -5*s = -s + 5*w - 26 for s.
4
Let f(h) = -h**3 + 4*h**2 + 5*h + 1. Let u be f(4). Suppose -u = -3*b - 0*b. Let p be 2 + -2 + 0 + 2. Solve -3*d = -5*z + 16, b*d - p*d - 35 = -4*z for d.
3
Suppose v + 3 = 0, -2*q + 4*v - 9 = -33. Solve l = -p + 6, l + p = q*l for l.
1
Let w(x) be the first derivative of -x**3/3 + 7*x**2/2 + 3*x - 11. Let m be 13/3 - 2/6. Let j be w(m). Solve 10 = -2*v - 5*y - 5, -5*y = j for v.
0
Let z(l) = 12*l - 1. Let p be z(1). Let i = 8 + -5. Suppose -75 = -2*q - i*q. Solve -5*j + q = 2*v + 3*v, -4*j = 3*v - p for v.
1
Suppose 0*z = 2*z - 60. Suppose -5*u = 