k.
1
Suppose 40 = 7*o - 2*o. Suppose -344 = 3*x + 70. Let w be ((-2)/(-3))/((-4)/x). Solve -4*v - o = 2*l, w = 4*l - v - 4*v for l.
2
Suppose 3*a = 2*a + 2*i, -2*a = -i - 3. Suppose 1 + 7 = 4*s. Let c = s + 1. Solve 10 = -2*z, -z = a*h - c*z for h.
-5
Let d(o) = -2*o**3 + 3*o**2 - 3*o + 4. Let j be d(3). Let c = -19 - j. Suppose 21*f = 17*f. Solve -5*g = 2*r - f*r + c, 2*g = -4*r - 18 for g.
-1
Let z = -15 - -27. Let v be (z/7)/(6/21). Solve 19 = -3*k + 5*f - v*f, -3*k + f = 11 for k.
-5
Let o be (-1 + (-4)/(-3))/((-27)/(-162)). Solve 5*m = 2*p - p, -4*p = o*m for m.
0
Let d be (-16)/(-5)*(-5)/(-2). Let u be 2/d + (-55)/(-4). Solve -2 = -y + a, -a = -3*y - 3*a - u for y.
-2
Let w(o) = o**3 + 6*o**2 - o - 7. Let c be w(-5). Solve -2*k - 3*k = 25, j + 5*k = -c for j.
2
Suppose 0 = -2*m - 3*m + 60. Solve -3*h + 2*v + 3 = 0, 3*h - v = -4*v - m for h.
-1
Let s be (-2)/11 - (-105)/33. Let d(f) = -4*f - 3 - 4*f**2 + 4*f + f - 4*f - 2*f**s. Let k be d(-3). Solve r = 5*i + k, -r + 19 = 2*i - 6*i for i.
-5
Let z be (1 + 0)*(-4 - -5). Let t be z/(-1) - 2/(-2). Let w = 2 + t. Solve -w = 3*r - 2*o, -5*o + 5 = 3*r + 2*r for r.
0
Suppose -10*z + 9*z + 2 = 0. Solve 2*y + y - 1 = q, -q - 1 = z*y for y.
0
Let y be ((-12)/10)/(12/(-40)). Let d = -3 + y. Solve -s - 1 = 2*h, -2*h - d = 4*s + 3*h for s.
1
Let x be 6/24 - 182/(-8). Let c = 25 - x. Solve -2*z - 3*z - 5*r = -15, -c*r = 5*z - 6 for z.
0
Let u be 3 + (-1)/(1 - 2). Suppose 4*w - 19 = a - 5, 4*w - 4 = -u*a. Solve -k + 5*z = k - w, 0 = 2*k - z + 1 for k.
-1
Let o(f) = f**3 - 10*f**2 + 8*f + 13. Let n be o(9). Suppose -3*s - n*b + 8 = -s, -5*b - 20 = 0. Solve j = 5*v + s, 3*j - 1 = 5 for v.
-2
Suppose -5*w - 4 = 16. Let s be (0*(-2)/w)/2. Solve -3*y + 3 = 3*a + 15, 5*y - 4*a + 20 = s for y.
-4
Let l be (-6)/(-2) + 16 + 0. Solve l = -2*h - h + 2*q, 2 = h + q for h.
-3
Suppose -2*s + 4 = -6. Suppose -5*c = -5*h + 10, 3*c - 2*c = 0. Solve 0 = -2*l + s*l + 5*g - 5, -4*l - 2 = -h*g for l.
0
Let p(h) = 7*h**2 + h. Let j be p(1). Let f(c) = c**3 + c**2 - 2*c - 3. Let x be f(2). Solve 3*r + 26 = -x*d, 0*r + 2*r = -d - j for r.
-2
Let z(p) = p**3 - 9*p**2 + p - 5. Let u be z(9). Let b be (-54)/(-2) - u/(-2). Solve -b = -3*y - 5*v, 4*v + 1 = 2*y + 11 for y.
3
Suppose 2*y = 4*v - 32, -3*v + 4*y = -5 - 9. Solve -3*l + 5*l = -5*i + 11, -5*l = -5*i - v for i.
1
Let p(b) = -b - 7. Let s be p(-5). Let l = s + 7. Suppose j + g + g = 0, 2*j + 2 = -l*g. Solve z + 0*z - 10 = -4*c, j*c - 4 = -4*z for c.
3
Let a be -1*(-3 + 5 - -1) + 18. Suppose -6 = -2*f + 4. Solve k + f*i - a = 0, 2 = -2*k + 4*i + 4 for k.
5
Let u be (2 + -2 + 1)*1. Suppose -3*t + 2*r = 2, -4 = -0*t + 5*t - 4*r. Solve 0*c + c - 3*v - u = t, 0 = -4*c - v + 4 for c.
1
Let u(x) = -3 + 1 + x - 2*x. Let g be u(-6). Suppose m = 8*z - g*z + 13, m - 10 = z. Solve -6*o + 3*r + 11 = -5*o, 3*r + m = 0 for o.
2
Suppose 0 = -0*t - 4*t + 20. Solve 3*b = -t*x, b = -4*b + x - 28 for b.
-5
Suppose 2*t - 5*t + 102 = 0. Suppose 5*m - 1 = t. Solve -5*j = -n - 7 - 6, n + m = 2*j for n.
-3
Let v(g) = g**3 - 9*g**2 - g + 12. Let s be v(9). Let a be (-2)/6 - (-50)/15. Solve -5*y + u = 3 + a, -s*y = 5*u - 2 for y.
-1
Suppose -3*h = 3*b - 12, 3*b - 15 = 3*h - 3. Solve 5*f + 2*c - 15 = 0, h = -f + c - 4 for f.
1
Let r(y) = -y**3 - 8*y**2 - y - 6. Let u be r(-8). Suppose 0 = -3*n + u + 13. Solve 3*l - 3*s + 16 = -8, -n*l + 4*s = 36 for l.
-4
Suppose 0*o + 50 = 3*o - 2*p, -5*p - 80 = -5*o. Solve 2*w + 8*m - o = 3*m, 0 = -5*m + 20 for w.
-1
Suppose -14*c = -17*c + 66. Solve -5*t - p - 10 = -0*p, 4*t = 2*p - c for t.
-3
Suppose -4*b - 17 - 19 = -3*u, 0 = 4*b - 2*u + 32. Let o(q) = -q**2 - 11*q + 2. Let h be o(b). Solve -3*k = -5*c - h, 2*c + 3*k - 8 = c for c.
-4
Let d be 4/14 - (-262)/14. Let r = 13 - 9. Solve 6 = 5*w + 3*j - d, -5 = -w + r*j for w.
5
Suppose -2*t + 2*f + 1 = -3*t, 2*t - 2*f = 16. Let j = t + -2. Suppose 17 = x - 7. Solve -8*b - z = -j*b, 4*b = 4*z - x for b.
-1
Let w(l) = l**3 - 6*l**2 - 8*l + 9. Let a be w(7). Let y be a/7 - 54/(-7). Let j be y + -1*3/3. Solve 2*u = j*u - 5*m + 30, 14 = -3*u - m for u.
-5
Suppose -31 = 3*y + 5*t, 2*y = 4*y - 3*t - 11. Let q(r) = -r**2 - 5*r - 3. Let o be q(y). Solve 5*s = 4*s + d, o*s = 2*d - 1 for s.
-1
Let b be (5 - 4)*(0 - 0) - -2. Solve -4*y - o = 3*o + 24, b*y - 4*o = 0 for y.
-4
Let n = -6 + 5. Let j be (-5 - -6)/(n/(-3)). Solve 5*z = 3*r - j, 0 = -5*z - 4*r + 5 - 36 for z.
-3
Let s(f) = 3*f**2 - 4*f + 4. Let r be s(3). Solve -2 - 1 = g, 5*g + r = z for z.
4
Suppose a - 8 = -5*o + 3*o, -4*o + 22 = 5*a. Solve 2*j + 12 = -4*h, 0 = o*h - 6*j + 2*j + 20 for h.
-4
Let t = 77 + -73. Solve -z - 2 = -2*f + t*z, 5*z = -10 for f.
-4
Suppose -30 = -4*h + 22. Let m(g) = -5*g - 2. Let a(k) = 5*k + 3. Let o(v) = 2*a(v) + 3*m(v). Let r be o(-1). Solve 2*n = -3*x + r, 4*x = 3*n + 5 + h for x.
3
Let j(v) = -v + 4. Let n be j(-1). Solve 2*a - 3*x = n, a + 5 = -x - 0*x for a.
-2
Let g = -21 - -61. Suppose 0 = -5*q - 25, 4*y - g = 6*q - 2*q. Solve 2*b = 2*z + 3*z + 21, 3*z + y = 5*b for b.
-2
Let j(q) = 10*q**2 - 25*q - 8. Let b(y) = 3*y**2 - 8*y - 3. Let o(f) = 7*b(f) - 2*j(f). Let s be o(7). Solve 3*p + 10 = -z - 0, p + s*z = 5 for p.
-5
Let q(w) = -w**3 + 12*w**2 - 11*w + 15. Suppose -55 = -5*d + 4*v, -3*d - 5*v + 41 = 8. Let a be q(d). Solve -5*t = y - a, t + 2*y - 5 = 7 for t.
2
Let x = 13 + -8. Let h be 25 + (2/(-2) - -4). Let r = -20 + h. Solve -4*p - r = 4*a, -2*a + a - 4*p = x for a.
-1
Let h = -11 + 10. Let t be (-33)/(-22) - h/2. Solve -6 = p + t*f, 8 = 3*p - 4*f - 4 for p.
0
Let c(v) = v**2 + 2. Let o be c(0). Solve -3*d + 4 = -o*r, -d + 3*r + 11 = d for d.
-2
Let q = 18 - 13. Solve 0 = -3*w + 3, -6*w + w - 15 = -q*p for p.
4
Suppose d + 3*d = 56. Solve 0 = -3*u + a + d, 2*a = -0*u + 4*u - 18 for u.
5
Let w = -31 - -34. Solve -w*g - j + 8 = 0, -4 = -4*g - 4*j + 4 for g.
3
Suppose 0 = 2*b - 2*n - 16, -3*b = -0*b - 4*n - 29. Solve -6 = 4*p - 5*g, 0*p - 14 = 2*p + b*g for p.
-4
Let p(m) = -m**3 - 5*m**2 - 5*m - 4. Let c be p(-3). Let y = c + 10. Let i = 11 - 8. Solve 0 = -w - y*w + i*h, -3*w + h = -5 for w.
3
Let j = 4 + 0. Let o = -3 + j. Let v = o - -2. Solve 0*a - 3*n = -v*a + 3, -3 = 5*a + 3*n for a.
0
Suppose -5*b = 5, j + 4*j = b + 51. Solve 10 = f + 4*d - j, 2*d = -5*f + 28 for f.
4
Let f = -6 + 7. Solve 11 = 5*z + 2*t - 0*t, z - f = -t for z.
3
Let y be (17 + -19)/((-2)/3). Solve -3*i - 4*d = -8, -y*i + 2 = 3*d - 1 for i.
-4
Suppose v + 3*v + 6 = 2*t, 3*t + 5*v = 20. Suppose s - t*s + 40 = 0. Solve 2*q - 7*q = -2*m + s, 3*m = -3*q - 6 for q.
-2
Let d = 13 + -3. Suppose -g + 0*g - 5*s = -30, -4*g + d = -2*s. Suppose k = -4*k. Solve -5 = -3*v - p, k = 5*v + g*p - 9 - 6 for v.
1
Let k(b) = b**3 - 19*b**2 - 19*b - 17. Let y be k(20). Solve -y*n + 8*n = 4*a - 22, -5*a + 17 = -n for n.
-2
Let k(h) = h - 1. Let l be k(3). Suppose 4*d = 4*z - 12, -z + 4 - 9 = -5*d. Solve 0 = -f + p + l, 2*f - 3*p - d + 1 = 0 for f.
5
Let c be (-18)/(-27) + 2/6. Solve -3*b - 9 = 2*z + 3*z, -z = 2*b - c for b.
2
Let j be -3 + 1 + 2 + -1 + 12. Solve -2*n - i + 4 = 2, 5*n + 4*i = j for n.
-1
Suppose -6*g = -41 + 11. Solve -x - g*t = -0*t - 25, 4*x - 2*t + 10 = 0 for x.
0
Suppose 25*l - 23*l - 20 = 0. Solve -2*r - 3*q + 4 + 5 = 0, -5*r = 5*q - l for r.
-3
Let c(p) = 4*p + 44. Let w be c(-9). Solve -2*q + f + 5 = -5*q, -2*q = -4*f + w for q.
-2
Suppose -3*g = -5*g + 2*u - 16, -5*u = -3*g - 26. Let i(c) = -c**3 - 6*c**2 + 5*c - 9. Let x be i(g). Solve 3*o - 3*k - 9 = 0, x*k = -0*o + 4*o - 11 for o.
4
Suppose -5*y = -3*g - 29, 0 = y + 2*y + 2*g - 6. Let w(x) = 4*x**2. Let o be w(-1). Suppose 5 - 53 = -o*i. Solve 0 = y*q - f - i, 2*f = 3*q - 3*f + 8 for q.
4
Let b(y) = 8*y + 7*y**2 - 2*y + 3 + 0*y**3 + y**3. Let f be b(-6). Suppose -l = -0*l - 5. Solve -f*d - k = 2, l*k - 4 = 4*d + 5 for d.
-1
Suppose 4*u + 4*r = 2*u + 52, -2*r - 84 = -4*u. Let n = -579 - -582. Let k = 3 - -1. Solve 0 = k*v - n*d + u, 3 = -4*v - 3*d - 7 for v.
-4
Suppose -5*o - 48 = -2*p - 0*p, -4*o = 3*p - 95. Let w = -21 + p. Solve 2*v = -4*d - 24, -2*d - 4*v - w = 10 for d.
-5
Let k(w) = -6 - 10*w - 5*w**2 + 2*w**2 + 2*w**2. Let x be k(-9). Solve 0*m - 23 = -x*a - 2*m, 2 = -2*a + 3*m for a.
5
Let u(t) = t - 10. Let c be u(5). Let x be 11/5 - (-1)/c. Suppose 2*i - s = 2, x*s - 10 = -3*i - 0*s. 