 = -2*k**2 + 11*k - 9. Let p be y(4). Solve 0 = -p*l - 8 - 1 for l.
-3
Let s(y) = -y**2 - y + 1. Let f be s(1). Let p be f + 1 + 2 + 23. Solve -4*b = b - p for b.
5
Suppose -2*o - s = -13, -6*o + 2*o + s = -23. Solve -3*d + o = -d for d.
3
Let t(y) = -y**3 - 16*y**2 - 15*y + 1. Let x be t(-15). Solve 0 = l - 0*l + x for l.
-1
Let s(w) = -w + 7. Let g be s(5). Solve 0*t + 2 = g*t for t.
1
Suppose -2*v + l = v - 5, -2*l = -3*v + 10. Solve v*u + 3 = -u for u.
-3
Let z(v) = -v**3 + 3*v**2 + 3*v + 4. Let m be z(4). Solve -8 = -m*f + 4*f for f.
-2
Let u be (-3)/(3/6 + -2). Suppose -4*b = -u*b. Suppose b = 2*p - 4*x - 6, p - 12 = -3*p - 4*x. Solve r - 8 = p*r for r.
-4
Suppose -3*s + 24 = 3. Let r = s - 4. Solve r = 3*g - 0 for g.
1
Let q = 41 + -39. Solve q*l = -3*l + 10 for l.
2
Let q = -1 - -3. Let w = q - 0. Let r = 0 - -2. Solve r*z + 12 = -w*z for z.
-3
Suppose 0 = -a - 7 + 44. Suppose -2*z + a = 5*x - 0, -5*z = x - 35. Suppose -t + z*t - 15 = 0. Solve q + t*q = 0 for q.
0
Suppose 0 = -4*f - 8 - 12. Let j = 6 + f. Solve -1 - j = -m for m.
2
Let z(y) be the first derivative of 1/4*y**4 + y + 3*y**2 - 2*y**3 + 2. Let h be z(5). Solve -4 - h = -2*d for d.
5
Let k(w) = -8*w**2 + w. Let t be k(-1). Let i be 3/t - (-28)/12. Solve -i*l + 0 = 2 for l.
-1
Suppose -9*a = -6*a - 54. Suppose u = 5*z - a, -3*z + u + u + 8 = 0. Solve -1 = -3*l - z for l.
-1
Let u = -4 - 1. Let d be (1/1 + u)/(-2). Solve 2 = 4*t - d for t.
1
Suppose o + 3*u - 21 = 0, 6*u = 3*o + 5*u - 43. Solve 1 = 4*b - o for b.
4
Let l(z) = -2*z - 4. Let u(n) = -2*n + 13. Let g be u(9). Let y be l(g). Solve 2*f + 4 = y*f for f.
1
Suppose 5*d + 15 = -5*c, 2*d + 5*c + 16 = -2*d. Solve -2 = -b - d for b.
1
Suppose s = -4*f + 10, 5*s + f - 50 = -3*f. Let h = s - 6. Solve h*b - 20 = 8*b for b.
-5
Let l(h) = h**2 + 2*h - 2. Let o be l(-4). Let r(m) = 1 - 5 - m**2 - 2*m + 9*m. Let q be r(o). Solve -p = 1 - q for p.
1
Let s(v) = -5*v - 1. Let p be 3 - (4 + -2*1). Let t be s(p). Let h be (t + 6)*(-2)/4. Solve 0 = -n - h - 5 for n.
-5
Suppose -5*y + 4*f = -50, 3*y - 2*y - 3*f - 21 = 0. Suppose 4*h = 4*b, b - 4*h = -4*b + 3. Let x = -3 + b. Solve x = -4*w + y*w + 6 for w.
-3
Suppose 5 = 5*b - 4*z, 3*b + 0 - 3 = 5*z. Let q = b - -3. Solve j - q = -3 for j.
1
Suppose 41 = 3*c - 2*q, -5*q = 5*c - 52 - 8. Solve 4*y = c - 1 for y.
3
Suppose -6*i - 3 = -3*i. Let p be 0 - 1 - 1/i. Solve p = 3*c - 9 - 3 for c.
4
Suppose -1 + 4 = b. Solve 0 = -b*u - u + 8 for u.
2
Let l be 3 + 1 - (-2 + 3). Suppose r = -l*r. Let o be (r + 0)*(-1)/2. Solve 5*p - p = o for p.
0
Suppose -p - 16 = 5*y, -y - 11 = -3*p + 5. Let t be (0 + 1)*20/1. Solve -b - t = p*b for b.
-4
Suppose -3*w - 8 = 4*k, -5*w - 9 = 11. Let u be ((-8)/(-20))/(k/5). Solve 1 - 5 = -u*j for j.
2
Suppose -25*i + 6 = -22*i. Solve -i*d = d + 6 for d.
-2
Let j be 8 - 6*(-2)/(-4). Suppose -g - 2*f + 10 - 3 = 0, 3*g + j*f = 22. Suppose 0 = 3*u - s + 2, 4*s = 6 + 2. Solve -i + 4*i + g = u for i.
-3
Let i(k) = k**3 - 3*k**2 + 3*k + 1. Let y be i(2). Let t = 11 - 5. Let d be 1*2*y/t. Solve -8 = 3*n + d for n.
-3
Suppose 0 = 3*n - 10 - 5. Solve -20 = -0*h + n*h for h.
-4
Let y(q) = -q**3 - 2*q**2 - 5. Let j be y(-3). Solve j + 4 = 2*a for a.
4
Let p(g) = g**2 - g - 3. Let b be p(-4). Let h = 0 + 4. Solve h*c - b + 5 = 0 for c.
3
Let v(h) = -h**3 - h**2 + 2. Let u be v(0). Suppose -2*k + 3*k - 2*x = 12, 3*k = -3*x. Let j be ((-3)/u)/((-3)/k). Solve 2*b - j = -10 for b.
-4
Suppose 0 = 5*l - 4*c - 13, -3*l + 0*l = -c - 12. Suppose z = -l*m - 1, 3*z + 0*z + 3 = -4*m. Solve -2*b + m - 2 = 0 for b.
-1
Suppose 0*g = 2*g - 18. Let f(w) = w**3 - 9*w**2 - w + 11. Let d be f(g). Solve 0 = -3*k - d*k + 15 for k.
3
Let x(b) = -b - 4. Let t be x(-4). Suppose 0 = -4*q + 5*q - 21. Suppose q = 5*r - 9. Solve t*p - 3*p - r = 0 for p.
-2
Suppose -2*d - 34 = -38. Solve -5*h = -d*h - 3 for h.
1
Let d = 5 - 1. Let u be (-3)/2*d/(-6). Solve 0 = s + u + 2 for s.
-3
Let u(v) = 6*v - 40. Let r be u(7). Let o be 1 - 0/(1*-2). Solve k = r*k + o for k.
-1
Let u be 15 + (0 - (1 - -2)). Suppose -u = -3*p - 0. Solve 9 = p*f - f for f.
3
Let f be 2 + 2/2 + (42 - 30). Solve -f*a + 2 = -17*a for a.
-1
Let a = 12 + -7. Suppose j = p - a, -p - 3*j - 6 = 1. Solve p*n + 2 = 3*n for n.
2
Suppose 13*p = 17*p - 32. Solve p*c = 3*c for c.
0
Let a = 18 - 14. Solve -8 = 3*t + a for t.
-4
Let b(g) = g. Suppose 0*h - 5*h = -5*j + 5, 0 = -h - 1. Let p be b(j). Solve p = 5*s - 0*s for s.
0
Suppose 2 = -5*k + 17. Suppose 2*g = v, k = -2*v + 11. Solve 0 = j + g + 1 for j.
-3
Let k(f) = f**2 - 10*f + 10. Let w be k(9). Let a(t) = -4*t**2 - t + 1. Let d be a(w). Let v = d - -6. Solve -v*c + 7 = 3 for c.
2
Let k be (0 + 3)/((2 + -1)*1). Solve 8 = -k*f - 4 for f.
-4
Let t(q) = -q**3 + 2. Let y be t(0). Let n be 3/(-12)*(y - 10). Solve 0 = -n*b - 3*b - 10 for b.
-2
Let f(v) = 2*v**2 - 7*v + 6. Let d be f(4). Suppose 13 = 4*o - o - c, c + d = 2*o. Solve 0*b - o = -b for b.
3
Let m(z) = z**2 + 8*z - 9. Let c be m(-9). Suppose c*t + 4*t = -4*l, 0 = -5*t + 2*l. Let h = 16 - 14. Solve t = -h*q + q for q.
0
Let h(t) = t**2 + 10*t + 5. Let p be h(-10). Solve -p*g = -4 - 11 for g.
3
Let i(z) = -2*z**2 + z. Let w be i(0). Solve w*c - 3*c = 9 for c.
-3
Suppose -20 = -2*s + 3*x - 0*x, -4 = 4*s + 5*x. Solve f = s*f + 3 for f.
-1
Suppose -6 = 3*p, 2*n - n = -5*p - 14. Let m(h) = -2*h - 1. Let z be m(n). Solve 3*t - z*t = 16 for t.
-4
Let z be (3 - 6 - -2) + 4. Let c be 1/4 + 33/12. Let k = c - z. Solve k = 4*b - b + 12 for b.
-4
Suppose 0 = -6*y + y. Suppose 0 = -4*g + 2*v + 6, y*g - 3*g + 7 = -4*v. Solve 5 - g = -4*t for t.
-1
Let f(r) = r**2 - 7*r + 4. Let m be f(5). Let p = m + 10. Solve 14 = 2*k + p for k.
5
Suppose -48 = -5*h - 18. Solve -4*y = -h*y - 8 for y.
-4
Let i(n) = -n**3 - 25*n**2 - 47*n - 18. Let g be i(-23). Solve 3*r = g*r + 2 for r.
-1
Let m(t) = -3*t + 0*t + 9 + 4*t. Let y be m(-7). Suppose 2*w - 9 = -3*p, 0 = -3*p - 5*w + w + 15. Solve 0 = y*b - p - 1 for b.
1
Let r(g) = -3 - 1 - g + 3. Suppose 2*j - 16 = 4*z, -4*j + 4 + 3 = -3*z. Let f be r(z). Solve -3*y = -f*y for y.
0
Let a(l) = -l + 2. Let w be a(-2). Suppose 0 = 5*p - 11 - w. Solve -3 = 2*v + p for v.
-3
Suppose -4 - 1 = -k. Suppose -4*b + 4*g + 50 = -22, 93 = k*b - 4*g. Let j = b + -13. Solve -3*r = r - j for r.
2
Suppose 0 = -3*z + m + 176, -5*z + 6*m - m + 280 = 0. Let d = z - 35. Solve 2*p - d = 7*p for p.
-5
Let h be (-52)/9 + (-18)/81. Let b = h + 8. Solve 7*w - b*w = -10 for w.
-2
Let k(l) = l**3 + l**2. Let i be k(-1). Suppose 12 = n - 0*n + 3*b, -24 = -3*n - 5*b. Let u = n - 3. Solve -5*g + 15 + i = u for g.
3
Suppose 0 = 2*b - 28 - 22. Solve -b = -8*a + 3*a for a.
5
Let n be 0 + 4 + 4/(-2). Let m = -3 - -15. Solve -i = n*i - m for i.
4
Suppose b + 2 = 0, -2*d = -b - 0*b - 28. Suppose 3*u - d = -1. Solve -t = u*t for t.
0
Let o(p) = -p**3 + 5*p**2 - 5*p + 6. Let k(y) = y + 9. Let h be k(-5). Let x be o(h). Solve 0 = b - 0 + x for b.
-2
Let a be (-3)/12*-14*4. Solve -4*u - 2 = a for u.
-4
Suppose -18 + 3 = -3*u. Suppose -4*i + 9 + u = t, 4*i - 20 = 2*t. Solve -3*g + 8 = -i for g.
4
Let z(v) = 5*v - 1. Let g be z(-1). Let r be -1 + 0 + g + 2. Let f(b) = -b**3 - 5*b**2 + b + 5. Let y be f(r). Solve 0 = -n - y*n for n.
0
Let f be 9 - (-3 - -3)/2. Let p(c) = -c**2 + 6*c + 2. Let s be p(6). Solve -s*r + f = -5*r for r.
-3
Suppose 6*g - 24 = 60. Let c be (-6)/(-9) + g/6. Solve o = c*o - 8 for o.
4
Let a(w) = -2*w + 1. Let d be a(-2). Suppose 0 = 3*t - y - 9, -5*y - 2 + d = -3*t. Suppose 0*v + 96 = t*v. Solve 5*r = 9 - v for r.
-3
Suppose -15 = 2*m - n, m + 2*m = -4*n - 39. Let s = m - -11. Solve 0 = -0*w - s*w for w.
0
Suppose 1 - 4 = -3*u + 3*g, -5*g = -4*u + 3. Solve -u*f - 15 = -7*f for f.
3
Suppose 2*m - 3*y - 35 = 0, 3*y - 5*y + 10 = 0. Solve 2*v - 7*v + m = 0 for v.
5
Let t be (24 - 19) + (-1 - 4). Solve 4*k + 27 - 7 = t for k.
-5
Suppose 16 - 6 = 2*p. Solve 0 = 5*l - 0*l + p for l.
-1
Let r = -5 + 10. Suppose -7 = 3*k - 5*g + 1, -k - 16 = -r*g. Solve 2*o - k = 3*o for o.
-4
Let s(m) = 2*m - 2. Let h be s(2). Suppose 4 = -j - 4*d, h*d = -3*j - 3 - 9. Let f = j - -6. Solve f*r - 1 = 3 for r.
2
Suppose -u - 4*q + 8 = 0, q + 10 = 2*u + 3*q. Suppose 2*m = u*w + w + 24, 2*w = 5*m - 18. Solve 0 = 3*n + m + 7 for n.
-3
Let a(i) = 5*i**3 + 21*i**2 - 3*i - 