+ 2, 0 = i*j + 2*m for j.
-2
Let j(f) = f**3 - f - 1. Let v be j(2). Suppose 182*a = 163*a + 57. Solve -a*u = 4*c - 25, -4*u + v = -c - u for c.
4
Suppose -3*j - 6 = -3*n, -2*n - 2 = 4*j - 6. Solve -i + 2*i - 12 = -n*k, -3*k + 12 = 0 for i.
4
Let t(v) = v**2 + v - 13. Let d be t(-6). Let c = 47 - d. Solve 3*m = -2*b + 11, 5*b + c = 3*m + 5 for b.
-2
Let l = -10 - -13. Let y(x) = 12*x**3 + 2*x**2 - 1. Let n be y(1). Solve -l*a = -v + n, 7 + 0 = -a - v for a.
-5
Suppose -2 = -2*f + 2. Suppose f*z - 15 = 1. Suppose z = 4*b - 0. Solve b*l - 7 = -8*r + 3*r, -35 = 5*l - 5*r for l.
-4
Let g(a) = -a**2 - 6*a + 2. Let n be g(-6). Let y = 17 - 6. Suppose z - 12 - 1 = -5*d, d = -3*z + y. Solve -d*l + 22 = -4*k, 18 = 2*l - k - n*k for l.
3
Let p = 3 - 1. Let j be (2 - p) + (3 - 1). Suppose 4*t + 8 = j*w, -6*w + 9 = -3*w - 3*t. Solve -12 = -w*a - 4*b, -3*a = -6*a - 4*b + 10 for a.
-2
Suppose -24 = -3*z - 3*q, -4*z + 8 = -7*q + 3*q. Suppose c - z = -3*g - 4, -5*c = 4*g - 5. Solve p = 2*y + 2 + 2, p + y - c = 0 for p.
2
Let y be (-8)/(-6) + (-10)/(-15). Solve -3*m + 2*m = 5*f, y*f + 27 = 5*m for m.
5
Suppose -l + 6 = 2*l. Suppose 0*c + 3*c + 3*t - 3 = 0, -c + t = -5. Suppose -2 = -c*i + 2*i. Solve 3*b + x - l + 0 = 0, 4 = 2*b - i*x for b.
1
Let f(g) = 5*g**2 - 2*g + 1. Let x be f(1). Solve -3*l = 4*m - 3*m - 11, x*l = 12 for m.
2
Let b be (-7)/(-2) - 1/2. Suppose 0 = 3*c + o - 5, -4*c = -c - 3*o + b. Solve 3*u - 5*p - 11 = -3*p, 3*u = -p - c for u.
1
Suppose 0 = -a + 3. Suppose 3*g = -4*x + 26, -2*g + 2 = -a*x - 2*x. Let f = 13 - 9. Solve -f*k = 4*l - 12, -7*k + 2*k + 2*l - g = 0 for k.
0
Let j = -7 - -12. Suppose 8 = -j*c + 33. Solve 5 = 3*l - c*x - 11, 0 = -3*x - 15 for l.
-3
Let x(m) = m**3 + 6*m**2 + 3*m - 6. Let g be x(-5). Suppose -i = 3*i + 68. Let h be (0 - 3 - i) + 2. Solve 2*c = -4*q - q - h, 5*c + 6 = -g*q for c.
2
Suppose -4*n = t - 5, -2*n = -4*t - 0*t - 16. Let f(s) = s**2 - 3*s - 3. Let k be f(4). Let z = 5 + k. Solve 0 = -z*b + b + 5*u, -n*b = 2*u + 20 for b.
-5
Suppose 2*b - g = 1, 0*b - 2*g + 25 = 5*b. Solve 0*i - 2*u = i - b, 0 = 3*i + 2*u + 7 for i.
-5
Let f = -51 - -58. Solve 0 = 3*z - 12, -q + 0 = 3*z - f for q.
-5
Let i = -6 + 6. Solve k - 4*k + 9 = 0, i = 2*n - 5*k + 15 for n.
0
Suppose 10 = -5*x - 5. Let v be (-1)/((-2)/6*x). Let q = v + 5. Solve 0 = h - 2*f - q + 1, 0 = h + 4*f + 3 for h.
1
Suppose 0*f = -3*f - 27. Let k = f - -13. Solve 0 = 5*v - k*j - 21, -j - 3 + 0 = v for v.
1
Let u be (-28)/126 + 2/9. Suppose 0 = -2*h - 2*h + 12. Solve 3*k = -3*d + 6, h*k + d - 3*d - 11 = u for k.
3
Suppose -2*j + 5*m - 25 = -0*m, 4 = -2*j - 2*m. Let t be j/10*(-34)/1. Solve 3*p + t = -f, -2*p = -f + 3 - 0 for f.
-5
Let l = 45 + -26. Suppose -4 = 5*w - l. Solve -o - 3*o + 28 = 4*h, -w*h = -5*o - 5 for h.
5
Let l(g) = -1 + 4*g**3 - 2 + 4*g - 5*g**3 + 2*g**2. Let n be (-4 + 0)*18/(-24). Let t be l(n). Solve -3*r - 4*k = r + 16, t = -3*r - 4*k - 11 for r.
-5
Let c(z) = -z**3 - 14*z**2 + 4. Let q(f) = -3*f**2 + 4*f + 1. Let s be q(3). Let j be c(s). Solve -j*p = 3*g + 7, g - 2*p + p = -7 for g.
-5
Let u(x) = 2*x + 4*x + 0 - 1. Let k be u(1). Let n = -10 - -15. Solve -2*f = -4*l + 10 - 4, -n*f + k*l = 0 for f.
3
Let h(r) = -r + 25. Let t be h(15). Solve 4*z - p = -z - 19, -2*z = -p + t for z.
-3
Let p = 14 - 7. Let k(a) = -a**3 - a - 1. Let c be k(0). Let q be 18 - (-4 - c - -1). Solve 0 = -4*t + u + p - 2, 4*u + q = -2*t for t.
0
Let f be (-1 - (-105 + 2)) + -1. Let o = f + -71. Suppose 0*w - o = -2*w. Solve -3*v - 3 + 9 = 5*n, -4*n = -v - w for v.
-3
Let z(g) = 9 + 0*g - g - 14. Let t be z(-9). Suppose -t*a = a. Solve -c = -2*x + 2 + 2, a = 5*x - 4*c - 13 for x.
1
Suppose -4*p + 2 + 2 = 0. Let z be (-1 + 3)*-3*p. Let s = -6 - z. Solve -l + 2*q + 4 = q, s = -4*q for l.
4
Suppose 7*b - 42 = -7*b. Solve r - 5 = w, -4*w + b*w - 3 = r for w.
-4
Let r(v) be the third derivative of -v**5/60 - v**4/4 + 2*v**2. Let k be r(-5). Solve -2*d - 3*c + 9 = 0, 0 = d + 3*d - k*c + 15 for d.
0
Suppose 4*o = 2*w - 20, -3*w + 0 - 3 = 5*o. Solve -h + 6*h - 25 = w*m, -5*h = 5*m - 25 for m.
0
Let u(d) = -d**2 - 9*d - 8. Let a = 10 + -17. Let w be u(a). Solve -4 = -l, l - 4 = 3*n - w*n for n.
0
Let u(y) = y - 2. Suppose -5*a + 2 = -13. Let b be u(a). Solve -k + i = 4, 4*k - i + 2 = b for k.
1
Let t be (-40)/25*5/(-2). Solve y = 4*y - 4*a - 8, -3*y - t = 2*a for y.
0
Let o be ((-6)/4)/((-18)/4 - -4). Solve -3*s = 3*n - 24, 4*n - 3 = o*n for s.
5
Let a = 80 - 75. Solve k - 2*z = -14, -z + 2*z = a for k.
-4
Let k = -6 - -6. Suppose k*g + 2 = g. Solve g*z = 5*f, -f + 4*f = 0 for z.
0
Let m = 7 - 12. Let b(d) = -d**3 + 4*d**2. Let y be b(3). Let n = y + m. Solve n*q + s + 1 = 0, q - s = -2*q - 6 for q.
-1
Let l be (3 + -3)/(-3 + 4). Solve -4*o = -3*x - 0*x + 31, -2*o - 5*x + 17 = l for o.
-4
Suppose q = 5*x - 11, q - 4*q = -2*x + 7. Solve x*j - 3 = 5*v, -2*v = 5*j + 7 - 0 for v.
-1
Let k be (-1856)/(-72) - 4/(-18). Let n be (-2)/13 - (-56)/k. Let p = -4 - -5. Solve -5*x + 12 = -2*y, n*y + 4*x + p = 7 for y.
-1
Suppose -5*m = 3*o - 11, -3*m - 14 = -8*m - 2*o. Suppose 2*v = m*v. Solve 4*d = 5*t - 3, 2*d + v = t - 3 for t.
-1
Let a(z) = z**2 + z + 1. Let n be a(-2). Suppose t = -5*w + 22, t + 2*w - n*w = 4. Solve 2*v + 20 = -5*m, -4*v = -m - t*v - 17 for m.
-2
Let d be 49/14 - (-2)/4. Solve -3*k + 5*v = 31, 3*v + d = -4*k + 11 for k.
-2
Let l(b) = 6*b. Let w be l(3). Let s be 4/w - (-176)/18. Solve t + 5*u = 11, 0 = t - u - u + s for t.
-4
Let d = -24 - -26. Solve k = d, -k = 3*t + k - 4 for t.
0
Suppose m - 4*m + 5 = 2*r, 0 = 4*r - 4*m. Solve 4*v - 3*n - 1 = 0, 2 = 3*v - 2*n + r for v.
1
Suppose 5*o - 3*h = -4, -4*h + 3 = -2*o - 7. Let u = 6 - o. Suppose 7*t = 4*t + 3. Solve -m - 27 = -5*k, t = -m - u*k + 24 for m.
-2
Let h = -3 - -3. Suppose -3*x + 0*x = h. Suppose x = u + u. Solve 0 = v + 4*n - u*n - 17, -3*v - 3*n = -24 for v.
5
Let d be 2*15/(-10) - -24. Solve 3*k + 3*t - 17 = 1, -5*t = -4*k - d for k.
1
Let f be -2 + 0 + 5/(-1). Let v = f + 9. Solve -4*d - 4 = 2*z + 2*z, -v*d = -3*z + 7 for d.
-2
Let i = 3 - 4. Let s be 1 + 94 - (i - -3). Let u be 3/6 - s/(-6). Solve -j + 4*m + u = 0, m + 21 = -j - 3*j for j.
-4
Suppose -2*w - w = 3. Let b be w/2 + (-17)/(-2). Solve 5*x + 10 = 3*u + 2*u, -u = x - b for x.
3
Let m = 5 + -3. Let h(o) = -3*o - 4. Let j be h(-2). Suppose 0*b - 3*n = j*b - 32, 2*b - 2*n - 12 = 0. Solve 0 = -5*f + m*s - 19, b*s = 5*s + 10 for f.
-3
Suppose -5*o - u = 59 - 15, 2*u + 34 = -4*o. Let v = -8 - o. Solve -d - 5 = -6*d + 5*x, -d = -4*x - v for d.
1
Let d(a) = 2*a - 9. Let t be d(6). Let w(y) = y**2 - 22*y + 42. Let j be w(20). Solve -6 = j*n, -3*u - 4*n = 18 - t for u.
-1
Suppose -2*g + 4*g - 6 = 0, 4*y + 1 = 3*g. Let o(q) = 6*q**3 - q**2 + 1. Let m be o(1). Let i = m + -4. Solve 4*h + 5*x + 35 = 0, 3*h - i*x - 1 = y*h for h.
-5
Let c(j) = j**3 + 23*j**2 + 22*j + 1. Let f be c(-22). Solve -b = 5*a + f, 3*b - 1 = -a - 4 for a.
0
Let w(k) = k**2 + 9*k + 8. Let x be w(-8). Let m(u) = u**3 - 9*u**2 - 13*u + 30. Let j be m(10). Solve 2*s - 4*r + 14 = j, -4*s + 2*r = -x*r + 4 for s.
1
Let g = 32 - 19. Suppose -4*r = -4*d + 20, r - 2*r = -3*d + 5. Let x be 1*(2 + 2 + d). Solve -3*c - 4 = c + x*w, -g = 4*c + w for c.
-4
Suppose -3*z = -0*z. Suppose z = -5*t - 0 + 10. Solve a - 1 = -5, 0 = t*q - 2*a - 16 for q.
4
Let r(z) = -z**2 + 15*z - 11. Let w be r(14). Solve -5*h + 5*y + 20 = 0, 5*h = -0*h - w*y + 28 for h.
5
Let d = -93 + 104. Solve 3*s + d = 3*n + 2*s, 0 = -3*n + 3*s + 21 for n.
2
Let y = 1 + -2. Let r = y + 1. Suppose r = 2*p - 0*p + 3*m - 20, 3*p - 3*m = 0. Solve -2*x + 4 + 1 = -5*i, 3*x = -4*i - p for x.
0
Let m(i) = -2*i**2 + 6*i + 6. Let z be m(6). Suppose l - 209 = 4*x, 5*x = -2*l - 347 + 89. Let c = z - x. Solve -4*h - 2*o = c, -2*o = -0*o + 2 for h.
-5
Suppose 3*u = -3*y, y - 6 = 2*y - 2*u. Let k be 3/y*12/(-9). Solve 7 = 3*f - 3*t - 8, -4*t = k*f + 8 for f.
2
Let w(l) = -3*l - 6. Let m be w(-4). Let b = 186 - 184. Solve q - b + m = 0, -z - q - 9 = 0 for z.
-5
Suppose 0 = 2*o - r + 4*r - 22, -o = -r - 1. Suppose 5*u = 5 + 20. Suppose 0*k = -u*k + 15. Solve 3*z - k*w = 24, -z - o*w - 7 - 3 = 0 for z.
5
Let m = -3 - -6. Suppose 9 + 3 = m*d. Solve -2*x = 3*z + 12, x + d*z + 14 = -2 for x.
0
Let d be -3 - (-1 + -1 - 1). Suppose -2*b + d*b = -10. 