Suppose -4*m + 6 = -s. Solve -3*c = m*c for c.
0
Let g = -17 - -19. Solve 0 = 2*s + g - 0 for s.
-1
Let b(h) = -h**3 + 0 + h + 2*h**3 - 6*h**2 - 2. Let o be b(6). Solve -o*m = -5*m + 2 for m.
2
Let z(i) = -6*i**3 - i**2 + i + 1. Let l be z(-1). Solve l*s = -9 - 16 for s.
-5
Let u = 34 + 8. Suppose -u = -2*r - 4*o, -4*o = 8*r - 4*r - 72. Let c(w) = w**2 + 6*w + 3. Let g be c(-6). Solve 0*z + g*z - r = 0 for z.
5
Let n be (-9 - -11) + -1 + 2. Solve 4*g = 3*g + n for g.
3
Let v be ((-16)/(-4) - -4) + (-16)/4. Let f = 4 + -1. Suppose f*b - 6*x = -2*x + 36, -4*b + 35 = -x. Solve 0 = -v*k - 0 + b for k.
2
Let u(l) = -l**2 + 9*l - 5. Let t be u(8). Let a = 11 - 8. Solve -a*x + 0*x = -t for x.
1
Suppose -2*o = -4*m, 3*o + 3*m = m + 16. Suppose o*g - 4 = 0, -20 = -4*p - p + 5*g. Solve 2*k - p*k + 12 = 0 for k.
4
Suppose 20 = 2*g - g. Suppose -2*y - y + 12 = -d, 0 = -5*d - 5*y + g. Suppose -n + 3 = 0, 3*u - 15 = -d*n + n. Solve -u = -3*w - 0 for w.
2
Suppose x - 3*m - 3 = -x, 2*m + 1 = x. Suppose -x*v + 28 = -11. Let f = 4 + 3. Solve v = 4*h - f for h.
5
Let b = 10 + -8. Solve -b*i - 2*i = 0 for i.
0
Suppose 3*i = i + 14. Let t = i + -6. Solve -3 = -2*j + t for j.
2
Let l(m) = m**2 + 4*m + 2. Let t be l(-4). Suppose -t*a + 0*a = -3*b + 8, -18 = -4*b - a. Solve i - b*i + 3 = 0 for i.
1
Let j = 12 + -10. Suppose j*w - w = 0. Solve -k = -w*k - 4 for k.
4
Let t be 3 + (-10 + 3 - -4). Solve 4*k - 8 = -t for k.
2
Let g(h) = h**3 + 8*h**2 - 3*h - 8. Let k be g(-8). Solve 21*u - k = 17*u for u.
4
Let f be 3/(-2)*8/(-4). Suppose 2 + f = k. Solve 4 = -k*v - 11 for v.
-3
Let t = 68 - 68. Solve t = -3*w + 2 + 13 for w.
5
Suppose 0 = -2*c - 4*k - 28, -k = -c + 2 - 1. Let t be c/6 + 34/6. Solve t*z - 10 = -0*z for z.
2
Let k(n) = n**3 + 6*n**2 - 7*n + 5. Let b be k(-7). Let r be 6/(-9) + b/3. Let v = 65 - 59. Solve -5*m = -r + v for m.
-1
Let d = 4 + 5. Let j = 6 + d. Suppose 0*f - f = -n - j, -5*f = -4*n - 70. Solve f = -2*x + 4*x for x.
5
Let g = -41 - -44. Solve -b = -g*b - 6 for b.
-3
Let y = 65 + -60. Solve 0*m = y*m + 25 for m.
-5
Let p(i) = i**3 + 7*i**2 + 7*i. Let c be p(-5). Let r be 9/c - 37/(-5). Solve 6*z - r = 2*z for z.
2
Suppose 0*x - 2*x = 0. Suppose -h = 5, -2*h - 28 = -2*r + 2*h. Solve c + c + r = x for c.
-2
Let r(x) = -x**3 - 4*x**2 - 4. Let h be r(-3). Let k = h + 18. Solve -3*t + 2*t - k = 0 for t.
-5
Suppose 2*q - f = 5*q + 2, 8 = q - 4*f. Suppose -5*p + 22 = 4*k - 16, -5*k - 8 = -3*p. Suppose q = a + 5*n, p*n = 4*a + 2*n. Solve a = -2*j - 13 + 5 for j.
-4
Suppose -2 = -5*z + 18. Suppose -z*o - 1 + 9 = 0. Solve o + 2 = n for n.
4
Let n be (-10)/(-25) - 46/(-10). Suppose -n*k = -k. Solve t = 2 - k for t.
2
Let l = 5 - 2. Solve 4*y - l = 5*y for y.
-3
Let g(q) = q**3 - 6*q**2 - 8*q + 9. Let t be g(7). Let w = 3 + 0. Solve w*u = t*u for u.
0
Let p(n) = 3*n**2 - 2*n. Let w be p(2). Suppose 0 = 3*o - w*o + 10. Solve x = -o*x + 6 for x.
2
Let h(g) = 7*g**2 + 3*g - 3. Let d be h(1). Solve -d*v = -4*v + 12 for v.
-4
Suppose -102 = 3*k - 5*w + 3*w, -2*k = 5*w + 68. Let q(c) = 10*c + 2. Let z be q(-5). Let j = k - z. Solve 6 = -4*g - j for g.
-5
Suppose 5*i + z + 14 = 78, i + 2*z - 20 = 0. Suppose -3*a = 2*m - m - 17, 0 = -2*a + 10. Solve 0 = m*h + h + i for h.
-4
Let t(u) = 2*u**2 + 3*u + 2. Let j be t(-2). Let v be (3/(-6))/((-1)/6). Suppose v*q + 3*h - 12 = 0, -h - j*h = -5. Solve -q*i = 12 - 3 for i.
-3
Let s = -2 - -5. Let r be 2/4*(25 - s). Solve -4*a - r = -27 for a.
4
Suppose 4 = 4*z - 4. Suppose -4*l + 5*k - 15 = 0, z*k - 4 = -l + 2. Solve l = -0*o + 2*o + 8 for o.
-4
Let j(i) = -5*i**2 - 3 + 4 - i**3 - 1 - 2 - 5*i. Let w be j(-4). Solve -h - w + 4 = 0 for h.
2
Let y be 0/(-20) + 1*3. Solve -2*l - 4 = -y*l for l.
4
Let a(p) = p**2 - 2. Let w be a(2). Suppose 7*v = 5*v. Suppose v = -4*r - r. Solve -w*z - 2 = -r for z.
-1
Let b(i) = i**2 - 2*i - 1. Let f be b(4). Suppose 0 = w - 7 - f. Solve -w = 2*m - 6 for m.
-4
Let c be 5*(2 + 0 - -2). Suppose -5*y - 20 = 4*v, -2*v - 2*v - c = y. Let i(r) = r**3 + 3*r**2 - 3*r - 4. Let l be i(-3). Solve l*j - j + 8 = y for j.
-2
Let h be (-2)/(-4)*(-22 + 0). Suppose 0 = -4*u + 20, 0 = 4*n - 3*u - 15 - 14. Let s = h + n. Solve -w = -s*w for w.
0
Suppose 0 = -3*p + 4*p. Let q(t) = t**2 + t + 10. Let d be q(0). Let u be (-5)/d*(-8 + p). Solve -u = 3*g + 2 for g.
-2
Let y(h) = h**3 - 6*h**2 - 7*h + 5. Let t be y(7). Suppose 0 = t*s - 2*k - 30, 0*s - 5*k - 12 = -2*s. Solve -5*f + s = -2*f for f.
2
Suppose 0*a + 2*a = 6. Let d be 74/14 + (-2)/7. Suppose 4*o = d*w - 68, 4*o - 23 = -a*w + 5. Solve 4*h = -w - 4 for h.
-4
Let j = 6 - 4. Let n = 5 - j. Solve -4*h - 11 + n = 0 for h.
-2
Let l be 14/4*(1 - -1). Solve -5*z - 22 + l = 0 for z.
-3
Let i(u) = -u**3 - 3*u**2 - 2*u + 2. Let l be i(-2). Let r = 5 - 4. Solve -l*x + r = -x for x.
1
Suppose 11*c - 51 = 59. Let f(j) = -j + 1. Let y be f(-5). Solve t - c = y*t for t.
-2
Let y = 60 - 59. Solve 2*b - y = 3 for b.
2
Let r be -8 + 0 - 2/1. Suppose 21 = -4*x - 3. Let i = x - r. Solve -i*n = 6 + 14 for n.
-5
Suppose 0 = -8*s + 11*s - 15. Suppose -2*x + 0 - 1 = -3*t, -s*x = 2*t - 45. Solve -3*o = -x*o - 8 for o.
-2
Let k = -15 - -15. Solve -h + k*h = 2 for h.
-2
Let p(w) = -w**2 - 6*w + 7. Let x be p(-7). Let u = 4 + x. Solve n = 8 - u for n.
4
Let h be (-2)/12 + (-2737)/(-42). Suppose 8*n - 3*n - h = 0. Solve 4*r + 5 = n for r.
2
Let q = 66 - 61. Solve -s + 1 = q for s.
-4
Suppose -2*g + 12 = 2*s, -s - 22 - 2 = -5*g. Suppose -1 = -2*i + 11. Suppose -w + 2*x = -i, 0 = 3*w - 3*x - 30. Solve -g*k - 11 = w for k.
-5
Let l be -1 + -2 - 25/(-5). Solve -2 - l = -4*s for s.
1
Suppose 5*u + 14 = -1, 4*n = u - 21. Let s be (n - 0)/(-3)*1. Let w be (10/25)/(s/10). Solve w*j + j = -15 for j.
-5
Let n = -5 + 8. Suppose n*q - 9 = -0. Solve 13 = -4*y - q for y.
-4
Let l be -3 + (-2 - -3) + -111. Let d = -227 - l. Let p be (-4)/22 + d/(-22). Solve -3*z + p*z - 8 = 0 for z.
4
Suppose -2*t - 3*l + 16 + 20 = 0, 3*t - 24 = 3*l. Solve -n = 2*n - t for n.
4
Let v(b) = b**2 + 5*b - 7. Let o be v(-5). Let m(g) = -g**2 - 7*g + 1. Let n be m(o). Let t be 1/(1*n/1). Solve -w + t = 2 for w.
-1
Let z(i) = i**2 + 8*i + 2. Let q be z(-7). Let w = -4 - q. Suppose 4*m + 4*a = 40, 2*a + 3 + w = 2*m. Solve 2*k = m*k for k.
0
Let r = -4 + 6. Suppose -j + 15 = -p, 5*j + 2*p = 4*p + 84. Let q = j - -2. Solve -r*a - q = 3*a for a.
-4
Let i(t) = -t**2 + t. Let n(r) = -3*r**2 - 2*r + 7. Let z(q) = 2*i(q) - n(q). Let a be z(-6). Let l be 9/a + 3/15. Solve 2*s - 8 = -l*s for s.
2
Let h(s) = -2*s. Let p be h(2). Let v = -4 - p. Solve v = 3*c - c for c.
0
Let t be (-3)/(1*(-9)/6). Let f(d) = d**2 - 1. Let r be f(t). Suppose -4*a + m - 3 = -5*a, 0 = -3*m + 3. Solve -a*i + 10 = r*i for i.
2
Let b(j) = j**3 + 7*j**2 - j - 2. Let i be b(-7). Suppose 0 = -4*v + i*w + 5, -1 = -2*v + 3*w - 2*w. Solve 2*q + 2*q - 12 = v for q.
3
Let d(j) = 2*j + 11. Let i be d(-3). Solve i*w = w + 20 for w.
5
Suppose 4*q = 22 + 10. Solve 0 = 4*d + q - 28 for d.
5
Let p(t) be the first derivative of t**3/3 - t**2/2 + 6. Let y be p(0). Solve y = f - 7 + 3 for f.
4
Let c = 27 - 24. Solve -j + c*j = 0 for j.
0
Let b(k) = k + 9. Let s be b(-8). Let o be 0*(6/(-3) + s). Solve o = -5*w + 16 + 9 for w.
5
Let v = 20 + -14. Suppose -4*m - 10 = 5*x, m + 31 = 3*x - 4*m. Solve x*o + 2 = v for o.
2
Suppose -3 = -2*g + g. Solve m = -2*m - g for m.
-1
Let l be 10 + (-3)/((-9)/(-6)). Suppose -4 + l = 2*x. Solve x*b - 7 = -17 for b.
-5
Let s be (3 + -4)*-1 - -2. Solve -5 = s*a + 1 for a.
-2
Let u(f) = 4*f + 7. Let a be u(4). Solve 3 = 4*c + a for c.
-5
Let u(p) = p**3 + 2*p**2 - 3*p. Let w be u(-4). Let i = w + 35. Let r = i + -9. Solve 5*y - 3*y - r = 0 for y.
3
Let y be 2/(100/15 + -6). Solve -y = -3*c - 15 for c.
-4
Suppose 0 = -3*f - 0*f + 5*i + 20, 0 = 3*i + 12. Suppose -20 + 9 = -u. Suppose -1 = 5*x - u. Solve f*m + 8 = x*m for m.
4
Let g(f) = -f**3 - 13*f**2 + 2*f + 30. Let z be g(-13). Solve z = n - 1 for n.
5
Suppose -3 - 6 = -3*a - i, 4*a - 13 = -i. Suppose 24 = 5*v + a. Solve u = -3*u - v for u.
-1
Suppose 2*p = 5*a - 8, -2*p = -a - 3*a + 8. Let u(j) = j**3 + 4*j**2 + 5*j + 4. Let y be u(-3). Let t be -4 - y - (-7 + a). Solve 6 = -t*q - 4 for q.
-2
Let k = -6 - -7. Let z be -2 - -1*(3 + k). Solve t - z = 2 for t.
4
Suppose -8*d + 4*d + 16 = 0. L