2*r = 4*l + 14, -25 + 62 = -2*l + 5*r. Let f(p) be the second derivative of -p**3/3 - 2*p**2 - 3*p. Let u be f(l). Solve t - 5*t + u = 0 for t.
2
Let s be 3/((-30)/(-4)) - 4/10. Solve 4*n = -s - 8 for n.
-2
Let v be 1 - ((-4)/1 - -2). Let h = v - 4. Let m be (-3)/(0 + (-2 - h)). Solve m*z - z = -6 for z.
-3
Suppose -2*q + 2 = -7*q - 4*r, -8 = 2*q + 4*r. Let v = q - 4. Let s be (0/(-2))/(-1) - v. Solve -s = 3*o + 7 for o.
-3
Suppose 18 = 5*b - 32. Let t be b/(-5)*(0 - 2). Solve 2*j - 6 - t = 0 for j.
5
Let u(i) be the third derivative of -i**4/24 + i**3/3 - 2*i**2. Let w be u(-4). Solve v - w = -v for v.
3
Let o(r) = r**3 - 10*r**2 + 12*r - 8. Let x be o(9). Solve 5*a - 6 - x = 0 for a.
5
Suppose 6 - 28 = -2*k - 2*t, -k + 3*t + 7 = 0. Solve h + 4*h = -k for h.
-2
Suppose -9*p = -32 + 14. Solve -h + p = h for h.
1
Let o be -1 + (-2)/3*-3. Let v be (o + 0)*(2 - -1). Let d = 27 - 17. Solve -v*x + d = -x for x.
5
Let k(n) = -n**2 + 7*n - 5. Let h be k(5). Suppose -8 = l - h*l. Solve i + 12 = -l*i for i.
-4
Suppose 3*f - 6 = 9. Solve -f*l = -2*l - 6 for l.
2
Let h = -21 - -42. Let w(b) = b**3 - 5*b**2 + 3*b + 4. Let t be w(4). Solve t = 3*c - 9 + h for c.
-4
Let j = 5 - 13. Let x = -5 - j. Let o be (-10)/25*-1*10. Solve g = -x*g + o for g.
1
Suppose z - 2 + 0 = 0. Solve -3*i + 11 - z = 0 for i.
3
Let k = -13 + 9. Let w be (2 + -1)/(k/(-8)). Suppose -m + 9 = w*m. Solve -6*c - 3 = -m*c for c.
-1
Suppose -2*i + i = 4*r + 12, 5*r = 5*i - 15. Suppose -3*a - 1 + 22 = i. Let g = 3 - 0. Solve 4*j - g = -a for j.
-1
Suppose 5*x - 3*x - 3*a = 11, 2*x - 5*a - 13 = 0. Solve 0 = -6*o - x + 34 for o.
5
Let i be 2 + (-1 - 7) - 3. Let t be 9/(-3) - 1*i. Solve 2*y - t*y = -20 for y.
5
Suppose 8 + 4 = 4*o, -4*x = -4*o - 12. Let z(u) = -u**2 + u + 3. Let y be z(0). Let q = -8 - -14. Solve 0 = y*v - q*v + x for v.
2
Let x = 45 + -25. Solve -s - 3*s + x = 0 for s.
5
Let q(l) = l + 3. Let c be q(-1). Solve -20 = 3*w + c*w for w.
-4
Let k = -8 - -11. Suppose 0 = k*b + 1 - 4. Let n = b + 2. Solve n*y = y - 6 for y.
-3
Let w be (-6)/(-21) - 305/(-35). Solve 4*s + w + 11 = 0 for s.
-5
Suppose 5*w + 0 = 5. Let i = w - 1. Solve -4*f + 2 + 14 = i for f.
4
Suppose 0*l + 2 = -2*l. Let z = l - -13. Solve 0 = g + 3*g - z for g.
3
Let h(p) = -p**3 + 10*p**2 - 15*p - 4. Let o be h(8). Solve 12 + 0 = o*v for v.
3
Let t(k) = k**3 + k**2. Let q be t(0). Let a(x) = x**3 - 3*x**2 + x + 2. Let h be a(2). Solve -5*u + q*u + 20 = h for u.
4
Let k = -8 + 5. Let q = 5 + k. Suppose 4*t - 6 - q = 0. Solve -t*p - p + 12 = 0 for p.
4
Let f(c) = 2*c**2 - c + 1. Let n be f(3). Solve 4 = 4*g - n for g.
5
Let s(f) = -f**3 + 4*f**2 + 2*f + 27. Let c be s(5). Solve 2*w + c = 5*w for w.
4
Let f(m) = m**2 - 5*m - 5. Let g be f(6). Let u be (g/1 - 1)/(-2). Let r = -11 + 13. Solve u = -2*y - 6 - r for y.
-4
Let u be 0/(4*(-4)/(-16)). Let b be (0 + 4)*(-5)/(-4). Solve 6*r - r + b = u for r.
-1
Let j = -3 - -8. Suppose 0 = -2*o + s + 18, 2*o - o - 18 = j*s. Solve 0*v = 2*v - o for v.
4
Let t = 1 + -1. Suppose -2*s + 5 + 5 = 0. Let l be (6/s)/((-6)/(-20)). Solve t = l*j - 2*j for j.
0
Let f(q) = q**3 - 6*q**2 + 3*q + 7. Let h be (3/3 - 1) + 6. Let p be f(h). Solve 3*o = -2*o + p for o.
5
Let y(m) = 3*m**2 - 2*m**2 + m**3 - 2*m**2 + 0*m**2 + 25. Let q(t) = -t - 6. Let p be q(-6). Let g be y(p). Solve b + 4*b + g = 0 for b.
-5
Suppose 12 = 4*o - 4. Solve 0 = g + o - 1 for g.
-3
Suppose 9 = 5*h - 6. Suppose -45 = -4*a + h*w, -5*a + 3*w + 0*w = -54. Let r(j) = -j**2 + 5*j - 3. Let g be r(2). Solve 6 = -g*d - a for d.
-5
Let m be -19 + 19 - 3*-2. Solve 0 = -m*a + 2*a + 8 for a.
2
Suppose -2*n = -g + 2*n - 8, 3*n - 17 = -2*g. Solve w - 1 = -g for w.
-3
Let b = -1 + 1. Suppose b*z = -z + 3. Suppose -2*r = -2*o + 8, o - 3*r - 8 = -o. Solve o = -4*a + z*a for a.
-4
Let z = -2 + 3. Let t(s) = -s**3 - s**2 + 2*s + 2. Let q be t(-2). Let b be z + 2*1/q. Solve -b + 0 = -n for n.
2
Let q be ((-1)/2)/((4 - 3)/(-8)). Suppose -2*i - 3*i = -25. Solve q*k - 7 = i for k.
3
Let x(y) = 5*y**2 - 10*y - 9. Let g(o) = -14*o**2 + 29*o + 26. Let s = 3 + 1. Let q(f) = s*g(f) + 11*x(f). Let a be q(6). Solve -a*c + 18 = 3 for c.
3
Suppose -5*p = j - 20, -3*j = 3*p - 0*j - 24. Suppose 4*c - 16 = 2*n, -5*n - p*c + 6 = -6. Suppose 0 = -2*x - 3*x. Solve x = 2*d - 10 - n for d.
5
Suppose -5*w = 1 + 19. Let q be (-2)/w + (-49)/(-2). Solve 4*z = -z - q for z.
-5
Let p be -1 - (1/1 + -4). Solve p*u = -0*u + 4 for u.
2
Let g be (8/(-2))/(-2) - 0. Solve g = -y - 1 for y.
-3
Let m = 15 + -12. Suppose 6 = -2*p + a - 5*a, m*a = 2*p - 15. Solve -3*k = -p - 6 for k.
3
Suppose 25 = -3*u + 5*v, 2*u - u = 5*v - 25. Solve -5*n - 2 - 8 = u for n.
-2
Suppose 3*y + 4*f = 5*f + 17, 0 = -5*y - 4*f. Suppose 3*h - 3 - 4 = 5*g, -y*g + 8 = h. Solve -h*x = -7*x for x.
0
Let w(z) = -z - 1. Let g be w(-4). Solve -10 = -g*o + 2 for o.
4
Let i(d) = 2*d**2 - d - 5. Let b be i(5). Suppose 3*j - b = -5*h, j = 5*h - 3*h - 5. Solve -j*m = -0*m for m.
0
Let o = 4 - -1. Suppose 0 = -5*i + 2*q + 30, -5*q + 36 = o*i - 29. Solve 3*p + i = p for p.
-4
Suppose -l - 3*l + 144 = 0. Let w be (2/3)/(8/l). Solve -k = -w + 2 for k.
1
Let b be -10*(0 + 2/5). Let z(v) be the third derivative of -v**4/24 - v**3/3 - 3*v**2. Let j be z(b). Solve 0 = j*t - 5*t for t.
0
Suppose -h + 4*k = 7, -3*h + 0*h = 3*k - 24. Solve 0 = 5*u + h - 25 for u.
4
Suppose p - h = -2, 0 = 5*p - h + 2*h - 14. Let l be (-6)/p + 16 + -3. Let z be ((-28)/35)/((-4)/l). Solve 3 = -i + z for i.
-1
Let a(k) = 2*k. Let y be a(3). Let n = -1 + 9. Suppose -3*b = -d + 4, -2*d - 4*b + n = -0. Solve -c + d*c = -y for c.
-2
Let u(f) = -5*f + 2. Let s be u(0). Solve 0 = -o - 1 - s for o.
-3
Let p be (-3)/(-2)*56/12. Suppose -12 = 4*i, -c + 2*i = 6*i + p. Suppose -2*g + 12 = -4*b, -g + 5*b + 8 = b. Solve c*r = g*r for r.
0
Suppose 6*c = 2*c + 12. Solve c*d + 7 = 1 for d.
-2
Let c = 27 - 23. Solve 8*u = c*u - 12 for u.
-3
Let s(w) be the first derivative of w**3 + 3*w**2/2 - 4*w + 1. Let n be s(-3). Solve -3*r - 1 - n = 0 for r.
-5
Let g = 7 + -6. Let f = -1 + g. Solve f = -k - 2*k - 6 for k.
-2
Suppose -5 = -3*k - 2. Let x be 0/(-3) + 1/(-1). Let i = k - x. Solve 2 + 0 = i*p for p.
1
Suppose 3*p + 0*h = 4*h - 4, 0 = -4*p + 4*h. Suppose -4*c - 1 = p*t + 3, -4*t = -2*c + 4. Solve c = -a - 2*a for a.
0
Let h be (-384)/(-39) - (-2)/13. Solve 5*m - 3*m + h = 0 for m.
-5
Let a = 17 - 3. Let r = a + -14. Solve p = 5 - r for p.
5
Suppose k + 5 = -n + 3, -11 = -5*k + 2*n. Let j(w) = -w**2 + 3*w - 1. Let b be j(k). Let d be 45/12 + b/4. Solve -d*p = -p + 3 for p.
-1
Suppose -v = -2 - 1. Suppose -v*o + 2*o = 0. Solve -4*f + o*f = -20 for f.
5
Let b = -5 + 1. Let i = b - -6. Let s be (-1 + -2)/(3/(-2)). Solve 0 = -g + s*g - i for g.
2
Let p(w) = -w**3 - 5*w**2 - 4*w + 4. Let z be p(-4). Solve -2*l + 4*l - z = 0 for l.
2
Let c be ((-1)/4)/(5/(-20)). Suppose -36 = -12*n + 24. Solve -3*r - c = n for r.
-2
Let i be 4 - (-3 + 1 + 1). Suppose -j + 0*d = 4*d + 18, i*j - 35 = 5*d. Solve 0 = j*p + p - 9 for p.
3
Let p(b) be the first derivative of b**3/3 - 3*b**2/2 + 2*b - 4. Let c be p(2). Solve c = l + 4*l for l.
0
Suppose -1 = -q - 4*j, -3*q + 0*j = 5*j - 24. Solve -12 = 5*r + q for r.
-5
Let t(z) = -3*z - 1. Let s(c) = c**2 + c - 7. Let f be s(-3). Let p be t(f). Solve -w + p = w for w.
1
Let r(q) = q - 3. Let x be r(5). Suppose a - x = 1. Solve -2*v - a*v = -5 for v.
1
Suppose k - 4*v = 29, 44 = k + k - v. Let x be ((-4)/(-6))/((-7)/k). Let r be 4 + -1 - x/(-2). Solve 15 = -s - r*s for s.
-5
Suppose a = -4*p + 8, 6*p - 3*p - 15 = -3*a. Let d(k) = -11*k**3 - k**2 + k - 1. Let b be d(p). Let u be b/3*-1 + 0. Solve 0 = u*x + x + 20 for x.
-4
Suppose 3*y + 84 = r, -5*r + 378 = -4*y - 9. Suppose -2*v = 3*v - r. Solve 3*g - v = -2*g for g.
3
Let h(w) = -9*w + 25. Let n be h(0). Solve -n = 9*s - 4*s for s.
-5
Let o(g) = g**2 - 11*g + 20. Let y be o(9). Solve 2 - 6 = y*x for x.
-2
Suppose -h - 2 - 2 = m, 3*h = -4*m - 12. Let r = 0 - h. Solve 0 - r = t for t.
-4
Let r = -9 - -13. Let n = r + -1. Solve 0 = 2*b + n*b for b.
0
Suppose c - 5 = -3. Solve -i = -c*i + 1 for i.
1
Let m(l) = -7*l - 25. Let h be m(-6). Solve 3 + h = -5*v for v.
-4
Let n be -1 + 5 + -5 + 3. Solve 2 = n*o + 6 for o.
-2
Let x(l) = -l - 2. Let i be 8/(-2) + 1*-2. Let d be x(i). Solv