 be the third derivative of -a**4/24 - a**2. Suppose -4*x + 29 = -3*y, y - 4*x + 2*x + 11 = 0. Let j be t(y). Solve -1 - j = -2*h for h.
4
Suppose -6 = 2*a - 4*m, 3*a - 23 = -3*m + m. Solve -a = -f - 0 for f.
5
Suppose 0 = 2*l + 10 + 4. Let j = -4 - l. Suppose 0 = 2*r + 8, -5*z + 2*r = -j*z - 8. Solve -s = 2 - z for s.
-2
Suppose 6*o - 24 = 2*o. Let y = -5 + 1. Let q = y + o. Solve -2 + 6 = -q*l for l.
-2
Let g be -2 + (-2 - -10) - 2. Suppose 0 = g*o - 3*o. Let k be o/1 + 12/6. Solve k*l - l = 0 for l.
0
Suppose m - 4*v - 3 = 0, -4*m + 0*v + 12 = -4*v. Suppose 0 = 3*z - 3*y - 6, -4*z + 5 + 1 = -m*y. Solve 0 = 2*t - z*t - 2 for t.
1
Suppose 0 = 8*x - 3*x. Suppose 2*d + x = 2. Solve d = 4*b + 5 for b.
-1
Let w = 1 + -9. Let k = -1 - w. Let a = 12 - k. Solve 5 = -a*p - 0 for p.
-1
Let l(i) = i**3 - 5*i**2. Let h be l(5). Let u(w) = -w**2 + 14*w - 7. Let o be u(13). Solve h = f - o*f + 15 for f.
3
Let c be (14/(-21))/((-2)/(-6)). Let v be (-4)/1*1/c. Let o = 5 + -5. Solve 10 = v*a - o for a.
5
Suppose -5*h + p = -20, 8 = h - 0*p - p. Suppose -h*q = -8*q. Solve -4*k + k + 3 = q for k.
1
Let t be ((-1)/3)/(1/(-6)). Let r be 1 + 0 + 0/t. Solve c + r = -3 for c.
-4
Let l = 3 - 0. Let z(g) = g + 8. Let a be z(-6). Suppose -4*r + 0*r + 63 = -3*q, 3*q = a*r - 39. Solve l*t - 3 = r for t.
5
Suppose -11 = -3*d + 79. Solve 10 - d = -4*h for h.
5
Let f be ((-10)/(-15))/((-2)/(-15)). Suppose 4*n = f*h - 18, -n = 3*h + 2*n. Suppose 0 = 5*v - v - 20. Solve u - v = h*u for u.
-5
Let u(a) = 2*a**3 - 9*a - 4 - 4*a + 7*a**2 + 4*a - a**3. Let r be u(-8). Solve r*d - d = -9 for d.
-3
Let o(l) = -l**2 - 2 + 5 - 10*l - 3. Let m be o(-6). Suppose 0 = -3*b - b + m. Solve -14 = -5*n + b for n.
4
Let v = 0 - 0. Suppose v*t = -4*t. Suppose z + 2*z = t. Solve b + z*b = 1 for b.
1
Let s be (-28)/8*8/(-14). Suppose -s = -h - 4. Let g = 0 - h. Solve 2*x - 12 = -g for x.
5
Suppose 4*g - 13 - 7 = 0. Suppose 3*q - 16 = -2*q - 3*a, -g*a = -4*q - 2. Solve -q = 2*t - 10 for t.
4
Let k = 1 - -1. Let x = 3 - k. Let g be x + 0 + 1/1. Solve g*h = h + 2 for h.
2
Let q = -4 - -4. Suppose 6 = -3*b - q. Let j be b/(-4)*0 + 5. Solve 2*k - j = -3*k for k.
1
Let n(r) = 3*r**2 + 3*r. Let p be n(-3). Suppose s = 3*g - 2, 0*s = 5*g + 2*s - p. Suppose g*a - 3*a = -4. Solve t - a*t = 15 for t.
-5
Let l(x) = -2*x**3 + 7*x - 7*x**2 + x**3 + x**2 + 0*x**3. Let f be l(-7). Solve 0*i - 2*i + 2 = f for i.
1
Suppose -k - 7 = -4*t + 4, 5*k + 13 = -t. Solve -t*m = -0 + 10 for m.
-5
Let t = -19 + 28. Solve t = -3*z - 0*z for z.
-3
Let t(o) = -o**2 + 8*o + 10. Let f be t(9). Let d(h) = -h**3 - h**2 + h. Let a be d(f). Let l be (a - (-7)/2)*2. Solve 0*q + l*q + 15 = 0 for q.
-3
Let l(x) = -x**3 + 2*x**2 + x. Let u be l(2). Solve u*b = -6 - 2 for b.
-4
Let l(x) = -4*x + 4. Let s be l(6). Let b be (16/s)/((-2)/5). Suppose 0 = -3*w - 2*w + 15. Solve -5 = -w*f - b for f.
1
Let w be (-21)/12 - (-9)/12. Let q be 0/(-3) + w - -3. Solve 3 + 7 = q*a for a.
5
Let o(l) = -2*l - 4. Let k be o(-4). Suppose -5*d - k*s = -7, 3*s = 4*s + 2. Solve d*p = -2*p - 15 for p.
-3
Let v = -11 - -11. Suppose v = 5*o - 2 - 13. Solve -j = -o*j + 6 for j.
3
Let t(i) be the second derivative of i**5/20 - 7*i**4/12 + 7*i**3/6 - 3*i**2 + 2*i. Let h be t(6). Suppose -d = -h - 3. Solve 4*o + 5 = -d for o.
-2
Suppose -4*j = -26 - 2. Let r(z) = z**2 + 3. Let m be r(5). Let d be 82/j + 8/m. Solve -5*l = d + 3 for l.
-3
Let i = 11 + -6. Let j(n) = n**2 + 3*n + 2. Let v be j(-3). Let y be 8 - 1 - 6/v. Solve -3*a = -y*a - i for a.
-5
Let s = 111 + -175. Let j be s/40*10/(-4). Solve 12 = j*r - r for r.
4
Suppose 2*g + 7*t = 4*t + 4, -7 = -3*g - 4*t. Solve 1 = -4*v + g for v.
1
Let q(l) = -4*l - 2. Let a be q(-2). Suppose -2*w = -4*m + 8, 2*w = -3*m - 0*w + 13. Solve -m*k = 6 + a for k.
-4
Let a(d) = -d**2 - d - 6. Let y be a(0). Let v(o) = -o**2 - 6*o + 3. Let r be v(y). Solve -13 + 1 = r*q for q.
-4
Suppose 5*d = -2*l - 45, -2*d - 22 = l - 3. Suppose n = -2*k - 14, -2*n - 4 = -2*k - 6. Let z = k - d. Solve -z*y = -y for y.
0
Suppose -5 + 15 = 2*z. Let r = 19 + -19. Solve r*u - z*u = 0 for u.
0
Suppose -2*o + 8 = p + 52, 4*p = 3*o - 198. Let x be (-2)/(-7) - p/28. Solve 0 = -3*a - x + 11 for a.
3
Suppose 8*p = 7*p. Solve 4*d - 23 + 3 = p for d.
5
Let u = 2 - 1. Suppose r - u - 1 = 0. Solve r*a = 5 + 5 for a.
5
Suppose -8 - 4 = -4*m. Suppose 2*x - 4 = h, -3*h + 4*x = x - m. Let i be 26/6 + 3/(-9). Solve -5*a - h = i for a.
-2
Suppose m = 5*o - 17 - 23, 32 = 3*o + m. Suppose -3 = -l + o. Let d be (-7)/(-4) - (-3)/l. Solve 0 = -0*h + d*h + 2 for h.
-1
Let u = -116 - -118. Solve -v + u = -2 for v.
4
Let g = 12 - 9. Suppose -w = 3*w + 3*n + 190, -2*w - 4*n - 100 = 0. Let l be w/(-4) - 3/(-6). Solve z + l = -g*z for z.
-3
Suppose 0 = g - 3. Suppose 2*d - 2 = -g*p - 4, d + 14 = 5*p. Solve p*j = j + 2 for j.
2
Suppose p - 4 = 0, -p + 0*p = -5*n + 31. Let x(r) = 11*r**3 - 1. Let f be x(1). Solve -n*g + 5*g = f for g.
-5
Let m be (-2 - 8/(-10))*5. Let w = m - -6. Suppose w = 4*b + b - 20. Solve -b*t + 6 = -2*t for t.
3
Let l = -1 - 1. Let n(q) = -q + 2. Let t be n(l). Solve -3 = t*z - 11 for z.
2
Let w(i) = -i**2 - 5*i + 6. Let m be w(-5). Suppose -2*j + m = -16. Solve j = -2*u + 1 for u.
-5
Let o = -5 - -11. Suppose -5*i = -o*i + 3. Suppose -i*r - 1 + 7 = 0. Solve 9 = -r*u - u for u.
-3
Let f(g) = g**2 - 3*g. Let c be f(4). Let l = -7 - -11. Suppose l*a - 6 = 2*p, 0 = -3*a + a + 2*p + 2. Solve -2*y + a = -c for y.
3
Let i = 9 - 6. Let o be (1*(i - 3))/1. Solve o*b + 2 = -b for b.
-2
Let k be (208/40)/((-4)/(-10)). Let s = k + -10. Solve -s*b + 5 = 2*b for b.
1
Let g = -5 + 17. Solve 0*x = -3*x + g for x.
4
Let t be (-1)/(-4) + 115/20. Suppose -36 = 3*i - t*i. Let c(r) = 5*r + 1. Let x be c(1). Solve -x*g = -3*g - i for g.
4
Let y(v) = -v + 6. Let w be y(4). Suppose 2*o - 5 = f, 2*o + 4*f - 40 = -w*o. Suppose -5*n + 45 = -5*z, 0 = -o*n - 6*z + 3*z + 53. Solve -x - n = x for x.
-5
Let t(o) = -o**3 - 5*o**2 + 6*o + 4. Let f be t(-6). Suppose -35 + 3 = f*c. Let v = -5 - c. Solve -6*l + v = -9*l for l.
-1
Let r be 4/(-6) - 16/(-6). Solve r*d - 15 = -d for d.
5
Suppose 0 = -3*d + 4 + 5. Suppose 0 = -2*a + 6*a - 32. Solve 20 = -d*s + a*s for s.
4
Suppose -8 = 3*x + x. Let j be x/6*-3 + -6. Let w = j - -8. Solve 17 = -4*v - w for v.
-5
Suppose 4*w - 29 = -13. Solve -w*m = -2*m + 6 for m.
-3
Suppose 0 = 3*q - 6 - 0. Suppose -2*k + 25 = -p - 2*p, -k + 11 = -p. Solve -q*s = 2*s - k for s.
2
Let c(k) = k**3 + 2*k**2 - 6*k - 4. Let u be c(-3). Solve -4*y - 1 = -u*y for y.
1
Let h = 4 + -8. Let l = h + 6. Suppose -4*k + 0 = 4, u = -k + l. Solve -u*o = o for o.
0
Suppose -4*r = 4*u - 44, -3*u + 4*r + 37 = 2*u. Solve -1 = -2*o + u for o.
5
Let y(z) = -z - 5. Let c be y(-5). Solve 0*u + u + 2 = c for u.
-2
Let m = 118 + -113. Solve -3 = 2*l - m for l.
1
Let x(j) = -4*j**3 + 3*j**2 + 3*j - 3. Let q(p) = 7*p**3 - 5*p**2 - 5*p + 5. Let b(c) = -3*q(c) - 5*x(c). Let o be b(0). Solve -5*g + o*g + 15 = 0 for g.
3
Let b(m) = 10*m - 3*m**3 + 9 - 3*m**3 + 9*m**2 + 5*m**3. Let x be b(10). Solve x = -4*z - 7 for z.
-4
Let c(o) = -o**3 - 8*o**2 + o + 10. Let d be c(-8). Solve -5*l = -d*l for l.
0
Suppose -4*g + 51 - 19 = 0. Suppose 0 = -2*q + g. Suppose -r + 5 - q = -5*f, 1 = 4*f + r. Solve f = 6*i - 2*i + 12 for i.
-3
Suppose 0*o + 4*o + m + 31 = 0, 22 = -3*o - 2*m. Let g be 12/o*(-1 - 1). Let z be (-2)/6*(-90)/6. Solve z*n + 28 = g for n.
-5
Suppose 0 = 2*k - 4*t + 2*t - 2, 2*k - 1 = 3*t. Solve 3 + 1 = k*f for f.
2
Let y = 2 + -3. Suppose 0 = b + 4*a - 14, 4*a - 26 = -2*b + 7*b. Let g be y/2*b + -1. Solve 3*m - 5*m + 4 = g for m.
2
Let z(u) = u**3 + u**2 + 3*u + 2. Let v be z(-2). Let n be v/3*(-33)/22. Solve 0 = n*p - 3 - 9 for p.
3
Let f(z) be the first derivative of 5*z**3/3 - z**2/2 - z - 2. Let r be f(-1). Let i be 2/r - 56/(-10). Solve i*t + 25 = t for t.
-5
Let c be (-2)/(-2) + (1 - 10). Let t(m) = -2*m - 12. Let w be t(c). Solve -6*n + 10 = -w*n for n.
5
Let c be 5/(-15) - (-2)/6. Solve c*a = a for a.
0
Let t = -1 + 0. Let z be (-23 + t)/(6/(-4)). Suppose 0 = -0*m + 4*m - z. Solve 3 = -m*y - 1 for y.
-1
Let h = -15 + 18. Let d(t) = -t**2 + 2*t + 6. Let f be d(h). Solve -f = 3*j - 18 for j.
5
Suppose 0*z + 2*z + t = -4, z = 4*t - 2. Let i(x) = -x - 4. Let o be i(-3). Let y = 