 Let q(f) = -4*f - 27. Let n be q(k). Solve c*d + 6 = -n for d.
-3
Suppose -32 = -5*c - 4*v + 13, 0 = 2*c - 5*v + 15. Suppose -c*m = -2*m. Solve 5*t + m = -5 for t.
-1
Let k(o) = 7*o - 68. Let p be k(10). Solve -16 = -p*u - 2*u for u.
4
Let j be (14/5)/(1/5). Suppose -2*k - 3*z + 6 = -2, 3*z - j = k. Let d be 1 - (5 + k) - -3. Solve g = 1 + d for g.
2
Let n = 7 - 7. Solve n = -4*b + 1 - 17 for b.
-4
Let g(f) = 6*f**2 + 6*f + 1. Let r(w) = -5*w**2 - 6*w - 2. Let q(d) = 4*g(d) + 5*r(d). Let b be q(-4). Solve m = -b*m - 12 for m.
-4
Suppose 4*x - 2 = g, -5*g + 5*x - 2 = -4*g. Let q be (g - 0)*(-2)/4. Let s(p) = 4*p**3 - p**2 + p - 1. Let k be s(q). Solve k*i - 4*i + 5 = 0 for i.
5
Let h be (4/6)/(14/168). Solve -a - a + h = 0 for a.
4
Suppose -3*y + 2 = -4*p + 3, 0 = -4*p + 16. Solve -y = 3*a + 1 for a.
-2
Let i be 1*(0/(-2) - -9). Let n be ((-9)/6)/(i/24). Let f = -2 - n. Solve -f*a - 15 = a for a.
-5
Let r be 80/(-24)*18/(-5). Solve 3*f - r = -3 for f.
3
Suppose 2*l + 6 = 4*l. Suppose 0 = -p + 4*y - 14, 2*p - 5*y + 14 + 2 = 0. Solve l*f - f - p = 0 for f.
1
Let x(o) = o**3 + o**2 + o + 7. Let z be x(0). Let g = 15 - 11. Solve -g*h + z = 27 for h.
-5
Suppose x = -3*x + 372. Suppose -33 = 3*l - x. Solve 3*c = -2*c - l for c.
-4
Let o(f) = f**3 - 17*f**2 + 2*f - 34. Let d be o(17). Solve 2*w + 1 + 7 = d for w.
-4
Suppose -4*m + 4*c = c - 5, m = 3*c - 1. Solve 0 = -2*v - 4 - m for v.
-3
Let r be (-6)/(-10) - (-4)/10. Let c be (0/3)/(-1)*r. Let m(i) = -5*i - 4. Let p be m(-4). Solve 5*l + p + 9 = c for l.
-5
Let z(n) = 2*n. Let v be z(3). Suppose 0 = 3*l - 9 - v. Suppose -l*k + s + 0*s = -4, 0 = -4*s + 4. Solve k = 2*a - 1 for a.
1
Let q(z) = 2*z. Let p be q(3). Let v be (-9 - -3)/(p/(-4)). Solve -5*t = -v*t for t.
0
Let d = 5 + -2. Suppose -2*m = -d*m. Solve m = q + q for q.
0
Suppose 2 = u - 7. Let p(h) = -h**2 - 8*h + 2. Let z be p(-8). Solve -1 = z*t + u for t.
-5
Let r(z) = -z**3 - 2*z**2 - 4*z - 3. Let t be r(-2). Let s be (-6)/4*(t + -11). Suppose -4*i = -i - s. Solve 0*h + 6 = -i*h for h.
-2
Suppose 4*w = 3*w + 19. Solve -3*g = -w + 13 for g.
2
Let y be 2/(-4) + 54/12. Suppose -k = 0, -5*n + 0*k = -5*k - 30. Suppose -n = 2*s - 5*s, 3*p - 3*s - 18 = 0. Solve y*w + p = 24 for w.
4
Let c = -15 + 20. Suppose -c*l = l. Solve l*n = -5*n - 15 for n.
-3
Let u(c) = -3*c - 16. Let s be u(-6). Solve -s*y - y = 0 for y.
0
Suppose 0 = c - 2*c + 4*s + 25, 0 = 3*c + 4*s + 5. Solve 4*v + v = -c for v.
-1
Let l = -13 + 15. Suppose 0 = -2*c - q + 25, 2*c + 2*q = -3*q + 5. Solve -u = l*u + c for u.
-5
Let h = -7 + 7. Suppose -2*u - 3*u = h. Suppose u*z = -3*z + 12. Solve -a - z*a + 10 = 0 for a.
2
Let b = -26 + 26. Let y(q) = q + 8. Let a be y(-6). Solve b = x - a*x - 5 for x.
-5
Suppose -4*n + 4*o = 12, -3*n + o - 6 - 5 = 0. Let c be (-5)/((-10)/n)*-1. Solve c*g - 25 = -3*g for g.
5
Let n(q) = q**2 - 6*q + 6. Let c be n(7). Suppose -5*b - 3 = -c. Let j = 4 - b. Solve -4*o - j = -14 for o.
3
Let o(n) = -n**3 - n**2 + 1. Suppose 4*l - 15 = l. Let u(q) = -q**2 + 5*q - 2. Let j be u(l). Let t be o(j). Solve -t*r = -r for r.
0
Suppose -t - 48 = -52. Solve t*f = -0*f for f.
0
Let h = -1 + 6. Let v be (-7 - 1)*14/(-28). Suppose -g - d + h = 0, d - 15 = -v*d. Solve -9 = g*o - 1 for o.
-4
Let h = -19 + 23. Solve -10 = -y - h*y for y.
2
Let m = 6 - 3. Suppose -8 = -f - 3*j, -m*f + 8 = -0*f + j. Suppose -2*s = f*s. Solve -4*u = -s*u - 16 for u.
4
Let c(t) = t**2 + 4*t + 3. Let i be c(-3). Solve -a - 3*a - 8 = i for a.
-2
Let q = -6 - -18. Let s be 51/q + (-1)/4. Solve 7*k = s*k - 3 for k.
-1
Let w = 29 - 21. Suppose -d = d - w. Suppose 10 = o - 2*o - 5*v, 0 = -2*o + 2*v + d. Solve 4*q + o*q + 12 = 0 for q.
-3
Suppose -3*p = 10*p - 104. Solve p*w - 9 = 5*w for w.
3
Suppose 3*i - 5*i - 8 = -x, 1 = 2*x + i. Solve -x*l = 3*l - 10 for l.
2
Let b(q) = q - 3. Let j be b(6). Suppose j*u = -2*u. Suppose -v - 1 = -x, u*v = -v + 4*x - 16. Solve -8 = -4*n - v for n.
1
Let g(f) = -f**3 - 5*f**2 + 7*f + 8. Let s be g(-6). Let b(u) = -u**2 + u + 1. Let r be b(s). Let z be r/(3 - 2)*0. Solve 0 = 3*y - z - 3 for y.
1
Let r be 0*(-1 + 2/4). Solve 0 = -3*n - r*n + 9 for n.
3
Let s be 18/(-15)*(3 + 2). Let c be 3/s + 10/4. Solve -b - c*b + 9 = 0 for b.
3
Let j(y) = y + 3. Let n be j(-3). Suppose n = -2*k + 4 + 2. Solve k*d - d + 6 = 0 for d.
-3
Suppose 0*b + 2*b - 4*m - 28 = 0, 2*m = -3*b + 10. Let h be (-42)/4*4/(-6). Suppose -h = -2*y + 1. Solve 0 = -y*d + 2*d - b for d.
-3
Suppose -3*r + 8*r - 3 = 3*o, -3*r - 5 = 5*o. Let n be 6*-1*o/3. Solve -n*u = 3*u + 10 for u.
-2
Let h be -1 + 0*3/(-6). Let k = 3 - h. Suppose 4*g - 8 = 4. Solve o = g*o - k for o.
2
Let o(p) = p - 8. Let a be o(6). Let z = a - -2. Let l be 7/(-7) + (z - -1). Solve -2*t = -l - 10 for t.
5
Let b(u) = u**3 - 9*u**2 + 7*u + 13. Let s be b(8). Solve 0 = 6*p - p + s for p.
-1
Let k be -2 - (3 - (-1 + 20)). Suppose -k = -4*w + 2. Solve -w*v + 4 = -0*v for v.
1
Let w be 4 + -4 - 2 - -4. Solve -w*t + 4 = -4*t for t.
-2
Let x(v) = -2*v - 39. Let s be x(-21). Let t(d) = -6*d**2. Let l be t(1). Let u(h) = -h - 4. Let g be u(l). Solve 0 = 3*q - g*q + s for q.
-3
Let a = -3 + 5. Let r = a + -1. Let d be 2/7 - (-99)/21. Solve 0 = d*s - 26 + r for s.
5
Suppose 0 = -2*c + 4*c - 6. Suppose -c = z + 5. Let f = -5 - z. Solve f*l + 5 = -7 for l.
-4
Let u(n) = -n**2 + 7*n + 2. Let b be u(5). Suppose 0 = 5*a - b - 83. Let o = a + -3. Solve 2*x + 2*x = -o for x.
-4
Suppose 0 = 3*w + w - 8. Let i be -1*(0 - (w - 0)). Solve i*s - 12 = -4 for s.
4
Let d = -36 + 41. Let k be (-8)/6*-1*3. Suppose d*m + 4*c = -0*c + 50, m + k*c - 10 = 0. Solve -3*n - m - 5 = 0 for n.
-5
Let a(u) = u - 3. Let g be a(6). Suppose -5 = -3*t + 1. Suppose -48 = t*w - 5*w. Solve -g*x = x + w for x.
-4
Let d be 4 - (-3)/(-6)*-2. Solve -d*n + 3*n = 6 for n.
-3
Let s(k) be the second derivative of -k**3/3 - 9*k**2/2 - k. Suppose 3*t = -v, -t = v + 4*v + 28. Let w be s(v). Solve 6*r + w = 3*r for r.
-1
Let l(x) = -3*x - 19. Let o be l(0). Let t = 21 + o. Solve -4*m = -t*m - 6 for m.
3
Let k be 4/(-2) - 24/(-8). Solve 2*h = h - k for h.
-1
Let v(a) = -14*a - 4. Let y be v(4). Let q be (2/(-6))/(5/y). Let d be q + (1*-2 - 0). Solve d*k - 2 = 4 for k.
3
Let y(g) = 6*g**3. Let v be y(1). Solve -5*i + 2*i = v for i.
-2
Suppose -13*d = -15*d. Solve d = 3*r - 2*r for r.
0
Suppose 8*y - 52 = 3*y - 2*m, 3*m + 37 = 4*y. Let q = y + 0. Suppose -2*u + 8 = -2*o, -2*u - 5*o - 2 + q = 0. Solve -12 = -4*n + u for n.
4
Let k(m) = m**2 - 4. Let i be k(-4). Suppose -3*v + 4*h + 0 = -25, 3*v = -h + 35. Suppose 0 = y + 2*f - i, -3*f + 0*f = -2*y - v. Solve -l = y - 0 for l.
-2
Suppose -5*z + 6*b - 5*b + 41 = 0, 3*z - 3*b - 27 = 0. Solve 0 = -z*q + 10*q for q.
0
Let f = 111 + -109. Solve 4 = y + f for y.
2
Suppose 14*z - 11*z = 30. Solve 0*n = 5*n + z for n.
-2
Let y(h) = 7*h. Let m be y(2). Let z = 24 - m. Solve -v = v - z for v.
5
Let f(v) = v**3 + 14*v**2 - 15*v. Let x be f(-15). Solve x*d - 20 = -4*d for d.
5
Let s be ((-36)/2)/(-3)*5/6. Solve b = s*b for b.
0
Let c be 10*2*(-3)/6. Let z = c + 18. Let b be z - 5/((-10)/(-6)). Solve 12 = -b*s + s for s.
-3
Let b be 3/12 - (-11)/4. Solve -m = -b*m for m.
0
Let c(v) = -v**3 + 6*v**2 + 8*v + 9. Let w be c(7). Solve -7*n = -3*n - w for n.
4
Let g(w) = -w**2 + 13*w - 10. Let a be 2/8 + 86/8. Let p be g(a). Suppose 0 = -4*l - p, -l = o + 2*l + 9. Solve o*k = -k - 5 for k.
-5
Let c be 6/(-9) - (-28)/6. Suppose c*f = -f. Suppose f = -h + 8 + 2. Solve h = z + 4*z for z.
2
Let m(a) = -a**3 - 7*a**2 + 9*a + 12. Let q be (-4)/(-10) - (-210)/(-25). Let v be m(q). Suppose v = -4*w + 12. Solve -w = -p - 1 for p.
1
Let c be (-4)/10 + 60/25. Solve -d + c*d = -1 for d.
-1
Suppose -2*d + 23 = -5*h, -4*h - 4*d - 17 = 7. Let t = -2 - h. Let w be (t/6)/(-1)*-8. Solve w*k = -k for k.
0
Let l = 0 + 10. Suppose -w + 16 = 4*x, 5*w - l = -x + 32. Solve 3*k + w = k for k.
-4
Let w be 1 + 7 - 1*3. Let s(v) = -v - 1 + v + v. Let n be s(w). Solve -4*p + 0 + n = 0 for p.
1
Let u = 6 + 3. Let i be (-6)/(-27) + (-11)/u. Let r be (-1 - i)*(-2)/2. Solve r*t = -2*t + 4 for t.
2
Let h(i) = 5*i - 7. Let c(d) = 4*d - 7. Let a be ((-1)/(-2))/(1/(-12)). Let w(s) = a*c(s) + 5*h(s). Let t be w(-7). Solve v - 3*v = t for v.
0
Let m(c) = -c**2 - 11*c - 13. Let b be m(-6). Solve 2 =