for k.
-4
Let l = -6 + 16. Suppose -25 = -5*d - l. Solve 2*g - 6 + 0 = -2*m, 5*g - 15 = -d*m for m.
0
Let d = 6 - 3. Suppose 2*y = d*l - 6*l - 10, -4*l = 3*y + 15. Solve 5*t - 2*q = 17, l = 2*t - t - 3*q + 7 for t.
5
Suppose -11*z = -6*z + 60. Let p be 9/z - (-92)/16. Solve 3*s = -2*c + 9, -2*c - p*s + 15 = 2*c for c.
0
Let s be 4/(-6) - (-34)/6. Suppose -s*m + 6 - 1 = -z, -4*z = -4*m - 12. Solve -4*w - w = -l + 5, -m*w = -2*l + 2 for w.
-1
Let f be 0 + 3/(-9)*-3. Let y be -2 + f/((-1)/(-4)). Solve -1 = -3*z - y*x + 18, -5*z + 29 = 2*x for z.
5
Let g = 83 - 80. Solve 5*u = -4*h + g*u - 2, -u - 3 = 3*h for h.
-2
Let j(n) = -n**3 + 5*n**2 - 3*n + 4. Let s be j(4). Suppose -3*w = -s*w. Let p = 2 + w. Solve -p*t - 4*r = -2*r + 12, 2 = -3*t + 5*r for t.
-4
Suppose -2*f + 6 = 5*t, -3*t = 5*f + 2*t - 15. Let p(h) = h - 5. Let x be p(7). Solve -2*o - 14 = -x*v, 5*o - 2*o - 3 = -f*v for v.
4
Suppose 0 = o + 2*o. Suppose 26 + 8 = 5*j - k, 4*j - 4*k - 24 = o. Solve -3*s = -4*x - j + 3, -12 = 2*s + x for s.
-4
Let m be (-3 + -1 + 24)/1. Solve -4*s - 4*p = -m, 4*s - 20 + 0 = 2*p for s.
5
Let m be 6 - 17/6 - 2/12. Solve 4*a + m*z = -z, 0 = -2*z + 6 for a.
-3
Suppose -z - 135 = 4*z. Let s = -24 - z. Solve x + 10 = -s*f, 9 = -3*x + f - 1 for x.
-4
Suppose 5*p - 20 = -6*x + x, 0 = 5*x - p - 26. Solve x*f - 20 = -t, -t = 2*f - 5 - 0 for t.
-5
Let z(i) = -i**2 + 13*i + 4. Let q be z(13). Solve x + 5*d + 2 + 15 = 0, 0 = 3*x + q*d + 18 for x.
-2
Let l be -2*3*(-1)/3. Suppose -y = l*y - 6. Suppose 38 = 3*m + y. Solve -2*z - m = 2*j, -2 = 3*j - 4*z - 19 for j.
-1
Suppose -4*r = 4*k - 3*k - 17, -30 = -5*r - 3*k. Solve r*a - 21 = -0*a - 5*h, 3*a = -4*h + 18 for a.
2
Let j be (-18)/(-4) + 5/(-10). Solve 3*b - 12 = j*g, -g + 7*b - 3 = 2*b for g.
-3
Suppose g = -0*g + 2. Suppose -2 = -g*d + 2*s, -s + 1 = 5*d - 2*s. Suppose -5*v + 5*c = -4 - 21, -c - 5 = d. Solve -1 = 3*z - j, v*z + 8 = -2*z - 3*j for z.
-1
Suppose 3*s + 13 = -g, -4*g - 4*s = 14 - 2. Let q be 4 + (-1 - g - -1). Solve -1 = -o - 2*x, 2*o - x - 16 = q*x for o.
5
Suppose 5*v = 4*v + 29. Solve 3*d = 5*u - v, 3*u - 6*u + 15 = -d for u.
4
Let c be 19 + -16 - (0 - -1). Solve -4 = 4*b - 3*q - 2, 0 = -c*b + 4*q - 6 for b.
1
Let z be (-2)/6 - (-4)/(-6). Let n = z + 1. Suppose -3*q + t + 11 = -n, 2*t = 3*q - 10. Solve 0 = 2*m - q, 0 = 4*f - m + 2 for f.
0
Let v be (-4 + 27/6)*0. Solve -2*m - m + 3*o + 9 = 0, o + 4 = v for m.
-1
Suppose 0 = -2*u - 2*a + 18, 3*a + 8 = -7. Solve -3*t - 5*r = -0*r + 16, u = -5*t - 2*r for t.
-2
Suppose -j = 4*m - 20, 4 = -4*m + 13*j - 8*j. Solve -d + 3*w + m = 2, 2*d + 5 = -3*w for d.
-1
Let h(s) = 4*s - 5. Let k be h(2). Solve 0 = k*i - 2*d + 2 - 0, -4*i - d = 10 for i.
-2
Suppose 2*t + 2*t - 12 = 0. Suppose 3*z = 3*v + t, -5*v + 40 = 4*z - 0*z. Solve 5*q - 6*a - 15 = -a, -z*a = q + 21 for q.
-1
Let k be (-1)/2 + 2/4. Let s(h) = 3 - 5 + h + 2 + 3. Let j be s(k). Solve 0*c + 2*c + t - 3 = 0, 2*t + j = -c for c.
3
Suppose -j - 4 = 1. Let k be (-6)/(j/(30/9)). Let c(z) = 5*z**2 + 2*z + 1. Let t be c(-1). Solve 0 = 4*d + d, t = k*p - 5*d for p.
1
Suppose -2*g - 2 = -6. Suppose -g*s - 2*s + 8 = 0. Suppose 25 = -5*h + 65. Solve -q - 3*t - h = 0, -5 = 2*q - q + s*t for q.
1
Let x(k) = -k**2 + 9*k - 5. Let s be x(8). Suppose -4*j - 20 = -4*w, -2 = -s*w - 5*j - 27. Solve -2*f = -0*z - 2*z + 4, -z + 3 = w for f.
1
Suppose 0 = -2*v + 11 - 3. Suppose 2*u = -10, 0*d + v*u = d - 22. Solve -2*o - d*l - 18 = 2*o, l = 2*o - 1 for o.
-2
Let g(v) = -11*v**3 - v + 1. Let f be g(1). Let j = -6 - 9. Let y = f - j. Solve 0*z + y*z + u + 18 = 0, -5*z = 3*u + 19 for z.
-5
Suppose 3*o + 5*f = 32, o = -5*f + 24 - 0. Suppose o - 10 = -3*m. Solve -5*k = 5*s + 50, -m*k + 15 = -0*k - 5*s for k.
-5
Suppose -2*n + 6 = -n. Let u be (11 - 9)*n/4. Solve 3*y = -4*b + 18, -u*y = -5*b - 0 + 9 for y.
2
Let m = 2 - 13. Let x = -11 - m. Solve x*w - 5*w + 10 = -3*a, -6 = 2*a - 4*w for a.
-5
Suppose 6*n = 2*n + 8. Suppose d + n = 0, -4*d + 12 = -k + 2*k. Solve 3*c = 3*i + 18, -3*i - k = 2*i + 5*c for i.
-5
Suppose -10*u = -12*u + 130. Let m be (-4)/10 + 546/u. Solve -s - 3*z = m, -3*s + 9 = 5*z + 29 for s.
-5
Let f be 1 + -1 + 2 + 0. Let b be ((-4)/(-3))/(f/6). Let h be ((-12)/3)/4 - -4. Solve -y + 8 = b*j - h, 4*j = 3*y - 1 for j.
2
Let p be 5/1*4/(-2). Let d be ((-36)/(-10))/((-2)/p). Solve -3*o - 2*y + 8 = 0, 0 = 3*o - 4*y + d - 2 for o.
0
Let h(o) = o**2. Let g = 11 - 5. Let l = g + -4. Let k be h(l). Solve k*x = 5*f + 17, -x + 16 = 4*x - f for x.
3
Suppose 3*o + 1 = 2*o. Let t = 2 + o. Let m be (t - (-12)/(-3)) + 3. Solve u + 4*v = m, -2*u + 2*v = -v + 11 for u.
-4
Suppose 2*h - 28 = -5*r, 2*r - h = 3 + 1. Solve -n = -a + 3, 0*n + 4 = -r*a - 4*n for a.
1
Let m = -2 - -9. Let h be -2 - 7*(-2 + 1). Let g = m - h. Solve s + 2*s + 16 = a, 0 = g*s - 4*a + 14 for s.
-5
Let x = -1 + 2. Let h(q) = 5*q**2. Let l be h(x). Solve -3*r - r + 5*z = 0, -5*r + 5*z - l = 0 for r.
-5
Let p(y) = y**2 - 4. Let s be p(-3). Let m be 25 + (1 + 0 - -2). Let i be 188/m - (-2)/7. Solve 5 = 5*v + 3*z - i, s*z = -3*v + 20 for v.
0
Let c be (-12)/42 - (-4)/14. Solve c = 2*n + 3*g - 7, -2*n + g = -2 + 7 for n.
-1
Suppose j - 2*j = -4. Let v = -1 - 2. Let h be (-3 - v) + 3 - -2. Solve -h*d = -j*a - 12, a + 6 = -a for d.
0
Let z = 38 + 82. Suppose l + 4*l - z = 0. Suppose -2*f + l + 6 = 0. Solve -2*x = -6, 5*x - 15 = -3*h + f for h.
5
Suppose -1 = 5*q + 4*h + 4, -q - 1 = -3*h. Let n be 1/(1/2)*q. Let l be (n/3)/((-4)/18). Solve -3*y = -a - 2*y - 1, -l*y = 12 for a.
-5
Let j = 29 - 19. Solve -2*u - 4*p = -3*p - j, 4*u + 5*p - 20 = 0 for u.
5
Suppose 2*i - 20 = 2*h, i - 5*h = -2*i + 40. Suppose 0 = 2*x + 4*u + 16, -11 = 2*x - 0*x + 3*u. Solve -x*t - 5*d = -7 - 9, t - 13 = -i*d for t.
3
Let n(l) = l**2 - 11*l - 7. Let a be n(12). Solve 4*m = -a*r + 4, 0*m - r - 8 = 3*m for m.
-4
Suppose -y - 4*y = 5*y. Solve 2*u + 3*u - 5*j + 35 = y, -u - j - 1 = 0 for u.
-4
Suppose 3*u + 2*j = -3*j, 4*j = -12. Solve -3*r - 5*c = -2*c - 18, u*c = 20 for r.
2
Suppose -4*k + 5 = 45. Let r(c) = -c - 2 + 6*c + 2*c - 10*c. Let x be r(k). Solve -g + 6*g - x = -2*i, 3*g - 8 = i for i.
4
Let q be (-1 + -3)*(-5 - -2). Solve -4 = -n, n = 3*i + i + q for i.
-2
Let v(n) = -3*n + 1. Let q be v(-4). Let w = 31 + -28. Suppose -4*c = 2*d - w*c - 7, -3*d + 3*c = 3. Solve j + 13 = d*s, -5*j = -5*s + 58 - q for j.
-5
Suppose -5*q + 81 = -2*q - m, 0 = 5*q - 5*m - 135. Solve 2*t = -5*d - 16, 5*d + q = -t + 9 for d.
-4
Let a = 16 - 10. Let j(r) = r**2 - 3*r - 1. Let p be j(4). Suppose -p*y + 6 = -a. Solve y*n - 1 = -2*d - 3, n - d + 2 = 0 for n.
-1
Suppose -27 = -3*c + 2*f, 5*c - 45 = -0*f - f. Let q be -2 + 1 + 2 - -1. Solve -5*z = j + 13, 5*z = q*z - c for j.
2
Let i be (6/(-24) - (-39)/(-4))*-1. Solve -4*g + 3*v - 15 = -0*v, 0 = 4*g + 2*v - i for g.
0
Let p = 26 + -23. Solve 5 = -p*l - 5*x, 2*l + 12 = -x + 4 for l.
-5
Let g be 4/4 + 18 + 1. Suppose 2*o - g = -0*o. Solve -4*j = m + o, -2*j = 2*m - 0 + 2 for j.
-3
Let y be (-7 + 1 - -12)/((-4)/(-2)). Solve 3*m = 4*z + 20, 6*z = 3*m + y*z - 18 for m.
4
Let n(d) = -17*d - 2. Let z be n(-1). Suppose -z*k - 15 = -20*k. Solve -5*h - k = -p + 15, -4 = h for p.
-2
Let j be ((-14)/(-3))/(1/3). Suppose 0 = 3*q + 4*d - 14, -j = 3*d - 2. Suppose -l = 5*b - 4 + 16, -15 = -4*l + b. Solve l*g = 2*o - q, -o = 3*g + 6 - 2 for g.
-2
Let h(f) = -f**3 - 2*f**2 - 4. Let t(q) = -q**2 - 9*q - 3. Let i be t(-9). Let s be h(i). Solve j + s = g, -5 = g + 3*j + j for g.
3
Suppose -2*y + 2*g - 4 = 0, 0 = 5*y + 4*g - 3*g - 14. Solve 2*q - 4*z - y = -8, -4*q + 14 = 5*z for q.
1
Let y(b) = b**2 - b - 3. Let q(n) = 1. Let r(l) = 6*q(l) + y(l). Let m be r(0). Solve 5*h = 10, -5*g - m*h = -0*h - 11 for g.
1
Let p(d) = d**3 - 3*d**2 + d. Let m be p(3). Let k = 5 + -5. Suppose k*o = o - 11. Solve -j - o = 5*c, -4*j + 10 = m*c - c for c.
-3
Let m = 4 + 17. Suppose 5*n - 17 = 3. Solve 8*l - s = n*l + m, -2*s = -3*l + 22 for l.
4
Suppose h + 0*h = 0. Solve 4*b - 2*w - 14 = 0, -4*b + h*b + 13 = -3*w for b.
4
Suppose 7*n - 3*n = 8. Solve d + 6 = -3*l, -n*l - 7 + 2 = d for d.
-3
Suppose 0 = a - 19 - 1. Solve 6*h - 4*h - a = -4*y, 0 = 5*h - y - 6 for h.
2
Suppose 0 = 5*q + 3*y - 15, -3*q = -6*q - y + 13. Suppose q = -v + 1. Let j = -2 - v. Solve -h + j = -5*s + h, 0 = s + 5*h - 21 f