 be b(0). Solve 0 = n - 0*n - m for n.
5
Let w(y) be the second derivative of y**5/120 - 7*y**4/24 - y**3/2 - 2*y. Let t(c) be the second derivative of w(c). Let h be t(8). Solve -2*b = -1 - h for b.
1
Suppose -3*l = 9, 2*z + z - 4*l = 24. Suppose 4*a + 5*b - 40 = 0, -2*a - 3*b + 20 = b. Suppose 3*v - a = v. Solve -z*q - v = q for q.
-1
Suppose 6*p = p + 45. Let n be (2/(-4))/(p/(-54)). Solve 5 = -n*u + 2 for u.
-1
Suppose 0 = 6*o - 13 - 23. Solve 2*w - o = -w for w.
2
Let x be (0 - -3)/(1*(-6)/(-4)). Solve -x*f - 3*f = 20 for f.
-4
Let x(l) be the first derivative of -l**3/3 - 5*l**2/2 + 4*l - 3. Let r be x(-5). Solve -20 = -0*k + r*k for k.
-5
Let h be 1 - 7 - (-14 + 11). Let o = -3 - h. Solve 2*g = -6 - o for g.
-3
Let q(v) = v**3 - 4*v**2 + 2*v - 5. Let c = 6 - 2. Let g be q(c). Solve -g + 0 = n for n.
-3
Suppose u - 2 = 3*s, u - 4 = -u + 3*s. Suppose -11 = 2*w - 3*w - u*h, -20 = -4*h. Solve -w = z - 2 for z.
1
Let q(w) = w**2 - 11. Let l be q(0). Let d(z) = -z**3 + 5*z**2 + 6*z + 6. Let a be d(6). Let c be l/(-3) + 2/a. Solve -c*y - 1 - 3 = 0 for y.
-1
Suppose 2*s = -0*s. Suppose 5*b + s = 2*z - 5, -4*z = -2*b - 2. Solve -x = -z - 4 for x.
4
Suppose 3*c + 25 = -5. Let q be 17/2 - c/20. Let y be 5/1 + (-6)/3. Solve 0*k - q = -y*k for k.
3
Let t = 14 + -12. Let y be 0/4 - 0/1. Let q = -4 + 6. Solve y = t*k + q for k.
-1
Let v(b) = -b**2 - b. Let d(l) = l**3 + l**2 - l - 2. Let t(o) = d(o) - 2*v(o). Let n = -7 - -5. Let w be t(n). Solve 2*s = -w*s + 6 for s.
3
Suppose 0*n + 60 = 4*n. Solve 0 = 3*x - 3 + n for x.
-4
Suppose -8 + 12 = i. Solve i*h - h - 12 = 0 for h.
4
Suppose -7*u + 4*u = -9. Solve 1 = a - u for a.
4
Let v = -72 - -80. Solve -3*k = -v*k + 10 for k.
2
Let a = -5 - -7. Suppose 2 = -4*y - a*d, -4*d - 1 = y + 3. Solve y = -0*m - m + 5 for m.
5
Suppose b - 8*b = -7. Solve -n + 2*n = -b for n.
-1
Let q be (-4)/18 - (-454)/18. Let y be 244/10 + (-10)/q. Suppose h + 2*m = -0*h - 6, 0 = -2*h + 5*m + y. Solve 3 = h*u - 7 for u.
5
Let s be ((-4)/(-10))/((-4)/(-20)). Solve y - 3 = s for y.
5
Suppose 0 = 2*c - 0*c + 4*o + 4, -10 = 5*o. Solve c = i - 3 for i.
5
Let l = 0 - -2. Suppose -4*a = 16, -a + l*a = 5*n - 9. Let z(x) = x**3 + 2*x**2. Let q be z(-2). Solve -i = -q*i - n for i.
1
Let r be (12/(-15))/(-3*(-6)/(-225)). Solve 5*g + 0 = -r for g.
-2
Let n be 3/(-3)*(3 - 11). Solve -4*g + 0 = n for g.
-2
Let k(z) = -z**2 + 7*z - 1. Let y be k(5). Let d = 13 - y. Solve -2*a = -0 + d for a.
-2
Let z = 6 + -4. Let t be 1 - 3 - z - -1. Let j be (3 + t)/(-2*1). Solve 2*a = -j*a + 2 for a.
1
Let p(z) = z + 11. Suppose -k - 6 = 5. Let m be p(k). Solve m = -0*f + 4*f - 4 for f.
1
Let d(c) be the third derivative of -c**6/120 + c**5/15 + c**4/4 + c**3/6 - 3*c**2. Let l be d(5). Solve -4*n = -2*n - l for n.
3
Suppose -3*d = -2*t - 3*t + 62, -2 = -t - 2*d. Let j be t/(-2)*9/15. Let o(u) = u**2 + u - 4. Let i be o(j). Solve 12 = -i*w - 2*w for w.
-3
Let o(s) = -3 - 2*s + 2 + 3 + 3*s. Let f be o(5). Suppose f*z = 4*z + 66. Solve -4*y - z + 6 = 0 for y.
-4
Suppose 2*t + 2*x + 20 = -0*t, -3*x + 6 = -3*t. Let c(g) = g**3 + 5*g**2 - 6*g. Let r be c(t). Suppose -2*f + 18 = -0*f. Solve r = 2*k - f - 1 for k.
5
Let z(g) be the first derivative of -g**2/2 + 8*g - 4. Let x be z(6). Solve x*r = -2*r - 12 for r.
-3
Let q(u) = u**3 + u. Let j be q(-2). Let z be j/(-15)*(-45)/(-6). Solve -z*p - 1 = -4*p for p.
-1
Let f(n) be the third derivative of -n**4/6 - 3*n**3/2 + 3*n**2. Let c be f(-6). Solve 3*l + 0 - c = 0 for l.
5
Suppose p + 24 = 3*g + 4, -4*g - 2*p + 20 = 0. Solve g*j - j = -15 for j.
-3
Suppose -5*n + f = -5, -n - 2 = 5*f + 23. Suppose -5*v - 2*o - 3 = 0, 4*v + 4*o = -1 - 11. Solve 0 = -n*b + b + v for b.
-1
Let v(c) = 24*c + 1. Let t be v(1). Suppose 0*m = 5*m - t. Solve 0 = -5*w + 4*w + m for w.
5
Suppose 3*l + 2*b - 8 = 0, 12 = -l - b + 4*b. Solve l = q - 0*q + 5 for q.
-5
Suppose -14 = -2*n + w, -4*n - 3*w + 5 + 3 = 0. Solve t + 2 = n for t.
3
Suppose -b - 10 = -6*b. Solve b*k - 3 = 5*k for k.
-1
Suppose -k = -4*k + 15. Suppose 4*w - 31 = -3*b, 22 + 3 = w - k*b. Suppose -5*h = -4*z + 45, 4*z = -0*h + 3*h + 35. Solve -z*u + 0 = -w for u.
2
Let r = -24 + 25. Solve r = -w - 2 for w.
-3
Let v be (-2 + 6)*4/8. Suppose 2*n - 4*n + 2*u - v = 0, -3*n + 5 = u. Let f be (5 - 3) + (-1 - n). Solve -4*t + 0*t + 8 = f for t.
2
Suppose v + s + 35 - 8 = 0, -4*v - 123 = s. Let j = v + 45. Solve 4*x + 3 + j = 0 for x.
-4
Suppose -26 = -5*z - 6. Solve -6 = -5*m + z for m.
2
Let u = -1 - -1. Let g = 2 + 1. Let k be (-115)/(-20) - g/4. Solve u = -d + 6*d + k for d.
-1
Let p(m) = m**2 - 4*m - 8. Let n be p(6). Suppose -4*w + 8 + n = 0. Suppose 6 = w*f - 0. Solve 4*a - f - 2 = 0 for a.
1
Suppose 3*a + 33 = n + 2*n, -3*n - 5*a + 65 = 0. Let s be 1 + (1*-1 - -2). Solve 0 = 7*o - s*o + n for o.
-3
Let o = -39 + 41. Solve -o*i = 3*i for i.
0
Let i be 8*-3*(-2)/6. Suppose -2*n - 2*o - 13 - 49 = 0, 2*n = -3*o - 65. Let q be i/n + (-18)/(-14). Solve -4 - q = l for l.
-5
Let s(m) = 3*m**2 + 4*m + 2. Let i = 3 - 5. Let a be s(i). Let c = -5 + a. Solve c + 4 = w for w.
5
Let m be (5/(-4))/((-7)/28). Suppose 0 = f - 5*y + m, -2*f - f - 2*y + 2 = 0. Solve f = -7*r + 3*r - 8 for r.
-2
Let k(p) = -p + 10. Let d be k(6). Suppose -1 = 2*b + 1, -m + 5 = -d*b. Solve -l - 3 = m for l.
-4
Let m(z) = -z**3 + 5*z**2 + 2*z - 5. Suppose s - 2 - 1 = 0. Suppose -5 = -s*q + 2*q. Let o be m(q). Solve -o*a + 8 = -a for a.
2
Let k(t) = t**3 - 6*t**2 + 5. Let n be k(6). Suppose -4*p - n = -9*p. Solve -p = u - 2 for u.
1
Suppose -5 = -p - 0. Let z = -176 + 184. Solve -p*o = -2 - z for o.
2
Suppose 1 = -m + 2*m. Solve 4*d - 7 = m for d.
2
Suppose -4*t = -3*t + 4*x + 19, -x = 3*t + 2. Solve z + 0 = -t for z.
-1
Suppose u + u = 0. Solve u = 3*y - 5 - 10 for y.
5
Let k = 29 + -25. Solve -k*z = -4 + 20 for z.
-4
Let h be (-5)/4*-2*2. Suppose 4*y - 2 - 10 = 0. Solve -y + h = -2*j for j.
-1
Let t be (30/(-4))/((-2)/4). Let y be 19/5 + 3/t. Solve 6*f = y*f - 8 for f.
-4
Let k(m) = 11*m**3 + 6*m**2 + 12*m - 2. Let w(g) = -7*g**3 - 4*g**2 - 8*g + 1. Let t(q) = 5*k(q) + 8*w(q). Let f be t(-2). Solve 20 = -r + f*r for r.
4
Let t(x) = x**2 - x + 2. Let a be t(0). Let n = 30 - 9. Suppose -a*h = -w - 4 - 3, -3*h + n = -5*w. Solve h*z + 0*z = 2 for z.
1
Let o = -1 + 10. Suppose 5*n - 5*i = 15, 5*i + 18 - 3 = 4*n. Solve -3*j - o + 0 = n for j.
-3
Let y be (-5 + 6)*(0 + 0 + 0). Solve 2*m + y = 2 for m.
1
Let z(g) = g**2 + 3*g - 4. Let a be z(-5). Suppose -a = -s - s. Solve -q + s = -2*q for q.
-3
Suppose -20 + 29 = 3*y. Solve -y*u = -2*u - 1 for u.
1
Let x = -21 - -34. Let g(u) be the first derivative of -u**4/4 - 4*u**3/3 + 3*u**2/2 + 2*u - 3. Let s be g(-5). Solve -x = 5*z + s for z.
-5
Let x be (-6)/4 - (-39)/6. Solve -x*q - 24 = 1 for q.
-5
Let k be (-1)/(-3) + (-63)/27. Let r be (-4)/(-3 - k) + -4. Solve r = 3*c - 0*c + 15 for c.
-5
Let d(n) = 4*n**2 - 3*n - 2. Let s be d(-1). Solve -5*c + 5 + s = 0 for c.
2
Let f = 56 - 52. Solve -8 = -f*g - 0 for g.
2
Let o(a) = -a**3 - 10*a**2 - 10*a - 4. Let i be o(-9). Solve -4*d + i = -3*d for d.
5
Suppose c + 1 = -k, -4*c - 5*k = -0*c + 2. Let o be -1 + 6 + c + -2. Solve s = -o*s + 1 for s.
1
Let d(f) = f**2 + 8*f - 7. Let y be d(-8). Let a = y + 12. Let c(w) = w - 1. Let j be c(a). Solve 17 + 3 = -j*m for m.
-5
Let a = -3 + 9. Let i(w) = w - 4. Let f be i(a). Suppose d = f*d. Solve -z = -d*z for z.
0
Let z = 44 + -40. Suppose -3*l = -10 + 1. Solve l*p = -p + z for p.
1
Suppose 3*h = 2 + 10. Suppose -q - q = -h. Solve -q*f = -0*f for f.
0
Let y(i) = i**2 - 4*i - 1. Let s be y(5). Suppose 0 = -s*k - 4*z + 3*z + 19, -k = -4*z - 26. Let t = -3 + k. Solve 4*g - t*g + 1 = 0 for g.
-1
Suppose 19 = 9*s + 1. Solve s = 4*d - 2 for d.
1
Let l be (-24)/2 - (-2 - 0). Let k be 2 - l*(-2)/(-4). Solve 0 = y - 3 + k for y.
-4
Let g(h) = -h - 4. Let m be g(-7). Solve 5 = m*a - 10 for a.
5
Suppose b + 89 = -4*z + 19, b = z + 20. Let k be z/(-4)*4/6. Let q(l) = -2*l - 6. Let h be q(-3). Solve -k*n + 3 + 3 = h for n.
2
Let j(y) = 3*y + 2*y - 5 - 4*y. Let m be j(7). Solve -3*t + 14 = m for t.
4
Let b be -5 + (-4 - 0 - -12). Solve -5 = b*h + 1 for h.
-2
Suppose 4*y + 5 - 41 = -4*f, -3*f + 3*y + 21 = 0. Suppose 3*j - m = f, j + m + 4 = -2*m. Solve -a - j = -0 for a.
-2
Let i be 0/(7 + 5/(-1)).