 - 3, -2*z = -2*k - f + 3 for z.
-1
Let w(z) = z**3 - 9*z**2 + 10*z. Let r be w(8). Let l be (-4)/r - 114/(-8). Solve 0 = -5*m + 3*k + l, 4*m - 2*k = -7*k - 11 for m.
1
Let o(h) = h**3 - 7*h**2 - 6*h - 14. Let b be o(8). Solve 2*y + 8 = 2*r - 0*r, b*y + 8 = 3*r for r.
0
Let v be (-1)/7 - 522/(-126). Solve 4*u = -3*b - 3 - 5, -v*u + 4*b - 8 = 0 for u.
-2
Suppose -5*w + 5 = y - w, -5*w = 0. Solve -a + 0*x = 2*x + y, -5*a = 2*x + 25 for a.
-5
Let c(m) = 2*m + 11. Let a be c(-4). Solve 3*v = -5*t + 2*v - 30, -a*v = t + 20 for t.
-5
Let s be 4/30*6 + (-150)/(-125). Solve 5*v - v = -w + 21, -6 = -s*v + 4*w for v.
5
Let x be (-2 + 1)*-1*3. Suppose -x*j + 1 = -2*j. Solve 0 = 2*q + 3*i - 5, -3*q - i + j = -3 for q.
1
Let f be (7 - (1 + 4)) + -2. Solve 5*x + f*x = i + 14, 0 = 2*x - 3*i - 16 for x.
2
Suppose 15 = o + 2*o. Let x = -6 - -4. Let c be (2 + (-19)/2)*x. Solve i = 2*q - 0*i - 6, q - o*i = -c for q.
5
Suppose 3*g + g - 8 = 0. Suppose -g*x + x = -1. Solve 0 = 3*d - 5*j + 5, 5*d + j - 2*j = -x for d.
0
Suppose -3*t = -4*t. Solve p - 4 = t, -3*c - c + 16 = -p for c.
5
Suppose -4*t = a + 3*a, a + 2 = -3*t. Solve -5*k + 29 = 2*b, 0*b = -k + 3*b - a for k.
5
Let k be 6/2 + (2 - 1). Solve -18 = -o + 4*u, -5*o = k*u + 3 + 27 for o.
-2
Let h be ((-4)/3)/((-1)/(-3)). Let k = 22 + -13. Let s = h + k. Solve -s*v + 2*f + 1 = 0, -3*v - 2*f + 4 = 13 for v.
-1
Suppose 3*b + 37 = 2*u, 4*u - 51 = -3*b - 4. Suppose 2*f = 6*f + 80. Let x = -15 - f. Solve -5*z + u = -z - 2*o, -o - 10 = -x*z for z.
1
Suppose -31*l + 11 = -30*l. Solve 0 = 2*u - 2*q + l + 3, -4*u = 5*q + 1 for u.
-4
Suppose -5*f - j = -2*j - 46, j + 26 = 3*f. Solve -4*a = 2*o + f, 4*a - a + 2*o + 8 = 0 for a.
-2
Let z = 13 - 7. Let g = 4 - z. Let q be -2 - g*(0 + 1). Solve -2*v - 2 = 3*m, q = -5*v + 3*m - 12 + 49 for v.
5
Suppose 5*k = -7 + 27. Suppose -3*v + j + 13 = 0, -2*v - 2*j = -k*v + 14. Solve 5*q - 6 = -2*t, -v*q + q + 6 = -t for q.
2
Suppose 4*r + 9 = 69. Suppose 6*o - 11*o = 5. Let v be (-2 - o)*r/(-3). Solve l = 5*b + v - 2, -5*b = 2*l + 9 for b.
-1
Let j(n) = -n**3 - 6*n**2 - 6*n - 2. Let y be j(-5). Solve -a + 2*x + 11 = 1, y*a = -3*x + 3 for a.
4
Suppose -3 = -3*j + 2*j. Suppose 0*l - j = -l. Suppose -l*n = -2*n. Solve i + 4*i - 5 = n, -5*c - 4*i - 1 = 0 for c.
-1
Let g(w) = w**2 - w + 2. Let o be g(0). Let b be (1/2)/(2/8). Let c = b + -2. Solve 0*p + 2*p - y = -6, c = o*p + 3*y - 2 for p.
-2
Suppose -4*z + 2 - 14 = 0. Let p(w) = -w - 3. Let x be p(-5). Let b = x - z. Solve m + 3*q - 1 = 0, 1 = m - 0*q - b*q for m.
1
Suppose -6 = -2*i - 0*i. Suppose -i*d = -6*d. Solve -4*a = a + q - 19, -3*a - 4*q + 25 = d for a.
3
Suppose 4*v = 4 + 12. Suppose 8 = v*x, 0 = -3*f - 2*f + 4*x + 7. Let b be ((f - 1) + -2)/(-1). Solve 4*u - 3 = 3*z, 4 = -4*z - b*u + 5*u for z.
-1
Suppose 3*g + g - a = 70, -g + 20 = a. Suppose -4*x - g = 4*y - 5*y, -3*y + 3*x = -45. Solve 0*j + 3*j = -i - 2, 2*i - 4*j + y = 0 for i.
-5
Suppose -3*x + 3*n = -8*x + 16, x - 11 = 2*n. Solve -z - 3*v + 15 = v, -5*v = x*z - 30 for z.
3
Let o be ((-30)/(-35))/((-1)/(-7)). Let y be (-224)/(-21) - 4/o. Solve 4*r - 5*l = y, 0*r - 30 = -4*r - 5*l for r.
5
Let a = 11 + -3. Let j be 6/4 + 4/a. Let t be (-27)/(-6) - j/4. Solve -f + 4*x = t*f - 9, 0 = 3*f + 3*x for f.
1
Suppose -3 = -3*l + 12. Solve -l*w - 5*g - 20 = -0, 3*w = -5*g - 10 for w.
-5
Suppose -2*x - 2*d + 16 = 0, x - 34 = -4*x - 3*d. Solve 5 = -2*w - y + 3, 0 = 5*w + x*y for w.
-2
Suppose 0 = s + s - 6. Let k be (5 - s) + -1 + 2. Let v be 4/(-6) + 34/6. Solve y = 4*o - k, v*y = 2*o - o - 15 for o.
0
Let p = -8 - -8. Solve -2*x + 2 = p, -d + 9 = d + x for d.
4
Let x = 19 - -12. Solve 2*g + x = 2*u - 7*u, 4*g + 27 = -3*u for g.
-3
Suppose -3*x - 2*i + 2 - 4 = 0, -4*x = -4*i - 24. Solve -14 = -x*j + 4*y, -4*j = -y - 0 + 7 for j.
-3
Let f = 2 + 0. Suppose -2*c + 2*v = -f*v - 16, -3*v = -2*c + 13. Suppose 16 = 2*s + 3*s - 2*w, -5*s = c*w - 24. Solve -3*n + 23 + 1 = -s*j, j + 23 = 5*n for j.
-3
Let x(n) = n**3 - 2*n**2 - 7*n + 6. Let i be x(4). Let t be 28/(-4)*-1*12. Suppose -4*q - t = -3*a, 5*q + 8 = -7. Solve 4*f - 6 = i, -2*v = -4*f + a for v.
-4
Let v be 28/(-6)*(1 + 5). Let f be v/(-8) + (-1)/2. Solve -n - 10 + f = 3*q, q = -5*n + 7 for q.
-3
Let u = 15 - -5. Solve -5*g - 3 = -3*w + 9, u = 4*g + 5*w for g.
0
Let v(s) = s**3 + 3*s**2 + s + 6. Let d be v(-3). Solve d*k - 4*i = -8, 2*k - 3*k = 2*i + 6 for k.
-4
Let g(b) = b**2 - 6*b + 9. Let y be g(6). Let d = 12 - y. Solve 4*k - 5*n = -0*n + 4, -d*k = 4*n + 28 for k.
-4
Suppose 20 = -x - 4*x. Let f = 1 - x. Suppose 3*m = f*m - 4. Solve -5*t - 6 = 2*g - m, 7 = 4*t + 5*g for t.
-2
Let l(d) = d**3 - 3*d**2 + 2. Let r be l(3). Suppose 0 = -r*m - 2*m + 4*h - 16, -m = -2*h + 8. Solve -z - 16 = -4*w, -3*w + 5 = z - m*w for z.
-4
Let f = -1 - -3. Let v = -4 + 6. Suppose -u - 5*u + 18 = 0. Solve -v*c + f = -3*b + 4*b, 4*c - u*b = -6 for c.
0
Suppose 4*k + 4 = 0, 8*x = 3*x - k + 64. Let n be 2/(-4) + x/2. Solve -14 = -3*z - 5*u, n = 3*z - 3*u + 6*u for z.
-2
Let p = -5 - -9. Suppose -w + p = 2. Let y = 1 - 1. Solve y = -v - 4*v + 4*r + 4, -w*v + r = -4 for v.
4
Let s = -2 - 0. Let g be 2/(-4) + 11/s. Let z be ((-4)/g)/((-6)/(-81)). Solve 2*p = o + 9, -2*o = -2*p + p + z for o.
-3
Suppose -2*f + 4 + 12 = 0. Let l(b) = f*b - 8*b**2 - 6 + 9*b**2 - 1. Let y be l(-9). Solve y*k - 4*k + 4*w = 16, k + w - 4 = 0 for k.
0
Suppose -12*y + 281 = -19. Solve -5*g + 6 = -t, -3 = 3*t + 5*g - y for t.
4
Let t = 18 + -13. Solve -2*n - 2 = -2*q - 4, t*n - 2 = 4*q for q.
-3
Suppose -1 - 17 = -5*q + 2*c, -18 = q + 5*c. Let x be (-21)/(-3) - 1 - q. Solve 5*k - 13 = x*h, -3*h + 8*h + k + 9 = 0 for h.
-2
Let l = 18 + -3. Suppose -2*y = 3*y - l. Solve -5*k - 20 = 0, y*p = -0*p - 4*k - 13 for p.
1
Let y = -310 + 448. Let h be ((-6)/(-8))/((-11)/132). Let f be 3/(-2)*y/h. Solve -d = -4*t - 17, -d = -0*d + 4*t + f for d.
-3
Let i be 3 - (-3 + 4)/(-1). Solve 5*d - 3*p = -48 + 11, -d - i*p + 11 = 0 for d.
-5
Let q(y) be the first derivative of y**2/2 - 2. Let w = -1 - -6. Let z be q(w). Solve 0 = 2*g + g + z*x + 23, 0 = -3*x - 12 for g.
-1
Let i be 1/1 + -2 - -7. Suppose 3*y = 5*y - i. Solve -3*g + 0*g = -5*v - 2, -y*g - 2*v = -16 for g.
4
Let i(g) = -3*g + 1. Let z = -3 + -1. Let x(m) = -6*m + 2. Let t(f) = z*x(f) + 7*i(f). Let q be t(2). Solve -q*o + 50 = -5*c, 0*o = 5*c + 5*o for c.
-5
Let a(v) = v**2 + 2*v - 2. Let x be a(-4). Solve -o + 4*d - x*d = 0, 2*o = 3*d for o.
0
Suppose 2*p - 10 = 2*k, -p + 5*k = -2*p + 5. Solve 6 = -2*z - 2*w, -z + 3*w - 8*w = -p for z.
-5
Let r be (-259)/49 + 5 + 74/14. Solve 3*b + r = 5*d - 0*d, 0 = 3*b + 2*d - 23 for b.
5
Suppose 5*h = 4*q - 2*q - 27, 16 = -4*q - 4*h. Suppose 0 = -4*n + 2*d + 12, -2*n - d - 4 = -10. Solve 0 = -3*i - n*l + 16 - q, 5*i - l + 5 = 0 for i.
0
Let w be 10/(-65) - (-279)/39. Solve -3*k = -2*m + 14, -m = -k - w + 2 for k.
-4
Suppose 0 = -22*f + 16*f + 24. Solve -5*o + 15 = -f*w, o = -w - w - 11 for o.
-1
Let x(v) = v**2 - 2*v + 2. Let j be x(3). Solve -5*a + 5*s = -10, j*a = -3*s + 1 + 1 for a.
1
Let k(g) = g**3 - 7*g**2 - 9*g + 10. Let r(t) = -t**2 - 9*t - 6. Let o be r(-7). Let d be k(o). Solve 5*w - 2 - 7 = 3*q, 4*q - 2*w - d = 0 for q.
2
Let p = -43 - -43. Solve 0 = -2*d - 6, 4*d + 16 = 2*x - p*d for x.
2
Let j be (4/(-3))/((-4)/(-42)). Let l be (48/j)/(5/(-35)). Solve y = 5*n - l, 3*y - n = -0*y - 16 for y.
-4
Suppose 2*u + 3 - 7 = 0. Solve -m - 3 - 1 = -3*y, -u*y + 11 = m for y.
3
Let q(s) = s**3 - 7*s**2 - 4*s + 30. Let i be q(7). Solve -k = 5*f - 10 - 1, 0 = -i*k + 2*f - 2 for k.
1
Suppose 0*n - 84 = -3*n. Let k(v) = v. Let c be k(4). Solve 5*g - n = -c*j, -4*g + 6 = 6*j - 11*j for j.
2
Let w = 21 + -17. Solve -4*d - 31 = 3*b, b + b - w*d = 6 for b.
-5
Let y = 9 + -14. Let a = -2 - y. Solve 3*z - 12 = 3*l, -z - a*l = l - 9 for z.
5
Let j(y) = -y**2 + 2*y + 1. Let a be j(2). Suppose -f = a - 20. Suppose i = -5*k + 30, -4*k + 2*i = -3*i + 5. Solve f = 5*w + 3*l, -2*w + 4*l - k = 3 for w.
2
Let f(i) = -i**2 - 12*i - 9. Let p be f(-6). Solve -3*y + o = -4*o - 34, -4*y = -3*o - p for y.
3
Let s = -15 - -16. Let f(q) = -q + 4. Let o be f(2). Solve -2*a + 1 = -o*d - s, -2*d - 2*a + 10 = 0 for d.
2
Let r(b) = -b**2 - 5*b - 2. Let y be r(-4). Solve 4 = -j - 0*h + 2*h, 4*j + y = h for j.
0
Suppose -u + 4*r 