18/(-24))/(5/(-20)). Solve -5*m - 2*s + 25 = 4, -2*s = -m - h for m.
3
Suppose t = -0*t - 2, 0 = -h - 4*t + 1. Let b = h + -5. Let u be (24/(-9))/(b/(-6)). Solve 2*m - 12 = u*p, 5*p + 12 = 2*m - 4 for p.
-4
Let u be (((-56)/21)/2)/((-4)/33). Suppose 2*n = 2, 2*y - 3 = 5*n - 4. Solve 3*k - 8*k + u = -l, k = y*l + 4 for k.
2
Let u be (-1)/((-10)/(-12) + -1). Suppose r = 8 + 4. Suppose -r = 2*c - u*c. Solve l = 2*j - 2, 5*l + 2*j - c*j + 19 = 0 for l.
-4
Let g(b) = -b - 5*b**2 - 7 - 5*b - b**3 + 4*b. Let m be g(-5). Suppose 45 = m*j - 0*j. Solve -2*c + j = 3*c + a, -4*c - 5*a = -33 for c.
2
Let i = 0 - -7. Let r(q) = q**3 - 6*q**2 - 8*q + 7. Let f be r(i). Solve f = 2*d + 5*p + 35, 5*d = 4*p - 5 - 0 for d.
-5
Let f(r) = -r + 1. Let q be f(-9). Suppose 2*o + q = -3*o. Let s be (-1 - o) + 0 - -1. Solve 4*w = s*v + 4, -13 = 3*v - w - 2 for v.
-4
Let q(p) = 6*p - 7. Let c be q(3). Solve -3*a - 12 = -w, 4*w - 2*w = -a - c for a.
-5
Let h = 0 - 0. Let g be h*(2 - (-6)/(-4)). Let o be g/1*(-2)/(-4). Solve 0 = -5*s + 25, v + 2*s + 6 - 18 = o for v.
2
Suppose 10*i = -2*i + 48. Solve 5*s - 4*k + 6*k - 5 = 0, 2*s - 26 = i*k for s.
3
Let d(g) = -g - 4. Let j be d(-2). Let n be (-7)/((-21)/6) + j. Solve b + s = -n*b - 3, 2*s + 8 = -b for b.
2
Suppose 0 = 5*r - 4*j - 12, 3*r - 4*j + j - 9 = 0. Suppose -5*i + 2*z + 7 = 0, 4*i - z - 3 - 5 = r. Solve -2*t = -3*g + i*t - 5, 5*t - 25 = -g for g.
5
Let a be (-4)/(-3)*-1*-3. Suppose 4 + 19 = l + a*u, 0 = l + u - 8. Solve 3 = -3*c, 10 = l*s - 4*c + 6*c for s.
4
Let v be 6/(-1)*(-4)/8. Suppose 3*c - 3 = u, 2 = -v*u + 3*c - c. Solve 10 = g + 2*d, -3*g + 5*d - 10 - 15 = u for g.
0
Let s(c) = 2*c - 12. Let n be 65/10 + (-1)/(-2). Let f be s(n). Let x be 4/(-10) + (-64)/(-10). Solve 4*p - f*a - 10 = 0, p = x*p - 2*a - 13 for p.
3
Let d be (3 - 0/1) + 1. Suppose d = -s + 1. Let y be (4/(-6))/(1/s). Solve m + 2 = 0, -3*m - 12 = -4*x - y for x.
1
Suppose 0 = -g - 3*l + 11, 5*g - l - 3*l = 17. Solve 0*p + 30 = -5*n - 3*p, 5*p + 40 = -g*n for n.
-3
Let l = -13 - -16. Solve -2*r - l*r = -2*o + 7, 2 = 2*o for r.
-1
Let n(f) = f**3 + 8*f**2 - 10*f - 2. Let x be n(-9). Solve -3*c - 2*c - 12 = 3*o, 0 = 4*o - c - x for o.
1
Let j = 49 - 40. Solve 0 = 3*i + 3*f + j, -i + f + 17 = -2*f for i.
2
Let q be 4*3/4 - 0. Suppose -1 = -q*s + 2. Solve -4*z - 5*k - s = 0, -2*z - z - k = -2 for z.
1
Let b = -22 + 24. Solve -2*d - 1 = -b*s + 5, d + 4*s - 12 = 0 for d.
0
Suppose -8 = 4*t - 4. Let o be (16/(-10))/(t/5). Let q be (-6)/2*80/(-15). Solve -2*u = -0*u - 2*x - q, -2*u = 4*x + o for u.
4
Suppose 2*h + 0 + 6 = 0. Let d = 4 + h. Suppose -15 = 5*z, 3*p + 2*z - 5 = d. Solve n = 3*c + 2, 4 = -p*c - c + n for c.
-1
Let h(n) = n + 4. Let i be h(-2). Let b be 0*(0 + 1/(-2)). Suppose 0*j - 2*j - 76 = -4*a, -2*j = 5*a - 104. Solve -4*q = a, b*l - i = 4*l - 2*q for l.
-3
Let h(k) = 6*k - 4. Let y(x) = 11*x - 7. Let r(b) = 7*h(b) - 4*y(b). Let q be r(-2). Solve 11 - 3 = -2*s, q*w + 3*s + 20 = 0 for w.
-2
Suppose 2*t - 2 = 2. Suppose -4*z = t*v - 16, 4*z + 3*v = 2*z + 16. Solve 0 = -2*i + z*j + 2, -2*j = 2*i - 0*j - 2 for i.
1
Let v(b) = b**3 + 12*b**2 + 10*b - 8. Let s be v(-11). Solve -s*c = -4*z - 8, 3*c = 3*z + 2*z + 13 for z.
-5
Let x(m) = -3 - 2*m**2 + 6 - 3*m + m**2 + 4*m. Let o be x(0). Solve 2*g + 0 = 2, g = -q + o for q.
2
Let i(a) = 4*a**2 - 2*a - 5. Let h(q) = 2*q**2 - q - 3. Let t(l) = -7*h(l) + 4*i(l). Let o be t(1). Solve 5 + 18 = 2*v + 5*f, -o*v - 4*f + 18 = 0 for v.
-1
Let x = 21 - 19. Solve 0 = -5*a + 2*h + 13, -3*a = -x*h - 2*h - 5 for a.
3
Let k(i) = 2*i - 3*i - 1 + 2*i**2 + 3*i. Let l be k(1). Solve -15 = l*u - 3*j, 4*u - 3*j = 2*j - 24 for u.
-1
Let f(w) = -2*w**2 - 21*w + 15. Let p be f(-11). Solve 5*v - 22 = 3*o, 4*o + p + 6 = -3*v for o.
-4
Let h be (1 - (4 - 2))*-2. Suppose -2*p = -2*j + 32, -h*j + 4*j - p = 28. Solve -40 = 5*y - q + 6*q, -j = 4*y - q for y.
-4
Suppose 5*x - 2*x - 9 = 0. Solve -x*p - 2*g + 1 = 0, 6 = -2*p - g - 2*g for p.
3
Let h be -2 + 5/((-15)/(-12)). Solve 0 = -5*o + d - 10, -2*o = h*d + d + 4 for o.
-2
Let o be -1 - -2*18/(-4). Let s = o + 38. Solve 0 = w - 2*d, 0 = -2*w - 3*w - 4*d + s for w.
4
Let q be (-11)/66 - 139/(-6). Solve -5*r + 2*o = -q, -12 = -2*r + 3*o + 6 for r.
3
Let r(q) = q**3 - 7*q**2 + 2*q - 8. Let c be r(7). Suppose 0 = 33*s - 16*s - 68. Solve 0 = s*d - 2*z - c, d = 5*d + 2*z - 26 for d.
4
Let u = 1 - 1. Suppose u = 3*q - 11 - 1. Suppose -2*s = 4*v + 6, -2*v + 1 + 5 = 4*s. Solve 0 = -2*p + 6 - q, g = 5*p - s for g.
2
Suppose -4*h + 10 + 12 = -3*n, 0 = 4*h + 4*n - 8. Let o = -2 + h. Solve 3*t = 2*v - 3 - 3, o*t + 4 = 0 for v.
0
Suppose -60 = -2*s - 4*u, 83 + 4 = 4*s - 3*u. Suppose l + s = 3*l. Solve 14 = -2*g + 2*k + k, -5*g - 4*k = l for g.
-4
Let f be (2/(-2))/((-35)/(-42) + -1). Solve 4*t + 41 = -5*k, 3*k - k - 4*t - f = 0 for k.
-5
Let v(q) = q**2 + 2*q + 2. Let x be v(-3). Suppose -15 = x*m - 65. Solve 0 = -2*n - m, -5*r + 0*n + 35 = -2*n for r.
5
Let t = -9 - -19. Suppose 2*c + 4*a + 5 = 1, 5*a = t. Let l be c/(-2) + (-2)/2. Solve -q + 1 = -4*g - 5, 0 = -q + l for g.
-1
Let a be (9/6)/(6/16). Let t(y) = -y**2 - 4*y - 1. Let g be t(-3). Suppose -7*r + g*r = -3*s - 123, 5*s = -5. Solve 0 = 5*k - 2*n + r, -k - 5*n + a = -2 for k.
-4
Let g be 16 + (-2 - (3 - 8)). Suppose -2*v = -5*b - g, 2*b - 4 = -0*v - 5*v. Solve j + v = z, 4*j + 4*z = 2*z - 20 for j.
-4
Suppose 5*p + 0*p - 25 = 0. Let c be 2/p + (-138)/(-30). Solve 5*z - c*s - 20 = 0, 2*s = 4*z + 7*s - 25 for z.
5
Let b be 18/(-14) - 14/(-49). Let g = b + 6. Solve t + 5*w + 12 = -0*t, 2*w + 21 = g*t for t.
3
Suppose r = -3*r, -w = -r - 5. Solve -3*y - y - w*i - 12 = 0, y = 4*i - 3 for y.
-3
Suppose -2*o + 4*o - 8 = 0. Suppose 10 - 2 = o*k. Solve -2 = -2*w + 4*b - 0, -5*w - 19 = -k*b for w.
-5
Suppose 4*p - 12 = 2*a, -3*p + 0 = 2*a - 9. Solve g - 3 = 0, -q + p*g = 9 - 1 for q.
1
Suppose q = -q + 2. Let b = q + 1. Suppose -27 = -5*c - b. Solve 0 = -3*s - 0*t + c*t + 32, -s = t for s.
4
Let g(l) = 9*l + 2. Let z be g(2). Suppose 0 = 4*o + 5*q + z, -o = -5*q - 8 - 12. Solve -4*v - 12 = -2*p, -5*v + o*p - 33 = 2*p for v.
-5
Let h = 53 + -29. Let z = 0 - -2. Let w = z + 0. Solve 0 = 2*d + 2*d - 3*g + h, -w*d + 10 = 4*g for d.
-3
Let f(t) = t**3 - t**2 + t + 4. Let l be f(0). Let u be (0 - (-3 + l))*-5. Solve 5*c + z + 3*z = 37, u*c + 5*z = 40 for c.
5
Let c(q) = -6*q - 9. Let z be c(-5). Solve j - 3*j = -3*f + z, 0 = -4*f + j + 23 for f.
5
Let h(o) = o**2 - 14*o + 15. Suppose -2*w + 28 = 2. Let x be h(w). Solve v + 4*v = c - 24, x*v - c = -12 for v.
-4
Suppose -3 = 4*r + 3*o + 12, 3 = -3*o. Let q be (-2)/3 + (-2)/r. Suppose -5*s + 4*s + 4 = q. Solve -3*j + 13 = -2*x + s, j - 3 = x for x.
0
Let o = 6 - -6. Solve q + 4*q = -5*r + 30, 3*r = o for q.
2
Let w(s) = 2*s - 3. Let y be w(3). Suppose -f + 11 - 4 = 0. Let b = f - y. Solve 0 = b*t - 16, -u = 3*u + 2*t + 8 for u.
-4
Let g = 0 + 3. Let y be g/((-3)/(-12)*6). Solve 9 = -0*o - 5*o + y*k, -o - 2*k - 9 = 0 for o.
-3
Let q(t) = -t - 7. Let x be q(-7). Let h = -1 - x. Let y be (-1 + 1)/(-1 + h). Solve -5*i + 4*u + 10 = y, 0 = 4*i - 3*u - 4 - 3 for i.
-2
Let s = 8 + -6. Let h = 6 - s. Solve 10 = -w - h*p, 0 = -0*w + 4*w + 3*p + 1 for w.
2
Let r(f) = -3*f**3 - 4*f**2 + 4*f + 1. Let q(t) = t**2 - t. Let a(m) = -6*q(m) - r(m). Let l be a(1). Solve -4*n - 3*x = 2*x + 14, x = l*n for n.
-1
Let m = -51 + 55. Solve m*o - 3*k = 12, 6*o - 4*k - 15 = o for o.
3
Let u(c) be the second derivative of 3*c**5/10 - c**3/6 + c. Let k be u(1). Solve 5*i + 2*x = -17, k*x + 14 = -2*i - i for i.
-3
Suppose p = 6*p - 20. Let r = 76 + 3. Suppose 5*b + 70 = 2*f, -5*b + r = 5*f - 26. Solve -4*w - 2*l = -20, p*l - f = -4*w - 5 for w.
5
Suppose -h = 3*t - t - 15, 2*t + 2*h - 16 = 0. Solve 2*s - r + t = 0, -r - 3*r + 1 = s for s.
-3
Let l be 94/18 + 2/(-9). Let x be (16/(-6))/(2/(-78)). Let p be (x/65)/((-4)/(-10)). Solve 3*r = -l*d - 1 - 21, d + 18 = -p*r for d.
-2
Suppose -6*z = -12*z + 24. Suppose -2 + 16 = -r. Let p = -9 - r. Solve z*c - p*a = -0*c + 4, 5*c = 3*a - 8 for c.
-4
Suppose -5*g - y = 0, -2*g = -4*g - y - 3. Let x be (g + (-14)/10)*-5. Solve l + x*q + 2 = 0, 5*q + 17 = 2*l + 2*q for l.
4
Let y be (7 - 12)/(1/(-1)). Solve 10*t = -y*w + 5*t - 10, -5*w - 3*t = 10 for w.
-2
Suppose -4*v + 7 = -2*b - 49, 