m = 2*u, 5*i + 25 = 0. Suppose -3*w + 3*l = u, -2*l + 4*l = -4*w + 18. Solve -w*b + 6 = -2 for b.
4
Suppose 2*b = 13 - 7. Solve b*w + 0 = 3 for w.
1
Let f(o) be the third derivative of -o**4/12 + o**3 - 3*o**2. Let y be f(3). Solve y = h - 5*h for h.
0
Let j = 8 + -6. Let d(f) = f**2 - 11*f - 4. Let h(p) = -2*p**2 + 21*p + 8. Let r(y) = 11*d(y) + 6*h(y). Let b be r(5). Solve 0*s = j*s + b for s.
-2
Let f be -1 + -1 - (-2 - -1). Let u be (1/f)/(2/(-12)). Solve 0 = u*o - 2*o + 12 for o.
-3
Let j = -7 + 11. Suppose -3*x - 80 = x. Let y be 8/(-36) + x/(-9). Solve y*w = 6*w + j for w.
-1
Let k(t) be the first derivative of -1/3*t**3 + 0*t + 2 - 2*t**2. Let j be k(-3). Solve 2*m = j*m - 4 for m.
4
Suppose 2 = -3*n + 11. Suppose -t - 6 = d + 2*t, 0 = -n*d - 3*t - 6. Solve d = -3*a - 0 + 6 for a.
2
Suppose 3*u - 3*g = -24, 4 = u + 3*g - g. Let f be 19 - (1 + (-8)/u). Solve 4*v - f = -0*v for v.
4
Suppose -4*f - 5*x + 35 = 0, 0 = f - 2*x - x - 30. Solve -2*i = 5 - f for i.
5
Let r be (-16)/10*35/(-14). Suppose r*g + 2*l + 0*l = 0, 3*g = -l - 2. Let s be ((-1)/(-2))/(g/(-8)). Solve -6*d + 16 = -s*d for d.
4
Let i(v) = -7*v + v**3 - 6 - v + 13*v**2 - 8*v**2. Let z be i(-6). Suppose 0 = 4*a - 3*a. Solve a = -3*d - z for d.
-2
Suppose -o - 4*m + 5 = 0, 5*o - m - 3*m = 1. Suppose 3*k + o - 19 = 0. Solve h = k*h + 15 for h.
-3
Suppose -5*s = -8*g + 4*g + 11, 5*g - 60 = -3*s. Suppose -g = -5*k + 11. Solve 2*v - k = 4*v for v.
-2
Suppose 5*j + 9 = -3*h, 5*h - j - 13 = -0*j. Solve -w + 2 = -h for w.
4
Let b be (-2)/3 - (-20)/(-6). Let k be ((-10)/b)/((-4)/(-8)). Let t = -5 + k. Solve -2*r = -t*r for r.
0
Let a be -3*10/(-15) + 1. Solve c - a*c = -8 for c.
4
Let u(z) = z**3 + 7*z**2 - 7*z - 10. Let m(a) = -2*a**3 - 14*a**2 + 13*a + 21. Let l(y) = 2*m(y) + 5*u(y). Let v be l(-8). Solve f = -v*f - 3 for f.
-3
Let v(a) = -a**2 - 5*a + 15. Let p(d) = -d**2 - 6*d + 15. Let g(b) = 5*p(b) - 4*v(b). Let f be g(-11). Solve 0*t = -2*t + f for t.
2
Let a(x) = 2*x + 14. Let o be a(-6). Solve -3*y - o*y + 5 = 0 for y.
1
Let h(r) = r**3 - 6*r**2 + r - 1. Let k be h(6). Suppose -2*j = -k*j. Let t be (12/(-16))/((-3)/16). Solve j = -4*m - 4 - t for m.
-2
Let y be 190/50 + 2/10. Solve y*i = 3*i for i.
0
Let x(o) = 2*o - 10. Let u(l) = l**2 - 2*l - 1. Let t be u(4). Let i be x(t). Solve -b + i = b for b.
2
Let o = 64 + -61. Solve -o*h - 10 = 2*h for h.
-2
Suppose -4*r - 15 = 29. Let w = r - -16. Solve -3*s + 2*s = -w for s.
5
Suppose -a - 5*s = -8, 4*s = a + 3*a - 152. Suppose -a = -2*z - y - 1, -5*z + 86 = 4*y. Solve -3*t - z = 1 for t.
-5
Let g = -1 - -3. Suppose -p - c = -8, -p = -3*c + g*c + 2. Suppose 3*i = -5*d + 19 - 5, -3 = -2*i + p*d. Solve i*r = -6 - 6 for r.
-4
Suppose -4*c = -7*c. Suppose 4*m - 27 + 11 = c. Solve w = -m*w + 5 for w.
1
Suppose 78 = 19*u + 2. Solve -6 - 2 = u*o for o.
-2
Suppose d - o = 69, -86 = -d + 2*o - 14. Suppose 14 + d = 4*w. Solve -x = 4*x + w for x.
-4
Let s(d) = d**3 - 5*d**2 - 5*d - 1. Let u be s(6). Suppose u*c - 14 = 11. Suppose 0 = -4*v + 2*o + 8, 3*v + o + 4 = -2*v. Solve v = c*f - 22 + 2 for f.
4
Let u(f) = 6*f**2 + 2*f + 1. Let o be u(-1). Let y be ((-1 - 2) + o)*1. Let n be 0 + (y + -2)/1. Solve n = -t - 0*t for t.
0
Let c(u) = 3*u - 2. Let i be c(2). Let n(f) = f**2 + 10*f - 2. Let b be n(-10). Let a be (i - 13)*b/6. Solve -3*d - 12 = a for d.
-5
Suppose -9*k - 8 + 53 = 0. Solve -k*r = -9*r + 20 for r.
5
Suppose -5*v = -3*c + 34, -c + 4*v + 28 - 5 = 0. Solve -y + c*y = 0 for y.
0
Let l = 25 + -25. Solve l = 3*z + 2*z + 15 for z.
-3
Suppose 5*v - 6 + 86 = 0. Let q be 4/v + (-30)/8. Let b = 11 - q. Solve -2*a = a + b for a.
-5
Suppose 56 = 3*z + 23. Let m(s) = -13*s - 11. Let a(l) = 7*l + 6. Let j(d) = z*a(d) + 6*m(d). Let v be j(-6). Solve -v*f = -5*f - 3 for f.
3
Let w = -12 - -20. Suppose -2 = 4*f + 2*k - w, -f + 12 = 4*k. Solve -3*v - v - 16 = f for v.
-4
Let l(g) = -g. Let f(y) = 3*y + 1. Let j(s) = f(s) + 6*l(s). Let q be j(-1). Solve -q*p + 16 = -0*p for p.
4
Suppose 4*z + 0*z = 120. Suppose 4*w = w + z. Solve -4*i + w = -6 for i.
4
Let r = -42 + 62. Let x be (-12)/r + (-3)/(-5). Solve 4*o + 3 - 23 = x for o.
5
Let k(u) = 4*u + 5. Suppose 25 = 2*v + 3*v. Let g(b) = -3*b - 4. Let t(l) = v*g(l) + 4*k(l). Let i be t(3). Solve -2*m + i*m + 3 = 0 for m.
-3
Suppose -3*r - 80 = -7*r. Solve r = -3*k - k for k.
-5
Let m(j) = -j**3 - 4*j**2 + 5*j + 2. Let o be m(-5). Let g be 1/o - 82/(-4). Solve -3*w - g = -6 for w.
-5
Let s be ((-8)/12)/(4/18). Let y be ((-3)/2)/(s/10). Solve -y*g + 3*g = 0 for g.
0
Let x = 6 + -6. Solve x = o + o for o.
0
Suppose 11 = 2*a + 5. Suppose 0 = 5*b - u - 7, -u + 5 - 2 = 0. Let r = 6 - b. Solve -a = f - r*f for f.
1
Let u(s) = -s**2 - 6*s - 3. Let i be u(-3). Suppose 0 = -4*o - 16. Let p be (6/o)/((-3)/4). Solve -p*n - n = -i for n.
2
Let x(d) = -d**3 + 6*d**2 + d - 6. Let s be x(6). Suppose s = 2*k - k. Suppose 4*c + 0*c = k. Solve c*l = l - 1 for l.
1
Suppose 2*v + 0 - 6 = 0. Suppose -5*l - 2*h = -20, 8*h = v*l + 4*h - 12. Solve -5 = -l*p - 13 for p.
-2
Let f(n) = -n**2 - 9*n - 4. Let j be 8*(2 - 1)/(-1). Let t be f(j). Let s(k) = k**2 + 2*k + 3. Let x be s(-3). Solve -2*w + t = -x*w for w.
-1
Let g(c) be the second derivative of c**4/4 - c**3/6 - c**2/2 + 3*c. Let r be g(-1). Solve -n = -r + 5 for n.
-2
Let n = 8 + -7. Suppose 8*c = 7*c + n. Solve -c = 4*u + 11 for u.
-3
Suppose 4*d - 5 = 3. Suppose -3 = -0*w - 3*w, 14 = 4*n + d*w. Solve 5 = -4*a - n for a.
-2
Suppose -2*b + 10 = -2*j, 6 = 5*j + 3*b - 1. Let y = 10 + j. Solve 4 = -l + y for l.
5
Suppose -11*t + 1 = -21. Solve 3*x + 15 = -t*x for x.
-3
Let g = 17 + -13. Let w be g/(-10) - (-36)/15. Solve w = 2*p - 3*p for p.
-2
Suppose a - 2 = 0, -5*a - 6 = -3*f - 8*a. Suppose 0 = u - f*u. Solve u = -2*o + 4*o for o.
0
Suppose -7 = -5*v - x, -2 = 4*v + 4*x + 2. Solve -8 = v*n + 2 for n.
-5
Let i(d) = -3*d + 3. Let y be i(-5). Suppose -2*j - 6 = -y. Solve 3*r + j = 5*r for r.
3
Let a(k) = 1 - 5*k + 4 + 4*k + 3. Let p be a(8). Solve p - 3 = -o for o.
3
Let m be -1 - 1/((-1)/1). Let t be (0*(-3)/(-9))/2. Let h be (-1 - t)*(-1 + 0). Solve m = x - h for x.
1
Suppose -w = 5*g + 3*w + 26, -5*g - w - 29 = 0. Let k(v) = v + 8. Let j be k(g). Suppose 0 = -4*m - 4*f + 5 - 13, 0 = 4*m - 2*f - 16. Solve -j*q - 4 = -m for q.
-1
Let c(h) = h**2 - 18*h + 35. Let i be c(16). Solve 0 = -8*j + i*j - 25 for j.
-5
Suppose -u = 2*z - 5*z - 4, 3*u + 5*z = 40. Solve -3*s - 2*s = u for s.
-2
Let r = -42 + 43. Solve 0 = 4*o - r + 17 for o.
-4
Suppose 5*m = 2*m, -4*v + 8 = 4*m. Solve 1 = v*c - 3 for c.
2
Let u be (-132)/(-16) - 6/(-8). Let c(j) = j**3 - 9*j**2 + j - 7. Let p be c(u). Solve 4*q = p*q + 6 for q.
3
Suppose 0*w - 2 = -2*w. Let h(z) = -6*z + 4. Let m(g) = -g + 1. Let d(u) = -h(u) + 3*m(u). Let l be d(w). Solve 0 = -l*t + 3*t for t.
0
Let x(m) = m**3 + 8*m**2 + 7*m + 4. Let u be x(-7). Let q be -5 + 2 + u + 2. Suppose q*t - 11 = -2. Solve 0*j = -3*j - t for j.
-1
Suppose -5*z + 50 = 2*y, 0*y - 4*y - 2*z + 132 = 0. Suppose y = -6*d + d. Let w = -6 - d. Solve -w = -a + 2*a for a.
-1
Let d be 1 + 1 + 4/2 + -1. Solve d*x = 2*x + 2 for x.
2
Let c(m) = -5*m**2 + 6 + 0*m**3 - m**3 + 6*m + 0*m. Suppose l - 6 = 2*l. Let w be c(l). Solve w*y - 4*y = 10 for y.
5
Let y(v) = v**2 - 13*v + 3. Let f be y(13). Solve f = t - 4*t for t.
-1
Let v(w) = 10 + w + 3*w - 3*w - 9. Let a be v(1). Solve a*m + 0*m = 6 for m.
3
Let v(y) be the second derivative of 1/6*y**3 - y**2 - 2*y + 1/12*y**4 + 0. Let g be v(-2). Solve 2*w + g*w + 6 = 0 for w.
-3
Let j(h) = -3*h - 8. Let f be j(-7). Let v = f - 11. Solve v*t = -8 - 2 for t.
-5
Suppose 0 = -2*w + 9 - 3. Suppose v + 24 = w*v. Solve -y - 3*y + v = 0 for y.
3
Suppose 5*p - 3*c - 19 = -6*c, 0 = 4*p + 4*c - 12. Solve -p*g - 4 = 21 for g.
-5
Suppose -3*a = -5*a + 8, 2*a - 16 = -2*y. Solve 0 = y*n - n - 6 for n.
2
Let v = -6 + 6. Let r(p) be the third derivative of p**5/60 + 5*p**3/3 - 3*p**2. Let x be r(v). Solve 0 = -5*k - 15 - x for k.
-5
Let n = 40 + -30. Solve 3*u - n = 8*u for u.
-2
Suppose -17 = -5*j - 2. Suppose 2*k = -j*o - 26, -3*k = 2*k - 4*o + 19. Let w = -1 - k. Solve p - w*p = -25 for p.
5
Let c = 15 - 7. Suppose 0*l - l = -c. Solve 0 = 4*v - l - 12 for v.
5
Suppose q - 4*q = 0. Suppose 88 = 5*i - 4*l, 2*i + 4*l = 13 + 11. Let x(g) = -g