9 for o.
-4
Suppose 0 = -8*u + 9*u. Suppose u = l - 3*a + 12, 3*l + 8 = 4*a - 8. Solve -o = -l*o + 2 for o.
-2
Suppose -3*z - 2*a = -3*a - 61, a = 4*z - 80. Let n = z + -13. Solve -j = -n*j for j.
0
Let v be 4 - (1 + 0/(-1)). Suppose 5*a + v*l = 7, -3*a + 4*a = -3*l - 1. Solve a*m - 2 - 2 = 0 for m.
2
Suppose 0 = k + k - 8. Suppose -k*r + 4 = 0, -r - 2 = 5*z - 3. Solve 0 = t + 4 - z for t.
-4
Suppose d - 3*d = 4, -4*p + 2*d + 24 = 0. Solve 4*l = p*l - 2 for l.
2
Let m be -1*(0/(-1) + -1). Solve -m - 11 = -3*v for v.
4
Let v(u) = 2*u**2 - 15*u + 16. Let j be v(7). Solve -2*a - j = 1 for a.
-5
Suppose -32*r = -33*r. Solve r = -t + 6*t + 5 for t.
-1
Suppose 0 = -r + 3*r + 32. Let b = -1 - r. Suppose -w = -b - 5. Solve -5*q + w = -0 for q.
4
Let j be 1*2 - (0 + -1). Suppose -2*v + 7*v + 40 = 0. Let n = v + 14. Solve 0 = -j*t - n for t.
-2
Let d be (1*2)/((-16)/(-72)). Solve d = 4*f - 3 for f.
3
Suppose 0 = 3*a + 8 - 8. Solve o - 2*o - 1 = a for o.
-1
Let t be (-1 + -1*4)/1. Let a = t - -7. Suppose 3*g - a = 4*g, -o = -4*g - 10. Solve 3 + o = j for j.
5
Suppose -6*t + 5*t + 2 = 0. Suppose -25 + 5 = -t*v. Solve 2*y = 7*y + v for y.
-2
Let l = 72 - 69. Solve u - 6 = -l for u.
3
Let a(g) = -g**2 + 3*g + 30. Let k be a(7). Solve k*v + 25 = 7*v for v.
5
Let r = -7 + 11. Let d(g) be the third derivative of -g**6/120 + g**5/12 - 5*g**4/24 + 2*g**3/3 + g**2. Let k be d(r). Solve k = -y + 4*y - 12 for y.
4
Let w be (4 + -4)/(1 + 1). Solve -4*j + w*j = 4 for j.
-1
Let f(y) = y**2 + 4*y - 8. Let q be f(-6). Suppose -4*b = -q - 0. Solve -b = 4*r + 3 for r.
-1
Let x(q) = 2*q**2 + 5*q + 4. Let p be x(-4). Suppose -m + p = 4. Solve 0 = -2*f - f + m for f.
4
Let s be (-3 - -1*8) + (-4)/1. Solve x - 2*x + s = 0 for x.
1
Suppose -4*f + 51 + 69 = 0. Suppose -10 - f = 5*v. Let m = v + 13. Solve k + 3 = m for k.
2
Let k = -15 - -15. Solve k = -5*a - 0*a - 10 for a.
-2
Let r be 11 + -9*2/(-6) + -4. Let s be (0 + 0)*(-3)/(-6). Solve 5*h - r + 0 = s for h.
2
Let u = 2 + 0. Suppose -u*s = -s - 11. Solve s - 3 = -4*n for n.
-2
Let x be (-1)/4 + (-140)/16. Let k(y) be the first derivative of -y**3/3 - 4*y**2 + 13*y - 5. Let o be k(x). Solve 0 = u - o*u + 12 for u.
4
Let s(g) = -g**3 - g + 7. Let p be s(0). Let i = 10 + -6. Suppose -i*y + 3*f = -10 - 4, 0 = f - 2. Solve p = y*u + 17 for u.
-2
Suppose 3*x - 3 = 3. Solve -a - 6 + x = 0 for a.
-4
Let c(d) = -d - 1. Let x be c(-1). Let p be ((-2)/(-2))/((-4)/12). Let n = x - p. Solve -o + n = -2 for o.
5
Let u = 22 - 31. Let d = u + 18. Suppose -2*s + 4*h + 4 = 0, 3*h - d = -2*s + 2. Solve -y = s*y for y.
0
Suppose -t + 5*w - 16 = 0, 2*w + 16 = 3*t + 3*w. Solve 5 = -t*b + 13 for b.
2
Let d = 1 + -4. Let z = d + 7. Let f = z + -3. Solve 6 - f = t for t.
5
Let d = 12 + -9. Solve -d*n = -8*n - 15 for n.
-3
Let x(h) = 2*h + 19. Let v be x(-11). Let i be (-2)/v + 2/6. Solve 14 = -5*s - i for s.
-3
Let n(g) be the first derivative of g**2/2 + 7*g - 2. Let i be n(-6). Let q = 5 - i. Solve -q*b + b = -6 for b.
2
Let w be 4 + 7 - (3 - 0). Solve 5*n - w = 12 for n.
4
Let s(g) = -21*g - 7. Let c(d) = 10*d + 4. Let q(t) = 5*c(t) + 3*s(t). Suppose -x + 3*a + 20 = -6*x, -5*x + 2*a = -5. Let k be q(x). Solve -4*v + 4 = k for v.
-2
Suppose 0*z + 8 = -2*q + z, 0 = -2*q - 4*z - 28. Let b(c) = -c - 4. Let u be b(q). Solve 4*s = u*s - 2 for s.
-1
Let y = 36 + -33. Solve 5*g + 6 = y*g for g.
-3
Let j(z) = z - 10. Let m be j(10). Suppose m = y - 3. Suppose 2*t + 0*t - 4 = 0. Solve t*l = 5*l + y for l.
-1
Let c(s) = s + 11. Let n be c(-10). Let u be 2 + (2 - (n - -1)). Suppose -8 = -4*i + 4*k, 3*i + u*k + 4 = 2*i. Solve -1 + i = -t for t.
1
Let f(c) = -c + 4. Let q be f(-5). Let u = q + -9. Suppose 12 = 2*n + n. Solve -n*r - 4 + u = 0 for r.
-1
Let h = 2 - -3. Solve -4*s - h - 3 = 0 for s.
-2
Suppose 4*t - 4 = -4*r, 4 = 4*r + 2*t - t. Let h be (1/(-2))/(r/(-10)). Suppose 2*u - b - 11 = 0, 2*u - 12 = h*b - 5. Solve x = u*x + 10 for x.
-2
Let t = 28 + -3. Suppose t = 5*i + 3*g, -2*g + 2 = -4*i - 0*g. Solve -i = -0*b - 2*b for b.
1
Suppose m - 14 = 3*m - 5*k, -3*k + 12 = 0. Solve m*i = i - 8 for i.
-4
Let y be (-5)/(-2)*12/15. Let l be 3/2*(-24)/(-9) + -4. Solve l*d = -d - y for d.
-2
Suppose -6*v + 96 = -24. Suppose 0*d = -2*d + 36. Suppose -4*t + d = -t. Solve -i = -t*i + v for i.
4
Let g be ((-4)/(-4))/((-2)/(-6)). Suppose -5*h = -5*z - 5, -h = g*z - 3*h. Solve 0*f - 2*f = z for f.
-1
Suppose -4*x - o = -8, -3*x + 7*x - 5*o + 16 = 0. Let f be -2 + (x - -1) + 6. Solve 4*m - f = m for m.
2
Suppose 64 = 4*z - 16. Let a(b) = -6*b + 59. Let y be a(9). Solve z = u - y*u for u.
-5
Let t = -3 - -4. Suppose s + t = 4. Let n = 0 + 3. Solve n = 2*l - s for l.
3
Let d(y) = 4*y - 4. Let o = -5 + 8. Let r be d(o). Solve 0 = l + 3*l - r for l.
2
Let m(s) be the second derivative of -s**4/12 - 4*s**3/3 - s**2 - 5*s. Let d be m(-8). Let y be d - (5 - 2 - 8). Solve 3*q = -6 + y for q.
-1
Suppose -4*o = o - 170. Solve -5*k = o - 9 for k.
-5
Let a = -87 + 93. Let s = 36 + -21. Solve -z + s = -a*z for z.
-3
Suppose -7*b + 40 = -2*b. Solve -4*h - 12 = -b*h for h.
3
Suppose -j - 50 = 5*q - 8, -3*q - 3*j = 30. Suppose 8 = -3*l + l. Let s = l - q. Solve -s = 3*t + 2 for t.
-2
Suppose -p + 3*x = -13, 0 = -2*p + x + 9 + 2. Solve -2*r - p = -0 for r.
-2
Let m(k) = 3*k - 1. Let g be m(1). Suppose 0 = -5*t + 11 + 19. Solve t*f = g*f for f.
0
Let n = 10 + -10. Suppose -2*w - 4*b + 2 = n, 2*b + 0 + 4 = 0. Solve -2 = -w*z - 7 for z.
-1
Suppose -16*j = -9*j. Solve j = -2*r + r - 5 for r.
-5
Let p(i) be the third derivative of -i**4/24 + 2*i**3 - 2*i**2. Let s be p(8). Let x(q) = -q**2. Let z be x(0). Solve z = -s*k + 2*k + 8 for k.
4
Suppose 0 = -8*p + 19*p. Solve -o + 5*o + 20 = p for o.
-5
Let n(y) = 2*y**2 + 11*y. Let k be n(-6). Solve k*w - 3*w = -3 for w.
-1
Let h be 2/(-9) - (-11)/9. Let a be (-57)/(-15) - (-4)/20. Let q(z) = -z**2 + 6*z - 3. Let l be q(4). Solve -a*f + l = h for f.
1
Let m = -2 + 5. Suppose l - 20 = -0*l. Solve m*g + g - l = 0 for g.
5
Let o = -14 + 25. Solve 5*n = -o - 4 for n.
-3
Suppose -l + 2*u = -2, l - 3 = 5*u - 4*u. Suppose 0 = -4*z + l*c + 20, 0 = -0*c + c + 5. Solve z*m - 4*m + 20 = 0 for m.
5
Let b be 0/((-3)/((-9)/(-6))). Suppose 4*y - 44 = -b*y. Let h(r) = -r**2 + 10*r + 11. Let w be h(y). Solve -n + 2*n + 5 = w for n.
-5
Let q(k) = k - 4. Let y be q(8). Suppose -y*p = -0*p - 24. Solve -2*o + 4*o = -p for o.
-3
Let i be 10 - (6*-1)/(-3). Let c(b) = -b**3 + 7*b**2 + 8*b + 8. Let r be c(i). Solve 0 = -4*f - 0*f + r for f.
2
Let u = -4 + 8. Suppose -4*m - 12 = 4. Let f = u + m. Solve 5*v + 1 - 21 = f for v.
4
Let n(y) = -2*y**3 - 4*y**2 - 2*y + 1. Let m be n(-2). Suppose -m*a = -4*a - 2. Suppose a*k + 0*k = 18. Solve -3 + k = 2*q for q.
3
Let g be 8/4 + 8/2. Let x be ((-18)/(-5))/(g/40). Suppose 4*i - 3 - 7 = -2*h, -x = -2*h + 3*i. Solve -5*k + h = -16 for k.
5
Let h be (16/(-36))/((-6)/27). Let o = 0 - 0. Suppose 2*z + o*z - 20 = 0. Solve 3*a - z = -h*a for a.
2
Suppose -3*u + 4 = -7*u - n, 2*n + 8 = -3*u. Solve u = 5*r + 3 - 8 for r.
1
Suppose 6*p = 2*p + 12. Suppose -2*l + 9 - p = 0. Solve 1 = -l*f + 7 for f.
2
Suppose 2*f + 10 = -3*j - 2, 2*j + 8 = 5*f. Let x be -1*f/(0 + -2). Solve x = -2*v - 2 - 2 for v.
-2
Suppose 4*b - 5*s - 23 = 0, 0 = -3*s - 0 - 9. Solve -4*h = -b*h + 10 for h.
-5
Let r(n) be the second derivative of -5*n**4/12 + n**3/6 + n**2 + 4*n. Let b(p) be the first derivative of r(p). Let j be b(-2). Solve 4 + j = -5*t for t.
-5
Suppose 13 = -4*n + 4*h - 3, -h = -3*n - 14. Let a = n - -7. Solve 3 + a = -i for i.
-5
Let y be (7 + -4)*(-4)/(-6). Suppose -5*i - 7*p = -3*p + 2, 3*p = -9. Solve i*d + 4 = -y for d.
-3
Let q = -2 + 4. Let c = q - -5. Let d = c + -7. Solve 5*h - 2*h + 6 = d for h.
-2
Let f(n) = 2*n - 6. Let w be f(4). Let k be 0 - ((-10)/(-2) + -1). Let b = k + 6. Solve -w - b = -2*j for j.
2
Suppose -3*d = -2*d + 7. Let b = -4 - d. Solve 4*i = 3*i - b for i.
-3
Let n(m) = -m - 1. Let y be n(2). Let f(w) = -w**3 - 4*w**2 - 4*w - 1. Let z be f(y). Solve z*p + 0 = 6 for p.
3
Let v(h) = -2*h**3 + 6*h**2 + 7. Let o be v(3). Solve -5*a - o = -2 for a.
-1
Suppose -4*d - 13 = -25. Solve 0*f = d*f for f.
0
Suppose -24 = r - 3*r. Let w be r/4*(0 + 1). Solve -w*o - 5 = -8*o for o.
1
Suppose -61 = -5*j + 4. Solve -2*g + j = 3 for g.
