ose -47 = -3*p + 5*x, 2*p + 5*x - 80 = -7. Suppose -t - p = -5*t. Let r be (-52)/(-6) - 4/t. Solve -n = n - r for n.
4
Let u = 25 - 21. Solve -u*b + 3 = 7 for b.
-1
Let k(p) = -p**3 - p**2 - p - 1. Let j be k(-1). Solve j = -4*r + 8*r - 20 for r.
5
Let s = -1 + 5. Suppose n - s*n + 60 = 0. Solve 0 = -2*r - 3*r + n for r.
4
Suppose 5*m - 9 = 1. Solve 16 = 2*b + m*b for b.
4
Let v be 1*6/(-9)*-3. Solve 15 = -7*p + v*p for p.
-3
Let w = -2 - -7. Let p = w + 1. Solve -4*m - p = -m for m.
-2
Let r be 3/(-6) - 1/2. Let n = 7 + r. Solve -n*g + 3*g = -15 for g.
5
Suppose 2*w + 12 = 6*w + 2*v, -3*w + 27 = -3*v. Solve -8*q = -13*q - w for q.
-1
Suppose w + 3 = 5*v, 3*w + 12 = -5*v + 3. Suppose v = -5*n - 1 + 26. Solve 4*f = -7 - n for f.
-3
Let o be ((-4)/8)/((-1)/4). Let h be (12/(-9))/(o/6). Let f = h - -7. Solve 0 = -z + f + 2 for z.
5
Suppose 3*l = 4*l. Let c(w) = 7 + 2*w + l*w + 4*w - 5*w. Let d be c(-5). Solve -6 = 5*b - d*b for b.
-2
Let b be (-4)/((3 - 8) + 3). Solve v + 3 = -b for v.
-5
Let b(c) = c**2 - 5*c + 5. Suppose -2*d = 2*z - 4, 5*z + 15 = -0*z. Let h be b(d). Solve -1 = -h*o - 26 for o.
-5
Let h = 17 + -14. Solve n - 16 = -h*n for n.
4
Suppose -2 = -o - 0. Suppose a - 13 = 3. Solve -o*v + 6*v + a = 0 for v.
-4
Suppose -3*h - 4*g + 3 = -7, -20 = 4*g. Let m be 164/h + 8/(-20). Solve -4 = -4*o - m for o.
-3
Let f(m) = m**3 - m + 4. Let c be f(0). Let v = -11 + c. Let x = 15 + v. Solve 4*z + x = -0*z for z.
-2
Let g(k) = k**3 + 20*k**2 + 37*k + 20. Let w be g(-18). Solve 8 = 5*r - w for r.
2
Suppose a = -0*j - 3*j + 14, j = -a + 6. Solve -a*l = 3*l - 25 for l.
5
Let i(d) = d + 1. Let h be i(2). Solve 5*r = h - 18 for r.
-3
Let o(y) = y**3 + 7*y**2 - 6*y + 21. Let h be o(-8). Solve -h*d = -0*d - 5 for d.
1
Suppose -2*j = -131 + 109. Suppose 0 = -4*z - 3 + 59. Suppose -z - 6 = -5*n. Solve j = -n*q + 31 for q.
5
Let q(u) be the first derivative of -u**4 + u - 2. Let p be q(-1). Solve 0 = p*d + 1 + 14 for d.
-3
Suppose 5*g + 8 = 2*o, -2*o - 3*o + 4*g = -20. Suppose 4*u + 3*l = 16, 2*l = 2*u + o*l - 8. Suppose -r - r + u = 0. Solve -r = -k - k for k.
1
Suppose -4*c + 0*c = -32. Let k be (16/3)/(c/12). Solve -k*v = -3*v for v.
0
Let i(p) = 4*p + 6*p - 4 - 5*p - 4*p. Let q be i(4). Solve -3*y + 6*y = q for y.
0
Suppose -5*l = -0*l - 30. Let f = -5 - -8. Solve -u = -f*u + l for u.
3
Suppose 0 = 3*k + k - 12. Suppose -5*n - k + 23 = 0. Suppose 5*r - n*w + 8 = 0, -4*r = -0*r - 4*w + 8. Solve r = -4*l - 3 - 5 for l.
-2
Let x(j) = -j**3 - 9*j**2 - 12*j + 17. Let f be x(-7). Solve -1 = f*a - 4*a for a.
1
Let k(o) be the second derivative of o**5/20 + o**4/4 - o**3/6 + o**2 + o. Let g be k(-3). Suppose -g*m + 0*m = -5. Solve 3 = 4*i - m for i.
1
Suppose 5*q - 2 = 8. Suppose -14 = -4*l + z + 7, 22 = 3*l - q*z. Solve l + 1 = -h for h.
-5
Let a = -20 + 12. Let n = a - -13. Let s = n - 0. Solve s = -2*j + 3 for j.
-1
Let z be 48/14 - (-24)/(-56). Solve -z*t + 4*t = 0 for t.
0
Suppose -i + 4 = 2*r, -5*i - 7 = 3. Let v = 3 - r. Solve -15 = 3*o - v*o for o.
-5
Let x(v) = -v + 12. Let i be x(11). Solve -4*b + i = 5 for b.
-1
Let c be (-3)/(27/12)*-3. Suppose 0 = 4*f - 20, g - f = -c*g + 25. Solve k = -1 + g for k.
5
Let c be (5/(-2))/(-1 - 6/24). Solve -1 - 1 = c*w for w.
-1
Suppose -3*z + 12 = -7*z + 4*c, 11 = -2*z + c. Let p be z/20 - 74/(-10). Solve 0 = 2*r - p*r - 10 for r.
-2
Suppose 0 = 3*f - 3*v - 6, -5*v = -0*f - f - 10. Solve -f*g + 6 = -3*g for g.
3
Suppose y + 4 = 2*y. Suppose 0 = -5*p + 15, 4*p + 18 = 4*k - 9*k. Let i = k + 8. Solve -i*n = -0*n - y for n.
2
Let c be (-2)/4 + 2/(-4). Let d = c - -6. Let l be (-69)/(-4) - (-1)/(-4). Solve -3 - l = d*x for x.
-4
Let p(y) = -2*y - 7. Let n be p(-5). Suppose -i - n = -5. Solve 2*u = 4 + i for u.
3
Suppose z + 2*g = 6*g + 10, 0 = -5*z - 2*g + 28. Solve 5*j = -1 + z for j.
1
Suppose -5*y + 2*g = -18, -2*y + 3*g + 1 = -y. Solve 0 = -7*n + 3*n + y for n.
1
Suppose 32 = p + 4*p - 2*c, -c + 17 = 3*p. Let m be ((-21)/p)/(1/(-2)). Let g = -3 + m. Solve g*r = r for r.
0
Let r be (-1)/(-2)*(0 + 0). Suppose 0*h - 2*h + 4*v = 0, -v + 22 = 5*h. Solve r = -h*q + 2 + 2 for q.
1
Suppose 0 = -2*w + 2 + 4. Suppose -j = -0*j. Solve -w = -t - j for t.
3
Let f be 2*11 + (-2 - -4). Suppose 0*j - 3*j + f = 0. Suppose 0 = -3*g - 3*g. Solve g = -2*q + 6*q - j for q.
2
Let o(d) = 3*d. Let g be o(1). Let c be (-3*2 + 3)/(-3). Let t be (-1 + g)/(c + 0). Solve -t*x - x = 0 for x.
0
Let w = -46 - -46. Solve -d + 1 = -w*d for d.
1
Suppose -w = 7 - 9. Solve 3*i - i - w = 0 for i.
1
Suppose 5*t + 0*s + 3*s = 13, 7 = 2*t + 3*s. Suppose -x + t*x - 2 = 0. Solve -5*h + x = -3*h for h.
1
Suppose 4*v = -5 + 17. Suppose 5*z + 2*o - 20 = 0, 4*o = v*z + 8 + 6. Let f be 0/(-5 + z) + 9. Solve s + f = 4*s for s.
3
Let u(r) = -r**2 + 7*r - 4. Let l be u(6). Suppose w + l - 7 = 0. Solve -7*z + 2*z + w = 0 for z.
1
Let y = -1 - -3. Let o = 4 - y. Suppose -2*p + 2 = -o. Solve -p*g - g = 0 for g.
0
Let s be 2/9 - 50/(-18). Suppose 4*d - 1 - s = p, 0 = -2*p - d + 1. Suppose -2*t - 3*v = -16 + 1, p = 4*t + 5*v - 27. Solve -1 = t*j + 8 for j.
-3
Let g = 20 - 12. Suppose -r + 17 = 5*k, 0 = k + 2*k + r - 9. Suppose -3*i = -0*y + y - 6, -k*y + g = -4*i. Solve 4*f = -y + 19 for f.
4
Suppose -f = 2*f - 27. Let r be 2/f + 6/(-27). Solve r = -3*k - 4 - 2 for k.
-2
Suppose -3*w - 6 = -5*l, w - 6 = 2*l - 3*w. Solve 2*u - 1 - l = 0 for u.
2
Let n(c) = -2*c**3 + 7*c**2 - 4*c - 4. Let o be n(4). Let r = 58 + o. Suppose 5*k - r = 3*h, -5*h = 5*k - 4*h - 26. Solve k*m + 0 = 5 for m.
1
Let o(a) = -a**3 + 2*a + 0 + 0*a**3 - 4*a**2 + 3 + 2*a**3. Let v be o(5). Let h be (-2)/(-7) - v/(-14). Solve 0 = h*g - 6*g + 3 for g.
1
Let t(o) = -2*o**2 - 16*o + 2. Let d be t(-8). Solve 0 = 3*y - d*y - 5 for y.
5
Suppose -3*a + 3*w + 25 = 88, -2*a - w - 57 = 0. Let t be (a/(-6))/(5/(-30)). Let x = t - -43. Solve -3*c - 2 + x = 0 for c.
5
Let t be -1*(3 + (-3)/3). Let r be 10/3 - t/(-6). Solve 6 = -6*u + r*u for u.
-2
Let s(i) be the second derivative of -i**3/3 - 4*i**2 - 4*i. Let o be s(-8). Solve 4*z + o = -8 for z.
-4
Let a be 10 - 3/((-3)/(-2)). Let t(w) = 3*w - 4. Let q be t(3). Let l(k) = k**3 + 5*k**2 - 5*k + 6. Let s be l(-6). Solve -q*i + a + 12 = s for i.
4
Let d be (-2)/(-15)*3*-5. Let b = 2 - d. Let r be (-2)/(-3) + b/(-6). Solve -3*l - 25 + 10 = r for l.
-5
Let c = -5 - -8. Solve -8 - 7 = -c*l for l.
5
Let l be (2/(-6) + 2)*3. Solve -l*f + 20 = -5 for f.
5
Let k be (8/(-14))/2 + (-160)/(-70). Solve 1 = k*n + 3 for n.
-1
Suppose 0*c + c - 5 = 0. Suppose 1 = 2*o - c. Solve 4*d - 2 = o*d for d.
2
Let j(k) = 8 + k + 3 + 0 + 1. Let g be j(-7). Solve 0*r = -g*r + 20 for r.
4
Let w(o) = 19*o**2 + 3*o - 2. Let l be w(1). Suppose 0*k - 2*k = 5*s - l, -2*k = -10. Solve 0 + s = -2*b for b.
-1
Let z(n) = -n**2 - n + 5. Let x be z(4). Let j = x - -21. Let b(p) = p**2 - 5*p + 2. Let m be b(j). Solve 0*f - m = 2*f for f.
-4
Let v = 2 - -2. Solve -3*c = -v*c + 4 for c.
4
Suppose -4*a = 3 - 27. Let k be a/4*4/3. Let t be 0/(3 - (1 - 0)). Solve -k*l + l = t for l.
0
Let d(b) = 15*b**2 - b - 1. Let l be d(-1). Let p be 7/(-21) + (-11)/3. Let w be 0 - (-2 - (p - -2)). Solve -4*y - y - l = w for y.
-3
Let v = -9 - -13. Solve 4 = -v*r - 16 for r.
-5
Let x = 7 + -15. Let v(b) = -b**3 - 8*b**2 - 2*b - 12. Let u be v(x). Solve u = 2*s - 4*s for s.
-2
Let w(r) = -r**3 + 19*r**2 - 17*r - 18. Let f be w(18). Solve f = a - 5*a for a.
0
Let m be (18 - (-3 + 6)) + 3. Suppose 5*v - 2*p - m - 54 = 0, 3*p + 3 = 0. Solve -6 - v = -4*o for o.
5
Suppose 0 + 12 = 3*p. Suppose -5*o - 4 = -f, -f + p = 2*o - 3*o. Let k be 17/102*(5 - -1). Solve -d = k + f for d.
-5
Let j = -28 + 48. Suppose 3*q + 3*l + 0 = -15, 5*q + j = -4*l. Let t be (3 + -2)*-1 - 144/(-36). Solve -w + q*w = t for w.
-3
Let g be (-4)/6 + 16/6. Suppose 0*j = -2*j. Suppose 0*y - y = j. Solve y = -6*o + g*o - 20 for o.
-5
Suppose r + 0*r - 18 = -2*q, -2*r = -q + 4. Suppose -n - q = -3*n. Solve -4 + 12 = n*m for m.
2
Let t(p) = p. Let l be t(6). Let o(f) = f**2 - 2*f + 5. Let a be o(0). Solve -2*k = -a*k + l for k.
2
Suppose 4*x = 3*w + 2*w - 133, 0 = w + x - 32. Suppose 2*y - 16 = -2*j, 3*j - w = -3*y - j. Let i be (-5)/(-3)*y - 1. Solve 2*g - i*g = -6 for g.
3
Let q = 2 - 0. Let p = q - 3. Let a be 2 - p*(0 - -2). Solve 2*b + a = -6 for b.
-