Solve -j*n = 2*v + 8, v - 13 = -o*v + 2*n for v.
1
Let l(y) = y**3 - 6*y**2 + 5*y - 2. Let t be l(5). Suppose 0 = -8*m + 6*m + 12. Let b = t + m. Solve -2*f - 3*q - 1 = 3*f, -b*q + 4 = 4*f for f.
-2
Let c be (0 + 2 - 4) + 4. Let o be 368/26 - c/13. Solve o = -4*r + 5*p, r + 6 = 3*r + 4*p for r.
-1
Suppose -4*j - 3*y + 0*y - 1 = 0, -2*j + 17 = 5*y. Let v = j + 6. Solve 2*d - 2*r + 6 = 0, -v*d - 4*r = -5*d - 11 for d.
-1
Let w = 8 - 6. Suppose -w*c + 32 = -2. Suppose -5*s - 20 = 0, 0 = -3*a - 3*s + 5*s + c. Solve -2*r = 4*j - 12, a*r - 3*j = -4*j - 2 for r.
-2
Let h = 2 - 5. Let c be 2*h/6*-3. Solve -8*u - 1 = 3*s - c*u, -s + 4*u = 6 for s.
-2
Let w = -5 - -8. Suppose w*t - 5*v - 13 = -0, -2*t = -5*v - 2. Suppose -t = -2*a - 5. Solve -2*d + 9 = 3*f + d, a*d = -f + 7 for f.
1
Let f = 9 - -2. Suppose -49 - f = -p. Suppose -5*i + p + 75 = 0. Solve 0 = -5*o + 5*g - 35, 0 = -5*o + g - 0*g - i for o.
-5
Let f = 2 + 1. Solve t = 7 - 2, 0 = 2*x + f*t - 11 for x.
-2
Let m = -11 + 18. Suppose w - 2*w - m = -4*y, 0 = -5*y - 2*w - 1. Let r be 2 - (2 - (1 + 1)). Solve 3*v - r*g = -9, -19 = 3*v + g - y for v.
-5
Suppose 3*f - 2*f = 11. Let m = f + -8. Solve -5*n - 1 = -2*w - w, 4*w - m = 5*n for n.
1
Let k(c) = 9 + 17*c - 12*c**2 - 5*c**3 - 5*c + 6*c**3. Let m be k(11). Solve 5 - m = -4*h - 5*r, 3*h - r + 3 = 0 for h.
0
Let i = 3 + 1. Suppose -62 = -i*l - 2. Solve y + 18 = -4*g + 3*y, -4*y + l = -g for g.
-3
Let i = 29 + -19. Let b(j) = -6*j + 5. Let t(k) = 7*k - 6. Let p(q) = -6*b(q) - 5*t(q). Let m be p(i). Solve -x + 2*l - 7 = -2*x, -5*l + m = 0 for x.
3
Let a = -92 + 97. Solve 0 = -a*v + 2*i - 18, 5*v + 3*i = -10 - 13 for v.
-4
Suppose -z + 2*o = -0*z - 12, 6 = 2*z + 2*o. Suppose 4 + z = 2*b. Solve 2*w + b*c = 2 + 8, 4*w = -3*c + 20 for w.
5
Let x(o) = -3*o - 4. Suppose p - 3 = 2. Suppose 0 = 8*s - 7*s + 1, p*z = -4*s - 19. Let r be x(z). Solve w + 3 = a, 0 = -a - w - r + 4 for a.
1
Let s = 73 + -68. Solve s*z + 4*d = 2*d, 0 = 4*z + 3*d + 7 for z.
2
Let l(d) = -2*d + 1. Let a be l(-1). Suppose -4*c - 8 + 28 = -4*r, -a*r - 20 = -4*c. Solve -4*n + 4 = -3*y - y, r = 2*y for n.
1
Suppose 0 = f - 3*u - 12, f - 24 + 8 = -u. Suppose 2*r - f = -5*q - 1, -5*q + 12 = r. Solve -5*g - 20 = 0, r*w - g - 19 = 5*w for w.
-5
Let y = 8 + -12. Let l(x) = 2*x**2 + 5*x - 3. Let f be l(y). Let u = f - -2. Solve -4*i - 40 = 5*g, g - u - 10 = 5*i for g.
-4
Suppose 0 = -o - 2*k - 2 + 1, 3*k = -4*o + 6. Suppose -3 = -o*y - 0*y. Suppose -5 = -3*q + y. Solve j + q*j + 1 = 4*m, j + 11 = -4*m for j.
-3
Let l be (-3)/15 - (-31)/5. Solve l*j = 2*z + 3*j - 19, -4 = z + 3*j for z.
5
Let z(o) = o + 3. Let b be z(-3). Suppose 5*x = 7*x - 6. Solve 5*k - p = b, -2*k + 0*p - 17 = x*p for k.
-1
Suppose 5*r + 13 = 4*w, 5*w + 2*r + 3 = 11. Suppose 2*i = 3 + 1. Solve -4*h - 9 = w*x - x, 4*x = i*h for h.
-2
Let b = 58 - 41. Suppose -3*w - 2*w = o - b, 15 = 5*w. Solve -4*m = -f, -2*m + f - o = -4 for m.
-1
Let d(r) = -r**3 - 2*r**2 + 1. Let y be d(-1). Suppose -a - 4*a = y. Suppose m = -5*u + 26, a = 5*m - 0 + 20. Solve -1 = 4*c - g + 11, 4*g = -5*c + u for c.
-2
Suppose -4*p - 2 = 5*v, -4*p - 2*v = -3*v + 14. Let a be (0 - 3)/p*3. Solve -5*j + 5 = 10, 0 = a*c - j - 1 for c.
0
Suppose 4*f - 7 = 5. Suppose -f*l + 22 = -4*h, h = -l - 4*l + 6. Solve 0 = -l*j + 5*v + 20, 2*j + 0*v - 18 = 4*v for j.
5
Let p = -16 + 14. Let o be (-1 - (2 - 3))/p. Let l = 1 + 3. Solve 3*b = z + l*z, o = b for z.
0
Suppose 4*k + 8*z - 3*z = 21, 3*z - 3 = 0. Solve 0 = -4*w - k*a + 8, w + 5*a = 1 - 3 for w.
3
Let a be ((-7)/(-3) + 1)/(54/81). Solve -4*p + 11 = 2*q - 11, a*p - 4*q + 5 = 0 for p.
3
Let n(p) = -8*p - 39. Let g be n(-7). Solve 0*z + z - 1 = -m, -3*z + m - g = 0 for z.
-4
Let w = 19 + -4. Solve 5*c + w + 12 = -2*n, -3*n - 13 = 2*c for c.
-5
Suppose 3*f = -5*k, -f + 9*k = 4*k. Solve -i - l + 3 + 2 = f, l = i + 3 for i.
1
Let d be (((-20)/(-4))/20)/(1/12). Solve 2*o + l = -0*o - 4, 3*o + d*l + 3 = 0 for o.
-3
Let x = -36 + 56. Solve 4*w - 3*j = x - 3, j = -3 for w.
2
Let x be 82/6 + 12/(-18). Let g be (-858)/(-30) + (-6)/10. Solve g = 4*d + 5*n, -4*n + x + 13 = 5*d for d.
2
Let y(a) = -2*a - 16. Let r be y(-8). Solve 0 = 3*i - 5*q - 7, -4*q + r = i - 8 for i.
4
Let r(f) = -f**2 + 6*f - 4. Let j be r(8). Let c = j - -36. Solve -5*u - 6 = 5*h - c, -15 = -5*u for h.
-1
Let y = -4 + 10. Solve 6*d + y = f + 2*d, 5*d = -4*f - 18 for f.
-2
Suppose 0 = 5*n + 10, 3*z - 7*z = 5*n - 18. Solve r - z = 2*c, 32 = -0*r - 4*r - 4*c for r.
-3
Let d(l) = 9 + l - 5 + 3. Let r be d(-11). Let a be r*(-3 - -2)/1. Solve -a*z - 16 = -4*t, z + 0*t - 3*t = -14 for z.
1
Let o = -15 - -46. Solve o = -5*w + 2*f, -4*f + 16 = -2*w - 2*f for w.
-5
Let o(q) be the first derivative of q**3/3 - q**2/2 + 6*q - 6. Let l be 3/(-12) - 2/(-8). Let u be o(l). Solve 3*g - u = c, -3 = -c - 2*g + 1 for c.
0
Suppose -3*c = 4*n + 7 - 25, -2*n + 4*c - 2 = 0. Solve -d = 2*x + n*x - 25, 3*d - 7 = 2*x for x.
4
Let t = -15 - -17. Let x(f) = 3*f - 3. Let y be x(3). Solve 3*s - 2*l - 1 + 0 = 0, -4*s - t*l = -y for s.
1
Let u = 12 + -9. Solve 4*h = 5*d + 3*h - 10, d - u*h = 16 for d.
1
Suppose 0 = -5*q + 4*q + 3. Let h = 8 + -4. Let c = h + 5. Solve c + 0 = -2*l - q*f, 4 = -3*l + 5*f for l.
-3
Suppose 8*u - 3*u - 40 = 0. Solve -2*a + 3*n = -0*n - u, -16 = -4*a + 5*n for a.
4
Suppose 0 = -h - 7 + 3. Let j be (h - -1)/(-2 - -3). Let f be ((-24)/(-3))/((-2)/j). Solve 2*l = 6*l - f, -5*a - 35 = -5*l for a.
-4
Let a be (-4)/18 - (-56)/9. Let b = 11 + a. Let i be (-6)/(-3)*10/4. Solve 8 = 3*g - 2*d, 2*g + b = -3*d + i for g.
0
Let p = -6 + 15. Let s = p - 6. Let n be 12/s - (-4)/(-2). Solve n*h - 10 - 4 = -2*a, -3*h + 3*a - 9 = 0 for h.
2
Let s = 109 + -97. Solve -3*k + 4*b + 1 = -s, -3*k + b + 1 = 0 for k.
-1
Let q be 1 + (-5)/7 - 418/(-154). Solve 5*n - 2*p - 7 = 0, -p = -3*n + 2*p - q for n.
3
Let x(v) = 7*v**2 - 56*v + 2. Let o be x(8). Solve -c + 2 = -5*y, -2*c + 4 = 3*y + o*y for y.
0
Let s be 804/(-66) + (-6)/(-33). Let n be 247/78 - (-2)/s. Solve q + 23 = -u - 4*u, -4*u - 7 = -n*q for u.
-4
Let h = -1 + 6. Suppose -3*q = -4*m + 25, 0 = h*m - 2*m - 5*q - 16. Suppose -2*d - z + m = 0, -5*z - 13 - 8 = -4*d. Solve 17 = -d*j - 3*a, 3*a + 6 = a for j.
-2
Suppose 10 - 19 = -3*r. Solve -m + 5*c - 7 = 0, r*m + 4*c - 23 = -2*m for m.
3
Suppose -120 = -4*t + 6*y - 2*y, 2*y = 3*t - 86. Let n = 43 - t. Solve j + 4 = -a, 0 = -a + 3*a - 3*j - n for a.
1
Let x(r) = -r**2 + 5*r - 2. Let k be x(3). Suppose -2*i + 6 = -j, -2*j - 2*i = -11 - 1. Solve -3*a + k*c = -12, 0 = -a - 0*c + j*c + 6 for a.
0
Suppose 0 = -4*k + 4*j + 12, -k - 2*k + 5*j + 5 = 0. Solve 0 = -4*w - 20, -6*p + p - k*w = 15 for p.
2
Let j(h) = 2*h + 24. Let a be j(-6). Solve -3*d + d = p - a, 20 = 2*d + 5*p for d.
5
Let f be -1*(-21)/6*2. Suppose -11 = -c - 3. Let m = 100 - 79. Solve v + 4*b + c = m, -v + b = f for v.
-3
Let c = 39 - 36. Solve -h = h - l - 4, -c*h + 5*l = 1 for h.
3
Suppose 7*c = 3*c + 12. Let d(t) = -t**3 + t - 7. Let h be d(0). Let o(m) = m**2 + 7*m + 4. Let f be o(h). Solve -3*l = 5*z - 28, -8*z + c*z - f*l = -29 for z.
5
Suppose p + 1 - 5 = 0. Suppose -5*c + 25 = 5*k, 0*c = -p*c - 5*k + 25. Suppose -5*u + c + 5 = 0. Solve -7 = -3*a + o, 3*a - 3*o + u = -2 for a.
4
Let q(f) = f - 3. Let d be q(3). Suppose z = 1, 17 = -4*x - x - 3*z. Let c = 7 + x. Solve d = 2*b + 3*l + 7, c = -2*b + l - 0 for b.
-2
Suppose -p = 5*o - 5, -5*p - 1 = 5*o - 6. Let z be (3/3)/(5/20). Solve p*t + 5*t - 3*v = 32, 4*v = z*t - 32 for t.
4
Let s(c) = -2*c**2 - 10*c - 4. Let b(d) = d. Let f(m) = 3*b(m) + s(m). Let h be f(-4). Let v = 33 + h. Solve q = -2*x + 9, -5*x - 2*q = 3*q - v for x.
4
Let o = 30 + -19. Solve 2*w - 3*h = -w - 15, h + o = -3*w for w.
-4
Suppose 5*z = -3*d + 15, -d - z = -3*z + 6. Solve d = a + 4*j + 1, -2*a - 5 = 3*a + 3*j for a.
-1
Let q = -3 + 8. Let o be (-4 + q)*-1 + 4. Solve 0*k + k - 2 = -o*n, 3*n = -4*k + 17 for k.
5
Let b(s) = -2*s**2 + 22*s - 20. Let z be b(10). Let u = 9 - 6. Solve h = -z*h + j + 6, -3*j = u for h.
5
Let y = -60 - -78. Solve -2*t = 5*v + 4 + 10, y = -5*t - 4*v for t.
-2
Suppose 2*b + 8 = -0*b. Let l be -2*1 + 0/b. Let j be 0 + l + (-18)/(-2). Solve -3*y = -2*i - 5 - 8, 5*y - j = -4*i for i.
-2
Suppose -r = 1 - 5. Solve g = k, 3*k + r*g - 41 = -6 for k.
5
Let r(j) = -j**2 + 