 be c(0). Let s be ((-6)/(-2))/a*-42. Solve -5*d - s = 4 for d.
-5
Let n = -1 + 12. Suppose 0 = 5*d - 71 + n. Solve 2*c + 2*c + d = 0 for c.
-3
Let x = -130 - -135. Solve -2*o - x = -7 for o.
1
Suppose -47*f + 16 = -43*f. Solve 0 = -s + f - 2 for s.
2
Let v = -5 - -8. Let q = -2 + v. Let i be 2/5*(-4 + 9). Solve -q = i*y - 9 for y.
4
Suppose 0 = 4*w - w + 54. Let p be (-6)/w - 11/(-3). Solve -6 - p = 2*y for y.
-5
Let r(u) = 2*u - 7. Let z be r(5). Suppose 0 = -3*n - g + 44 + 1, -n = z*g - 23. Suppose 2*x - n = -0*x. Solve 0 = 3*d + x + 2 for d.
-3
Suppose -3*x + 5 = -2*x. Let a = -1 + 1. Suppose -x*g + 4*h + 9 = 0, -3*g + 2 + a = h. Solve d + g = -0 for d.
-1
Let b = 90 + -86. Solve 15 = -b*x + x for x.
-5
Let y(m) = -4*m. Let p be y(-1). Let j(k) = -k**3 - 9*k - 5 + 2 - 7*k**2 - 3. Let t be j(-6). Solve 0*u - p*u = t for u.
-3
Suppose u + 13 = -3*q + q, 21 = -3*q - u. Let t = q + 11. Solve k + t*k = -16 for k.
-4
Suppose -4*q - q = -q. Solve 3*a + q = 9 for a.
3
Let g(x) = 2*x - 43. Let b be g(23). Solve -3*a + 3 = -b for a.
2
Suppose 17 = 2*d - 3*u, -3*d + u + 21 = -2*u. Let f be d - 6 - 18/(-1). Let r be 2/(-5) + f/40. Solve p = -r*p - 4 for p.
-4
Let r(z) = -z - 5. Let y be r(-9). Suppose 0 = 2*l - y*l + 20. Solve 4*i = -i + l for i.
2
Let j be (-15)/(-2 - -5) + 1. Let f be 4/6 + j/(-3). Solve 2*g + f*g = 0 for g.
0
Let d = 13 - 13. Suppose 7*m - 4*m - 9 = d. Solve m*n + 3 = 18 for n.
5
Let g(m) = -3*m. Let s be g(0). Solve -b = -s - 4 for b.
4
Suppose 3*y = 6*y. Let o(w) be the first derivative of w**2 + 4*w - 1. Let u be o(3). Solve -u = -5*m - y*m for m.
2
Let c(l) = 5*l**3 + 5*l**2 - 3*l - 8. Let o(x) = 3*x**3 + 3*x**2 - 2*x - 4. Let t(g) = -4*c(g) + 7*o(g). Let k be t(0). Solve -k*a + 1 - 9 = 0 for a.
-2
Suppose 0 = -5*t + 14 + 11. Suppose -3*w + 0*w - 5*f + 45 = 0, f - 53 = -t*w. Solve -2*r - 3*r + w = 0 for r.
2
Let a(q) = q**2 + 4*q + 6. Let l be a(-4). Let r(g) = g**2 + 6*g + 13. Let c be r(-7). Suppose -5*k + 5*n - c = 0, k = -l*n + 3*n + 12. Solve k*t = -t for t.
0
Let m(g) = g**3 + 24*g**2 - 2*g - 47. Let i be m(-24). Solve -2*d - i + 5 = 0 for d.
2
Let s be 5 + 0/(-2 + 1). Let z(r) = -r**2 + 12*r + 6. Let x be z(12). Solve -h + s = -x*h for h.
-1
Suppose -9*c + 2 = -8*c. Solve 0 = c*o - o + 1 for o.
-1
Suppose -4*x - 3 = 1. Let g be (-136)/(-6) + x/(-3). Suppose -v - 97 = -5*c, -c + g = -v + 2*v. Solve 0*f - c = 5*f for f.
-4
Let c(y) = 3 - 3*y**3 + 3*y**2 + 2 - 4 + 2*y**3. Let u be c(3). Solve -h + u - 2 = 0 for h.
-1
Let c = -16 - -16. Solve c*i + 2 = -i for i.
-2
Let s be ((-1)/3)/((-2)/6). Let q be s + (-4 - -2)/2. Solve 0*i + 3*i + 9 = q for i.
-3
Suppose 0 = l + 3*v - 32, -l - 72 = -4*l - 3*v. Solve 3*n - l = -2*n for n.
4
Let l = 27 + -21. Let q(s) = s**2 + s - 4. Let t be q(-3). Suppose -6 = -t*p - 0*p. Solve l*f - p*f = 15 for f.
5
Let l be ((-12)/14)/((-1)/14). Suppose -2*g + 2*y = -l, -7 = -2*g - 2*y - 3. Solve v + v - g = 0 for v.
2
Let a = -113 + 116. Solve 3 = -2*r - a for r.
-3
Let z = -10 - -25. Let a = -17 + 22. Solve 0 = a*k - z for k.
3
Let o be (1 + 5)*(-9)/(-6). Let f = 16 + -4. Let g = f + -2. Solve -4*p = -o*p - g for p.
-2
Let j be 16/(-28)*7/1*-1. Suppose -2*x = -5*z + 9, 0*x + x - 2 = -4*z. Let y = z - -14. Solve -a = j*a + y for a.
-3
Let y(r) = 5*r. Let s be y(1). Suppose -i = -s*i. Solve 2*a + i*a + 2 = 0 for a.
-1
Suppose -j - 120 = -6*j. Suppose 0 = -a - k + 8, 4*a + 3*k = k + j. Suppose h + 2 = a*s + 6*h, 2*h = -s - 1. Solve i - 1 = s for i.
4
Suppose -b = -2*b + 4, -l = -b + 1. Suppose l*s + 15 = 0, 6*s = -2*i + 2*s - 18. Solve 4*o = 3*o - i for o.
-1
Let r be 1/(-3) + (-5 - (-50)/6). Solve 2 = r*y - 2*y for y.
2
Suppose 4*r + 3*n = n + 68, 3*r - 4*n = 40. Solve r = 2*o + 2*o for o.
4
Let d(q) = 15*q**2 - q + 2. Let t be d(2). Suppose -5*y + t = -40. Solve 4*n + y = -n for n.
-4
Let u = 9 - 16. Let k be 4/u*28/(-8). Suppose 10 = -3*b + i - 6*i, -10 = 5*b + 5*i. Solve 4*r + 2 + k = b for r.
-1
Suppose 4*k + 3*f = 44, -k - f = -2*k + 4. Solve -3*z + 5*z = k for z.
4
Suppose 10 = -5*o + 5*q, 2*o + 4*q - 16 = -2*o. Suppose -r - o = 5*b, 3*b - 2*r - 3 = -1. Suppose i + i = b. Solve z + 1 + 4 = i for z.
-5
Suppose -3*j - 5*r = -6 - 27, -3*j + 3*r = -9. Solve 3*n = -j + 18 for n.
4
Let r = -64 - -68. Solve -r*z + 4 = -4 for z.
2
Let n = -33 + 37. Solve 25 = s + n*s for s.
5
Let s(k) = k. Let o be s(6). Let b = -5 - -7. Suppose b*f - 2*v - 14 = 0, -4*f + 22 = -0*v - v. Solve -f*r + 21 - o = 0 for r.
3
Suppose y + 2*y = 3*u, -4 = 2*y - u. Let z be 10*(0 + y/(-8)). Solve 0 = -0*b - z*b for b.
0
Suppose -4*l + 24 = 3*p, -p - 2*l = 2 - 12. Suppose -d + 3*s = -8, 3*d + 3*s = -d + 2. Solve -4 = p*v - d*v for v.
-2
Let o(p) = p**2 - 3*p - 8. Let z be 0/(-1) + -12 + 0. Let w be 16/z*9/(-2). Let t be o(w). Solve 0 = 5*f + 5 + t for f.
-3
Let n be (-3)/3*32 + 1. Let u be (-5)/30 - n/6. Solve 0 = u*t + 11 + 4 for t.
-3
Let u be (4 - 60/16)*12. Solve -2*j - u - 1 = 0 for j.
-2
Suppose -4*n = 5*u + 12, -4*n + 0*n + 4 = u. Suppose 0 = 2*f + 6 + 4. Let z be 0/(f/(5/n)). Solve z = 2*t - 0*t + 8 for t.
-4
Suppose f = -3*t + 2*f + 13, 25 = 5*t - 5*f. Suppose 6 = 3*x + 3*l, 3*x + x = t*l + 16. Suppose -2*h = -1 - x. Solve 6*n = h*n for n.
0
Let s = -11 + 14. Solve -s = 5*o - 13 for o.
2
Let y be ((-2)/1 - 3)*4/(-10). Solve -y*n = -n + 2 for n.
-2
Let t be (6 + -12)/((9/(-10))/3). Solve -6*q - t = -q for q.
-4
Let s be (1 + -2)/2*-6. Solve -3*u + 0*u = s for u.
-1
Let k be (-18)/(-4)*(-6)/(-9). Suppose k*b = -3*h + 30, 4 + 1 = 3*h - 2*b. Let f = h - 4. Solve o = 2*o + f for o.
-1
Let u = 17 + -16. Solve 0 = 5*i - 4 - u for i.
1
Let o(i) = -i**2 + 4*i. Let c(s) = -s + 16. Let n be c(13). Let r be o(n). Solve 0*z - r*z + 12 = 0 for z.
4
Let w = 5 - 5. Let h(k) = -k + 6. Let i be h(2). Solve i = -a - w*a for a.
-4
Suppose 7*r - 10 = 2*r. Solve r = v + 6 for v.
-4
Let y = -55 + 69. Solve 4*l + y + 2 = 0 for l.
-4
Let b = -26 + 17. Let o be (-2)/b + 1624/63. Solve -o = 5*n - 6 for n.
-4
Let s = 103 - 99. Solve s*h - 14 + 6 = 0 for h.
2
Suppose 5*b + 31 = o, 0 = -2*o - 2*o - 2*b + 14. Solve -3*i = o + 3 for i.
-3
Let k(a) = a**3 - 6*a**2 - a + 7. Let j(g) = -2*g. Let i be j(-3). Let z be k(i). Solve 5*c + z = 11 for c.
2
Suppose 0 = -3*w + 6*w - 60. Suppose 0 = -5*c - w, -3*r - 3 = -0*r + 3*c. Solve 3 = 4*k - r*k for k.
3
Let v(r) = r**3 + 6*r**2 + r + 5. Let m be v(-5). Suppose 5 - m = -5*w. Suppose 2*d + 0*d = w. Solve d*c - 4*c - 4 = 0 for c.
-2
Let h(v) = v**2 - v + 3. Suppose -y + 4*g = 9, 3*y + 2*g = 3*g + 6. Let f be h(y). Solve 0 = -4*s - 7 - f for s.
-4
Let z(s) = -s**3 + 6*s**2 - 4. Let v be z(6). Let o be (v + 0)*2/(-4). Suppose o*q = -2*q. Solve -3*p + q*p + 12 = 0 for p.
4
Suppose 4*q = 2*f - 24, 0 = -5*q - 2*f - 16 + 4. Let z(p) = p**3 + 5*p**2 + 4*p + 4. Let l be z(q). Solve 0 = -c + l - 2 for c.
2
Let i(r) = -r**3 - 25*r**2 - 45*r + 23. Let j be i(-23). Solve j = -v - 0*v for v.
0
Let o = -12 + 22. Let l be ((-8)/o)/(2/(-5)). Let m = l + 1. Solve 0 = -m*y + y - 4 for y.
-2
Suppose 4*v + 3*g - 16 = 0, 2*v + 3*g - 1 = 7. Suppose 10 = m + v. Solve -2*o + 4*o = -m for o.
-3
Let u be (-4)/(-6) + (-16)/6. Let c be (-3 + 3)*u/(-4). Suppose -5*t = -3*s + 40, 2*s - 15 = t - c*t. Solve -s*i - 18 = -3 for i.
-3
Suppose 27 = 3*f + 2*p, 2*p = f + 1 - 2. Solve 4*j = f + 9 for j.
4
Suppose -m - 10 = -4*w, 2*m + 1 = -3*w + 14. Solve -4*u + m - 6 = 0 for u.
-1
Let t be (0 - 0/(-3)) + 4. Suppose -8 = -t*o - 0. Solve -o*c = -6*c for c.
0
Suppose -b + 4*o = -12, 2*b = 3*o + 2*o + 15. Solve -2*n = -b*n - 6 for n.
3
Let n = 34 + -4. Suppose z = -z - n. Let b be -1*2/(6/z). Solve 3*d = -2*d + b for d.
1
Suppose w + 8 = 2*v, 4*w - 6 + 30 = 4*v. Solve -v*f + 3*f = -4 for f.
-4
Suppose 4*b - 16 = -8. Suppose 4*s - b*s - 10 = 0. Solve -2*w + w = -s for w.
5
Suppose 0 = -3*b + 2*b - 4. Let h be (b/3)/((-2)/15). Suppose -5*o + 4*l - h = 10, -5 = -4*o - l. Solve o = -t - 4 - 0 for t.
-4
Let q(u) = 5*u + 55. Let f be q(-11). Solve 4*j + j - 15 = f for j.
3
Let c = -23 + 26. Solve 2*y = -y - c for y.
-1
Let j(h) = h**3 - 7*h**2 + 5*h + 8. Let t be j(6). Let f = t - 0. Solve 5*o = -12 + f for o.
-2
Let t = 5 - 3. Suppose k - 6 = -3*x + 2, t*k = 5*x + 5. Solve 4*h - 15 = k for h.
5
Let w(v) = -v + 1. Let f(t) = -10*t + 6. Let q(y) = f(y) -