 k.
5
Let m = 2 - 0. Suppose 0*j = m*j. Solve -u + 3*u + 3 = 3*a, j = 2*u - 6 for a.
3
Suppose 0 = d - 2*d - 14. Let h be -2 + (-3)/(6/d). Solve q = y + 1, -h*y = -2*q + q + 13 for q.
-2
Let y(x) = x**3 - 6*x**2 - 9*x - 2. Let f be y(7). Let s = -9 - f. Solve m + s = -3*z, m + 6 + 3 = -5*z for m.
-4
Let a = 68 - 56. Solve 2*w = 3*n - 14, -n - 2*w - a = -3*n for n.
2
Suppose -10 = -2*x + 4*v - 0*v, -21 = -3*x + 3*v. Solve -x = 2*s + 3*s + 4*b, 0 = -4*b - 4 for s.
-1
Let x(h) = -h**2 - h + 1. Let k(z) = z**2 + 17*z - 22. Let o(q) = -k(q) - 2*x(q). Let u be o(14). Solve -g = -2*t - u, -3*t + 2*g + 2*g - 4 = 0 for t.
-4
Suppose -5*z + 8 = -12. Solve -z*v + 4*j = 16, 0*j + 4*j + 9 = -v for v.
-5
Let r be -7*2 + (0 - 2). Let w be 4/r - 21/(-4). Let i(m) = -m**3 - 7*m**2 + 9*m + 11. Let z be i(-8). Solve -z = -3*g + 3*y, 0*y - 7 = w*g + y for g.
-1
Suppose 4*v + 7 = s, 4*s = -s + 4*v + 19. Suppose -p = -3*p + 30. Solve -2*y - k = -0*k + 7, -p = s*y + 3*k for y.
-2
Let b be 6/(-21) - 46/(-14). Let s(d) = 4*d**2 + 1. Let i be s(2). Suppose g = -3*u + i, 3*g = g + u + 6. Solve g*q + b*h + 2 = -3, 4*q + h + 4 = 0 for q.
-1
Let p be (-20)/(-16)*4 + -1. Solve -2*y + 4*g = -3*y + 10, -5*y + p = -3*g for y.
2
Let n = -11 + 11. Let t = n - -4. Solve -p + 2*p + o - 1 = 0, 3*p = 4*o - t for p.
0
Suppose -15*y + 19*y = 12. Solve -4*g = 3*h + y, -2*h + 3*h = -5 for g.
3
Suppose 5*f = 15, -2*c - 2*f + 31 = 3*c. Solve 0*j - 4*a - 7 = j, 0 = -j + c*a + 11 for j.
1
Let a(w) = -3*w**2 + 16*w - 2. Let x be a(5). Solve 5*f = 4*p - 3, -5*f - x*p - 27 = p for f.
-3
Let v = -3 - -3. Solve 3*o + 3*d - 18 = v, 0*o - o - 5*d + 14 = 0 for o.
4
Suppose 3*j + 1 = 2*w - 0*w, 3*w + 5*j = 11. Suppose 13 = 2*g + t, 3*t + 4 = g - 13. Suppose -g = -0*q - q. Solve -q = -4*h + 2*u - w, 4*u - 12 = 0 for h.
3
Suppose 0 = -2*l - 2 + 10. Let o(s) = -s**2 - 8*s + 2. Let w be o(-6). Let j be (l - 7) + w/2. Solve 5*p - 2 = 4*h + j, 4*p - 5*h = 12 for p.
-2
Suppose 7*g = 3*g - 3*z + 46, 0 = g + 3*z - 16. Let n = 10 - g. Solve -5*q - 5 = 0, n*r + r - 4*q - 3 = 0 for r.
-1
Let c(u) = u**2 - 6*u + 3. Let v be c(5). Let t = -2 - v. Let i be (0 + t)/(2 + 0). Solve -5*x + 5*g - 20 = i, -4*x - g = 9 + 2 for x.
-3
Suppose -2*r + 0*p + 4*p = -30, -3*r = -3*p - 30. Solve 3*q + r = -2*h, -5*h - 2*q = -0*h - 4 for h.
2
Suppose 0 = -5*b + 7*b. Suppose 0*t - 3*t - 30 = b. Let l = t + 28. Solve 4*n = -3*p + l, 5*n - 11 = -5*p + 14 for p.
2
Suppose -4*s - 11 = -5*c, 3*s + 10 = 5*c - 2. Solve -1 = -c*t - 4*r, 4*r = t - 7 - 4 for t.
3
Suppose 5 = -4*r + 1. Let q be r*9/(-3) - 0. Solve -2*v + 0*a + 7 = -a, -2*v + q = 3*a for v.
3
Suppose 103 = 3*a - 8. Let x = 18 - 13. Suppose -x*f = -5*c + 30, -3*c = -8*c - 2*f + a. Solve o + 0*b - b = 2, 0 = -o - 2*b - c for o.
-1
Let z = -28 - -20. Let p = z - -13. Solve 0 = 3*b - y - 13, 4*y - p*y = -4*b + 16 for b.
3
Suppose -m - 4 = 1. Let l = -2 - m. Solve 12 = -l*p - p + 2*a, -p = -2*a for p.
-4
Let v(f) = f + 5. Let l be v(-5). Suppose l = -5*h + 5*x + 10, -h + x = -x - 1. Solve 0 = 4*m - 4 + 12, h*m + 1 = j for j.
-5
Suppose -a - 4*a + 5 = 0, 3*c + 3*a = 18. Suppose -5*f + 102 = -2*y, 4*f + 22 = 5*f - 2*y. Solve -5*h + f = 0, -c*h + 8 = 2*i + i for i.
-4
Let q(g) = -g**2 + 7*g - 9. Let x be q(6). Let l be (0/15)/(1 + x). Solve l = 2*v - 5*t + 17 - 47, v = 2*t + 13 for v.
5
Let k be 6/21 + 2/(-7). Suppose 5*j + p - 5*p = 22, -5*p - 15 = k. Solve 10 = -x + 3*x - n, x = -j*n + 5 for x.
5
Suppose -w + 2 = -0. Suppose -4*n = -z - 2*n - w, 4 = -3*z + 5*n. Suppose -22 = k - 5*l, -5*k + 0 = -2*l - 5. Solve 2*g - z + 10 = 0, 21 = 3*c - k*g for c.
3
Let h(i) = i + 11. Let r be h(-7). Solve 4*o + m + 1 = -15, -3*m = -r*o - 16 for o.
-4
Let t be -6*(30/4)/(-3). Solve j + 4*j = 2*p + 18, -p + 4*j = t for p.
1
Suppose -32 = -5*b + b. Suppose -b = u + u. Let p be (1 + u)*16/(-12). Solve 0 = -p*m - 2*j - 4, -5*j + 5 = -0*m + 5*m for m.
-3
Suppose 6*q + 8 = 4*q + 4*r, -3*q + 8 = -r. Let g(y) = -y**2 - 10*y - 7. Let l be g(-8). Suppose 2*s - l = -s. Solve -2*a + 2*c = 0, s*a = a - q*c + 18 for a.
3
Let g(c) = -c**2 - 7*c - 3. Let y(t) = -6*t**2. Let o be y(1). Let x be g(o). Solve -3*a = 4*k - x - 3, 5*k = -4*a + 8 for k.
0
Let i be -3 - 0 - 3*-2. Solve -p + j - 9 + 2 = 0, i*p = -4*j - 7 for p.
-5
Let t be ((-12)/18)/((-3)/63). Solve 4*k + 2*q = -4, -2*k + 4*k - 3*q = t for k.
1
Let z be 91/28 + 2/(-8). Solve 10 = 2*h + z*w - 2*w, 3*w = -h + 10 for h.
4
Let y(f) = -f - 2. Let h be y(-7). Suppose 0*k + h*k = 5. Solve -2*g + 5*c + 31 = 0, 0 = g + c - k + 3 for g.
3
Suppose -q + 12 = -3*f, -4*f + 4*q = -0*f + 16. Let m = 11 + f. Solve -4*n + m = -5*a, 2*n + 1 = -a + 2*a for n.
-2
Let x be (-6)/(-9) + (-26)/(-6). Solve c = -2*c - 12, 0 = x*l + 3*c - 13 for l.
5
Suppose -7*y = -3*y - 5*c - 1, 0 = 3*y - 3*c - 3. Let h = -1 - 1. Let x = h + 6. Solve -k + y*b = 11, -x*b - 2 = k - 7 for k.
-3
Suppose 89*g = 96*g - 168. Suppose -h = 4, 14 = 2*d - 5*h - 10. Solve -5*w + 2*n - g = -w, 16 = -d*w + 2*n for w.
-4
Let f = 12 - 0. Suppose 4*z = 4*u + f, -2*u + 11 = 3*z - 13. Solve c = -4*w + z, 6 = 4*c - w - 1 for c.
2
Let k(f) = f**3 - 4*f**2 - 5*f + 5. Let z be k(5). Suppose -z*c + 8*c = 12. Suppose c*a - 1 - 19 = 0. Solve 2*l = -5*b, 4*l = -a*b + 2*b + 14 for l.
5
Let j(p) = 17*p. Let b = -5 - -6. Let x be j(b). Solve -n - s - x = 2*n, 3*n + 3*s = -27 for n.
-4
Suppose 0 = -u + 1, u = -2*b + 2*u + 11. Suppose -5*i + x = 44, 2 = 2*x - b. Let c be ((1 - 0)*i)/(-2). Solve c*f = -0*f - 4*z + 12, 2*f - 2 = -z for f.
-1
Let r(d) = -d - 3. Let a be r(-5). Let t be (2 - 4)/1 + a. Let z(v) = v**3 - 5*v**2 + 3*v. Let x be z(5). Solve -2*y - 21 = -5*l, -6*l + l + x = t for y.
-3
Suppose 2*b = 6*b + 8. Let g be (-2)/10 - b/10. Solve -4*w = -w - 4*s, 3*s = g for w.
0
Suppose -4*q + 18 = 3*a, 4*a - 19 = -q - 8. Solve -3*d + w - q*w + 7 = 0, -2*d - 5*w = -12 for d.
1
Suppose -18 - 12 = 3*t. Let a be ((-3)/(-2))/((-3)/t). Solve -a*w + 3*f - 2 = -0*f, -f = -5*w - 4 for w.
-1
Let m(w) = w**3 - 5*w**2 - 16*w + 16. Let p be m(7). Solve 3 = -p*q - n - 1, 8 = -4*q - n for q.
-2
Suppose 0 = 5*q, z + 5*q = -0*z + 3. Solve 5*f - j - 26 = 0, 4*f + z*j - 15 = -2*j for f.
5
Let n = -16 + 21. Solve -6*p - n*f = -p + 15, 5*p - f - 15 = 0 for p.
2
Let r(t) = t**2 + 5*t + 2. Let k be r(-5). Let l be (k - 1) + 0 - 10. Let j = -5 - l. Solve -j*x = 3*u - 20, 9*x - 4*x - 3*u = 25 for x.
5
Let f be (-3 - -4) + 1 - 12. Let m(o) = -3*o - 15. Let r be m(f). Let h be (-1 + 0 - 1) + 2. Solve 4*n - 5*n = 0, -3*x + 4*n + r = h for x.
5
Let b(u) = 1 - 2*u - 2*u - u - 11. Let a be b(7). Let m be (4/(-6))/(6/a). Solve 0 = -4*s + 5*x - 27, -m*s + 0*x + 4*x = 27 for s.
-3
Suppose -65 = -5*d + 4*h, -d - 16 = 3*h + 2*h. Solve 0 = -3*u, -3*o - 5*u = -0*o - d for o.
3
Suppose 0*l - 2*l - 6 = 0. Let z be (2 + -3)*(-60)/(-10). Let y = l - z. Solve 5*f = -w - y*w - 5, 0 = 3*w + 15 for f.
3
Let z = -12 + 9. Let u(a) = a**2 + 3*a + 4. Let k be u(z). Solve 7*f - 2*f - k*m = 6, 2*m + 4 = 3*f for f.
2
Let i = 8 - 12. Let r be (i/6)/(9/(-162)). Solve -w - 15 = 5*j, -j = 3*j + w + r for j.
-3
Let v be (4/2)/(-1) + 82. Suppose 5*y - v = y. Let z be (-2 + 6)*-1*-1. Solve 0 = 3*w - 12, -2*t + z*w = -t + y for t.
-4
Let f be 2/3 + (-352)/(-12). Solve f = r - 5*r + 2*b, -10 = -r - 3*b for r.
-5
Suppose 8 = -g - 0*g - 2*a, 0 = -5*g - 2*a - 56. Let n = g + 14. Solve -3*s = -3*l - 6, -n*l - 5 + 21 = 2*s for s.
5
Let g(h) = -h**2 + 7*h + 5. Let v be g(9). Let c be 0 + (v - (3 - 2)). Let t be -4*(3 + c/4). Solve -4*j + 2 = -3*k - 1, -4*k = -t*j - 6 for k.
3
Suppose -z + 20 = -3*z - r, r + 40 = -4*z. Let g be 21/5 + 2/z. Solve g*v - 4*m + 32 = 0, -4*m - 5 = 5*v - 1 for v.
-4
Suppose 3*m - 3*p - 18 = 0, 0 = -4*m + 2*p - 7*p - 12. Solve 0*l + 12 = 5*g + m*l, -20 = 5*l for g.
4
Let p(y) = -2*y**2 - 3*y. Suppose l + 6 = -3*t + t, 0 = -t + l. Let b be p(t). Let i be (2 + (-20)/2)/b. Solve -9*o + 4*o - 11 = i*v, 4 = 4*v for o.
-3
Let s = -475 + 259. Let k be s/(-21) - (-2)/(-7). Let f = k - 8. Solve f*a + h = -8 - 0, -4*h + 33 = -5*a for a.
-5
Suppose -4*m + 8 = 2*c, m = 2*c - 0*c + 2. Let h be 3 - 3/(1 + c). Let x = h + 17. Solve -f = -5*b + 2*f + x, f + 15 = 4*b for b.
4
Let i = 13 - 8. Suppose -2*c + 2*q = -64, -2*q = -i*c + 142 + 6. Suppose 5*j - 4*n - n - 15 = 0, 2*j - 