- 6, 5*m + y = 4*k for k.
3
Let z be (-4)/(-8) - 6/(-4). Suppose -4*k = -7*k + 15. Solve -z*j + 2*r = 2, 2*j + k*r - 13 = -j for j.
1
Let w = 31 - 24. Solve 2*s - 3*s - 19 = -4*o, -4*o = 3*s - w for o.
4
Let l(c) = c**3 + 2*c**2 - 4*c + 2. Suppose -3*b = -o - 2 - 11, 3*o = -2*b + 16. Let j be l(o). Solve i + 4*s + 1 = -4, s = -2*i - j for i.
-5
Let t(k) = -6*k + 2. Let i be t(6). Let o = -22 - i. Suppose -2*g + 0*g = -o. Solve 3*z - 5 = 5*q + 25, -3*z + g = 3*q for z.
5
Let s be (-10 - -2)*(-2)/4. Let b be -1*(0 + (-20)/s). Solve 2*f - 3 = 3*x, -b*f - 4 = -4*x - 1 for f.
-3
Let v be 25/(-2) + 2/4. Let p = -7 - v. Solve 4*c + 5 = 4*w + w, p*c = -2*w + 35 for w.
5
Suppose -x - 4*x = -5*z, z + 4*x - 10 = 0. Suppose 3*f = f + 6. Solve -5*k = 3*a + 9, 4*a + f*k + z = 1 for a.
2
Let a be 14/(-91) - 366/(-13). Let g = -26 + a. Solve -v = 5*x + 21, 10 = 2*x + 7*v - g*v for x.
-5
Let q be (0 - 0/(-2))*(9 - 8). Solve n + x - 4 = 6*x, -5*n + 2*x + 20 = q for n.
4
Let r = -43 - -15. Let w = r + 44. Solve -8*h + z + 10 = -3*h, 3*z + w = h for h.
1
Let k(l) = -l**3 - 10*l**2 - 11*l - 7. Let s be k(-9). Suppose 0 = -3*o + s + 13. Suppose -o - 10 = -3*u. Solve -2*p - 3 = -5*y, -u = -y - 5*p - 0*p for y.
1
Let w be (-2 + 2)/(1*-2). Suppose -j - 2 + 0 = 0. Let v = 5 + j. Solve w = v*d + 12, -3*b + 2*d - 8 = b for b.
-4
Let r = 8 - 14. Let b(n) = 8*n + n**2 + 0 + 4 - 5*n. Let i be b(r). Solve 5*t = 2*y - i, 0*t + 3*t + 4*y + 8 = 0 for t.
-4
Let a be 1 - -1 - (-3 + 15). Let x = 120 + a. Suppose 0 = 6*k - k - x. Solve -v = n + 3*n + 13, 0 = -2*v + 4*n + k for v.
3
Suppose -7*p - 5 = -12. Solve 4*o + 3*u = 20, -o - p + 19 = 4*u for o.
2
Let p(v) = v**2 + 5*v - 2. Let k(q) = -3*q**2 - 14*q + 6. Let h(u) = 3*k(u) + 8*p(u). Let w be h(-2). Solve 3*y + w = z, -z - 3*z = -y + 14 for y.
-2
Suppose -6*m + 4*m + 16 = 2*f, -m = -5*f + 4. Let s = -4 - -8. Suppose 4*j - 45 = -5*z, z + 9 = s*j - 6. Solve 28 = -3*a - 4*o, -j*a = o - m*o for a.
-4
Let g = 23 + -16. Solve 0 = 2*i + 2*k + 4, i - g = 3*i + k for i.
-5
Let v(j) = -j**2 + 7*j - 1. Let d be v(6). Suppose -4*s - 20 = -8*s. Suppose 2*c - 8 = -2. Solve d*n = 2*o + 7, 0 = c*o + 2*o + s*n for o.
-1
Suppose -3*p + 4*w = -27, 6*p = p + 3*w + 34. Suppose 5*t - 5 = p*a, -2*t = -3*a + 3*t - 13. Solve -5*y - 13 - 12 = -a*i, -y - 5 = 0 for i.
0
Let a(z) = -z - 5. Let g be a(-9). Suppose -6 = 5*j + g*f, j - 2*f = 2*f + 18. Solve 0 = -j*o + 2*p, o = 2*o - 5*p for o.
0
Let t = -10 + 12. Solve l = -4*h - t*l, 2*h + 10 = l for h.
-3
Let r(g) = -2*g - 2. Let t be r(6). Let y = -11 - t. Solve b = -h - 1 - 1, -5*b - 18 = -y*h for b.
-3
Suppose -n + 2 = 3, -2*n - 20 = -2*o. Suppose 2*p + p + o = 0. Let k be p*(-2 + 1 + 0). Solve 3*i = -2*i + 3*j + 21, 6 = -k*j for i.
3
Suppose -5*u + 25 + 5 = 5*z, 0 = -4*z - u + 18. Solve -3 = -z*s - o - 11, -3*s + 3*o = 6 for s.
-2
Let b be 12/7 + (-2)/(-7). Let y be 6 - 1 - (-4 + 2). Let z(a) = -a**3 + 6*a**2 + 8*a - 4. Let f be z(y). Solve b*c = -r - f*c + 17, 5*c = -2*r + 14 for r.
-3
Suppose 0 = -2*x + 5 - 1. Solve 3*t - x = -y, 0*y + y - 5*t = 2 for y.
2
Let v be ((-156)/18)/(3/(-9)). Suppose -2*z = -2*p + v, -48 = -4*p + z + z. Solve -3*x + l + 0 - 5 = 0, p = -x - 2*l for x.
-3
Suppose p + 3*p = 16. Solve p*g = 5*s + 8, 0 = 2*s + g + 2*g - 6 for s.
0
Let x(c) = c**3 + 10*c**2 + 8*c - 5. Let y be x(-9). Let u = 16 + 4. Solve -2*p + 6*p + 2*f = 20, 0 = y*p - 2*f - u for p.
5
Suppose 10 = v - 10. Suppose v = 5*t - 15. Solve 3*s - t*s + 5*n = -13, 5*s + 4*n = -35 for s.
-3
Let u = 18 - 13. Suppose 0 = -u*y - 0*y + 25. Solve 2*t + y*w + 2 = t, -5*t + 4*w = -19 for t.
3
Let d = -11 - -14. Let f be d + (-4 + 3)*-1. Solve 5*q = -5*a + 15, -q = f*a - 4*q - 12 for a.
3
Let j be (27/(-18))/(6/(-20)). Solve 4*k = -5*q + 4, -4*q + 2 - 7 = -j*k for k.
1
Let q = 2 + -2. Let f be 2/((-4)/1)*q. Solve f*j + 3*v = -j - 17, 0 = -3*j - 3*v - 21 for j.
-2
Let o(n) be the second derivative of 0 - 1/2*n**3 + n + 2*n**2. Let h be o(-5). Solve 0*l + 5*p = -3*l + h, -5*l - 4*p = -23 for l.
3
Suppose 0 = -b - 3*b. Solve 5*v - 2*g + 1 = 0, -v - 4*g - g + 16 = b for v.
1
Let m(x) = -x**2 + 2*x + 11. Let b be m(4). Solve -b*o + 12 = -4*v, -o - 5*v = -6 + 2 for o.
4
Let f(m) = -m - 7. Let l be f(-9). Let s(z) = -z**2 + 6*z + 2. Let j be s(6). Solve -r + 11 = j*r - l*o, -5*r - 5*o - 15 = 0 for r.
1
Let l = -67 - -47. Let m = -7 - l. Solve -j - 1 = -5*r, -6*j = -3*j + r - m for j.
4
Suppose 0 = -2*l - 5*t + 31, -5*t - 1 = -3*l + l. Solve -4*z = 3*n - 2*n - l, 7 = -3*z - 4*n for z.
3
Let u = -9 - -21. Solve -2*i - 2*i - u = 4*p, 3*i = -p - 5 for i.
-1
Suppose u = 3*u - h - 4, 0 = h - 4. Suppose -5*l + 6 = 4*o, -o = o + 2*l - u. Solve 5 = s + b, -o*b = -2*s - 0*b - 20 for s.
0
Let y(h) = -h**3 - 8*h**2 - 9*h - 10. Let b be y(-7). Suppose b*w = i, -5*i + 5*w = 2*w. Solve c + 3*c = 12, i = 3*u - 5*c + 18 for u.
-1
Let j = -121 - -124. Solve -2*u + 3*q = 16, -6*q + j*q = 3*u - 6 for u.
-2
Let k(w) = 9*w. Suppose l + 4*l - 10 = 0. Let o be k(l). Solve 3*n = 3*g - 14 + 5, 2*n = 5*g - o for g.
4
Suppose 13 = z - 12. Suppose -z = -3*d - 7. Solve 3*k - 6 = 3*p, d*p - p + 24 = -2*k for p.
-4
Suppose 4 = -2*r + 10. Solve 4*l - 13 = -3*t, -r*l + 8 + 3 = t for l.
4
Suppose 2*v = 6*v - 12. Let m(l) = 9*l**2 - 2*l - 1. Let c be m(-1). Suppose 2 = 4*t - c. Solve 11 - 29 = t*p + v*o, 4*o = 2*p - 18 for p.
-1
Let m(b) = -b**2 - 3. Let s be m(0). Let r be -1*5*(2 + s). Solve 0 = 5*y + 20, r = 3*a - y - 4*y for a.
-5
Suppose -3*x + 2*n = -6, -3*x + 1 = 4*n - 5. Suppose 0 = 3*z + x*z - 20. Solve z*m = -3*i - 20, 3*m + 18 = -i - 2*i for m.
-2
Suppose -a - 4*b - 4 = 3*a, 5*a - 3*b = 27. Solve -2 = 2*n + v + 2, 5*v + 13 = -a*n for n.
-1
Suppose 0 = 3*u, 2*o + 4*u = -3*o + 15. Solve 4*l + 12 = 3*v, -l + 6*l = o*v - 12 for v.
4
Let d = 8 + -5. Let n(w) = -w**3 + 9*w**2 - 7*w - 3. Let i be n(8). Let x be -2 + -4 + 8 + 3. Solve 0 = -2*r + r - i*l, d*r + 20 = x*l for r.
-5
Let r(j) = -j**3 + 7*j**2 + j + 8. Let i be r(7). Let x be (i/(-20))/(2/(-8)). Suppose -3*m - x = -4*m. Solve 2*w + m*w = -4*k + 22, 2*k = 6 for w.
2
Let j = -1 + 5. Solve -4*u + 4 = -j*k, -k = u - 10 + 1 for k.
4
Suppose 5*h + 59 + 1 = 5*l, -4*l = 5*h + 78. Let i(d) = -d**2 - 15*d - 10. Let n be i(h). Solve -3*p + 6 = 3*o, -n*p - p + o - 14 = 0 for p.
-2
Suppose 45*t - 47*t + 10 = 0. Solve 0*h - 2*h - 1 = c, t*c + 27 = h for h.
2
Suppose -4 = 2*s + 8. Let w = s - -11. Solve -w*g = -25, -j + 3*g + 1 - 15 = 0 for j.
1
Let f be (-1 - (3 + -4)) + 0. Let s(l) = -l**2 - 2. Let v be s(f). Let t = v - -5. Solve -w - 4*q - 20 = 3*w, 2*q = -t*w - 15 for w.
-5
Let a(j) = j + 7. Suppose 3*k - 36 = 4*w, 9 = w - 2*w + 5*k. Let f be a(w). Let p be ((-1 - -1)/f)/(-2). Solve 2*i - 3*i + 4*n + 16 = p, 20 = -4*n for i.
-4
Suppose 5*c + 5 = -0*c. Let j be (348/16)/(c/(-4)). Suppose 0 = -3*y - 0*y + j. Solve 2*t + y = -5*x, 2*t = t + 4*x + 18 for t.
-2
Let q(j) = -j**2 - 7*j + 2. Let y be q(-6). Suppose -y = 3*o + 4*g - 5, -5*g - 21 = -2*o. Solve i - 4 = 2*z, -o*i + 3 = -6*i + z for i.
-2
Let o(v) = v + 8. Let d be o(-7). Let n = d + 7. Solve -3*y - n = -2*y + 4*p, 3*p - 1 = y for y.
-4
Suppose 0*u + 2*u = -6, -5*p = -3*u - 19. Let b = 3 - -1. Suppose -b = -p*n + n. Solve -2*j - 2 = 3*z, -5*j = -n - 6 for z.
-2
Let b be 1 + (0 - 1*-2). Suppose -2*l + 6 = -4. Suppose 2*z = -b*j + 20, 4*z + 0*j = l*j + 62. Solve -r + 5*t = -z, 2*t + 2 = -4 for r.
-2
Let g be 5 + (-6)/((-6)/(-3)). Solve -3*d - 3 = y + g*y, 4 = 5*d + 2*y for d.
2
Let p(l) = l + 3*l**2 - 4*l**2 - 7*l + l. Let i(d) = 3*d**3 + 2*d + 1. Let s be i(-1). Let n be p(s). Solve n*h + 32 = 4*j, -j + 21 = -2*h + 2*j for h.
-3
Let l(i) = i**2 - 4*i - 1. Let m be l(6). Suppose 0 = -4*a + m + 5. Solve a*k + k - s - 3 = 0, 0 = 5*k + 4*s + 12 for k.
0
Suppose 0*s - 2*s + 6 = 0. Suppose s*c + 6 = j, j + 2 = -0*c - c. Let a be 1 - 2 - -5 - j. Solve 2*u - 5*t = 19, -5*u = -u - a*t - 8 for u.
-3
Let f(p) = p**2 - 7. Let d be f(-3). Solve 1 = -q - d*q - r, q + 3 = r for q.
-1
Let r(t) = -t**2 + 7*t + 2. Let o = 3 - -4. Let j be r(o). Solve 6 = n + 3*n + j*x, 3*n - 2*x - 1 = 0 for n.
1
Let z = 3 - 2. Let c = 2 - -2. Suppose h = c + z. Solve o - h = -5*l, 5*o + 3*l - 3 = -0*l for o.
0
Let p(r) = -r**3 - 5*r**2 - 4*r. Let o be p(-4). Suppose f = -o + 2. Solve 0 = -5*x