e 3*d = 2 + y for d.
4
Let x(b) be the third derivative of b**6/120 - b**5/12 + b**4/6 + b**3/2 + 3*b**2. Let f be x(4). Solve 0 = r + f*r + 8 for r.
-2
Let s(x) = -2*x**2 - 3*x + 2. Let g be s(-3). Let h = -8 - g. Let t be (-2 + 4*h)/(-2). Solve t = 3*f - 4*f for f.
-3
Let c(z) = 3*z - 6. Let n be c(5). Let x(a) = a**3 - 9*a**2 + a - 9. Let g be x(n). Solve g = d + 4 - 2 for d.
-2
Let k = -2 - -4. Solve 0 = 5*p - k*p for p.
0
Let g(a) = 3*a**2 - 5*a + 3. Let v be g(2). Suppose v*f - 16 = f. Solve 0*i = -f*i for i.
0
Suppose -5*q - 27 = -4*c, q - 5*q = 12. Let u = 12 - c. Solve 5*l + u = -6 for l.
-3
Suppose 0 = -u + 4*p - 12 + 31, -u - p - 1 = 0. Suppose -x + 3*i + 27 = -2*i, -x - 23 = 5*i. Solve -x*f - 3 = u for f.
-3
Let p(s) = -s**2 + 5*s + 1. Let z = -1 - -5. Let u be p(z). Suppose 5*b + 0*b = -5*w - u, 5*b + 13 = -w. Solve -15 = -3*x - w*x for x.
3
Let d be ((-8)/(-16))/(1/(-10)). Let h(b) = b**3 + 6*b**2 + 5*b. Let j be h(d). Solve -2*x + 7 + 1 = j for x.
4
Let x be (5/(-4))/(0 + 2/(-8)). Solve -x*w + 4 = 19 for w.
-3
Let m be 2/(4/30*3). Suppose m*k - 18 = 2*k. Solve -4*h + 2*h - k = 0 for h.
-3
Let b(q) = -8*q**3 - 2*q - 1. Let d be b(-1). Solve -3*c = 6 + d for c.
-5
Suppose -u + 5 - 4 = 0. Let r be u/(-2)*(10 - 10). Solve 2 = -r*c - 2*c for c.
-1
Suppose 0 = 5*x - 5*p - 0 - 25, -10 = 5*p. Suppose -3*a + s = -0*s - 11, 7 = x*a + s. Suppose -o = -a*b - 15, 5 + 0 = -b. Solve -2 = -o*d - 2*d for d.
1
Let y = 0 + 1. Let b = 10 + -9. Let s be -27*(b + -1 - y). Solve s = -5*o + 7 for o.
-4
Let s(f) = -f**2 + 7*f - 3. Let w be s(3). Let o(y) be the third derivative of y**4/24 + y**3/2 + 4*y**2. Let h be o(0). Solve w + 0 = h*d for d.
3
Let q(i) = -2*i**2 + 15*i + 8. Let t be q(8). Solve -f = -5 - t for f.
5
Let f(t) = t**3 + 3*t**2 - 5*t. Let i be f(-4). Suppose -d + 4*g + 4 = -12, -2*d + i*g + 16 = 0. Solve -5*q + d*q - 10 = 0 for q.
-2
Suppose -3*g = -d + 2*d + 5, 2*g + 3*d + 1 = 0. Let j be 1 + (g - -3) - -20. Solve 0 = -3*p + 7 - j for p.
-5
Suppose 15 - 3 = -4*j + 5*n, 12 = 3*n. Let b(k) = k**3 + 2*k**2 + 3*k - 3. Let c be b(j). Solve -1 - c = -5*m for m.
4
Suppose 18 = 2*w - 12. Suppose 6*f - 11*f = -w. Solve -f*p - 1 = -10 for p.
3
Let b(h) = -h**3 - 7*h**2 + 10*h + 12. Let w be b(-8). Let d = -2 - w. Solve 0 = 3*v - d*v + 5 for v.
-5
Let d(h) = 1 + h + 3 + 1 + 3. Let m be d(-6). Solve m*u + 2*u - 12 = 0 for u.
3
Let x = 2 + 0. Solve x*m = 1 - 7 for m.
-3
Suppose -g = -6*g. Solve -3*z - 9 = -g*z for z.
-3
Let s be 4/(-10) - (-4)/10. Solve -5*a + 10 = -s*a for a.
2
Let p(m) = -m - 4. Let a be 4/(-6) - (-70)/(-21). Let g be p(a). Solve g = o + o for o.
0
Suppose 4*d - 32 = -0*d. Suppose 0 = t + k - d, -4*t + 12 = -k - 0. Solve t*f + 9 + 7 = 0 for f.
-4
Suppose -2*c = -i + 6*i - 36, -5*c - 18 = -i. Suppose -14 = 3*n - 5*u - 42, -3*n - 5*u = -i. Suppose 6*w = 3*w + n. Solve -2 + 6 = w*r for r.
2
Suppose -5*a + 6*a - 7 = 0. Solve 5*w - a = -2 for w.
1
Suppose 4*u = 16, -u + 136 = 4*o + 3*u. Suppose a = 3*a + o. Let d = -9 - a. Solve 2*b + 0*b = d for b.
3
Let w = -3 + 3. Suppose w = -k + 4 - 20. Let r = -8 - k. Solve r - 4 = 2*v for v.
2
Suppose 2*y - 3*r - 7 = 0, -y + 2*r = -0*r - 3. Suppose -4*t + 61 = y*s, 3*t - 2*s - 26 = -t. Solve -5*m = t + 1 for m.
-2
Let o be (-2 - -7 - 3)*8. Let y be o*((-3)/2 + 2). Solve g - y = -3*g for g.
2
Let q = -5 + 21. Suppose 0 = -5*o + l + q, 0*o + o - 2*l - 5 = 0. Let h = 10 - o. Solve j + 2 = h for j.
5
Let c = 2 + -5. Let h(b) = -2*b - 4. Let z be h(c). Let t be (-1)/z - 11/(-2). Solve 0 = n - t for n.
5
Let m = 98 + -96. Solve -m*u = 3*u + 10 for u.
-2
Let l(h) = 11*h**2 + 2*h - 1. Let c be l(-2). Let p = c - 23. Solve 0*y = 4*y + p for y.
-4
Suppose -7 = -5*b + 3. Suppose 0 = f - 5*r + 10, f = -f - r + b. Let z be (1 - 1) + 3 + f. Solve z*q = -q for q.
0
Let g be 101/5 + 3/(-15). Let t = g - 8. Let p be 6*1*8/t. Solve -5 = -d - p for d.
1
Suppose 2 - 5 = -j. Solve d + j*d = 0 for d.
0
Suppose -72 = d - 5*d. Solve -3 = -3*f - d for f.
-5
Let i = -2 - -7. Solve 15 = i*v + 5 for v.
2
Suppose -b - b = 5*i, 5*i = b - 30. Let u = -3 + b. Solve -3*n + u = 1 for n.
2
Suppose 3*n - 5*n = -5*n. Solve n = -3*d - 7 - 2 for d.
-3
Let c(x) = -x**3 + 4*x**2 - 3*x + 4. Let r be c(3). Solve r*a - 4 - 16 = 0 for a.
5
Suppose -5*z - 5 - 3 = d, -2*d + 5*z + 29 = 0. Solve 4*h - 9 = d*h for h.
-3
Let n(j) = 4*j - 3. Let s(m) = -2*m + 1. Let l be s(-1). Let b be n(l). Let k be ((-3)/2)/((-1)/4). Solve k = 3*w - b for w.
5
Let k be ((-32)/(-6))/((-2)/6). Suppose 2*b - 5*u = -7, -4*u + u = 4*b - 25. Let f be b/k + 58/8. Solve -f - 13 = 5*x for x.
-4
Let y be ((-10)/(-4))/(1/2). Suppose 0 = -4*r + r + 9. Suppose -y*z = r*t - 8*t - 10, 5*t + 5*z - 30 = 0. Solve p = -t + 1 for p.
-1
Let u be (-6)/8 - 13/4. Let g be (-9)/6 - 14/u. Solve -g*n + 1 + 3 = 0 for n.
2
Let h = -34 - -39. Solve 1 + 9 = h*x for x.
2
Let r be (-4)/5*5/(-2). Let j = 3 + -1. Let h be 2/(-8) + (-196)/(-16). Solve h = -r*z + j for z.
-5
Let s(m) = -13*m - 4. Let w be s(-4). Suppose -4*i = -i - w. Solve -3*q - i = q for q.
-4
Let n be (72/(-15))/(3/(-15)). Let o be 56/n + (-2)/6. Solve -4*w = o + 2 for w.
-1
Let g(a) = -a**2 + 6*a + 1. Let m be (-10)/(-4)*(-56)/(-35). Let x be g(m). Solve 3 + x = -3*l for l.
-4
Let i(k) = -k**3 - 8*k**2 + 8*k - 9. Let t be i(-9). Solve 0 = -m - t*m + 5 for m.
5
Suppose -4*a = a + 50. Let q = -9 - a. Let p be 1 - (q - 0 - 1). Solve 3*h + p = -2 for h.
-1
Let o be (10/30)/((-2)/(-18))*1. Solve 5 = -2*l - o for l.
-4
Let f be (-1)/(-2)*(-3 + (-33)/(-3)). Solve -f*d - 2 = -18 for d.
4
Suppose 136 = 4*m + 56. Solve -2*n + m = -6*n for n.
-5
Let s be ((-4)/8)/((-1)/4). Let o be (s - (-1 - -3)) + 3. Solve o = -4*n - 5 for n.
-2
Suppose -3*u = 2*l - 9, l = 2*u + 4 - 3. Let b(w) = -w**2 - 8*w - 7. Let y be b(-6). Solve -4*m + u = y for m.
-1
Let c(w) = -w**3 + 4*w**2 - w - 1. Let g be c(3). Solve 0 = 4*z + g - 17 for z.
3
Let w = -13 - -14. Let b(f) = 8*f**3 - f**2 + 2*f - 2. Let o be b(w). Solve 3 + o = 2*r for r.
5
Let w = 39 + -24. Suppose -c + w = 4*c. Suppose 0*z = -3*b + 3*z - 9, c*b - 1 = z. Solve -4*i + b*i - 8 = 0 for i.
-4
Suppose 0 = -2*q + 3*v + 2, 3*v + 1 = q + v. Let w = 1 - q. Let f be (0 + w/(-1))/2. Solve -2*j + 5 - 1 = f for j.
2
Let t = 10 + -7. Let b be -1 - -2*(-3)/6. Let q be ((-4)/6)/(b/t). Solve -q = -f - 4 for f.
-3
Suppose 3*g = 3*d - d + 3, -6 = 2*g - 4*d. Solve g = 2*x + 1 for x.
1
Suppose 0 = 6*k - k - 25, 4*i = -5*k + 33. Suppose 0 = 3*h + i*f, 0*f = 2*f. Let x = -4 + 9. Solve -n + x = -h*n for n.
5
Let u be (-1)/3 + (-10)/(-3). Suppose -4*i = -j + u, 3*i + 4*j - 1 - 11 = 0. Let n = i + 0. Solve n*c = c + 5 for c.
-5
Let v be 0 - ((-2)/2 + -2). Solve m - v - 1 = 0 for m.
4
Let n = 8 - 2. Let t be 2 + 17 + -2 - 2. Suppose t = -d + n*d. Solve -3 = d*k - 6 for k.
1
Let o be (-2 + 6)/(-1 - 0). Let q = o - -8. Let p(w) = -w**2 - 6*w - 3. Let g be p(-3). Solve -g*z + 6 = -q*z for z.
3
Let f be (16/(-6))/((-5)/15). Suppose -19 = -2*t + 3*v, t + 5 + f = -3*v. Suppose 4 = t*j - 6. Solve -2*n - 9 = -j*n for n.
3
Let x be (-308)/(-26) + 5/(65/2). Suppose -4 = -3*n + j, -n = -4*j - 10 + 27. Solve -n*z - x = -7*z for z.
3
Let m be -141*(-3)/9 - 3. Let q be 121/m - (-1)/4. Solve i - 1 = q for i.
4
Let a(x) = 5*x**2 + 1 - x**3 + 7*x - 4 - 3 + 0. Suppose -4*r - 14 = -5*p, 3*r + 42 = 5*p + 6*r. Let y be a(p). Solve 3*f + 2*f + 20 = y for f.
-4
Suppose 2*f + 2 = 10. Let v(s) = -s - 4. Let j be v(-4). Solve -f = -2*n - j for n.
2
Suppose -8 = -69*i + 67*i. Solve 22 = i*r + 2 for r.
5
Suppose 0 = 8*t - 2*t. Solve -i + 3 + t = 0 for i.
3
Suppose -55 = -4*d - d. Let o = d + -6. Solve 0 = o*u - 9 + 29 for u.
-4
Let s(a) = a**2 + a - 2. Let u be s(-2). Suppose 5*t = -u*t + 10. Suppose -2*r + 2*m = -7 - 23, -45 = -3*r + t*m. Solve 3*j = -0*j + r for j.
5
Let a = -60 - -62. Solve -a*v - 3*v = -25 for v.
5
Let n = 17 - 11. Suppose -h = -n - 2. Solve -3*d - 20 = -h*d for d.
4
Let s(r) be the first derivative of r**4/4 + 5*r**3/3 - 3*r**2 + 5*r + 2. Let f be s(-6). Let w(i) = -i + 2. Let t be w(-6). Solve f*m + t = -12 for m.
-4
Let q(f) = -4 + 0*f - f + 0. Let p be q(-6). Suppose p*g = 1 + 3. Solve 3 = g*t - 3 for t.
3
Suppose 0 = -2*w + w + 3. Let i be (-5 - -2)/(-3) + 2. Suppose 0 = 3*f - 9 - i. Solve -16 + f = w*d for d.
-4