Let v = 8 - 5. Let n be (-4*v/(-2))/(-1). Let k be (-3)/(n*(-3)/(-24)). Solve z = -2*b + k, -b + 4*z + 14 = 3 for b.
3
Suppose 5*k - 11 = -1. Solve -6*o + 5*p = -5*o - 30, -2*o = k*p for o.
5
Let n = 27 - 17. Solve 4*u + 8 = -4*r, -4*u = -6*u - 5*r - n for u.
0
Suppose o = -0*o + 11. Let u be o/4 - 3/(-12). Solve 3 = 3*y, -5*p - 26 = -u*y - 3 for p.
-4
Let j(d) = -d - 2. Suppose 2*o + 2*o = -28. Let w be j(o). Solve 9 = -2*v + 3, -w*p = 2*v + 16 for p.
-2
Suppose -5*n + 5*u = -85, 0 = -n - u + 12 + 11. Suppose 0 = 2*h - 3*h + 4. Suppose 0*q - n = -h*q. Solve -2*p - 1 = q*l, 5*l - 4*l = 2*p - 5 for p.
2
Let k(a) = a**2 + 8*a + 7. Let t be k(-8). Suppose -3*c + 4 = -2*c. Suppose -c + t = z. Solve -h = -5*w - 5, z*h + 1 = -5*w - 4 for h.
0
Let t be 1 + -1 - 1*-5. Let s = -23 - -38. Suppose -2 = -2*g - 3*w + s, g = 3*w - t. Solve -b + 3 + 0 = 4*z, -g*b = 2*z + 16 for b.
-5
Let b be 42/8 + (-6)/(-8). Suppose b = 5*q + 2*m, -2*q + m + 9 = 4*m. Solve 4 = -q*i - 2*i - c, 4*i - 3*c = 2 for i.
-1
Let q(n) = -6*n - 2. Let a be q(-1). Solve 2*h - 3 = -4*u - 7, 0 = -a*h + 2*u + 22 for h.
4
Let p(u) = -u**2 - u + 15. Let k be p(-4). Solve -4*h = -2*b - 0*b, -4*b + k*h = 10 for b.
-4
Let j be 11*(1 - 0/(-2)). Solve -4*m = -20, -3*w + 3*m - 19 = j for w.
-5
Let v(o) = o**2 - o. Let t be v(2). Solve -5*q - 5 = 0, 5 = -t*r - 0*q + q for r.
-3
Suppose -6*z = -3*z. Let d = z - 0. Solve d = -2*o + 5*m - 3 - 1, 3*o = -5*m - 6 for o.
-2
Suppose -2*h + 5 = -5. Solve m - h*q + 23 = 0, 5*m + 33 + 2 = 5*q for m.
-3
Let u(w) = 8*w**2 + w - 1. Let y be u(1). Suppose 0 = -f + y - 3. Solve 2*a + 6 = 4*q, -a + 5*q = 4*a + f for a.
1
Suppose x = -3*u + u, 0 = 3*x + 5*u + 1. Let p(d) = d**3 + 3*d**2 - 2*d - 1. Let z be p(-3). Let q = z + x. Solve -4*f = q*v + 3, 3*f - 9 = 5*f + 3*v for f.
3
Suppose f = 3*f - 42. Suppose 0 = -4*s + 11 + f. Solve 0 = 4*w - s + 4, 4*n = -4*w + 12 for n.
2
Suppose 4*o = -o + 25. Let p be (-1 - o)*2/(-3). Suppose 2*c + p*k = 0, 0*k = -2*k - 2. Solve -c*i = 2*x - 8, 0*i - i = 0 for x.
4
Let i(t) = -t + 14. Let n be i(10). Solve n*r - 3*j = -14, 0 = -4*r - 3*j + 7*j - 12 for r.
-5
Suppose n = -4*m + 16, 0 = 4*n - 0*n. Solve 3*b - 3 = -3*u, 3*u = m*b - 7 + 17 for u.
2
Suppose 4 = -3*b + 7*b. Suppose 5*j + 2*p = 12, b - 4 = -j - p. Solve 5*w - 4*i - 4 = 3*w, 2*w = j*i + 4 for w.
2
Let q be (1 - -2)*4/(-6). Let b be (q - (-6)/3)/2. Let v = 0 - b. Solve v = 2*x - 3*f - 16, -2*x = -2*f + f - 8 for x.
2
Let u be (3 + -6)*1 - 0. Let w(q) = -q**2 - 4*q - 1. Let b be w(u). Suppose 0 = b*p + 2*p. Solve 2*k - s - 3 = p, 0 = k + s + 3*s - 6 for k.
2
Suppose 0 = 16*j - 6*j. Solve 0 = -3*z + w - 5*w + 14, 4*w - 20 = j for z.
-2
Suppose 20*t - 6 = 17*t. Solve -24 = p - 4*v, -12 - 11 = t*p - 3*v for p.
-4
Suppose r = -11*r + 204. Solve 5*s - r = -3*c, -24 = -s - 3*s - 5*c for s.
1
Let p(x) = -x - 2. Let m be p(-7). Let z be 6/(-4) - (-140)/8. Solve 4*d + z = 5*i + 2*d, -2*d + 4 = m*i for i.
2
Let d(c) = -c + 8. Let q be d(5). Solve -3*k = -f + 3*f + 9, -q*k = 5*f for k.
-5
Let i(h) = h**2 + 6*h + 7. Let x be i(-5). Suppose 0 = -4*w + x*w - 6. Let q be 6 + w/3 + 2. Solve -7*n - 4*v + q = -2*n, -13 = -3*n + 2*v for n.
3
Suppose -5*a + 5*v = 13 - 33, 5*a - 4*v = 24. Let y = 11 - a. Solve 0*j - 8 = -4*j + 2*n, 0 = 5*j - y*n - 12 for j.
0
Suppose 45 = 5*j + 10. Solve j = -h - z, 2*h - z - 1 = -0*z for h.
-2
Let z = -31 - -16. Let t = -12 - z. Solve -3 = -w + 2, 0 = t*h + 2*w - 10 for h.
0
Let j be 1/(-3)*0/(-2). Suppose 0 = 3*m - 15, j = 5*b - 2*m - 12 - 8. Solve b*h - 2*h + 21 = -3*i, 4*h = 4*i for h.
-3
Let a be (-3)/2*(-24)/18. Let m be (3/a)/((-9)/12). Let w be (m + (-10)/(-4))*0. Solve -17 = -3*q + 4*p - 3, w = q + 3*p + 17 for q.
-2
Suppose -5*h + 2*h = -6, -o + 3*h + 13 = 0. Solve 0 = 5*t + 25, -t - o = -5*k + 1 for k.
3
Let g = -20 - -29. Solve 0 = 5*q - k - g, -4*k = 5*q + 14 - 3 for q.
1
Let v = -3 - -7. Let s(f) = -2 + 3*f**2 + 7*f**3 - 3*f**3 + 5*f - 5*f**3. Let t be s(v). Solve -u = r, -r - 4 = -t*r + 3*u for r.
1
Let d be (-8)/(-6)*36/24. Solve 0 = 3*x + d*g - 10, x - 4*x + g + 13 = 0 for x.
4
Let f be 4*(4 - (-21)/(-6)). Solve f*a - j + 0*j = 3, a = 4*j + 19 for a.
-1
Suppose 2*l = -5*y + 22, -4*l - 4*y + 16 = -y. Suppose x - 2 = -l. Solve h = -1, -3*h = -4*i + 2*i + x for i.
-1
Let g(h) = -3*h + 34. Let a be g(10). Solve -4*t + 5*f + 7 + 4 = 0, a = 2*t - 2*f for t.
-1
Let q be 1/2*(-84)/7*-3. Solve -3*m + 12 = 3*d, -4*d = d + 4*m - q for d.
2
Let x be (-2)/9 + (-222)/(-27). Let d be 2 + -2 - -4 - 1. Solve 0 = 4*i - 5*v + x, -4*i - d = 2*v + 5 for i.
-2
Suppose 5*x - 83 + 23 = 0. Solve 2*w + 7*v + x = 2*v, w + 3 = -v for w.
-1
Let b(g) = g**2 + 3*g + 5. Let t be b(-3). Solve 0 = z - 5*p - 0 + 3, -3*p - t = -4*z for z.
2
Let f = 1 - 0. Solve -3*o + f = 4*q - 0, -3*q - 8 = 4*o for q.
4
Suppose 4*k + 5*p - 32 = 19, 0 = 5*p - 15. Solve -5*r - 2*m + 15 = 0, -3*r - 5*m = -0*r - k for r.
3
Let g be (24/30)/((-1)/(-20)). Suppose -3 = -a + n + 1, -a + g = -4*n. Solve 2*q - 4*k = -2*k + 12, a = -2*q + k + 9 for q.
3
Suppose 0 = w - 3*w + 8. Suppose 2*a - 2*r + 3*r = 5, a + w*r = 6. Solve -a*t + 3*x + 2*x = 14, 2*t = -2*x for t.
-2
Let b be 14/(-6) - 2/3. Let j(k) = -k. Let i(m) = -1. Let v(l) = -2*i(l) + j(l). Let t be v(b). Solve 0*g = -g - 2*d - 3, t*g - 2*d = -3 for g.
-1
Let k be 21/(-7)*4/(-6). Solve 0 = k*d - 2, -v + d + 5 - 1 = 0 for v.
5
Suppose 0 = 2*d - 0*d - 8. Suppose 0 = o - 18 + d. Solve -3*z = 2*z + q + 1, 2*z + o = 3*q for z.
-1
Suppose 4*r - 2*y - 42 = 0, 0 = 3*r + 4*y - 2*y - 28. Let o(b) = -2*b - 9. Let n be o(0). Let x = n - -11. Solve 19 = -3*t + x*j, -2*t + 5*j + r = -6*t for t.
-5
Let a(h) = -h**3 + 14*h**2 - 23*h - 12. Let c be a(12). Solve c*x - 6 = 3*x, -4*r = 2*x + 8 for r.
-1
Let h be 19 - (2 - 2/2). Let j(a) = 6*a**2 - 4*a + 3. Let o be j(2). Suppose 3*w = -3*f + 18 - 0, 0 = 4*f - w - o. Solve -f*q = s + h, s + s = 4 for q.
-4
Let u = -4 - -8. Let n = 12 - -1. Suppose 0 = -u*o + 5*f + 53, 2*f + f = -4*o + n. Solve -5*q + 5*v - 15 = 0, -4*q + 23 = -o*q - 4*v for q.
-5
Suppose 0 = 3*y - 2*d - 19, 2*d = -y + 7*d + 15. Suppose -5*r - 3 = 2, y*b + 3*r = 77. Solve c - 3*n + b = -c, n - 12 = 4*c for c.
-2
Let k(m) = m**2 + 4*m - 5. Let i be k(-5). Solve -p = 4*w - i*p, 0 = -5*w - 3*p + 7 for w.
-1
Let z(y) = y**3 + 4*y**2 + 3*y + 1. Let c(o) = o**3 - 7*o**2 - 7*o - 10. Let x be c(8). Let b be z(x). Solve r + 4*f = -0*r - 21, 0 = b*r + 3*f + 18 for r.
-1
Suppose -2*d - 5*m - 5 = 0, 0 = -d - 0*m - 4*m - 7. Suppose -q + d = -0. Solve -2*p - 8 = -0*p, q*h - 5*p = 25 for h.
1
Let u(k) = -k**3 + 8*k**2 - 3*k - 4. Let s be u(7). Solve -5*f + 4 = t + s, -t - 16 = 4*f for f.
-4
Suppose f - 3*f + 14 = 0. Let a = 11 - f. Solve 4*d + 4*t = 8, 3*t - t + a = 2*d for d.
2
Let w(x) = x**2 + 4*x + 5. Let c be w(-4). Solve -3*k - 2 = c*f + 3, k - 2*f = -9 for k.
-5
Let x(g) = -g**2 - 10*g - 4. Let c be x(-8). Let b be -1*(-4)/(c/9). Let q be 4/(-6) + 4/6. Solve -5*m - b*p - 34 = q, -8 + 1 = 2*m - p for m.
-5
Let f(b) be the second derivative of -b**3/6 + 2*b**2 - 2*b. Let g be f(4). Solve -5*d + 4*y - 33 = g, 5*y + 5 = 2*d - 5*d for d.
-5
Let m(z) = 9*z - 7. Let g be m(1). Solve 3*a + 15 = -g*x - x, 2*a + 4*x = -18 for a.
-1
Let v = -10 - -12. Let w be (-1 + 1)/(4/v). Solve y + w*g = 4*g + 11, -g - 14 = -4*y for y.
3
Suppose -4 = -5*q + 6. Suppose -2*t - 3 = -4*u - 11, 5*t = 20. Solve 3*k - 2*k + 3*i - q = u, 1 = -i for k.
5
Let n(u) = 2*u - 5. Let x be n(4). Suppose -q - 2*r + 16 = x*q, -2 = -2*q + 2*r. Solve -26 = -5*c - q*b, 3*c + 3*b + 6 = 6*c for c.
4
Let h be 60/27 + (-10)/45. Suppose -f = -4*t + 2, 2*t - 3*f + h = -2. Solve 8 = -4*l - 2*x, x + t = l + 3*x for l.
-3
Let d(g) = -g**2 + 12*g - 5. Let b be (-30)/4*24/(-18). Let z be d(b). Suppose -2*p - u + 5 + 1 = 0, u - 4 = -p. Solve 3*o - p*n - 2*n = -z, 7 = -o + 2*n for o.
-1
Let l = 3 + -11. Suppose 8 = 3*d + 23. Let y = d - l. Solve -2*o + 0 - 13 = y*t, -3*o = -2*t + 13 for o.
-5
Let b(s) = s**3 - 9*s**2 - 8*s - 14. Let m be b(10). Suppose 10*y + 5*w = 5*y, y = -3*w - m. Solve -2*d = -y*t + 19, -3*t = 5*d - 2*t + 5 for d.
-2
Let t be (-10)/(-3)*6/(-4). Let d = -3 - t. Solve -s - 4*c + 1 = 0, d*c - c - 2 = -2*s for s.
1
Let s be (-2)/3*(2 + -5). Suppose -2*b + z + 13 = 0, 17 = -3*b + s*z + 38. Solve