 Let o be ((-4)/3 - -1)*-6. Solve o*t + l + 3 = 0 for t.
-2
Let l(s) be the first derivative of -2*s**2 - 11*s + 6. Let v be l(-5). Solve 4*p + v = p for p.
-3
Suppose -4*o - 16 = 0, -5*f + 0*o + 5*o + 70 = 0. Solve -l = -3*l + f for l.
5
Let d = 15 - 23. Let k(h) = -2*h - 18. Let q be k(-12). Let b be q/d + 18/24. Solve 3*n + 1 + 5 = b for n.
-2
Let n(c) = 6*c - 109. Let w be n(19). Solve 12 = f - w*f for f.
-3
Let u(o) = -o**2 + 27*o - 21. Let x be u(26). Solve 0 = x*i - 16 - 4 for i.
4
Let j = 7 + 19. Let l be 3/(-9) - j/(-6). Suppose l*m + 1 = 5. Solve -2*n + m = -7 for n.
4
Let g(v) = v - 9. Let w be g(12). Solve 4 = w*l - 2 for l.
2
Let o(j) = -3*j - 3. Suppose -9 = -4*b - b + 3*t, 4*b + 4*t = -12. Suppose -4*u + 3*f - 17 = b, 4*u - f = -0*f - 11. Let z be o(u). Solve -7*v + z*v = -8 for v.
2
Let l be 0 + -1 - -1 - -7. Suppose 0 = -0*r - 3*r + 9. Let a be (r + -3 + -1)/(-1). Solve -3*x + l = a for x.
2
Let v = 8 - 6. Suppose -z - 2 = -v*z. Suppose 0*u - z = -u. Solve 6 = u*m + 2 for m.
2
Let a be (1 - (-9)/(-3)) + 7/1. Solve a*r = r + 8 for r.
2
Let l = -1 - -6. Suppose l*p = 59 - 14. Solve -5*f - 6 = p for f.
-3
Let d = 0 + 10. Suppose -3*m - 94 = -4*n + 25, 5*n = m + 135. Let p = n - 16. Solve -5*w - p = d for w.
-4
Let f(d) = d**3 + 13*d**2 - 14*d + 5. Let w be f(-14). Solve -3 = -w*r + 4*r for r.
3
Let i = 118 + -116. Solve 0 = -3*g + i*g + 2 for g.
2
Let q be (-27)/(-9)*(-1 - -2). Let z be ((-28)/12 - -3)*q. Solve -t + z = -0 for t.
2
Let h = 11 + -5. Let g = h - 2. Suppose -3*n + 15 = -3*q - 2*q, -g*q + 5*n = 25. Solve 5*s + 14 + 6 = q for s.
-4
Suppose -3*r - 4*r = -28. Solve r*q = 2*q for q.
0
Let w be 1/(-3) - (-15)/(-9). Let j be (8/(-10))/(w/10). Solve m + j = -m for m.
-2
Let k = 15 - 22. Let l = 10 + k. Solve -l = 3*o - 0*o for o.
-1
Let d(l) = -l - 5. Let w be d(-6). Let f(a) = a**2. Let o be f(w). Let q = 2 + 2. Solve q + o = -5*r for r.
-1
Let p = -2 - -25. Suppose 4*r = -0*r + 5*h + 2, 5*r - p = -4*h. Solve q - 16 = -r*q for q.
4
Let p = -1 - -4. Let g = 3 + -5. Let u be (-2)/(-1) + g*1. Solve x - 2 + p = u for x.
-1
Suppose -5*p - 5 = -5*u, -p - 3 = -4*u + 4. Solve 0*y + p = y for y.
1
Let i(n) = 2 + 3 - 4*n - 6 - 2. Let q be i(-3). Solve -3*h - q = -0*h for h.
-3
Suppose 18*t - 20*t = 0. Let w(a) = a + 20. Let n be w(0). Solve t = 5*k - 0*k - n for k.
4
Let y(n) = n + 1. Let x be y(-1). Solve x = -4*b - 16 for b.
-4
Suppose 0 = i - 1 - 2. Suppose -4 = i*o + 4*r, -5 = 3*o + 2*r + 3*r. Solve o = -3*z + 3 - 9 for z.
-2
Let l be ((-2)/(-5))/(18/90). Solve 0 = -7*w + l*w - 10 for w.
-2
Let p = 2 - 8. Let v be (-6)/p + 4*1. Solve -v*w + 22 = -3 for w.
5
Let u = -4 - -7. Let s be u/((-18)/(-21))*2. Let o = s - 7. Solve 0 = -o*q - 3*q for q.
0
Let s = 144 - 140. Let w = 4 - 0. Solve -2*m + w*m = s for m.
2
Let j = 2 - -2. Let w = -18 + 6. Let m be (-27)/w + 2/(-8). Solve m*b + 0 = j for b.
2
Suppose -x = -0*x. Suppose j - 4*j = x. Let m(p) = -9*p - 2. Let w be m(-2). Solve j*g = 4*g - w for g.
4
Suppose 5*a - 3 - 17 = 0. Solve -3*g + 4*g - a = 0 for g.
4
Let j(a) = -a**3 + 5*a**2 - 3. Let u be j(5). Let v be 0 - 0/((-6)/u). Let b be (-2)/(-6) - (-42)/9. Solve v = b*y - 3*y for y.
0
Let r be (-3*(-12)/(-63))/((-4)/14). Solve 3 = -r*s - 7 for s.
-5
Let p be 8/(-44) - (-402)/33. Solve -2*b + p = -6*b for b.
-3
Let n = -19 - -16. Let r(c) be the second derivative of -c**5/20 - c**4/12 - 2*c**2 - c. Let z be r(n). Solve z = -4*j + 2 for j.
-3
Let l = 4 + -2. Let v(n) = n**3 + 7*n**2 + n + 8. Let s be v(-7). Suppose j - 5 = -s. Solve 0 = j*i - 6 + l for i.
1
Let n(j) = -j**2 - 8*j. Let y be n(-7). Suppose -y*d - 12 = -3*d. Let x = d + 3. Solve x*i = -3*i for i.
0
Let b = 0 - 2. Let v = 8 - b. Solve x = -x + v for x.
5
Let f(q) = -q**2 + 7*q - 6. Let g be f(5). Solve g*m + 2 = 2*m for m.
-1
Suppose 5*s + 2*k = 0, s + 2*s = -4*k. Solve s*j = j - 3 for j.
3
Let w(d) = -d**2 + 11*d - 7. Let n be w(10). Solve -7 = -2*m + n for m.
5
Let m = 111 + -108. Solve -5 = 4*n - m*n for n.
-5
Let l be (-32)/(-48)*1*3. Suppose n = l*n. Solve n*v = 2*v - 2 for v.
1
Let t = 9 + -8. Let v = 4 - t. Solve 2*b = v + 3 for b.
3
Let v(y) = 4*y**3 - 2*y + 1. Let x be v(1). Suppose 3*w - x*b - 12 = 0, -5*b + 1 = -3*w + 17. Solve 0 = w*i - i for i.
0
Let l = 41 + -38. Solve l*b = 7*b - 8 for b.
2
Let s be 3/(-1 - (-5)/2). Suppose 0 = w + 2*a, s*a + a - 2 = -2*w. Solve 0 = -5*g + w + 1 for g.
1
Let x = 11 + -7. Solve x*r + 2 = -18 for r.
-5
Let w = -1 + 5. Let r = 4 - w. Let m be 2/(-4) + (-1)/(-2). Solve -j + r*j = m for j.
0
Let i(b) = 8*b + 4. Let y be i(2). Solve 0 = 2*c - 7*c + y for c.
4
Suppose -4*z + 5 = -2*z + 5*x, 5*z - 3 = -3*x. Solve z = 4*p - 9*p + 25 for p.
5
Suppose 0*b + 7 = 5*b - 2*f, 5*b + 5*f = 0. Solve -4*j = 3 + b for j.
-1
Let r(j) be the first derivative of j**3/3 + 4*j**2 - 6*j - 1. Let m be r(-9). Let z be 1 + m + 0 + -2. Solve z*f = 3*f for f.
0
Let r = -11 - -15. Let h = 32 - -24. Suppose -r*p + h = 16. Solve p = -2*y - 0 for y.
-5
Let h(g) = -2*g + 1. Let i be h(-1). Let a(b) be the second derivative of -b**3/6 - 4*b. Let r be a(-2). Solve -i*t = -r*t for t.
0
Suppose 0 = 2*u + 2*u - 8. Let f be 3/1*4/12. Let b = f - -13. Solve 3*c - u + b = 0 for c.
-4
Let m(x) = -9*x - 1. Let t(o) = -5*o. Let h(p) = -3*m(p) + 5*t(p). Let j be h(0). Solve 13 = 4*v - j for v.
4
Suppose x - 5*v - 10 = 0, 2*x - 7*x + 26 = -v. Solve -4 = -x*j + 6 for j.
2
Let b = 21 + -15. Solve 5*w = b + 9 for w.
3
Suppose 0 = 2*g + 3*g - 20. Let h(n) = n**2 - 5*n + 4. Let q be h(g). Solve -m - m - 2 = q for m.
-1
Let s(t) = t**3 + 4*t**2 - 3*t + 6. Let q(m) = 2*m + 5. Let f be q(-5). Let u be s(f). Let h(g) = -g - 4. Let o be h(u). Solve o = 2*c - 5*c - 3 for c.
-1
Suppose 4 = -x + 3*x. Let u(g) = -g + 10. Let w be u(5). Suppose w*c = a + 14, c + 0*c + 1 = 4*a. Solve x*s + 13 - c = 0 for s.
-5
Suppose 5 - 1 = 2*j. Suppose -q + 15 = j*q. Solve 3*h = q*h for h.
0
Suppose 0*y = -2*g - y + 5, -3*y - 3 = 0. Solve -g*c + 5*c - 2 = 0 for c.
1
Let w = 9 + -4. Let s(h) = h + 12. Let i be s(0). Solve -i = -a + w*a for a.
-3
Suppose 2*o - 6 = -o. Let p be (-66)/14 + (-14)/49 - -25. Solve o*g + 2*g - p = 0 for g.
5
Suppose -c + 58 = 5*l, -3*c + 16 = l - 5*c. Solve -2*t = t - l for t.
4
Suppose 2*z + 2 = 6. Suppose 2*y = -0*h - 3*h + 10, -2*y + 8 = z*h. Let r be (-6 - -6)/(-1*1). Solve r = y*w - w + 5 for w.
-5
Let d(t) = 2*t + 16. Let k be d(0). Let g = 15 + -10. Solve -k = -f + g*f for f.
-4
Let s = 0 - -10. Let p = 12 - s. Solve p*k - k + 1 = 0 for k.
-1
Let o(z) = z - 7. Let j be o(9). Solve -i - j*i = -6 for i.
2
Let b = 30 + -28. Solve -1 = 3*s - b*s for s.
-1
Let c(n) be the first derivative of -n**4/4 + 5*n**3/3 - 2*n**2 + 3*n - 1. Let f be c(4). Suppose 2*z = f*s - 19, s + 11 = -2*s - 4*z. Solve h + 0*h = -s for h.
-3
Let m = 9 - 7. Solve 0*c = c + m for c.
-2
Let r = -7 + 17. Let w be 2/(-7) - r/(-35). Solve 3*z + w*z = 0 for z.
0
Let j(b) be the third derivative of -1/60*b**5 - 2/3*b**3 + 0 + 7/24*b**4 - 3*b**2 + 0*b. Let w be j(6). Solve 3*p + 4 = w*p for p.
-4
Let y = -89 - -96. Solve -s - 2 = -y for s.
5
Suppose -4*q + 9 = -7. Suppose -3*w + q = -w. Suppose 2 + 6 = w*i. Solve -a - 1 = i for a.
-5
Let g = 4 + -58. Let l be (-6)/10 - g/15. Suppose -2*k = -0*k. Solve k = -2*u - 3 - l for u.
-3
Let q(x) = x**3 + 5*x**2 - 5*x + 8. Let s be q(-6). Suppose -12 = -d - 3*d. Solve -25 = d*v + s*v for v.
-5
Let a(b) = -10*b + 5. Let m be a(-3). Suppose m = 4*c - 29. Solve -5*l + 6 - c = 0 for l.
-2
Let n(k) = k + 4. Let f be n(-1). Solve -u = -f - 2 for u.
5
Suppose 9*t - 4*t = 20. Solve 0 = -3*w - w - t for w.
-1
Let u(z) = -z + 7. Let k = 0 - -3. Let s be 5*(k - 24/15). Let x be u(s). Solve 4*b + 0*b = x for b.
0
Let s(t) = -t**2 + 8*t + 12. Let o be s(9). Suppose 4*b - 3*b - 10 = 0. Solve -o*d = -d - b for d.
5
Suppose 2*f - 18 = -2*s, -2*s = -5*f + f + 6. Suppose -b + f*b = 18. Solve b*x = 5*x - 2 for x.
-2
Let d(l) = -l**3 - l - 2. Suppose 5 + 5 = -5*h, -5*h = -o + 26. Suppose 6 = -2*c - b, -b - o = 5*c + 2*b. Let g be d(c). Solve -3*v - g = v for v.
-2
Suppose 16 = -3*s - 2. Let h be (-18)/(-27) + (-86)/s. Let d = -2 + 2. Solve 3*c = -d + h for c.
5
Let r = 8 - 3. Solve 3*t = -2*t - r for t.
-1
Let y = -39 + 39. Let z(r) = -r**3 + 5*r**2 + 2*r - 1. Let a be z(5). Let