ve 9 = -y*c + 3*c for c.
3
Let x(o) be the first derivative of -o**3/3 - 7*o**2/2 - o - 3. Let t be x(-6). Solve 2*h = t*h + 15 for h.
-5
Suppose -t - 4 = -3*t. Let z be t - ((-1 - -4) + -2). Solve 5 - z = -2*k for k.
-2
Let n(x) = -x**3 + 7*x**2 - 5*x + 12. Let l be n(6). Let f = l - 18. Solve 3*d + 3 + f = 0 for d.
-1
Suppose -4*s = -5*k - 0*k + 6, -3*s = -4*k + 5. Let v(c) = c + 3. Let a be v(-2). Suppose -3*d - 6 = w, 0 = 3*w - d - 1 - a. Solve -3*t + 14 - k = w for t.
4
Let u(y) = y**2 - 3*y - 2. Let p be u(5). Suppose -3*l + p = l. Suppose 0 = -w + l*w. Solve 2*i - i = w for i.
0
Let j be 72/54 - (-10)/6. Solve 4 - 1 = j*m for m.
1
Let m be (-3)/2*4/(-6). Let b(j) = -27*j - 7. Let x(n) = 41*n + 11. Let p(a) = -8*b(a) - 5*x(a). Let k be p(m). Solve 13 + k = 5*y for y.
5
Let j be 6 + (-60)/14 + 18/63. Solve 0*v = j*v - 8 for v.
4
Let l be -7 + 5 + (3 - -1). Suppose 3*c = -l*c. Let y be 1 + -3*(1 - 2). Solve c - y = -q for q.
4
Let w be (1/2)/((-4)/(-40)). Let m(z) = z**3 - 4*z**2 - 6*z + 5. Let k be m(w). Solve k = 5*g + 45 - 20 for g.
-5
Let v(h) = -h - 1. Suppose 3*f - 3*q + 9 = 0, f - 5 = -4*q + 7. Let x = -3 + f. Let m be v(x). Solve 0 = -m*z - 1 - 5 for z.
-3
Let k(p) = p**2 - 13*p + 12. Let g be k(12). Solve -2 + g = 2*c for c.
-1
Let q = 72 + -69. Solve 3*w + q = 15 for w.
4
Suppose -3*d = 2*r - 15, 2*d - 5 = d + 3*r. Solve -d = 4*g - 1 for g.
-1
Let u = 13 - 9. Solve 0 = -u*c + 16 for c.
4
Let p be (-8)/12*21/(-2). Solve -p = -x - 2 for x.
5
Let t be 4/(-10) - 51/(-15). Let c be (0/((-3)/t))/2. Solve -y + 4*y - 6 = c for y.
2
Let n be -1 - ((-95)/38)/((-2)/(-4)). Solve n + 12 = 4*k for k.
4
Let s be ((-8)/6)/((-4)/(-18)). Let t be (0 + 5)*(-6)/s. Let w = -1 - -1. Solve t*z = -w*z for z.
0
Suppose 0 = -w + 54 - 23. Suppose w = 5*n + 4*h - h, -4*n + 3*h = -41. Solve 4*y - 12 = n for y.
5
Let c be 3 - ((3 - 1) + -3). Suppose -5 = j, c*n - 2*j - 51 = -1. Suppose -f = -4*z + 18, 4*f + f = -n. Solve -z*v = v for v.
0
Let z(g) = -21*g**3 - g**2 - g - 1. Let x be z(-1). Solve 3*k + x = 5 for k.
-5
Let m = -3 + 6. Let i be (-5)/(-20) - m/(-4). Let w be (-1)/(i + 8/(-6)). Solve -1 = 2*t - w*t for t.
1
Let g be 15*(-2 + (-8)/(-5)). Let x be g*(-3 - (1 + -3)). Solve -6 - x = 4*n for n.
-3
Let x(y) = 1 + 4*y + 0*y + y - 6*y. Let r be x(-1). Suppose 0 = -3*p + 4*i + 3, 3 = 3*p + 5*i - 4*i. Solve -l - p = -r*l for l.
1
Let k(l) = -l**2 + 2*l - 2. Let t(z) = -3*z**2 + 6*z - 5. Let u(s) = -7*k(s) + 2*t(s). Let b be u(4). Solve 2*o = 6*o + b for o.
-3
Let r be 2*(-3 - (-3 - 1)). Solve x + x - r = 0 for x.
1
Let s = -7 - -8. Suppose -3*m + 4*m = 0. Solve i - s - 1 = m for i.
2
Let x = 11 + -14. Let d be 4/((-8)/x + -2). Solve 2*c = d*c for c.
0
Let g(d) be the second derivative of 1/20*d**5 + 0 + 2*d + d**3 - 7/12*d**4 + 5/2*d**2. Let r be g(6). Solve 3*h = r*h for h.
0
Suppose -5*w + 14 + 16 = 0. Let o be -1*(0 - w) - 1. Suppose -1 = c, -5*n + 15 = o*c - 10. Solve 16 = -5*s + n for s.
-2
Suppose i = -2*i + 63. Suppose -14 - i = -5*n. Solve -3*p - n = -1 for p.
-2
Let i(b) = 4*b**2 + b. Let n be i(-1). Let q = -2 + 3. Let v be (-5 - 5)*q/(-2). Solve -n*l + 10 = -v*l for l.
-5
Suppose -28 = -3*j - 4. Suppose 0 = f - 2 - j. Solve 0 = 4*c - 9*c - f for c.
-2
Let y(r) = -2*r - 3. Let c be y(-4). Suppose -50 = c*h + 140. Let m = 53 + h. Solve -3 = 4*o - m for o.
3
Let v = -23 - -33. Let y be (12/v)/((-3)/(-10)). Suppose 0 = -y*w + 3*w + 2. Solve -w*x = x for x.
0
Let w(f) = f**2 - 10*f + 27. Let z be w(5). Solve -z = -2*v - 0 for v.
1
Let x be (-78)/(-15) - 1/5. Suppose -x = -5*f + 5. Solve f*h = -0*h for h.
0
Let s = 9 - 6. Let v(h) = h. Let f be v(s). Solve -f*u + 6 = -u for u.
3
Suppose -2*q = -5*q. Suppose -m = -3 + 1. Solve q = -6*o + m*o - 16 for o.
-4
Let q = 27 - 4. Suppose q - 8 = 3*n. Suppose 0*w - 16 = -4*w. Solve -n*g - 6 = w for g.
-2
Suppose 12 = -3*f, -4*i + 4*f + 66 = 10. Solve -2 = 4*n + i for n.
-3
Let a = 28 + -15. Let o = a + -6. Solve -3 = 2*h + o for h.
-5
Let m = 5 + -3. Solve -2*l = m*l for l.
0
Let z(n) = -3*n**3 - 4*n**2 + n + 6. Let q be z(-2). Solve -u + q = 3*u for u.
3
Let i = -15 + 10. Let w = 10 + i. Solve 5 = -w*p + 25 for p.
4
Let s(o) = -o**3 - 5*o**2 - 4*o + 2. Suppose 27 = -4*x + 11. Let z be s(x). Let y = -4 - -7. Solve -y*i - z*i = 0 for i.
0
Let f = 4 + 18. Suppose 0 = 4*k - f + 2. Solve 9 + 1 = -k*y for y.
-2
Let u(f) be the third derivative of 0 - f**2 + 0*f + 1/60*f**5 + 1/6*f**4 + 1/2*f**3. Let z be u(-6). Solve 2*l + 3*l = -z for l.
-3
Suppose 4*m - c + 15 = 0, 0 = -c - 1. Let b = -13 + 6. Let f = m - b. Solve f + 5 = -2*q for q.
-4
Suppose 0 = d - 4*d + 3. Suppose 0 = 5*m - 4*z + 2*z - 11, 5*m + 3*z + 4 = 0. Let g = m - d. Solve -4*o + o = g for o.
0
Suppose 1 = 3*f + 5*x, 3*f - 14 + 63 = 5*x. Let g = 8 + f. Solve g = -o - 3 - 1 for o.
-4
Let z be (-4 + 36/8)*(2 + -2). Solve z = 4*n + 9 + 3 for n.
-3
Suppose -3*j - p = -1 - 8, -4*p - 15 = -5*j. Solve j = -0*k + k for k.
3
Suppose 5*b + 0*b = -15. Let r be b*1/6*-4. Solve -r - 1 = l for l.
-3
Let y be (-4)/(-3)*72/(-16). Let v be (-34)/y + (-8)/12. Solve -2 + v = -3*a for a.
-1
Let k(n) be the second derivative of n**4/3 - n**3/6 - n**2 + n. Suppose -11*z = -7*z + 8. Let w be k(z). Solve 0*t - w = -4*t for t.
4
Let g be (-6)/3 - 1 - (-6 - -1). Solve -20 = 6*r - g*r for r.
-5
Let u(k) = k**2 - 8*k + 7. Let w be u(9). Suppose n - 5*n + w = 0. Solve -3*b - 5 = n for b.
-3
Suppose 0 = 4*u - 0*u + 4*q - 20, 2*u = 2*q + 30. Solve -s - u = s for s.
-5
Suppose -18*y = -23*y + 45. Solve -4*b + b = y for b.
-3
Let l be 5/(15/(-6)) + 6. Let t be -1 - (-2 - -1)*8. Suppose -8*z = -t*z. Solve 2*a + z = -l for a.
-2
Suppose -22 = 4*t + s, 4*t + s + 24 = -s. Let j = 8 + t. Solve -b = -j*b for b.
0
Suppose 0 = 4*j - 3*j - 5. Suppose 3*u + 27 = 5*l, -l - 3*l - 3*u + 27 = 0. Let o be (4/l)/((-2)/(-6)). Solve -o*f = 3*f - j for f.
1
Suppose -r = -2*r - 4*y + 22, -r = -y + 3. Let s = 12 + -14. Let u be (r - -1) + s/(-1). Solve u*g - 11 = 4 for g.
3
Let j(f) = f**2 - 6*f - 17. Let i be j(8). Let g(c) = c**2 + 6*c + 6. Let b be g(-4). Let z be (-1 - i)/(-1 - b). Solve -x + 4 + 0 = z for x.
4
Suppose -3*c + 4*c = 4. Suppose c*z + 3 = 15. Suppose o = -0*o + z. Solve -u + o - 4 = 0 for u.
-1
Let f = 8 - 6. Suppose 0*q = -5*q - 10, 0 = -f*d - 2*q + 20. Let n be (-2 + 0)*3/(-2). Solve o = -n*o - d for o.
-3
Let z = 0 - -9. Let d = z + -5. Solve 2*u - d*u = 4 for u.
-2
Suppose -8 - 8 = j - 5*d, 4*d - 36 = -5*j. Suppose 0 = -j*b + 3*h + 56, -3*b = -3*h - 35 - 10. Solve 5*i - b + 1 = 0 for i.
2
Suppose 3*z = 3*v - 12, -2 = -3*v + z + 14. Solve 2*r = v*r for r.
0
Let b(s) = -22*s - 6. Let u be b(-4). Let z = 117 - u. Suppose o + z = 6*o. Solve -v + 4 = o for v.
-3
Suppose -37 = -9*c - 10. Solve 0 = -4*o + c*o + 3 for o.
3
Let h = -56 + 60. Solve -4*n + h = -16 for n.
5
Suppose 0*y = 2*y - 24. Suppose -4*z + 6*z = y. Solve p = -p + z for p.
3
Let k = -4 + 8. Solve -p = -k*p for p.
0
Let y(z) = 3*z**2 + 5*z - 7. Let w(a) = a**2 - a - 1. Let g(o) = 2*w(o) - y(o). Let p be g(-7). Solve p*s + 2 + 3 = 0 for s.
-1
Suppose 5*a - 31 = -4*j, 4*j = 4*a - 2*a + 10. Suppose -3*k + 4*x = 6*x + 5, 2*x = 4*k - 12. Solve -2*t + k = -a for t.
2
Suppose -3*d - 18 = 5*v, d = -4*d + 20. Suppose 0 = 6*j - 2*j - 3*t - 20, -4*j + t + 28 = 0. Let b = j + v. Solve -r = b*r for r.
0
Let f = -50 + 50. Solve f*r = r + 5 for r.
-5
Let l = -7 - -20. Let c = -8 + l. Suppose 5*q - 10*q = -10. Solve c*r = 3 + q for r.
1
Let l(r) = r**3 - 17*r**2 + 18*r - 32. Let f be l(16). Solve t = -f*t for t.
0
Suppose -n + 15 + 10 = 0. Solve n = 2*d + 3*d for d.
5
Let w(r) = -r**3 + 6*r**2 - 4*r - 4. Let y be w(4). Let u be 4/(-12) + 16/12. Suppose 0 = -3*l, 4*l = -f - u + 3. Solve m - y = -f*m for m.
4
Suppose -2*t = 2 - 0. Let j = t - -10. Solve 6 + j = 5*f for f.
3
Let g(k) = k + 1. Let n be g(1). Suppose n*x - 29 = -s, -3*s + 4*s = x - 19. Let t = x + -1. Solve -3 + t = -4*c for c.
-3
Let d(v) = v**3 - 4*v**2 + 2*v + 3. Let y(i) = -i + 13. Suppose -6*b + 26 = 3*u - 2*b, -4*u - 4*b = -36. Let t be y(u). Let x be d(t). Solve 2*a = -x*a for a.
0
Let c be -4*((-6)/(-4))/(-3). Solve -c*u + 25 = -7*u for u.
-5
Let c = -2 - -5. Suppose 0 = -3*d - 4*w + 27 - 4, -w - c = -d. Let t = 6 + -6. Solve 0*z + z + d = t for z.
-5
Suppose 3*s = 5*