olve 0*w = -2*w - x for w.
-5
Let s(g) be the second derivative of g**4/6 - g**3/6 - g**2 + 4*g. Let n be s(2). Solve 6 = -n*d + d for d.
-2
Let y(j) = 3*j**3 + 3 - 4 + 2. Let b be y(2). Solve o - b = -4*o for o.
5
Suppose -b - 7 = -2*b. Let y(j) = 5*j**2 - j - 1. Let h be y(-1). Let c = h - 3. Solve c*q - 1 - b = 0 for q.
4
Let n be -1*0*(-2)/8. Solve 4 = 4*c - n*c for c.
1
Let a(t) = -t**2 - 4*t - 1. Let w be a(-3). Suppose -k + w*f = 8, -5*k = -k + f - 4. Solve -2*l - l - 6 = k for l.
-2
Let p be (-24)/16 - ((-22)/4 + -1). Let c = 5 - -2. Suppose 0 = -p*j - 25, -c*g + 2*g - 4*j + 10 = 0. Solve 6 = 3*f - g for f.
4
Suppose 0 = -3*x + f + 180, 8*f - 4*f + 180 = 3*x. Suppose -4*q + x = -4*r, 0 = -q + 4*r + 2 + 10. Solve 2*k + 2*k = -q for k.
-4
Suppose 2*c = 5*v + 29, -27 + 6 = -3*c + 3*v. Let f = 25 - 22. Solve f*m = -c*m + 20 for m.
4
Let h = 10 - 1. Let l = h - 6. Solve l*o - 4 = -o for o.
1
Suppose 0 = -5*y + 4*y. Suppose 3*z - 9 = -f - 0, -4*f = -12. Suppose 2*r - z*q - 32 = -y*q, 5*q + 20 = 0. Solve 5*m - r = 3 for m.
3
Let n(u) = -u**3 + 2*u**2 - 1. Let a be n(-1). Let q be ((-2)/4)/((-1)/a). Suppose -o + q = -0. Solve -3*m + 2*m = -o for m.
1
Suppose 2*n - 4*n = -8. Suppose 4*d + 4*b - n = 0, d + 3*d = -5*b + 2. Suppose 3*p + 2*q + 5 = -2*q, 0 = d*p - 4*q - 35. Solve 0 = -p*t - 0 - 5 for t.
-1
Suppose 9*i + 5*i - 14 = 0. Solve 0 = 5*h + i + 4 for h.
-1
Let z(i) = 19*i - 4. Let m be z(2). Solve -5*o - 9 = -m for o.
5
Let n(a) = -a**2 + 6*a - 4. Suppose -5*i = -0*i - 20. Let c be n(i). Suppose -12 = -r + c*x, -3 = -4*r - 3*x + 7. Solve 0 = -2*y - 2 + r for y.
1
Let o = -31 - -35. Solve -4 + 12 = -o*z for z.
-2
Let m be 5/(-2)*12/(-10). Solve a - 16 = -m*a for a.
4
Suppose -c - 2 = 0, 4*j - 25 = -2*c + 3. Let f be (-3 + j)*(-1)/(-1). Solve -2*s + f*s = 15 for s.
5
Suppose -5*a = 22 - 22. Solve a = -m - 4*m + 20 for m.
4
Suppose -5*n + 5*w = -2*n + 3, 5 = -5*n - 4*w. Let z be 6/(-8)*(-3 + n). Let u(t) = -2*t. Let f be u(-5). Solve d - z*d = -f for d.
5
Let c(y) = y - 6. Let i be ((-1)/(-2))/((-3)/(-36)). Let s be c(i). Suppose -2*d + s + 10 = 0. Solve 28 = -d*v + 3 for v.
-5
Let w = 10 - 6. Solve -n = -3*n - w for n.
-2
Let m be ((-4)/6)/((-5)/15). Suppose 17*i = 20*i. Solve m*g + i = -8 for g.
-4
Let d = -19 + 21. Suppose -2*u + 2 = -4*r, -4*u = -2*u - 2*r - 4. Suppose 0 = -4*z + 3 + 1. Solve -d*a - z = -u*a for a.
1
Suppose 2*c = -0*c + 16. Suppose -2*v + c = -6. Suppose -r - 1 + v = 0. Solve -r*w + 3*w = 0 for w.
0
Let h(o) be the third derivative of 1/60*o**5 + 5/6*o**3 + 3*o**2 + 0 + 0*o + 5/24*o**4. Let d be h(-5). Solve -2*g + d*g - 12 = 0 for g.
4
Suppose 23 = 4*o + 3. Suppose -2*w - w = 3. Let s be w/(-5) - (-49)/o. Solve 0 = 3*y + s - 1 for y.
-3
Let z = 10 + -9. Let q = 0 + z. Solve m + 1 = -q for m.
-2
Suppose 3*a + 2*a = 10. Let m be a - 5/((-15)/(-6)). Solve m = 3*l + 18 - 3 for l.
-5
Let c(k) = k + 5 - 2 - 6 - 5. Let m be c(9). Suppose 3*r - 3*f - 33 = r, 0 = -3*r - 5*f + 2. Solve 5*j + m + r = 0 for j.
-2
Let u be (5/2)/((-7)/(-14)). Solve 0*i = -u*i for i.
0
Suppose -6*n + 5*q = -5*n - 2, -24 = -3*n - 3*q. Suppose u + 8 = -3*k, -3*k = -u - 7*k - 12. Solve n*s = u*s for s.
0
Let b(z) be the second derivative of z**5/20 - z**4/12 - z**3/2 - 2*z**2 + 11*z. Let w = -5 + 8. Let d be b(w). Solve f = -0*f - d for f.
-5
Let d = 22 + -13. Let w be ((-6)/(-4))/(d/12). Solve -3*g - w + 17 = 0 for g.
5
Suppose -2*d + 3 = -d. Let t be 10/(-8) - (-5)/20. Let g be (-1 - t) + 2 + 5. Solve n = -g + d for n.
-4
Let l(f) = f - 13. Let v be l(13). Solve 3*m - m + 10 = v for m.
-5
Let q(l) = 3*l + 4 - 6*l + 0 + 4*l. Let r be q(-4). Solve 2*s + r*s - 10 = 0 for s.
5
Let b = 19 - 9. Let f = b + -6. Suppose 0 = -3*g + 3. Solve 3 = f*d - g for d.
1
Let u = 11 + -8. Suppose v - 6 = -u. Solve -5*d - v = 2 for d.
-1
Let m be 0*(9/6)/(-3). Let v = m + 1. Suppose -x = v - 2. Solve -2*n + x + 3 = 0 for n.
2
Let w(m) = -4*m - 7 + 8 - 3*m**2 + 4*m**2. Let y be w(5). Let t = 20 + -14. Solve 0 = t*j - 3*j - y for j.
2
Suppose -b - 3*o - 21 = -3*b, 3*b + 3*o = -6. Solve 3*r + b = 12 for r.
3
Suppose -2*g = 3 + 3. Let i be 14/g*(-3)/2. Solve 9 = -i*d + 4*d for d.
-3
Let s(d) = -d**3 + 2*d**2 + 15. Let n be s(0). Solve 5*l - n = 5 for l.
4
Let d(c) = c**3 - 2*c**2 - 3*c + 2. Let l be d(3). Let g be (3/3 + l)/(-1). Let q be (0 - 6)/(-4 - g). Solve j + j = q for j.
3
Let o be 9/(-6)*(-8)/6. Suppose 0*h = -4*h - 2*f + 10, -o*h - 1 = -5*f. Solve -3 = -h*l + 5 for l.
4
Let d be 0 - (0 - 1) - -3. Suppose 4*r - 1 = 5*r + i, 0 = -i - d. Solve 0*y = -r*y + 15 for y.
5
Let d be (-10)/(-35) - 4/14. Let y(g) = 3 - 6*g**2 - g**3 - 3*g + g - 10. Let w be y(-6). Solve d*x = -w*x + 20 for x.
4
Let j(m) = m + 2. Let i be j(0). Let q(a) = -5*a - 1. Let f be q(-2). Suppose z - i*z = -f. Solve 25 = 4*l - z*l for l.
-5
Suppose -3*t + 51 = 3*m, 0 = 4*t - m + 3*m - 74. Solve -t = 4*w - 0*w for w.
-5
Suppose 2*z - a + 2*a + 2 = 0, 2*z + 2*a = -4. Suppose -o - 1 = 3*m, 3*m - 5 = -4*o - z*m. Solve -4*g - 6 = o for g.
-2
Let x be 1 - (2 - 1)*-1. Let q be (5/(-20))/((-1)/4). Solve r = -q + x for r.
1
Suppose -4*t + 6 = -10. Let a = -2 + t. Let s be 1*(0 - -1) + a. Solve -s*g = -2*g for g.
0
Suppose -2 = -2*o + 2. Solve -o*g - 3 = g for g.
-1
Let o = -9 - -15. Suppose 3*p - 5*p = -o. Let m be 1/(-3) + 7/p. Solve q + 0*q = -m for q.
-2
Let t(d) = d**3 + 8*d**2 + 7*d + 2. Let x be t(-7). Let w = -2 + x. Let l be (5/(-15))/((-3)/36). Solve l*p + w - 4 = 0 for p.
1
Let f(r) = r**2 - 22*r + 61. Let x be f(19). Solve 0 = -n + x*n for n.
0
Suppose 9*d - 32 = 5*d. Solve -g = -3*g - d for g.
-4
Suppose 0 = 3*y - 18. Solve -9 = -3*v + y*v for v.
-3
Suppose -4*f + 9 = 5*x - f, 4*x - 3*f = -9. Solve -4*q - q = x for q.
0
Suppose 3*l - 3*z + 0 = -6, 0 = 3*l - 2*z + 4. Solve -13*x + 8*x + 20 = l for x.
4
Suppose -2*o = -o - 10. Suppose -15 = -3*s, o + 10 = 5*n + s. Solve -n = 5*a - 13 for a.
2
Suppose 6*o - 5 = 7. Solve -o*j - 4 = -0*j for j.
-2
Let o be 1/(-1 + (-2 - -2)). Suppose 4*n + 2*q = -2, -q - 2*q + 19 = -5*n. Let c = o - n. Solve c = -2*k + 3 for k.
1
Let z(c) = -c**2 + 3*c + 2. Let p be z(4). Let m = p - -2. Suppose u + 6*k + 10 = k, 2*u - k - 24 = m. Solve -2*w + 0*w = -u for w.
5
Suppose 7*v - 6*v - 3 = 0. Suppose k + 5*d = 36, v*d = -4*k - 32 + 91. Solve -14 = -5*o + k for o.
5
Let j = 4 + -3. Solve j = 3*v - 11 for v.
4
Suppose -4 = -t - 1. Let h(g) = 5*g + 1. Let z be h(-3). Let w = -10 - z. Solve -t*u + w + 8 = 0 for u.
4
Suppose 6 = 5*a - 2*a. Suppose g + 9 = a*g. Solve 0*r + 3*r = -g for r.
-3
Suppose -5*g + 23 = -22. Suppose -r - g = -3*w - 4*r, -5*r - 5 = 0. Suppose x - 8 = -w*y, 6*y = 3*y - x + 5. Solve -5*f - y - 12 = 0 for f.
-3
Let r be (-3)/(-4)*24/(-3). Let a = -4 - r. Solve 3*c + 7 = -a for c.
-3
Let r = 32 + -17. Solve -7*z = -4*z + r for z.
-5
Suppose -3*z = -7 + 1. Suppose -1 = z*n - 9. Solve -c + n*c = -9 for c.
-3
Suppose 13 = 3*t - 2. Let l = t - -1. Solve l = -2*f + 2 for f.
-2
Let z = -15 - -20. Solve 3*t - z = 1 for t.
2
Let a be -3*2/(-3) - 0. Let z(n) = 6*n - 2. Let s be z(-5). Let u = -17 - s. Solve a*v = -v + u for v.
5
Let z be (-7)/(-14) + 0 + 6/4. Solve -z - 2 = o for o.
-4
Let n = -7 + 11. Solve -11 - 9 = n*p for p.
-5
Let m = 18 - 25. Let u = 9 + m. Solve -u*h - 10 = -7*h for h.
2
Let w = 14 + -12. Let p be (0*(-2)/4)/2. Suppose p = -3*b + 5*b - w*q - 40, -3*q = 4*b - 52. Solve 2*g + 2*g + b = 0 for g.
-4
Suppose 4*j = 5*j. Solve j*w = 3*w + 6 for w.
-2
Let y(x) = -x**3 - 5*x**2 - 5*x - 4. Let g be y(-3). Let s = 7 + g. Solve s = l - 5*l for l.
0
Let w = 26 + -23. Solve 5 + 10 = w*c for c.
5
Suppose 2*q - 8 + 24 = s, -16 = 2*q - 4*s. Let w be 11 + q + (-3 - 0). Solve 5*g - 7 + 2 = w for g.
1
Let t(v) = -v**3 + 4*v**2 - 5*v + 3. Let o be t(3). Let y be -2*(-12)/8 + o. Solve y = b + 1 - 2 for b.
1
Let j = 3 + 2. Suppose -j = -n - 2. Let o = 25 - 5. Solve -n*l = l + o for l.
-5
Let h = 2 - 1. Let l be h - (-1 + 0/1). Suppose -3*x = -3*r - 26 + 68, -5*r = -3*x - 60. Solve -k - l*k = r for k.
-3
Suppose 3*q - 25 = -w + 5*q, 0 = 4*w + 5*q - 35. Let x be 2/(-6) - (-39)/9. Solve -u - x*u + w = 0 for u.
3
Let z = 77 + -76. Solve 0 = d - z - 2 for d.
3
Let w(v) = v. Let m be w(-3). Let o be (16/(-6))/(2/m). Solve 2*b = -o + 2 for b.
-1
Let b = 19 + -9. Solve 4*r