 = 2*m**3 - m + 1. Let k be c(1). Let i = 8 - 7. Solve j = -i - k for j.
-3
Suppose -5*y = -4*g - 46, -y + 0*y + 5*g + 26 = 0. Suppose 0*x + 5*x = -15. Let d be x + 2 + (5 - 0). Solve -y + 2 = d*p for p.
-1
Let y = -2 + 5. Let r be y + 2/(-4)*0. Solve -5*w + 4 = -r*w for w.
2
Let w = 3 - -2. Suppose -m + 4*j - 4 = -w*m, -5*m = -j + 1. Solve m = 4*i + 6 - 2 for i.
-1
Suppose -4*k = -7*k. Let y = -7 - -7. Suppose -2*p + 6*p - 8 = y. Solve p + k = -b for b.
-2
Suppose 4*r = 2*r + 3*a + 8, 4*r = -a + 16. Suppose 5 = -4*c + r*s + 25, -4*s + 1 = 3*c. Let o be 4/(-6) - 11/(-3). Solve c*x + 15 - o = 0 for x.
-4
Let s be (-6)/(-4)*(-6)/9. Let o be s - (-12 - (-3)/(-3)). Suppose 3*g + 0*g - o = 0. Solve -4*l - g = -16 for l.
3
Let g be 2 + (2 - 1) + -1. Solve 0*r + g*r = -4 for r.
-2
Let t = 3 - 4. Let u be (0 - (3 - 3))/t. Solve 5*m = -10 - u for m.
-2
Suppose 0 = -14*w + 16*w - 14. Solve w*s = 3*s for s.
0
Suppose 2 = 5*q - 8. Solve -3*w - q = -2*w for w.
-2
Let i(b) = 2*b**2 - 4*b + 3. Let l be i(2). Solve l*x + 2 = 5 for x.
1
Suppose -2*d - 2*n = 2*d + 6, 3 = 4*d - n. Let h = 0 - d. Solve -3*o = -h*o + 9 for o.
-3
Suppose 4*y + 23 = 3*y. Let p = y - -26. Solve -4*h - p = 9 for h.
-3
Let c(o) be the third derivative of 5/6*o**3 + 0*o + 3*o**2 + 0 - 1/24*o**4. Let p be c(5). Solve p = 5*z + 34 - 14 for z.
-4
Let b be ((-1)/(-2) + 0)*18. Let k = b - 6. Suppose 0 = 5*s - 2 - 3. Solve k*u = -14 - s for u.
-5
Let g be 3/9*0*-1. Suppose g*q + q = 4. Let s(c) = 2*c + 1. Let a be s(1). Solve -a*m = -q + 1 for m.
1
Let b = -20 - -29. Let s = b + 1. Solve -5*v = -0*v + s for v.
-2
Suppose 0 = t - 2*t - d + 3, 0 = -3*t + 2*d + 4. Solve i = -i + t for i.
1
Let z = -18 - -38. Solve -c = 3*c + z for c.
-5
Suppose -9 = -5*w + 2*w. Let p be (-1 - w/(-9))*-3. Solve -c = -p*c for c.
0
Suppose -3*n + 6*n = 6. Suppose y + n*y - 5*b = -1, -5*y - 5*b + 25 = 0. Solve m + y*m + 16 = 0 for m.
-4
Suppose -5*f + 2*z + 18 = 0, 0 = -4*f + f + 5*z + 26. Let o be f/(3*(-2)/(-6)). Suppose 5*n = j - 3*j - 20, -3*j - 12 = 3*n. Solve 2*k - o = -j*k for k.
1
Let f = -104 + 114. Solve 0*j = -2*j + f for j.
5
Let q(v) = -v**3 - v**2 - v - 4. Let x be q(0). Let m = 8 + x. Suppose -a + 2*a + 3*w - 2 = 0, 4*a - 8 = -m*w. Solve 4*t + a = -2 for t.
-1
Let m(p) = -5*p + 1. Let i be m(-1). Let y = 2 - -5. Let f = y + -4. Solve -6 - i = f*x for x.
-4
Suppose -3*o + b + 4 = 0, -3*o - 3*b + 17 = -7. Let q be (-143)/(-33) - 1/o. Solve 2*m - 6 = q for m.
5
Suppose 14 = 5*t - q - 0*q, 4*t + q = 13. Suppose -4*n - z = 0, 2*n - t*z = -n. Solve -3*u = -6 - n for u.
2
Let b(a) = -a**3 - 8*a**2 - 6*a + 8. Let k be b(-7). Let t be (4 - k)/((-3)/(-2)). Solve -m - t*m = -9 for m.
3
Suppose 0*w = 3*w - 15. Suppose 2*r - 3*r + 3 = 0. Suppose -3*t + 4 = 4*h - 3, 5*h = 2*t + 26. Solve h = r*y - w for y.
3
Let h = -45 - -49. Solve -5*n + h = -n for n.
1
Let k = 5 + 1. Suppose 10 = k*d - d. Solve -3*v + d = -v for v.
1
Let n be (1 + 1)/(-2)*0. Suppose 3*j = 3*v - 18, -3*j + 7 + 17 = 4*v. Solve n = b + v - 1 for b.
-5
Suppose 0 = -3*n + 4*v + 9, -2*n = 3*n + 3*v - 15. Let m = 4 + -4. Solve m = -n*u - 10 - 2 for u.
-4
Suppose 41 = 3*d - 0*d + y, 50 = 2*d - 5*y. Solve 2*b = 5*b + d for b.
-5
Let b be (-1)/1*-1*3. Suppose -3*h - 3*g + 9 = 0, -b*g - 17 = -3*h + 2*g. Solve -9*u + h*u - 5 = 0 for u.
-1
Let y = 4 - 2. Let l be (2/(-1) - -5) + (-10)/5. Let d = y + l. Solve -5 = -2*n + d*n for n.
-5
Suppose 0 = -m - 0*m + 1. Suppose 0 = -3*l + 4*o - 17 + m, -3*l = 2*o - 8. Solve -5*s + l = -10 for s.
2
Let s(k) = k**3 - 4*k**2 + 3*k + 3. Let v = 8 - 5. Let x be s(v). Suppose 4 = x*l - 20. Solve -l = -3*c - c for c.
2
Let l be (-5)/3*(-18)/6. Suppose r + 0*r - l = 0. Suppose 15 = r*v - 5. Solve v - 24 = -4*i for i.
5
Let u(c) be the first derivative of 4*c + 2 + 1/2*c**2. Let j be u(3). Solve -j*q = -2*q - 5 for q.
1
Let r = 49 - 18. Solve r = -5*i + 6 for i.
-5
Let n be -1*(0 - 0)/1. Suppose n = -3*r + 7*r - 32. Solve 0 = -5*g + 3*g - r for g.
-4
Suppose -3*k - 3*q = -78, -k + 0*k + 4*q = -11. Let x = k + -20. Solve v + 5 = x for v.
-2
Suppose 3*i - 1 = 8. Let d be (-6)/(3*6/(-63)). Suppose -15 = -w - 4*s, 8*w - 3*w - d = -2*s. Solve -w = -2*a + i for a.
3
Let p(r) be the second derivative of -1/6*r**3 - 3/2*r**2 - 1/20*r**5 + 0 - r - 5/12*r**4. Let x be p(-5). Solve -5 - 5 = -x*w for w.
5
Let k = 6 - 7. Let w be 0 - (k + 1) - -3. Solve -w*q = -2 - 1 for q.
1
Let k(h) = h**3 - 4*h**2 + 4*h. Let c be k(3). Let d = c - 1. Suppose o + 0 - d = 0. Solve 0 = -o*g + 1 + 7 for g.
4
Let n(h) = 2*h**2 - h**3 + 3*h**2 + 2 - 4*h + 4. Let l be n(4). Let x be (-6)/(-4) + 3/l. Solve x*d = -d for d.
0
Suppose -k - 2 = w - 10, 4*k - 5*w = 32. Let o = k - -1. Suppose 3*a = 3*t + o, -2 = -3*a + 7. Solve -v - v - 2 = t for v.
-1
Let x(c) = -c**3 + 8*c**2 + c - 6. Let s be x(8). Solve -4*v - 2 = s for v.
-1
Let i = -7 - 3. Let g = -7 - i. Solve -f = g*f - 16 for f.
4
Suppose -3 = -m - 0*p + 2*p, -5*m = 2*p - 27. Suppose 0 = -r + m, -5 = -5*w + 4*w - r. Solve 0 = -w*a + 4*a for a.
0
Suppose -m = -m - 3*m. Suppose 0 = n - 2*n + 2. Solve m - n = -2*u for u.
1
Suppose -w + 11 + 22 = 2*s, -3*s + 5*w + 30 = 0. Solve s = -0*q - 3*q for q.
-5
Let q = 0 - 2. Let m = 4 + q. Let k = -7 + 10. Solve -k*v + 1 + m = 0 for v.
1
Let i(s) be the first derivative of -s**4/12 - 4*s**3/3 - 3*s**2 + 3*s - 1. Let l(b) be the first derivative of i(b). Let k be l(-6). Solve -r + k = 2 for r.
4
Suppose w + 25 = 6*w. Let q = w - 2. Solve -q = 3*d - 0*d for d.
-1
Let i be (-315)/84*8/(-6). Solve 5 = i*p - 5 for p.
2
Suppose -6*s + 19 + 11 = 0. Solve -s*u + u = -8 for u.
2
Let t be (37 + -7)/(2*1). Suppose 0 = -3*q + 7*q - 8. Suppose f + 4*f - 15 = 0. Solve q*r + f*r = -t for r.
-3
Let k(n) = n**2 - 10*n - 9. Let x be k(11). Let g = x + -1. Solve i + 3 = g for i.
-2
Let b(s) be the first derivative of -s**2/2 + 16*s + 5. Let p be b(14). Solve 0*x = 2*x + p for x.
-1
Let b be (-1)/4*-2*(-4 - -16). Solve b = -k + 3*k for k.
3
Let t(j) = j**2 + 15*j + 18. Let w(m) = -m**2 + 7*m - 6. Let n be w(8). Let s be t(n). Solve -y - s*y + 15 = 0 for y.
3
Suppose -l = -5*l + 16. Solve -l*n = -6*n for n.
0
Suppose -5*i = r - 2*r + 6, r - 3*i - 8 = 0. Suppose 5*c = 2*y - 21, -2*y + 0*c + r = 5*c. Solve 0 = 3*d - y - 1 for d.
3
Suppose 4*y = 5 + 3. Suppose -y*h = 2*h. Solve h = 4*l + 11 - 31 for l.
5
Suppose -2*h + 5*h = 9. Let i = h - 3. Solve i = o + 2 for o.
-2
Let w be (4/(-4))/(1/(-3)). Suppose -w*u = 2*u - 30. Let s be 122/6 + (-3)/9. Solve a = u*a + s for a.
-4
Let k = -2 - -7. Suppose 0 = -0*a + k*a - 25. Solve 3*r - a = 1 for r.
2
Suppose -5*a - 2*w + 10 = 0, -3*w = -5*a + w - 20. Solve -2 + a = -s for s.
2
Suppose 3*o - 13*o + 120 = 0. Let i = 2 - -3. Solve -h = -i*h + o for h.
3
Let i(t) = -4*t**3 - 2*t**2 + 2*t - 1. Let f be i(1). Let c(s) = -s**3 - 5*s**2 - s - 1. Let a be c(f). Solve 2*p + 2 + a = 0 for p.
-3
Let r(y) = y**2 - 4*y - 7. Let f be r(6). Let j = -10 + 26. Let m = -15 + j. Solve f*h - 4 = m for h.
1
Suppose -4*t + 68 = -z, 0*z + z = -5*t + 76. Suppose 7*b - t = 3*b. Let q = 11 - 8. Solve b = -7*o + q*o for o.
-1
Let b = -8 - -11. Let h = 37 - 23. Let d = h - 3. Solve d = -b*o + 2 for o.
-3
Suppose -5*a - 3 = 2, -3*k = 5*a - 52. Solve -5*o + 4 = k for o.
-3
Let h = -1 + 2. Let x be 1 + (0 + 1)/h. Solve -x*c + 0 = 2 for c.
-1
Suppose 3*k = -2*k. Suppose -i = -3*o - 4, k*o - o = -5*i - 22. Let y = 0 - i. Solve y*x + 2 = -3 for x.
-1
Let d(z) = -z**2 + 3*z + 2. Let a be d(3). Suppose -5*c = 3*t - 0*t - 51, a*t - 21 = c. Solve 2*v - t = -2*v for v.
3
Let o(y) = y**3 - 9*y**2 - 10*y + 2. Let x(v) = v**2 + v - 2. Let t be x(-4). Let g be o(t). Solve 4*z + 8 = g*z for z.
-4
Let v be (0 + 2)*((-25)/10 + 4). Solve 2*u + v = -1 for u.
-2
Let f(g) = g**3 + 4*g**2 - g - 3. Let h be f(-4). Let w = -3 + 5. Suppose -3*i + 50 = -5*n, w*n - n - 46 = -5*i. Solve 3*s - h = -i for s.
-3
Let j = -9 - -15. Let g = -3 + 5. Suppose -g*o + 3*o - 3 = 0. Solve 0*z - o*z = j for z.
-2
Let v(y) be the second derivative of -y**4/6 + 13*y**3/6 - 3*y**2/2 - y. Let g be v(6). Solve -2*x - x = -g for x.
1
Let d be (-2)/(-4) - 10/(-4). Let c be (0 - 2)*(-5 - -4). Solve c + d = v for v.
5
Let s = 1 + -1. Solve -2*q + s*q + 8 = 0 for q.
4
Suppose -4*a - 91 = 69. Let v be a + (-2 - -3) - 1. Let o 