3/4. Let s = k + -5. Solve 2*n - 1 = -s for n.
-1
Let b(g) = 3*g**3 + g**2 - 2*g + 1. Let t be b(1). Suppose 0 = -s + t*v - 9, 3*s + 4*v - 33 = v. Solve -s*f = -f - 10 for f.
2
Let f be ((-8)/(-6))/(3/9). Let t = 9 - 9. Suppose -f*a - a + 20 = t. Solve 0 = y + a*y + 15 for y.
-3
Suppose 2*g = 4*v - 66, -67 = -3*v - 0*v + 5*g. Let r = -3 - 6. Let z = r + v. Solve 0*u - z = u for u.
-5
Let m(s) = -s**2 + 8*s + 2. Let q be m(8). Suppose -3*r - 7 = w, -q*r = -4*w + 2*r + 36. Solve 0 = 5*z - w for z.
1
Let a = -4 - -7. Let s(u) = -u + 5. Let b be s(5). Suppose 2*p + b*p - 14 = 0. Solve -p = a*v + 5 for v.
-4
Let j = -25 - -41. Suppose -5*a = -j + 1. Solve 7*o - 16 = a*o for o.
4
Let j be ((-30)/4)/(8/(-16)). Solve h + 4*h = j for h.
3
Let j(l) = -l**3 + 4*l**2 + l + 2. Let w be j(4). Let y be (4/2)/(w/9). Suppose -4*h = -y*h - 9. Solve -3*q - h = -0*q for q.
-3
Let c be ((-2)/4 - 21/(-12))*4. Solve -5*b - 10 = c for b.
-3
Suppose 0*g - 1 = -g. Suppose j - 1 = 2. Solve j*d - g = -7 for d.
-2
Let o(k) = k**2 - 6*k - 10. Let s be o(8). Solve 2*i + 0*i + s = 0 for i.
-3
Suppose -2*d - 2*r = -8 - 8, 3*d - 20 = -2*r. Let i(o) = o**2 - 2*o - 2. Let p be i(d). Suppose 3*y - 7 = 2*b - b, 2*y = 4*b + 8. Solve -y = q - p for q.
4
Let q be (-34)/4*(6 + -8). Let j = 19 - q. Solve -1 + 3 = -j*a for a.
-1
Let z = 15 + -10. Suppose -8 = -4*p + 2*p - 4*v, 4*p - 13 = -z*v. Suppose 0 - 10 = -p*u - 2*f, -5*f + 5 = u. Solve -2*y + 7*y = u for y.
1
Let r be ((-10)/(-6))/(7/21). Suppose 2*s + 0 = r*q - 46, 5*s = 4*q - 30. Solve 0 = 3*b - b + q for b.
-5
Let d = -7 + -8. Let w be d*8/(-6)*1. Solve -4*o = o - w for o.
4
Suppose 0 = -2*j - 1 + 1. Let o(k) = k**2 + 5*k - 4. Let c be o(-6). Solve j = c*b + 3*b for b.
0
Suppose -3*x + 4*v - 3 = -1, 3*v - 2 = 2*x. Let u = 4 - x. Suppose -u*d - 2 = 0, 16 + 4 = 2*a - 4*d. Solve -3*t - 4 - a = 0 for t.
-4
Let q(x) = -x + 2. Let f be q(1). Suppose -f = -2*o + 19. Let z = o - 6. Solve 2*j - z = j for j.
4
Suppose 2 = -3*f - q - 3*q, -2*f + 2*q = -22. Suppose f*c = 8*c. Solve 3*r = -c*r - 6 for r.
-2
Let w = 4 + -3. Suppose 0 = 2*o + l - 3 - 1, 8 = 4*l. Let b = o + w. Solve p = -0 - b for p.
-2
Suppose -6*c - 6 = -36. Solve 2*u = -3 - c for u.
-4
Suppose -4*b + 4*y + 0*y = 0, 5*b + y = 24. Suppose p + 2*p - 2*w - 10 = 0, b*p - 44 = -5*w. Solve -p*c = -3*c + 6 for c.
-2
Let o(k) = -3*k - 7. Let y be o(-9). Let b = -10 + y. Solve 4 = -2*m + b for m.
3
Suppose s - 10 = -s. Suppose 4*q + 2 = s*q. Solve 4*v = q*v + 6 for v.
3
Let v = 17 - 13. Solve -3*g + v*g - 1 = 0 for g.
1
Let g = -1 + 5. Suppose 3*q - 14 = -5. Suppose 2 = h - q. Solve h = -g*o - 7 for o.
-3
Let a(x) = x**3 + 6*x**2 - 8*x + 8. Let w be 4/(-6) - 19/3. Let f be a(w). Let p be (-2 - (-36)/f)*5. Solve p*i = 3*i - 5 for i.
5
Let w be 1/2*(5 + -1). Suppose -w*v - 3 + 9 = 0. Solve 2 = -v*a - 13 for a.
-5
Let c be (48/(-20))/(3/(-15)). Let b(t) be the second derivative of t**3/6 + 7*t**2/2 + t. Let k be b(-7). Solve 0*z - 3*z - c = k for z.
-4
Let z = 10 + -6. Solve -z*j - 16 = -0*j for j.
-4
Suppose -4*w - 79 = -3*z, w - 105 = -4*z + 13. Suppose 2*t = z - 5. Suppose -5*y = 3*j - j - t, -2*j + 5*y = 8. Solve 5*l + 6 = j for l.
-1
Let a(h) = -4*h - 12. Let b be a(-3). Solve -3*j + 2 + 4 = b for j.
2
Suppose 0*g - 3*g + 24 = 0. Solve 0 = j + 3 - g for j.
5
Suppose 3*k - 14*k + 55 = 0. Solve s - 4 = -k for s.
-1
Let j = -18 - -20. Suppose 3*i + 2*r - 22 = 0, -6*r = -j*i - 7*r + 14. Let p = 6 - 4. Solve p*k = -0*k + i for k.
3
Let s(o) = 2*o**2 + 3*o + 1. Let w(r) = -r**2 + 5*r - 6. Let q be w(4). Let a be s(q). Solve a*t = 3 + 3 for t.
2
Suppose 2*g + 2*g - 14 = -3*l, -2*g = l - 6. Suppose 3*x + l*x - 10 = 0. Let z(v) = 2*v**2 - 2*v + 1. Let f be z(2). Solve x*w - w = f for w.
5
Let u = 146 - 143. Solve -u*j = -7*j - 20 for j.
-5
Suppose 0*r - r = -3. Suppose -m + r = 2*m. Solve s + 4 = -m for s.
-5
Suppose 0 = 3*z + z - 48. Suppose -j + 6*j - 15 = 0. Solve w = -j*w + z for w.
3
Let h(k) = -3*k - 3. Let s be h(-2). Solve s*r + 4 = -r for r.
-1
Let b = 29 - 19. Let v = -3 + b. Let c = v + -2. Solve c*i = 6 - 26 for i.
-4
Let f = -1 + -1. Let a be 1/f*-10 - 0. Solve -8 = g - a*g for g.
2
Suppose i - 6*i = 0. Solve i*x + 2*x = 2 for x.
1
Let j(k) = -k**3 - k**2 + k + 8. Suppose 3*v = -0*v. Let z be j(v). Suppose -4*a = z, -5*a = 3*o + 6 - 2. Solve 0*y + o = -y for y.
-2
Suppose -3*d + 48 = 18. Let h(r) = r**3 + 9*r**2 - r - 8. Let z be h(-9). Solve 0 = 3*w - d + z for w.
3
Let d(a) = -a**3 - 6*a**2 - 2*a + 4. Let l be d(-3). Let b be l/(-3) - (-3)/9. Let x = -3 + b. Solve 4*h - 3*h - x = 0 for h.
3
Let p be 1/(((-2)/3)/(-2)). Let u(s) = s**2 - 2*s - 1. Suppose 2 = -3*a - 1. Let z be u(a). Solve p*o + 1 = z*o for o.
-1
Suppose 0 = -2*l - 6, -h - 4*l = 14 - 6. Solve r + h*r = -5 for r.
-1
Let k(c) be the third derivative of -c**5/60 + c**4/3 - 7*c**3/6 - 6*c**2. Let n be k(7). Let g(y) = y + 5. Let t be g(4). Solve n = -5*o - 4 + t for o.
1
Let o = 26 - 17. Suppose -5*z - 2*p - o = 0, 2*z + 10 = -5*p + p. Let u(m) = -3*m**3 - 1. Let n be u(z). Solve -2*l - n*l + 16 = 0 for l.
4
Let x(w) = -2*w**2 - w - 1. Let m be x(-1). Let z = -2 - m. Suppose z = 3*c - 0*j + 2*j - 1, -5*j = 3*c + 11. Solve 3*f + 6 = c for f.
-1
Suppose 3*x + 4*x = 77. Solve -5*m + 4 + x = 0 for m.
3
Suppose -3*o - 16 = -m + 2*o, -4*o = 5*m - 22. Let p be 3/12 + (-7)/(-4). Let y = -2 - -2. Solve m*f - p*f = y for f.
0
Let h(a) = a - 1. Let w be h(3). Solve -w*b - 2 = 2 for b.
-2
Let b(t) = 2*t**2 + 7*t - 9. Let k be b(-5). Solve 4*d = -k - 6 for d.
-3
Let c(t) = -t**3 + 13*t**2 - 13*t + 9. Let p be c(12). Let j(y) = -y**3 - 3*y**2 - 4*y. Let b be j(p). Solve -2*z + 5*z + b = 0 for z.
-4
Suppose 25 = 8*v - 7. Solve v*k = -k + 15 for k.
3
Let c(r) = r - 1. Suppose 0 = -h + 4, -4*m + 0*h = 2*h - 12. Let s be c(m). Solve s = -3*t - 2*t for t.
0
Let o = -17 + 21. Solve 2*w = o*w - 4 for w.
2
Let t be 5/(-10)*(-1 + 1). Let j be (-4)/(-3) + 1/(-3). Let d be (j - 2)/((-2)/4). Solve t = u - d*u + 4 for u.
4
Suppose o - 6 = -0*o. Solve -4*z + o*z = -6 for z.
-3
Let z be 0 + 1 + -10 + 3. Let q(j) = -j**2 - 7*j - 4. Let v be q(z). Solve -a - a = v for a.
-1
Let x(r) = 4*r**3 + r**2 + r - 1. Let g be x(1). Let n(h) = -h**3 + 11*h**2 + 12*h + 8. Let a be n(12). Let f = 12 - 5. Solve a + f = -g*c for c.
-3
Let c be (-10)/(-4)*40/25. Solve -r + 15 = -c*r for r.
-5
Let i = 4 + 0. Solve -13 + 1 = i*w for w.
-3
Suppose -3*c = -2*c. Let k(b) = -b**2 + 17*b - 68. Let d be k(10). Solve d*a - 6*a = c for a.
0
Let t be (9/4)/((-6)/(-32)). Let l = 19 - t. Solve 0 = -5*q + l + 8 for q.
3
Let w(j) = j**3 + 5*j**2 + 2*j + 5. Let y(g) = g**2 + 1. Let d(f) = -w(f) + 3*y(f). Let v = 1 + -3. Let t be d(v). Solve 0 = t*o + 3*o + 20 for o.
-4
Suppose 0 = 5*u, -2*u = -5*y + 16 + 9. Let g = 20 + -22. Let s = g + y. Solve l - 1 = -s for l.
-2
Let l(a) = -a**2 - 27. Let z be l(0). Let k be (-252)/z*18/7. Solve k = 4*p + 4 for p.
5
Let g(z) be the second derivative of z**5/20 + z**4/6 + z**3/6 + z**2 + 2*z. Let n be g(-2). Suppose -3*q - 5 = 4*l, 3*q - 5 = l - n. Solve q = x - 1 for x.
2
Let n(h) = -h**3 + h**2 + 2*h. Let l be n(2). Solve 1 = b - l for b.
1
Suppose -2*o + 21 = -3*p - 5*o, -p - 2*o = 6. Let f = 10 + p. Solve -f*r + 1 = -5 for r.
3
Suppose 0*m = 4*m - 3*p - 16, 3*p + 8 = 2*m. Solve 0 = -0*b + m*b - 20 for b.
5
Let u = 45 + -23. Solve 3*y + u = 7 for y.
-5
Let l be (-4)/20 - (-6)/5. Solve p - l - 4 = 0 for p.
5
Suppose -3*b - 3 + 6 = 0. Let k = -1 + 3. Solve -k = -o - b for o.
1
Let s(p) = p**2 - 4*p - 4. Let k be s(6). Let l be ((-4)/k)/(3/(-30)). Solve -l*h + 0*h = 5 for h.
-1
Let k = 7 - 3. Let s = 67 - 57. Let y be (s/6)/(k/12). Solve -7*i + 4 = -y*i for i.
2
Let m = -31 + 49. Suppose 0 = -2*d - 2*p + m, 7*d - 2*d = -3*p + 37. Suppose r = x + 4, -2*r - 2*r = d*x - 7. Solve 2*j - r = 3 for j.
3
Let i(a) be the first derivative of a**2/2 - 4*a - 2. Let z be i(6). Solve z*y + 4 = 3*y for y.
4
Suppose -4 = -3*c - 4*s, 0 - 2 = -5*c - 2*s. Solve 2*d + c*d - 4 = 0 for d.
2
Let w(q) = -5*q**3 - 2*q**2 - 8*q. Let y(i) = i**3 + i**2 + i. Let v(n) = -w(n) - 6*y(n). Let c be v(-5). Let m = -11 - -17. Solve -o = -m*o + c for o.
3
Suppose -4*u = 5*v - 16, -10 = 2*v + 5*u - 30. Solve v = -i + 5 - 2 for i.
3
Suppose 32*u + 6 = 35*u. Let r = -12 - -