+ 3*l**2 + l - 3. Let u be z(3). Solve u = 2*y - y - 4 for y.
4
Let r be -1 + 3/2 - (-1)/(-2). Solve 0 = -r*g + 3*g + 6 for g.
-2
Suppose 0 = -2*t + 4*t - 6. Solve -5 + t = -g for g.
2
Let j be ((-8)/6)/((-10)/15). Suppose 2 = -o - 2, -3*m - 2*o = 8. Solve -j = c - m*c for c.
-2
Let s(a) be the third derivative of -a**6/120 - a**5/30 + a**4/12 + a**3/3 + 11*a**2. Let d be s(-3). Solve -u = -2*u + d for u.
5
Let m(v) = 2*v**3 - 2*v**2 - 2*v. Let f be m(2). Let b(s) = s**2 - 8*s + 7. Let l be b(7). Solve -f*u + l = -4 for u.
1
Let j(m) = m**3 - 8*m**2 - 8*m - 1. Suppose -3*x = -5*q + 57, -q = -2*x - 9 - 8. Let y be j(q). Suppose -2*w = -0 - y. Solve w*u - 3*u = -3 for u.
-3
Let j be -9 + 9 - (-1 + -1). Suppose -3*x - i - 10 = -7*x, -4*x + 22 = 5*i. Suppose x*a = -a. Solve a = -j*k + 7*k - 15 for k.
3
Let g be (-2)/10*8*-5. Let q be ((-3)/(-1))/(-1 - -2). Let n be 0/2*(-3)/(-9). Solve n = -5*w + q*w + g for w.
4
Let s = -5 + 3. Let a(x) = -x**3 - 3*x**2 - 3*x - 2. Let l be a(s). Solve 0 = -l*j + 4*j for j.
0
Let c be (46/4 - 1)*2. Let v = c + -11. Solve -v = 3*a - a for a.
-5
Suppose 0*a = -5*a + 85. Let q = 1 + a. Let d = -9 + q. Solve -3*o = -0*o - d for o.
3
Let x = 20 + -16. Solve 0 = x*n - 24 + 4 for n.
5
Let d be 2 - 1/(1/(-7)). Let p = d - 5. Solve 0 = -3*i + p - 13 for i.
-3
Let u = -4 + 6. Suppose 0*v = -u*v. Solve v*a = -5*a for a.
0
Let q = 34 + -32. Solve -q*s + 4*s + 2 = 0 for s.
-1
Let p(k) = -k + 1. Let g be p(-2). Let i(b) = -b**2 - 5*b + 3. Let v be i(-5). Solve v*f - g = 9 for f.
4
Suppose 15 = 3*r - 4*a, -4*r + 1 = 3*a - 19. Let h = r - 2. Solve -h*o = -o for o.
0
Let q(j) = 5*j - 20. Let m be q(4). Solve 3*b - 2 - 10 = m for b.
4
Let j(b) = b**2 + 8*b + 9. Let c be j(-6). Let z = c + 3. Solve k = -z*k for k.
0
Let w(j) = j + 2. Let l be w(0). Suppose -y + l = -2. Solve -d = y*d for d.
0
Let a = 36 + -36. Solve 0 = -a*r - 3*r + 15 for r.
5
Let j be (-1)/4 - 126/(-24). Suppose -w - 4*w + j = 0. Solve -3 = v + w for v.
-4
Suppose 5*q - 10 = -3*a + 2, 0 = 3*a + 3. Solve x - 2 = q for x.
5
Suppose -2*z - 3*m - 9 = 0, -m + 3 = z - 2*m. Suppose p - 5*i + 21 = z, p - 3*p - 5*i = -33. Suppose -p*k = k - 40. Solve 0 = -5*j + k + 7 for j.
3
Suppose -3*u + 15 = -0*u. Let m(t) be the first derivative of t**4/4 - 5*t**3/3 + 4*t - 2. Let h be m(u). Solve -h*s - 1 = 3 for s.
-1
Let s = 7 + -5. Let u be s/9 + (-150)/(-54). Solve 5 + 1 = -u*w for w.
-2
Let q be (-1)/(-5) + 297/15. Let v be (8/(-6))/(q/(-45)). Solve 2*x = v*x + 4 for x.
-4
Let p(u) = u**2 - 7*u + 6. Let z be p(6). Let f(q) = 7*q + 4. Let g(k) = -27*k - 15. Let t(a) = -15*f(a) - 4*g(a). Let h be t(1). Solve z = -0*d - h*d for d.
0
Suppose 4*p - 5*x - 37 + 1 = 0, 3*x = p - 16. Suppose 0 = p*n - 5*n + 2. Suppose -r = -i + 3, n*r + 4 + 2 = -3*i. Solve -l = -i*l for l.
0
Let z(t) be the third derivative of t**4/24 - t**3 + 4*t**2. Let g be z(10). Solve 3*q - g = 5 for q.
3
Let t = 10 - -12. Solve t + 3 = -5*k for k.
-5
Let r = -3 + 7. Suppose -4*x + 5*x - r = -q, 4*x = -q + 16. Solve q = -l + 1 - 3 for l.
-2
Let f be 1 + -3 - 10/(-2). Let y = f - -1. Solve 5*i - 24 = -y for i.
4
Let p = 39 - 21. Suppose -4*c = -7*c + 3*q + p, 4*c = -3*q - 4. Solve c*y = -1 - 1 for y.
-1
Suppose -3*y + 2*w + 13 = 2*y, 0 = 5*y + 4*w + 11. Solve -4*q - y = -5 for q.
1
Let p = 4 + 0. Suppose -p = -2*d - 0*d. Suppose -u - d = -11. Solve u = -3*x + 21 for x.
4
Suppose 4*v - 21 + 9 = 0. Let o(f) = f**2 - 6*f + 6. Let m be o(5). Suppose -v*p + m = -5. Solve d - p*d - 4 = 0 for d.
-4
Let r(j) = -j**2 - 6*j + 11. Let o be r(-7). Solve 0 = -o*i - 11 + 3 for i.
-2
Let d(l) = -l**2 + 12*l - 9. Suppose 0 = h + 7 - 1. Let a(r) = -r**2 - 9*r - 7. Let p be a(h). Let v be d(p). Solve -8 = 4*o - v*o for o.
-4
Suppose 2*o + 86 + 26 = 0. Let j be (-119)/o + 1/(-8). Solve m = -j*m for m.
0
Let d be (-16)/(-6) + 4/12. Solve -d*v - 4 = -1 for v.
-1
Suppose 0 = -3*c - 4*i - 5 + 17, 2*c - 3 = -i. Let x = c - -1. Solve -x - 5 = 3*v for v.
-2
Suppose -17 = -4*i + 7. Let u = i + -3. Solve 0 = -y + u*y for y.
0
Suppose -4*a - 4 = -x - x, 2*a - 10 = 4*x. Let o be 6 - 9/(-12)*x. Solve -5 = o*g - 20 for g.
5
Let p(x) = x**2 + 21*x + 5. Let o be p(-21). Solve -o*u + 25 - 5 = 0 for u.
4
Suppose 0 = -3*n + 4*t + 24, -2*t = 2*n + 3*t - 16. Let g be 3/4 - (-34)/n. Solve -6 - 19 = g*z for z.
-5
Let m be 1 - 3*6/(-9). Suppose r = m*r. Solve -5*i + 3*i + 8 = r for i.
4
Let a = -16 - -19. Solve n - 4*n = a for n.
-1
Let z(n) be the second derivative of n**3/6 + 9*n**2/2 + 3*n. Let b(p) = 5*p - 1. Let k be b(-1). Let s be z(k). Solve t = -2 - s for t.
-5
Let z(y) = -y - 2. Let x be z(-2). Let t(q) = q**3 - 10*q**2 + 8*q + 9. Let j be t(9). Let l = j + x. Solve 3*g + l = 9 for g.
3
Suppose -2*o + 8 = -8. Let x = o - 6. Solve 18 = 5*i - x for i.
4
Let m(p) = p - 1. Let n be m(2). Let c(l) = l. Let j be c(0). Let y = 7 - 5. Solve y*k - 3*k + n = j for k.
1
Suppose -5*j + 4 = -4*j. Solve -25 + 5 = -j*o for o.
5
Suppose -32*i = -36*i. Solve 3*h - 3 = -i*h for h.
1
Let y be (2/1 + -3)/(-1). Let c(v) = 6*v. Let k be c(y). Suppose -4*q + 5 = -2*l - 3, 0 = 4*q - 3*l - k. Solve q*s - 6 = -15 for s.
-3
Let h = 110 + -106. Solve k = h*k for k.
0
Suppose -2*t - 3*p + 14 = 0, 3*p = 2*t - t + 11. Solve 3*b = -7 + t for b.
-2
Suppose 0*x = -x + 3*k + 14, -4*k - 6 = 5*x. Suppose -x*n = 3*n + 5. Let u be n*(-1 - -3) - -2. Solve u = -3*s - 2*s + 15 for s.
3
Let i(v) = -v + 4. Let r be i(-8). Solve -3*x + 0*x - r = 0 for x.
-4
Let p(m) = 3*m - 10. Let y be p(5). Solve 5*z = -30 + y for z.
-5
Suppose -k - 2 = -1. Let s(p) = -p**2 - 9*p - 1. Let q be s(-9). Let b = q - k. Solve b = -4*u - 0*u - 8 for u.
-2
Let c(o) = 2*o + 2. Let g be c(-1). Let f = -4 + 8. Solve f*d + 8 = -g*d for d.
-2
Let g(r) be the first derivative of r**3/3 + 3*r**2 + 2*r + 2. Let x be g(-6). Let b be x + 3 + -2 + -3. Solve 0 = s - 5 - b for s.
5
Let b(k) = 0*k**2 - 4*k - k - k**2 + 2*k**2. Let d be b(6). Solve d*j = j + 15 for j.
3
Let d(r) = -r**3 + 4*r**2 + 6*r - 2. Let w = -9 - -14. Let a be d(w). Let v = 4 + 1. Solve -10 = -a*o + v for o.
5
Let g be -10*((-3)/1 - -2). Suppose -6 = -2*x + 3*s, -5*x + 0*s - 2*s = -15. Solve -x*t - 1 = -g for t.
3
Suppose 0 = -4*v - 6 - 18. Let l(g) = -g**2 - 6*g + 5. Let f be l(v). Suppose -3*d + f = -1. Solve -d = y - 3 for y.
1
Let g(f) = -f - 5. Suppose 2*x - x = 2*u + 17, -43 = 4*u - 5*x. Let p be g(u). Solve 3*v = -p + 5 for v.
1
Let y be (-22)/(-33) + (-10)/(-3). Solve 2*f + y = -2 for f.
-3
Suppose -3*h + 2*q = -26 + 9, -4 = -h - q. Suppose -h*n + 63 - 13 = 0. Solve -4*d = -2*d + n for d.
-5
Let i(n) = 4*n. Let k be i(1). Let p(j) = -j - 5. Let r be p(-5). Suppose r = -4*t - 1 + 25. Solve -t = -k*q + 2*q for q.
3
Let y = 5 + -1. Solve 0*t = -y*t - 16 for t.
-4
Let p be 1/((-6)/(-2))*147. Suppose 3*i + 115 = -2*i. Let o = p + i. Solve -4*f = o - 6 for f.
-5
Suppose 2*f = -0*f + 20. Let q = f - 7. Let h = 5 - 3. Solve a + q = -h*a for a.
-1
Let t(x) = -x**3 + 11*x**2 - 10*x + 5. Suppose 5*h - 6*o - 62 = -2*o, 4*h - 4*o = 52. Let b be t(h). Solve -b*c = 2 + 3 for c.
-1
Let k(t) = -t**3 + 4*t**2 + 6*t - 3. Suppose u + 0*u = 0. Let x = 5 - u. Let f be k(x). Solve 1 = f*j - 3 for j.
2
Suppose 4*h - 2 = -3*f, 0*h - 3*f - 14 = -4*h. Solve h*j + 3 = -1 for j.
-2
Suppose -3*o = -3 - 9. Solve o*w = -w + 15 for w.
3
Let d = -4 - -5. Suppose 4*z - d = 11. Let v = z + 1. Solve v = q + q for q.
2
Let x be (-1 + 0)/(3/(-9)). Let p be ((-4)/x)/((-12)/54). Solve -p = -u - u for u.
3
Let w(d) be the first derivative of -d**2 - 7*d - 1. Let y be -7 - -6 - (2 - -3). Let v be w(y). Solve 0 = l - 0*l - v for l.
5
Let q be (-14)/35 - (-4)/10 - 0. Solve -2*o - 2*o = q for o.
0
Let j(v) be the first derivative of v**4/4 + 5*v**3/3 - 7*v**2/2 - 2*v + 4. Let y be j(-6). Solve 0 = b + y*b - 20 for b.
4
Let a = -4 - -9. Let x(o) = -o**3 + 5*o**2 + o - 3. Let c be x(a). Let z = 2 + -2. Solve -c*s - 4 - 6 = z for s.
-5
Let b(i) = -i**3 - 11*i**2 - 29*i - 2. Let q be b(-4). Let p = 3 + -2. Let v = p + -1. Solve v*f = -q*f - 4 for f.
-2
Suppose -2*s = -4 - 0. Suppose -s - 4 = -2*d. Suppose 0 = -l + 2 + d. Solve l*r = 1 + 14 for r.
3
Let f(u) = -u**3 + 5*u**2 + 5*u + 4. Let q be f(6). Let c be q/3 - (-68)/12. Suppose -5*a + 30 = -c*z, z = -a - 0*z. Solve a*k + 0*k - 6 = 0 for k