for k.
-5
Let s be 10/(-6) + 1 + (-24)/(-36). Solve 0 = 5*w - 4*a + 11, s*w - 5*w = a + 16 for w.
-3
Suppose -3*p + 20 = -7*p. Let y be (-1)/1*(2 + p). Solve -b = 4*t - 9, 0*t - y = -2*b - 3*t for b.
-3
Let g = 3 - -2. Suppose -2*x - 2*x = -20. Let o = g - x. Solve -5*a - r + 14 = o, 5*a + r - 11 = -3*r for a.
3
Let o be 2 - 2 - (3 + -1). Let f = 4 + o. Solve -6 = 5*w - 5*b - 21, -3*b - f = 4*w for w.
1
Let i be -2*(4 + -3*2). Solve -3*p - 11 = -i*k + 3*k, 0 = 4*p + 16 for k.
-1
Let i = 28 + -14. Suppose 0 = h - 8 + 1. Let d = -4 + h. Solve t = 3*p + 10, 2*t = 5*p + d*t + i for p.
-3
Let y(r) = r + 6. Let c be y(0). Suppose -8*w + 11*w = 9. Solve -4*j = -c*j - a + 1, -a = w*j for j.
-1
Suppose 20*w - 16 = 12*w. Solve -2*i - 4*g - 3 = -g, -i - g - w = 0 for i.
-3
Let l be -5*(5/25 + (-12)/10). Solve -3*p = -4*p - 5*m + 22, l*p - 4*m + 35 = 0 for p.
-3
Let y(s) = s**3 + 2*s**2 + s + 1. Let u be y(-2). Let p be 0/(1 - u) + 7. Solve 3*q + 0 + p = -o, q = -4 for o.
5
Suppose -11*w = -8*w - 9. Let r be (-1 - -3) + -3 + w. Solve 3*f + r = -2*y + 4*y, 0 = -3*y + 3*f for y.
-2
Suppose -2*t - t + 19 = 4*w, 5*w = 4*t + 16. Solve -2*s - 8 = 4*a, a - 1 = -w*s + 2*s for a.
-3
Let p be 2/4*-1*-6. Solve 5*a - a = -o - 14, -p*a = 3*o + 15 for a.
-3
Let p be 38/9 + (-6)/27. Let b be (-2)/(-5) + 46/10. Suppose -2*l + 3 = -b. Solve 5*x + i = 3*i + 16, -p = x - l*i for x.
4
Let k be 3*(-6)/(-8)*-4. Let h be 16/(-6)*k/12. Let o(i) = i**3 + 7*i**2 + 6*i + 2. Let b be o(-6). Solve b*m = -h*f + 6, f + 0*f - 2*m = -6 for f.
0
Suppose -2*r - o = o + 6, 0 = 4*r - 5*o - 15. Suppose r = 2*s - 0*s - 8. Solve -4 = 4*n + s*k, -5*k + 10 = -3*n - k for n.
-2
Let i = 1 + 1. Let j = 3 + i. Let z(o) = o**2 + 2*o + 2. Let w be z(-2). Solve -j*m - 28 = 3*p, -w = p + p for m.
-5
Let y = 6 + -1. Suppose 2*o - 3 = 5. Solve 3*i + 9 = 3*x, i - 35 = -y*x - o*i for x.
5
Let r(m) be the third derivative of m**4/24 - m**3/3 + 2*m**2. Let w be r(7). Solve w*j + 5*b = 8*b + 25, 0 = -4*j + 4*b + 20 for j.
5
Let n = -5 - -5. Suppose n = u - 0*u. Solve 2*f + u = -2*k + 6, f = 3 for k.
0
Suppose -6 = -5*c + 54. Let y be (c/9)/(2/39). Solve -3*k = -5*d + y, -2*d + d = -3*k - 10 for k.
-2
Let f = -1 - -1. Suppose -132 = -f*l - 4*l. Let z(m) = -m**3 + 6*m**2 + 4. Let c be z(6). Solve 5*q - l = c*a, -23 = -5*q - 3*a - 4 for q.
5
Suppose 9*i = 4*i. Let c = 7 - i. Solve c = -2*z + 3*w, 1 = -w + 6 for z.
4
Suppose -25 = -q - 5*k, -3 = 2*q - 4*k + 3. Let i be -2 + 4 + (2 - -1). Solve 4*w + f = -1, -3*w - q*f = 2*w + i for w.
0
Let a(m) = m**3 - 9*m**2 + 10*m - 8. Let v be a(8). Suppose 5*q - v = 3*q. Solve -2*f - 20 = 2*f + q*j, 4*f + 12 = -2*j for f.
-1
Suppose -3*u + 95 = 35. Suppose 3*k + d - 11 - 4 = 0, 4*k - 3*d - u = 0. Suppose 0*z + 4*z = 12, i = 2*z - 2. Solve i*f - k*g - 9 = 0, f - 19 = 3*g - 8 for f.
-4
Suppose 5*x - 4*r = 11 + 12, 4*x = 5*r + 13. Let f be -1 + x - (-6 + 8). Solve o = u + 2, f = 3*o - o + u for o.
2
Suppose -4*g + f = 136, 7 = -4*g - 3*f - 113. Let r be 53/11 - 6/g. Solve -h + 12 = 4*v, 3 = r*v + 2*h - 9 for v.
4
Let i(r) = r**3 + 2*r**2 - r. Let l be i(1). Suppose 0 = 4*f - l*d - 126, 98 = 4*f - f - 5*d. Let y = -12 + 14. Solve -9 = -3*m - y*q, 5*m = q + q + f for m.
5
Suppose 0 = -17*i - 7*i + 48. Let q be ((-8)/(-10))/(2/5). Suppose 2*a + a = 6. Solve a*z + i*p + p = -5, -1 = -q*z + 3*p for z.
-1
Let x(d) = -d**3 + 16*d**2 + 18*d - 3. Let y be x(17). Suppose -8 - y = -2*g. Solve 2*r - 6*t + 3*t - 1 = 0, -5*r = t - g for r.
2
Let h(w) = 2*w - 4. Let a be h(5). Solve -v + a*v + 5 = 5*z, -3*v = -2*z + 5 for v.
-3
Let t = -173 + 101. Suppose -a - 2 = -2*a. Let v be ((-1)/a)/(6/t). Solve 26 - v = 2*n + 4*p, 15 = -n + 3*p for n.
0
Let f(c) = -c**2 + 9*c - 14. Let v be f(7). Solve -3*h - 3 = -12, -2*b + 2*h - 6 = v for b.
0
Let w = 6 + -4. Let s(j) = 4*j - 8. Let q be s(7). Solve 3*z - q = -0*z - 2*k, -w*z + 4*k = 8 for z.
4
Suppose 16 = 10*i - 14. Solve d = 5*t - 15 - 4, -5*t = 3*d - i for d.
-4
Suppose 8 - 2 = a. Suppose 5*h + 2*s - 65 = 0, a*s - 10 = 8*s. Suppose 2 + 4 = i + y, -y = 4*i - h. Solve i*g + 4*q = 16, 5*g = -q - q + 8 for g.
0
Let u be (-3)/(3 + (-36)/8). Suppose -10 = -4*v - u. Solve -5*p - 4*a = -5, -v*p = -4*p - 5*a + 2 for p.
1
Let n = -8 - -10. Suppose -n*y + 0*y = -8. Solve -4*h = -g + 8, 6 = y*g + h + 25 for g.
-4
Suppose -2*s = -1 + 25. Let z be s/(-60) + (-4)/(-5). Solve 5*m - 4*o + 5 = o, -3*m + z = -o for m.
1
Suppose -37 = 5*s - 2*i, 3*s - 4*i + 25 = -0*s. Let d = s + 9. Solve -d*h - 4*w = 3 + 5, 0 = 5*h + w + 20 for h.
-4
Let n be 1*-2 + 2/(-4)*-14. Solve n*h = b - 0*b + 15, 3*b - h + 17 = 0 for b.
-5
Suppose 0 = 2*q + 4*y - 8, q + 4*y = -0*y + 8. Suppose q = -s + 4*s - 60. Solve 0 = 2*b - 5*o - 10, 3*b = 7*b + 4*o - s for b.
5
Suppose -3*h - 2*h = -30. Let v be 3/h*-2 - -1. Suppose b - 2 = -v. Solve 0 = 3*s + 5*y + 2 + 10, b*s - y - 5 = 0 for s.
1
Suppose -6 + 18 = 3*g. Solve -2*c = 2*r - 6*c - 4, -5*r = -g*c + 2 for r.
-2
Let i = -1 + 1. Suppose i = 3*w + 10 - 70. Let y = -119 - -123. Solve -5*p + 35 = y*s - 9*s, 2*p - w = 4*s for s.
-3
Let t(c) = c**2 + 6*c - 7. Let x(l) = l**2 + 11*l + 3. Let m be x(-10). Let s be t(m). Solve 0 = 3*o, s*o = 5*v + 2*o for v.
0
Suppose 0 = 16*q + 28 - 92. Solve 0 = -4*u - 8, -u + 0*u = q*n + 22 for n.
-5
Let f(l) = -32 + 3*l - 4*l + 30. Let v be f(-7). Solve 0 = 5*p + v*m + 10, 3 = -4*p + m for p.
-1
Suppose -14 = l - 3*l + 3*w, -4*l + w + 18 = 0. Suppose p - 3*p = -4. Let q = p - -3. Solve -q*x + 12 = o, 0 = -6*x + l*x - o + 6 for x.
2
Let z(q) = 8*q**3 + 2 - 2 - q + q**2. Let u = -7 - -8. Let t be z(u). Solve -4 = -o, 2*g - 2*o = -o - t for g.
-2
Let s = 15 - 9. Solve 4*k + 4 = 2*u - u, -s = 3*k for u.
-4
Suppose -4*a = a - 345. Suppose -3*g + 0*g + a = 0. Solve -3*t + 4*v = -g, 2*v + 17 = 3*t + v for t.
5
Let d = -8 + 14. Solve 24 = -4*a + 3*v, -3*a + v - 7 = d for a.
-3
Let z be 6 + -3 + 3 + -6. Suppose -4*m + 6*m - 48 = 0. Solve z*p + 3*p + m = 3*k, 5*k = -2*p + 12 for p.
-4
Let m be (5 - 1)/2 - 0. Solve -b - m*u = 0, 0 = -7*u + 2*u - 10 for b.
4
Suppose -3*x + 6 = -0*x. Let j be (5/x)/((-1)/(-2)). Solve -2*g + j*m + 1 - 13 = 0, -2*g + m = -4 for g.
4
Suppose 5*h = -3*s + 32, 2*h - 2*s - 3*s + 12 = 0. Let f = 6 - h. Let t be (-3 - -5) + f + 0. Solve -2*j + r = -0*r - 4, -5*r - 20 = -t*j for j.
0
Suppose 3 + 5 = 4*f. Solve -3*b = 4*n + 16 - 0, -f*b - 4 = -4*n for b.
-4
Suppose -4*n + 20 = -s, 4*n + 5*s - 20 + 0 = 0. Suppose 0 = -3*l + 5*l. Solve -5*w = -5*y - l*w - 30, n*w = 4*y + 26 for y.
-4
Suppose -5*p - 20 = -2*t, 0 = -t + 5*p + 3 + 12. Suppose 2*g - 2 = 8. Solve g*c + 25 + 0 = t*f, -9 = -3*c - 5*f for c.
-2
Suppose f - 5*f + f = 0. Solve f = -2*y - 4*t - 1 + 17, 4*t - 24 = -4*y for y.
4
Let k(d) = -d + 1. Suppose 2*h + 7 = 1. Let i be k(h). Solve 5*x + 2*v - 7 = 0, 0 = -i*x + 5*v - 1 for x.
1
Suppose 0 = -c + 4*m + 30, -4*c + 8*m + 76 = 3*m. Suppose -z + 5 = 2, -5*z = x - 63. Let d be x/21 - 4/c. Solve 2*t - i = -4, 0 = -t - d*i + 6*i - 9 for t.
-1
Let y be 3/9*0/5. Solve 3*d - 3*x - 7 = d, -5*d - x + 9 = y for d.
2
Suppose -4*l = -0*l. Suppose l = -3*i, 4*i + 9 = 3*v - 0*i. Solve 3 + 6 = -v*a, -2*s + 4*a = -20 for s.
4
Suppose 5*q - 40 = 5*d, 4*d - 4 = -6*q + q. Solve -2*k = 5*y + 5, -2*k = -2*y - 4*k + q for y.
-3
Suppose 4*r - 14 = -a, -5*r + r + 10 = -a. Suppose 4 - 19 = -r*y. Let c be 2/9 - 16/(-9). Solve 2*n - 18 = -c*f - 3*n, y*f = -5*n + 15 for f.
-1
Suppose -8*x + 3*x = 10, 3*z - 4*x - 17 = 0. Let p be (0 + z)/((-9)/(-6)). Solve 0*o - 4*o - 15 = a, p*o + 11 = 3*a for o.
-4
Let g = -15 - -3. Let h be (-1)/(-1 - g/15). Suppose s - h = -2. Solve 4*d + 20 = 2*j, -s*d + 5*d + 10 = 5*j for d.
-5
Let b(z) = -2*z. Let j = 6 - 8. Let t be b(j). Solve -t*y + 4 = -4, -3*k - 4*y + 2 = 0 for k.
-2
Let h be (-2)/2 - 3 - -9. Solve y = 4, -h*z - 5*y = -0*y - 15 for z.
-1
Let f = 12 + -3. Suppose 2*t - 9 = f. Solve -s - 5*z = 18, s + 1 = -3*z - t for s.
2
Let o = 0 + -5. Let c = o - -7. Solve 3*m - c*r + 11 = 1, -4*m - 13 = -3*r for m.
-4
Suppose -2*o - 9 = -4*z + o, 9 = 5*z - 3*o. Suppose 0 = -4*b + 20 - 0. Solve 5*w + 20 = z, -8 = b*x - w - 2 for x.
-2
Let r be -3 + (-24)/(-3) + -2. Suppose 3*d + i = 15 - 4, 3*i - 17 = -5*d. Solve 0 = 2*s + 2, -2*s - 21 = -d*n + r*s for n.
4
Suppose -u - 25 - 32 = -3*j, 0 = 4*u