4). Suppose 0*a = a + 2, -l*d = -4*a - o. Solve 0 = -b + 2 - d for b.
2
Let p be -1 - 0 - (-5 + -1). Suppose -4*b + 15 = p*o, 0 = 3*o - 8*o - 5*b + 10. Solve g - 3 = -o for g.
-4
Let d(y) be the first derivative of y**4/4 - y**3 - y**2 - 4*y + 3. Let v be d(4). Suppose 0 = m - 2*m + v. Solve -m*x = x for x.
0
Let v = 83 + -78. Solve -12 = v*r + 3 for r.
-3
Suppose -5*g = -o + 6*o - 25, 10 = 5*o. Let v(m) = -m**2 + m + 7. Let a be v(0). Solve 0 = -a*l + g*l for l.
0
Suppose 4*w = 29 - 5. Solve -2*q = -w*q for q.
0
Let y(v) = -v**3 + 10*v**2 + 10*v + 10. Let g be y(11). Let p be (-3)/(-1 - (1 + g)). Solve -25 = p*i - 10 for i.
-5
Suppose 5*g = -3*w - 20, -w + 5*g + 20 = -2*w. Let s = 11 - 6. Solve 4*i - s*i - 2 = w for i.
-2
Let m(p) = p + 1. Let g be m(-1). Suppose g = -i + 2*i - 2. Suppose -k = l + k - 12, i*l + 4 = 3*k. Solve 0 = l*c - c for c.
0
Let l = 3 - 4. Let x be (3 + -1)/(l - 1). Let m be x + (-10)/(-2) + 0. Solve 0 = m*u + u for u.
0
Let p be ((-1)/(-3))/((-8)/(-48)). Solve -n + p*n = 0 for n.
0
Suppose -g - 22 = 2*u, -38 = -3*u + 5*u + 5*g. Let p be (u/(-27))/((-2)/(-18)). Solve -p*r = -r for r.
0
Let i(g) = g**2 - 9*g + 11. Let c be i(8). Let j be c*(1 + -2 + 2). Solve 0 = z - j*z for z.
0
Let i be ((-12)/4 - -2)*-5. Solve 2*n + 3*n + i = 0 for n.
-1
Let c be ((-20)/(-10))/(2/4). Solve 9 = -c*f + f for f.
-3
Let y(s) = -1. Let t be (1 + 1)/(2/(-1)). Let f(b) = -b**2 - 7*b + 9. Let h(m) = t*f(m) + 3*y(m). Let z be h(-9). Solve -w - 2*w = z for w.
-2
Suppose -5*p = -2*i - 31, -14 = 2*p - 6*p - 2*i. Solve 0 = p*n - 13 - 12 for n.
5
Let i(l) = -l**2 + 8*l - 5. Let a be i(7). Suppose -a*p + 5 = 3. Suppose p - 11 = -5*w. Solve -w*h - 3 - 1 = 0 for h.
-2
Suppose -4*y + 4*w - 4 = 0, 4*w = 3*w + 5. Solve x + y*x = 15 for x.
3
Let y be 3/6 + 11/(-2). Let q be (-96)/(-30) - (-1)/y. Solve -3*n - 15 + q = 0 for n.
-4
Let k(i) = i**2 + 7*i + 2. Let y be k(-7). Solve 1 = y*m - 3*m for m.
-1
Suppose -6 = -2*x + 2*d, x = -d - 4*d - 15. Solve n - 5 = -x for n.
5
Let c(h) = -h**3 - 5*h**2 + 6*h + 2. Let u be c(-6). Solve -y = -u*y + 5 for y.
5
Let d(k) = -6*k**2 - 5*k**3 - 3*k + 4*k**2 + 2 + 9*k**3 - 3*k**3. Let h be d(3). Solve 0 = h*f - 8 for f.
4
Let d be (1 + 0)/((-3)/(-9)). Suppose -1 = -2*s + d. Let o be (0 - 0) + s - 2. Solve t = -o*t - 3 for t.
-3
Suppose -u + 2*u - 68 = -4*p, -4*u = -p. Solve 0 = -y - 3*y - p for y.
-4
Suppose -5*t = -0*t - 15. Suppose -5*z - 1 = -t*i + 8, -4*z = 5*i - 15. Suppose 0 = 3*v - i*a - 0*a - 18, v - 3*a = 12. Solve v*d - 4*d - 1 = 0 for d.
-1
Let b(o) = -o**3 + 2*o**2 + o - 1. Let d be b(2). Solve d = -a - 2 for a.
-3
Suppose 6*k - 3*k + 6 = 0, 5*i + 3*k = -6. Solve 3*r - 5*r + 2 = i for r.
1
Suppose 0 = -4*g - g + 25. Suppose 16 = v - 25. Suppose -6 = g*o - v. Solve -2*x + 1 = -o for x.
4
Let t be (-84)/(-12) + (-1 - 1). Solve -12 = -t*l + 2*l for l.
4
Let q(t) = -t**3 + 10*t**2 - 9*t + 6. Let a be q(9). Let x(v) = v**2 - 6*v. Let u be x(a). Suppose 2*g - 24 = -u*g. Solve p - g = 4*p for p.
-4
Let w = -10 + 12. Let j(q) = -6 + 5 + q**w - 4. Let t be j(5). Solve 0 = 2*v + 3*v - t for v.
4
Suppose -4*t - 3 = -4*m + m, -2*m = 3*t - 2. Suppose 2*z - z - 6 = t. Solve -3*s + z = 3 for s.
1
Let t(u) = -5*u - 5. Let g be t(-2). Suppose 0 = -5*z, -8 - 7 = -5*f + 3*z. Suppose 8*l = -2*o + 3*l + 14, 5*o - l = 8. Solve 0 = o*q + f*q - g for q.
1
Let f(o) = -4*o**3 - 13*o**2 - 6*o - 4. Let i(p) = -9*p**3 - 27*p**2 - 11*p - 8. Let q(j) = -7*f(j) + 3*i(j). Let g be q(-9). Solve 2*t = g*t - 10 for t.
5
Let c be 22/5 - (-3)/5. Suppose 0 = -2*g + 5 + c, 4*u = 4*g - 20. Solve 2*v - 8 = -u*v for v.
4
Suppose -u + 1 = w - 4, -u + 2*w = -2. Solve -u*h - 9 = -h for h.
-3
Suppose -6 = -v + 19. Let t = v - 22. Solve 0 = 5*b - t - 2 for b.
1
Suppose c + 0*c - 11 = -2*v, -5*c = 5*v - 15. Let k(h) = -6*h. Suppose 0*p - 1 = p. Let w be k(p). Solve w*u - 2*u = v for u.
2
Suppose 15 = 5*y - 4*t - 12, y - 2*t - 9 = 0. Suppose m + 2 - 1 = l, -y*m - 6 = -4*l. Let s be 6 + l + 3 + -4. Solve 3*g + s = -g for g.
-2
Let n be (90/35)/(6/28). Suppose 0 = -5*g + 47 - n. Let b = g - 5. Solve w = b*w - 1 for w.
1
Suppose 4*p - 3 = 2*z - 3*z, 3*z - 2*p = 23. Let l = -10 + 14. Suppose l = -2*w + 6*w. Solve 0 = 3*j - z + w for j.
2
Suppose -5*d - 4*n + 3*n - 33 = 0, 0 = -4*n + 8. Let h = 9 + d. Solve -r = -h - 1 for r.
3
Suppose 0 = -2*p + o + o - 6, 3*p = -3*o - 27. Let v be 1/3 - 52/p. Solve -2*j = j - v for j.
3
Suppose l - 15 = -2*l. Solve 0 + l = 5*q for q.
1
Let t(h) = 7*h - 13 + 3 - 43*h**2 + 0*h - h**3 + 47*h**2. Let x be t(5). Solve 2*z + 0 + 10 = x for z.
-5
Let w be (-14)/(-35)*(6 + -1). Solve -w*n + 5*n = -3 for n.
-1
Suppose -7*j = -2*j - 320. Suppose -5*b = -9*b + j. Solve 2*t + b = -2*t for t.
-4
Suppose 2*d - 8 = -0*d. Let v = d - 0. Let j = -1 - -1. Solve v*m = -j*m for m.
0
Let i(w) = 3*w**2 + w - 1. Let n be i(1). Suppose -7*o = -3*o - 16. Solve -o*k + 5 + n = 0 for k.
2
Suppose 5*l + 3 = -3*v, 2*v + 2*l - 1 - 1 = 0. Suppose a = p + v, 2*a + 5*p - 4 = a. Solve x = a*x - 15 for x.
5
Let k(j) = -j**2 - 8*j + 3 + 2 + 6. Let l be k(-9). Let m be -1*((2 - 1) + -3). Solve l*x = -m*x - 4 for x.
-1
Suppose -13 = -3*m + p, 0*m + 4*m = -4*p + 12. Let y(c) = c**3 + c - 2. Let f be y(0). Let i = f + m. Solve q = 2 + i for q.
4
Let l(r) be the second derivative of -4*r - r**3 - 2*r**2 + 0 - 1/12*r**4. Let w be l(-4). Solve 5 = a + w*a for a.
1
Let z be (-2 - -1)/(-3)*6. Let p be (3 + (-38)/z)/(-2). Solve -2*o - p = 2*o for o.
-2
Let b = 10 - 18. Let d be (-4)/b + (-18)/(-4). Solve d*x - 20 + 0 = 0 for x.
4
Suppose -3*o = -o - 36. Suppose 4*p - 24 = -0*l - 4*l, p + 5*l = o. Solve p*k + 19 = 7 for k.
-4
Let v(n) = n - 1. Let j be v(3). Suppose -14 = -d + 2*m - 3, -4*m - 37 = -5*d. Suppose 3*b - d*u = -9 + 28, -5*u = -b + 13. Solve -b*p = j + 10 for p.
-4
Let a be 1/(-3)*(-42)/7. Solve -6 + 2 = -a*d for d.
2
Let v(w) = w**2 - w - 1. Let b be v(-1). Suppose g = -4*k - b, -3*g + 9 = -3*k - 3. Solve -g*o = o for o.
0
Suppose -3 = -q + 2. Suppose h - q*h = -4. Solve -3 = -l - h for l.
2
Let g = 22 - 33. Let r = g + 13. Solve r*n = -0*n for n.
0
Suppose 0 = 3*n - 6*n + 6. Let x(s) = -s**3 - 6*s**2 - 5*s - 4. Let k be x(-5). Let i be (-50)/(-2) + (-2 - k). Solve 5*v + i = n for v.
-5
Let t(z) be the third derivative of z**5/60 + z**4/12 + z**3/6 - 6*z**2. Let a be t(-2). Solve -a + 4 = j for j.
3
Let y be 6 + -7 + 0 + 4. Solve -y*f + 8 + 4 = 0 for f.
4
Let z = 0 + 3. Suppose 0 = -6*c + 9 + 3. Solve c*w + z*w + 5 = 0 for w.
-1
Suppose 5*o - b - 52 = 0, 11*o - 40 = 6*o - 5*b. Solve -u - o = 4*u for u.
-2
Suppose 7*z - 8 = 3*z. Let t be z/(-6)*(-6 - -6). Let c(f) = -4*f - 3. Let d be c(-2). Solve t = d*i - i for i.
0
Suppose 5*x - 4*x = 13. Solve -17*k = -x*k for k.
0
Let n(d) = -d + 1. Let v(j) = 4. Let h(y) = -5*n(y) + v(y). Let p be h(1). Solve p*g + 1 = -11 for g.
-3
Let u be 0/(1 - 2 - -2). Suppose 4*s = i + 116, -s - 4*i + 38 = -2*i. Suppose u*m = 2*m - s. Solve -4*j - j = m for j.
-3
Let g = 5 + -5. Let x(w) = -w**3 - w**2 - w - 1. Suppose 4*n = -n - 10. Let i be x(n). Solve g*y = -i*y for y.
0
Let c = 10 - -10. Suppose 5*n + 3*j - 1 = 24, -5*n - 2*j = -c. Solve 1 = n*a - 1 for a.
1
Let z = -39 + 39. Suppose s + 3*m + 16 = -2*m, 3*s = -3*m. Let i = z + s. Solve -i*a + a + 15 = 0 for a.
5
Suppose 0 = -5*i - 19 - 31. Let o = i - -12. Solve 0 = -a + o*a + 3 for a.
-3
Let g(w) = 6*w**3 - 2*w**2 + w. Let r be g(1). Suppose -6*i + r*i = 0. Solve -5 = -v - i*v for v.
5
Let j(u) = 5*u**3 + 2*u**2 + 8*u - 5. Let r(d) = 6*d**3 + d**2 + 9*d - 5. Let w(z) = 5*j(z) - 4*r(z). Let t be w(-5). Solve 3*y - 9 - 3 = t for y.
4
Suppose -6*b + 52 = -2*b. Suppose -5*g + 2 = -b. Solve 7*m + 20 = g*m for m.
-5
Let c be ((-14)/21)/((-2)/9). Let a = -5 - -10. Solve 0 = c*k - 8*k + a for k.
1
Let v = 34 + -32. Solve -10 = 3*b + v for b.
-4
Suppose 2*i - i = 3. Suppose -i*t - 2*t = -10. Suppose -2*f = t*f. Solve -2*b = -f*b + 6 for b.
-3
Suppose 5*s - 8 = s, -3*m + s = 2. Suppose -3*d + m*d = -3. Solve -h + 0 = d for h.
-1
Let w(r) = -6*r**2 - 12*r - 6. Let h(i) = i**2 + i. Let j(n) = 5*h(n) + w(n). Suppose 0*g - 3*g = 15. Let k be j(g). Solve -5*s + k = 9 for s.
-1
Let g = -3 + -1. Let j be (-4)/((-1)/(g/(-8))). Solve -o + 1 = -j*o for o.
-1
Let g = 29 + -27. Solve 3*j + 2 = g*j