 0 for k.
1
Let f be (0/2 - 1)*1. Let q be 12/(-78) + (-505)/13. Let w be (q/12)/(f/8). Solve 3*b + t - 7 = 2, 5*b - w = 2*t for b.
4
Let o = -62 - -66. Suppose -2*m + 3 = -1. Solve 20 = -m*x - 3*a - 0, 5*x - o*a + 4 = 0 for x.
-4
Suppose -o - 2 = 0, -3*w - w - o = 2. Suppose 2*q + 2*r - 4*r + 8 = 0, 3*r + 6 = w. Let z be (q/4)/(4/(-8)). Solve 2*u = z*c + 2, -1 = 4*c - 6*u + 5*u for c.
0
Suppose 3 + 1 = 2*o. Let h be (-2)/4*o*-3. Solve -5*a = -25, -5*a - 5 = h*p - 42 for p.
4
Suppose -5*x - 13 = -2*p, 2*x + 9 - 57 = -3*p. Let g = -9 + p. Suppose g*f = f. Solve f = -3*o + t - 8, 2*o - 4*o - 16 = 2*t for o.
-4
Let o be -2 - (-2 + -3 - 0). Let m = -1 + 1. Let l = m + 0. Solve l*t + t - 4*h = -15, 6 = o*t + 5*h for t.
-3
Let g be 0 + -3*2/(-3). Let j be (2 - -1 - g)*5. Solve a = -4, 5*a = -j*u + 6*a + 4 for u.
0
Let k(w) = -8*w + 8*w + w**2 - 4. Let p be k(-3). Solve 0 = -p*y - 4*h + 16, 5*h - 13 = -4*y + 2*h for y.
4
Let r(y) = 5*y**2 - 1. Let a be r(-1). Let k be ((-12 - -14) + 0/(-1))*12. Solve -k = -a*m + 4*t, 4*t - 1 = m - 10 for m.
5
Let t = 2 - -7. Let u be 27*(0 + 3/t). Solve v = -d + 5*v + 15, -u = d + 4*v for d.
3
Let p be -1 + -2 + 1 - 3/(-1). Solve 4*d = g - 7, -g + d + p = -0 for g.
-1
Let z be (10/2)/(2/(-2)). Let d(o) = -o + 3. Let i be d(z). Solve -3*y + 5*r - 31 = 0, -r + 3 = 5*y + i for y.
-2
Let o(d) = d**3 - 5*d**2 + d - 2. Let v be o(5). Suppose -v*w + 25 = -5. Solve -3*s + 3*f + 15 = 0, 2*f + w = 3*s - 2*s for s.
0
Let s(h) = -h**3 - 6*h**2 - 5*h + 2. Let r(x) = -x + 3. Let g be r(8). Let y be s(g). Solve 4*i + y*w - 14 = 0, -4*i + 4*w + 21 = 1 for i.
4
Let l(w) be the second derivative of -w**3/6 + 2*w**2 + 3*w. Let a be l(0). Let g = 7 - a. Solve -g*z = 5*h - 13, 2*z = -2*z - 16 for h.
5
Let x(z) = z**3 + 3*z**2 + 2*z + 2. Let u be x(-2). Let k = u - -3. Solve 5*t + 3*a = -0*a + 14, k*a = t + 14 for t.
1
Let r(k) = -k - 6. Let x be r(-8). Solve -x*i + 2 + 3 = -3*c, -3*c = 4*i + 17 for c.
-3
Suppose -4 = -j + q, 4*q = 3 + 1. Solve -r + 32 = 5*i + 9, 5*i = -j*r + 15 for i.
5
Suppose -10*j + 112 = -3*j. Solve -c = c + 8, 3*k + c + j = 0 for k.
-4
Let g = -35 - -35. Solve -2*y - 5 = -g*m - m, -y = 3*m - 8 for m.
3
Suppose 0 = -2*k + r - 38 + 9, 3*r = -4*k - 53. Let o = 1 - k. Solve -o = -2*d - 4*z - z, z = 3*d + 20 for d.
-5
Let r be (-1 - -2)*(9 - -3). Let b = r - 10. Solve 2*o = n - b, 0 = 5*n - 16 - 4 for o.
1
Let o(s) = s**3 - s**2 - s. Let x = 13 + -13. Let p be o(x). Solve 8*h - z = 3*h - 22, 3*z + 9 = p for h.
-5
Let w(u) = -2 + 5 + u - 2. Let b be w(5). Suppose c = -c + b. Solve 15 = -4*f - c*t, -t = 3*f + 10 - 0 for f.
-3
Let l = -5 + 9. Suppose -27 = 3*o - 3*j, -l*j - 9 + 32 = -3*o. Let c = -9 - o. Solve 0*h = -h - c*r - 20, 2*r = -10 for h.
0
Let n be 3*((-6)/(-2))/9. Let h(m) = m**2 - m + 2. Let r be h(n). Solve 0*z + 5*z = -5*l, -r*l + 28 = -5*z for l.
4
Let v(t) = -2*t - 7. Let o be v(-6). Let c be o + -5 + (1 - -7). Solve -5*y - n = -4*n - 22, 2*y - c = n for y.
2
Suppose -3*o + o - 2 = 0, z + 4*o + 55 = 0. Let p be (-6)/15 - z/15. Solve -7 = m - p*y, 0 = -4*m + 2*y - 7*y + 6 for m.
-1
Let y(b) = -3*b - 3. Let c be y(-2). Solve -2*j + o - 24 = c*j, 0 = -2*o + 8 for j.
-4
Suppose v + 2*v = 48. Suppose 4*g + v = 0, 0 = -2*n - 4*g + 2*g - 4. Suppose -6*p = -p - 10. Solve u - 3 = -n*r, p*r + 2*u + 17 = -3*u for r.
4
Suppose -2 = -3*j + i + 7, -4*i - 12 = 0. Suppose -5*l + 10 = -3*x, -16 = 4*l + 5*x - 61. Solve 2*w - 22 = l*t, -2*w + j = -0*w for t.
-4
Let c(g) = g - 1. Let t be c(4). Suppose 4*h - 8 = -2*a, 2*h = -4*a - 0*h + 4. Suppose a = t*z + 2*z. Solve -4*y + 7 = 5*r, y = 2*r - z*y + 5 for r.
-1
Suppose -5*l + 35 - 15 = 0. Suppose 4 = -g + 5*w - l, 5*g = 5*w. Let d be 30/9 - g/(-3). Solve -19 = 2*n + 3*n - 2*h, -d*n - 4*h = 32 for n.
-5
Let o = -5 - -5. Suppose 2*z - 3*z + 2 = o. Solve 2*g = -g + j + 13, -3*g - z*j + 19 = 0 for g.
5
Let s = 2 + 0. Suppose 5*z - 18 = -s*h, 2*z - 5*z + h = -13. Solve 0*k = -z*k + 5*n + 36, -8 = 2*n for k.
4
Suppose 0 = 4*r - 5*r + 4. Let p(x) = 2*x - 5. Let i be p(r). Solve -5*t + 16 = -i*d - 1, -1 = -5*d + t for d.
1
Let q be -2 + (-3)/(-3) + 1. Suppose q = 4*d - 2*k, -3*k + 2*k = -4. Let r be 2 + (0/(-3))/(-1). Solve b - 3*p = -d, 0 = -3*b + b + r*p for b.
1
Let z be (-2)/10 + (-33)/(-15). Suppose -2*n + 0*n = z*p - 2, 4*n - 31 = 5*p. Solve n*i - 10 = -5*v, v + v + 3*i - 11 = 0 for v.
-2
Suppose -5*q + c + 22 = -2*c, -5*q + 5*c + 20 = 0. Let z be (q/10)/((-3)/(-24)). Solve 0 = -3*y + 8*y + 20, -2*y = -u + z for u.
-4
Let y = 9 - 5. Suppose -6 = -y*z - 2*x, -2*z + 7*z - x = 25. Solve 0*k = -p - z*k - 9, 9 = p - 5*k for p.
-1
Let r = -140 - -246. Suppose -4*t + 3*d + r = 0, -2*d = -7 + 3. Solve -4*o - 4*v - t = -0*o, 0 = -4*o + v - 3 for o.
-2
Suppose 16 = o + 3*o. Let x be 3/o - (-2)/8. Suppose 2*z = z + 4. Solve -9 + x = w - 3*d, d = z*w - 12 for w.
4
Suppose 2 = -2*x - 2. Let u be (-6)/x - (11 + -10). Solve -4 = -w + u*w - 3*d, -5*w = -3*d + 20 for w.
-4
Let a(r) = -8*r - 5. Let w be a(-4). Suppose w = 2*q + 1. Solve j = -4*g + q, 0 = 5*j - 2*g + 7*g - 20 for j.
1
Let f(i) = i**2 + 2*i - 2. Let p be f(-4). Let n be 2/6 + 16/p. Solve a = -n*k, -2*k + 5*a - 3*a - 8 = 0 for k.
-1
Let y be ((-5)/(-3) - 1)*30. Let x be 5 - (0 - (0 + -1)). Suppose u - 8 = -x*f, -5*u = -0*u + y. Solve -5 = s, 0 = -0*v + f*v - 2*s - 1 for v.
-3
Suppose 5*p - 24 = -4*f, 3*p - 6*p - 12 = -2*f. Let v = -4 + f. Let z = 14 - 9. Solve v*n = -z*q + 6, -n + 2*n = 5*q + 3 for n.
3
Let a be (2/(-4) + 0)*(9 - 19). Solve -2*z = -10 + 2, a*z - 12 = -2*r for r.
-4
Let c = -2 + 7. Solve -c*t = 5, -3*v + 2 = 3*t - 2*t for v.
1
Suppose 4*f - 79 = 1. Let m = -10 + f. Suppose 0*h - j = 5*h - 9, 0 = 3*h - 4*j - m. Solve h*s + 1 = 3*d, 3*s - 2 = 5*d - 3 for s.
-2
Let t(c) = -c**3 + 3*c**2 + c. Let o be t(3). Let q = 6 - o. Solve -4*l = q*m + 8, m - 2 = 3*m + l for m.
0
Suppose 2*o - 100 = -3*o. Suppose -9*f + 5*f = -o. Solve 0 = l + f, 3*n - 3*l - 35 = -n for n.
5
Let u = -2 + 3. Let b be -2 - (-13 - (2 - u)). Suppose 0*k + k = 9. Solve 5*x + 0*v + 4*v - b = 0, 3*v - k = -x for x.
0
Suppose 3*d + 6 = 0, -d - 50 = 3*x - 6*x. Suppose x = 3*m - 38. Solve -3*s = -3*t - 9, -5*t + 3 = 2*s + m for s.
0
Let a(x) = -x**2 - 9*x + 2. Let s be a(-9). Suppose -5*y - s*v + 8 = 0, 2*y - 16 = -5*v + 4. Solve 2 = 2*t - 0, y = 2*c + 5*t - 9 for c.
2
Let t = 64 + -60. Solve 4*z - z - 5*u - 32 = 0, -u + 12 = t*z for z.
4
Let b be 20*1 - 2 - 1. Let x = -27 + b. Let u = -5 - x. Solve -3*o + u*w = -4*o - 22, -2*o + 31 = -5*w for o.
3
Suppose -2*x = 2*k - 14, -4*k + 3*k - 5 = -2*x. Suppose 2*z = -s - 4*s + 31, -s = k*z - 14. Let n = 1 + 1. Solve 5 - 15 = 2*w - 4*a, -n*w = z*a + 10 for w.
-5
Suppose -2*i - i + 6 = 0. Suppose -a = -2*g - 2, a - 2*a + 5 = -5*g. Suppose 26 + 16 = 4*s - 5*o, a = -i*o - 4. Solve -3*z + s*z = t + 17, 3*t = -2*z for z.
3
Let d = 10 + -8. Let l be 1 + (3 - (d + -3)). Solve 8*h - 3*h + 4*k = 8, -29 = -l*h + 3*k for h.
4
Let u be 7/42 + (-3)/(18/(-11)). Solve 5*y = f - 17, u*f - 4*y - 18 = -f for f.
2
Let h be 12/(4 - 3 - -1). Let b = h - 1. Solve 0 = -b*u - 5*t + 10, 7*u - 3*t = 3*u - 6 for u.
0
Suppose 0 = t + 3*j - 11, -3*j + 3 = -4*t + 2. Solve -28 = -4*k - 2*u, k + 5*u - 15 = t*k for k.
5
Let w be 4/14 - 9/7. Let l be (3 + w)/((-1)/(-2)). Suppose -3 - 5 = -l*y. Solve -3*x + y*t + 1 = -0, -4*t = 4*x - 8 for x.
1
Suppose -5 = f, -2*l + 2*f = -f - 21. Solve 3*z = 5*b - 22, 5*z - l*b = b - 15 for z.
1
Let r = -9 - -16. Solve -j - 3*x = -7, -3*j - 5*x + r + 2 = 0 for j.
-2
Let q(o) = o**3 - 5*o**2 - 15*o + 10. Let w be q(7). Solve -w*t + 8 = u, 5*t - 2*u - 2*u + 15 = 0 for t.
1
Let o = -11 + 12. Let g(h) = 3*h**2 + 3*h - 2. Let c be g(o). Solve -c*u - 11 = -w, 23 = -0*w + 5*w - 4*u for w.
3
Suppose 5*j = 4*v - 0*v + 35, 5*v + 28 = j. Solve -j*x + 4*a - 14 = -x, 0 = 3*a - 15 for x.
3
Suppose -v - s - 109 = -5*v, -3*v = -5*s - 69. Solve 3*m + h + 16 = 8*m, 5*m - v = -2*h for m.
4
Let a = 34 + -33. Solve 2*p - d = -0*d - a, -4*p - 2*d = -10 for p.
1
Let z = 6 - 6. Let n = z + 2. Solve -q - 5*w + 5 = n*q, 2*w - 2 = 0 for q.
0
Suppose 0*g - 2*g = -6*g. Solve -20 = 4*h + h - 4*d, g = -5*h + 5*d - 25 for h.
0
Let h be 7*(-4)/8*-4. Suppose 7*n - 35 + h = 0. Solve 2*w = -n*b + 19, b + 1 = 2*w - 2*b for w.
5
Let r = 3 - 1. Let b