 4*j**3 - 12*j**2 + 25*j. Let t(c) = -7*k(c) - 5*n(c). Let y be t(-5). Solve -y*s - 9 = 6 for s.
-3
Let a be (1 + 0 - 6)*-3. Let i = a - 11. Suppose -3*c - 5 + 23 = 3*k, -3*c = -i*k - 11. Solve 6 = 5*z + k for z.
1
Let v = -1 + 1. Let a = 2 - v. Solve a = -f - 1 for f.
-3
Let t(l) = l**2 + 2*l. Let i be t(-4). Suppose -3*p = -i*p + 10. Solve -a = -p*a + 5 for a.
5
Let p(j) = -j**2 + 9*j - 13. Let l be p(8). Let v = 6 + l. Solve 3 = -2*u + v for u.
-1
Suppose 2*t + 1 - 13 = 0. Solve -t + 0 = -2*h for h.
3
Let o be (-106)/(-22) - (-6)/33. Solve -2*i = -o*i + 12 for i.
4
Suppose j + 2*h = -6 + 1, -2*j + 5*h + 26 = 0. Solve 12 = -0*v + j*v for v.
4
Let d(w) = -2*w**2 + w**2 - w + 2*w**2. Let h be d(0). Let r = -1 + 5. Solve h = -6*f + r*f for f.
0
Let p = -77 + 82. Solve p*r - 3 = -28 for r.
-5
Let o(w) = 9*w - 35. Let n be o(4). Solve -c - 1 = n for c.
-2
Let g = 0 + -5. Let w = 9 + g. Solve -w*y = -y for y.
0
Let t(j) be the first derivative of j**4/4 + 8*j**3/3 - j**2/2 - 8*j - 1. Let i be t(-8). Solve x = -i*x for x.
0
Let v be 0 + -1 + (-2 - -8). Suppose 24 = -k + v*k. Solve 3*z = z + k for z.
3
Suppose 0 = -5*f + 1 + 14. Solve f = -5*o - 7 for o.
-2
Suppose -11 = -b - 5. Solve -i = -b*i - 25 for i.
-5
Let t = -2 + 5. Suppose b + t*b = 20. Suppose 0 = b*q - 5*l - 35, 2 + 1 = -l. Solve 6 - 14 = -q*n for n.
2
Let m(x) = 2*x**3 - 3*x**2 + 2. Let b be (0 - 1)/((-2)/4). Let w be m(b). Suppose 1 = r - 2. Solve r*z = w*z for z.
0
Let l be 3/1 - (-2 + 3). Suppose l*d - 9 = -d. Solve d*x + 2 = 5 for x.
1
Suppose 9*m - 4*m = -75. Let v = 5 + m. Let w = 15 + v. Solve -w*p + 6 = -19 for p.
5
Suppose 0 = 4*o + 2*w + 74, 5*o - 2*w + w = -75. Let b be (0*4/o)/(-1). Solve b = -3*g - 2*g + 5 for g.
1
Suppose 0 = -6*p + p. Solve p = 3*y - 8 - 7 for y.
5
Let x be 3/(-2) + 5/(-10). Let k = 5 + x. Suppose -k*r = -2*r. Solve 0 = -r*y + 4*y for y.
0
Suppose 0 = g - 4*t + 19, 0 = -0*g - 4*g - 2*t - 22. Let x = g - -8. Solve x - 7 = 2*p for p.
-3
Suppose 8*f - 87 - 9 = 0. Solve 0 = -y - 2*y - f for y.
-4
Suppose 4*o = -0*o + 16. Suppose o*k - 8 = w + w, 0 = -4*w + 5*k - 4. Suppose -2*b - 2*j + 12 = 0, 0 = -j - 0*j + 1. Solve b = z + w for z.
1
Let n be 1*1/((-3)/(-6)). Suppose 5*x + n = -y + 7, -19 = 3*x + 5*y. Solve -3*j - x*j = 10 for j.
-2
Suppose q = -b - 0*b + 8, 4*b - 2*q - 8 = 0. Solve b*u = 13 + 3 for u.
4
Let i be ((-4)/(-12))/((-2)/(-12)). Let w(k) = k**2 + k. Let q be w(3). Solve -2*l = i*l - q for l.
3
Let u = 8 + -11. Let k(a) = a**3 + 4*a + 2*a**2 - 5*a + 2 - 2*a. Let l be k(u). Solve -l*v - 5 = -11 for v.
3
Suppose 6 - 70 = -4*f. Suppose 5*q + 3*l - 37 = 0, l = -3*q - l + 23. Suppose 0*p - q*p + 20 = 0. Solve -8*u = -p*u + f for u.
-4
Let k(b) = -b**3 - 4*b**2 - 2*b - 6. Let x be (-10)/3*(-18)/(-15). Let w be k(x). Suppose -16 = -5*n - w*f, 4*n + 0*n = 2*f + 20. Solve -p - 7 = -n for p.
-3
Suppose -38 = -u - 2*w - 3*w, -2*u + 51 = 5*w. Let k = 33 - u. Suppose 0*h + 5*h - k = 0. Solve -h = l + l for l.
-2
Let d be (-13)/(-5) - (-9)/(-15). Suppose -t + 2*q = 4, -d*t - 3*q - q = -8. Solve -i = -t*i for i.
0
Let a be 2/(-6) + (-25)/15. Let n(d) = 2*d**3 + 3*d**2 + d - 1. Let g be n(a). Let l = 19 + g. Solve -5*f + 3 + l = 0 for f.
3
Suppose 3 = 4*z - z. Let j be ((-10)/(-8))/(z/4). Let d = -14 + 15. Solve -3*m + j = -d for m.
2
Let f = 22 + -13. Suppose 6*j - 3*j = f. Solve 0 = 2*g - j*g for g.
0
Let q be 6/27 + (-68)/(-18). Suppose q*m - 5*a = 3 - 2, 3*m = 4*a. Solve 0 + m = y for y.
4
Suppose -5*k = -4*m - k + 12, -m - 4*k = 12. Suppose -4*y + y = m. Solve -3*l = -y*l - 12 for l.
4
Let o(l) = 2 + l + 1 + 5 - 3. Let m be o(5). Solve 0*h = -2*h + m for h.
5
Let q = 0 - -11. Let v(w) = -10*w**2 + 1. Let c(l) = l**2. Let t(x) = -4*c(x) - v(x). Let i be t(-1). Solve -i*h = 31 - q for h.
-4
Suppose 12 = 2*q + 40. Let f = 16 + q. Solve 0 = f*x - 2 for x.
1
Let q = 104 - 96. Solve 0 = 3*z - q + 2 for z.
2
Let u be (1 - 18)*(5 - 6). Let g = u - 9. Solve -g = -0*s - 4*s for s.
2
Let h(o) = o**3 - 2*o**2 - 4*o - 1. Let d be h(3). Let s be (-99)/(-4) + (-1)/d. Solve 0 = -2*p - 3*p + s for p.
5
Let b be 55/15 + 1/3. Suppose -5*r = -b*x + 3 - 8, 0 = -3*r + 3. Suppose -2*k + 2*w - 6*w = -6, -3 = -k + 5*w. Solve x = 2*d - 1 + k for d.
-1
Let j(x) = -2*x + 4. Let d be j(-7). Suppose 2*n + 4 = 4*t, 0*n + d = 5*t + 4*n. Solve 0 = -t*y - 10 - 0 for y.
-5
Let b be -7*(-3 + 76/28). Let i be 32/10 + b/(-10). Solve -i*k - 8 = -k for k.
-4
Let i = -10 + 5. Let j be ((-2)/2)/(i - -4). Solve j = -n + 2 for n.
1
Suppose -d = 5*w - 3*d - 38, 5*w - 37 = 3*d. Suppose 0 = 2*s + s + 5*a - 20, s + 3*a = w. Solve s = r - 0 for r.
5
Suppose -9*y + 36 - 9 = 0. Solve 4*r - 1 = y for r.
1
Suppose 0 = 2*l - f - 15, -5*f - 14 = 3*l - 4. Solve 6 = -l*n + 31 for n.
5
Suppose -g = 2*g - 6. Suppose 0 = -g*q + 37 - 7. Solve 0 = -4*v + v + q for v.
5
Suppose 3*g = -4*x + 16, -4*x + 8 = g - 8. Solve 9*l - x*l - 20 = 0 for l.
4
Let p be (-4)/(1*(-1)/4). Let u(b) = 2*b + 8. Let m be u(-3). Solve -m*j - p = 2*j for j.
-4
Let r(j) = j**2 - 4*j - 42. Let m be r(9). Solve -4 + 19 = -m*d for d.
-5
Let d be 2/5 - ((-3828)/30)/11. Suppose 5*z - 3*z + 4*i - 30 = 0, -3*z - 5 = -4*i. Solve -z*c - d = -c for c.
-3
Let v(r) be the third derivative of r**6/120 + r**5/15 - r**4/6 + r**3 + 2*r**2. Let g be v(-5). Solve -w - 4 = -g for w.
-3
Let x = 20 - 12. Solve x = 4*a - 8 for a.
4
Suppose 0 = b - 0 + 4. Let t = b - -4. Solve 3*f + 8 + 4 = t for f.
-4
Let h be -6 - -5 - (-1)/1*6. Solve -h*w + 9*w - 20 = 0 for w.
5
Suppose 0 = -b - 1. Let a = b + 7. Solve 5*z + a = -4 for z.
-2
Suppose 4*q - 14 = -2. Suppose -2*h + 2*c = -32, -2*c = -3*h - q*c + 32. Solve -3*o = -7*o + h for o.
3
Let d be 3 - (3 + (-20)/1). Suppose -5*r + q = -q - 8, r - 5*q = d. Solve c - 4*c = r for c.
0
Suppose -4*q + z = 6*z - 41, 5*q + 2*z - 30 = 0. Suppose 4*r - k = 17, 4*r = -q*k - k + 11. Solve -p = r*p + 15 for p.
-3
Suppose -2*p = -2*l - 2, 7*p - 2*p = -2*l + 5. Suppose -5*t + 2 + 23 = 0. Solve -16 = -t*i - p for i.
3
Suppose -5*g + 5 = -5. Solve 2*b = -4 + g for b.
-1
Let a be 6/15 + 2/(-5). Let d = a - -5. Solve 24 + 1 = -d*t for t.
-5
Let s(j) = j + 2. Let w(z) = z**2 - 5*z - 8. Let g be w(7). Let f be s(g). Solve 0 - f = 4*t for t.
-2
Suppose 4*z - 108 + 8 = 0. Solve -4*b = b - z for b.
5
Let q(g) = g**3 + g**2 - 11*g + 5. Let v be q(3). Solve 8*a - 10*a = -v for a.
4
Let i = 13 - 7. Let z be i*-1*(-1)/2. Solve -1 + 10 = z*d for d.
3
Let w be (17 + -12)*(-1)/((-2)/4). Solve -u - u = w for u.
-5
Let i(z) = 2*z + 8. Let b be i(-7). Let a be (3 + b + 3)/(-1). Solve -2*m - 1 + 11 = a for m.
5
Suppose 0 = 5*o + 5, -3*o - 9 = 2*a - 5*a. Let b(h) = 6*h**a - 2*h**2 - 3*h**2. Let d be b(2). Solve d*u = u for u.
0
Suppose 0 = 2*x - 0 - 6. Solve -x*h - 4 - 11 = 0 for h.
-5
Let a be 68/20 + 8/(-20). Solve a*t = -t - 20 for t.
-5
Let m be -20*(2 - (-11)/(-4)). Solve 0 = 2*w - 5*w - m for w.
-5
Let s(p) = 2*p - 13. Let h be s(8). Solve h*v = -v + 4 for v.
1
Suppose -3*s - 2 = -14. Suppose -s*p + 60 = p. Solve k - p = -3*k for k.
3
Let a = 4 - 1. Solve 4 = a*r + 13 for r.
-3
Suppose -5*l = -3*c - 4, l + l - 10 = 0. Let s = 11 - c. Solve s*z + 7 = 23 for z.
4
Let x = 7 + -22. Let h = 15 + x. Solve h*v = -3*v - 9 for v.
-3
Suppose a - h - h = 7, -a - 3*h + 17 = 0. Suppose 5*s - a = -1. Suppose t + s*o + 9 = 6*t, -3*t - 4*o - 5 = 0. Solve 0 = 4*b - t - 3 for b.
1
Let n be 19 - 3*(-1 - 0). Suppose -g = -5*v + n, 0*v = 2*v - 2*g - 12. Suppose v*c + 12 = 0, 0 = 4*x - 5*x + c + 6. Solve 0 = 2*y + x - 13 for y.
5
Let k be ((-20)/12)/((-2)/24). Solve 3*h + k = -h for h.
-5
Suppose 0 = 5*o + 10, -3*o - 2 = 3*f - 2*o. Solve f = 2*w - 2 for w.
1
Let q be (-18)/(-4) - (-1)/(-2). Suppose -3*f - 3 = -q*f. Solve 0*t = f*t for t.
0
Suppose 0 = -4*v + m + 52, 0 = 4*v - 7*v + 3*m + 39. Let z = v + -9. Solve z*a + 7 = -13 for a.
-5
Let y be (-1 - -1)*(-4)/(-4). Suppose y = 4*s - 0*s. Suppose 6*i - 5*i = s. Solve i = -5*l + 28 - 3 for l.
5
Suppose -4*k + k = -9. Let r(y) = 8*y - 6 - 2*y**2 - k*y + 3*y**2. Let v be r(-6). Solve -2*t + 3*t + 1 = v for t.
-1
Let j(s) = -s**2. Let c(w) = -w**2 + 3*w - 2. Let v be c(2). Let u be j(v). Solve 20 = -u*g + 5*g for g.
4
Let h(k) = -262*k + k**2 - 2*k**2 + 11 + 254*k. Suppose 10 = -i + 1. Let o be h(i). Solve o*q - 3 = q for q.