t s be ((-5)/2)/((-5)/10). Suppose -6*m + m = -s. Let i = m - -1. Solve i*p + 0 = -4 for p.
-2
Let a be 3 - 3/(-6)*4. Solve 3*n + 2 = a for n.
1
Let u be (8 - 5) + -1*3. Let h be ((-3)/(-2))/((-15)/(-50)). Suppose u = -k + 2*k - h. Solve k*n = -0*n for n.
0
Let v(h) be the second derivative of -h**3/3 - 7*h**2/2 + h. Let o be v(-8). Suppose 3*j = 2*q - 3*q + 19, 3*q - 2 = 2*j. Solve -n - o = -q*n for n.
3
Let o be (8/(-12))/((-4)/66). Let v = o - 5. Solve -18 = -3*k - v for k.
4
Suppose 2 = -2*z, -3*z + 10 = 2*u - 109. Let f = -36 + u. Solve 3*n + f = -2*n for n.
-5
Suppose -4*g + 2 = 6. Suppose 7 = -4*k - 1. Let r be (1*10)/(g - k). Solve -r = -3*a - 1 for a.
3
Let h(d) be the first derivative of -d**4/24 - d**3 - d**2/2 + 2. Let u(m) be the second derivative of h(m). Let i be u(-8). Solve f = 2*f + i for f.
-2
Let h = 15 + -10. Suppose h + 25 = 5*x. Solve x*t = t for t.
0
Suppose -2*q - 4 = 2*q. Suppose -3*b - b = 4. Let t = b - q. Solve -2*y - y + 6 = t for y.
2
Suppose -q + 2*q = 4. Solve 0 = -q*w - 8 for w.
-2
Let j(k) = 6*k**3 - 2*k**2 + 1. Let c be j(1). Suppose -c*n = -3*n - 8. Solve 2*r = n*r - 2 for r.
1
Let o = -51 + 72. Let k = o - 20. Let x be ((2 - 1) + -1)/1. Solve -r - k - 4 = x for r.
-5
Suppose 4*d + 4 = 2*n, 3*d - 5*n = -0*n + 4. Let b be -1 + 0 - 14/d. Let p be 3/9 + 70/6. Solve b*r - 2*r = p for r.
3
Let c(t) = -t**3 - 5*t**2 - 2*t - 10. Let g be c(-5). Solve g = f + 1 + 1 for f.
-2
Suppose 3*o = k, 0 = -0*k + 4*k + 3*o. Let s(m) = -m. Let v be s(k). Suppose 5*a - 10 + v = 0. Solve 0 = -a*t - t - 12 for t.
-4
Suppose a - 16 = -3*a. Let h = -18 - -22. Suppose -2*l = 2*t - 42, -2*t = h*l - 7*l + 38. Solve 0*z = -a*z - l for z.
-4
Let j be (-33)/(-9)*(2 - -1). Let q = j - 11. Solve q = -5*a + 6 - 16 for a.
-2
Suppose 1 + 7 = 4*i. Solve i*l - 2 = -0 for l.
1
Suppose -3*p + 9 = 0, -2*t - 4 = -t - 3*p. Suppose w + w = -3*j, 2*j = 2*w - 10. Solve w*h + t = 4*h for h.
5
Let s(n) = n**2 - n - 1. Let v(o) = -3*o**2 + 2*o + 3. Let f(b) = -5*s(b) - 2*v(b). Suppose 5*d = 8 + 7. Let m be f(d). Solve -4*c + 1 = -m for c.
3
Let q = 4 - -4. Suppose 4*g + 4*c = q, 0 = -2*g - 3*g + c + 10. Solve -h + g*h - 4 = 0 for h.
4
Let v = 16 + -14. Solve -v*o + 12 = o for o.
4
Let m(s) = s**3 - 8*s**2. Let j be m(8). Suppose j = 4*i - i - 6. Solve i*f = -2*f + 12 for f.
3
Suppose -4*h + 8 = 3*t, 0*h + t - 4 = -2*h. Let d be 5*-3*(-1)/15. Suppose 4*m - d = -2*j + 3*j, -m = -j + 2. Solve -j - h = u for u.
-5
Let u be 3/(-2)*(-4)/(-3). Let o be 2/u - (-1 - 0). Solve o = l + l + 8 for l.
-4
Let f be -5 + -1*(0 + 0). Let l = -1 - f. Let d(n) = -n**2 + 8*n + 7. Let z be d(8). Solve -l*t + 9 = -z*t for t.
-3
Let v be (-6)/4 + 114/4. Suppose 2*d - c = -6 + 17, -5*c - v = -3*d. Suppose -5*q = 2*a - 14, d*a + q + 9 = 37. Solve -13 = 5*u + a for u.
-4
Let g(j) = 2*j + 1. Let z be g(2). Let l(i) = -i + 5. Let c be l(0). Let a be 21*((-15)/(-9))/c. Solve z*m - 3 = a for m.
2
Suppose 5*q + 2 - 22 = 0. Let t(y) = y - 5. Let a be t(5). Suppose a*u + u = 0. Solve -2*k + q = -u*k for k.
2
Let y be 0/(1 + 0)*-1. Suppose y*m = m. Solve -z + m = 4 for z.
-4
Suppose -2*x = 3*x - 10. Let b = 7 - x. Solve z - 6*z - b = 0 for z.
-1
Let m(r) = r**2 + 3*r. Let c(g) = g + 4. Let i be c(-6). Let n be m(i). Let w be 2/3*(n + 5). Solve x - w*x = 3 for x.
-3
Let l(t) = 2*t - 17. Let h(u) = 3*u - 25. Let i(b) = -5*h(b) + 7*l(b). Let y be i(4). Solve -y = k + 3 for k.
-5
Let h be ((-2)/3)/((-1)/3) - 0. Solve 3*d = d - h for d.
-1
Suppose -4*y + 2*p + 56 = 0, 3*y - 43 = p + p. Suppose -n - 2 = f - 1, -5*n - y = -3*f. Let k = 2 + n. Solve k = -l + 6*l + 5 for l.
-1
Suppose 4*k - k + 12 = 0. Let s(l) = l**3 + 5*l**2 + 2*l. Let b be s(k). Suppose q = -q + b. Solve -r - q*r + 20 = 0 for r.
4
Let a(t) = -t**3 + 9*t**2 + t - 4. Let o be a(9). Solve 3*s - 6 = o*s for s.
-3
Let u(w) = w**2 + 8*w - 6. Let x be u(-9). Suppose 0 = 4*a - x*a - 2. Let p be (a/(-4))/(1/(-8)). Solve 4*v - p = -0*v for v.
1
Let v be (-392)/(-63) - 4/18. Suppose -v = -f + w, -4*w + 0 = f + 9. Solve -f = 2*i - 3*i for i.
3
Let i be (-14)/(-4) + 3/6. Suppose h + s - 4 = -0*s, -i*h + 28 = s. Solve -5*v + h = -2 for v.
2
Let q(v) = -v**3 + 4*v**2 - 3*v + 2. Let c be q(3). Let j = 6 - 5. Solve -c*z - j = -5 for z.
2
Let g = -11 + 26. Solve -4*b = -g - 5 for b.
5
Let o(g) = -g**2 - 8 + 5*g**2 + g**3 - 6*g + 3. Let s be o(-5). Solve s = -5*x + 26 - 1 for x.
5
Suppose -98 = -4*u - 3*n, -4*u + 8*u - 108 = 2*n. Let l = -23 + u. Solve 0 = 3*g + l + 9 for g.
-4
Let g be 0/3*(-1)/(-3). Solve -2*i + 5*i = g for i.
0
Suppose h + 4*c = -1, 2*h = -2*h - 2*c + 10. Solve 4*w + 5 = -h for w.
-2
Let f be (1 - (-2 - -3))/(-2). Solve z - 3*z + 8 = f for z.
4
Let a = -3 - -5. Let g be (4 + -2)*(-15)/(-10). Suppose r - 4*r + g = 0. Solve a*j - r = 3 for j.
2
Suppose -5*l + 35 = 5*u, 5*u + 1 = 2*l + 22. Let r be (1/(-3))/(l/(-30)). Solve -r*p - 10 + 0 = 0 for p.
-2
Let q = 12 + -10. Let r be 0 - q/(6/(-27)). Solve 0 = 2*p + r + 1 for p.
-5
Let a = -26 + 26. Let w(l) = -5*l - 1. Let h be w(-1). Suppose -h - 6 = -5*x. Solve -y - x*y - 3 = a for y.
-1
Let k be -3 - -8 - 2/2. Let t = k - 2. Let i = t + 0. Solve -i*f - 4 = -6*f for f.
1
Let y(l) = -l**3 - 11*l**2 - 8*l + 5. Let p be y(-10). Let i be 3/p - (-21)/5. Let q be 3 - (-1 - 0) - 2. Solve 0 = -2*k - q*k - i for k.
-1
Suppose -3*p + 0 = 4*h + 6, p + 3*h = -7. Suppose 2*n - p*m - 12 = -0, -3*m = -5*n + 32. Solve -4*y + 3 = n for y.
-1
Let k = 8 - 4. Let s be 0*(7/(-2) - -3). Suppose s*n + 5*n - m = 1, -5*n + 5 = -5*m. Solve -k*o + 3*o + 2 = n for o.
2
Suppose -3*t - 25 = -31. Solve 4*g + t - 10 = 0 for g.
2
Let a(p) = -p**2 + 6*p + 2. Let r be a(6). Suppose 2*m + 4*g + r - 6 = 0, -4*g + 4 = -4*m. Solve 4 = 4*v - m for v.
1
Let s be ((-1)/(-2))/(4/40). Suppose -j - 2*f + 1 + 2 = 0, -15 = -4*j - s*f. Suppose -j*y + 10 = 0, 12 = 2*i + 2*i + 2*y. Solve -i*n = -7*n - 10 for n.
-2
Let o be 10/(-6)*(5 - 8). Let c = o + -4. Solve c = -w + 3 for w.
2
Let g(l) = l**3 - 5*l**2 + 3. Let y be g(5). Solve -20 = d + y*d for d.
-5
Suppose 0 = -6*p + 11*p - 30. Solve -3*v - p = -3 for v.
-1
Let b(v) = -v**2 + 8*v. Let l be b(8). Suppose l = -2*u + 7*u - 55. Suppose r - 3*c = u, 6*r + 5 = r - 5*c. Solve -r = -a - 1 for a.
1
Suppose 0 = -5*c + l + 103, -5*l = 2*c - l - 50. Let g = 28 + -13. Let n = c - g. Solve j - n = 3*j for j.
-3
Let r(l) be the third derivative of l**6/60 - l**5/30 + l**3/6 + 2*l**2. Suppose 13 = 5*t - 2*y, 5*t + 0*t = y + 9. Let p be r(t). Solve p = -o + 5 for o.
4
Suppose 3*l - 5*s = 17, 5*l + 4*s = 19 - 3. Solve 0 = v + v + l for v.
-2
Let k be 4/(-132)*6 + 46/11. Solve k*m - 3 = 5*m for m.
-3
Let s(g) = -2*g - 4. Let y be s(-4). Suppose 1 = -4*w + y*k - 11, -5*k + 15 = 5*w. Suppose w = -5*j + 6*j. Solve -o = -j*o - 2 for o.
2
Let m be (1/(-5)*6)/((-6)/20). Solve m = -4*o + 2*o for o.
-2
Let w be 52/10 - 1/5. Suppose 3*a = -2*q + a + 84, -w*a = -4*q + 132. Suppose 16 = -4*l, 0 = -4*x + 2*x + 4*l + q. Solve x - 1 = 5*k for k.
2
Let q(v) be the third derivative of 0*v + 1/120*v**6 + 1/12*v**5 + 0 + 7/6*v**3 - 5/24*v**4 + v**2. Let f be q(-6). Solve -k - f = -2 for k.
1
Suppose 0 = 5*g - 5 - 20. Suppose 4 = g*p - 6. Let f be p + (-3)/3 - -1. Solve c - f = -0 for c.
2
Suppose -3*t + 12 = 0, 5*t + 8 = 2*s - 8. Let o be 4 + s - 4/2. Solve 3*j + o = -j for j.
-5
Let h = -11 + -31. Let f be h/(-8) + (-7)/28. Solve f*w = w - 16 for w.
-4
Let p(m) = -m**2 - 5*m + 2. Let f be p(-5). Let g be 10 + 2*f/(-4). Solve g = 7*i - 4*i for i.
3
Suppose -4*d - f + 8 = 0, -4*f = 3*d - 7*d - 12. Solve h + 2 = -d for h.
-3
Let u be 14/5 - (-16)/(-20). Solve u*w = 4*w - 6 for w.
3
Suppose 21*r - 901 + 208 = 0. Let v = -7 + 12. Solve v*a = r - 8 for a.
5
Let i(s) = 2*s + 1. Let p be i(-1). Let o be (-1)/(p/60*2). Suppose 0 = -2*k + 3*u - 1, 5*k - 90 = -5*u - o. Solve 6 = -k*z + 4*z for z.
-2
Let z(f) = f + 9. Let o be z(-7). Let l be o/(-7) - (-10)/(-14). Let a be (l - -3 - 2) + 0. Solve a = -4*r - r for r.
0
Let f(t) be the first derivative of -t**4/2 + 1. Let b be f(-1). Solve -v = -b*v + 4 for v.
4
Let d be (9/4)/((-2)/8). Let i(f) = f**3 + 9*f**2 + 3. Let v be i(d). Solve -u + v = 4 for u.
-1
Let w be (8*(-3 + 4))/2. Suppose -w*j + 4*s = 0, -5*j = -j + s - 15. Solve j = -3*n + 12 for n.
3
Let y = 115 + -11