pose l = s + 2. Let z(y) = -y**2 - 10*y + 13. Let t be z(-11). Solve t*k + l = 5*k for k.
1
Suppose -2*c + 14 = -c. Solve 5*m - 1 = c for m.
3
Let d = 22 + 3. Solve 0*m - 5*m = -d for m.
5
Suppose -3*t + 4*t = 0. Let w be -6*2/(-2 + t). Let d be 8/w*(-18)/(-2). Solve -p + d = -4*p for p.
-4
Let w = -3 + 2. Let i = w - -6. Let g be 6/i - 2/10. Solve 2 + g = -3*b for b.
-1
Let r = -134 + 140. Solve r = -4*x + 7*x for x.
2
Suppose 2 = -j + 5. Let p(m) = m**3 - 4*m**2 + 4*m - 3. Let v be p(j). Solve 6*h - h - 15 = v for h.
3
Suppose 3*h - 3*c + 12 = 0, -5*h = -0*h + 4*c - 16. Solve h = -5*w - 13 + 38 for w.
5
Let i = 0 + 2. Let s(w) = 5*w**3 - 5*w**2 + 5*w - 4. Let z(v) = -v**3 + v**2 - v + 1. Let q(p) = -s(p) - 6*z(p). Let g be q(i). Solve g = -2*a - 0 for a.
-2
Suppose -4 = -3*u - 2*z + 18, -5*u - z = -32. Solve 0*t = -2*t - u for t.
-3
Suppose 2*q + 33 = 43. Solve -q*z = 16 + 9 for z.
-5
Suppose -h - 12 = 3*o, h = -4*h - 3*o. Solve -h*z - 4 = -1 for z.
-1
Let s(b) = 2*b - 3. Suppose -8*m + 32 = -4*m. Let z be s(m). Solve 7 + z = 5*a for a.
4
Suppose -5*h + 4*k - 2 = 0, -k + 2 + 1 = 0. Suppose 7*a = h*a. Solve a = -s + 2 + 3 for s.
5
Let w(h) = h**3 + h**2 + 3. Let f(u) = 2*u**2 - u - 1. Let n be f(2). Suppose -25 = 5*y + n*b, 3*b + 11 = -4*y - 4. Let p be w(y). Solve 4 = -l - p*l for l.
-1
Let g(o) = -3*o - 4. Let r be g(-2). Let z = 2 + r. Solve -a = z*a - 15 for a.
3
Let x be (-1 + 2/1)*7. Let m(f) = -4 + 6 - 8*f + f**2 + 8. Let i be m(x). Solve -i*c + 0 + 3 = 0 for c.
1
Let i = -60 - -35. Let c(o) = -42*o + 1. Let t be c(-1). Let l = i + t. Solve -5*r - 3 + l = 0 for r.
3
Let h be (-2)/(-1) + (-2)/(-2). Suppose -2*u = -h*u + 7. Suppose -2 + 8 = 3*v. Solve v*f - u = 1 for f.
4
Let u be 2*(12 - (0 - 4)). Suppose 4*t - 2*n - 27 = -7, 4*t - u = 5*n. Solve t*f = 5*f + 6 for f.
-3
Let t = 8 - 5. Suppose 2*z = -3*x + 18, -t*z + x = -0*z - 27. Suppose z + 6 = 5*i. Solve 0 = 2*v + i*v - 25 for v.
5
Let b = 64 + -61. Let r = 15 - 11. Solve b*z - r = 2*z for z.
4
Let a = 187 + -182. Solve 8 = -p + a for p.
-3
Let z = -4 + 4. Let n = 11 - 6. Suppose z*h = n*h. Solve 2*f + 2*f = h for f.
0
Let c = 19 - 17. Solve 0*b - c*b - 2 = 0 for b.
-1
Let k(t) = t + 4. Let c(l) = l**3 - 2*l**3 + 0*l**2 - l**2 - l. Let q be c(0). Let i be k(q). Solve -8 = -2*o - i for o.
2
Let w = -5 + 10. Solve w*l + 16 + 9 = 0 for l.
-5
Suppose -5*f + 7 = 4*m, 3*m - 6*m = 5*f - 9. Let o be (1 - (-15)/f) + 0. Solve -3*g = o + 3 for g.
-3
Suppose 3*q = -25 - 8. Let c = -6 - q. Solve u = -0*u - c for u.
-5
Suppose 0 = -7*c + 3*c. Suppose 5*b + 31 = 5*s - 4, -2*s + 4*b + 22 = 0. Suppose 5*p - 65 = s*u, p = -p - 4*u. Solve c = -k - k + p for k.
5
Let x be ((-164)/3)/(1/(-3)). Suppose -5*m + x = 39. Solve -m = -2*y - 3*y for y.
5
Let x(c) = c**3 - 2*c**2 + c. Let v be x(1). Suppose 3*u - 7*u - z - 24 = v, 8 = -4*u + 3*z. Let f = 5 + u. Solve -5*m + 4*m + 3 = f for m.
3
Let i(a) = -12*a + 1. Let q be i(-5). Suppose -4*o + q - 25 = 0. Suppose 5*v = 3*u + 3 + 3, 0 = -3*v + o. Solve 2*p - u - 3 = 0 for p.
3
Let f = 45 - 40. Solve -f*y - 2 = -27 for y.
5
Suppose n + 22 = t + 5*n, 5*n - 25 = 0. Solve 0 = -3*i + t - 5 for i.
-1
Let h = 5 + 2. Let w(m) = 2*m**2 + h - 3*m**2 + 2*m - 7*m. Let u be w(-5). Solve -4*i + u = -5 for i.
3
Let u be ((-40)/6)/((-22)/33). Solve -a - a = -u for a.
5
Let p(x) = -x**2 - 13*x - 8. Let b be p(-12). Suppose 2*z + 5*v - 9 = -z, 0 = -5*z + b*v + 15. Solve -2*w - 5 = z*w for w.
-1
Suppose 0 = -4*f + 2*f + 4. Solve f*g - 9 = -g for g.
3
Suppose 8*z = 3 + 29. Solve 6*w = z*w + 4 for w.
2
Suppose 0 = -4*p + 3*f + 66, -4*f + 0*f - 38 = -2*p. Solve 3*j + 0*j - p = 0 for j.
5
Suppose 3*j + 0*j - 108 = 0. Suppose 2*l - 8*l + 18 = 0. Let t be (1/2)/(l/j). Solve 5*p = 14 + t for p.
4
Let d(q) = -q**2 + 10*q - 5. Let u be d(9). Solve -i + 0 = -u for i.
4
Let h(t) be the first derivative of t**3/3 - t**2 - 7*t + 1. Let a be h(5). Let k be (a/(-6))/(12/(-18)). Solve k = 3*u - 5*u for u.
-1
Let v be (0 - (-5 - -8))/((-1)/2). Solve v*t - 4*t + 2 = 0 for t.
-1
Let c(n) = -3*n + 9. Let o be c(4). Let f be 4/(-2)*(-2)/4. Let k be 1 + f*o*-1. Solve -k*j = -8*j + 8 for j.
2
Suppose y = 5*a - 3*a + 14, 0 = y + 2*a + 6. Solve -8 = -4*t - y for t.
1
Let k(q) = -q + 2 + 0*q**3 - 2*q**2 - 3 - q**3 + 2*q**3. Let f be (2 - 0) + (0 - -1). Let i be k(f). Solve i*o = -1 - 9 for o.
-2
Suppose -4 = 3*r - 28. Suppose 0 = 6*c - 4*c - r. Solve 2 = c*m + 22 for m.
-5
Let r be (-1)/(2 - 3/1 - 0). Solve 4 = -5*a - r for a.
-1
Let g(y) = -y**2 - 9*y - 9. Let a be g(-7). Let k = a - -17. Let f be (-4)/k + (-24)/(-11). Solve f + 10 = -3*z for z.
-4
Let k(q) = -2*q**3 - 5*q**2 + 2*q + 8. Let h be k(-2). Let j be ((-1)/2)/((-1)/8). Solve h = -a + j*a for a.
0
Let o = 8 + -6. Suppose 5*x = 3*c, 5*c - 4*x - o = 11. Suppose -c*l + 4*l = -4. Solve 0 = l*i - 2 - 2 for i.
1
Let u(x) = x**3 - 5*x**2 + 7. Let j be u(5). Suppose 5*s = -c + 5, 3*s - c = -0*c - 5. Suppose s = -n + 7 + 1. Solve 5*z + n = -j for z.
-3
Let w = -2 + 0. Let q(k) = k + 3. Let x be q(w). Solve -4*z = -x - 11 for z.
3
Let h be (35/(-10))/(2/(-4)). Solve h*g = 3*g for g.
0
Let s = 7 + -1. Let d(j) = -20*j + 20. Let h(w) = 7*w - 7. Let n(a) = s*d(a) + 17*h(a). Let p be n(-5). Solve 3*t + 12 = p*t for t.
4
Let m(o) = 2*o**2 - 5*o**2 - 1 + 4*o**2 + o**3 - 2*o. Let v be m(-2). Let t be (-37)/(-3) - v/(-3). Solve t = c + 2*c for c.
4
Let j(u) = u + 10. Let y be j(-8). Solve 2*r = -y*r - 20 for r.
-5
Let s = 4 - 1. Suppose -2*q - 6 = -5*r, -s*q + 0*r = 4*r - 37. Let i = -5 + q. Solve i*h = -h + 15 for h.
5
Let o = 32 + -11. Suppose 4*j - 2*v = v + o, 0 = 5*j + v - 50. Solve j - 3 = -3*y for y.
-2
Suppose -2*m + 5 - 1 = 0. Suppose 2*q - 4 = -m*q. Let b = q - -2. Solve -4 + 1 = b*s for s.
-1
Suppose 40*d - 39*d = 2. Solve -3*v = d*v + 5 for v.
-1
Let i(o) = o - 2. Let v(g) = -5*g + 9. Let m(j) = 11*i(j) + 2*v(j). Let d be m(4). Suppose -f = l - 2, -f + 0 = -2*l - 2. Solve -f = -d*t - 2*t for t.
1
Let f be 5/(6/2 - 2). Suppose 0*s - 5*s - f = 0. Let g = s - -3. Solve -g*j = -7*j for j.
0
Let k = -11 + 15. Solve -k*n = -5*n + 1 for n.
1
Let o(p) = -p**2 - 7*p - 5. Let x be o(-5). Let w = -8 - 1. Let d = w - -12. Solve -d*g + x = 2*g for g.
1
Suppose 0 = 5*v - 9 + 84. Let z = -11 - v. Suppose -5*u = -z*u. Solve 1 = q - u*q for q.
1
Suppose 2*y = 9*a - 8*a - 5, -3*y + 3 = 0. Solve 2*s = a*s for s.
0
Let g(m) = -2 - 41*m + 21*m + 17*m + m**2. Let j be g(4). Solve -j*x = -1 - 1 for x.
1
Suppose k - 5 + 4 = o, -4*o = -3*k + 1. Solve 3 = -o*r + 9 for r.
3
Let c(s) = s**3 + s**3 - s**3 - 6*s - 2*s**3 - 7 + 8*s**2. Let h be c(7). Solve h*p = p for p.
0
Suppose -5*v + 3*l + 134 = 0, -3*v - 3*l + l = -69. Suppose -4*h + v = h. Solve p = h*p for p.
0
Suppose -19 = -o + 5*k + 1, 5*o + 8 = -2*k. Suppose -3*i = -p - 13, -12 = -o*p + 3*p. Solve 6 = r - i*r for r.
-3
Let b be (-5 + -1)*1 + 1. Let f = 10 + b. Suppose -p - 6 = -f*y + y, 3*p = 5*y - 4. Solve -2*w = p*w for w.
0
Let c = -13 + 23. Suppose 5*x - 3*f = f + 2, 4*x + f = c. Solve w + w + x = 0 for w.
-1
Let s = -4 + -8. Let v = -6 - s. Solve -u + v = -4*u for u.
-2
Suppose 3*u = -t + 17, 0*u = -5*t + 3*u + 13. Suppose 0 = -t*v - 4*w - w + 15, -w + 5 = -v. Let b be v/3 - 28/(-12). Solve -3*m - 8 = -b for m.
-2
Let n(x) = 5*x - 43. Let q be n(9). Solve -3*k + q = 8 for k.
-2
Suppose 0 = -3*m + 7*m - 80. Let l = 7 - -8. Suppose p + 4*n + m = 5*p, 5*p + l = -5*n. Solve 4 = 5*k - p for k.
1
Suppose -z + 4*p = -2*z + 2, 0 = 5*z - p - 31. Solve -3*t + 5*t = -z for t.
-3
Suppose 0 = -3*l + 2*l - 1. Let h be ((-12)/(-4))/(0 + l). Let f = 3 + h. Solve f = -5*b + 28 - 8 for b.
4
Let j = -29 + 40. Let z(u) = u**3 + 3*u**2 - 3*u + 4. Let g be z(-4). Let a = 4 - g. Solve j = a*c - 5 for c.
4
Let m = 3 - 0. Suppose 0*p + 2*u = -5*p + 80, -m*u = 2*p - 21. Solve -3 = -5*o - p for o.
-3
Let x = -6 + 4. Let s(l) = -l**3 - 2*l**2 + 2*l - 4. Let t be s(-3). Let z be x/(7/(-5) - t). Solve 2*q = z + 1 for q.
3
Let t(k) = -4*k**3 - 4*k**2 - 3*k + 1. Let q be t(-2). Suppose -2*g + 165 = 3*g. Let f = g - q. Solve -2*y + f = 2 for y.
4
Suppose 5*j + 16 = 31. Solve -7*i + j*i = 4 for i.
-1
Suppose 0 = -5*p - 5*t + 120, -5*p - 2*t + 3*t = -96. Suppose 3*i + 0*i - 3 = 0. Let f be i + 2 + (-20)/(-10). Solve 0*o - p = -f*o for o.
4
Let 