Let y be n(-4). Solve -8 = -o + y*o for o.
-2
Let w(k) = -k**2 - 6*k + 2. Suppose 4*u + 6*c = 3*c - 33, c - 21 = 4*u. Let z be w(u). Solve z*h + 8 = -2 for h.
-5
Let h be (-246)/(-16) + (-66)/176. Solve 7*t - 2*t - h = 0 for t.
3
Let m = 93 - 86. Solve -m*o = -5*o + 2 for o.
-1
Suppose 0 = 3*w + 2*b - 14, 2*w - b + 16 = 4*b. Solve w = 3*f - 13 for f.
5
Let s = 70 + -66. Solve s = -3*h + 2*h for h.
-4
Let u(a) = -3*a + a**3 - a + 3*a**2 + 3*a + 0*a**3. Let p be u(-2). Solve p*y = y - 10 for y.
-2
Let j be (-1)/(-4) - (-155)/20. Solve -d = -4 + j for d.
-4
Suppose 6*q - 11 = 1. Solve q*w = -8 - 2 for w.
-5
Let a = 368 - 164. Let w be a/54 - 2/(-9). Solve -3*t + w = -4*t for t.
-4
Let h be (0/(-2) + 0)/(-1). Let o(b) = -7*b**2 - 3*b - 5 - b**3 - 2*b + 4*b. Let p be o(-7). Solve k = -h*k + p for k.
2
Let w be (0*(-3)/(-6))/(-1). Suppose w = -2*q + 20 + 4. Solve -2*v - v = q for v.
-4
Let r(j) = -j**2 + 5*j. Let t be r(4). Let h be 19 + 2/t*-6. Solve -4*b + 0 = h for b.
-4
Let i = 18 - 3. Solve 4*t + 5 = -i for t.
-5
Suppose -2*x + 12 = -4*x. Let z be (14/x + 2)*-15. Solve 3 = g + z for g.
-2
Let u(j) = j**2 - 1. Let h be u(-2). Let g be (-1 + h)/((-2)/(-5)). Suppose -36 = -g*c + 2*c. Solve 3*r = -0*r - c for r.
-4
Let l(q) = -2*q**3 - 2*q**2 + q - 2. Let s be l(-2). Let b(u) = u**2 - 2*u + 4. Let r be b(s). Let n = -5 + r. Solve -v + n = 3 for v.
4
Let m(a) be the third derivative of -a**4/24 + 5*a**3/3 - 2*a**2. Let l be m(8). Suppose l*g - 3*t - 12 = 5, 0 = -4*t - 12. Solve -g + 0 = 4*w for w.
-1
Let f(q) = q**2 + 8*q + 1. Let n(p) = -2*p**2 + 3*p - 3. Let w be n(2). Let s be f(w). Let z be 6/4 - 7/s. Solve z*h + 10 = -3*h for h.
-2
Let c = 9 + 4. Suppose -2*l + c = 1. Solve -l = -v - 1 for v.
5
Let j(g) = g**3 - 5*g**2 - 15*g + 9. Let w be j(7). Solve -1 + w = q for q.
1
Let u = 115 + -111. Solve 0*v - u*v + 12 = 0 for v.
3
Let q(l) = 7*l**3 - 4*l + 0*l**3 + 5*l**2 + 5 - 8*l**3. Let i be q(4). Suppose 0*z - z + 2*x = -6, -2*x = -3*z + 18. Solve 0 = -z*f + f + i for f.
1
Let x = 17 + -20. Let t be 6 + x - 4/2. Solve 0*i + i = -t for i.
-1
Suppose 0*h = -4*u + 4*h + 4, 2*u - 3*h + 3 = 0. Suppose -9 = -u*j + 3*j. Let l = 13 + -11. Solve l*p - 5 = -j for p.
1
Let n be 6/(-18)*(3 - 2)*0. Solve -11*z + 13*z + 4 = n for z.
-2
Let z be 2*-3*(-3)/((-3)/(-1)). Solve 20 = z*a - 2*a for a.
5
Let p = -3 - -6. Suppose -p*f + m + 6 = -f, 2*f - 5*m = 14. Suppose -a = -f - 3. Solve -9 = -a*j + 16 for j.
5
Let q(t) = t**2 + 9*t - 8. Let i be q(-10). Solve -i*g = -2 - 4 for g.
3
Let p(w) be the second derivative of w**5/20 - 3*w**4/4 + 4*w**3/3 + 5*w**2/2 - 4*w. Let q be p(8). Solve -5*u + 25 = q for u.
4
Suppose 4*p - 2*p = 0. Solve p = -s + 4*s - 3 for s.
1
Let y(v) = -v**2 - v + 2. Let g be 3/6 + (-9)/(-2). Let x = g - 5. Let u be y(x). Solve o - 12 = -u*o for o.
4
Let r = 106 + -106. Solve 0 = -2*x - r + 4 for x.
2
Let a(z) = z**3 - 10*z**2 - 10*z - 11. Let o be a(11). Solve 4*l + o*l = 12 for l.
3
Let c(g) = g**2 + 8*g - 6. Let h be c(-9). Solve 5 = -u + h for u.
-2
Let q = 81 + -46. Let i be 46/14 + (-10)/q. Solve o + 4 - i = 0 for o.
-1
Let r be (-3 - 0) + (-8)/(-2). Suppose -l - 1 - r = 2*i, 0 = 4*i + 12. Solve -4*u = l + 12 for u.
-4
Suppose -6 = w - 3*t, -t + 11 = 2*w + 2. Suppose w*l - 6 - 6 = 0. Let n(p) = -p**2 + 4*p + 2. Let j be n(l). Solve j*o - o = 0 for o.
0
Suppose -2*p + 9 = p. Let u be (-2)/(-3) - (-22)/p. Solve -3*j = -u*j + 10 for j.
2
Let x = 83 + -47. Let o be ((-4)/9)/((-8)/x). Solve -3*t = o*t for t.
0
Let q be 2/(-6)*(1 + -16). Suppose q*j = 3*j. Solve 5*g = -j*g + 20 for g.
4
Suppose -4*j - 18 = -2*m, -5*m + 4*j + 0*j + 15 = 0. Let u = 9 + m. Solve 0 = 5*a - 3*a - u for a.
4
Let n = -7 - -7. Suppose 4*k + 2 - 18 = n. Solve -3*j = -k*j - 5 for j.
-5
Suppose 0 = -20*p + 22*p. Suppose 2*h = -2*u + 3*u + 3, -2*h - 6 = -4*u. Suppose -18 = -3*m - 0*m. Solve p*i - m = -u*i for i.
2
Suppose 4*g - g - 8 = -5*r, -2*r + 5*g + 28 = 0. Solve 0 = r*w + 21 - 9 for w.
-3
Suppose 12 = 3*d - 2*m, d + 3*d = -2*m + 2. Solve 0*k - 8 = -d*k for k.
4
Suppose s - 8*s = -119. Solve 16*p - s*p = -5 for p.
5
Let l be 4 + (-1)/3*0. Let y = 0 + l. Solve -2*w + 3*w = -y for w.
-4
Let o be ((0 - -3)/12)/(1/12). Solve y - 4*y = o for y.
-1
Let m = 8 - 5. Let k be (2/7 + 4/(-14))*-1. Solve m*c - 8*c + 10 = k for c.
2
Suppose 349 = 5*f - 246. Suppose -4*a + 2*o + 140 = -2*o, 3*o - f = -4*a. Solve 0 = 5*g + a - 7 for g.
-5
Let x be (-28)/(-105)*-3 - 28/(-10). Solve -m - x*m + 12 = 0 for m.
4
Suppose 0 = -f - 0*f + 3. Suppose 0*n - 62 = 2*b + 2*n, 5*n - 69 = f*b. Let y = 50 + b. Solve -5*t - 3 = y for t.
-5
Let w = -9 + 12. Solve -w*j = -0*j - 3 for j.
1
Let t(o) = o - 14. Let g be t(6). Let l = -6 - g. Solve 6 = 2*p + l for p.
2
Let r = 0 - -4. Solve r*y = -3 - 13 for y.
-4
Let f = -2 + 4. Suppose -f*b + 5 + 5 = 0. Suppose 0 = -2*o - 0*o. Solve -b*d = -o*d for d.
0
Suppose 2*g = 2*z + 10, z + 7 = 2*g - 0*g. Let r = 8 + -5. Suppose 4*q - 5*w - 47 = 0, r*w + 25 = g*q - 0*w. Solve -q = 2*k - 4*k for k.
4
Let w(t) = t**3 + 8*t**2 - t - 6. Let j be w(-8). Suppose 0 = -2*l + 4 + j. Suppose 11 + 1 = l*x, 3*x = -p + 12. Solve p*n = -4*n - 8 for n.
-2
Let g(d) = d**3 + 1. Let w(o) = o**3 + 6*o**3 - 3*o + 5*o**2 - o + 5 - 5*o**3. Let p(u) = g(u) - w(u). Let s be p(-6). Solve 0 = 2*a + 2*a + s for a.
-2
Let y = 7 + -5. Suppose -y*l + 3*l = 0. Suppose l = u + 3*u - 3*x - 17, 0 = u - 4*x - 14. Solve -v - 2 = -u*v for v.
2
Let j be 0*((-3)/(-5))/(-3). Suppose 0 = -0*g - 3*g. Suppose -5*d + 9 + 6 = g. Solve j = 2*h + d + 5 for h.
-4
Let i(n) be the second derivative of -1/3*n**3 - 5/2*n**2 + 0 + 4*n. Let y be i(-7). Solve -3 = -3*s + y for s.
4
Suppose -13*d + 5*d = 0. Solve d = 5*n - 3*n + 10 for n.
-5
Let b(j) = 3*j**2 - j - 2 - 2*j**2 - 2 + 1. Let v be b(3). Solve -v*q = 2 - 8 for q.
2
Let p(t) = -t**2 - 15*t - 10. Let i be p(-13). Suppose 0 = 2*l + 2*l - i. Solve -l*x - x - 25 = 0 for x.
-5
Let t be (-24)/(-10) - (-2)/(-5). Suppose 0 = 5*v - r + 6*r - 40, 0 = -5*v + r + 10. Solve t = v*m - 1 for m.
1
Let q be 1 - -1 - (-2)/1. Solve -2*u = q + 2 for u.
-3
Suppose -11*i + 8*i = -3. Solve -4 - i = -r for r.
5
Let m(c) = -2*c**2 - 2*c - 2. Let w be m(-2). Let t be ((-4)/w)/(4/18). Solve -a - 10 = -t*a for a.
5
Let w(j) = 3*j**2 - 3*j - 1. Let c be w(2). Solve 5*x - 15 = c for x.
4
Suppose 5*g = 3*k - 1 + 4, 5*k = -5*g - 5. Suppose 0 = -g*d + d. Solve d = a - 4*a - 3 for a.
-1
Let p = 19 - 13. Suppose -4*a = q - 22, 3*q - p*q + 2*a + 10 = 0. Solve q = 5*k - 4 for k.
2
Suppose -x + 9 = -5*n - 10, 0 = x + 5*n + 11. Solve x*s - 17 = 3 for s.
5
Let u be 9/4 - (-2)/(-8). Suppose u = -4*h + 6. Solve -13 + h = 3*p for p.
-4
Suppose -w = 4*n, -6 + 2 = -2*w - 4*n. Solve f - 3 = w*f for f.
-1
Let i(w) = -w + 5. Let j be i(3). Solve -7 = -g - j for g.
5
Suppose -2 = 3*w + 2*q, 2*q = -0*w - 5*w + 2. Solve -6*g = -w*g for g.
0
Let j = 1 - -8. Suppose -5*w + j*w = 8. Let c be (-144)/(-14) + 2/(-7). Solve 4*l + w = -c for l.
-3
Let g = 4 + -1. Suppose -f - 5*k + 14 = 0, 18 = 7*f - g*f + k. Solve f*p = -2 + 6 for p.
1
Suppose -z - 4 = -4*c + 13, 0 = 3*c + 2*z - 10. Solve -1 = -c*j + 3 for j.
1
Suppose -4*p - 4*v - 24 = 0, 4*p - 2*p = -5*v. Let a(k) = k**2 + 11*k + 12. Let z be a(p). Solve 5 = -3*o - z*o for o.
-1
Let k be (-3)/((-3)/5)*1. Suppose k*y - 2 = 23. Solve -z = -y*z + 12 for z.
3
Let b = -7 + 12. Suppose -3*o - 3 + 0 = -3*x, -4*x + 31 = b*o. Suppose -d = 3, n - 12 = 7*d - o*d. Solve n = y - 4*y + 12 for y.
4
Let n = 124 + -108. Solve 0*i - 4*i = n for i.
-4
Let s be 42/4*56/(-42). Let z = s - -18. Solve 7*j - z*j = -12 for j.
-4
Let s(u) = -u**3 - 5*u**2 + 2*u + 5. Let q(p) = p**2 + p - 1. Let w(d) = 4*q(d) + s(d). Let o = -10 - -6. Let y be w(o). Solve 0 = 5*l - y - 0 for l.
5
Suppose 2*h + h - 6 = 0. Suppose 0 = -h*u + 3*u. Solve 3*g + 3 - 6 = u for g.
1
Let o(h) be the third derivative of h**4/24 + 2*h**3 + 2*h**2. Let n be o(0). Solve -2*c = 2*c + n for c.
-3
Let b(n) = -2*n**2 - 12*n + 3. Let t be b(-6). Solve 1 = -t*j - 8 for j.
-3
Suppose 3*k = -2*k - 65. Let t = k - -7. Let v be ((-70)/21)/(2/t). Solve -p = -6*p + v for p.
2
Suppose w - 11 = -2*w - n, 2 = -2*n. Solve -w*g = -g + 6 for g.
-2
Suppose 5*z - 1 = 44. Solve -5*a - z = -2*a for a.
-3
Let j be ((-20)/(-30))/((-2)/(-78)