lve 4*u - 4*x - s = 3*u, -10 = 5*x for u.
-5
Let k be (-6)/8 - (-10)/((-200)/(-15)). Let c be 2 + 1*1*(k + -1). Suppose 3*a + 2 = -x, x + 2*a - c - 1 = 0. Solve -3*b - 2*j + 22 = -7*j, -x = 2*j for b.
-1
Let v(p) = 17*p + 10. Let w be v(-3). Let i = w - -44. Let c be 8/i + 16/48. Solve d - k = -8 + 1, 0 = c*k - 6 for d.
-5
Let c(d) = d**3 + 12*d**2 + d - 5. Let g be c(-11). Suppose g*w - 104*w = 3. Solve 4*o = -2*n + w*n - 23, -2*o = -2*n + 16 for n.
3
Let w(q) = -126*q - 626. Let j be w(-5). Solve 4*u = -4*i - 28, 0 = -j*u + 4*i + 12 - 8 for u.
-3
Suppose -8 = 4*p - 24, 54 = -2*t - 2*p. Let o = 84 + t. Suppose -r = -5*r - d + 64, -o = -3*r - 2*d. Solve -4*n + 27 = -5*z, -6*n + r = -n for z.
-3
Suppose -n - 4*i + 56 = 0, -32*i = 5*n - 28*i - 152. Solve 2*a = -5*z - 28, 26*z = 2*a + n*z for a.
-4
Let w = 236 - 234. Suppose w*i = -2*i + 20. Solve 9 = -i*h - 0*k + 4*k, 4*k - 2 = -2*h for h.
-1
Let m = 3731 - 3726. Solve 4*k = -d + 15, 49*d = 53*d + m*k - 27 for d.
3
Suppose -5*w + 10 = 0, -4*a - 23*w + 26*w = -10. Suppose 4*i - 36 = 6*i. Let v = 24 + i. Solve -4*p = -4*k + p + v, a*k + 3*p = -10 for k.
-1
Suppose 0 = -2*w + 8, -3*w + 16 = 3*s - 32. Suppose 10*k - s = 6*k. Suppose -3 + k = -6*y. Solve -3*f + 2*v + 0 + 1 = 0, 3*f - v - 5 = y for f.
3
Let j(m) = -4*m - 59. Let s be j(-15). Let l(v) = v + 10. Let a be l(8). Let t be (-20)/12*a/(-10). Solve 2*g + 3*p - s = -0, -g = 4*p - t for g.
-1
Let o = 452 + -447. Suppose 3*z - 35 = -t, -2*t - 25 = -3*z + 2*t. Suppose 0 = z*m - 35 + 2. Solve -2*u - 3*f = 11, -3*u = -o*f - 34 + m for u.
2
Let u = -343 - -356. Solve p - l = -6, 4*l - 7 = 2*p + u for p.
-2
Let o(f) = -448*f - 2685. Let a be o(-6). Solve -a*u = -2*m - 85 + 72, -4*u - 5*m - 21 = 0 for u.
1
Let d(v) = 40 + 25 + 31 - 8*v + 15 - 139. Let g be d(-4). Solve s - n + g = 0, -4*s - s - 3*n = 20 for s.
-4
Let l(u) = -69*u - 5587. Let s be l(-81). Solve -2*g - s = -r - 9, 2*r = -5*g - 5 for r.
-5
Let r(x) = x**3 - 5*x**2 - 59*x + 284. Let f be r(8). Solve 4*p = -2*m - 14, f*m - 2*m - 4*p = 10 for m.
-1
Let z(a) = a**2 + 377*a + 1492. Let j be z(-4). Let y = -1 - -3. Suppose -u - y*v = -2, 0 = -4*u - j*v - 4*v + 12. Solve 4*d + 4 = p + d, 0 = -2*d - u for p.
-2
Let y(r) = -90*r - 5486. Let f be y(-61). Solve 2*w - f*l = 26, -8*w + 10*w - 2*l - 20 = 0 for w.
7
Let q(v) = 421*v + 2536. Let t be q(-6). Solve 0 = -7*g + t*g + 4*u - 6, 3*u - 4 = -2*g for g.
2
Let r = -15 + 18. Suppose 11 = 5*a + o, 0 = 4*o - 3*o + 4. Solve 0 = r*s + a*f, f - 1 = 3 for s.
-4
Let u be (0 - -7) + (-216)/(-1026)*-19. Let g be (0 + 5/3)*3. Solve -1 + 0 = -u*b - g*h, 1 = b + h for b.
2
Let u be (15/9)/((-2)/(-12)). Let h(v) = 234*v - 36967. Let s be h(158). Solve -5*z + 50 = -s*t, u + 10 = -5*t - z for t.
-5
Let w(v) = 3*v + 8. Let p be w(-1). Suppose -p*x - 63 + 263 = 0. Suppose x = 11*q - 15. Solve g - 4*z + 11 = 0, -q*z = -2*g + 5*g - 18 for g.
1
Let s = -14722 - -14727. Solve 5*r = 4*h, h = 2*h - s*r + 15 for h.
5
Suppose -d - 5 = 0, 2*d - 24 = -z - 85. Let a = 59 + z. Suppose a = j + j. Solve -2*m - m + 5*y + j = 0, 8 = -4*y for m.
-2
Suppose -2*w = 11*w. Suppose w = -3*u + 19 - 19. Solve -l + c + 3*c = 4, -2*c = u for l.
-4
Let i(f) = f - 105. Let s be i(107). Solve -s*n = 0, 6 = -a - 3*n + 9 for a.
3
Let t(p) be the first derivative of 2*p**2 + 89*p + 169. Let n be t(-21). Solve 2*l = -5*r + 10 + 2, 5*r + n*l = 0 for r.
4
Let m be (7/77*0)/2. Solve a = 3*z + 10 - m, 4*z - 5*a - 5 = 0 for z.
-5
Let r(t) = 6*t**2 + 783*t + 1161. Let w be r(-129). Solve w = d - 5*m + 24, 3*m - 36 = 4*d - 25 for d.
1
Let a(w) = -53*w**2 - 375*w - 20. Let i be a(-7). Solve 29*f + 7 = 26*f - h, -4*h + i = 0 for f.
-3
Let m = 1628 - 1628. Solve -53*i - 2*d = -54*i, m = 3*i + 3*d for i.
0
Let d(n) = 20 - 13 + 14 + 20 + 4*n. Let o be d(-7). Solve -i + 2*j = o, 25 = 3*j + 2*j for i.
-3
Suppose 0 = -5*s + 12 - 32. Let y = 16 + s. Let f = 223 - 221. Solve 2*d - y - 1 = -m, -5*m = -f*d - 5 for m.
3
Let k(w) = -2*w**3 + 6*w**2 + 14*w - 41. Let u be k(3). Solve 2*t - 2*v + 0*v - 2 = 0, -2*t - v - u = 0 for t.
0
Let c be 3 + (-18)/3 - -6. Suppose p + 4*j - 22 = 0, 0*p + 5*p - 2*j = 0. Solve -c*i + 0*i = -p*d + 19, -3*d + 6 = 0 for i.
-5
Let r be 261 + 1 - (13 + -1)/3. Suppose -322 = -5*z + r. Let q = z + -114. Solve -q*k - v + 6 = -1, 0 = -5*k - v + 10 for k.
1
Suppose 3*a - c - 2*c = -87, -5*c = 3*a + 103. Let v = a + 43. Let k be 12 + (-1)/(-2) + v/(-8). Solve 5*n - 3 = -2*g - k, 5*n + 4*g + 16 = 0 for n.
0
Let d be (-4)/14 + (-37)/(-7). Let v be (9/(-5))/(1072/80 + -14). Suppose 4*f - 15 = -f, v*f = u + 4. Solve 0 = 2*s - 2*t - 8, 3*s - t - u = d for s.
3
Suppose 108*d = 101*d - 1 + 15. Solve 0 = -r + d*s - 11, -5*s + 8*s = 9 for r.
-5
Let q(g) = -3*g**2 + 4*g + 34. Let n be q(-9). Let s = n - -255. Solve -2*l = 4*p + s, -2*l = -5*l + 2*p - 15 for l.
-5
Let c(y) = -y**2 - 5*y + 142. Let k be c(-13). Suppose 0 = -18*t - 2 + k. Solve 2*j = -t, -4*o + 2*j - 29 = -11 for o.
-5
Suppose 18459*i - 12 = 18458*i. Solve -2*r = -7*z + i*z - 14, 3*r - 10 = -2*z for r.
2
Suppose 4*i - 17 = -3*f, 0*i = -4*i + 2*f + 2. Let a be 1/(7/(-2) - -4). Let y be 4/a + 1 + -1. Solve y*d + 5 = r - i*d, 8 = -4*d for r.
-3
Suppose 0 = -18*x - 499 + 571. Suppose 138*w + x = 139*w. Solve -3*b = -a - 2*a + 3, 0 = w*b + 3*a + 25 for b.
-4
Let x be (-368)/(-46) - 4*1. Let d be 4*(-5 + 24/x). Solve 0 = -5*t + 3*c - 13, c + 28 = -d*t - c for t.
-5
Let k be (2/4)/((2 - 1)/(-14)). Let a be k + 0 - (11 - 23). Solve a = -m + i - 3*i, -2*i + 7 = -3*m for m.
-3
Let b(v) = -v**3 - 8*v**2 + 21*v + 15. Let u(n) = -n**3 + 9*n**2 - 19*n + 161. Let d be u(9). Let f be b(d). Solve -f*o + 0*p = -3*p + 40, -3*o = 2*p + 5 for o.
-5
Let v be 2/((-28)/(-8) + -4). Let y be (-1)/(-4) - 39/v. Suppose 9 = 8*k - 7. Solve -3*j + b + 1 - 11 = 0, 0 = 4*j - k*b + y for j.
-5
Let j be (-109)/(-8) - (18/(-40))/(12/10). Solve d - j = -4*x + 4, 4*d = -4*x + 12 for d.
-2
Let x(c) = c**2 + 255*c - 2921. Let n be x(11). Solve -n*j - 4 = 2*h - 5, 2*j + 2*h + 2 = 0 for j.
1
Suppose 9*p - 744 - 615 = 0. Let o = -28 + p. Let q = -121 + o. Solve -2*c + 4 = -5*a + q*c, -5*c = -5*a for a.
-4
Suppose -318 = -147*i + 417. Solve 0 = b - i*s + 7, 3*b - 3 - 4 = s for b.
3
Let s(f) = -f**2 + 9*f + 27. Let n be s(11). Suppose -n*c + 80 - 65 = 0. Solve 0 = 5*r - 5*l, -2*l - 3 = -c*r + 2*l for r.
-3
Let h = -692 + 688. Let j be (h/(-6))/(4/12). Solve 3*y = d + 11, -3*y - j*d = -d - 19 for y.
5
Suppose -14 = -2*x - 5*x. Let a = 178 - 176. Solve 5*h = 2*m - 9, a*h + 5*m = -x*h - 27 for h.
-3
Suppose -6*y = -3*y - 36. Let s be y - 15 - (-1 + -2). Let h = -1765 - -1769. Solve -h*o = 4*u, s*u + 2 = -3*u - 2*o for u.
-2
Let b = 48 + 19. Suppose b = 4*p + 51. Solve -5*m - 7 = 4*o + 3, -4*m = p*o + 12 for m.
2
Let j(p) = -2*p - 24. Let g be j(-13). Suppose 0 = -0*f + f. Suppose f = 6*w + 7 - 19. Solve -5*o = w*d + 1 + g, -5*o + 17 = -3*d for d.
-4
Let k = -4962 + 4964. Let h be (-19)/(-2) + 3/(-2). Solve 4*z - k*p = 5*z - 5, 0 = 4*z + 5*p - h for z.
-3
Suppose 5*r - 104 + 74 = 0. Let u be (-6)/(-24)*36 - r. Solve 0 = -5*x - 3*v + 10, -v + 8 = x + u*x for x.
2
Let a(v) = -76*v - 4594. Let u be a(-62). Solve 4*w = -3*f - 5, -3*w - 3*f + 112 = u for w.
1
Let j be ((-10)/(-4))/(11/88). Suppose -103*l = -108*l + j. Suppose 5 = 5*o - 2*t, l*o + 5*t - 17 = 20. Solve -5*y - o*k + 23 = -12, 5*y = 4*k for y.
4
Let j = 16102 + -16057. Solve 4*a + j = 5*x, 4*x - 5*a - 50 = -x for x.
5
Suppose 4*r + 75*r + 626 = 2206. Solve k + 25 = 5*z, -4*z + r = 48*k - 45*k for z.
5
Let i = 45 - 43. Let y be 0 + (i - 4) + 4. Solve q - 3*q + 3*k - 8 = 0, -3*q = -y*k + 2 for q.
2
Suppose 3*k - 12*p = 66, 9*k - 4*k + 5*p - 10 = 0. Solve -5*o = -y + k + 8, 2*o + y = 0 for o.
-2
Let q be (1 - 9)*(943/(-46) + 18). Solve 10*y = 12*y + 2*n - q, n = -2*y + 15 for y.
5
Let o(c) = 27*c**3 + c**2 - 3*c + 1. Suppose -f - 24 = -25. Let j be o(f). Solve -5*d + j = -3*t, -3*t - 3*d = -d - 2 for t.
-2
Let p(m) = -m**2 - 12*m - 11. Let g be p(-5). Let t = g + -20. Suppose -3*x + 5 = f, 7*x - 28 = 3*x + t*f. Solve 5 = -4*w - 4*j - x, 26 = 5*w - 4*j for w.
2
Suppose 0 = -4*b + 8*b + 180. Let i be b/(-18) + (-19)/(-2). Solve -2*d + i = 5*f, -3*f + d - 2*d = -8 for f.
4
Let l = 1 - 0. Let o(n) = 3*n**3 - 11*n**2 + 8*n + 3. Let r 