k(1). Let u be t(y). Solve h + 12 + 3 = -4*b, 4*h = u*b + 24 for b.
-4
Suppose 4*f + 30 = 2*n, 4*n = -0*n + 4*f + 40. Suppose -n*d = s + 15, d + 3 = 5*s - 0. Solve s = c + 2*p + 8, p = -c + 6*p + 20 for c.
0
Suppose 16 = -5*v + v. Let i = 6 + v. Suppose i*k + k = 0. Solve -5*m = -10, -4*y + k*m + 4*m = 12 for y.
-1
Suppose 3*c - 28 = -4*a, 2*a = 4*a + 5*c - 28. Suppose -2*q - 16 = -6*q - 3*r, 21 = 5*q + a*r. Let f = q - -1. Solve 0 = -2*l - 3*b - 2, 3*l - 5*l = f*b for l.
2
Let j(o) = 8*o**2 + 2*o + 1. Let g be j(-1). Let z = g - 7. Solve -c + 4 = 2*s + 7, z = 4*c - 3*s - 10 for c.
1
Let v(t) = t**3 + 4*t**2 + 7*t + 6. Let a be v(-4). Let b = a - -51. Let y = -45 - -49. Solve s - y = 0, 2*g + 4*s = b - 11 for g.
1
Suppose 0 = 2*a - 5*g - 10, 5*a = a - g - 24. Let o = 9 + a. Solve 6 = -o*d + 2*l, -3*l - 1 = -d - 0*d for d.
-2
Let x be 0/((2 + 1)/3). Suppose 21 = t - 5*o, 3*o + x = -9. Suppose -2*s - 18 = -4*j, 3*s - 5*s - 2 = 0. Solve -z + 2*y = 3, 2*z - y = j*z + t for z.
-3
Let w(t) = 3*t**2 + t - 2. Let x be w(-2). Let j(n) = -2*n - 6. Let l be j(-5). Solve 5*d - x = 2*v, l*v + 8 + 8 = 3*d for v.
-4
Let n be (-1)/(3/(-15)*1). Suppose -d + n = 3. Let h be d/(-4) + (-6)/(-12). Solve h = -2*c - 2*a + 2, 3*a + 3 - 8 = -5*c for c.
1
Let u = 10 + -1. Suppose -9 = -2*h - a, -h + 3 = 2*a - u. Suppose 0 = h*f - 0*f - 6. Solve 5*k - 1 = 5*z + 9, 0 = -3*k - f*z + 24 for k.
5
Let c be 10/(-1 + 0)*1. Let z = -6 - c. Solve 5*j + z*q = -13, 2*j + j + 5*q = 0 for j.
-5
Suppose 3*q - 7*q + 2*a + 62 = 0, 0 = -4*a - 20. Solve 2*v + 10 = 0, 4*u - 3*v = -2 + q for u.
-1
Suppose 0 = 3*v - 3 - 9. Let n = -2 + v. Let s be 1/(n/(-2)) - -6. Solve 3*r + 11 = -b, -r = b - 4 + s for b.
4
Let z = 4 - 14. Let f be 1974/(-13) - (-2)/(-13). Let h be 2/(-10) + f/z. Solve 2*p - o + h = -0*o, 0 = -3*p + 5*o - 40 for p.
-5
Suppose -5*l + d + 31 = 0, -2*l = -5*l + 3*d + 9. Suppose 3*q = l*q - 12. Solve -q*k - 5 = -x, -3*k = -5*k - x + 5 for k.
0
Let p(v) = 2*v**2 - 10*v + 1. Let g be p(6). Suppose -g = k - 17. Solve -2*b = k*c - 4, 0 - 15 = -5*c for b.
-4
Let w be (-2)/5 + (-246)/(-15). Solve -5*n + 3*u + 20 = 0, 5*n = -3*u + 4 + w for n.
4
Let k(h) = -h**2 - 4*h + 1. Let r(i) = -i**2 + i - 1. Let d(p) = -k(p) + 2*r(p). Let x be d(4). Solve x*f + 3*l = -17, -2*f - 3*f - 22 = -2*l for f.
-4
Let m be 2 + 3 - (-1 + 2). Let w be 2/m + 2/(-4). Solve 4*c = -5*i - 1 + 19, w = -4*c + i + 6 for c.
2
Let b = 14 - 10. Suppose 3*i - i = b. Solve k - x = x + 12, i*x + 18 = 4*k for k.
2
Let y = 26 - 11. Solve 5*n = -y, 2*n + n + 13 = -2*p for p.
-2
Let k(p) = -p - 2. Let g be k(-5). Suppose 5*y = -g*l + 4*l + 2, 0 = 3*l + 5*y - 14. Solve -2*r = -4*i + 28, r - 5*i + 17 = l*r for r.
-4
Let t(h) = -8*h + 2. Let m be t(-2). Suppose 0*n - n + m = 0. Solve -2*c - 3*l = -14, 2*l + 2 - n = -3*c for c.
4
Let g(r) = r**2 + 5*r - 5. Let n be g(-6). Let i be (-3)/3 - (n + -29). Suppose 5*m + 1 - 6 = -5*z, 3*m = 2*z - 22. Solve -z*v - s = i, -v + 2*v = s - 3 for v.
-5
Let a(v) = v**3 + 4*v**2 - 5*v + 5. Let d be a(-5). Suppose 0 = c + 4*c - 25. Solve -c = d*z + 5*k, -z + 2*k + 9 = -2 for z.
3
Let o = -9 + 11. Solve -3*w - 23 = 2*h + 3*h, o*h - w + 7 = 0 for h.
-4
Let x(g) be the second derivative of g**5/20 + 5*g**4/12 + 5*g**2/2 + 2*g. Let c be x(-5). Solve 3*h + 22 = -c*j, -4*h - 20 = -0*h + 2*j for h.
-4
Let h be -3 - 1*3*4. Suppose -3*f = -6 + 84. Let o = h - f. Solve k - 3*g - 19 = g, -3*k - 5*g = o for k.
3
Let w = -4 + 9. Suppose -m + 0*m + w = -b, 2*m - 3 = -5*b. Solve -4*n - 4*c = -c + 1, 5*n + m*c + 1 = 0 for n.
-1
Let a = -3 + 1. Let p = a + 2. Suppose -j - 4*j + 5*s + 60 = 0, 5*j - 3*s - 64 = p. Solve l = 5*x + j, x - 10 = l - 4*l for l.
4
Let m = 25 - 9. Let p = m - 7. Solve -5*q - 2*i - p = -5*i, -q - 2*i + 6 = 0 for q.
0
Let v(n) = 4*n + 1. Let s be v(1). Let t = s + -3. Solve -2*m = 5*d + 9, d + d = -t for m.
-2
Suppose -10*f + 88 = -6*f. Let h = 40 - f. Suppose 0 = -5*r - 0*r + 20. Solve -2*y - h = 3*q - r*y, -q + 4*y - 16 = 0 for q.
-4
Let q(z) = -z**2 + 8*z - 7. Let f be q(7). Suppose -5*g + 5 = -l, -g - 23 = -10*l + 5*l. Solve -4*d - 3*n - 29 = f, -13 = -0*d + g*d + n for d.
-5
Suppose 12 = -4*g + 7*g. Solve 2*w - 8 = -2*n + 4, 5*n - 27 = -g*w for n.
3
Suppose 0*o + 24 = 2*o. Let j be 6/(5 - (0 + 3)). Solve 0 = -0*d + j*d + o, 23 = -5*i - 2*d for i.
-3
Suppose 0 = -13*z + 16*z - 12. Solve -3 + 10 = -z*l - 3*o, 5*l - 20 = 2*o for l.
2
Let g = -98 - -108. Solve 3*a = 2*p - 27 + g, -4*a - 20 = -2*p for p.
4
Suppose -s - 4*l = 3*s - 64, 6 = s - 4*l. Solve -2*o = o + 5*n + 1, -n - s = -4*o for o.
3
Let w = 58 - 54. Solve t + 2*b + 0 = -1, t - w*b = -13 for t.
-5
Suppose -2*k + y - 3*y = -4, -4*k + y = -18. Solve 4*x - k*n - 28 = 0, 6*x - 4*x + n - 2 = 0 for x.
3
Let f be (2 + -2)/((-4)/(-2)). Solve f = i, 3*n + i = -2*i for n.
0
Let s(j) = -j**3 + 20*j**2 - 18*j - 17. Let d be s(19). Solve u + 1 = -4*l, 0*u + d = l + u for l.
-1
Let x be 4/(-10) - 94/(-10). Suppose 6*b + 9 = x*b. Solve 4*f + g + 3*g + 36 = 0, -37 = b*f + 5*g for f.
-4
Let v be 4 + -1 - (-8 + -5). Let n = -13 + v. Solve 2*c = -4, n*o - 3*c - 18 = -3 for o.
3
Let m = 6 + 9. Solve w = 4*z + 25, m = z - 4*z for w.
5
Let q(y) = -y**2 - 7*y - 7. Let j be q(-5). Suppose -2*m = j*i - 12, 3*i + 2*m = 5*m + 27. Let k be 1/((-1 + 2)/i). Solve -3 = p, k*h = 2*h - 2*p - 26 for h.
-5
Let n be (0 + -1)/((-1)/(-1)). Let q = n + 6. Let u = q + -3. Solve -3*c + 21 = 2*r + u*c, 5*r - 21 = -2*c for r.
3
Suppose -6*h + 3*h + 24 = 0. Let a(g) = g**2 - 6*g - 7. Let q be a(h). Solve 4*y - i = y + 7, -5*y - i = -q for y.
2
Let h be 305/3 - 5/(-15). Suppose -3*q + h = -27. Suppose 0 = 4*u - 4*z - 72, -2*z - q = -5*u + 47. Solve 4*i = -r + u, -5*i = r - 6*r - 35 for i.
5
Suppose 35 = 5*x + 30. Solve -25 = 5*h - 5*v, x + 1 = 5*h + 4*v for h.
-2
Let f(q) be the first derivative of -q**2/2 - 7*q - 7. Let r be f(-7). Solve r = -d - 5*i + 20, 0 = d - 5*i + 8 + 22 for d.
-5
Suppose -4*h + 7 = -9. Suppose 2*y - 3*y = h*m - 16, 3*y - 27 = -5*m. Solve 0 = v + w + 2, -y*v + 8*w - 4*w = 32 for v.
-5
Let d = 4 - 0. Let q(c) = -c**3 + 4*c**2 - 4. Let k be q(3). Solve -5*g + 4 = d*y, -44 = -k*g + 4*y - 8 for g.
4
Let o be ((-25)/(-10))/((-4)/(-8)). Solve z = -o*k - 27, -3*k - z = -4*k - 3 for k.
-5
Suppose -28 = -5*z - 13. Solve -z*l = 3 + 3, 4*l + 3 = 5*q for q.
-1
Let k(q) = 5*q**2 - 5. Let b be k(4). Suppose 2*h - 103 = -5*s + 5*h, -4*s = 5*h - b. Suppose 0 = 4*c + c - s. Solve o - 28 = -5*v, -c*v = -v + 5*o - 30 for v.
5
Let t = 15 - 10. Let s(u) = -u - 4. Let j be s(-9). Solve 3*b - 5*z = -2*z - 3, 2*b - j = -t*z for b.
0
Let x(h) = -h**3 + 14*h**2 - 14*h + 18. Let y be x(13). Solve v - 12 = -2*f, -y*v = 2*f + 4 - 24 for v.
2
Let h = 31 - 18. Suppose 0 = -5*x + 5*w + 35, x + h = -0*x - 3*w. Solve -i = 3*o + 2, 4*o - 3*o = x*i + 11 for o.
1
Let s(k) = -k**3 + 7*k**2 - 8*k + 6. Let r be s(6). Let z be (r - 2)/4 + 4. Solve 4*i + 13 = -t - z, 10 = 2*t - 2*i for t.
1
Let b(q) = 0 + q + q**3 + 4*q + 4 + 5*q**2. Let z be b(-4). Solve -2*l - 2*j = 7 + 7, z = -2*l + 4*j + 16 for l.
-2
Suppose 0 = 5*i - 2*i + 81. Let a be (-2)/3*i/6. Suppose 0 = -3*k - 3*r + 42, -3*k + 67 = r - a*r. Solve 0 = -3*p - 4*n + k, -3*n + 29 = 5*p + n for p.
5
Let i = 8 + -8. Suppose i = l + 3*l + 4*u, 2 = -4*l - 5*u. Solve 0 = q + 4*b + b + 3, -q = -l*b + 3 for q.
-3
Let g(n) = -n**2 + 7*n + 8. Let v be g(8). Suppose -m - u - u + 1 = 0, 2*m - 4*u - 10 = v. Solve 22 = 5*h + 2*f, 0 = -3*h + m*f + 2*f + 7 for h.
4
Let u(j) = j**3 + 6*j**2 + 5*j. Let n be u(-5). Suppose -3*z + 6 = -n*z. Solve 5*b = -l + 10, -5*l + 27 = -0*b + z*b for l.
5
Let w be -1*((-21)/(-7) + (0 - 4)). Solve -g = r, -4*g - g - 4*r + w = 0 for g.
1
Let g be (1/(-2))/((-5)/20). Suppose -g*l + 50 = -j + 18, 4*j + 68 = 4*l. Solve -l = -3*k, 2*c - 4*c - 17 = -3*k for c.
-1
Let y(r) = -r + 11. Let a be y(10). Let c = 1 + a. Solve -3*z - c*j = -0 + 2, 3*j + 10 = -z for z.
2
Let p(s) = 17*s - 27. Let g be p(2). Solve -3*z + g = -0*z + 4*n, 4*z + 5*n - 10 = 0 for z.
5
Let o(j) = -j**2 - 8*j - 6. Let s be o(-5). Let h be -12*(s/(-6) + 2). Let f = h - -9. Solve r - 16 = 4*z, -5*z - 8 = -f*z - 2*r for z.
-4
Let v(l) = -2*l - 6. Let q be v(-5). Solve 2*m - 3 = 2*f + 1, -q*m + 5 = -5*f for f.
3
Suppose -2*h - 2*f - 5 = -1, -35 = -5*