 0*w = o for w.
0
Let v(j) = -3*j**3 + 3*j + 2. Let x be v(-2). Suppose -5*z + q + x = -0*q, 25 = -5*q. Suppose -2*h + 0*h = -2*s - 10, h - 3 = -s. Solve 0 = z*d + 2 + h for d.
-2
Suppose -3*j + 4*j = -5, 0 = 4*t - 4*j - 32. Solve y + t = 4*y for y.
1
Let o be (-3)/(2/(-4)*1). Let u be (-4)/2 + 54/o. Suppose 3*k + u = 4*h - 6, 24 = 5*h + 4*k. Solve -h = q + q for q.
-2
Suppose 1 = -4*d + 61. Solve -d = -0*x - 3*x for x.
5
Suppose 0 = 5*c + 11 + 14. Let m(y) = y**2 + 2*y - 5. Let l be m(c). Solve 3*k + l = k for k.
-5
Suppose -3*h = -3, 5*u = 3*h - 6*h + 28. Solve -b + u - 3 = 0 for b.
2
Let l(z) = -4 + 2*z + 8 - 2. Suppose -7 - 2 = -3*o. Let q be l(o). Solve 0 = -4*i - 12 - q for i.
-5
Suppose 0 = -4*f + 13 - 1. Let b(z) be the third derivative of -z**6/120 + z**5/20 - z**2. Let k be b(f). Solve -y = -k*y for y.
0
Suppose -y + 10 = -0*y. Suppose 4*z + z - y = 0. Solve q - 4 = z*q for q.
-4
Let r be (-1)/(-2) - (-222)/(-12). Let b be r/(-3 + 7 + -3). Let n be (b/15)/((-4)/40). Solve 5*o = o + n for o.
3
Let n be 0 + -2 - -6 - (-84)/(-21). Solve -7*s + 2*s - 15 = n for s.
-3
Let u(z) = -22*z - 1. Let t(y) = -44*y - 2. Let d(l) = -4*t(l) + 7*u(l). Let q be d(-1). Let m = q + 46. Solve 4*c + m = -c for c.
-5
Let c be (-6)/(-8) + 36/(-48). Solve -3*o + 3 = -c for o.
1
Let a = 4 - 10. Let y be (10/(-3))/(4/a). Suppose y = 3*s + 2*s. Solve x + 2 = s for x.
-1
Let n be 8 - (2 - (-2 + 7)). Solve 9 + n = 5*c for c.
4
Suppose u = 3*u - m - 8, 4*m + 7 = 3*u. Solve u*c - 2 = 3*c for c.
1
Let f be (0 + -1)/(3/(-15)). Solve 2*s - 3 = f*s for s.
-1
Suppose -m = -1, 2*m = -5*l - m + 28. Solve 0 = -l*d + 3*d - 2 for d.
-1
Let s = 2 - 2. Solve -2*n + 2 = -s*n for n.
1
Suppose 10 = -4*b - 2*p, -3*p - 19 = -2*b - 4. Suppose 2*c = -2*c - 24. Let j be ((-2)/4)/(c/60). Solve -j*i - 1 + 16 = b for i.
3
Let b be 2 + (11 - (-2)/2). Let g = b - 2. Solve -2*c = c + g for c.
-4
Suppose -35 = -0*u - 5*u. Let q(d) = 3 + d**2 - u*d + 4 + 1. Let m be q(6). Solve y + 4 = m for y.
-2
Let j = -14 + 17. Solve -j*v + 4 = -5*v for v.
-2
Suppose -4*k + 20 = 2*f, f = 2*k + 3*k - 18. Let x be 0/(k + (1 - 2)). Solve -2*q - 4 - 6 = x for q.
-5
Let a(v) = 2*v. Let h be a(1). Let c(y) = -y**2 + 12*y - 22. Let u be c(9). Let f be 2 + -2 + (-1 - -2). Solve -h*b + f = u for b.
-2
Suppose -5*h = 4*w - 9, -3*w - 2*h + 7*h = -33. Solve -5 = -w*q + q for q.
1
Let i(t) = t**2 - t. Let g be i(5). Suppose 6*p + 48 = 60. Solve p*w + 2*w = -g for w.
-5
Let b(j) = j**3 + 2*j**2 + 3*j + 3. Let z be b(-2). Let w = z + 8. Suppose 0 = 5*t - 10 - w. Solve t*a - 4 = 5*a for a.
-2
Suppose -3*x - 1 = -6*x + p, 0 = -5*x + 5*p - 15. Suppose t = -x*t + 18. Suppose -3*n + 38 - 2 = 0. Solve t*a = 3*a - n for a.
-4
Let x = 1 - 1. Let r(g) = -3*g**2 + g - 3. Let i be r(2). Let q = i - -19. Solve -2*v - q = -x*v for v.
-3
Let s(b) = b**2 - 2*b - 4. Let w be s(4). Let c = 6 - 3. Suppose -2*l + 3*y = -c*l - 8, l - 13 = w*y. Solve l = -k + 5 for k.
4
Let l = 8 - 0. Suppose l*j + 15 = 13*j. Solve 6*s = 5*s + j for s.
3
Let g(j) = -2*j**2 + j + 2 - 5 + 0*j + 3*j**2. Let x be g(-3). Solve x*y + 0*y - 15 = 0 for y.
5
Let f = -13 - -16. Suppose -3*k = h + 2*h - 12, 8 = 2*h - 3*k. Suppose l = 5*l - h. Solve l + 2 = f*z for z.
1
Let v = 0 + 0. Suppose -o = -v*o - 2. Let z(b) = -b**2 + 8*b + 7. Let w be z(7). Solve -w = 4*c + o for c.
-4
Let c = -28 - -33. Solve 4*y = -y - c for y.
-1
Suppose 0 = -0*p + 3*p + 15. Let h(c) be the first derivative of -c**4/4 - 2*c**3 - 2*c**2 + 7*c - 12. Let s be h(p). Solve -4*r + s*r = -4 for r.
2
Let f(i) = -4*i - 8. Let v(d) = d + 3 - 1 + 2*d + 6. Let z(u) = -2*f(u) - 3*v(u). Let q be z(-8). Solve q = 3*n - 7*n + 20 for n.
5
Let t be (-235)/(-25) - 6/(-10). Solve 2 - t = -2*j for j.
4
Let u be (-5 - -3)*(-4)/8. Solve -u = l + 3 for l.
-4
Let t(o) = -o**2 + 1. Let v be t(-1). Solve 0*g - 3*g - 9 = v for g.
-3
Let x = 11 + -9. Solve 20 = -2*g - x*g for g.
-5
Let f(x) = -x - 5. Let t be f(-6). Solve z - t = 4 for z.
5
Let h be 2 + (16/(4/(-1)) - -4). Solve -2*i = -h + 10 for i.
-4
Let h be 2 + (-3)/((-9)/(-147)). Let p = -32 - h. Let r = -10 + p. Solve -10 = r*d - 0 for d.
-2
Suppose 0 = 3*i + 5*o - 2, -i - 3*o = -6*i + 26. Let b = 8 - i. Let d = b - 3. Solve -r - 1 = d for r.
-2
Suppose 2*g + 2*r + 4 = 0, 4*g - 3*g - r - 8 = 0. Let y be g/4 - (-4)/16. Solve -1 = 2*v + y for v.
-1
Suppose 3*u + u - 4*x - 16 = 0, u + 5*x + 8 = 0. Solve 0 = n + u + 1 for n.
-3
Suppose 82 = 2*j + 78. Solve -6 = j*s + s for s.
-2
Let a = 4 + -2. Let d(l) = -45*l - 1. Let h be d(-1). Suppose -4*y + 11 = a*x - 25, 3*x + 4*y = h. Solve -2*i + 4*i = -x for i.
-4
Suppose -2*c = 2*i + 4, i = 4*c + 8 - 0. Let j be (-1 + -4)*2/c. Suppose 0 = -15*m + 10*m + 5. Solve -4 - m = j*n for n.
-1
Let v(f) = f**2 - 10*f + 3. Let d be v(9). Let w = -5 - d. Let a be 1/(-1) + (w - -3). Solve 4*o = 5*o - a for o.
3
Suppose 4*k - c - 30 = c, 0 = -4*k - 3*c + 45. Let d be 42/k - 2/3. Solve d = -4*y + 12 for y.
2
Suppose 0 = k + 56 - 61. Solve 0 = 4*b - 3 - k for b.
2
Suppose -6 = -z + 2*z + 2*t, 5*z + 5*t + 5 = 0. Let o(i) = -7*i**2 + 3*i - 1 + 3*i**2 - 2*i**3 + z*i**3 - 1. Let w be o(2). Solve d = w*d for d.
0
Let y(f) = -f - 1. Let j be y(-8). Solve -j*d - 25 = -2*d for d.
-5
Let u = 15 + -7. Suppose 0 = -t - 3*t + u. Solve -t*s + 7*s = 15 for s.
3
Suppose -2*n = g - 4*n + 2, 5*g + 3*n - 42 = 0. Let y be (-5)/(-1) + g + -9. Solve 0 = y*z + 1 + 9 for z.
-5
Let n = 8 - 5. Let z = 1 - n. Let s be (-1)/z + 4/8. Solve 2*a + 9 - s = 0 for a.
-4
Let d = 5 + -1. Suppose 0 = d*q - q. Solve q = -4*s + 2*s for s.
0
Let l = 1 - -6. Suppose -1 = 9*g - 46. Suppose -g*y - 6 = -l*y. Solve -z - 1 = y for z.
-4
Suppose -5*b + 0*b + 5 = 0. Let q be (-3)/21 - b/(-7). Solve q = -0*f - 5*f - 10 for f.
-2
Let z(c) = -c - 4. Let d be z(-7). Let n be -2 + 220 + 1 + 0. Let f be n/15 + 2/5. Solve -d*a - f = -0*a for a.
-5
Let p = 4 - 0. Suppose -7 = 2*t - 5*y + 8, -p*y = -4*t - 12. Solve t = 4*o - 10 + 30 for o.
-5
Let r = -16 + 18. Solve -h - 1 = -r*h for h.
1
Suppose -10 = 2*p, 5*k + p - 50 = 2*p. Solve -k = -2*r - 3 for r.
3
Let i(k) = -k**3 - 10*k**2 - 12*k - 13. Let a be i(-9). Suppose -4*y - a = -s - 2*y, 3*s - 7 = -y. Let n(l) = l + 2. Let w be n(-2). Solve -s*o = -4 - w for o.
1
Let x be (-5)/6 - -1 - (-11)/6. Let n = 1 + -1. Solve 0*m - x*m = n for m.
0
Let h be (-36)/(-15) + 2/(-5). Let v(n) = 7*n - n**h + n**2 + 10 - n**2. Let p be v(8). Solve p*s + 8 = 4*s for s.
4
Let k = 13 - -18. Let q = -23 + k. Solve 0 = -0*y + 2*y + q for y.
-4
Suppose -71 = -17*q + 99. Let d be 9/(-6)*(-2)/1. Solve -d*t = -t + q for t.
-5
Let v(f) = -3*f + 21. Let u be v(6). Solve r = -0*r + u for r.
3
Let z be 1/((-5)/120*-4). Solve 0 = 3*j - z - 0 for j.
2
Let a = -28 - -29. Solve -a + 5 = -p for p.
-4
Suppose r = -5*k + 7*k + 8, -5*r - 4 = k. Suppose -d - 1 = 0, -3*o + 2*d + 2 + 12 = r. Solve -o*c + 2*c + 4 = 0 for c.
2
Let u(q) = -2*q**3 - 4*q**2 - 3*q - 2. Let p be u(-2). Suppose 5*n + 5*a = 25, a + 0*a = p. Suppose 0 = -l + 3 - 1. Solve l*s + 1 = -n for s.
-1
Let j(k) = 18*k + 2. Let l be j(1). Solve l = -6*i + i for i.
-4
Let k be (1 + -4)*(3 - 3 - 1). Solve k*s = s for s.
0
Let f(r) = r**3 + 9*r**2. Let k be f(-9). Suppose -5*b = -d - 15 - 15, -d = k. Suppose -b*o = -2*o - 8. Solve -o*t + 1 = -1 for t.
1
Suppose -3 = -2*t + 1. Suppose 0 = -j + t*j. Solve j = -i - i for i.
0
Let r(a) = -64*a - 1. Let v be r(5). Let h = -53 - -43. Let t be 4/h + v/(-15). Solve -5*x - t = 4 for x.
-5
Let u = -6 + 12. Solve -3*l + u*l = 3 for l.
1
Suppose 94*u - 10 = 92*u. Solve u + 4 = 3*h for h.
3
Suppose 4*y + 3 = 5*y. Solve f - y*f + 10 = 0 for f.
5
Let d = -57 + 99. Suppose -3*p = -5*g - d, 2*p = -0*g - 2*g + 12. Let v be 2/(-6) - (-21)/p. Solve -v*s + 0 = 4 for s.
-2
Let f(s) = -s**2 - 8*s - 8. Let w be f(-6). Suppose -3*x = 15, w*g + 7*x - 4*x = -7. Solve 4*v + 6 = g for v.
-1
Let v be 1/(-2) - (-3)/6. Suppose -4*t = 0, k = -v*k + 2*t + 5. Let l be (-5)/(-2) - 2/4. Solve -l*r = -k*r for r.
0
Suppose -5*x + 3*u = 2 + 15, -3*x + 2*u = 11. Let d = x + 1. Solve l + d*l - 1 = 0 for l.
1
Let g be 0 + -4 - (-1 + -6). Solve 0 = -3*n - 3 - g for n.
-2
Suppose 2*x = -2*m + 6, 0 = -2*m - 0*m + 4*x + 18. Solve -4*v + m = -3 for v.
2
Let o(c) = -c**2 + 7*c - 6. Let b = 7 - 14. Let m = b - -13.