e o = -3*w - 2*w for w.
-1
Let b be (0 - (0 + 1)) + 1. Suppose -5*d + 8 + 77 = b. Let t = d + -12. Solve s = t*s - 16 for s.
4
Let l be -2*1/(-2)*5/5. Solve m = l + 2 for m.
3
Let u be 1 + -4 + 16 + -11. Solve 4*g - 2 = u*g for g.
1
Suppose -2*s + 9 = -5*s, -5*s - 45 = -5*t. Let h = -4 + t. Suppose 0 = l - 4*p - 33, 3*p = h*l + p - 54. Solve 3*k + l = -2*k for k.
-5
Let a = 14 - 8. Let o = a - 6. Solve o*m - 2*m = 4 for m.
-2
Suppose -2*j + 9*n = 5*n - 24, -3*j - 3*n - 9 = 0. Solve 3*a + 10 = -j for a.
-4
Let p(o) = -o**3 + 0*o**2 - 3 + o - 5 + 6 - o**2. Let x be p(-2). Solve 0*k - 2*k + 10 = x for k.
5
Suppose -48 = -5*h - h. Solve 6*s + h = 2*s for s.
-2
Let c(y) = 44*y**3 - 9*y**2 - 17*y + 13. Let a(n) = 11*n**3 - 2*n**2 - 4*n + 3. Let d(g) = 9*a(g) - 2*c(g). Let j be d(1). Solve -5*m - j = -0*m for m.
-2
Let a(p) = 2*p - 21. Let h be a(11). Solve -q - 3 = -h for q.
-2
Let l be (-144)/(-42)*((-7)/(-2) + 0). Solve 12 = -6*z - l for z.
-4
Let c = 1 + 6. Let a = 10 - c. Solve -y = -a*y + 2 for y.
1
Let d = 13 - 6. Let f be 16/d + 2/(-7). Solve 2*r - 4 = f for r.
3
Suppose 0 = b - 3*j - 12, -5*b + j - 5 = -23. Solve 0 = q + 5 - b for q.
-2
Let t(b) = b**3 - 2*b**2 + 2*b + 1. Let r be t(2). Let k(i) = i - 1. Let o(v) = 6*v - 12. Let u(s) = 9*k(s) - o(s). Let m be u(4). Solve -r*l = -0*l + m for l.
-3
Let l(y) = y**2 - 2. Let m be l(-2). Suppose -6 = -8*g + m*g. Solve 0 = -4*a - g + 5 for a.
1
Let w(m) be the second derivative of 7*m**3 - m**2/2 - 3*m. Let d be w(1). Suppose 3*k = 4*z - 0*k - d, 0 = -2*z + 4*k + 28. Solve -s - s = -z for s.
4
Let l = -46 - -48. Solve -l*u - 9 = 1 for u.
-5
Let s be 5 - (2 - 0/2). Suppose -3*g - 5*f - 19 = 0, 5*f + 0 + 22 = -4*g. Let d = s + g. Solve d*b = -b + 2 for b.
2
Let f(q) = q - 2. Let o be f(2). Solve 0 = -o*z - 5*z + 15 for z.
3
Let d = -28 + 30. Solve -d*n = -3 + 5 for n.
-1
Let z be (-6)/21 + 32/14. Suppose 0 = -z*d + 10, 4*c - 16 = -2*d + 6. Solve -3*l - c = -0 for l.
-1
Let q = 44 - 21. Let o = 25 - q. Solve -3 + o = j for j.
-1
Let n(i) = i**2 + 2*i + 1. Let q be n(-6). Let h be 2/6 + (-14)/15*-5. Suppose -g + 15 = -2*g + 3*d, -h*g - q = -5*d. Solve -2*l = -g*l - 4 for l.
2
Let c be (-329)/(-63) - (-2)/(-9). Solve -2*l + c*l = 0 for l.
0
Let h = 9 - 0. Suppose 12 = 4*m - 4*s, -m + 2*s = 7*s - h. Solve m*k + 4 + 8 = 0 for k.
-3
Let m = -19 - -19. Suppose b - 3*b + 32 = m. Solve 0 = 4*d + b for d.
-4
Suppose -i + 3*g = 2*i - 21, -3*i = 4*g + 7. Suppose -2*s + 11 = q + 3, 0 = -i*s + 12. Solve -a - 1 - 2 = q for a.
-3
Let b(c) be the third derivative of -1/24*c**4 - 1/6*c**3 + 0*c - 3*c**2 + 0. Let x be b(-1). Solve -5*z + 5 - 20 = x for z.
-3
Suppose -2*x = -h + x - 1, -5*x = -4*h - 4. Let j = h + 7. Suppose j*u - 30 = u. Solve -2*t + u + 4 = 0 for t.
5
Let i be -3*5/3*-1. Solve i*s = s for s.
0
Let f(y) = y**3 + 13*y**2 + 13*y + 16. Let a be f(-12). Solve 2*d = a*d + 4 for d.
-2
Let v be (-2)/5 + (-22)/(-5). Suppose v*k + 5 = 21. Suppose 2 + 10 = k*m. Solve 5 = -m*z - 7 for z.
-4
Suppose 4*c - 6 = z, 0*c + 2*c - 6 = 0. Let y(m) = -m**3 + 5*m**2 + 6*m + 2. Let h be y(z). Solve -b - h*b = 3 for b.
-1
Suppose -2*b = 10 - 24. Solve -5*u + b = -13 for u.
4
Suppose 3 = -d - 2. Let v(l) = 3*l + 2. Let h be v(2). Let u = h + d. Solve -u*g = g for g.
0
Let v(i) = 2*i**2 + 2*i - 4. Let f be v(3). Solve 0*p - f = -5*p for p.
4
Suppose -80 = -5*r - 5*r. Solve -v = -5*v - r for v.
-2
Let b = -35 - -53. Suppose b - 98 = -4*j. Solve -2*t + j = -6*t for t.
-5
Let h = -4 - -9. Solve 15 = -h*g - 10 for g.
-5
Let i(x) = x**3 + 5*x**2 - 8*x - 8. Let z be i(-6). Suppose -4 = 3*r - z*r. Let f = 51 + -31. Solve r*s + 0*s + f = 0 for s.
-5
Let q(j) be the first derivative of j**4 - 2*j**3/3 + j**2/2 + 1. Let c = 16 + -15. Let f be q(c). Solve -f*l + l = 8 for l.
-4
Let m(n) = n**2 - 2*n + 6. Let y be m(5). Let h be 6/y - (-4)/(-14). Suppose h = -0*p - 3*p. Solve p*f = -f for f.
0
Let b(u) = u**3 + 3*u**2 - 2. Let c be b(-2). Suppose 4*v = 5*v + 2. Let y = c + v. Solve 3*f = -y*f for f.
0
Suppose c - 8 = -2*y + 6*y, 0 = -3*c - 4*y - 8. Suppose 3*f - 15 = 3*z, -7 = -z - 7*f + 2*f. Let b be c - (-1)/(-2 - z). Solve 13 = 3*i + b for i.
4
Suppose -5*c - 5*n = -15, -c - 2*n = 2*n - 6. Let a(t) = -2*t - 8. Let r be a(-8). Suppose 4*d = r - 0. Solve 2 = -d*o - c for o.
-2
Let a be 6/15 + 3/5. Suppose 3 = 2*v - a. Solve -v*o + 0*o = 10 for o.
-5
Suppose -3*g - 104 = -116. Suppose -a = -3*a. Let c = 0 - a. Solve 2*f - 4*f - g = c for f.
-2
Let j be -6*(-24)/60*(-5)/(-6). Solve -7*y = -8*y - j for y.
-2
Let a(t) = 2*t**3 + 3*t - t**2 + 2 - t**3 - 8*t. Let y be a(3). Let v be (-45)/(-4) + 18/(-72). Solve -y*j - v = 14 for j.
-5
Let b = 0 - -2. Suppose -u + 1 = b. Let t = 2 + u. Solve -2*q + t + 3 = 0 for q.
2
Let n(b) = 6*b. Let y be n(1). Solve -y = 5*l + 4 for l.
-2
Let r(p) = p**3 + 5*p**2 - 9*p - 1. Let a be r(-6). Suppose -v + a = -3. Solve v = -3*x + 7*x for x.
5
Let l be (10/3)/((-4)/12). Let y(w) = -w**2 - 11*w - 7. Let t be y(l). Solve -t = d + 2*d for d.
-1
Suppose 0 = -2*p + 3*p. Solve 0*u - 5*u = p for u.
0
Suppose -5*h - 25 = -5*m, -4*m + 3*h = -0*h - 17. Let b = 8 - 6. Solve 3*i - b*i + m = 0 for i.
-2
Suppose 3*a = 5*u - 45, 4 = u - 2*u - 2*a. Suppose u*w = w + 100. Solve 0 = -0*y + 4*y - w for y.
5
Let m = -174 + 174. Solve m = -4*i - i + 15 for i.
3
Let t = -23 - -24. Solve 3 = 2*j - t for j.
2
Let s = -47 - -50. Solve -s = l - 0*l for l.
-3
Let x(i) be the first derivative of -i**2 - 1. Let r be x(-2). Solve -k = r*k - 10 for k.
2
Let k(z) = -z - 2. Let m be k(-12). Let n be (m/4)/((-7)/(-14)). Suppose 5*w + 0*w + 5*t = 75, 4*w - 95 = 3*t. Solve -w = n*o - 0 for o.
-4
Let k be (-1*2)/((-2)/2). Suppose 0*p + p = k. Solve -p*m + 5 = 3*m for m.
1
Let m be 26/10 + (-4)/(-10). Let z = 379 + -379. Solve z = -o + m*o for o.
0
Let c be ((-1)/(-3))/((-5)/(-75)). Solve -2*k - c - 1 = 0 for k.
-3
Let v(h) = -4*h**3 + 2*h**2 + 4*h + 1. Let a be v(-1). Solve 2*c + a = 5*c for c.
1
Let u be 1/(-2)*(2 + -6). Let s = 10 + u. Solve -3*i + 0 = -s for i.
4
Let y = 75 + -73. Solve -w - y = -7 for w.
5
Suppose 4*p + 42 - 126 = 0. Let a(f) = 6*f**2 - 1. Let m be a(-1). Let q = -9 + 10. Solve -m*z - p = -q for z.
-4
Suppose -x + g = -5, 3*x + g = 2*x + 3. Solve 0 = x*m - 10 - 2 for m.
3
Suppose -p = 5*x - 13, -x - 2 = x + 4*p. Solve t - x*t - 10 = 0 for t.
-5
Let z be 2/2 + (27/3 - 2). Solve z = -c - c for c.
-4
Let i be (-2)/8 - (-26)/8. Let a be (4/6)/(4/42). Let u = -2 + 3. Solve u - a = i*y for y.
-2
Suppose -3 + 1 = -2*l. Suppose 3*v = 8 + l. Solve -v*f = -1 - 11 for f.
4
Suppose 0 = -2*t - 12 + 18. Solve 0*q = q + t for q.
-3
Let l(c) = 2*c**2 + 6*c. Let z be l(-3). Solve 2*o + z*o - 4 = 0 for o.
2
Let m(b) = -b**3 - 5*b**2 - 3*b + 6. Let g be m(-4). Solve 2 = g*x - x for x.
2
Suppose 0 = o - 0*o - 4. Suppose -2*u + s + 4 = u, 0 = s + o. Solve -2 = -u*z + 2*z for z.
-1
Suppose 4*o = -0*o. Let j = o + 4. Suppose 2*u - j = -v, 23 = 4*v - 0*v + u. Solve -d - v = d for d.
-3
Let g be (0 + 0)/(-1) + 25. Let t = 15 - g. Let s(q) = -q**2 - 13*q - 15. Let b be s(t). Solve -2*k = k + b for k.
-5
Let y(i) be the second derivative of i**5/20 - 7*i**4/12 + i**2 + 3*i. Let z be y(7). Suppose r - d + 1 = -2*d, -z*d = -r + 8. Solve -r*j + 7 = 1 for j.
3
Let u(r) = -r - 3*r**3 - 8*r**3 - 3*r**2 + 1 + 10*r**3. Let m be u(-3). Solve 4 = -m*k + 16 for k.
3
Let s = -1 + -3. Let d be (-1 - -1)/((-4)/s). Solve d = 2*k - 2 for k.
1
Let o(c) = c**2 - 15*c - 49. Let k be o(18). Solve 0 = -8*x + 3*x - k for x.
-1
Suppose -3*b - 4*u - 4 = 0, b + 4*u - 4 + 8 = 0. Solve b = -i - 0*i - 3 for i.
-3
Let g = 9 - 7. Suppose -6 = g*j - 3*j. Solve 4*x - j - 2 = 0 for x.
2
Suppose 9*j + 7 = 7. Let u be 13/4 - (-2)/(-8). Solve n - u = -j for n.
3
Let b be 4/((-16)/6)*-2. Suppose -2*h - t = 4*t - 10, -h = -t + 2. Let j(q) = q**3 + 7*q**2 - 2*q - 10. Let r be j(-7). Solve h = -g - b*g - r for g.
-1
Let q = -199 + 203. Solve 0 = -6*r + q*r for r.
0
Suppose -4*g + 33 = 1. Suppose -2*b = 6, g*b = 5*h + 3*b. Let y be 1/h + 5/15. Solve 4*z + 0 - 4 = y for z.
1
Suppose 0 = q + 3*r - 13, q - 2*r + 12 = 2*q. Let j = -6 + q. Solve j*w = -12 - 8 for w.
-5
Let m(l) = 14*l**2 - l + 2. Let h be m(-2). Suppose -a + h = a. Suppose -d = 2*d - a. Solve -3*u = -4 + d for u.
-2
Let k be (