0 = 5*l - v - 23. Suppose 0*n - 3*n + 54 = 0. Solve 2*u - 5*d = n, 8 = l*u - 4*d + d for u.
-1
Let h(u) = -37*u - 18. Let s(j) = 68*j + 35. Let o(x) = -11*h(x) - 6*s(x). Let d be o(-12). Solve -c = -5*n + 11, 3*n - 13 = -d*c - c for c.
4
Suppose -3*g - 11 = -5*f, -5*f + 5*g + 24 = 19. Solve 2*a + 10 = 5*o, -29*o - f*a - 20 = -32*o for o.
0
Let n(w) = 14 - 3*w - 20 - 14 - 24. Let u be n(-15). Suppose -3*x - 15 = 0, 5*j - 4*x = u + 34. Solve j*r + 5*p + 2 + 4 = 0, 0 = 5*p for r.
-2
Let j(b) = 4*b - 3. Let s be j(2). Let m(a) = 0 - 2*a + a + 12 - 1. Let f be m(6). Solve -w - 3*w + 7 = -3*k, -f*k = -s*w + 5 for w.
4
Let u(x) = x**2 + 104*x + 592. Let f be u(-6). Solve -2*c - f = -d + 5, -d + 5 = 0 for c.
-2
Let v be (8/(-12))/((-1)/6). Suppose 0 = 3*j - 2*j - 3*l - 14, 23 = v*j - l. Let w = 33 + -29. Solve -w*g + q + q = -10, -3*g + 4*q = j for g.
5
Let v be (-23 - 4/1)*(-4)/4. Suppose 12 = -5*i + 5*y + v, 0 = 3*y. Solve -2*h = -6*h - i*f, -4*f - 10 = 2*h for h.
3
Suppose -420*h + 425*h - 5 = 0. Suppose 0 = 4*n - 11 - h. Solve 0 = -2*g + 5*x - 22, -n*x = -2*g + 5*g - 9 for g.
-1
Suppose -4*g - 64 = 3*w, -5*g = -6*w + w + 115. Let r = -2268 + 2292. Let c = r + g. Solve 5*s + 12 = -2*l, -c*s + l - 24 = -0*l for s.
-4
Suppose -15 = 74*c - 79*c. Let b be 24/(-16)*1/(c/(-10)). Solve -3 = 2*u - 0*u - s, b*s + 12 = u for u.
-3
Let t be 0 + -1 - (-18 + 13). Suppose 28 = t*v + 8. Let n(h) = -h + 4. Let w be n(2). Solve -5*a - 4 = 2*b + w*b, v = -5*b - 3*a for b.
-1
Let d = -8751 - -8752. Solve i + d = -t, -2*t = 3*i - 7*i + 14 for i.
2
Let l be (-1 + 3/2)*-142. Let v be (8/12)/(9/999). Let q = l + v. Solve q*y + 4*b + 14 = 0, 0 = 3*y + b - 4 + 3 for y.
2
Let f be -4*(1065/10 + 2/(-4)). Let c = f - -427. Solve 3*b - 4 = -5*s, c*b - 2*b - 8 = -5*s for s.
2
Suppose -10 + 5 = l. Let s be -15 + 8/(-20)*l. Let r = -9 - s. Solve 0 = 3*v - y + 17, 2*v - y - r + 16 = 0 for v.
-5
Let a be 10/(-45) - 1066/(-18). Suppose 4*b + z = a, -z = -b - 0*z + 16. Let q = 19 - b. Solve q*y - 26 = -d + 6*d, d - 2 = -y for y.
4
Let h be 4*(-15)/660*-22. Solve -h*f - 44 = -6*f - 4*r, -4*f + 29 = -r for f.
8
Suppose -32*u - 85 + 21 = 0. Let x be 1/u*(37 + -41). Solve -24 = -x*v + 5*o, -3*v + 6*o - o + 26 = 0 for v.
2
Suppose 7*m - 16 = -m. Suppose 3*q + 3 = -m*y + 6, -4*y = q - 11. Solve n - v + 4 = 0, 4*n = y*v + 6 - 23 for n.
-5
Let b = -422 + 285. Let m be b/(-5) + 4/(-10). Suppose -6 = 24*g - m*g. Solve 2*j + 2*v - 14 = -2*v, g*v = 8 for j.
-1
Let u(r) be the first derivative of -9*r**2 - 89. Let f be u(0). Solve f = -0*c - 2*c + 3*x - 5, 0 = -5*c + 2*x + 4 for c.
2
Let w = 1095 - 1083. Solve 3*d = w, i - 2*d = -d - 1 for i.
3
Let y be (-286)/(-4) + (-5)/(-10). Let l = 73 - 139. Let i = y + l. Solve -3*v - 2*n - 3*n = -7, 2*n = -2*v + i for v.
4
Let m be -2 - 12/(5 + -3). Let t = 3 + 9. Let o = t + m. Solve 4*c + 6 = -o*d - d, -4*c = -d - 6 for c.
1
Suppose -36*k + 282 = 11*k. Let g = 12 - 10. Suppose g*d + 2*d = 0. Solve -2*h - k = d, -4*z - z - 5*h - 30 = 0 for z.
-3
Suppose -b - 5*g = -8, g = -4*g + 5. Let d be b/(0 + 9/6). Let j be 128/20 - (168/(-35))/(-12). Solve h = -h + 4, 0 = -d*t - 2*h + j for t.
1
Suppose 5 = 5*l + 30. Let d(o) be the second derivative of -o**5/20 - o**4/3 - 2*o**2 - o. Let h be d(l). Solve -5*v + 3*y + 2*y = 45, v - 4*y + h = 0 for v.
-5
Suppose -4*p = 3*x + 2*x - 20, x = 0. Suppose 0 = -p*i, 0*r + 3*r + 4*i = 21. Solve 3*n = -2*a - r, -2*a + 2*n + 4 = -3*a for a.
-2
Let y be (-12)/(-18)*2/(-8)*-18 - -1. Solve -w = 2*u + y*w - 2, 3*u - 5*w = -22 for u.
-4
Let k be (5/3)/((-60)/(-144)). Solve -2*u - 22 = 3*h, -2 = -k*h + 3*u - 3 for h.
-4
Let c be -5*(64/(-30) + (-1)/(-3)). Suppose c*y - 6 = 7*y. Solve 0 = -3*i + 2*t + 7, -12 = 2*i - 5*i + y*t for i.
-1
Let s(p) = -p - 5. Let i be s(-8). Suppose -99*x - 24 = -96*x. Let j be (-75)/(-30)*x/(-4). Solve 5 = j*n - 5*m, -n + 0*n + i = -2*m for n.
-1
Suppose 3*p = -4*q + 13, -11 = -q + 3*p - 4. Let v be (-24)/(-3 + 0)*3/3. Suppose 0 = n + v - 10. Solve -2*b - 3 = -y - n*y, -b = q*y - 15 for b.
3
Suppose -22*q + 20 = -244. Solve -63*k + 68*k + i = 26, 2*k = -2*i + q for k.
5
Let c(l) = -77*l**2 - 230*l + 8. Let y be c(-3). Solve 3*p = -5*t + 4, 5*p - p + y*t = 7 for p.
3
Suppose -434 = 2*w - 3*w. Let g = 434 - w. Solve g*v = b + 2*v + 4, 3*v = b + 4 for b.
-4
Suppose 10*i - 13*i = -3*y, 0 = 2*y + 3*i + 15. Let x be (2 + 0)*y/(-3). Solve -3*w = -3*r + 3, -5*w - x = -r - r for r.
1
Let s(t) = t**2 - 11*t + 17. Let d be s(11). Suppose -r = 5*q - d, 6*r - 3*r = 2*q. Solve -4*z + 4 = 2*y, -7*y = -5*z - r*y + 5 for z.
1
Let a(k) = -28*k**2 + 6*k - 8. Let o be a(2). Let j = -105 - o. Solve 3*f - 5 = 5*m, -5*f + 4*m + 14 = -j for f.
5
Let g(s) = -s**2 + 2*s + 176. Let l be g(14). Solve 0 = -4*r + l, 3*x - r - 2 = -13 for x.
-3
Let b(g) = g - 1. Let s be b(6). Let u(k) = k**2 - 642*k + 7575. Let d be u(12). Solve 5*m = s*j + d, -3*j + 0*m = m + 17 for j.
-5
Let g be (25806/(-828) - (-1 + (-15)/(-18)))*-1. Solve x = 4*z - 2*x + g, -17 = 3*z - x for z.
-4
Suppose 2*f + 24 = 4*w, 5*f + 0*w - 3*w = -39. Let a be 8 - f/15*-10. Solve 0*t - 2 = -u + a*t, -3*u + 6 = -5*t for u.
2
Suppose -25 = -2*m - 1. Let t be (m/16)/(2/16). Let s = t + -1. Solve 5*b - 25 = s*c + 10, -4*c = 20 for b.
2
Suppose -52*l = 2*u - 54*l - 6, -5*u - 2*l + 8 = 0. Solve 12 = 3*n - u*n + 5*r, -r = 4*n + 9 for n.
-3
Let s = 4125 - 4121. Solve 3*f + 4 = 19, -s*y = 3*f - 23 for y.
2
Suppose 0 = -58*w + 40*w + 54. Let m be (-135)/(-63) - (-2)/(-14). Suppose 4*v = i + 4*i + 22, -5*v + 11 = 2*i. Solve -w*s + m*j - v*j = -18, 3 = j for s.
5
Let c(q) = q + 11. Suppose -4*w + 3*o = 243, -3*w - 300 = 2*w - 3*o. Let d = w - -49. Let l be c(d). Solve -2*v - l*z + 2 = 0, -3*z + z = -8 for v.
-5
Let t = -20410 + 20424. Solve 3*k - 9*g + t*g = 5, k = g - 1 for k.
0
Let q = 17299 + -17297. Solve p + 8 = r, -q*p + 28 = 3*r - 6*p for r.
4
Let c = -5207 + 5209. Suppose 1 + 11 = 2*u. Let o be (-8)/12 - (-34)/u. Solve -4*b - o*t + c = -1, b + t = 0 for b.
-3
Suppose -152*r - 182 = -243*r. Solve 2*m = 5*q - 3*q + 12, 0 = r*m + 5*q + 23 for m.
1
Suppose 37*t = 65*t - 40*t + 120. Solve x + 10 = p + 16, t = -p + 5*x for p.
-5
Let m be (-150)/(-120) + (51/(-12) - -3) - -2. Solve 5*o - 8 = -m*h, -62*h + 58*h = 2*o for o.
2
Suppose -53*d = -52*d - 144. Let r be 12/(-42) - d/(-14). Solve 2*t + r = -0*t, -5*h = -4*t for h.
-4
Let b be (-84)/196*((-630)/(-9))/(-10). Solve 0 = -5*q - b*u + 13, -4*q + 3 = 3*u - 5 for q.
5
Let i(c) = c**3 - 30*c**2 - 80*c + 515. Let d be i(32). Solve -3*n + 43 = 5*f + 18, 2*n - 16 = -d*f for f.
2
Suppose 5*y + 5*q - 10 = 10*q, 0 = -3*y - 4*q + 27. Solve -y = b + 4*a + 1, 0 = -4*b - 2*a - 10 for b.
-2
Let p = -15537 + 15540. Solve g - p + 0 = -w, -g = -4*w + 17 for g.
-1
Let l(n) = 14*n - 2. Let y be l(3). Let a(j) = j**3 - 7*j**2 + 9*j - 4. Let h be a(6). Let v = y - h. Solve -4*u - v = 3*q, -5*u - 46 = 4*q - 13 for u.
-5
Suppose -q - 4*h + h = 12, 15 = -3*h. Suppose -3*g = 2*p - 2*g - 14, -2*p + 5*g = 10. Let z = 2117 - 2114. Solve -12 = -z*s - c, -q*s + 2*c + p = -7 for s.
4
Let u be 1 + 3 + (-306)/68 - 112/(-32). Solve 45 = 5*a + 52*j - 56*j, 5 = -u*a - 4*j for a.
5
Suppose -j + 1120 = 5*s, 2*s - 2*j - 136 = 312. Let b = -222 + s. Solve -5 = 5*a - 3*c, -b*a - 12 = -3*a - 2*c for a.
2
Suppose 33*z - 37*z + 462 = 29*z. Solve -3*l + 18 = 3*j, -l + 3*j + 0 - z = 0 for l.
1
Suppose -160 = 904*a - 936*a. Solve -v + 3*w = -12, a*v - 12*w + 5 = -10*w for v.
-3
Suppose -5*x = -9 - 11. Let s(d) = 174 + 10*d - d**2 + 11*d - 148. Let k be s(22). Solve -x*o - 16 = -k*l, -2*o - 4 = -3*l - 3*o for l.
2
Suppose -4*l = 3*l + 251 - 272. Let p(h) = 5*h + 8. Let t(f) = 6*f + 8. Let r(j) = -5*p(j) + 4*t(j). Let n be r(-8). Solve -2*k - 16 = -4*x + k, l*k = n for x.
4
Let b(f) = f + 12. Let a be b(-13). Let k be (46 + -21)*a/(-1 + -4). Solve -2*r - 3*r - 5*z = -15, r + k*z = -5 for r.
5
Suppose 4*j - 6*t + t + 20 = 0, -j = -5*t + 20. Solve -5*y - 14*b + 17*b + 21 = j, y = -2*b - 1 for y.
3
Let t(r) = -r**2 + 24*r + 4. Let n be t(0). Let c(h) = -h**3 + 20*h**2 + 22*h - 11. Let f be c(21). Solve -n*d + 7 = -k, -d + f = -k + 4*d for k.
5
Let p = -5 - -9. Let k(b) = -100*b + 25. Let f be k(1). Let j = 85 + f. Solve -3*m - p = 4*d, m + 3*m + 3*d + j = 0 for m.
-4
Let o(x