et u be (-34)/(-8) + r/(-12). Solve 3*h - u*h + 4 = 0 for h.
4
Let a(v) = v**3 - 2*v**3 + 4*v**2 - 7 + 3*v + 4*v. Let x(f) = -f**3 - 13*f**2 + 13*f - 9. Let o be x(-14). Let p be a(o). Solve -p*m - 6 = -m for m.
-3
Suppose 0 = a - 3 + 2. Solve 0*f + a = -f for f.
-1
Suppose 0 = -c - 4*q - 3, -4 = -3*c + 4*q + 19. Solve -2*o = -c*o + 3 for o.
1
Let i(x) = -x**2 - 4*x - 1. Let q be i(-3). Solve q*y + 0*y = 0 for y.
0
Let w = -6 - -18. Solve 8*s = 5*s + w for s.
4
Let k = 121 + -117. Solve k*b + 2 - 6 = 0 for b.
1
Let c(w) = -w**3 - 7*w**2 + 8*w + 1. Suppose 3*a - 7*a - 5*r - 37 = 0, r = -1. Let g be c(a). Let s = g - 0. Solve -4*b - 9 = -s for b.
-2
Suppose -3*n - 4*p + 180 = 0, 5*n = -2*p - p + 300. Suppose -n = -4*h - 0*h. Suppose 2*f = -4*l + 16, -3*f = 5*l - 8 - h. Solve 2*r - 5*r + f = 0 for r.
2
Suppose 2*x = -2*d + 46, -2*d = -4*x - 0*x + 68. Suppose 4*j = -2*u + 4*u + 26, -3*u = -j + x. Solve 0 = j*p - 8*p + 8 for p.
2
Suppose -v - 4*p + 13 = 4, -6 = -4*v - p. Solve 0 = -2*s - v + 7 for s.
3
Let j(a) = -a - 2. Let u be j(-4). Solve -u*k = -3*k for k.
0
Suppose s = -3*n + 5, 2 = -5*s - 3. Solve 0 = n*f + 2*f for f.
0
Suppose 5*g - 6 = -3*j, 3*j = 4*g - 2*g + 6. Solve 4*k - 7 - 5 = g for k.
3
Suppose -2*n + 1 - 9 = 0. Let w be (-3)/(-1 - n) - -5. Solve m + 5 = -w*m for m.
-1
Suppose w + 26 = 3*w. Suppose z - 3*h - w = 0, -z + h = -h - 10. Solve 0 = -z*l + l + 12 for l.
4
Suppose 0*n = -4*n - 2*o + 6, -n - 3*o = 1. Suppose -5*d - n*h + 111 = 41, -4*d + h + 69 = 0. Suppose 44 + d = 5*m. Solve -i - m = 3*i for i.
-3
Suppose -4*b + 2*b - 4*n = -4, 3*b - 16 = 4*n. Suppose 0 = -5*d + 4*r - 7*r + 20, r = -3*d + 8. Let x = b - d. Solve -v - x = -0 for v.
-3
Let h be 2/7 + 338/91. Suppose 7 = h*t - 25. Solve -t*a = -3*a - 25 for a.
5
Suppose 0 = -3*b + 4*b. Suppose b*a + 2 = -a. Let w be (-22)/(-10) + a/10. Solve -w = o + o for o.
-1
Let b be ((-1)/(-2))/((-1)/18). Let l = b + 9. Solve l = -w - w - 6 for w.
-3
Suppose -3*a = 2 + 16. Let s be -3 - 0 - (a - 0). Solve s - 2 = u for u.
1
Suppose 3*c - 3*j - 12 = 0, -c - 5*j = -0 + 2. Let v = c - 1. Solve -i = -v - 2 for i.
4
Let x(k) = 7 - 7*k - 227*k**2 + 0 + k**3 + 220*k**2. Let r be x(8). Solve 0 = v - 4*v - r for v.
-5
Let j(v) = v**3 - 8*v**2 + 8*v - 8. Let m be j(7). Let i(l) = -l**2 - 2*l + 1. Let w be i(-2). Let d be (m + -1)*w - -4. Solve d*o = -o + 15 for o.
5
Let m = -18 - -20. Suppose -o - 5 = 0, 7*i - 5 = m*i + o. Solve i*b + 6 = -3*b for b.
-2
Let o be (2*-1)/(-4)*6. Suppose 0 = -o*z + 4*s + 20, -z + 5*s = -0*z - 14. Let i be ((-3)/2)/((-3)/z). Solve -u - i = u for u.
-1
Suppose -2*j + 94 = 94. Solve j = -3*h + 3 + 9 for h.
4
Let s be (0 + -3)*(-4 - -2). Let j(u) = -u + 4. Let o be j(s). Let y = 7 + o. Solve 4 = 3*k - y for k.
3
Let l be (-84)/(-22) - (-4)/22. Solve -l*o - 1 = -3*o for o.
-1
Let j be (2/(-4))/((-2)/8). Let y(g) be the second derivative of 2*g**3/3 - 6*g**2 - 6*g. Let w be y(6). Solve 5*s + w - j = 0 for s.
-2
Suppose 16*p - 21*p + 20 = 0. Solve p = 4*a - 0*a for a.
1
Let l = 12 + -9. Solve -l*p = p + 12 for p.
-3
Let s be 5/((-52)/(-16) - 3). Solve 0*k = -4*k - s for k.
-5
Let a be (-273)/14*2/(-3). Let m = -5 + a. Suppose 0 = -3*q - c + m, -3*c = -5*q + 20 - 2. Solve h - q*h - 6 = 0 for h.
-3
Let m be 1*(-2)/(-6)*(2 - 2). Solve t - 3*t - 8 = m for t.
-4
Let p(v) be the third derivative of v**5/60 - v**4/6 - 4*v**3/3 - 3*v**2. Let m be p(6). Solve 4 = -m*c + 16 for c.
3
Let c = 11 + -6. Let i(f) = -f**3 + 6*f**2 - 4*f - 1. Let k be i(c). Solve n = k*n - 3 for n.
1
Suppose -3 = i + m, -4*i - 2*m + 9 = -5*m. Let g be (i - -1*7) + -2. Suppose -3*u = a - g, 15 = -4*a - 1. Solve -4 = -4*r + u*r for r.
4
Let k be 6/(-12) + 14/4. Let r = k - 0. Suppose r*b - 8 - 19 = 0. Solve -b - 1 = 5*t for t.
-2
Let v(k) = -k**3 + 8*k**2 - 10*k - 10. Let t be v(6). Solve 4 = 6*u - t*u for u.
1
Let a be ((-112)/12)/(-4) - 4/(-6). Solve 0*h + a = -h for h.
-3
Let k(i) = -2*i**2 + 11*i + 7. Let h be k(6). Let g be 39/12 - h/4. Solve -2*a + 9 = g for a.
3
Let u be (-2 - 0)*(-2)/(-4). Let o(z) = -6*z - 1. Let s be o(u). Let p(b) = -b - 1. Let n be p(-1). Solve n*c = -c + s for c.
5
Suppose -7 + 1 = -2*s. Suppose 0 = -v - s*v + 64. Solve -5*y + y + v = 0 for y.
4
Let w(r) = 3*r**2 + 41*r - 14. Let m be w(-14). Solve 4 = 2*f - m*f for f.
2
Suppose 0 = -9*m + 8*m. Solve m = -t - 2*t for t.
0
Let l = 7 + -7. Suppose l*f = f - 10. Solve 5*u + f = -0 for u.
-2
Let k = -56 + 56. Solve k*a = 2*a for a.
0
Suppose -21 = -2*k - 1. Let m be (2/(-5))/(2/k). Let d be (-42)/(-8) - m/(-8). Solve -4*w - d = 3 for w.
-2
Let p = 5 + -1. Solve 0*r + p*r = 0 for r.
0
Suppose 5*y + 40 = -l + 11, -3*l = -4*y - 8. Let p be l/(-18) + 170/45. Suppose 0 = 5*n + s - 0*s - 30, p*n + 4*s = 24. Solve -26 + n = -4*f for f.
5
Let k = 34 + -29. Solve -3 = 4*d + k for d.
-2
Suppose -5*l + 31 = p + 3*p, p - 4 = 0. Suppose d - 4 = 1. Suppose 4 = -d*b + 19. Solve l*t + b = 18 for t.
5
Let j = -29 + 18. Let z(x) = x**3 + 12*x**2 + 12*x + 11. Let m be z(j). Solve -i = -m + 1 for i.
-1
Suppose -r - 2 + 4 = 0. Suppose -p - 5*d = 30, -4*p - 5 = -r*d + 27. Let q be (p/(-3))/((-4)/(-24)). Solve q = -s - 3*s for s.
-5
Suppose 5*v - 14 = 1. Suppose -4*n + v - 1 = 2*s, 3*n - 4*s = 29. Suppose 0 = n*g - g - 30. Solve 0 = 3*c + g - 6 for c.
-3
Suppose -21*r = -17*r - 12. Solve -2*a = r*a - 15 for a.
3
Suppose 3*c = 2*c. Suppose -r + 0*r + 2 = c. Solve 5*s + r = -8 for s.
-2
Let z be (4 - (-2 + 3)) + 41. Let d be z/4 + (-3 - -2). Solve -2*u + d = 2 for u.
4
Suppose 3*l = -u + 12, l - 6*l - u + 18 = 0. Suppose -2*j = -4, 23 = l*a + 8*j - 4*j. Suppose -5 = -4*z - 3*d + 23, -4*z = 2*d - 24. Solve k = -z*k + a for k.
1
Suppose 38 + 7 = 5*p. Solve -p = -3*k + 3 for k.
4
Let r be (-5)/((-15)/16)*6. Suppose -8 = -2*v + r. Solve v = -2*t - 2*t for t.
-5
Let h be (-5 + -1)*(-2)/4. Solve -h*g = 2 + 1 for g.
-1
Let d = -1 + 1. Suppose 5*g - 9*g + 12 = 0. Solve -r + d = -g for r.
3
Let g be 0 + 1 + 1 + 1. Suppose -g = -0*a - a. Solve 6*n = a*n + 9 for n.
3
Let y be 3/(-6)*-6 - 1. Suppose 2*j - y = -10. Let h = j - -10. Solve m = -2*m + h for m.
2
Let q = -1 - -1. Suppose -3*g - 37 = -5*o, q*o = 3*o - 15. Let x be (g/(-3))/((-4)/(-6)). Solve -3*b + 8 - x = 0 for b.
2
Let j be (-4)/6*(-90)/12. Suppose 6*h = 4*h - n + 42, -2*h - j*n = -50. Solve -7*z + h = -3*z for z.
5
Suppose -2*s - 35 = -5*y, 4*y + 5*s - 3*s = 10. Solve -y*l - 17 + 2 = 0 for l.
-3
Let y(p) = p**2 - 2*p - 3. Suppose 5*n - 17 = -2. Let i be y(n). Suppose 3*g - 2*r - 9 = 4, -22 = -4*g + 5*r. Solve i*x = -x + g for x.
3
Let h(z) = -2*z - 1. Let o be h(-1). Let u be (-3)/9 - (-14)/6. Suppose u*r = -2*k + 12, 4*k - r = r + 18. Solve -2*j + k = o for j.
2
Suppose 11 = 8*q + 3. Solve 3 + q = -2*w for w.
-2
Suppose 3*u + 3*s = 1 - 7, -4*u - 2*s = 0. Solve u*g = 8 - 2 for g.
3
Let k(u) = -3*u + 4. Let t(r) = 4*r - 6. Let q(f) = -7*k(f) - 5*t(f). Let z be q(0). Solve -z*d - 8 + 2 = 0 for d.
-3
Suppose 7*j - 6*j - 2 = 0. Solve j*o + 8 = 4 for o.
-2
Suppose -5*j = -21 - 24. Solve -2*c = -j + 1 for c.
4
Let p(k) = -2*k + 54. Let n be p(0). Let r(d) = -5*d**3 + 2. Let u be r(2). Let g = n + u. Solve 5*m + 1 = g for m.
3
Let x = -7 + 14. Let u = 18 - x. Let c be (-1)/(-2) - 10/(-4). Solve c*r = -2 + u for r.
3
Let r(d) = d + 2. Let c be r(-2). Let n = c + 4. Solve -n*z = -z + 3 for z.
-1
Let c be (-7)/(-6) + (-6)/36. Solve -3*g + c = -4*g for g.
-1
Suppose 5*d + 3*c = 26, 0*d + 3*d - 10 = c. Suppose 2*o = 3*s - 7, d*o - 5*s - 7 = -6*s. Solve -o = m - 3 for m.
2
Suppose -3*j = 4*o - 21, 5*j = -18 - 7. Let u be ((-44)/6)/((-2)/3). Solve 4*s - o = u for s.
5
Let n be ((-24)/(-16))/(6/8). Suppose -s = n*s. Suppose -4*d - 4 + 20 = s. Solve i = -d*i for i.
0
Suppose -8 = -4*u + 2*u. Suppose 0 = -u*h - 26 + 6. Let y be 4 - 1 - (4 + h). Solve 0 = -3*i - y - 2 for i.
-2
Let h be (-1 - -1)/(-6 + 4). Suppose 5*i + 4*f - 6 = 4, i - 2 = 3*f. Suppose h*y = i*y. Solve 7*k - 2*k = y for k.
0
Let p = -4 + 9. Let f(s) = 4*s**3 + s - 1. Let i be f(1). Solve 0 = -u - i + p for u.
1
Let o(q) = q**3 - 3*q**2 - q + 2. Let w be o(3). Let k = w - -3. Suppose -2*m + 10 - k = 0. Solve 0*z = z + m for z.
-4
Let w(a) = a + 13. Let y be w(-10). Solve 0 = 5*p + y + 2 for p.
-1
Suppose -4*i + m = -13, 2*i + m + 17 = 7*i. Solve -4*z - 