 -20 for k.
-4
Suppose -4*o - 24 = -4*b, -3*b + 0 - 2 = 2*o. Solve -3*u = 3*a, u + 4*a - b = 1 for u.
-1
Let m be (8/16)/((-1)/(-10)). Suppose c - m*t + 9 = 3*c, -4*c = -5*t - 3. Let j be 2 - -1*2*1. Solve 3*b - 3*d + j*d = 10, 0 = -5*b + c*d + 24 for b.
4
Let p = -69 + 73. Solve -p*t = -x - 3*t + 6, x + 2 = -t for x.
2
Let k be 0/(15/20*(-16)/4). Solve b + 8 = -3*c, 0 = 4*b - k*c - 4*c - 32 for b.
4
Let i be 4/(8/35) - (-5)/10. Let l(h) = 4*h - 1. Let g be l(1). Let u = 8 - g. Solve f - 2 = u*p - 8, 0 = -4*f - p + i for f.
4
Let y = -5 + 16. Let i be (-13)/2 - (-5)/10. Let c = i + y. Solve -3*j = -g + 5, c*j - 3*g = -3 - 0 for j.
-3
Let x be ((-32)/(-12))/(4/(-6)). Let s be (0*(-1)/x)/(-2). Solve 0 = -5*m - 15, 2*m = -s*k + 4*k + 10 for k.
-4
Let a = -31 - -34. Solve -3*b = -n + 3, 4*n + 8 = a*b + 2 for b.
-2
Suppose 4*q = 29 - 9. Suppose q*m = -4*b + b + 29, 4*m + 21 = b. Let j = -2 + 2. Solve 3*k + j*k = 4*g + 3, -2*k = g - b for k.
5
Let h(s) = 13*s**2. Let l be h(-1). Let k = -9 + l. Suppose -k*d = -5*d + 2. Solve -2*y = -d*n - 2, 2*y + 5 = 5*n - 2 for n.
3
Let q(l) = -l**3 - 16*l**2 + 15*l - 32. Let i be q(-17). Let p = -1 - -4. Solve i = -2*v + r + r, 18 = -p*v - 2*r for v.
-4
Suppose -4*s - 2*z + 5*z + 4 = 0, 5*s = 5*z. Solve -n = -3*w + 7, -s*n + 5*w = -0*w for n.
5
Suppose 2*y = -3*k - 2, 2*k + k = -y - 7. Let g = -18 + 34. Solve 0*d + 16 = -d + 4*o, y*d - g = -4*o for d.
0
Suppose -2*t - t = -12. Suppose -t*f + 27 = -1. Solve 4*v = -5*p - f, 2*p + 2*p - v - 7 = 0 for p.
1
Suppose 3*f - 7 = 5*u + 3, 2*f = -5*u + 15. Solve 2*k - 1 - f = -5*a, -8 = -k - 5*a for k.
-2
Suppose 4 = -f + 3*j, 4*f = 3*f + 5*j - 10. Solve 0 = 2*l + f*n - 6, -l + n + 3 = -2*n for l.
3
Let z = 1 + -2. Let q be z + 5/((-15)/(-99)). Solve 3*m - 27 = -5*x, 5*m + 2*x = -2*x + q for m.
4
Let q(c) be the first derivative of -c**3/3 - 2*c**2 + c - 1. Let j be q(-3). Suppose 2*g = -0*g + j. Solve g*y + 15 = 5*b, -4*y - b = -3*y - 3 for y.
0
Let b(x) = -x**3 - 4*x**2 + 8*x - 4. Let c be b(-6). Solve 2*r = -5*o - 28, -5*r = -0*r + c for o.
-4
Let q = 1 + 2. Suppose w + q = 2, -w = 3*j - 35. Suppose 2*m - j = -m. Solve 2*y - 5*s - 5 = 0, -7 = m*s - 3 for y.
0
Let o = -13 + 15. Let j(b) = 4*b**2 - 1. Let s be j(1). Suppose -v + 12 = s*v. Solve -v*r = l - 6, 0 = l + o*l + 2*r - 11 for l.
3
Let j be (-6)/18*(-9)/1. Solve -c + j*g = 1, -2*c - 4 = 4*g - 2 for c.
-1
Let i = 5 + 2. Let s be 26/12 + 1/(-6). Let l = i - s. Solve 7*c - 3*c - 6 = 2*w, w - 3*c + l = 0 for w.
1
Suppose -2*i = i - 4*t - 80, 75 = 5*i + 5*t. Let f = 69 + -64. Solve -c + 0*r = 2*r + 4, -5*c + f*r = i for c.
-4
Let r be (-3)/(6/(-22)) - -2. Let x = -9 + r. Suppose -4*q - 2*k + x = 0, 0*q = -5*q + k + 19. Solve 2 = -2*b + 3*v, -3*v - q = -3*b - 0 for b.
5
Let j(c) = c**3 + 3*c**2 - 2*c - 3. Let i be j(-3). Let g(n) = -n**2 - 6*n + 3. Let x be g(-6). Solve x*b = i*y, 2*b - b + 8 = -3*y for y.
-2
Let h = 4 - 1. Suppose -h*a + 0*j + 9 = 2*j, 4*a + 4*j = 8. Solve a*p - 25 = -2*f, 6 = 2*p - 0 for f.
5
Let c = 123 + -225. Let r = -24 + c. Let u be (-4)/(-6)*r/(-7). Solve -2*q - u = -2*i, q + 3*q - i = -12 for q.
-2
Let d = 17 + -13. Suppose -d*m - 15 = -7*m. Solve 5*y + 4*s = -10, y - 2 = 2*y - m*s for y.
-2
Suppose 2*c + 2*c - 3*r - 17 = 0, 0 = 2*c + 5*r + 11. Solve 0 = 5*f - 5*d - 5, 2*f = c*d + 2*d for f.
2
Let z(k) = -k. Let f(o) = 3*o + 4. Let d(h) = f(h) + 2*z(h). Let b be d(-4). Solve 6 = 4*j + 3*y, -2*y - 7 + 3 = b for j.
3
Let s be 12/(-15)*(-385)/14. Solve 0 = -2*y - 4*h - s, -3*h = -y - 4*h - 8 for y.
-5
Let p = 3 + -9. Let l(i) = 11*i - 6. Let h be l(p). Let g be h/(-20) + (-2)/(-5). Solve 5*y = -g*t - 1, -4*y + t - 6 = -t for y.
-1
Suppose 148 = 5*m - 62. Suppose 30 = 8*k - 2*k. Suppose -k*o + 28 = -m. Solve 3*q + o = 5*x, 14 = 4*x - q - 0*q for x.
4
Let b(w) = -w**3 - 9*w**2 - 2*w - 8. Let v be b(-9). Suppose 2*g - 3*g = 3*k - 2, k = 5*g - v. Solve g*t - 2 = 5*u, -4*u + 4 = -3*t - 0 for u.
-2
Let j = -5 - -8. Suppose 5*h - j = 7. Solve 5*r = 3*q + 4, 3*q + 17 = -h*r - 2*q for r.
-1
Suppose 0 = -3*p + 3, -3*b + 0*p + 116 = -p. Suppose -4*j + b = -j. Solve -3*o + j = 4*u + 2*o, 2*u - 4*o + 26 = 0 for u.
-3
Suppose 0 = -5*u + 151 + 49. Suppose 3*z + u = 5*g, -5*g - 15 = 4*z + 50. Let h = z + 30. Solve q - 6 = 2*d, 4*q - 5*d = q + h for q.
0
Let w be (3/(-9))/((-1)/15). Let y be w/(-20) + 26/8. Suppose -5*u - 5*i + 15 = -y*i, 0 = -i - 5. Solve 4*m - u*c = 0, -2*m = -4*c + c for m.
0
Let d be 8/20 + (-3)/(-5). Let q be (0/4)/(1/d). Suppose 5*i = 1 + 9. Solve -3*p + g + 0*g + 14 = q, 4*p = -2*g + i for p.
3
Suppose 0 = -4*q - 2*q. Let u be 216/(-21) + (-4)/(-14). Let s = q - u. Solve -1 = -2*b - r, b + 0*r + s = 3*r for b.
-1
Suppose 18 - 10 = 2*k. Suppose 3*j - 4*j - 1 = 0. Let i be 4 + (j - -3)*-1. Solve -2*w - 2*c + 4*c + 10 = 0, i*w = k*c + 10 for w.
5
Let o be 1/((-11)/(-5) + -2). Let x be 10/8*4/1. Suppose 7*l - 6*l - 5 = 0. Solve 3*a - v = -3, x*v - l = o*a + 2*v for a.
-1
Let k = 1 - -4. Solve -5*w + k*c = -30, 5 = 2*w + 2*c + 13 for w.
1
Suppose -2*w + 6 = -2*t, -27 = -3*w - 2*w + 2*t. Solve -j - 4*i + w + 2 = 0, -4*i + 21 = -3*j for j.
-3
Suppose -8 = -3*c - 2. Solve 0 = -4*i + 4*m - 24, -4*i + i - c*m = -7 for i.
-1
Let w = -74 - -40. Let g be w/(-10) + 6/(-15). Solve -3*b + 0*b = -g*x - 6, 5*x + 40 = -5*b for x.
-5
Let j be 4 - 1 - 24/4. Let m = 33 + j. Solve 2*i = 5*r - i + 26, 5*i = 5*r + m for r.
-4
Suppose -2*g - 4 = 10. Let p be 3/(-6) - g/2. Solve 0 = -3*h - 4*u - 20, 3*h + 5 = 2*u - p for h.
-4
Let m = 13 + -15. Let j(c) = -4*c - 3. Let n be j(m). Solve n*w = 4*u - 10, 0*w + 4 = 3*u - 2*w for u.
0
Suppose 2*f + 1 + 11 = 4*z, 5*f + 3 = z. Solve f = 4*l - 4*n, 0*n + 3*n + 4 = 2*l for l.
-4
Suppose 3*f - l - 73 = l, -2*l + 52 = 2*f. Suppose -3*u = -2*q - 15, -5*u + 2*q + 2*q = -f. Solve -u*n - b = -0*n + 18, 24 = -4*n - 4*b for n.
-3
Suppose 4*j = -c - 35, 5*j + 4*c = 3*j. Let z = 13 - j. Solve d + 4*n - 6 = -z, 5*n + 20 = 0 for d.
-1
Suppose -21 = 3*w - 6*w. Let z(j) = -4*j**3 - 1. Let l be z(-1). Suppose -2*u = 3*y - w*u + 5, l*y + 5*u = 35. Solve 1 = -t - h, 3*t + 5*h = 4*h - y for t.
-2
Suppose -w = 3*k + 17, 0*w = 2*w - 2*k + 34. Let g = -13 - w. Solve t + i - g*i + 17 = 0, -3*t + 5*i = 35 for t.
-5
Let f(j) = 1. Let b(p) = p + 8. Let x(l) = b(l) + f(l). Let o be x(-4). Solve 3*m + 19 = o*y, 5*y - y - 8 = 0 for m.
-3
Let l = -32 - -40. Solve -h + 13 = 2*t, -t - 4*h + l = -3*h for t.
5
Let u = 5 + 2. Suppose -u = -3*x + 4*o, 2*x + 0 = -5*o + 20. Solve 4*g - g - 21 = -2*f, 37 = 4*f + x*g for f.
3
Let z(y) = y**2 + 7*y - 6. Let l be z(-8). Suppose -3*j - 8*f + 4*f + 18 = 0, l = -5*j + 4*f. Solve -4*i - 4*u = 20, -i - j*u = 10 - 5 for i.
-5
Let z(d) = 2*d**2 + 5*d - 4. Let s be z(1). Solve -4*u + 22 = 3*j, 7*u - 4*u - s*j = 6 for u.
4
Let s be (-4 + 3 + 2)*3. Solve -s*r = -5*p + 22, r + 3*r + 4*p + 8 = 0 for r.
-4
Let f = -44 - -54. Solve -4*z + 0*d - 14 = 2*d, -2*z - f = 4*d for z.
-3
Let n(a) = 3*a**2 - 4*a + 3. Let j be n(1). Solve 0 = 3*x - 4*x - q + 2, -x = j*q for x.
4
Suppose -5*q - 3*c = -95, -59 = -4*q - 0*c + c. Suppose -9 = -5*f + q. Let k = f - 2. Solve 4*m + 8 = -4*r, 0 = k*m - r - 0*r + 18 for m.
-5
Let k be ((24/(-20))/1)/(12/(-40)). Let d be 3/2 + 1/2. Solve -k*t = 16, -d*b - 2*t - 11 = b for b.
-1
Let j(y) = -y**2 - 5*y + 4. Let b be j(-5). Solve 5*d - b*p + 20 = 0, 7*d + 4*p = 6*d - 4 for d.
-4
Let l(g) = -g**3 + g**2 + 11*g - 5. Let k(b) = b**3 - 12*b + 4. Let n(d) = -4*k(d) - 5*l(d). Let r be n(6). Solve x + 2*z - 9 = 0, 3*x + 0*z - r = 2*z for x.
3
Let x = 0 - 6. Let w(l) = -l - 1. Let d be w(-7). Let t = x + d. Solve -m + 2*m - 2*o - 9 = t, m = -o for m.
3
Let m(b) = b**3 + 2*b**2 - b + 1. Let t be m(-2). Solve -t*g - 4*p + p = -9, 2 = 4*g - p for g.
1
Suppose 27 = 5*c + 3*a, -2*c - 2*a + 10 + 4 = 0. Solve -1 = 4*x - 3*i, -c*i = 5*x + 9 - 28 for x.
2
Let z(f) = -f**3 + 4*f**2 + f - 1. Let b be z(4). Solve 16 = 4*k, 0 = b*y - 3*k - 4 + 16 for y.
0
Suppose -f + 9 = -0. Suppose -u + f = 1. Solve -4*n - 3 - u = -h, 7 = -5*n - h for n.
-2
Let r be 0 + 4*(-1 - 0). Let u be (r - 0)*9/(-4). Solve o + 0*z = -3*z - u, -11 = -5*o - z for o.
3
Let b(i) = -i + 8. Let f be b(7). Suppose -5*m + 18 = -7. Let r(v) = 6*v**2 - 5. Let x be r(2). Solve -5*t = -h + f - 24, -m*t + 3*