f, 5*s - 4*f = 32. Suppose s*l + 9 + 19 = 0. Let h = 12 + l. Solve 3 = -b + h for b.
2
Suppose -5*u - 5 = -5*z, -3*u - 1 = 2. Suppose -9*y + 32 = 5. Solve y*c + z*c = 6 for c.
2
Suppose 6*h + 2 = 7*h. Suppose 12 = m + h*m. Solve -2*z + m*z + 2 = 0 for z.
-1
Let q be 9/4 + (-6)/(-8). Solve -q*z = -2 + 8 for z.
-2
Let k(g) = -g**3 - 8*g**2 - 7*g - 5. Let t be k(-7). Let w = t + 5. Solve w*x - 10 = -2*x for x.
5
Let u(n) = 2*n**2 + 3*n - 4. Let l be u(-3). Let v = -10 + 15. Suppose s - v*p + 5 = -p, p = 4. Solve 4 = -l*r - s for r.
-3
Let k(n) = -2*n - 11. Let l(d) = -d - 17. Let g be l(-8). Let h be k(g). Solve -h = -3*z + 5 for z.
4
Let a = 1 - -3. Solve 29 - a = 5*f for f.
5
Let w(n) = n**3 + 3*n**2 - 6*n - 4. Suppose -4*u = u + 20. Let h be w(u). Suppose 0 = h*x + 6 - 22. Solve -4*l + x = -12 for l.
4
Suppose -8 = -2*c + 2. Suppose 0*l = -4*l - 24. Let r be ((-5)/c)/(1/l). Solve 3*q - q = r for q.
3
Let r(t) = 5*t - 42. Let m be r(9). Solve 0*x - 9 = -m*x for x.
3
Suppose 5*y + 15 = -5*s, 3*s + 2*s - 5*y - 35 = 0. Solve 4*x = 18 - s for x.
4
Suppose 0 = 5*h - 2 - 3. Solve -2*z + 3 = h for z.
1
Suppose -7 + 1 = -3*r. Suppose r*y - 21 - 3 = 0. Solve 0*w - 3*w - y = 0 for w.
-4
Let m = 8 - 12. Let t = m - -6. Solve -3*c + t*c + 4 = 0 for c.
4
Let q(v) = v**3 + 2*v**2 - 1. Let a be q(1). Solve 3*y + a*y = 25 for y.
5
Let j(q) = -q**2 + 4*q + 7. Let k be j(5). Suppose 0 = k*t + 2 - 4. Let u(i) = 11*i**2 + i. Let d be u(t). Solve 4*h - d = h for h.
4
Let s(j) = 3*j**2 + 2*j - 2. Let q be s(1). Solve 7 + 8 = -q*d for d.
-5
Let a = -13 - -13. Let j = 3 - a. Solve -j*l + 2*l - 1 = 0 for l.
-1
Suppose -3*f = -f - 4. Solve -f*o - 3 = -1 for o.
-1
Suppose -3 = -2*u + 5*u. Let a be 2 + (3 - 2)*u. Suppose b + a = 4. Solve 0*n = b*n for n.
0
Let s be 4/(-14) - (-4)/14. Suppose -b + 4*n + 15 = s, -b - 4*n = -7 - 8. Solve -4*g + b = 3 for g.
3
Let v be 1/3 + 4/(-12). Solve -c + 3 = -v for c.
3
Suppose 31 = 2*y + 7. Solve 3*t + 0*t + y = 0 for t.
-4
Let p(u) = -u - 11. Let s be p(-11). Let d = 1 + s. Let k be (7 + -3)*d + -1. Solve -k = b - 4 for b.
1
Let w = -9 - -8. Let u be (-16)/(-2) + (w - 0). Solve u*i - 15 = 2*i for i.
3
Let z be 2/(4/30) - -2. Solve 4*c + z = 21 for c.
1
Let g = -21 - -21. Solve 2*t + g + 2 = 0 for t.
-1
Suppose -2*z + p + p + 10 = 0, 5*z - 35 = 3*p. Suppose 3*y - 2*w - 49 = 0, -y + 5*w + z = -15. Solve -3 = 3*r - y for r.
4
Let v(c) = c**2 - 4*c + 3. Let r be 28/6 - (-10)/(-15). Let h be v(r). Solve -3*l + 4*l = -h for l.
-3
Suppose -5*u + 9 + 26 = 0. Solve -8*d + 3 = -u*d for d.
3
Suppose f + 1 = 2. Let d be (-1)/(-5) - (-1)/(-5). Suppose 0 = 5*p - d*p. Solve -n + 0 - f = p for n.
-1
Let y(q) = q - 2. Let l be y(-4). Let h = l + 8. Let k(a) = a**2 - 6*a + 3. Let v be k(6). Solve -7 - v = h*u for u.
-5
Suppose -13 = 3*p + 5*y, 2*p = -0*p + 3*y + 23. Suppose -4*a + 3*a + 2*b + 4 = 0, p*b = -2*a + 8. Solve 0 = v + a*v for v.
0
Let a = -4 + 5. Let r be 3/a + 1 + -1. Suppose -20 = r*q - 8*q. Solve -2*j + 0 = q for j.
-2
Suppose 2*x + 4*s = 1 + 23, -3*x - s + 36 = 0. Solve -4*b + 0 = x for b.
-3
Let a = -32 + 52. Solve a = -v - 3*v for v.
-5
Let z = -3 + 3. Suppose 0*t + t = z. Solve 5*o + t*o = -20 for o.
-4
Let o(l) = 4*l - 9. Let r be o(3). Solve 4*x - 1 = r for x.
1
Let s(t) = t**2 - 13*t. Let y be s(14). Let m = y - 9. Solve 0 = -3*x + 8*x + m for x.
-1
Suppose 6*n - 15*n + 18 = 0. Solve -3 = n*d + 1 for d.
-2
Suppose 2*h = 8*h - 90. Suppose 5*c - 2*c - h = 0. Solve c*l - 3 + 18 = 0 for l.
-3
Let b(n) = -n**3 - 4*n**2 - 2*n + 4. Let a be b(-2). Let m be -2*(-2 - 2/(-4)). Solve m*t = -6 - a for t.
-2
Suppose -70 + 66 = -4*u. Solve 2*o - o = u for o.
1
Suppose -d - 1 = -4. Suppose c + 2*i + 2*i = -12, -9 = -2*c + d*i. Suppose 2*v - 13 + 5 = 0. Solve c + v = -2*n for n.
-2
Let f(w) = -9*w**3. Let t be ((-5)/1 - -3) + 1. Let n be f(t). Solve 5*s - 1 = n for s.
2
Let k = 14 - 9. Suppose -b + 2*b = k. Solve -l = -0*l - b for l.
5
Let t(z) = z**2 - 6*z + 8. Let v be t(6). Solve -4*a - 4 = -v*a for a.
1
Let k be ((-52)/8 - -4)*(-6 + 4). Solve -4*v + k*v = 4 for v.
4
Suppose u = 2*l - 4, -3*u = 4*l - 3*l - 9. Solve 2*q = q - u for q.
-2
Suppose 3*c - 24 = 5*k, 2*k - 16 = 4*k + 2*c. Let y = 8 + k. Solve -5*g = -y*g - 15 for g.
5
Suppose z + 0*u - 10 = -2*u, -4*u = 3*z - 22. Solve -z = 2*v - 8 for v.
3
Let n be 45/4 - (-6)/(-24). Suppose -3*v = -1 - n. Solve 2 = -v*i + 6 for i.
1
Let y = 9 + -6. Suppose 0*f = y*f - 36. Solve 3*o + f = -o for o.
-3
Let f = -3 - -10. Let k = 11 - f. Solve -k*c - 1 = 3 for c.
-1
Suppose t + 8*i - 3*i + 11 = 0, 4*i = -3*t + 11. Solve t*a = 4*a for a.
0
Suppose 0 = 5*j - g + 228, 6*j + 4*g + 123 = 3*j. Let c = 83 + j. Solve 13 = 5*y + c for y.
-5
Let n = -2 + -2. Let l be ((-6)/n)/((-3)/(-20)). Suppose -2*k + 4*d = 20, -3*k - l = -2*d - 0*d. Solve -6*i + 2*i - 20 = k for i.
-5
Let t = -93 + 97. Solve -d - 10 = t*d for d.
-2
Let d = -43 - -49. Solve d = 5*h + 21 for h.
-3
Suppose 0 = u - 0 - 6. Suppose u*v = v. Solve v = 2*b - 7*b for b.
0
Let l = 156 + -156. Solve l = -5*d + 15 - 0 for d.
3
Let b(m) = -m - 3. Let l be b(0). Let c be 2 + (l/(-1) - 2). Solve -p - 2 = -c for p.
1
Let g be 9/(-27)*(-2 + -52) + -3. Solve -2*k + g = k for k.
5
Suppose -4*b + 3 + 25 = 0. Suppose -3*m + b*m - 16 = 0. Solve 0 = -k - m - 1 for k.
-5
Suppose 4*f - 2*s = 16, -2*f - 2*s = -4*s - 12. Suppose 4*w = f*g + 13 + 61, 3*w - 68 = 4*g. Suppose 0 = 5*k - w - 19. Solve -2*o = -k*o for o.
0
Let u be (16/10)/4*5. Solve 4 = -3*b - u for b.
-2
Suppose 5*g + 4 = 2*b, -3*b + 3*g + 0 = -6. Solve -3*w = b*w for w.
0
Let i be -4*(0 - (-1)/(-2)). Let q(p) = -p**3 - 9*p**2 + 8*p - 14. Let h be q(-10). Solve -v - i*v = h for v.
-2
Suppose -15 + 4 = -2*l + 5*x, 5*l - x = 16. Suppose 23*c - 9 = 20*c. Solve -c = -l*f + 4*f for f.
-3
Let d = 0 + 7. Let j = 2 + 0. Suppose -4*y - j = -14. Solve -5*q - y = d for q.
-2
Suppose -2*q + 3*r - 7 = -3*q, -4*q - 2*r = -18. Solve 1 - q = -w for w.
3
Let l(s) be the first derivative of -s**3/3 - 2*s**2 + 2*s - 3. Let z be l(-4). Solve -z*q = 4 + 2 for q.
-3
Suppose -2*a + 19 = -11. Suppose -1 - 5 = -m. Solve 3*q - m*q + a = 0 for q.
5
Let n = 6 + -4. Suppose -4*k + 4 + 4 = -o, -3*k + 17 = n*o. Suppose i + 1 = k. Solve 5*y - 3 = i for y.
1
Suppose 4 = -z - 0. Let a = z - -4. Solve 2*i = -a*i + 8 for i.
4
Let w(o) = -2*o**2 + 9*o + 5. Let f be w(5). Solve f = -4*m - 0*m for m.
0
Suppose -3*a = 2*a. Solve a = -5*l - 0*l + 25 for l.
5
Suppose -2 = -q - 4. Let c be ((-2)/(-5))/((-2)/(-50)). Let v be (q/(-5))/(2/c). Solve -v*n = -6 - 4 for n.
5
Let d(k) = -k**2 + 7*k - 7. Let v(h) = h**2 - 7*h + 7. Let j(c) = -5*d(c) - 6*v(c). Let g be j(5). Solve 1 = 2*z - g for z.
2
Let j be (-5 - -1 - 0) + 29. Let z = 7 + -2. Suppose 2*x = -3*x. Solve -j = -x*q - z*q for q.
5
Let c be (-3 + -4 - -3) + 6. Solve 3*m + 2 = c*m for m.
-2
Suppose -3*k - 6*w = -4*w - 13, w = 4*k + 1. Let x be -3*(k + -3 + 1). Solve -x*o = -7 - 8 for o.
5
Let c be (264/(-30))/((-1)/(-5)). Let j be c/(-16) - (-1)/4. Solve j*h + 6 = -0*h for h.
-2
Suppose -2*o + 10 = 6. Suppose 4*d - 8*d = 0. Solve -n + o*n = d for n.
0
Let w(l) = l**3 + 9*l**2 - 10*l + 7. Let t be w(-10). Let c = -5 + t. Solve 0 = -c*q + 6*q - 20 for q.
5
Suppose 28 = -3*g - 11. Let f be (g/(-39))/(1/6). Solve -15 = 3*u + f*u for u.
-3
Suppose 5 - 15 = h - 3*c, -h + 10 = 2*c. Suppose -28 = -5*d - 2*x, 5*x - 7 = -4*d + h*d. Solve -2*a - d = a for a.
-2
Suppose 0 = -j - g + 8, g - 4 + 0 = 0. Let m(h) = h**2 - 5*h + 6. Let c be m(j). Solve y = c*y for y.
0
Let x(i) = -2*i + 12. Suppose 0*q = -3*t + 3*q + 24, 2*t + 2*q = 16. Let r be x(t). Let n be 3/(-6) - 10/r. Solve 0*h - h = -n for h.
2
Let s = 38 + -33. Solve 12 = -s*f + f for f.
-3
Let i be 2/(-6) - (-20)/6. Let u be (-2)/(i - 2)*-1. Solve 4*j - 2 - u = 0 for j.
1
Let f(w) = -w - 4. Let i(g) = -g**3 + 4*g**2 + 6*g - 1. Let b be i(5). Let k(z) = -2*z + 2. Let s be k(b). Let u be f(s). Solve 4 = q - u*q for q.
-4
Suppose 3*b - 10 + 43 = 3*s, s = -3*b + 27. Let n = 3 + 2. Solve 0 = 4*u - n - s for u.
5
Suppose 2*d = -d - 60. Let g be d/(-10) + 1/1. Solve -g*m - 2 = -m for m.
-1
Suppose -k + x + 17 = 0, 2*k - x - 20 = 13. Solve 0 = 5*m - m + k for m.
-4
Let g = 25 - 19. Solve -g*k + k = 0 for k.
0
Let y(x) = x**2 - 8*x - 17. Let o be y(11). S