Suppose 0 = -3*p - 2 + 17. Solve f*l + l = p for l.
5
Suppose -3*d - 18 = -3*k - 0*d, -3*k - d + 22 = 0. Let f = -2 + 4. Solve k*o - 10 = f*o for o.
2
Suppose 5*v = 3*m + 36, 14 = -5*m - v - 18. Let z = 7 + m. Suppose k + z*l + 3*l + 12 = 0, 0 = 2*k + l + 4. Solve k = -f + 10 - 5 for f.
5
Let w(n) = -n**3 - 7*n**2 - 6*n + 8. Let q be w(-6). Suppose 0 = r + r - 6. Suppose -1 = -o + r. Solve o*p = -q - 4 for p.
-3
Suppose -1 = -4*c + 7. Suppose 3*r + 2*g - 20 = 0, -4*r + c*g - 1 = -9. Solve 8 = 8*i - r*i for i.
2
Suppose -193 = 4*u + 67. Let q be (-4)/10 + (-481)/u. Solve 5*l + 2 = q for l.
1
Let c(b) = 7*b. Let u be c(0). Solve u = x + 2 + 2 for x.
-4
Suppose 0 = c - 5*t - 27, -4*t = -4*c - t + 23. Let o be (-1)/(-7) - (-872)/(-28). Let f = o + 51. Solve -6*x + c*x = f for x.
-5
Let g(r) = r**3 - r. Suppose 0 = 5*o + 2*l - 20, -o = 3*l - 2*l - 7. Let h be g(o). Let b(z) = -9*z + 1. Let m be b(-1). Solve -q + h*q - m = 0 for q.
2
Suppose 2*d + 2*d = 0. Let p = 4 - 2. Let n = p + d. Solve -n*x - x - 12 = 0 for x.
-4
Let m(v) = 3*v**2 + v**2 + v - 8*v + v**3 - 7. Let r be m(-5). Let y = 17 + -11. Solve r*h = h - y for h.
-3
Let n(q) = q**3 - q**2 - 3*q - 5. Let i be n(4). Let a = 46 - i. Suppose 9*o - a = 4*o. Solve 0 = o*h - 12 for h.
4
Let k = 28 + -13. Suppose 5*b = -g - 4*g - k, -3*b = -5*g + 9. Solve g = -8*q + 4*q - 20 for q.
-5
Let j(o) = -o**3 - 4*o**2 - o - 1. Let q be j(-5). Let c = q + -14. Solve -i = -4*i - c for i.
-5
Let j = -19 + 40. Solve -5*l + j = -4 for l.
5
Suppose 0*m - 10 = -5*m. Let j(v) = v**3 + 5. Let f be j(0). Suppose -4*s = -2*y - 48, -f*s - 2*y = -3*s - 12. Solve s = -3*r - m*r for r.
-2
Let i = 4 - -7. Solve 5*f - 4 = i for f.
3
Let c = 8 - 5. Suppose 0*m + 6 = -c*m. Let u be (m/(-6))/((-1)/(-6)). Solve u*d = d - 2 for d.
-2
Let l = 78 + -74. Solve -l*y = -2*y + 6 for y.
-3
Let g be (-2)/9 - (-20)/9. Let t be 1/(-1) - (-6 + g). Solve t*d - 2*d = 0 for d.
0
Let b(k) = k**2 - 4*k. Let x be b(6). Let i(l) = l**3 - 6*l**2 + l - 4. Let u be i(6). Solve -2*z - u*z = x for z.
-3
Suppose -3*h = -0*h. Let o = 41 + -29. Suppose -3*k + 10*t + 12 = 5*t, 4*t = -2*k + 8. Solve h = -k*m - o for m.
-3
Suppose -4*m = -0*m - 20. Solve -m = -0*p - p for p.
5
Let b be 10 - ((2 - (3 + 1)) + 4). Solve 3*l - b*l = 5 for l.
-1
Let w(v) = -4*v - v**3 + 52*v**2 + 2*v - 55*v**2 - 3. Let k be w(-3). Solve -x + k = 2*x for x.
1
Let w(d) = 3*d + 17. Let b be w(-5). Solve -2*x + 20 = b*x for x.
5
Let u be (-10)/4*(-4)/5. Solve 3*c - 25 = -u*c for c.
5
Suppose -8*a + 117 = -3*a + 3*y, 0 = 3*a + y - 67. Solve -5*c = -1 + a for c.
-4
Let p = 20 + -11. Let r be 0/((-6)/p*-3). Suppose 4*a - 3*a = r. Solve a = -3*c - 15 for c.
-5
Let j be (-7)/((-3)/6*2). Let w = 11 - j. Suppose 0 = 4*d - 2*d - w. Solve d*o + 1 = -3 for o.
-2
Let l = -7 - -14. Let s(n) = -n**2 + 8*n - 3. Let r be s(l). Solve -8 = 4*y + r for y.
-3
Let s be (-18)/(-10) + 24/(-30). Solve 3 - s = o for o.
2
Let m be (-36 + 33)*(0 + -1). Solve 0 = -m*t + 4 + 5 for t.
3
Let u(y) = -y**3 + 4*y**2 + y - 2. Let r be u(4). Suppose 5*s + r*m = m + 47, 0 = -s - 3*m + 1. Solve -5*z + 0 = -s for z.
2
Let h(j) = -2*j - 8. Let t be h(-6). Let d be t/(-2)*(4 - 7). Solve r + 2*r = d for r.
2
Let y be ((-6)/18)/((-1)/12). Solve -i - 3 = -y*i for i.
1
Suppose a = -3*a + 24. Let d(b) = -13*b. Let k be d(3). Let c = -21 - k. Solve -3*i = -a + c for i.
-4
Suppose 2*z - 4 = -3*h, 4*h + z = 5*z + 12. Solve -h = -c + 3*c for c.
-1
Let a = 13 + -9. Suppose a*b - 5*b = 0. Suppose b = 3*l - l - 4. Solve l*z + 4 = 10 for z.
3
Let k(v) = -v**2 + 4*v + 1. Let r be k(5). Let d be (0 + 18/r)*-2. Solve -d + 1 = -4*n for n.
2
Let q(u) = u**2 + 7*u - 13. Let c be q(-9). Solve 5 = -c*n - 10 for n.
-3
Let s(p) = 10*p - 1. Let j be s(-2). Let a be j/(-6) - (-2)/(-4). Solve -u = a*u - 4 for u.
1
Let u be 6/9 - 14/(-6). Suppose u*b + 11 = 86. Solve 5*k + 0*k - b = 0 for k.
5
Let f(i) = -i**3 + 5*i**2 + i - 5. Let a be f(5). Let o be (3 - -3) + (5 - 10). Solve a*w - o = w for w.
-1
Let n be 2 - 6 - (-42)/7. Solve -9 = -a - n*a for a.
3
Let x = 5 - 1. Suppose 0 = 8*q - 7*q - x. Solve -q = -3*l + 2 for l.
2
Let a(y) be the first derivative of y**4/24 - y**3/6 - y**2 - 1. Let k(s) be the second derivative of a(s). Let h be k(4). Solve h = 2*g + 7 for g.
-2
Suppose 0 = -3*k - 9*k + 168. Solve -15 = -k*j + 9*j for j.
3
Suppose -4*b - s = -5, -4*b = -2*b - 5*s - 19. Suppose 5*h - 3*q = 2*q - 65, -2*q = b*h + 18. Let o = 18 + h. Solve -4*w + 19 - o = 0 for w.
3
Let j = 26 - 24. Solve j*n = -2 + 4 for n.
1
Let k be ((-72)/189 + (-2)/7)*-3. Let p be (4/3)/(2/3). Suppose 5*c - 6*f + p*f = -5, 0 = 5*f - 25. Solve k*m = c*m - 3 for m.
3
Let p be -1*2*(0 + -1). Let i(g) = 13*g + 1. Let v be i(1). Let u = -8 + v. Solve 2*w + p - u = 0 for w.
2
Suppose -f + 2*c = 7, 4*f + f = -5*c + 40. Suppose 6*o = f*o. Suppose o = 2*l + 2*l. Solve 2*v - v - 1 = l for v.
1
Let b = 51 + -32. Solve -6 = 5*o + b for o.
-5
Let c be -1*((-3 - 3) + 0). Solve i = c*i + 25 for i.
-5
Let d be ((-2)/2)/(2*3/(-24)). Solve d*f = 6 + 14 for f.
5
Let v(w) = -w**3 - 8*w**2 - 7*w. Let k be v(-7). Suppose 2*f = h - 2*h, 3*h + 12 = k. Let q be 4/f*2/2. Solve q*b = -2*b + 8 for b.
2
Let j be (-2)/(-5) - 2/5. Suppose j*q = q - 3. Suppose -9 + 3 = -q*g. Solve 0 = 3*d - g + 14 for d.
-4
Let z = 2 - -1. Let i = 58 + -32. Suppose 0 = 5*d - 5*a + 6 - i, 0 = -5*d + a + 24. Solve d*m + 12 = -z for m.
-3
Suppose 5*i - 2*q = 106, 2*i - 5*q = 4*i - 25. Let s be (-74)/(-9) + 4/(-18). Let b = i - s. Solve -4*o - 4 + b = 0 for o.
2
Suppose 7*j - 7 + 0 = 0. Solve 0 = -2*h + h - j for h.
-1
Let f(h) = -h**3 - 2*h**2 - 3*h - 3. Let a be f(-2). Solve 9 = -a*l + 3 for l.
-2
Let i = 0 - 3. Let o be 4/(-4)*i - 0. Solve o*j = 2*j for j.
0
Suppose -44 = -2*j - 4*c, -3*j - 5*c + 32 = -31. Solve 4 = -3*a + j for a.
4
Suppose 6 = 2*c - 26. Let r = c + -7. Let m = 8 + -6. Solve -m*t - r = 1 for t.
-5
Suppose -7 + 61 = 6*n. Solve n + 3 = -4*m for m.
-3
Let f(o) = 14*o - 12*o + 8*o**2 - 1 + 3. Let p be f(-1). Solve 3*v = v - p for v.
-4
Let q = 55 + -54. Solve -j + 3 = -q for j.
4
Let n be (-6)/(-4)*(-1 + 3). Suppose -u - 5 = 4*u, -5*u = -n*h + 17. Solve h*t - 10 = 2 for t.
3
Suppose 5*y - 5*d + 70 = 0, 2*y - y - 3*d = -10. Let x be (20/y)/(2/(-24)). Solve a + 2*a = -x for a.
-5
Let w = 17 - 5. Suppose 4*s = l - 3*l, w = 4*l - 4*s. Solve -x = -l*x for x.
0
Let a = 9 + -8. Let i be ((-7)/4)/(a/(-4)). Solve -2*l = -i*l for l.
0
Let g be (-261)/(-15) + (-2)/5. Let y = g + -8. Solve -4*h = -h + y for h.
-3
Let d(u) = -u**2 + 12*u + 50. Let o be d(15). Solve 0 = -z + o*z + 4 for z.
-1
Let l(m) = -m**3 - m**2 + m. Let b be l(-2). Suppose j - 5*n = -b*j + 10, -10 = j + 5*n. Solve -p - p + 10 = j for p.
5
Suppose -8*z = 9*z - 11*z. Solve -6*r + 3*r = z for r.
0
Let f = -57 - -60. Solve t = f*t - 2 for t.
1
Suppose -3*x - 4 = -5*j, 4*x = 2*x + 4. Suppose 3*k - 25 = -j*k. Solve -k*w + 15 = -0*w for w.
3
Let x be (-6)/(-14) - (-3)/(-7). Solve 3*s + s + 8 = x for s.
-2
Suppose -5*z = 4*o + o - 25, 5 = -5*z. Solve -d + o = 1 for d.
5
Let k(j) = j**3 + 16*j**2 + 61*j - 11. Let o be k(-7). Let c(w) = w**2 - 5. Let f be (4/10)/((-2)/20). Let t be c(f). Solve -o*g + t = -4 for g.
5
Suppose 0 = -t - 4, -5*i - 32 = -i + 3*t. Let q = i - -13. Solve -p = -5*p - q for p.
-2
Suppose f = -0*f + 7. Suppose 3*s + s - 12 = 0. Suppose 0 = -2*a + j + 8, 0 = 4*a + j - 7 - s. Solve -a*w - f = 5 for w.
-4
Let n = 17 + -19. Let o(u) = -2*u + 4. Let t be o(n). Solve 5*x = 12 + t for x.
4
Suppose -7*o + 64 = -3*o. Suppose -5*w = -w - o. Suppose 3*y - 4*y + 4 = 3*f, y - f - 4 = 0. Solve -4 = -y*j + w for j.
2
Let u be (-5)/(-1) - (-7 + 4)*-1. Solve 4 = u*y + 2 for y.
1
Suppose -38*c + 36*c + 8 = 0. Solve 17 + 3 = c*i for i.
5
Let o(z) = -z**2 - 7*z - 1. Let l be o(-7). Let h be (0/3*l)/2. Solve 5*y - 3 - 22 = h for y.
5
Let h(j) = -6*j. Let p be h(-1). Suppose -4 = 4*m - p*m. Solve -v = m*v - 12 for v.
4
Let s = 3 + 0. Let h(y) = y**2 + 23*y - 96. Let g be h(-27). Solve 0*i = -s*i - g for i.
-4
Let m be (-14)/6 - (-16)/(-24). Let t = m - 1. Let n be 60/9 + t/6. Solve h + n = -2*h for h.
-2
Suppose 0*h + 19*h = 0. Solve h = -3*m + 7*m - 8 for m.
2
Let u(w) = -w**2 - 3*w + 14. Let y be u(-6). Let n = y - -7. Solve n*g + 2*g + 10 = 0 for 