 -z for k.
-5
Let p(l) = l + 5. Let n be p(0). Let t = n + -5. Let r be t/2 + (-15)/(-3). Solve 3*m - 22 = 5*h, r*m - 3*h = h + 15 for m.
-1
Let j(u) = u**3 - 10*u**2 + 10*u - 6. Let t(z) = -z**2 - 8*z + 9. Let i be t(-8). Let h be j(i). Solve k - 10 = -h*c, 14 = 2*k + 4*c + 4 for k.
-5
Let i(s) = s - 4. Let k be i(4). Let j be 2*(k - (-33)/6). Suppose 2 = -3*t + j. Solve 16 = 5*f - 3*m, 5 = t*f - m - 7 for f.
5
Let n(o) = 4*o**2 - 2*o - 4. Let c be n(-1). Suppose -4*z = 2*f - 10, -3*f = -3*z + 2*z + 6. Let g be (0 - 2*f) + 2. Solve -c*h = 2*h + g, 2*s - 5 = 3*h for s.
1
Let r(o) = o**2 - 11*o - 9. Let a be r(12). Solve a*h - 7 = -4*l, -13 - 4 = -5*h - 4*l for h.
5
Let u(m) = m**3 + 6*m**2 - 4*m - 8. Let n be u(-6). Let r = n + -14. Solve 3*o + 5*i - 13 = 0, -r*i = -7 - 3 for o.
-4
Let j(v) = v**2 + 4*v - 3. Let t be j(-4). Let s be (-12)/t*1*-2. Let m = s + 11. Solve -6 = m*b + 2*a, 7 = -4*b - a - 6 for b.
-4
Let j(c) = c + 9. Let g be j(-7). Solve 3*y = -7 - g, 4*u - 15 = 5*y for u.
0
Let g(s) be the first derivative of s**4/4 + 2*s - 2. Let j be g(0). Solve j*c + 0*c + 9 = 3*u, -c = 3*u for u.
1
Let l(c) = -c**2 - 3*c - 1. Let t be l(-6). Let n = -10 - t. Let o = n + -6. Solve -5*h + 18 = -o*i, -5*h = 4*i - 10 - 1 for h.
3
Suppose 5*d = -0*l - 2*l - 25, 5 = 3*l - d. Suppose 4 + l = k. Suppose 5*p + k*u = -5 + 22, 5*p = u + 27. Solve 2*r + 15 = -0*r - p*h, 2*h = -2*r for r.
5
Suppose 9 = 3*n - 0*n. Suppose n*g - 5*o + 3*o = 22, 5*g = 3*o + 35. Solve -2*s + 1 = -3*w + 5, 2*s = -5*w - g for s.
-2
Suppose -5*g = -0*u - 2*u - 35, 3*u = 0. Solve 4*o - 2*o + g = -w, -w - 6 = o for w.
-5
Let x(o) = -3*o**3 + 3*o**2 + 3*o + 2. Let y be x(-1). Solve 5 = -y*m + 5*l, -l - 5 = -3*m + 4*l for m.
-5
Let w = 34 + -32. Suppose 5*z - z = f - 6, -2*f + z = -5. Solve k = v + w, -f*v + 5 = -3*v for k.
-3
Suppose -2*l = l + 4*m - 41, -4*l + 56 = 4*m. Let p = l + -11. Suppose -b = -2, -p*d + 9*d + 3*b = 6. Solve -2*n - 2*z + 6 = -d, -5*z = n - 3 for n.
3
Let n(f) = -f**2 - 13*f + 11. Suppose 4*s - 21 = t, t + t + 48 = 2*s. Let r = t + 13. Let y be n(r). Solve 17 + y = 5*q - 5*j, -5*j = 25 for q.
3
Suppose -3*w - 2 = 2*u, -w - 8*u = -3*u + 5. Suppose 0*r = r - 5. Let j = r + -2. Solve w = j*v - 5*q - 26, 0*v - 2*v + 3*q = -16 for v.
2
Suppose -4*o + 2*q + 3 = 9, 5*o + 3*q + 24 = 0. Let r = 0 - o. Suppose 3*l + 19 = 3*u - 2, -4*u = r*l - 14. Solve u*g + 2*b = 11, 5*b = -g - 0*g - 7 for g.
3
Suppose 6 = 5*a - 3*t, -a - 2*t + 3*t = 0. Let u = a - 3. Let r(k) = -k**3 - k**2 + 8. Let z be r(u). Solve -b - 2*g = -0*b - z, 2*b + 11 = 5*g for b.
2
Let r be 4*(-2 - 28)/(-3). Suppose 0 = -5*i - 0*i + r. Suppose 0*y + i = 4*y. Solve y*w - 35 = -5*d, 3*w - 2*w = 5 for d.
5
Let n(f) = -f**3 - 3*f**2 + 4. Let y be n(-3). Let k be 2/(2/(-3)*-3). Solve -k = p - y, -2*p = -3*w + 9 for w.
5
Let r be (1/(-3))/((-2)/30). Suppose -7*v = -5*v - 4. Solve r*c + v*j = 3*c, 0 = -j - 2 for c.
2
Let f be (2*-15)/((-3)/3). Let v be f/7 - 4/14. Solve -5*t - 1 = v*d, t - 3*t - 2*d - 2 = 0 for t.
3
Suppose 0 = -2*n + 1 + 7. Suppose -3*t - t + 4*m = 0, -m = -n*t. Let i be (6/8)/(2/8). Solve 3*q - 12 = t, y - 7 = i*q - 24 for y.
-5
Suppose 4*m - m = 12. Solve -8*n - 4*z - 24 = -4*n, 19 = n - m*z for n.
-1
Let n(k) = k**2 + 4*k + 3. Let m be n(-4). Let c be 0*1/(4 - m). Solve 0 = -3*s + 2*q - 7, c = -s + 5*s - 3*q + 8 for s.
-5
Suppose -3 - 16 = -4*h + t, -5*t = -4*h + 31. Suppose -3 = -5*w + h*w. Solve 4*d = w*d + s + 4, 0 = -2*d + s + 3 for d.
-1
Let u be -2 - (-10)/(3 + -1). Solve -6 = r - 2*p + u*p, 24 = -2*r - 5*p for r.
-2
Suppose -2*g + 6 + 6 = -2*b, 0 = -3*g + 2*b + 17. Solve -3*s - 2*k - 1 = -2*s, g*s - 16 = -3*k for s.
5
Let x = 102 + -99. Let d be 4/(-10) - (-2)/5. Solve 0 = -4*y - d*y, -x*y + 16 = 4*g for g.
4
Let n = 2 - 0. Suppose -n*x = -0*x - 2. Let t be (-1)/(2/x)*-2. Solve 3*f - 3 = i, 4*f = -3*i + 5*f - t for i.
0
Suppose -5*t = -a + 27, -4*t + 3 = -2*a + 27. Let z be (72/20)/((-1)/t). Solve -6*u + 3*d = -u + z, 5*u + 4*d = -11 for u.
-3
Suppose 5*m - 3*p + 70 = 0, -2*m + 0*m - 9 = -5*p. Let t = m + 24. Solve -2*q = -2*j + t*j - 21, 30 = 5*q + 5*j for q.
3
Suppose -4*y + 15 = -f, 4*f + 15 = 5*y - f. Solve -5*b + 5 = -4*l, 4*l - y*b + 7*b - 3 = 0 for l.
0
Let s(z) = z**3 - 6*z**2 + z - 3. Let g be s(6). Suppose 1 = 2*v - 5. Suppose -21 = v*t - 72. Solve -d + 2*u + t = 2*d, -g*u = 4*d for d.
3
Let p be -3*2/(-4)*(8 - 6). Solve -7 = -p*k + 4*g, 0*g - 2*g = 2*k + 14 for k.
-3
Suppose 3*z = -2*v, -v - 2*v = -3*z. Suppose -5*p + 16 + 4 = z. Solve p*y + n + 8 = 0, 3*n + 11 = 5*y - n for y.
-1
Let l = 4 - 2. Solve 2*i + n = 1 + l, -4*n = -4*i + 12 for i.
2
Let u be ((-3)/4)/((-10)/(-80)). Let k(g) = g**2 + 5*g - 2. Let h be k(u). Solve -v - 2*s - 5 = 0, h*v + 3 = 3*s + 38 for v.
5
Let k = 12 - 7. Let w(l) = -1. Let n(y) = y**2 + 2*y + 4. Let c(u) = n(u) + 6*w(u). Let i be c(-4). Solve -3 = -2*d + f, k*f = -4*d + i + 21 for d.
3
Suppose 144 = 2*t - t. Suppose m = -3*m + t. Suppose m = -3*r + 5*r. Solve q - 6 = 2*q + 5*s, s = -5*q + r for q.
4
Suppose -2 = -4*c + 2*c. Let u = 9 - c. Let d = 13 - u. Solve -1 = -4*j - 5*f + 2, d*f + 9 = 2*j for j.
2
Let z(s) = -s**3 - 9*s**2 - 9*s - 3. Let c(a) = -a - 2. Let f be c(6). Let w be z(f). Solve 3*v - 2 = b, v - 4*b + 2 = -w*b for v.
0
Let t(q) = 2*q**2 + 1. Let r be t(-3). Suppose 4*h - 109 = r. Solve h = -4*s + 2*f + 2*f, -19 = 3*s - 2*f for s.
-3
Suppose -9*f + 56 = -5*f. Solve 7*o - 2*o = 3*z - f, -2*z = 3*o - 3 for z.
3
Let i = 3 - 3. Solve i = 4*n + 4*p + 12, -5*n + 4 = -3*p - 5 for n.
0
Let f = -81 - -85. Solve -9 = 5*d + f*m + 2, 5*m - 20 = 5*d for d.
-3
Suppose 3*z - 4*z + 4*b - 2 = 0, 0 = -5*z - 3*b + 13. Solve -2*f + j - 2 = 0, -z*f - j - 12 = 3*j for f.
-2
Let v(i) = 3*i**2 + 4*i + 3. Let s be v(-2). Solve -s = -3*y - b, 1 = -b - 4 for y.
4
Suppose 4*r = r + 6. Let n(w) = 7*w**r + 2*w + 0*w**2 + 2*w**2 - 1. Let f be n(1). Solve -3*s = 5*x - s + 12, 0 = -3*x - 4*s - f for x.
-2
Suppose 4*p + 5*s + 47 = 0, -18 = 3*p - 5*s + 3*s. Let o be (p/(-14))/((-4)/(-14)). Suppose 0*h = -2*h. Solve t = -o*x + 6 - 3, h = 5*x + 4*t - 15 for x.
-1
Let w = -57 - -60. Solve 0 = w*r + 3*s - 8*s + 30, 12 = 4*s for r.
-5
Let f(t) = -19*t + 1. Let m be f(-1). Solve 0 = -3*q - 3*o - 24, -4*q - 2*o - m = -o for q.
-4
Let s(l) = l**2 + l - 2. Let k be s(2). Solve 8*m - 4*m - 3*n = k, 2*n - 16 = -2*m for m.
4
Suppose -9*i + 2*i + 28 = 0. Solve 2*d + 10 = 3*q - 1, i*q = d + 18 for d.
2
Suppose -5*x + 6 = -a, 0*x + 2*a - 6 = x. Let m = x + 6. Suppose m*r - 3*r = 70. Solve 2*y - r = 3*s, -5*y + 3*s = -2*y - 18 for y.
4
Suppose 4*a - 3*i + i - 102 = 0, 5*i = 2*a - 39. Solve -2 = -k - f, -7 = 5*k - 5*f - a for k.
3
Suppose -2*u = 4*x + 6, -6*u + 2*x = -3*u - 31. Solve 0 = -4*z - 2*c - 24, z + c = -0*z - u for z.
-5
Suppose t = -t. Suppose -3*v + 5 + 7 = t. Solve -4*y + 4*q = -v, 2*y - 2 = -q - 3*q for y.
1
Suppose 2*k + 5 = 9. Solve 0*r + k*l - 2 = -4*r, 5*r = 4*l - 17 for r.
-1
Suppose -2*t + 5*f - 5 = 0, 4*f + f - 5 = 0. Solve -3*m = 3*l - 9, -2*l + t*l + 10 = 3*m for l.
-1
Let d(i) = i**3 + 6*i**2 + 6*i - 4. Let k be d(-4). Solve 2*h - 4*f = 14, h + 1 = -k*f - 22 for h.
-3
Suppose 0 = -0*p + 3*p - 81. Solve -4*o + 3*g + p = -o, -5*o = g - 15 for o.
4
Let i = 14 + -14. Suppose i*h = -6*h + 72. Solve -2*z + h = -d, 8*z - 27 = d + 3*z for d.
-2
Let y = 1 + 4. Suppose -1 = -0*p - p, -4*p - 71 = -y*o. Suppose -b = -4*l - o, 54 = 3*b - 5*l + 2*l. Solve 0*u = 4*u - c + 13, 0 = 2*u - 3*c + b for u.
-2
Let m(t) = -t**3 - 7*t**2 + 8*t + 2. Suppose -4*d = 32 - 0. Let x be m(d). Suppose -4*a = -x*a - 8. Solve -a = 4*z + j, 2 = 3*z - 4*j + 5 for z.
-1
Let c be -1 + (-2 - -2) + -2. Suppose -5*x - 3*d = -2*d + 14, 2*x - 3*d + 9 = 0. Let o = x - c. Solve 1 = 3*f + z, o = -4*f - 4*z - 0*z - 4 for f.
1
Let i be 0/1*7/(98/7). Solve -o - 2*o - 2*b - 2 = 0, 4*o - 3*b + 31 = i for o.
-4
Let d be (-3)/(-2)*10/3. Solve -1 = -2*v + z - 0, -5*z - 20 = d*v for v.
-1
Let v(d) = 10*d + 2. Let g be v(-1). Let b be 2*((-12)/g - 0). Solve 6 = -2*i + 3*a, -a + b*a = -2*i + 14 for i.
3
Let l(m) = -3*m**2 + m**3 - 2*m + m + 8*m**2 - 1. Let x be l(-5). Solve -y = -b - 6, x*b - 2*y + 17 = b for b.
-5
Let u be (-28)/(-12) - 2/6. Let n = u + -4. Let p be (-6)/(n - -5) - -5. Solve -3*s + 9 = -p*g -