829 = -3*p + 2*y, -5*p + y = 5*y + 1345. Let n = 276 + p. Solve b + 22 = 5*w - w, 31 = 5*w - n*b for w.
5
Let b = 12733 + -12730. Solve 5*d - 19 - 5 = b*o, 2*o = 3*d - 15 for o.
-3
Let w be ((-30)/105*14 + 7)*4/6. Suppose 2*y = -2*p, -2*p + 3*p = 4*y + 10. Solve -2*n = 3*n + o + 24, -p = -w*o for n.
-5
Suppose 0 = -2*d - j + 188, -2*d + 29 = 2*j - 155. Let h = d + -87. Solve n + h = 6, 2*p - 14 = 4*n for p.
1
Suppose 5*h + 12*c + 7 = 8*c, 14 = -h - 5*c. Solve 2 = 3*i - w, 56*w + h = -3*i + 60*w for i.
1
Let t be (-704)/(-72) - (-96)/432. Solve 24*d + t = 29*d + 2*c, -2 = -d + 4*c for d.
2
Let x be 1307/(-9) + (-232)/(-72) + -3. Let a = -139 - x. Solve -2*n - a = 0, -15 = f + 3*n + 2*n for f.
0
Let h = 1591 + -1582. Solve -c = -4*f + 20, -5*c + 4*f - h*f = -25 for c.
0
Let d(j) = -j**3 + 9*j**2 - 16*j + 69. Let t be d(8). Solve 5*c - f - 3*f - 8 = 0, 3*c = -t*f - 10 for c.
0
Let n = 1 - 0. Let b be n/((2/(-4))/(-1)). Let i(c) = -c**3 - 5*c**2 + 15*c + 78. Let t be i(-5). Solve 3*r - w = 11, -2*r + 3*w + t = -b for r.
4
Let s(j) = -j + 34. Let w be s(10). Let f be (64/w)/((-2)/24). Let d be -4*(-2)/f - 25/(-4). Solve -n - 2*k + d*k - 6 = 0, 2*k = 2*n for n.
2
Let d be (66/(-9) + -2)*-72. Let b = d - 669. Solve b*r = -5*z - 35, -3*r + 5*r + 10 = 0 for z.
-4
Suppose -37 + 38 = 3*k + 2*y, -k - 3*y - 9 = 0. Solve 0 = -4*o + 4*s + 16, k*o + 2*o + s - 8 = 0 for o.
2
Suppose 0 - 6 = -3*r, 3*g + 96 = 3*r. Let s be 3 - (1/2)/(15/g). Solve 3*z + 18 = -2*k + z, 0 = 4*k - s*z + 4 for k.
-5
Let o = -5 + 74. Let y(k) = k**3 - 16*k**2 - 16*k + 52. Let t be y(17). Let d = t - o. Solve -j = 4*j - 4*f - 16, d = 3*j + 2*f - 14 for j.
4
Suppose -2*j - 6*j = -64. Let o be 4/8*8*6/j. Solve 2*s + 5 = -o*s + 5*c, -s + 7 = -5*c for s.
-3
Let l be (-8)/(-28) + ((-10260)/(-21))/5. Suppose 2*y + l = 4*r, -6*y = -y + 5. Suppose 14*q + r = 248. Solve -4*a + q = 0, -5*h - 2*a - 3 = -1 for h.
-2
Suppose 0*b + 1289 = 2*x + 3*b, 0 = -2*x + 2*b + 1314. Let s = x + -647. Solve -4*k - s*q = -3*k - 9, -4*q + 7 = k for k.
-1
Let q be (4/(-3))/((-2)/6). Let d(t) be the third derivative of t**4/24 + 2*t**3 - 58*t**2. Let p be d(-12). Solve -4*n + 16 = p, 3*z + n + 1 + q = 0 for z.
-3
Let m(g) = -g**2 + 10*g + 19. Let b be m(12). Let t be (4/b)/((-4)/40). Solve -n + 2*n = -5*o - 20, -n + 2*o + t = 0 for n.
0
Let y be ((-3)/(-16))/(48/6368) - (-7)/56. Solve 5*k + 3*d + y = 0, -2*k + 21 = -5*k - 3*d for k.
-2
Let h be -5 + 1 - (12 - 18). Suppose 0 = -2*b + 6 - 0. Let f be 0 + -30*(-1)/6. Solve -f*o - h*w = -b*w - 5, o + 3*w = -15 for o.
0
Suppose 5*q + 4*f + 55 = 73, -f = 2*q - 6. Solve 5*r - 32 = 12*t - 9*t, q*r = -2*t for t.
-4
Let m = -24 - -27. Suppose 7*v + m - 3 = 0. Suppose -3*y + 4*s - 6 = -v*s, y - 3*s = -7. Solve 2*n = -y*r - 1 - 5, 18 = -5*r - 2*n for r.
-4
Let i(n) = 14*n**2 + 46*n + 63. Let b be i(-2). Solve -f = -m + 3, -5*m - b = 4*f + 3 for f.
-5
Suppose 16 - 29 = -m + 7. Solve 15 = 3*h, 0 = t - 6*t - 5*h + m for t.
-1
Let o(x) = -x**2 + 58*x + 187. Let i be o(61). Solve -3*n + j - 5 = 5, 2*n + 2*j = i for n.
-2
Let b = -564 + 561. Let q be ((-6)/(-15))/(((-6)/40)/b). Solve 0 = 3*v, 2*m + q*v - 3*v = 6 for m.
3
Suppose -5*o - 3*w = 12, -6*w + 3*w - 12 = -3*o. Suppose -15*m + 12*m + 33 = o. Solve 5*h + 2 = 2*d - 11, 0 = 5*d + 2*h + m for d.
-1
Let z be (-1356)/(-60) - ((-21)/7)/(15/(-3)). Solve 2*d + 5*n - 27 = 0, 2*d - z = -3*n - 5 for d.
1
Let l(x) = -x**3 + 13*x**2 - 9*x - 33. Let c be l(12). Solve c*p - 27 = 4*q, -3*q - 2 = -3*p + 22 for q.
-3
Suppose 110*n - 105*n - 5*j - 15 = 0, 0 = -n - 5*j - 3. Solve -a - t = -11, n*a - 3*t + 0 = 12 for a.
9
Suppose 2*a - 220 = -270. Let n be (-3)/(-2) - a/50. Solve -n*b + 8 = 0, 5*b + 0 = -5*g - 5 for g.
-5
Let l(c) = c**2 - 8*c + 9. Let j be l(7). Let i be 9*((-78)/18)/(-13). Solve 4*w + 4*a - 10 = j*w, w + i*a = 6 for w.
3
Let z = 135 - 248. Let a = z + 168. Let c = a - 55. Solve -2*r + 17 = -c*f - 3*f, -28 = -3*r + 5*f for r.
1
Suppose -2*y + 10*y = 59*y - 255. Solve -4*z - 2 = -2*b, -8*b + 3*b - 40 = y*z for b.
-5
Let i(g) = g**2 - 9*g + 27. Let o be i(7). Suppose o*l - 10 = 627. Suppose -54*y + l*y = -100. Solve 0 = -4*s - y, 0*r = 2*r + s + 15 for r.
-5
Suppose 15*j = 2*w + 18*j + 4, 4*j = -4*w - 4. Let q be -3 - (-10)/2 - (-3 + w). Solve -3*n + 12 = q*i - 7*n, 0 = -2*n - 10 for i.
-2
Let x be (-64)/10*(65/2)/(-13). Let i(h) = -9*h + 146. Let g be i(x). Suppose 5 = -3*m + 20. Solve g*a = -5*w + 2, 6*a = -4*w + a + m for w.
0
Let q = 2832 + -2823. Solve -6 + 3 = -3*b, -q = -4*s - 5*b for s.
1
Suppose 18 = 58*x - 49*x. Suppose 3*m = 3*k - 21, -2*m = k - x*k + 10. Solve 0 = 4*q - 3*y + 11, -4*q - 4 = k*y - 0*y for q.
-2
Let n be (-10)/(-25) - 26/(-10). Let w be (-80)/(-12)*60/50. Suppose -q - w = 2*o, n*q - 3*o - 16 = o. Solve -4*m = -f + 11, f + 5*m + 17 - 1 = q for f.
-1
Suppose -659 = m - 5*a - 58, 4*m - a + 2480 = 0. Let n = m - -637. Solve -4*q + 1 + 7 = p, 4*q + 3*p - n = 0 for q.
1
Suppose 6*r - 2*r = -c - 8, 0 = -5*r - 15. Let k = 5 + -2. Suppose -12601*u + 12590*u = 0. Solve -c*y + 3 = d, 2*y - k = d - u for y.
1
Suppose 24*k = 32*k - 136. Suppose 5*y - 4*t - 62 = 0, 15*y - 4*t + 8 = k*y. Solve 5*j - y + 30 = -3*d, 6 = 4*j - 2*d for j.
-1
Let z = -20229 - -20242. Solve 5*p - 3*q = -8, 5*p - q + z + 3 = 0 for p.
-4
Suppose 3*i = -3*i. Suppose i*a + a = -6*a. Suppose -5*o + a*o + 15 = 0. Solve -n - 4*p + 5 = -3*p, o*n + p = 7 for n.
1
Let u = 13539 - 13535. Solve 40*d + u = f + 39*d, -5*d = 5*f + 10 for f.
1
Let v(j) = 21*j - 174. Let n be v(9). Let i be ((-10)/(-6))/((-1)/(-3)). Suppose -28 = -16*q + 4. Solve 9 = 3*s - i*d, -2*s + q*d + n = 3*s for s.
3
Let y be (648/405)/((-1)/(-30)). Let g be -2*(-54)/y*(-4)/(-3). Solve -u - l = -0*u + 5, -3*u + g*l = 9 for u.
-4
Let z(y) = 4*y - 73. Let p be ((-2)/6*-26)/(8/12). Let w be 3 + p/((-13)/(-18)). Let f be z(w). Solve d + 3*n = -f, 4*d - 2*n + 5*n = -17 for d.
-2
Suppose 0 = 39*x - 13*x - 78. Let p be 100/16 + (-1)/4. Suppose -p - 2 = -4*a. Solve -w = -f + a, 3*f - 8*f = -x*w - 14 for w.
2
Suppose -192*k + 90 = -147*k. Solve 4*c - 20 = 5*j, -149*j = k*c - 144*j + 20 for c.
0
Suppose -37*s + 83*s - 564 = -142*s. Solve -6*n + k + 6 = -n, s*k = -4*n + 1 for n.
1
Let c = -391 + 395. Solve c*m - 6*m = 2*g + 12, -3*g + 2 = -2*m for g.
-2
Suppose 5*m - 5*k = -3*k + 224, -2*m + 2*k = -86. Let o = m - 28. Solve 4*q + o = -5*t - 6, 3*t - 5*q + 7 = 0 for t.
-4
Let r be -45*(-22)/99 + -6. Solve 0 = r*o - 10*v + 6*v - 12, -2*o + 5*v = -9 for o.
2
Let l = 14282 - 14277. Solve -9*j - 3*d = -14*j + 9, -3*j - 1 = -l*d for j.
3
Let x(n) = -n**3 - 27*n**2 + 23*n - 124. Let v be x(-28). Solve -2*t = -5*i + 12, 25*i = 21*i + v for t.
4
Suppose -11*l + 39 = 2*l. Suppose j + 14 = s - l*j, -5*s - 4*j - 2 = 0. Solve -3*c = -2*c - 5*w, 2*c = s*w for c.
0
Suppose 0 = -34*x + 39*x + 5*v - 115, -116 = -4*x + 4*v. Solve 87*o - 9 = 84*o, -5*a = 2*o - x for a.
4
Suppose -67*w + 26*w = -82. Let l be 1/(1*3/15). Solve 0*m - 4*c = l*m + 8, -w*c = 3*m + 4 for m.
0
Let l be 6 + -12 + (3 - -28). Solve 0 = -h - 3*u + 9, 27*h - l*h + 2*u = 6 for h.
0
Let k(i) = 23*i + 14. Let g be k(-4). Let q = g - -81. Let m be 54/16 - (-6)/(-16). Solve m*j - 4*j + 12 = -q*x, j + 8 = -x for x.
-5
Let y be ((-3)/(-15))/((-4)/(-60)). Let u be -2 - (5 - -16)/(-3). Let n be (15/(-7))/u + y/7. Solve 5*j + h + 2 = n, -4*j - 7 = h - 2*h for j.
-1
Suppose 2*b = -3*d + 879, -5*b + 6*d + 2145 = 3*d. Suppose -v - b = -7*v. Let m = -68 + v. Solve 2*i = 5*i - m*n - 6, 3*n - 8 = -4*i for i.
2
Let h = -158 - -112. Let w be 30/(-4)*h/69. Solve d + w = -5*p, -6 - 9 = -3*d for p.
-2
Let h = 3897 + -3897. Solve h = -4*s + 4*z, -12*s = -14*s - 5*z + 35 for s.
5
Suppose 3*q = -3*q. Suppose 2*a = 2*f + 64, 5*a - 160 = -q*a + 2*f. Let x be (48/a)/((-3)/(-10)). Solve 2*o + 3*h - 2 = 0, -o = 4*o + 4*h - x for o.
1
Let b be 10/(-4)*(-8)/10. Suppose -26*m + 8*m - 4860 = 0. Let w = 272 + m. Solve s + w*n = 7*n + 9, -7 = -b*s - n for s.
4
Let d = 7 + -10. Let r be (-3 + 2)*(d - 31). Suppose -3*q = -5*y + r - 0, q = 3*y - 18. Solve 5*a = 2*f + 28 - 1, -28 = 3*f - y*a for f.
-1
Suppose -3*h = -12 + 3. Suppose -2*o = w - 12, 0*o = -h*o - w + 19. Suppose 0 = -533*j + 407*j + 252. Solve j*a + 3*x - o = 0, 5*a - x - 1 = -3*x for a.
-1
Let a(v) = v**3 + 14*v