2
Let y(d) be the second derivative of -d**4/12 + 5*d**3/3 + 7*d**2 - 4*d. Let u be y(11). Solve -u*w = -w for w.
0
Suppose -6*v + 28 = -2. Solve -5*b - v - 15 = 0 for b.
-4
Suppose -j = u - 5, -9 = 3*u - 4*u + j. Solve u*z = 3*z - 20 for z.
-5
Let b(o) = -24*o + 1. Let n be b(-1). Let x = -25 + n. Solve x = -2*m - 0*m - 4 for m.
-2
Let j = -20 + 23. Solve -y + j = 4 for y.
-1
Let m = -11 + 11. Suppose -w - w + 4 = m. Solve -w*t - 3 = t for t.
-1
Suppose -i - 2*p + 3*p = -9, -2*p = 3*i - 2. Let u be 1/(-2) - (-2)/i. Solve u = -3*x - x + 4 for x.
1
Let k(i) = -i + i - 5*i - i**2 - 4 + 5. Let m be k(-4). Solve -5*w + m = -10*w for w.
-1
Let x(m) = -m. Let d be x(0). Let t be ((0 - d)/3)/(-2). Suppose -12 = -t*f - 4*f. Solve 5 = -2*i - f for i.
-4
Suppose 4*s = 5*m + 4 - 18, -4*m = -3*s - 11. Let x = 2 + s. Let b = -1 + x. Solve -4*r + 1 + 3 = b for r.
1
Let y be (-36)/(-10) - 18/30. Suppose 3*g + 2*b + 0*b = 15, 4*g - 20 = y*b. Solve -g*p + 10 = -3*p for p.
5
Suppose -5 = -5*l, -h = -6*l + l + 2. Suppose h*k = 27 + 18. Let r be ((-2)/(-3))/(10/k). Solve 2*n = -3 + r for n.
-1
Let v be 34/8 - 1/4. Let p be 0/(-1)*2/v. Suppose -5*b - 4 + 19 = 0. Solve p*u = b*u - 6 for u.
2
Let p(m) = -8*m**3 - m**2 + 2*m + 2. Let o be p(-1). Suppose -4*f + o*f - 12 = 0. Solve 0*q = -f*q for q.
0
Let f(z) = -3*z**3 - z - 1. Let c be f(-1). Let p(j) = 5*j + 5. Let g be p(-2). Let i be 10*g*12/(-24). Solve -i = 2*a + c*a for a.
-5
Let i = -19 - -29. Let u be (2 + (-6)/4)*i. Solve u*p - 9 = 1 for p.
2
Suppose -w + 13 = -1. Let x(n) = n. Let p be x(2). Solve -w + p = -3*h for h.
4
Let k(s) = -s**2 + 7*s - 6. Let r be k(5). Suppose -3*y + r = -y. Suppose -2*w - y*v + 4 - 2 = 0, 0 = 4*v + 4. Solve -z + 5 = -w*z for z.
-5
Let x = 1 + 0. Let y be 27/(-6) + x/2. Let z be 30/(-4)*y/6. Solve -10 = z*h - 0*h for h.
-2
Let o(d) = 2*d**3 - 4*d**2 + 2*d + 1. Let l be o(2). Suppose 3*u = l*u. Solve u*v = v + 2 for v.
-2
Suppose -2*h - 2 + 12 = 0. Let t = -3 - -4. Let b be ((-2)/2 + t)*1. Solve b*m = h*m for m.
0
Suppose 2*c = -g, 2*c - 4 = -4*g + 2. Solve 4*x + g + 2 = 0 for x.
-1
Suppose -3*q - 6 = 0, -3*v - 2*v - 5*q - 10 = 0. Suppose 3*t - 21 = -5*d, -4*t + 5*d = -5*t + 7. Let z = t - 5. Solve v = z*c - 7*c for c.
0
Let n(f) be the first derivative of 1/2*f**2 - 1/3*f**3 - 3 + 0*f. Let v be n(1). Solve 2*m + 3 - 1 = v for m.
-1
Let z be 0 + (-2 + 6 - -18). Let q = -20 + z. Solve 3*p - 4*p - q = 0 for p.
-2
Suppose -16*l + 2 = -14*l. Let g be (16/(-6))/(-2)*3. Solve x - l = g for x.
5
Let u = 6 - -5. Solve 0 = 4*q + u + 5 for q.
-4
Suppose 3*c = -5 + 14. Solve -4*j + c + 1 = 0 for j.
1
Let b be 4 - 1*(-1 - -1). Let g be (14 - 13)/(2/22). Solve b*i + g = -1 for i.
-3
Let n(i) = 4*i**2 - 2*i + 1. Let r be n(1). Let z be ((-6)/r)/(-2) - -3. Solve z = -v + 1 for v.
-3
Let p = -60 - -122. Let r = p - 41. Suppose 2*d + 12 = -m - 3*d, 2*m - r = 5*d. Solve l - 10 = m*l for l.
-5
Suppose -t + 2*t + 2 = 0. Let b = -4 - t. Let l be -1 + 2/((-4)/b). Solve l = 3*f + 3 + 6 for f.
-3
Let b(x) = -x**2 - 5*x - 2. Let a be b(-2). Solve -a*j = 7 + 9 for j.
-4
Let a = 11 + -11. Solve a = -4*u - 8 for u.
-2
Let a be ((-26)/4)/(3/(-6)). Suppose a = 3*p + 1. Solve 3*y - 16 = -p for y.
4
Let s(i) = -i - 6. Let t be s(-9). Solve 0 = t*a - 8*a + 20 for a.
4
Let f(t) = t**2 - 8*t + 19. Let z be f(5). Solve 3*r - 10 = -z for r.
2
Suppose -4*r = 16, -5*m - 4 = r - 0. Let y = 3 - m. Solve 0 = -4*d + y*d for d.
0
Let x(k) = -2*k - 8. Suppose 5*p = 4*p - 6. Let g be x(p). Solve g*r - 2*r = 0 for r.
0
Let s(u) = -u + 4. Let i(m) = -8*m + 1. Let h be i(-1). Let r be s(h). Let l = 8 + r. Solve l*d - d - 2 = 0 for d.
1
Let m = -2 + 2. Let r = m - -1. Let a = r + -1. Solve a*o - 6 = 3*o for o.
-2
Suppose -5*i - 12 = 4*u, 2*u - 18 = -u + 3*i. Solve -3*l = u*l - 25 for l.
5
Suppose 5 = c + 1. Suppose 0 = -c*i + 16, 4*y - 28 = -3*i - 4. Solve -5*m + y*m = -8 for m.
4
Suppose -5*k = -3*i + 26, 2*k - 6 = 4*i - 22. Suppose 0 = -5*b + i*m + 81, 2*b - 5*m - 30 = b. Let h = -10 + b. Solve -h*j = -5 - 0 for j.
1
Suppose -3*z - 22 - 14 = -5*g, 3 = z. Solve y + 2*y - g = 0 for y.
3
Suppose a - 151 = -3*x, -2*a = -6 - 2. Let j = -29 + x. Suppose -2*w - w = -9. Solve -j = w*k + k for k.
-5
Let d(z) = 2*z - 7. Let t be d(4). Solve -1 = -f + t for f.
2
Suppose -5 = 12*o - 29. Solve c + o*c + 9 = 0 for c.
-3
Let s be (1*-12)/((-4)/2). Suppose -s*l = -l - 25. Suppose 0 = 3*t - 2*h - 2, l*t = t - h - 1. Solve t = -2*x + x + 1 for x.
1
Suppose k + 5*r = 2*r - 2, -k + 8 = -2*r. Solve 0 = -k*u - 12 for u.
-3
Let m(o) = -3*o**2 - 12*o - 14. Let b(d) = 2*d**2 + 6*d + 7. Let k(y) = -5*b(y) - 3*m(y). Let c be k(7). Solve -3*f + 4 - 16 = c for f.
-4
Let x(k) = -k - 6. Let y be x(-7). Let g be (y + -12)*-1 - -1. Let a = g + -8. Solve 0 = -a*c + 8 - 24 for c.
-4
Let h be (20/15)/(4/(-66)). Let k be 20/(-11) - (-4)/h. Let c = k + 2. Solve c*g + 20 = 5*g for g.
4
Let j = -3 - -15. Let n = 20 - j. Solve -4*b + 4 = n for b.
-1
Suppose -3*j = 3*w + 3, j + 18 = 3*w - 3*j. Solve w*c + 4 - 14 = 0 for c.
5
Let w be (1/(-2))/((-1)/(-2)). Let p(j) = 14*j**2 - 2*j - 1. Let t be p(w). Suppose 8*u = 4*u + 16. Solve -u*y - t = y for y.
-3
Suppose p + 3*m + 17 = 0, -7*p + 6*p + 3*m = -13. Let r be p/7 + (-258)/(-21). Suppose -2*n + r = 4. Solve -n = -l + 1 for l.
5
Let a(b) = -b**3 - 11*b**2 - 11*b - 5. Let g be a(-10). Suppose g*z + 2*v = 14 - 7, 3*z - 8 = -5*v. Solve 3*f - 11 - z = 0 for f.
4
Let f be (-18)/1*(-2)/3. Suppose 2*i = i + f. Solve -2*y = -6*y - i for y.
-3
Suppose 0 = 3*w + 3*w + 246. Let y = -27 - w. Solve 1 + y = 5*i for i.
3
Let m be 9/(-2)*4/(-3). Solve -z = -4*z - m for z.
-2
Let o be (-1)/3 + 21/9. Suppose 4 = 2*x - 0. Suppose r + 3*p = 11, 4*r = -3*p - p + 20. Solve -r*a + o = -x for a.
2
Let o = 28 - 13. Solve 3*v - o = -2*v for v.
3
Suppose -w + 15 = -3*o, -o = 3*w - 2*w - 11. Solve 9*u + w = 5*u for u.
-3
Let u = 26 - 18. Solve u*s = 3*s - 25 for s.
-5
Let x be (-4)/(-26) - (-618)/39. Solve -x = b - 5*b for b.
4
Suppose 4*v - m = 2*m + 12, -2*v + m = -8. Suppose -v*l - 2*j = -l - 49, -3*j - 39 = -5*l. Solve -5*h = l - 4 for h.
-1
Suppose v - 26 = 3*k, 0 = 5*v - 0*v + 20. Let n be 3/(-5) - 26/k. Solve 2*q = -n*q + 8 for q.
2
Suppose -6*t + 4*t = -66. Solve 13 - t = -5*w for w.
4
Suppose z - 15 = -4*p, 4*p = 4*z + p - 60. Solve -d + z = 4*d for d.
3
Suppose k + 5*a = -2*k, -3*a = 0. Solve -4*m = -k*m - 12 for m.
3
Suppose -18 = -k - 3*n, 5*k - 4*n - 22 = 30. Suppose 0 = 3*f - k - 0. Let g = 7 - f. Solve -2*p = -g*p - 1 for p.
-1
Let x = 6 + -1. Suppose y = x - 1. Suppose -5*m + 4*s + 41 = 12, y*m - 16 = -4*s. Solve -j = -6*j - m for j.
-1
Let w be (4/(-3))/(2/(-3)). Suppose h - 5*h = w*f, 5*h - 1 = -3*f. Solve -f*a - 4 = -a for a.
-4
Let g be (0 - -1)/((-2)/(-34)). Let u = -11 + g. Solve 9 = 3*a - u*a for a.
-3
Let k(a) = a - 3. Let u be k(3). Solve -w + u*w = -5 for w.
5
Suppose -4*b - 2 = -10. Solve -a = a - b for a.
1
Suppose -s + 4 = 5*w + s, 2*w = -2*s + 4. Solve 20 = -w*p + 5*p for p.
4
Suppose -3*d + 0 = 6. Let b = d - -2. Solve -q - 2*q - 12 = b for q.
-4
Suppose 3*p - 15 = -2*p. Suppose 9 = r + 2*r. Solve r*o + p = -9 for o.
-4
Let y be ((-10)/3)/(10/6 - 2). Solve y = -3*w - 2*w for w.
-2
Suppose -2*y + 12 = y. Suppose -y*x + 1 = -19. Solve 2*n = x*n for n.
0
Suppose -38 = 2*s - 248. Let p be 2/(-8) - s/(-20). Solve -3*r = 10 + p for r.
-5
Let r(s) = 6*s - 2. Let f be r(1). Suppose f*d + 12 = 8*d, -4*n + 6 = 2*d. Solve 8 = -n*t - 4*t for t.
-2
Let t(z) = 4*z**3 - 7*z**2 + 9*z - 5. Let f(c) = -9*c**3 + 14*c**2 - 19*c + 11. Let p(s) = -3*f(s) - 7*t(s). Let b be p(6). Solve i = b*i - 5 for i.
5
Let m(f) = f**2 - 4*f + 8. Let z be m(3). Let c be 2/4 - (-3)/2. Suppose -19 = -c*y + 13. Solve 4 = -z*u - y for u.
-4
Let o(z) = -z**2 - 8*z + 3. Let j = 3 + -11. Let q be o(j). Solve 2*s + 3 = -q for s.
-3
Suppose -5*y + 11 = 4*r - 2*y, 3*r = 2*y + 4. Let h(v) = 5*v - v**3 + 0*v**r - v**2 - 1 + 3. Let b be h(-3). Solve 0 = b*c - 3*c + 4 for c.
-2
Let f(l) = l**2 + 3*l + 5. Let y be f(0). Solve -y*w = -4*w - 5 for w.
5
Let w(j) = 2*j - 11. Suppose c = -4*b + 2 + 4, -3*b + 15 = -c. Let y(a) = a - 5. Let h(q) = c*w(q) + 11*y(q). Let r be h(9). Solve -g - r*g = 0 for g.
0
Let p(r) be the first derivative of -r**4/4 + 4*r**3/3 + 5*r**2/2