k.
3
Let d = -4 - -9. Solve 3*h - 3*m = -d*m + 4, -h = m - 1 for h.
2
Let w be (1 - -1) + 0/(-1). Solve w*b + 6 = 2*x, -x - 3*b = -3 - 0 for x.
3
Let r = -9 + 11. Suppose 5*w - r = 4*w. Solve 0 = -2*q + w*s + 10, 3*q - 2*s - 1 = 14 for q.
5
Let b be 75/4 - (-1)/4. Suppose s - 5*q + 0*q + 17 = 0, -4*q + b = s. Suppose -5*z + 10 = -45. Solve -g - z = -3*r, -8 = -2*g + s*r - 21 for g.
-2
Let p = -37 + 42. Solve -g + 5 = -5*o, -g = -5*o - 5*g - p for o.
-1
Let w be 5 + -2 + -22 + -1. Let u = w + 22. Solve -2*v + 0*v = -u*x, 3*v + 5*x = 0 for v.
0
Let r(k) = -4*k - 1. Let g be -1 + (-3 - -5) - 2. Let t be r(g). Suppose -5*o = -9 - 6. Solve -t*w - 19 = y, 5*w - o*y + y + 17 = 0 for w.
-5
Suppose 16 = -5*z + z. Let h = z + 6. Solve -3*c = -2*s - 15, h*s - 5 = -2*c + 5 for s.
0
Let v(a) = -a**3 - 8*a**2 - 2*a - 14. Let s be v(-8). Solve 3 = -2*b + 3*b, s*y - 5 = -b for y.
1
Suppose -14 = -2*j - 6. Solve -j*q - n - 4*n = -5, 0 = -2*q + 2*n - 2 for q.
0
Let q = -59 + 63. Solve -6*p + 2*s - 20 = -4*p, 4*p = -q*s for p.
-5
Let s(w) = w - 11. Let j(l) = l - 11. Let u(c) = -3*j(c) + 2*s(c). Let d = -9 + 17. Let i be u(d). Solve -3 = -i*v, 2*v + 6 = -5*g - 12 for g.
-4
Let u = 4 - 0. Suppose -4 = u*s - 5*s. Let l(d) = -d**2 + 4*d + 5. Let p be l(s). Solve 0 = p*z - 10, -i + 2*i = -3*z + 9 for i.
3
Suppose 0 = -7*y - 2 + 37. Solve -2*h + 5*r - y = 0, -2*h + h = -2*r + 2 for h.
0
Let b(d) = d**2 + 7*d - 6. Let q be b(-8). Solve -2*l - 3*z = 5, 2*l - z = q - 3 for l.
-1
Suppose 2*w - 8 = -2*w + 4*q, 4*q = -w + 2. Suppose 3*b - w*b - 63 = -3*r, 37 = 2*r - b. Solve -r = -4*i, 4*i = m + 5*i - 4 for m.
-1
Suppose -s - 2*z = -7*z + 26, 5*z - 21 = -4*s. Let l = s - -1. Suppose 3*p = 3 + 3. Solve l*y = -5*f - 3*y - 27, p*f + 14 = -2*y for f.
-3
Suppose -s + 5*y - 22 = 0, -2*s - 5*y + 18 = -13. Solve 0 = 4*j + s*q + 1, j + 32 = 4*q + 8 for j.
-4
Let f = 35 - 29. Let z(r) = -r**2 - 7*r - 1. Let b be z(-6). Solve -6 = -2*x - 4*q, -5*x - b*q = -f*q + 29 for x.
-5
Let t = 0 - -2. Suppose 1 = -t*h + 9. Solve -h*p = -3*x - p, p = -3*x - 4 for x.
-1
Let g(s) be the second derivative of s**4/12 + 2*s**3/3 + 2*s**2 + 3*s. Let m be g(-4). Solve 1 = 4*d + 17, m*d + 26 = -2*x for x.
-5
Let y(h) = -h - 19. Let p be y(-19). Solve g = -3*j, p = -4*j - 0*g - 5*g for j.
0
Suppose 2*g + 12 = 36. Suppose -4*o + g = -4. Solve -5*p - 3*s + o*s + 5 = 0, -2*p + 5*s = 21 for p.
2
Suppose 3*r = -5*z + 113, 3*z + r = -r + 68. Let w = z + -18. Solve 4*x - k + 12 = x, 5*x = -w*k - 37 for x.
-5
Let t = -2 + 2. Let x(s) = 8*s - 108. Let q be x(15). Solve t = 4*n - 2*r + q, -4*n - 10 = -5*r + 8 for n.
-2
Let k = -9 - -13. Suppose 2*r + 4 = k*n - 2*n, -14 = -3*n - 5*r. Solve 0*t = -4*c + 3*t + 3, t = -n*c - 14 for c.
-3
Let b be (2/14)/((-2)/(-7))*6. Solve 2*j + 19 = -3*p, -b*j + 4*p + 14 = -0*j for j.
-2
Let t be 2 + -4 - 12/(-3). Suppose -9 = -t*w + 3. Solve -c = -r - 2, c - w*c = r + 14 for r.
-4
Suppose 5*h - 16 = 24. Let d = -17 - -32. Suppose 7*j - 2*j - d = 0. Solve 3*b - 3 = -h*x + 6*x, -3*b = x - j for b.
1
Let u(z) = -z + 2. Let g(s) = -1. Let i(w) = -2*g(w) - 2*u(w). Let n be i(3). Solve 3*k = 2*k + n*m + 21, 2*k - 22 = 3*m for k.
5
Let d be 6/((-12)/(-18) - (-10)/12). Solve 5*s = d*y + 2*s - 2, -4*y = -4*s for y.
2
Let n = 43 + -27. Suppose 2*p = l + 12, 3*l + n + 8 = 3*p. Suppose 4*h + 3*s - 54 = 0, -9*h + 2*s + 56 = -4*h. Solve 0*q = 3*q - t - p, -3*t = h for q.
0
Suppose 8 + 10 = 6*f. Solve x - 24 = -f*x - 4*p, -3*p + 17 = 2*x for x.
1
Suppose 4*x - 12 = x + 3*v, 3*v + 8 = x. Suppose 0 = -x*t + 9 + 1. Solve -t*h = 5*g, 5*g + 11 - 3 = -3*h for g.
-4
Let g be -2*1*(-45)/(-6). Let l be 5*(0 + (-9)/g). Solve 3*z - l*o + 1 = -4*o, -4*o + 10 = -2*z for z.
-1
Let g be 4 - (16 + -4)*(-1)/(-3). Solve -6 = -0*k - 2*k - 2*s, g = -2*k + s + 9 for k.
4
Let q(z) = 3*z**2 - 2*z - 4. Let k be q(6). Suppose -5*j + k = -j. Suppose -1 = h, -5*h = -3*t + j - 6. Solve -t*r = 0, -3*l = r + 7 - 4 for l.
-1
Suppose -8 = 3*m - 2*m. Let x be m + 3 + 1 + 9. Let r = 10 + -7. Solve -v - r*v = 2*o, 2*v = x*o - 12 for o.
2
Let m(u) = u + 4. Let t be m(-3). Let g be -4 + t - (-170)/10. Solve -h + g = 3*p, -28 = -3*h - 5*p + 2 for h.
5
Let b be ((-4)/6)/(1/(-6)). Suppose -5*d + 42 = 2*d. Solve -b*f - 3*c = -d, -3*f + 0*c + 6 = 3*c for f.
0
Suppose 3*b = 12, -h + 32 = -b + 10. Suppose 2*j = 3*j + 4*x + 9, 3*j + 5*x + 6 = 0. Solve j*g - 5*a - 5 = 0, 5*g + 3*a + h = -11 for g.
-5
Suppose 0 = -4*r + 4*l - 16, 0*r + 4*r - 3*l + 11 = 0. Let z = 10 - 6. Suppose 13 = z*u + r. Solve -5*b + 8 = -u*t + 4*t, 2*t = 4*b + 2 for t.
3
Suppose 0*g + 4*g = 3*g. Solve 3*a + 3*o = -15, g = 2*a + o + 3 + 3 for a.
-1
Let d be (-32)/40*(-10)/4. Suppose 0 = 2*x - 3*o - 25, -x - d*x + 5*o = -40. Solve -x*m - 5 = 4*t, 2*t + 0 = -3*m - 5 for m.
-5
Let u(z) = -4*z**3. Let r be u(-1). Let c be -6*((-8)/3 - 2*-1). Solve -2*x - r*b - c = 0, 0*x + 6 = -3*x - 2*b for x.
-2
Suppose 2*f + 3*f - 4*q + 1 = 0, q + 1 = 0. Let v be ((-3)/f - 0) + -3. Solve -4*w + 4 + 4 = 2*s, v = 3*s + 2*w for s.
-2
Let j(o) = 5*o**2 - 12*o - 8. Let s(k) = 6*k**2 - 11*k - 7. Let l(d) = -5*j(d) + 4*s(d). Let u be l(16). Solve -g + 4*g - r - u = 0, 5*g + 2*r - 20 = 0 for g.
4
Suppose -2*n = 4, 4 = -q + 2*n - 5. Let v = q - 16. Let w = 44 + v. Solve -5*f = 4*k + 36 - w, 3*f = 3*k - 18 for f.
-5
Let g(w) = w**2 + w + 12. Let i be g(0). Suppose 0 = -5*r + i + 8. Let z = 6 - r. Solve 0 = 4*k + z*o + 10, k - 5*k = 5*o + 25 for k.
0
Let s be 2 + 14/(-6) - (-1)/3. Solve 0 = 2*p + 4*v + 2 - s, 4*v - 10 = 2*p for p.
-3
Let n be -1*1*-1*-1. Let x(v) = -8*v + 6*v + v - 3*v. Let c be x(n). Solve -3*f + 2 + 7 = 2*m, c*m - 5*f + 37 = 0 for m.
-3
Suppose 15 = -2*w - 4*t + 47, 26 = w + 4*t. Solve -5*l - w*z = -z, 3*z = -2*l + 3 for l.
-3
Suppose 2*d + 1 = -3. Let q = d + 0. Let j = q - -4. Solve 5*i - 5*v = 0, 0 = -j*i + 3*i - 5*v + 4 for i.
1
Suppose 5*x = -5*w + 345, 3*x - 347 = -w - 4*w. Let o be w/6 + (-7)/(-21). Solve g = 4*s - o, 3*s + 5 = 3*g + 14 for g.
0
Let b be -3 + -2*81/(-6). Solve 2*g = -8, 4*k - 5*g + g - b = 0 for k.
2
Suppose k - 147 = -130. Solve 0 = -4*j + 3*g, -2*j + 3*j - 5*g = k for j.
-3
Let x be 6/(-9) + 66/(-9). Let r = 13 + x. Solve 0 + 4 = -2*d + 4*b, -d + r*b = 8 for d.
2
Let n be 4/14 + (-156)/(-91). Solve -5 = -2*f - 1, -12 = n*q - 3*f for q.
-3
Suppose -17 = -5*y + k, -4*k = 3*y - 0*k - 1. Suppose y*f = 8 - 2. Let v = -2 - -6. Solve 8 = 2*s + v*c, f*s - 4 = -5*c + 5 for s.
2
Let p = 11 + -10. Solve 4*v = 3*f + p, 2*v + 0*v + 10 = -2*f for v.
-2
Let q = 22 + -18. Suppose 3 = q*d - 9. Solve -15 = 5*l - r, 5*l - d*r - 1 = -6 for l.
-4
Let u(m) = -m**2 + 6*m + 4. Let j be u(7). Let a be (4 - 7)*j/3. Solve 3 = -c + 5*s + 1, -2 = c - a*s for c.
-2
Let r be (-60)/(-2) + 36/(-18). Let v be (-10)/(-2)*(-6)/(-10). Let z = 2 + 2. Solve -v*a - l + z = 0, -3*a + r = -2*a - 5*l for a.
3
Suppose 4*j - 78 = -2*j. Solve 0 = -b + 4*n, -2*b - 5*n = -0*n + j for b.
-4
Let q be 231/63 + 1/3. Solve -4*c + 2*i = i + q, 0 = -5*c - 4*i + 16 for c.
0
Let a(u) = -u**3 - 5*u**2 - u - 5. Let l be (-8 + -2)*(-1)/(-2). Let o be a(l). Solve -2*z - 8 = b, o*z - b + 12 = -3*z for z.
-4
Let r = 5 + -2. Suppose 2*a + 56 = 134. Suppose -a = s - 4*s. Solve -4*c - 18 = -v, -r*v - 3*c - 8 - s = 0 for v.
-2
Let r = 21 - 19. Solve j - 3 = -5*k - 7, 0 = -r*k - 2 for j.
1
Let d(r) = r + 2. Let g be d(0). Suppose g*c + 4 = -0*c. Let x be (-1 - c)*(0 + 3). Solve -2*v + x = v - 3*n, -12 = -4*v + 2*n for v.
5
Let f = -4 + 6. Let b be -2 + 1*(5 - -2). Solve -p - b = -4*g + f*p, 2*g = 2*p for g.
5
Let d be 10/(-4)*(-104)/65. Solve 10 = u + 2*u + 5*g, 8 = -d*u + 4*g for u.
0
Let v(q) = -7*q + 1. Let i be v(-1). Suppose i = 5*x - x. Let f = 82 + -78. Solve -4*u + 6*u + 8 = -f*a, -x*u - 2*a - 4 = 0 for u.
0
Suppose -5*o + 10 = -15. Solve n - 5*n + 1 = -o*c, c - 3 = 0 for n.
4
Let o be 2/14 - (-34)/7. Solve o*z - c = 30, 5*z + 10 = 2*z - 5*c for z.
5
Let x = 8 - 8. Solve -v = 3*p + 2*v - 6, -2*v - 2 = x for p.
3
Let v(z) = z**3 + 12*z**2 - z - 9. Let p be v(-12). Solve -2*r + 5*w = 13, -r + p*w - 9 = -2 for r.
-4
Suppose -3*a = 3*n + 18, -17 = 2*a - n + 4*n. Let p be 2/(a + 7/5). Solve 23 = 5*k - p*y + y, k - 4*y - 11 = 0 for k.
3
Let u = -21 - -41. Let l = u - 20. Solve -4*k - 3*g = 3, k + l*k - 5*g = 5 for 