5*n, -n + 0*n + 3 = d. Suppose 2*h - 4*y - 8 = 0, h - 4*y + 0 = 4. Suppose d*i = -0*i + h. Solve 2*v + 6 = -i for v.
-4
Let k(a) = 9*a**2 - 5*a + 6. Let y be k(5). Let w be y/14 - 4/(-14). Suppose 5*n - 8 = i, -n = 5*i + 3 - w. Solve 3*d = -n - 7 for d.
-3
Suppose 0 = -3*a - 3*a + 12. Solve a*f - f = 4 for f.
4
Suppose -10 = -2*u - 0*u. Let v(i) = i**2 - 6*i + 7. Let h be v(u). Solve 0 = q - h*q - 4 for q.
-4
Suppose 7*b - 8*b = 0. Solve b = -5*a + 5 + 5 for a.
2
Suppose -4*q = -3*r - 28, 44 = 5*q - q + r. Let w be (16/6 + -2)*9. Suppose 4*t + 9 = 5*s - 3, -2*t = 5*s - 24. Solve q + w = s*i for i.
4
Suppose -2*c + 16 = 2*c. Suppose 2*f - c*f = -10. Let v be -1 + (-2 - -1) + 4. Solve -f*z + v*z = -3 for z.
1
Let g be ((-15)/(-4))/(2/8). Let a = -9 + g. Solve v = a*v for v.
0
Suppose 3*o - 3*j = 15, -o - 3*j - 5 = -2*j. Suppose o = 2*n - 5*n - 15. Let c = 0 - n. Solve 0 = c*t - 3*t for t.
0
Let v = 60 - 60. Solve v*i + 5*i = -5 for i.
-1
Suppose -3*g = -g + 92. Let m = g - -10. Let y be ((-1)/3)/(4/m). Solve y*b + 16 = -b for b.
-4
Let r be 4 - (-69)/(-15) - (-12)/20. Let v(n) be the second derivative of n**4/12 - n**3 + 2*n**2 + n. Let c be v(6). Solve -c*w = -r - 4 for w.
1
Let z(q) be the second derivative of q**3/6 - 3*q**2 + 2*q. Let l be z(6). Suppose -3*j + 15 + 15 = l. Solve j = -5*g - 0 for g.
-2
Let z = -51 - -55. Solve -6*b = -2*b + z for b.
-1
Let s(x) = 15*x - 6. Let t(z) = -14*z + 5. Let r(p) = -5*s(p) - 6*t(p). Let k be r(1). Let u = k + -7. Solve 0 = u*j - 0 + 2 for j.
-1
Let z(f) = -f**2 - 16*f + 17. Let q be z(-17). Solve -2*t + q*t = -2 for t.
1
Let k be (-7)/(-2) + (-6)/4. Solve -3 - 3 = k*w for w.
-3
Let h(m) = -m**3 + 4*m**2 - 2*m. Let c be h(3). Suppose -d + c - 9 = 0. Let f = -2 - d. Solve -f*i = -2*i - 4 for i.
2
Suppose 0 = 4*p - 9 - 23. Solve p = -3*f + 7*f for f.
2
Let o be ((-3)/2)/(21/(-28)). Let m(v) = v**3 - 2*v**2 + 2*v - 3. Let l be m(o). Suppose l = -z - c, -5*z - 4*c = -3*c + 1. Solve -7*x + 3*x - 4 = z for x.
-1
Suppose -2*c - 34 = -4*f + 2*f, 5*f - 28 = 2*c. Let g = c + 19. Solve 3*i = -6 - g for i.
-2
Let i be (5/2)/((-1)/(-2 + 0)). Solve -1 = -n - i for n.
-4
Suppose 23*t + 24 = 29*t. Solve -3*z = -t*z - 1 for z.
-1
Let j(h) = h**3 + 6*h**2 - h - 3. Let a be j(-6). Solve 12 = -0*c - a*c for c.
-4
Suppose -o = -4*o. Let p = -39 - -69. Suppose o = -0*n - 5*n - 5*q + p, -8 = -4*q. Solve 5 = n*f - 3 for f.
2
Let j(v) = -v**3 + 13*v**2 - 11*v - 2. Let w be 15/2*8/5. Let i be j(w). Solve 4*x - 2 = i for x.
3
Let u = 97 - 95. Solve 0 = -u*j - j + 3 for j.
1
Let w be (-1 + -5)*(-1)/2. Solve -w*q = q for q.
0
Let d = 167 - 162. Solve 15 = -d*a - 10 for a.
-5
Let s be (-6)/15 - (-664)/(-40). Let n = 25 + s. Solve 3*u = u - n for u.
-4
Let v be (-28)/6 - 2/6. Let g(q) = q**3 + 6*q**2 + 5*q + 4. Let y be g(v). Solve r = -y*r - 10 for r.
-2
Let m(f) be the first derivative of f**2/2 + f + 2. Let k be m(7). Solve 7*n = 3*n + k for n.
2
Suppose -20 = 4*n + 4. Let k be 16/n*(-9)/12. Let l = 1 - 1. Solve l = 4*t - 2 - k for t.
1
Let k = 32 - 11. Let r = 46 + -53. Let t be ((-4)/6)/(r/k). Solve 3*a - 4 = t for a.
2
Suppose -2*b = -5*v - 9, 2 - 5 = -2*b - v. Solve 5 = 3*r + b*r for r.
1
Suppose 3 = -6*s + 39. Solve d - 1 = -s for d.
-5
Let i be 2/(-3) + 22/6. Let n = 5 - i. Suppose -3*t = -n*t. Solve 0 = -t*j + 3*j for j.
0
Suppose 9 = 3*g - 0*g. Suppose 0 = 2*z + z. Solve 0 = -z*c - g*c for c.
0
Let d = 15 - 15. Solve -u = -d - 5 for u.
5
Suppose -w + 4 = -5*k, -w = -4*k - 0*k - 5. Solve -5*q = w + 1 for q.
-2
Let m be 7/(-21) - 2/(-6). Solve 5*l - 2*l + 15 = m for l.
-5
Let f(w) = w - 3. Suppose h = 4*h + 3*t + 6, 2*h + t - 1 = 0. Let u(m) = m**2 - 4. Let q be u(h). Let g be f(q). Solve 2*c - g = 4*c for c.
-1
Let q(h) = 5*h**2 - h - 3*h**3 - 2*h + 4*h**3. Let s be q(-5). Let n = s + -11. Solve -n*g + 6 = -g for g.
2
Let p = 2 + 1. Suppose -21 = -5*q - s, -7 = -2*q + q - p*s. Solve q*l - 4 = 12 for l.
4
Let m(s) = -2 + s**2 - 5*s**3 + 4*s**3 + s - 3*s**2. Let i(o) = -6*o + 3. Let z be i(1). Let n be m(z). Solve 0*g - g - n = 0 for g.
-4
Suppose -21 = 4*w + 3. Let a = -3 - w. Suppose 5*g - 2*h = 6*g + 7, -5*g + 4*h + 35 = 0. Solve -2*y = a + g for y.
-3
Suppose 7 - 97 = -9*o. Suppose -3*k + 0*k + 2 = -n, k = -n + 6. Solve 0*d + k*d = -o for d.
-5
Suppose -11 = 3*m - d - 45, 4*m + 2*d = 42. Let j = -7 + m. Solve j*n = 5 - 13 for n.
-2
Let s(n) = -2*n**2 + 21*n - 26. Let u be s(9). Solve -w = 2 - u for w.
-1
Let x = -1 + 3. Let i(s) = -s**2 - 13*s - 8. Let h be i(-12). Suppose -h*d - 2*n = -6, -2*d = -d - 4*n - 6. Solve -d*a = -0 - x for a.
1
Let i(g) = -g + 14. Suppose -d - 2 = -0, -d = 5*q - 28. Let j be i(q). Solve 2*w = 6*w - j for w.
2
Let t = 22 - 14. Suppose 5*f - 40 = -0*a - 4*a, a = -f + t. Suppose 0*x = -4*x + f. Solve -x*w - 1 = 9 for w.
-5
Suppose 3*c = c - 3*p + 4, 4*c - 14 = -3*p. Suppose -n - 17 = 3*z, z - 4*z = 4*n + 41. Let d(o) = o + 8. Let w be d(n). Solve -c*a + 22 + 3 = w for a.
5
Let v = 23 + -18. Solve -2 = -6*c + v*c for c.
2
Let u(m) = 2*m**3 - 3*m**2 - 4*m + 5. Let s be u(3). Solve 0 = k - 5*k + s for k.
5
Let d be (0 - 0) + 1 + 3. Suppose 8 = -5*b + 53. Let t be b/(-45) + 2/10. Solve t*g + d = -g for g.
-4
Suppose -2*k = 3*k - 20. Solve k*v + 2 + 6 = 0 for v.
-2
Let l be 2/(-9) + (-92)/(-9). Suppose -s = 4*s - l. Suppose -s*j + 6 + 4 = 0. Solve -4*d = j - 13 for d.
2
Let j = 12 - 16. Let y = -4 - j. Solve 15 = -3*k - y*k for k.
-5
Suppose 0 = -6*m + 3*m + 12. Solve -16 + m = -3*z for z.
4
Let n = -24 - -26. Solve n*t - 4 = -12 for t.
-4
Let a be (3/3 - 1)/(-1). Suppose 4*q - q = a. Solve 0 = -q*u + u for u.
0
Let x be 6 - (-4)/((-1)/1). Solve -x*k = k + 9 for k.
-3
Let n be 18/4*(-8)/(-12). Let h be (-5)/(n/(-6)*2). Suppose -h*k + 3*w - 2*w + 6 = 0, 8 = 2*k + w. Solve -r = -k*r + 2 for r.
2
Let r be 3/6 - (-2)/(-4). Let v(h) = -h**2 - 5*h. Let u(l) = -l - 18. Let n be u(-13). Let d be v(n). Solve d*j - j = r for j.
0
Suppose 0*r + 3*r = 0. Suppose -2*w = 3*f - 4, -4*f + 52 = -5*w + 16. Solve 5*g + f + 1 = r for g.
-1
Let p(w) = 4*w - w - 4*w + 4. Let b be p(4). Suppose -29 = -y - 5*i, -3*y + 2*y = 4*i - 24. Solve -y*c + 3*c = b for c.
0
Let q = -3 + 2. Let a(d) = -6*d. Let n be a(q). Let o(m) = 5*m**3. Let t be o(1). Solve -19 - n = t*i for i.
-5
Let h = 20 + -11. Solve 3*n + 3 = -h for n.
-4
Let q(a) = 6*a. Let x be q(5). Suppose -4*y = y - x. Suppose -5*v + 9 = 4*f, -f = 4*v + 5 - 21. Solve v*g + y + 19 = 0 for g.
-5
Suppose 4*g = 22 + 2. Let x = g - 3. Solve -x = -c - 0*c for c.
3
Let c be (5/10)/((-1)/(-88)). Suppose -3*p + 0*f + 4*f = -c, -3*p + 29 = -f. Let r(w) = w. Let s be r(p). Solve -5*o + s = -7 for o.
3
Suppose -3*r - r = -8. Suppose -3*u - 12 = 5*k, -5*u + r*k + 9 + 2 = 0. Suppose 0 = 2*y - 5*y - 5*q + u, 5 = y - 3*q. Solve w = y*w for w.
0
Let p(d) = 3*d**2 + 8*d + 2 + 44*d**3 - 5*d - 43*d**3. Let l be p(-2). Solve 0 = u - l - 5 for u.
5
Suppose 4*j = 4*k - 40, 4*k - 8 - 2 = -2*j. Let n be (-2)/(1/2 - 1). Solve n*z - k = -25 for z.
-5
Let q be (3/9)/((-7)/(-126)). Solve -3*u + 0*u = q for u.
-2
Suppose 0 = -2*i - 3*a + 33, 3*i + 3*a + 3 = 4*i. Let j = -3 + 8. Solve 8*x = j*x - i for x.
-4
Suppose -r - 2*r - 29 = -4*u, -3*u = -r - 8. Let o = r + 18. Solve 0 = -o*l + 4*l - 15 for l.
-5
Suppose 3*o - o - 12 = 0. Solve 2*b = -o + 2 for b.
-2
Let u(i) = -i**3 - 5*i**2 + i + 7. Let a be u(-5). Let z be -6*(-1 + a/3). Solve 0 = -6*h + z*h for h.
0
Let a = -12 + 22. Solve -a = p + 4*p for p.
-2
Let r = 3 + -3. Suppose -4*t - 16 = r, -2*z + 4*t = 3*z - 36. Solve j = -z*j for j.
0
Let b(w) = -w**3 + 2*w**2 + 4*w - 1. Let m be b(3). Let h = -3 - 4. Let g be (-1)/(-4) + h/(-4). Solve -g*p = m*p - 4 for p.
1
Suppose -4*a + 3*s + 1 = 0, 0*a - 3*a = -5*s + 13. Suppose 4*r = -a*o + 21 + 7, 2*r - 2*o = -2. Solve b - r = -5 for b.
-2
Let g be -4*(-2)/(-4) - -5. Solve -g + 6 = -t for t.
-3
Let a(i) = 2*i**2 - i + 5. Let s be a(3). Suppose -4*q + q = -39. Let f be 2/(-6) - q/(-3). Solve -f*r - s = r for r.
-4
Suppose 0 = -m + 4*m. Let l = 0 + m. Solve l = 2*g + 5 - 11 for g.
3
Let m = -55 - -56. Solve 5*v = m - 21 for v.
-4
Let y = -20 + 23. Solve 4*a - 1 = y for a.
1
Let k be (-63)/(-18) - (-3)/(-2). Let x be (-3)/(2 + -3)*k. Solve 0 = -4*d - x - 2 for d.
-2
Let l(q) = -q**3 - 5*q**2 + q + 3. Let a