.
4
Let c(n) be the first derivative of -n**5/40 - n**4/6 + 2*n**3/3 + 3. Let d(o) be the third derivative of c(o). Let a be d(-3). Solve a*k + 4 = 3*k for k.
-2
Let n(g) = 2*g**2 - 5*g + 2. Let o be -2*2*(5 + -4). Let v be 2/(-4) - 14/o. Let q be n(v). Solve -q = 3*f + 2*f for f.
-1
Let q = -21 + 24. Solve -2*b = q*b + 20 for b.
-4
Let u = -12 - -16. Solve -u*k + 0 = -12 for k.
3
Let q = 2 - 4. Let c be q - (1 + (-5 - -2)). Solve 0 = 2*h - c - 4 for h.
2
Suppose 22 = 4*o - 3*k, -3*k + 7 = 1. Suppose -3*r - 4*y - 1 = 0, 2*y - 5 = y. Let d = o + r. Solve g + d = -5 for g.
-5
Let o(g) = g**2 + 3. Let c(p) = p**2 + 5*p + 4. Let b be c(-4). Let w be o(b). Solve -2*z - z + w = 0 for z.
1
Suppose t - 4*h + 8 = 0, h + 6 = 5*t - 11. Solve -t + 16 = -4*r for r.
-3
Let l be (1 - -1 - 1)*0. Suppose 0*v - 4*v = l. Suppose 0*b + 4*b - 100 = -4*m, -5*b - m + 125 = v. Solve 7*w - 2*w = b for w.
5
Let i(b) = 5*b - 36. Let c be i(8). Solve c*y + 5 = 9*y for y.
1
Suppose 3*b + 0*b = 0. Suppose -11 = -3*c - 2*t, 0 = -c - 3*t + 5*t + 9. Solve 2*n + c + 3 = b for n.
-4
Suppose 3*t + 5*f - 14 = 18, -5*t - 2*f = -28. Suppose -3*x - k = t*k - 43, -5*x - 2*k + 40 = 0. Solve -3*v + x + 9 = 0 for v.
5
Let q(g) = -5*g**3 - g**2 + 2*g - 1. Let r be q(1). Let h be -5 + (4 - 2) - r. Let y = -23 + 36. Solve -3*u - y = h for u.
-5
Let s = 1 + -3. Let b be 3 + 0 + 0 + s. Solve j + 3 = b for j.
-2
Let j be 0 + 2 + -1 - -2. Suppose -2*t + 6 = t. Let z be (j - 2) + 21 - t. Solve z = -3*a - 2*a for a.
-4
Suppose -9 = -3*v + 4*v. Let q = 3 - v. Solve -2*u + q = 2*u for u.
3
Suppose 36 = 4*y + 4*l, 3*y + 8 = 3*l + l. Solve -y = 3*o - 4*o for o.
4
Suppose -3*c = 9, -3*c - 5 = -0*j + 2*j. Let a(n) = -3*n - 2 + 2*n - j. Let h be a(-5). Solve -6 = 5*p - h for p.
-1
Suppose 0 = -3*d + 3*z + 27, -3*d = -0*d + 4*z - 13. Suppose 2*f - d*f + 15 = 0. Solve -f*j + 7 = -2 for j.
3
Let n = 0 - -2. Let h = -8 + 6. Let x be (n/6)/(h/(-6)). Solve -5*f + 6 - x = 0 for f.
1
Let p be (-2)/(-7) + 6/(-21). Let u = 31 - 31. Solve p*q + q = u for q.
0
Let c = -4 + 14. Suppose 0 = -3*i + 2*i. Suppose -2*o + i*o = -c. Solve -3*g + 2*g = -o for g.
5
Suppose -o + 5*l - 13 = 0, -5*o + 5*l - 2 = 3. Solve -1 - 1 = o*f for f.
-1
Suppose 3*t - 10 = t. Suppose 7*i - t*i = 12. Solve -i*w = -3*w + 3 for w.
-1
Let o(l) be the third derivative of l**4/24 - l**3/6 - 2*l**2. Let u be o(3). Solve -u*z = -5*z for z.
0
Suppose -2*h - 76 = -7*h - 3*k, 26 = 2*h - k. Solve 0 = -11*r + h*r - 12 for r.
4
Let v(j) = -j**2 + 5*j + 1. Let x be v(5). Solve 4*g - x = 5*g for g.
-1
Let y(t) = -t**3 - 8*t**2 - 7*t + 3. Let c be y(-7). Solve -22 = -5*h + c for h.
5
Suppose 4*d - 58 = 2. Let k be d*(3 - (-21)/(-9)). Suppose 2*n - k = 8. Solve n = 5*j - 6 for j.
3
Let d = -161 - -162. Solve -3 = 4*m + d for m.
-1
Suppose -4*a = -6*a + 2. Solve j = -a - 0 for j.
-1
Suppose 33 = 3*a + 12. Solve 27 - a = -4*s for s.
-5
Let k(c) = -c**3 - c**2 + 3*c - 7. Let f be k(-3). Solve f*i - 7 = -17 for i.
-5
Suppose 6 = -3*h - 5*o + 22, 2*h + 4*o = 12. Suppose 0 = 6*x - 4*x - a, -2*a = -h*x. Let n be (-4)/(-22) + 126/33. Solve n = -x*k + 4*k for k.
1
Let w = -22 - -22. Solve -5*r - 20 = -w*r for r.
-4
Let t be (8 - -4)*15/6. Let p = t + -10. Solve 2*g + 2*g = p for g.
5
Let v be 1/((8/(-2))/(-8)). Solve -v*z = -z - 5 for z.
5
Let s = -17 + 37. Solve -2*h - s = 2*h for h.
-5
Let j(d) = 4*d**2 + 2*d + 1. Let k be j(-1). Suppose 3*z - 7 = 2*v, 0 = z - 5*v - 6 - 5. Solve z + k = 4*r for r.
1
Let x = 4 - 2. Let k be 0 - (-3 + 1) - -6. Let q be 2*(4 - 28/k). Solve 3*o - q = x*o for o.
1
Let i = 4 - 7. Let p be 2 + i - (-2 - 0). Solve p + 2 = 3*a for a.
1
Suppose m = b - 1, -2*b + 4*b + 8 = 4*m. Solve -4*a + a - b = 0 for a.
-2
Suppose 2*c + f = 2, -2*f + 10 = c + 3*f. Solve 2*z + 3*z + 10 = c for z.
-2
Suppose 2*t = -5*c - 14, 2*c = -3*t + 5 - 15. Let q = c - -3. Let y = 11 - 7. Solve y*p = -3 - q for p.
-1
Suppose 0 = -0*g - g - 3*q + 20, 0 = -3*g + 3*q + 12. Solve -n + g = -3*n for n.
-4
Suppose h = -4*h + 10. Suppose h*w = -3*y + 21, -5*y = 2*w - w - 28. Solve 5*u - 2 - w = 0 for u.
1
Let a be 2*5*1/2. Solve 2*t - a = 3*t for t.
-5
Let t be (-10)/(-8) + (-30)/(-40). Solve -4 + t = -k for k.
2
Let b(m) = -m**2 + 6*m - 2. Let i be b(6). Let l be 4/i*9/6. Let r be 4 + (2 - (-12)/l). Solve r = -4*t - 10 for t.
-3
Suppose -4*c - c = -2*o + 9, -o = 5*c + 3. Let j be (0 + 0)/(2/o). Solve j = -h - h + 2 for h.
1
Let i(u) = u**2 - u + 1. Let b(s) = s**2 - s + 1. Let z(d) = -2*b(d) + i(d). Let a be z(1). Let o be ((-12)/3 - -1)/a. Solve k = -0*k - o for k.
-3
Let l(x) = x**3 + 4*x**2 - 7*x + 2. Suppose 8*n = 3*n - 25. Let b be l(n). Solve -b = -3*v - v for v.
3
Suppose 5*x + 2 = -18, 5*o + 18 = 3*x. Let t(a) = -a**2 - 7*a + 2. Let u be t(o). Suppose 0 = h - 2*k + 3, -5*k + 21 = 2*h - 0*h. Solve h*d - u = 7 for d.
5
Suppose 0 = 4*q + 2*u - 10, 7 = 3*q + 3*u - 2. Suppose -k - 9 = -2*m, q*k + 4 = -5*m + 2*m. Solve -m*v - 3*v = 20 for v.
-4
Let r be 0/(-2) - 0 - -2. Let t be (1/(-3))/(5/(-60)). Suppose -20 = -3*z - 4*a + t, 2*z - 4*a = -4. Solve 0 = -r*j + z*j - 8 for j.
4
Let p(y) = -2*y - 4. Let w be p(-12). Solve 6*d - d = w for d.
4
Let y(q) = q - 2. Let c be y(6). Suppose 4 = c*j - 4. Suppose p = m + 6, -5 = j*m + 5. Solve 5*l - 16 = -p for l.
3
Suppose 3*n + 12 = -j, -6 = -3*j + 2*n - 20. Let l = 6 + j. Let o(i) = 12*i + 1. Let m be o(2). Solve l = 4*d + m - 5 for d.
-5
Let u be ((-2)/(-2))/((-1)/(-5)). Let d be -4 - -18 - 0/1. Let o = d - u. Solve 1 - o = 4*g for g.
-2
Suppose -k - 4*k + 5*o + 55 = 0, 5*o + 13 = -2*k. Solve -k*z + 2*z = 0 for z.
0
Let i(f) = -f**3 - 3*f**2 + 4*f + 2. Let c be i(-4). Suppose c*n = -n + 27. Suppose -4 = -5*a + n*a - 4*w, 4*a + 4*w - 28 = 0. Solve 6*g - a*g = -12 for g.
-4
Let l(p) = p**3 - 4*p + 3. Let x be l(2). Solve 2 + 1 = x*q for q.
1
Let v(a) = -a + 15. Let p be -18*(1 - (-20)/(-12)). Let r be v(p). Solve -5 = 2*d - r*d for d.
5
Suppose -10 = -5*p + 5*o, 37 = 5*p - 0*p + 4*o. Solve -2*a + p - 3 = 0 for a.
1
Let i(m) = m**3 - 8*m**2 - m - 2. Let r be i(4). Let p = 145 + r. Suppose p = 4*z + z. Solve -6*w - z = -w for w.
-3
Suppose 2*k - 4*k = 0. Solve 0*c + c = k for c.
0
Let n = 7 + -4. Let p(c) = c**2 - 2*c + 2. Let b be p(n). Solve b*v + 7 = 32 for v.
5
Suppose -8*f = -9*f. Solve 0 = -x - f*x - 5 for x.
-5
Let w be 0*3/(-30)*-5. Solve w = 3*j + 3 + 6 for j.
-3
Let g be (-88)/(-8) + 1 + -2. Solve -6*h = -h + g for h.
-2
Let q = 11 + -11. Solve q = 3*z - 6 for z.
2
Let p(f) = -6*f - 4. Let j be p(-3). Let z = -10 + j. Solve -z*k - 1 = 3 for k.
-1
Suppose 3*d + 3 = -0*l + 3*l, -5*l + 3*d = 1. Let r = l - -2. Suppose r = -2*f + 2 + 2. Solve 4*j + f = 5*j for j.
2
Let s = 0 + 0. Suppose -2*v + 4*g - 2 = s, -g = v + 2*g - 9. Solve 4 = -l + v*l for l.
2
Suppose 0 = -0*u - 5*u. Solve u = -i + 2*i + 2 for i.
-2
Suppose 3*w = -3*u + 24, 4*u = 3*w + 2*w + 5. Let z = 6 - w. Solve 0 = g + z*g - 16 for g.
4
Suppose y - 3*i - 1 = 0, -14 = 3*y - 5*i + 3. Let f be 66/14 - 4/y. Solve -f*t - 2 = -22 for t.
4
Let z(m) = m + 3. Suppose -4*s = -5*h - 0*h - 15, -3*s + 3*h + 9 = 0. Let g be z(s). Solve -g*i = -i - 10 for i.
5
Let k(r) = -r**3 + 7*r**2 + r - 5. Suppose a - 2 = 2. Suppose i + a*i = 35. Let o be k(i). Solve -o*f = f + 15 for f.
-5
Let u = -98 - -103. Solve 10*q + 25 = u*q for q.
-5
Let l(f) = 6*f - 5. Let h be l(6). Suppose 3*s - h - 2 = 0. Solve -9 - s = 4*x for x.
-5
Suppose -7*l + 3*l = -16. Suppose -l = 4*k, 2*m = -0*m + 5*k + 9. Suppose c + m*v - 6 = -0*c, -5*c = 3*v - 9. Solve 2*f + 0 - 6 = c for f.
3
Suppose -4*c - c = -20. Let b = -3 + c. Suppose -27 = -4*h - 5*s - b, -s + 6 = h. Solve -h*m - 10 = -9*m for m.
2
Let a be 4/2 + 1 + -1. Let r be 4 - (2 + (a - 2)). Let t be (-2)/(3*r/(-15)). Solve -12 = y - t*y for y.
3
Suppose -5*r - 11 = -2*g, -4*r - 1 = 11. Let v be (-1)/2*(-10 + g). Solve 2*q = 4 + v for q.
5
Let f = 39 - 19. Suppose 0 = -0*w + w - f. Solve 0 = -2*c - 3*c - w for c.
-4
Let w(u) = u + 9. Let y be w(-8). Solve -3*t - y = 5 for t.
-2
Let m be ((-28)/2)/((-6)/3). Suppose m*x = 2*x + 120. Let t be (1/(-2))/((-2)/x). Solve 2*j = -4 + t for j.
1
Suppose -7*a + 3*a = -20. Suppose 3*y - o - 1 = 0, a = 4*o - 3*o. Solve -c + 3 = -y*c for c.
-3
Suppose -4*d - 2*l + 4 = 0, -3*d + 2*l - 5 = -1. Solve j + 0 + 4 = d f