or k.
-1
Let m = -12 + 7. Let i be 1 + 6 + m + 3. Suppose -z - i = -2*z. Solve -o - 3*o + z*l = 24, 0 = 5*o + l + 1 for o.
-1
Let w(a) = -a**2 - 6*a + 2. Let b be w(-6). Solve -4*h = -2*m + 14, -3 = -b*m + h - 1 for m.
-1
Suppose g + 5 = 0, 3*q = -4*g - 19 + 5. Solve 3*d - q*r + 6*r = 13, 2*d - 10 = -3*r for d.
-1
Let t be (-22)/55 - (-34)/10. Solve -q + t*q - 30 = 4*a, 0 = 3*q - 3*a - 30 for q.
5
Suppose -g - 4*y - 25 = 0, -5*g + 2*y - y - 41 = 0. Let c be -1 - -2 - (6 + g). Solve -4*n + c*x = -3*n + 16, -5*x = -2*n - 23 for n.
-4
Suppose -2 = -0*z + 2*z, -4*z = -3*j + 7. Let l be 2 - (0 + j)*-1. Solve 5*r = 2*s + 22, l*r - 2*s - 3*s - 17 = 0 for r.
4
Suppose 0 = -c - 3*n - 7, 2*n + 17 = c - n. Solve 0 = 3*j - c*m + 8, -m = 3*j + m + 1 for j.
-1
Let s = -11 + 15. Let t(u) = -u + 8. Let x be t(6). Solve 2*d - 3*z - x = 0, d - s*z = -3*z for d.
-2
Let h be 1/(-4) - (-82)/8. Suppose 0 = 6*q - 8*q + 4. Suppose -o + q = -0*o. Solve -o*n + 5 - h = -v, 0 = -v + 3 for n.
-1
Suppose 6*z - 15 = 4*z + 3*w, 0 = -5*z + 2*w + 54. Let n = 13 - z. Solve 3*p = 2*r, -3*p + n = 5*r - 20 for p.
2
Suppose -4 = -3*w + 2*w. Suppose 5*o + 0*o = g, 5*g = -w*o. Solve 0 = -4*k, 2*k + 6 = 2*y - g*y for y.
3
Let h = -7 + 5. Let m be h*((-3)/2 - 0). Solve 2*q + 14 = -w, 0*q + m*q + 11 = w for q.
-5
Suppose 3 = 3*j + 4*k, -4*j - 4*k = -4 - 4. Let a = j - 5. Solve 12 = 2*v - p, p = -5*v - a*p + 23 for v.
5
Let p = -2 - -4. Suppose p*a + 28 = 4*a. Solve -t = -3*s + a, 2*s - 3 = s for t.
-5
Let h(o) = -2*o - 1. Let c be h(-2). Suppose -15 = -5*k + y + 4*y, 0 = k - 3*y - 3. Suppose 0 = -s - 1 + k. Solve -x - 3*r = s*r + 16, r = c*x for x.
-1
Suppose -5*d + 4*m + 8 + 11 = 0, 2*d - 2*m - 8 = 0. Let j = 8 + d. Solve 3*s + 5 = n, -3*n - j = 2*n + 3*s for n.
-1
Suppose 3*z - 2*g - 12 = -2*z, 2*g = 8. Suppose v - 12 = -v. Let q = 10 - v. Solve -z*y - c + 1 = 0, y - q*c + 5 = c for y.
0
Let g = -1 + 4. Suppose -g*z + z = 0. Let q be (1 - 1) + z + 4. Solve -7 = 5*s - q*y, 3*s + 6 = -y + 4*y for s.
1
Suppose 12 + 56 = 2*b. Let u = -4 + 6. Suppose -s + 0 = -4. Solve -s*n + 12 - b = u*w, 3*n - 2*w = -6 for n.
-4
Suppose 40 = 6*w - 2*w + 5*l, 2*l = 4*w - 40. Solve -2*j + 3*z = -w, -3*j + 2*j - 3*z = 13 for j.
-1
Let d be -1 - (3 + 2/(-1)). Let w be 4 - (1 - (-1 - d)). Suppose -95 = -3*l + 10. Solve w*g + 0*q + l = 5*q, -q = g + 2 for g.
-5
Suppose -o + 5*g + 2 = 0, -5*g + 0 = 2*o - 4. Suppose o*f - 7 = 3. Let t be 0/2 - -1*3. Solve -t*y = -5*s - 6, f*s - 4*y = -2 - 1 for s.
-3
Let z be (-1)/6*2*6. Let c be (-3 - 1)/(4/z). Solve 0*f + f = l + 1, -c*l - 14 = 4*f for f.
-2
Let u = -5 + 4. Let a = u - -1. Solve -5*l + k = 0, -3*l + a*k + k = 2 for l.
1
Let q be 1 + 2 + 52/4. Suppose 0 = 4*w - 2*u - u - 29, 2*w - 5*u - 25 = 0. Let h = w - 0. Solve h*p + 1 = -2*x + 18, -4*p = 4*x - q for x.
1
Let m = 1 - 3. Let b be (-1)/m + (-195)/(-6). Solve -4*a = 3*v - 36 + 10, -4*v = 5*a - b for a.
5
Suppose -3*a = 15 + 60. Let j = a + 66. Solve 8*h - j = 5*t + 4*h, -4*h + 11 = t for t.
-5
Let v(r) = r**2 - 2*r - 3. Let o be v(4). Suppose 2*u + 0*n - 9 = -n, 0 = 4*u - 5*n - 25. Solve 13 - u = 2*i + q, -3*i - 1 = -o*q for i.
3
Let w(q) = 2*q**2 + 0*q**3 + 2*q**3 - 3*q**2 - 3*q**3. Let t be w(0). Suppose -7*n + 3*n + 12 = t. Solve -n*p = 5*z - z + 6, -2*p = 4 for z.
0
Let a be 5/10 + (-50)/(-4). Let q = a - 22. Let p be (q*(3 + -2))/(-1). Solve -2*c - 4*g - p = -7*g, 2*g = 4*c + 6 for c.
0
Suppose a + 3*o + 7 = 0, -3*o - 1 - 1 = 2*a. Solve -5*p = -a*r - 30, 3*r - 2*p = 3*p - 20 for r.
-5
Let a(r) = -r - 1. Let m be a(-6). Suppose -m*c + 3*c - 3*k + 29 = 0, 2*c - 4 = 2*k. Solve 8 = 4*s - 4*w, -3*w - 4 = 3*s - c*s for s.
-2
Let c(u) = -u + 10. Let n(q) = -2*q**2 - 2*q - 3. Let b be n(-2). Let a be (b/(-4))/((-2)/(-8)). Let i be c(a). Solve 4*w - 8 = 0, 0*w - 19 = -i*y - 2*w for y.
5
Let h(r) = -r**2 + 8*r + 2. Let w be h(8). Solve -2*d + d = -s + w, -3*s + d = -8 for s.
3
Let h = 10 + -10. Let g(l) = l**2 - 6*l + 5. Let u be g(6). Solve -5*j + 3*m - 5 = h, 0 = u*j - 5*m - 5 for j.
-4
Suppose 0 = -5*y - 0*y + 5*i + 45, 5*i = -y - 15. Solve -2*x + 2*u = -u + 4, y*u = x + 2 for x.
-2
Let j = -5 + 13. Solve 2*u - 4*p = -6, -2*u + 3*p - j = -2*p for u.
1
Suppose 3*b = -4*b + 7. Solve b = -j - 0*j, 4*z - 5*j = 5 for z.
0
Let h = -2 + 20. Let y = -7 + h. Suppose -4*s = o - y, 4*s = o + s + 3. Solve -5*r = 5*w + 5, 2*w = o*w - 4*r + 6 for w.
-2
Suppose -4*y - 2*z + 80 = 0, 47 = 3*y - 3*z - 31. Solve 2*p - m - y = -5*m, 5*p = 2*m + 19 for p.
5
Suppose -2 = -y + 1. Solve -14 = -m - 3*k, -m - y*m + 14 = -2*k for m.
5
Let t(x) be the third derivative of -x**4/24 + x**2. Let r be t(-2). Suppose 2*k = -b - 0*k + 5, -2*k = 4*b - 20. Solve 2*m - 4*n + b*n = -11, r*n = -2 for m.
-5
Let w(f) = f**2 - 4*f - 7. Let i be w(7). Suppose -3*g + b + i = 2*g, 0 = b - 1. Solve 0 = -5*o - 15, -4*k = -g*k + o for k.
3
Let q(i) = i**2 + i. Let m be q(-2). Let v(k) = -k**2 + 7*k - 9. Let u be v(6). Let a be (-4)/(-6) - 28/u. Solve -4*d + 2*d - m*w = a, -2*w = d + 10 for d.
0
Let g(k) = -k - 11. Let a be g(-9). Let c be (1/a)/((-9)/54). Let n be 1*-1 + -2 + 5. Solve n*b - b = 3, 1 = -4*y + c*b for y.
2
Let r = -23 - -27. Solve -32 = 4*l - r*x, 5*l + 5*x = -0*x for l.
-4
Let t be 164/12 + (-4)/6. Let i = t + -10. Solve -z + 4 = 0, 5*z - 7 = i*a + z for a.
3
Let n be 5 + -1 + (1 - 3). Suppose -n*h - 6 = -4*h. Suppose 7*v = h*v. Solve -3*x + 9 = r - v*x, -5*r + x = 3 for r.
0
Suppose 0 = -9*n + 2*n + 14. Solve -2*x = 3*k - 0 - 6, 4*x = -n*k + 12 for k.
0
Let f be (-3)/(-4) - 2/(-8). Let o be (-5)/(-10) - 106/(-4). Suppose -5*w = -o + 2. Solve -2*g = 3*s - 2*s + f, -w*g = 5*s - 5 for g.
-2
Let l(s) be the second derivative of -s**4/12 - s**3/6 + 3*s**2/2 - 3*s. Let z be l(0). Solve 3*c - 3*h - 6 = 9, 20 = 4*c - z*h for c.
5
Let b(s) = -s. Let x be b(2). Let z be (6/4)/((-9)/18). Let d = x - z. Solve -f + d = 2*c, 9 = -0*f - 4*f + 5*c for f.
-1
Suppose 0 = m + 4*b - 10 - 1, 0 = b - 2. Suppose 2*d - 6 - 150 = 0. Suppose -3*f - 32 = -i, -4*i + 5*f = m*f - d. Solve 2*x = -6, x + 0*x = -5*r + i for r.
4
Let g be 2/(-7) + 18/14. Suppose 5*t + g = 11. Let m be -2*5/t*-1. Solve -m*d - 15 = 0, 4*p + 4*d - 1 - 3 = 0 for p.
4
Suppose -5*j + 21 = 1. Solve j*g = -0*g + 3*r + 16, 3*g = -5*r - 17 for g.
1
Let d(i) be the first derivative of i**3/3 - 9*i**2/2 + 11*i + 2. Let v be d(8). Solve 2*u + 4 = a + 4*u, -v*a = 2*u for a.
-2
Suppose 5*z - 3*s - 42 = 0, -2*s = -5*z + 18 + 20. Let x be (-2 - -5)*2/z. Let q be -1 - x/1 - -6. Solve y = 6*v - 3*v + 10, -q*y + 10 = -2*v for y.
1
Let w(l) = -2*l**3 - 13*l**2 - 11*l - 5. Let h be w(-6). Solve -t = 3*z + 10, 0*z + 4*z + h = t for t.
5
Let f = 2 + -5. Let n be (24/(-9))/(2/f). Solve -2*t + 10 = -5*p, 0*p - p = n for t.
-5
Suppose -5*t + 21 = 11. Solve n = t*x - 13, -8 = -n - 2*x - 1 for n.
-3
Suppose 0 = -2*y - 5 - 1, y = -2*o + 3. Let m be (-2)/o - 32/(-3). Let h be (-1)/(-8) - ((-999)/24)/3. Solve 2*l - 2*j + h = 2*j, -m = -5*j for l.
-3
Let c = -17 + 18. Suppose c = -2*a + 5. Solve 3*z + z = 3*i + 4, -z + a*i + 6 = 0 for z.
-2
Suppose 4*s = 2*s + 8. Solve -q + s*t = 5, -3*t = -4*q - q - 8 for q.
-1
Let n = 0 + 2. Solve t = -t + n*l, -3*t - 2*l = 0 for t.
0
Let f(u) = u - 14. Let t be f(14). Let s be t/(3/((-9)/3)). Solve s = 3*j - 5*z + 45 - 11, 4*j + 32 = 4*z for j.
-3
Let y = -10 + 13. Solve 8*d - 3*d + 25 = 0, -5*g + y*d = -35 for g.
4
Let x be 1 - 1 - (-40)/5. Solve -5*d + x*i - 5*i - 15 = 0, i - 12 = 4*d for d.
-3
Suppose x = -5*n + 3, -3*n + 2*x - 6 = -0*n. Solve 2*i = 5*r - 2*i - 30, n = -r - i - 3 for r.
2
Let k = -9 + 9. Solve -3*m = -5*o - 4*m - 9, -3*m - 12 = k for o.
-1
Let k(b) = -3*b - 14. Let y be k(-6). Solve -2*i = 2*p + y, -1 - 10 = i - 2*p for i.
-5
Let t = 67 - 64. Solve t*m + 9 = -2*v, -4*v + 4*m = -0*v - 32 for v.
3
Let y be (-88)/(-40) + 1/(-5). Solve -13 = 3*m + 3*b + y*b, 2*m - 6 = 4*b for m.
-1
Let v be 8/6*(1 - -2). Solve 0 = v*o + u - 0*u + 4, -3*o - 3 = 4*u for o.
-1
Let g(w) = 5 + 2 + 3*w**3 - 2*w**2 - 6 - w + w**2. Let b be g(1). Let a be (12/8)/((-6)/(-32)). Solve b*v - 2*x - a = 0, -v + 5*v = 3*x + 11 for v.
-1
Suppose 2*m + w - 4 = 0, -1 - 7 = -4*m + 4*w. Let r(v) = 8*v**3 + 1. Let f be r(1). Solve 2*z + 2*s = -0 + m, 0 = z - 3*s - f for z.
3
Let h(s) = -s**2 - 12*s - 20. L