 0. Solve z*n = n for n.
0
Let l be 8/14*(-56)/(-16). Solve l*j + 10 = -3*j for j.
-2
Let t be (0 + -1)*(-5 - -2). Let r(s) be the third derivative of s**5/60 - s**4/12 + 10*s**2. Let m be r(t). Solve -m = n + 2 for n.
-5
Let v = -28 - -39. Solve v - 3 = 4*x for x.
2
Let y = -10 + 12. Solve 4*o - 18 = -y for o.
4
Let o(p) = p**3 - 5*p**2 - 6*p + 3. Let b be o(6). Solve 0 = b*w - 5 + 2 for w.
1
Let a(v) be the first derivative of v**2/2 + 3. Let c be a(4). Let r be (-2)/(24/(-3))*c. Solve 0*s + r = s for s.
1
Let s(l) = l + 5. Suppose 5*n + 4*o + 12 = 0, -18 = 5*n - 0*o + o. Let w = n - 0. Let g be s(w). Solve -q = -0*q - g for q.
1
Let q(h) = -2*h + 3. Let r be q(0). Suppose 0 = 3*w - r, 0 = 3*x + w - 10 - 0. Solve 10 = -x*d + 1 for d.
-3
Suppose 2*k - 2 = -0*k. Let j be 16/6 + k/3. Solve 2 = 5*m - j for m.
1
Let p = 25 - 25. Solve 0 = 3*u - 6 - p for u.
2
Suppose -12 = 3*j - 3*v, 4 + 0 = v. Suppose -2*a = 3*t - 67, t - 2*a + 4 = 21. Suppose j = -5*m + t + 4. Solve 0 = 2*w - m*w - 9 for w.
-3
Let b(a) = a**3 + 9*a**2 + 12*a - 14. Let s be b(-7). Solve s = 2*w + w for w.
0
Let l(z) be the third derivative of -z**4/24 + z**3 + 4*z**2. Let g be l(6). Solve g = -5*h - 0*h + 10 for h.
2
Let m(c) be the first derivative of 1/3*c**3 - 3*c**2 + 0*c + 3. Let b be m(6). Solve 4*v + b*v = 8 for v.
2
Let c be 6/1*(-4)/6. Let t = c + 7. Let k = t - 3. Solve k = m - 2*m + 5 for m.
5
Let j = -6 - -9. Solve -j*o + 4*o = 0 for o.
0
Suppose 4 = 4*g - 4. Solve -g*x - 2*x = 20 for x.
-5
Let l = -15 - -20. Solve 10*w + 10 = l*w for w.
-2
Let x(w) = w**2 - 16*w - 36. Let v be x(18). Solve v = -m - 3 - 0 for m.
-3
Suppose -s = -2*i - i + 13, 5*i + 2*s = 40. Solve -i*j = -5*j for j.
0
Let c(o) = -o**3 - 6*o**2 + 8*o + 9. Let y be (-14)/(-4)*2*-1. Let g be c(y). Suppose 1 = -p - 3*f, -g*p + 8 = -0*f + f. Solve -3*m = -p*m + 4 for m.
2
Suppose -y = -2*y - 24. Let d = y - -27. Solve 0 = 7*h - d*h - 12 for h.
3
Let s(t) = t**2 + 1. Let p be s(2). Solve 0 = -p*c + 6*c for c.
0
Let k = 3 + 4. Suppose x + n = 5 - 1, -3*x + 2*n = -k. Let g = x + -3. Solve g*i - 4*i = 16 for i.
-4
Let s(a) = a**3 + 8*a**2 + 5*a - 5. Let u be s(-7). Let q = u + -5. Suppose 0 = 4*f + q*o - 4, 0 = -0*o - 2*o. Solve -3*v = -5 - f for v.
2
Let l = -2 - -6. Suppose -2 = 3*j - 5, -l*j = -5*n + 11. Solve n*k = -4 + 1 for k.
-1
Suppose 0*l + b - 26 = -4*l, 10 = 5*b. Solve -l*r = -r for r.
0
Suppose 0 = 2*x - 2*t + 20, 4*t + 5 = 21. Let r(b) = b**2 + 8*b + 9. Let m be r(x). Let o = m + 8. Solve 3*n + 10 + o = 0 for n.
-5
Suppose -5*p + 0*o - 11 = o, -4*o - 12 = 4*p. Let y be (8/6)/(p/(-3)). Suppose -2*d = -y - 4. Solve 2*s = -s + d for s.
1
Let u = 1 + 5. Suppose 4*p - u*p + 12 = 0. Let g(h) = h**3 - 11*h**2 - h + 15. Let y be g(11). Solve y*i = 10 + p for i.
4
Suppose -17 = -5*v + z + 3*z, -5*v - z + 27 = 0. Solve -2*a - v = -7 for a.
1
Let b be ((-5)/(-1))/5*(1 + 0). Solve 5*a = 21 - b for a.
4
Let d(c) = c + 10. Let l be d(-8). Let f = 41 + -37. Solve l*b = f - 0 for b.
2
Suppose -15 = j - 2*j - 5*g, 3*g = -5*j + 31. Solve 0 = -j*w + 4*w - 2 for w.
-2
Let j = -24 - -43. Suppose -1 - j = -2*l + 5*n, 4*n + 16 = -3*l. Let f(s) = -11*s - 2. Let u be f(-2). Solve 4*t + l*t + u = 0 for t.
-5
Let r(p) = -p**3 - 3*p**2 - 2*p - 2. Let a be (-11)/2 - (-3)/6. Let c(x) = x**3 + 5*x**2 + 2*x + 7. Let g be c(a). Let h be r(g). Solve -12 = j - h*j for j.
4
Let u be (-2)/4 + 354/(-12). Let z = u - -42. Solve -7*v + 3*v - z = 0 for v.
-3
Let a = -4 + 4. Solve 3 = -x - a*x for x.
-3
Let p be 2 - (-3 + 1)/2. Suppose -x + 3*f = 14, x + p*f + 71 = -3*x. Let u = 32 + x. Solve 0 = -t - 2*t - u for t.
-5
Suppose 4 = -4*i + 12. Suppose 0 = 7*n - 3*n + i*g - 14, 3*g = 15. Solve -2*l = -l - n for l.
1
Let j = 12 + -11. Solve 4 = 5*z - j for z.
1
Let j(b) = b**2 + 2*b. Let n be j(-2). Solve -c + 1 = -n*c for c.
1
Let n = -21 - -25. Solve v + n = 2 for v.
-2
Let h(x) = x + 3. Let t be h(3). Solve d - t = -d for d.
3
Suppose 3*b + 0*b = 4*f + 12, 12 = 3*b. Solve f = g + 2*g for g.
0
Let i be (1 - -5)*((-9)/(-6) - 1). Suppose p = 3*p. Let d be 0/((-3 - -1) + p). Solve d = y - 6 + i for y.
3
Let w(p) = 3*p**2 + 4*p + 13. Let t be w(-2). Solve 5*q = 8 + t for q.
5
Suppose -9*y = -5*y - 8. Solve v = -y*v for v.
0
Suppose 11*l - 4*l = 7. Solve l = -5*b - 4 for b.
-1
Let g(w) = -w**2 + 3*w. Let a be g(3). Suppose 4*x - 16 = -a*x. Solve 0 = 2*m - x*m + 8 for m.
4
Let c(o) = o**2 - 8*o + 17. Let y be c(6). Solve y = -2*f + 9 for f.
2
Let r = -49 - -55. Let v(d) = d**2 - 9*d + 5. Let s be v(9). Suppose -6*t + t = 0. Solve -s*g - 1 + r = t for g.
1
Suppose 5 = 2*k - 1. Suppose -k*g + 56 = g. Solve 6 - g = 2*j for j.
-4
Let k(m) = -m**3 - 8*m**2 - 7*m + 4. Let l be k(-7). Let h be 36/21 - l/(-14). Suppose 4 + 4 = -2*d, f - h*d = 15. Solve -f - 13 = -4*r for r.
5
Let c be ((-2)/(-6))/((-1)/(-6)). Solve 2*h - 12 = -c for h.
5
Let m = -10 + 0. Let v be (1 + 0)/((-5)/m). Solve -1 = t - v for t.
1
Suppose -4*a = h - 2 - 0, 4 = 4*a + 2*h. Solve -2*o = -a*o for o.
0
Let q(k) = -2*k**2 - 25*k - 13. Let t be q(-11). Solve -6*l = -l + t for l.
-4
Let a(t) = t**2 - 2 - 2*t**2 + 6. Let j be a(2). Solve j = 4*f - 4 for f.
1
Let r = 25 - 14. Let m = r + -41. Let c be m/20*(-4)/3. Solve 9 = i + c*i for i.
3
Let x be (2/(-3))/((-5)/90). Suppose 5*t = 3*s - 2*s - 4, 2*t = -3*s + x. Solve u = -u + s for u.
2
Suppose -m + 5 = 0, 3*p = m - 0*m + 34. Let o = p + -8. Solve -o*z + 10 = -0*z for z.
2
Let l = -17 + 34. Let f = 25 - l. Let b be (2/f)/((-1)/(-4)). Solve 2*n - b = n for n.
1
Suppose 3*l = 4*l. Suppose l = -2*f - 2. Let c(k) = k**3 + 2*k**2 + 2*k + 1. Let m be c(f). Solve i = -m*i for i.
0
Let a be (-2)/((-2)/(-85)*5). Let n = a - -17. Solve 6*i - i = n for i.
0
Let u be 0/(2*(-4 + 3)). Solve -2*w - 5 - 1 = u for w.
-3
Let n(l) = 3*l + 4. Let c be n(4). Let a = c + -6. Solve 6*t - a = t for t.
2
Let l(j) = -j**2 - 8*j - 5. Suppose 0 = 2*q + 5*c + 14, -4*q + 4*c = -c + 28. Let v be l(q). Solve v*n - n = -4 for n.
-4
Let m = 19 - 11. Let b = m + 1. Let p = 2 + 8. Solve b*s = 4*s + p for s.
2
Let g be (-15)/(-4) - (-4)/16. Let w = g - 3. Solve 0 = -4*y + w - 9 for y.
-2
Let b(z) be the second derivative of z**4/12 - 2*z**3/3 - z**2 - 2*z. Let n be b(-9). Suppose -2*v = 3*v - n. Solve 5*x + v = 3 for x.
-4
Let j = 32 + -16. Suppose r - 4*c = 17, 0 = 2*r + 3*r + 3*c - j. Solve r*k + 0 = 15 for k.
3
Suppose 0*z - 4*z - 8 = 0. Let v be ((-6)/z - 4)*-5. Let s be -6*(9/6 + -2). Solve s*h = v*h + 6 for h.
-3
Suppose 2*c - 32 = 3*w, 3*c - 4*c + 27 = 4*w. Suppose -r = 7*u - 2*u + c, 0 = 4*u - r + 8. Let l = u - -4. Solve -l - 7 = -4*v for v.
2
Suppose -4*k + 15 = k. Suppose -3*c - 20 = -d - 0*c, -3*c = 3*d - 12. Solve k*p + d = -p for p.
-2
Let q(u) = u**2 - 4. Let m be 1/(-1 - (-12)/9). Let x be q(m). Let d = 0 + 0. Solve d = 5*p - 10*p - x for p.
-1
Let r = -23 - -26. Solve -r = -5*i - 13 for i.
-2
Suppose -f - 125 = 4*f. Let r be f/4 - 1/(-4). Let k be (-10)/3*r/5. Solve 2 + 14 = k*j for j.
4
Let x(u) = -u**3 - 6*u**2 + 6*u - 6. Let y be x(-7). Suppose 0 = m - y. Solve 0 = j - 1 - m for j.
2
Let q be 15/10*4/3. Let s = 1 + q. Solve s*m + 4 = m for m.
-2
Suppose -t - 2 = -10. Let r = t + -6. Solve -u - 2 = r for u.
-4
Suppose -3*g - g + 2*w + 62 = 0, -3*w = -g + 23. Suppose -1 = -3*m + g. Solve 4*f + 3 = -m for f.
-2
Let r(l) = 3*l**2 - 2*l - 1. Let s be r(-1). Let a = s + -3. Let b be (-1 - a)*15/(-6). Solve -b*j + 2 - 22 = 0 for j.
-4
Suppose -5*y + 2*q + 15 = 5, -2*q + 14 = y. Let j be (-4)/3 + (-4)/6. Let c = y + j. Solve -c*i + 3 = i for i.
1
Let t be (-36)/(-21) - 2/(-7). Suppose 2*u - 4*i = 0, 3*u - 8*u - t*i + 36 = 0. Suppose -f + u*f - 28 = -2*o, o = -f + 8. Solve 2*g - o = g for g.
4
Suppose 2*m - 3*f - 1 = 0, 8 = 3*m - 2*f - 6. Let d(a) = a**2 + 3*a + 1. Let v be d(-4). Solve 0 = v*r - 2 - m for r.
2
Let m = -16 + 20. Solve 0 = m*z - 8 + 28 for z.
-5
Suppose 5*s - 24 = s. Suppose -4*g + 15 = i, 2*g + 3*i - 3 = -2*i. Solve -g*x + s = -2 for x.
2
Let o(x) = 2*x**2. Let c be o(-1). Let z be 84/6*(-12)/(-14). Let d be z/42 + 2/(-7). Solve -a - a + c = d for a.
1
Suppose 4*d + 6 = 6*d. Solve 0 = g - d*g + 10 for g.
5
Let h(v) = -v**3 - 21*v**2 - 21*v - 6. Let j be h(-20). Solve -j + 2 = 3*y for y.
-4
Suppose 0 = -11*g + 8*g. Solve g*j - j = -1 for j.