Let q be (2/(-4))/((-6)/72). Solve 6 = 3*l - q for l.
4
Let o be (3/(-5) - 56/(-60))*18. Solve -2 = 4*s + o for s.
-2
Let u(d) = 4*d**3 - 1. Let o be u(-1). Let y(q) be the first derivative of -q**2/2 - 2*q + 7. Let j be y(o). Solve -j = -z - 0 for z.
3
Suppose 5*g = 3*t - 8*t - 50, 5*t + 4*g + 49 = 0. Let c = -6 - t. Solve 0 = -0*u + c*u + 3 for u.
-1
Let i(q) be the second derivative of -1/2*q**2 + 0 + 4*q + 3/2*q**3. Let d be i(1). Solve b + d = -3*b for b.
-2
Let t(r) = r**3 + 5*r**2 - 7*r - 2. Let c be t(-6). Suppose -5*v - 25 = c*y, 8 + 12 = 5*y - 4*v. Let p = -19 + 34. Solve -p = -5*s - y*s for s.
3
Suppose -s - 4*s + 2*i - 21 = 0, 0 = -s - 5*i + 12. Let r = -6 - s. Let f(o) = -2*o - 3. Let z be f(r). Solve n + 1 = -z for n.
-4
Suppose -5*h + 4*y - 32 = -6, 0 = -3*y + 12. Let a be h + (-1 - (-11 + 1)). Solve a*w = 2*w + 25 for w.
5
Let c(f) be the second derivative of f**3/6 + f**2/2 - 3*f. Let s be c(5). Solve -2 = 4*l + s for l.
-2
Let b be (-106)/(-13) + (-8)/52. Solve b = -3*h - h for h.
-2
Let d(y) = y**3 + 4*y**2 - y - 1. Let i be d(-4). Suppose 11 = i*o - 1. Suppose -2*q + 3*q = 2. Solve q = -o*f + 2*f for f.
-1
Let w = 18 + -11. Let j be (w + -1)/((-6)/(-4)). Suppose k = j - 1. Solve k + 0 = -g for g.
-3
Let y = -3 - -6. Let f be -1*(27 - (1 + -1)). Let c be f/6*8/(-6). Solve -15 = -y*h + c*h for h.
-5
Let o = -36 - -40. Solve -o*h = -h for h.
0
Suppose 0 = 3*k + k - 32. Suppose -2*g = -2*u - 0*g + k, 5*u + 5*g = 0. Solve 0 = 2*o - 3*o - u for o.
-2
Let f be 5*(-1 + (-14)/(-5)). Let t(d) = -d**2 + 4*d + 2. Let x be t(3). Let r = x + -3. Solve -r*s - f = s for s.
-3
Suppose 0 = -5*d + 5 + 10. Suppose 8*i = d*i. Solve 0*w - w - 5 = i for w.
-5
Suppose 0*w - 4 = -3*w - f, -2*w - f + 4 = 0. Suppose -5*s + 3*s = w. Let t be (1/(-2) + 1)*s. Solve -2*g + g - 3 = t for g.
-3
Let c = -24 - -53. Suppose -3*v + 9 = -5*w + c, -4*w = 4*v - 16. Let b(s) = s - 4. Let o be b(w). Solve 1 = -o*k + k for k.
1
Suppose t + 2*t + 3*d = 6, 5*d - 10 = 5*t. Solve -4*h = -t*h - 16 for h.
4
Let q(p) = p**2 - 9*p - 3. Let k be q(7). Let j = k + 24. Solve 4*n + j = 23 for n.
4
Suppose -h = -5*h. Solve -3*k + 6 + 9 = h for k.
5
Let q = 13 + -8. Solve -8 = q*t + 12 for t.
-4
Let m(o) = 8 + 6*o - 2*o - 3*o + 1. Let s be m(-7). Solve s*q = -q for q.
0
Let s be 1/(-2)*-2 - -1. Suppose -6*d + 4*n = -3*d - 14, 3*d = -2*n + s. Solve -d*a + 8 = 2*a for a.
2
Suppose 0 = -3*o + 3 + 12. Solve a = o*a - 20 for a.
5
Suppose -4*d + 32 = 4*u - 8, -4*u + 36 = 3*d. Let n = -5 - -3. Let a be n/((-1)/(-1) + -2). Solve 2*z + u = a for z.
-2
Let u be (4/6)/((-11)/(-33)). Solve 0 = -2*x - u*x + 20 for x.
5
Suppose 2*f - f = -2*s + 2, 15 = s - 3*f. Solve 0*j - s*j - 3 = 0 for j.
-1
Let j be 9/6 + (-2)/(-4). Suppose 3*n - n = -n. Solve c = j - n for c.
2
Let v = -34 + 34. Solve v = 4*j + 13 - 1 for j.
-3
Let d(s) = -11*s**3 - 2*s**2 + s. Let i be d(1). Let w be (-3)/(45/i - -3). Suppose 0 = x + w*x. Solve x*o = -2*o for o.
0
Let r(s) = 2*s**2 - s + 1. Let p = -2 + 3. Let k be r(p). Let c be (-8)/6*(-9)/6. Solve c + k = -t for t.
-4
Let v(x) = 7*x + 47. Let u be v(-6). Solve u*g - 3 = 2*g for g.
1
Let z be 34/10 - (376/40 - 9). Solve -z*y - 3 - 9 = 0 for y.
-4
Suppose 0 = j - 0*f + 3*f + 12, 0 = 3*j - 3*f - 24. Solve 4*c = 9 + j for c.
3
Let b = -13 + 6. Let c = b + 10. Let h(i) = i**2 - 5*i - 9. Let p be h(7). Solve 8 = p*o - c*o for o.
4
Suppose 0 = z, 3*g + 0*z - 3*z = 6. Let s(f) = -3*f**2 + 1 + 4*f**g - 2*f - 1 - 3. Let w be s(3). Solve -5*o = -w*o - 15 for o.
3
Suppose 16 = -2*z + 5*h, z + 11 = 4*h - 3. Let y be 5 + z + (-1)/1. Let r = 13 + -8. Solve -1 = -r*g - y for g.
-1
Let o(u) = -u**3 - 5*u**2 + 12*u + 11. Let d be o(-7). Solve 3*l + d = -2*l for l.
-5
Let z(b) = -b + 5. Let d be z(-5). Suppose 0 = g - 3*q - 9, 9*q + d = 4*q. Let h = -8 - -13. Solve -h*t + 6 = -g*t for t.
3
Let m(i) be the first derivative of -i**4/4 + i**3 - i**2 + 3*i + 2. Let c be m(2). Solve -a - 8 = -c for a.
-5
Let u(n) = -n + 7. Let v be u(7). Solve v = 5*q - 10 for q.
2
Let h(f) = f + 2. Suppose -5*a - 6 = x - 32, 5*x - 4*a = -15. Let g be h(x). Solve -g*z = -7*z - 20 for z.
-5
Let z(y) = -3*y + 15. Let i(k) = 4*k - 16. Let u(d) = 2*i(d) + 3*z(d). Let n be u(11). Solve o + o = -n for o.
-1
Suppose 4*r - 25 = 7. Let x be 3/9 + 14/3 - 2. Solve -i = x*i - r for i.
2
Let d = 6 + 2. Suppose 3*o - t + 1 = d, 3*o = 3*t - 3. Solve y - 25 = -o*y for y.
5
Let u(l) = l**2 + 4*l - 3. Let g be u(-5). Suppose g*z - 7*z = -15. Solve -3*p + z + 0 = 0 for p.
1
Let t(a) be the second derivative of a**4/12 + a**3/3 + 3*a**2/2 + a. Suppose -6*b - 11 = 1. Let m be t(b). Solve -d + 0 = m for d.
-3
Let o be (8/(-16))/(2/(-20)). Solve 0 = -o*h + 9*h + 4 for h.
-1
Suppose 9*t + 5 = 4*t. Let n = 7 + -10. Let g be (-2)/t - (n + 1). Solve 6 = -g*m + 22 for m.
4
Suppose -t + 114 = 2*t. Suppose -3*w - 8 = -t. Solve 0 = 4*r + r - w for r.
2
Suppose -3 = -3*p + 6. Suppose -p*q = -3 - 6. Suppose -w + 4*v - q = 0, 5*w - w - 2*v - 16 = 0. Solve -6 = -w*b - 1 for b.
1
Let l(u) = 2*u**2 + 3*u + 4. Let h be l(-2). Solve t + h = 3*t for t.
3
Let n = 84 - 82. Solve 2 = n*u - 6 for u.
4
Suppose 0 = -n + 7 - 2. Solve -11 = -n*t - 1 for t.
2
Suppose 7 = 3*p - 17. Let l be -2 + 0 + p + -4. Solve 3 = 5*a - l for a.
1
Let w(d) = d - 8. Let u be w(12). Let i be (15/(-12))/(u/(-48)). Solve 0*h + i = -3*h for h.
-5
Let a be (-3)/(-6)*6 - -23. Solve 5*y + 6 = a for y.
4
Let y = 23 + -11. Suppose 4*v + 4 = -y. Let s(m) = m**2 + 2*m - 1. Let a be s(v). Solve 3*j - a = -1 for j.
2
Let t = -12 + 5. Let s(c) = -c**3 - 7*c**2 - c - 5. Let a be s(t). Solve 5*x - 13 = a for x.
3
Let i = 7 + -4. Suppose -s + 4*s = -i*h - 3, 4*s - 4 = 4*h. Solve -4 = -r - s for r.
4
Let w(b) = -b**2 - 4*b + 1. Let m be w(-3). Let h(k) be the first derivative of -k**2/2 + 8*k - 1. Let a be h(m). Solve i = -1 - a for i.
-5
Let c be (-17)/(-4) + (-4)/16. Suppose -8*z = -c*z. Solve z = -v + 2 + 2 for v.
4
Suppose -4*x = 5 - 1. Let g be 5 + -3 + 2 + x. Solve 0*m + g = -m for m.
-3
Suppose 5*r - 3*v - 20 = 0, -5*v + 0*v = 5*r - 60. Suppose -2*y - r = f, -5*f + 0*y = -5*y - 40. Suppose -2*g = g - 6. Solve -f = g*q - 1 for q.
-1
Let g = 19 - 11. Let r = g + -6. Let l be (-6)/2*-2 - r. Solve 0*y + l*y + 20 = 0 for y.
-5
Suppose 5*s = r - 28, 4*r + 13 = -0*s - 5*s. Solve -r*h + 4 = -2*h for h.
4
Let x be 5 - 2*2/4. Suppose -n = -0*n - x. Suppose -4*u + 6*u = 30. Solve n*a = u + 5 for a.
5
Let j(t) = t**3 + 5*t**2 + 6*t + 6. Let c be j(-4). Let i = 5 + c. Solve -4*o = -i*o - 2 for o.
2
Let b(i) = i**3 + 23*i**2 + 2. Let x be b(-23). Solve x*g - 3 = 5*g for g.
-1
Suppose 3*k = 4*k - 5*a - 22, 5*k - 22 = 3*a. Let u = 31 + -28. Suppose -u*g + 7*g = n + 16, -4*n = 0. Solve 3*j + k = -g for j.
-2
Suppose t - 119 = -5*u, -5*u + 4*t + 80 + 44 = 0. Suppose 4*r + 3*l = l + u, 0 = r + 5*l - 24. Suppose -2*o = -5*o + 15. Solve -o*i = -r*i for i.
0
Let a(n) = -6*n + 33. Let x be a(5). Solve x = -4*k + 11 for k.
2
Let p = -16 + 19. Solve -5*x - 2 = p for x.
-1
Suppose 0 = -2*f + 2*c + 2, 2*c + 8 = 5*f. Solve 15 = f*s + 5 for s.
5
Let q = 0 - -1. Let h(n) = 0*n**2 + n**2 + 4*n + 3 - 6 - 5. Let d be h(-6). Solve d*o + q = -3 for o.
-1
Let f(g) = -g**3 - 5*g**2 - 5*g - 1. Let x be f(-4). Let u(n) = n**3 + 12. Let l be u(0). Solve -6*k = -x*k - l for k.
4
Let j be (1 - 0)*(-7 - -7). Suppose -2 = -5*c - 3*p + 20, j = -5*c + 3*p + 28. Solve -21 = -c*u + 4 for u.
5
Suppose -2*i + 3 + 3 = 0. Solve -i*a = -0*a for a.
0
Suppose j = -4*j + 25. Suppose -2*s = -j*s + 9, 0 = x + 5*s - 21. Let d be 3 - (x/2 - 2). Solve -5*r + d + 18 = 0 for r.
4
Suppose 5*n + 4*o = -24, 30 - 8 = -5*n - 2*o. Let f(d) = -d**2 - 4*d + 4. Let w be f(n). Let q be (w - 2)*-1 + 2. Solve l + 2*l + 12 = q for l.
-4
Let j(w) = w**2 - 8*w - 2. Let m be j(8). Let p = 4 + m. Solve 4*f - p = 2 for f.
1
Suppose 0 = -0*w - 3*w + 18. Solve -w = 3*a + 9 for a.
-5
Let q = 1 + -1. Suppose -5*j - 5 = 3*c - 0, 5*j - 5*c - 35 = q. Suppose -6 = -4*n + 2, -4 = -4*f - j*n. Solve f = -2*p + 3 + 3 for p.
3
Let d be 2/3*(-6)/(-2). Suppose -v = -d*v. Solve v*x = x for x.
0
Let r be 3*4*(-2)/(-12). Suppose 0 = r*l + 3*h - h, 0 = h + 4. Solve -j = -3*j + l for j.
2
Let p(d) = -d**2 + 8*d. Let y(s) = s**2 - 7*s - 1. Let i(w) = 2*p(w) + 3*y(w). Let b be i