 -9*s. Solve -m*y - 4*y + 20 = 0 for y.
2
Let k = 2865 + -2844. Solve -13 = -k*f + 8 for f.
1
Suppose -4*h + 110 = -o - o, -2*o = 3*h - 65. Let w be 80/4 - (0 - 0)/(-5). Suppose w + h = 5*d. Solve 0 = -3*z - 3 + d for z.
2
Suppose 2*p - 5 = h, -5*p + h + h = -10. Let f(b) be the first derivative of -b**4/4 + b**2/2 - 17. Let n be f(p). Solve n = -2*y + 1 - 5 for y.
-2
Let z = 524 + -508. Solve 13*k + 10*k = z*k for k.
0
Let s(b) = -24*b**3 + 2*b + 25*b**3 - b - 3*b + 3*b**2 + 8. Let f be s(-4). Solve -r = -f*r + 4 for r.
-4
Let f(t) = -2*t + 6. Let i be f(2). Suppose 0*u + 6 = 5*u - o, -4*u = 2*o - i. Solve 2*w + 3 + u = 0 for w.
-2
Let n(i) = 4*i**2 + 4*i + 20. Let j be n(-6). Suppose 0 = -x - 6*x + j. Solve -2*f - x = 3*f for f.
-4
Let c = -11 + 25. Let j = c + 2. Solve 3*q = j - 1 for q.
5
Suppose 16*c - 3*o - 171 = 13*c, -2*c - 2*o = -110. Solve 36 - c = -4*g for g.
5
Let k(p) = p**2 + 45*p + 306. Let b be k(-8). Solve -16*o = -4*o - b*o for o.
0
Suppose 3*m + l = 313, 14*l - 15*l - 107 = -m. Solve -2*i + m - 103 = 0 for i.
1
Let q(n) = 2*n**2 + 12*n + 7. Let c be q(-8). Let r = -27 + c. Solve -3*o - r = -24 for o.
4
Let o = -10 - -10. Let y be 14*(-6 + 43/7). Suppose 0 = -2*v + 2*n - 3*n + 11, -n = -4*v + 7. Solve v*t - t + y = o for t.
-1
Suppose 2*s = -5*l + 22, 0*s - 3 = -3*s. Suppose 0 = 5*b + u - 5, -3*b - l*u = -3. Let m be b - 6/(-2)*3. Solve m = h - 3*h for h.
-5
Let v = -4 - -8. Solve v*z = 1 + 19 for z.
5
Let h(t) = -4*t**3 - 15*t**2 + 18*t - 2. Let l(p) = -9*p**3 - 29*p**2 + 36*p - 3. Let f(j) = 7*h(j) - 3*l(j). Let a be f(-19). Solve -5*s - 4 = -a for s.
2
Suppose -6*y + 64 = -2*y. Let s = 119 - 55. Let m be 16/20 + s/20. Solve -y = -4*v + m for v.
5
Suppose -4*t - 6 = -5*g - 3*t, 5*g - 3*t = -2. Let r = -15 - -21. Solve r*a = g*a + 16 for a.
4
Let z = -47 - -55. Suppose z*h = 9*h - 16. Solve 5*r = r + h for r.
4
Let c(n) = -n**3 - 4*n**2 + 3*n - 4. Let a be c(-5). Let m be -6*(2/6)/(-1). Let d = -2 + m. Solve d = -a*g + 4*g - 4 for g.
-2
Let r(g) = -g**2 - 16*g - 15. Let k be r(-10). Suppose 4*t + 31 = 3*f, 5*f - 6*t + t - k = 0. Suppose f = 2*i - 3. Solve -3*u + i*u - 4 = 0 for u.
4
Let i = -1126 - -1131. Solve 0 = i*m + 7 + 3 for m.
-2
Let u be (90/36)/(-1 + (-34)/(-24)). Let o(m) = -m**2 + m + 3. Let r be o(0). Solve u = -3*g - r for g.
-3
Let l(t) be the second derivative of -t**5/20 - 7*t**4/12 - t**3 - 3*t**2 + t. Let j be l(-6). Let i be -4*(j/(-4) + -2). Solve 0 = b + 2 + i for b.
-4
Let a(n) = -61*n - 411. Let h be a(-7). Solve -3*c - h*c = -76 for c.
4
Let h(x) = -4*x + x**2 + 0*x + 3 + 5. Let b be h(4). Solve b = -3*c - c for c.
-2
Let h(g) = g**2 + 11*g - 12. Let a(n) be the second derivative of n**3/6 - 4*n**2 + 7*n. Let z be a(-4). Let b be h(z). Solve b = j - 6*j for j.
0
Let u = 4 + -2. Suppose -v = 2*s - 6, 0 = u*s - 5*v + 4 + 2. Suppose m = -s*m + 9. Solve m - 9 = 2*p for p.
-3
Let k be (-6)/(-39) - 1158/(-78). Solve 0 = -k*h + 20*h - 20 for h.
4
Let n(v) = v**2 + 4*v + 2. Let a be n(-4). Let g(s) = -22*s - 129. Let f be g(-6). Solve -f*l + a*l = -3 for l.
3
Let q(x) = -9*x + 84. Let o be q(9). Solve -o*h + 0*h + 6 = 0 for h.
2
Let w(q) = -q**3 + 3*q**2 + 2*q - 3. Let i(n) = 8*n + 11 - 2 - n + n**2. Let v be i(-6). Let z be w(v). Solve -z = -0*o - o for o.
3
Let c(i) = -i**2 + 3*i - 4. Let x be c(3). Let a be (6/x + 2/4)*-2. Solve -a*f + 6*f - 8 = 0 for f.
2
Let y = -308 - -342. Solve -22 + y = -6*z for z.
-2
Suppose 2 = z - 4*o, -2*z + 3*o = -o - 4. Let q = -2 + z. Suppose -3*r - 15 = -2*w, 0 = -8*w + 3*w + 4*r + 27. Solve q*h + w = h for h.
3
Let v(u) = -5*u - 7. Let m be v(-12). Let h = m + -44. Solve 2*p = h + 1 for p.
5
Suppose 3*p + 35 = 89. Suppose 0 = 2*l - 8*l + p. Solve -6*j + 3*j + l = 0 for j.
1
Suppose -5*l = 2*l - 119. Let w = 26 - l. Solve 0*y = 3*y + w for y.
-3
Let b(m) = 4*m - 6. Let i be b(2). Let x = 5 - i. Suppose r + x - 19 = 0. Solve w + 3*w - r = 0 for w.
4
Let c = -4 + 6. Suppose z + 15 = -z + 5*r, -5*z - c*r = -6. Suppose 1 = 2*q - 5. Solve -v + z*v = q for v.
-3
Suppose s + 20 = 5*x, -4*s - 4 = x - 2*x. Let b(m) = -3*m - 18. Let v(f) = -f**2 - 4*f - 10. Let g be v(-3). Let u be b(g). Solve -9 = -u*i - s for i.
3
Let q(f) = 73*f + 226. Let s be q(-3). Solve -k - s = -5 for k.
-2
Let v be 3/(-2)*(-60)/9. Suppose v = 3*z + 2*z. Suppose -z*y + 6 + 2 = 0. Solve 3*q = -2 - y for q.
-2
Suppose 13*c - 804 = c. Suppose c = 3*t + 7. Solve 2*u + 2*u = -t for u.
-5
Let w be (-120)/20*2/(-6). Let n = -5 - -19. Let q(a) = a**3 - 15*a**2 + 15*a + 2. Let b be q(n). Solve 0 = 2*d + w*d + b for d.
-4
Suppose 475 = 9*q + 475. Solve q = -7*p + 35 - 7 for p.
4
Suppose 0 - 2 = -l. Let y = -8 + l. Let u(d) = d + 9. Let f be u(y). Solve f*t = t - 2 for t.
-1
Let q be (-4 + 8 + (-27)/6)*-10. Solve 15 - q = -2*g for g.
-5
Suppose -37*t + 125*t - 352 = 0. Suppose -4*s + 0*k - 6 = -2*k, 6 = -3*s + 3*k. Let p be (s - 2)*(-2)/3. Solve -t = -p*g - 0 for g.
2
Suppose 14*b = 5*b + 36. Suppose 3*j + 5 = -i, 0 = 4*j - b*i - 4 - 16. Solve j = -3*c + 6*c - 9 for c.
3
Suppose -2*m + 20 = -2*z, z - 5*m - 62 = 4*z. Let t be z/4*80/(-28). Suppose 23 = y - 5*h, -3*h - t = -5*y + 17. Solve 0 + 6 = y*l for l.
2
Suppose 0 = -2*l - 2*r + 5*r - 50, -2*r - 40 = 2*l. Let f = l - -24. Solve -x + f = -2*x for x.
-2
Let c = -388 + 394. Solve y - c*y = 25 for y.
-5
Suppose 3*u + 2*z - 19 = 0, 48 - 50 = -z. Solve u = -l + 2 for l.
-3
Let a(i) = -3*i**2 + 4. Let y(w) = -4*w**2 + 5. Let d(p) = -3*a(p) + 2*y(p). Let n be d(2). Let m = 62 + -60. Solve -n = m*q + 4 for q.
-3
Let r(p) = -22*p**2 - 11*p**2 + 7*p + p**3 + 13 + 39*p**2. Let u be r(-5). Solve 7 + 5 = -u*t for t.
-4
Let g(w) = w**3 - 6*w**2 + 7*w + 2. Let x be g(5). Let d(b) = b**3 - 13*b**2 + 12*b + 5. Let i be d(x). Solve 0*s - i*s = -10 for s.
2
Let c(v) = 7*v + 1. Let l(y) = -12*y - 1. Let a(x) = -5*c(x) - 3*l(x). Let p be a(5). Solve o = -0*o + p for o.
3
Let c(g) = 3*g + 46. Let v(h) = -2*h - 23. Let m(a) = 3*c(a) + 5*v(a). Let f be m(18). Solve t = f*t for t.
0
Let x be 1/(-2) + (-91)/(-14). Suppose -3*y = 3*m, -4*m + 24 = -x*y + 2*y. Solve 0*d = m*d - 12 for d.
4
Let b = -12 - -10. Let k be (3 + -4)*(b + -2). Suppose -k*w = -7*w + 45. Solve 5*h + w = -0*h for h.
-3
Suppose 38 = 2*j - 0*j - 2*k, 4*j - 5*k = 76. Let d = j + -12. Suppose 4*b + d*l - 8 = 3*l, -3*b - 10 = -5*l. Solve b = -6*z + 3*z - 6 for z.
-2
Suppose 179 = 58*j - 53. Let n be (3*-1*1)/(-1). Solve -k = -j*k - n for k.
-1
Suppose 33 = z - 6*x + x, 2*x + 73 = 5*z. Let k(f) = -f**2 + 5*f + 6. Let m be k(5). Suppose -m*q + z - 1 = 0. Solve -q = v - 0 for v.
-2
Let a(h) = 22*h + 79. Let u be a(0). Solve -3*n = -u + 79 for n.
0
Let n = 35 + -18. Suppose 3*d = 4*i + n, -4*d + 3*d = -2*i - 7. Let b(k) = k**3 + 4*k**2 - k - 4. Let h be b(-4). Solve h*t = -d*t - 12 for t.
-4
Suppose 5*k + 10 = -2*p, -4*p - 2 = p + k. Suppose -a = -p*a. Let g = a - -3. Solve 0 - g = x for x.
-3
Suppose 0 = 6*k - 4*k. Suppose -4*u = 5*n - 12, 3*n + 0*n = 4*u + 20. Let y be (-7 + (-2 - -5))/u. Solve k*r + y*r = 4 for r.
2
Let x = -63 - -84. Let s = x - 20. Let j = 3 + -2. Solve -2*y = j + s for y.
-1
Let i(w) be the second derivative of -w**4/24 + w**3/6 + 4*w**2 - 9*w. Let n(h) be the first derivative of i(h). Let z be n(1). Solve -2*a - 3*a + 15 = z for a.
3
Suppose l = -4 - 2. Let h(c) be the first derivative of -c**3/3 - 4*c**2 + 23. Let y be h(l). Solve -5*p = -p - y for p.
3
Let w be (-1)/((-45)/(-75) + (-357)/570). Solve -5*n = -w + 28 for n.
2
Let l be ((-4)/(-8))/((-1)/(-10)). Let b(x) = x**2 - 8*x + l - x - 5*x. Let j be b(15). Solve v + j = -4*v for v.
-4
Suppose -3 = 4*v - 15. Suppose 3*g - 5*f - 68 = 0, 0*g - 12 = -g - f. Solve 0 = v*p + 1 - g for p.
5
Let y be (34/9 - 2) + (-6)/(-27). Let s be (1 - y)*0*(-2)/(-10). Let l be (-20)/(-8)*4/5. Solve s = -3*o + 4*o + l for o.
-2
Let y(s) = 6*s + 3. Let z(u) = u. Let r(t) = -y(t) + 5*z(t). Let k = -1 + -2. Let a be r(k). Solve a = -0*l - 2*l + 4 for l.
2
Let w(j) be the third derivative of j**6/120 + j**5/12 - j**4/6 - 11*j**3/6 + 15*j**2. Let x be w(-5). Solve -5*p = -8*p - x for p.
-3
Suppose -17 = -b + 5*z - 34, 0 = -4*z + 16. Suppose -4*x + 16 = 4*o, -3*x - o = -15 + 1. Solve -x*m = b - 28 for m.
5
Let b be (-32)/3*12/(-8). Suppose b*m + 10 = 21*m. Solve -p - p = m for 