pose -w*c - 3 = j - 5, -2*c + 8 = -2*j. Solve c*f = -5 - x for f.
-4
Let x(b) be the second derivative of b**5/20 - b**4/3 + b**3/6 - b**2 + 2*b. Let p be x(4). Suppose -p*h - h = -27. Solve 0*m + h = 3*m for m.
3
Suppose r + 3 = 7. Solve -g = -r*g for g.
0
Let t = 1 + -8. Let s be (-1 + t)/((-4)/2). Suppose -5*h - 15 = 5*x, s*h + 3 = -x + 6. Solve 7 + 3 = -h*q for q.
-5
Suppose -8 = -2*p + 4*c, -p + 20 = 3*p - 4*c. Let i be p/(-4)*12/(-9). Solve -4*y + 6 = -i*y for y.
3
Let j(m) = -m**3 - m**2 - m. Let x be j(-1). Let f(d) = 3*d - 2 + 1 + 0. Let c be f(x). Solve -c*b = -b - 1 for b.
1
Let s(n) = n**3 - 10*n**2 - n + 7. Let v be s(10). Let x be v + 2 - (1 + -2). Solve 4*k + 23 - 3 = x for k.
-5
Let u = 19 + -27. Let y(i) = -i**3 - 9*i**2 - 8*i + 4. Let b be y(u). Solve -b = -3*a - 1 for a.
1
Suppose 3*k = 4*n + 3, 2*n + 1 = 2*k - n. Solve k*a + 0 = -5 for a.
-1
Let d(j) = -j**2 + 4*j + 5. Suppose -29 = -s + 5*x, 2*x = 5*s - 3*x - 45. Let m be d(s). Solve -m*c - 4 - 6 = 0 for c.
-2
Let m be 54/189 + 24/14. Solve -f + 3*f + m = 0 for f.
-1
Let t = -3 - -5. Let c = t - 0. Let h be -1 + c - (-7 + 1). Solve 2*p = h*p - 10 for p.
2
Let s(b) be the first derivative of -b**2/2 - 5*b + 5. Let h be s(-7). Solve -2 + 4 = h*f for f.
1
Let z = -45 - -50. Solve -1 = 2*f - z for f.
2
Suppose 9 = -12*p + 69. Solve 0*w - 25 = -p*w for w.
5
Let a be (-396)/(-39) - (60/65)/6. Solve 5*z = a*z for z.
0
Let p = 1 - 1. Solve p = w - 4 for w.
4
Suppose -2*a + 5*z - 10 = 0, -a - z = z - 13. Let j = 7 - 2. Suppose -j*c - 5*h + 70 = -c, -5*h - a = -c. Solve -5*x + c = -0*x for x.
3
Suppose a - 2*a = 4*g - 25, 3*g - 35 = -4*a. Let c = 0 + g. Solve -h - c = -2*h for h.
5
Suppose -2*x = -x. Solve -2*j + j = x for j.
0
Let h = -8 + 13. Suppose -h*q - 8 = -q. Let m be (10/6)/(q/(-6)). Solve 11 - m = -3*n for n.
-2
Suppose 0 = -5*w - 0*h + 5*h + 5, 5*w + h = 29. Let b = w + -4. Let l = b - -3. Solve l*c - 2*c = 0 for c.
0
Let g be 2*(-2 + (2 - -1)). Solve -m + g = -1 for m.
3
Suppose -9*s - 12 = -13*s. Solve 0*z = -s*z - 12 for z.
-4
Let j = -87 - -90. Solve -5*c - 7 = j for c.
-2
Let z(v) = -v - 4. Let m be z(-7). Suppose -5*q = j - 99, -m*q + 0*j + 58 = 2*j. Solve -q = 3*l + 2*l for l.
-4
Let n = -13 - -20. Suppose -r + 4*r = 6. Suppose n = r*o - 3. Solve -i + o = -0 for i.
5
Suppose 2*d - 15 - 17 = 0. Solve 0 = 5*n - n - d for n.
4
Let t = 12 + -15. Let l be 26/(-10) + (-4)/10. Let r = t - l. Solve 4*m + 3 + 1 = r for m.
-1
Let u(p) = -2*p**2 + 21*p - 7. Let j be u(9). Solve 6*w - 2*w + j = 0 for w.
-5
Let o be (3 - 3)/1*-1. Let i = -6 - o. Let d be 3 + (i - -2) - -4. Solve 0*t + t = d for t.
3
Let y(o) = o**2 - 4*o + 8. Let x be y(3). Solve 4 = 9*k - x*k for k.
1
Suppose 16*n - 10 = 6*n. Solve -2*z + n = 3 for z.
-1
Let s(z) = -z**3 + 4*z**2 - 2*z + 2. Let w be s(3). Solve -7 = w*d + 3 for d.
-2
Suppose m - 6*m = 10. Let h = 1 - m. Solve 2 = h*g + 11 for g.
-3
Let j(r) = r + 2. Let l be j(-2). Solve 3*d - 4*d + 1 = l for d.
1
Suppose -3*y = -0*y. Suppose y = -2*u + 5*u. Solve 3*h + 2*h = u for h.
0
Suppose 3*v - 6*v + 6 = 0. Suppose 0 = 5*m - y - 25, 0*m - v*m + y + 10 = 0. Let w = -10 - -14. Solve -w*k - m = -25 for k.
5
Let u(o) = 2*o**2 + 6*o + 4. Let b = 1 + 2. Let i(y) = -2*y**2 - 7*y - 5. Let z(s) = b*i(s) + 4*u(s). Let j be z(-2). Solve 0 = -3*p + 3 + j for p.
2
Let z(b) = 12*b - 3. Let p be z(1). Solve p = 5*q - 6 for q.
3
Let q(g) = g**2 + 6*g + 9. Let f be q(-7). Let c be (f/6)/(4/6). Suppose 0 = -6*r + 2*r - 3*k, 4*r + c*k = -4. Solve 0*n + 9 = -r*n for n.
-3
Suppose -3*d = -6*d + 24. Solve -2*w - d = 2*w for w.
-2
Let j(g) = g**3 + 3*g**2 + g. Let o be j(-2). Suppose -d + 4*u + 21 = 0, o*u + 0 + 3 = -d. Solve d*i - 2*i = 0 for i.
0
Let h = -9 + 13. Solve 0 = -x + h - 5 for x.
-1
Let c be -2*(-2 + 6/4). Suppose 0 = 2*o - 11 - c. Let u = 7 - 4. Solve -3*s + o*s = u for s.
1
Suppose 0 = -q + 2*q - 6. Solve 0 = q*g - 2*g for g.
0
Let t = -3 - -5. Let w = 1 - 1. Suppose w = 3*f + 2*q - 10, 5*f = q - 6*q + 20. Solve -f*i = -i + t for i.
-2
Suppose -2*t - 2*l = -8, 2*t - 4*l - 10 - 10 = 0. Let a be 17 + t + (-12)/4. Solve -4*k + 0*k = a for k.
-5
Let b(k) = -2*k - 13. Let y be b(-6). Let s be (-5 - -7)/(y/(-2)). Solve -s*w = -1 + 5 for w.
-1
Let j be 4/(-4 + 2)*1. Let z be 12/j*10/(-20). Solve 4 - 1 = -z*v for v.
-1
Let h(j) = -j + 10. Let r be h(7). Let o(p) = p. Let g be o(4). Suppose 0 = t + g*y + 2, 2*t - 1 = -2*y + 1. Solve d = -t*d + r for d.
1
Let j be (-16 - 2)*(-12)/8. Suppose -j - 58 = -5*a. Solve -5*h - 2 + a = 0 for h.
3
Suppose 4*f - 4*h + 8*h = 0, -4*f = 3*h + 2. Suppose 0 = 3*b + 5*k - 8 - 31, 5*b + 2*k = 46. Let j = f + b. Solve -j*m = -m for m.
0
Let j(f) = -f**2 + 4 + 0*f**2 + 0*f**2 - 7*f. Let r be j(-7). Solve -9 + 1 = -r*w for w.
2
Let m(a) = -a + 6. Let u be m(-5). Let x be ((-12)/(-14))/((-3)/(-84)). Suppose -x = -5*h - 9. Solve -2*f - h = -u for f.
4
Let m(b) = -b**2 + 5*b + 6. Let t be m(5). Let g(h) = -h**3 + 4*h**2 + h - 3. Let y be g(4). Suppose -2*x = y - 5. Solve 0 = i + x*i - t for i.
2
Let k = 40 - 37. Solve -k*t - 13 = -1 for t.
-4
Let q = -30 + 32. Solve q = -4*n - 10 for n.
-3
Suppose 2*u - 5 + 11 = 0, 5*a = -5*u - 15. Solve a*h - h = -1 for h.
1
Suppose -2 = -3*g + 2*g - 2*r, 4*g = 3*r - 3. Solve 3*t - 4*t - 5 = g for t.
-5
Let x = -5 + 9. Suppose 5*y - 20 = 4*b, x*b = y - 6*y - 20. Solve 5 + y = 5*n for n.
1
Let r(h) = -h**3 - 6*h**2 - 7*h - 2. Let j be r(-5). Solve 0 = 2*o + 2*o - j for o.
2
Suppose -16 = -4*l, 4*q - 3*q - 4*l + 14 = 0. Solve q*o = -1 - 3 for o.
-2
Let a be 5/(-10) + (-18)/(-4). Suppose 5*b + 41 = 3*t, 0*t - a*t + 44 = -4*b. Suppose -2*i - 2*i = 0. Solve i = -2*n + t*n - 25 for n.
5
Let o = -27 + 23. Let j be (-15)/o + (-3)/(-12). Solve j*v = 8*v for v.
0
Let o be (-2)/9 - (-38)/9. Suppose o = j + 3. Let c(v) = v**2 + 9*v + 8. Let g be c(-8). Solve g = l + j for l.
-1
Suppose -4*u = 5*q - 65, 4*u - 4*q + 0*q = 56. Suppose 5*x + 5*f - u = 0, -4*x + 13 = 5*f - 3. Let y(g) = -21*g - 1. Let w be y(x). Solve -6*t - w = -t for t.
-4
Suppose 0*q = 4*q - 4. Let m = -74 - -93. Solve -q = -4*l + m for l.
5
Let l be -4 + 1 + (13 - -6). Solve -3*v - v = l for v.
-4
Let g(a) = -a - 3. Let v be g(-7). Solve 0 = -o + v for o.
4
Let y be (25 - 6) + (-3 - 1). Let n(h) = 2*h - 7. Let q be n(5). Suppose 8 = 4*d + 4*l - 0*l, q*d + 4*l = 5. Solve 4*x - y = -d for x.
3
Let k be (-7)/21 - 2/(-6). Let o = 3 - -1. Solve o*z = -k*z + 8 for z.
2
Let i be -1*(-6 + -1 - -3). Suppose 1 = s - 3, -f - i*s = -20. Solve -11 = -f*w + 9 for w.
5
Let i = -4 + 10. Suppose 8 = 4*d - 2*k + k, 0 = d + 5*k - 2. Solve 0 = d*t - i for t.
3
Let p(u) = -5*u + 37. Let j be p(7). Solve -j*i + 6*i = 20 for i.
5
Let n = -3 + 3. Let b be ((-2)/3)/(3/(-18)) - -2. Solve -3*a + b*a = n for a.
0
Let d(x) = -6*x - 6. Let b be d(-2). Solve -16 = b*n - 2*n for n.
-4
Let j = 28 + -20. Let y(n) = n**3 - 6*n**2 - 7*n + 3. Let a be y(7). Suppose -7*f = -a*f - j. Solve f*i + 5 = 15 for i.
5
Let s(n) = 2*n**2 - 4*n - 1. Let k(i) = -2*i - 8 - 1 + 0. Let q be k(-6). Let y be s(q). Solve -c = -0*c + y for c.
-5
Let o(j) = j**3 + 2*j**2 - 2*j + 3. Suppose 2*m + v = -6, 0 = -m - 5*v + 1 - 4. Let w be o(m). Solve w = -3*y - 8 - 7 for y.
-5
Let z = -2 + 6. Suppose 5*g - g = z*l + 24, 4*g + 4*l + 16 = 0. Solve 3*y + 7 = g for y.
-2
Let q be 0/(-1) + 1 - -3. Solve 0 = -2*l - q + 2 for l.
-1
Let b(s) = 4*s**2 + 3*s - 2. Let x be 4 - (-4 + 3) - 4. Let c be b(x). Solve -4*r - c = 7 for r.
-3
Suppose 0 = 5*d + j - 0*j - 26, 0 = d - 4*j - 1. Solve -d*p = 7 + 18 for p.
-5
Let n(q) = q**2 + q. Let y be n(5). Suppose 0 = 3*v + 2*v - y. Let s be 3*(8/6 - 0). Solve 0 = -s*f + v - 2 for f.
1
Let n(v) = v**2 - 10*v - 7. Let s be n(11). Suppose 2*r - 3*z = -11 + 34, s*r - 3*z = 31. Solve -2*t - r = 2*t for t.
-1
Let a be 5/(15/12) + -2. Suppose 4*h = -i + 56, a*h - 2*i - 31 = -h. Suppose 0*v = 2*v - q - h, 0 = 4*v + q - 41. Solve -y + v = -4*y for y.
-3
Let n(o) be the third derivative of -o**5/60 - o**4/8 + o**3/3 + o**2. Let k be n(-3). Solve -2*a + a - k = 0 for a.
-2
Let u be 29/9 - 2/9. Suppose h + 5*r - 20 = -h, 3*h - u*r - 72 = 0. Solve 8*n = 3*n + h for n.
4
Let v be -2*(-4)/8*1. Solve 0 = -2*z + 1 + v for z.
1
Let x(z) = z**2 - 4*z + 5. Let n(l) = 5*l**2 - 19*l + 26. Let o(v) = 2*n(v