 -2*b + 3*o - 2, -3*b + n*o = 4 - 1 for b.
-1
Suppose -4*o = 5*z + 135, z + 3*z - 100 = 2*o. Suppose -4*u - u - 2*m = -223, 0 = 4*u + m - 179. Let r = o + u. Solve a + 0*a - r*k = -27, 3*a = -3*k + 9 for a.
-2
Let w = -4067 - -4068. Solve 0*p - w = -l - p, -2*l - p = 3 for l.
-4
Let t(u) = -u**3 - u**2 - u + 2. Let q be t(0). Suppose 18 + q = l. Let c = 87 - 87. Solve -4*j - 8 = -j - 5*b, c = -5*b + l for j.
4
Suppose 5*u + 16*r - 11*r = -5, 0 = u - 2*r - 2. Solve 27*d + 25 = 23*d - 5*x, u = -4*d - 4*x - 24 for d.
-5
Suppose 20*m = 4*m. Suppose m = -s - 4*p + 5, 4*s + 0 = p + 20. Solve s*j - 1 = -a + 4*a, 3*a + 9 = -3*j for j.
-1
Suppose -151 - 157 = -154*s. Solve -m = 4*q - 16, -4*q + 22 = 2*m + s for q.
3
Let x = -522 - -884. Let g = x - 357. Solve -w + 19 = -6*w - p, -5*w - g*p = 15 for w.
-4
Let v be (3/(-1))/((-25)/(-50) - 14/16). Solve v = -p + x, -5*p + 2*x + 33 - 58 = 0 for p.
-3
Let u be ((-312)/(-14))/12 + 1/7. Let q = 2 - -2. Solve -u*h + 4 = -3*z - 0*h, 4*z - 5*h = q for z.
-4
Let f be (-8)/(-6) + (-4)/(-6) + 1. Suppose -3*r = 5*a - 4*a + 5, -a = 2*r + f. Let j be (-4 + (-3)/2*r)*0. Solve 4*d + 4 = j, 2*d = k + k for k.
-1
Let c = 4 + -1. Suppose -280 = -26*m + 66*m - 400. Solve -21 = -3*x - 5*j, -4*x + x - c = -m*j for x.
2
Suppose 2*u = q + 2, 4 = -12*u + 13*u + q. Solve -3*i - u*r + 16 = 0, -i - r + 18 = 3*i for i.
4
Let s = 2885 - 2879. Solve s + 6 = 3*d, -5*k = 3*d - 37 for k.
5
Suppose -4*x - 620 + 79 = 5*d, -284 = 2*x - 2*d. Let j be ((-1)/4*9)/(13/(-832)). Let m = x + j. Solve 0 = 5*s + p - 4*p + 3, -m*p = -2*s - 5 for s.
0
Suppose -19*u = 96 - 248. Let j be (-2)/(-4)*((2 - 3) + 1). Solve 5*f - f - v = 10, 4*v - u = j for f.
3
Let y = 396 + -394. Solve 0 = -2*v - 3*x - 14 + 7, y*x = 2 for v.
-5
Let y be 32/6*1*(-21)/7. Let b be (6/y)/(2/(-16)). Solve -2*g + 20 = -b*q + q, -10 = -3*q - 5*g for q.
-5
Let o be 11 - 12*3/(-12)*-3. Solve -4*w = -4*c - 20, -3*c + 13 = o*w - 8*c for w.
4
Let i = -22194 + 22200. Solve 4*a + 2*k + 14 = 0, 0 = a - i*a - k - 10 for a.
-1
Let k(z) = 2*z**2 - z + 1. Let s(m) = -3*m - 20 + m + 3*m. Let b be s(21). Let t be k(b). Solve -5 = -5*d - 3*l - 0*l, -t*l = 2*d - 6 for d.
-2
Let f be -1 + 5 + -1*1. Let o = -188485 - -188490. Solve f*k + 4*i + 1 = 6*i, -o*k - 4*i + 35 = 0 for k.
3
Let b(g) be the second derivative of -g**4/12 + 2*g**3 - 4*g**2 - g. Let w be b(11). Let r be (-1 + w)*1 + 0. Solve r*f = 4*o + 18, 2*o - 2*f - 7 = 3*o for o.
-5
Suppose 35*s - 31*s = 220. Let p = s + -53. Suppose -5*d = 2*w - 9, 17 - p = d - 4*w. Solve -j + 4*b + 16 = -b, 9 = -d*j - 4*b for j.
1
Suppose 3*r - 5 = 4. Suppose r*m + o + 150 = 0, -6*m + 3*m - 156 = 3*o. Let n = 57 + m. Solve 4*a - n = -2*s, -3*s + 10 = 4*a - 2 for a.
0
Let r(d) = 30*d - 26. Let h be r(1). Suppose h = -2*f, 2*n = 5*n + f - 7. Solve -s + n = 3*g - g, g - 5*s = -15 for g.
0
Suppose -4*a + 4*b + 32 = 0, 437 = a + 3*b + 433. Solve -5*t - 22 = -4*o, 3*o - 11 = -a*t + 8*t for o.
3
Suppose -13*c + 250 = -18*c. Let u = 21 - -33. Let d = c + u. Solve 0 = -2*w - 0*w + 3*a + 2, 0 = 2*w - 4*a - d for w.
-2
Suppose 3*p - 2*f + 40 = 42, 0 = 2*p + 3*f - 10. Solve 3*s + 4*g + 11 = 0, -p*s + 0*g = 5*g + 19 for s.
3
Let q be 21/(-2520)*12 - 1473/(-30). Solve 2*f - 5*j = 18, q*j + 12 = 46*j for f.
-1
Suppose 0 = 3*g - 687 + 687. Suppose 2*x - 6*x = -16. Solve -4*l - 3*z - 5 = g, -2*l + l + x = -z for l.
1
Let y(u) = u**2 + 35*u + 66. Let m = -713 + 680. Let b be y(m). Solve b = 2*n - 4*v - 24, 2*v + 1 + 7 = 0 for n.
4
Suppose -3*p - 3*l + 12 = 0, 10*l = -2*p + 14*l + 2. Solve u - 3 + 9 = 5*m, 6 = -3*m + p*u for m.
2
Let l(f) = -3*f + 31. Let n be l(4). Suppose 60 = n*m - 35. Solve 3*s + 3*r = 0, -m*s = -0*s - 3*r - 24 for s.
3
Let j be (-313 + 311)*(11/(-6) + 2/6). Solve -4*b + 20 = -w, -w = j*b - 0*b - 8 for b.
4
Let y = -41 - -42. Let h be (y + -5)*39/(-52). Solve -5*r = -5*z + 20, -2*z + 2*r = -h*z + 1 for z.
3
Let w(m) = m**3 - 6*m**2 - 13*m + 9. Let p be w(8). Suppose -4*i - 2*z = -58 + 176, 65 = -2*i + z. Let c = i + p. Solve -4 = y, -2*y + 4 = -2*b + c for b.
-5
Let j(y) = y**3 - 4*y**2 + 4*y. Let z be j(3). Suppose z*l + 9 = 18. Let q = -119 - -124. Solve 10 + 0 = 5*m - q*t, 3 = 2*m - l*t for m.
3
Let v = -90 - -133. Let c = v + -40. Suppose -4*h - c + 11 = 0. Solve -2*d = h*n + 2*d - 4, 0 = -5*n - 2*d + 10 for n.
2
Suppose 10*a - 660 + 640 = 0. Solve a*t - 2*n = 0, 3*t + n - 15 = 5 for t.
5
Let q(d) = 14683*d + 117481. Let z be q(-8). Let o be 24 + 0 + -1 + 1. Solve 0*v + o = 4*v - 5*x, -5*v + z = -3*x for v.
1
Suppose 36 = 7*t + 3*m, 137*t = 140*t + 3*m - 12. Solve -2*i + 2*l = 16, -i - t*l + 8 = -3*l for i.
-4
Let g = -6973 + 6976. Solve -g*h + 6 = 2*x, 8*h - 11 = -3*x + 3*h for x.
-3
Let r(y) = 30*y - 120. Let w be r(4). Let p = 2 + -2. Suppose w = -7*j - p*j. Solve 2*t + 3*x + 20 = 0, -4*x = -j*t - 2*t + 8 for t.
-4
Suppose 3*w + 75*l = 74*l + 86, -4*w + 106 = -3*l. Solve -4*x = -8*t + 9*t - 23, -5*x - t + w = 0 for x.
5
Let i(p) = p**3 + 20*p**2 + 93*p - 31. Let f be i(-12). Solve -2*k + k = 4*y - 24, -f*k = 2*y - 30 for y.
5
Let i = 176 - -11. Let h = 192 - i. Solve 2*f - 5*o - 16 = 0, f - 10 = -4*f + h*o for f.
-2
Let t = 341 - 362. Suppose -2*u + 29 + 15 = 0. Let g be (u/2)/(3/t*-7). Solve 0 = 3*z + q - g, -z - 4*q + 9 = 4*z for z.
5
Suppose -u + 5*y + 2 + 20 = 0, 4*u = 5*y + 208. Solve 4*l = -4, 3*b - u + 57 = 2*l for b.
1
Let u = 4881 - 4879. Solve -10 = u*a + 3*v, a = 7*v - 3*v + 17 for a.
1
Let s be (18/30)/(6*6/240). Solve 5*b + 2*z - s = 0, 5*z + 13 = -3*b + 4 for b.
2
Suppose -3*i + 29*i = 130. Suppose -i = 69*a - 74*a. Solve 0 = -x - d + 6, 4*x = 4*d + 7 + a for x.
4
Let j be (1 - 3)/((-66)/1023). Solve f + 13 = k - f, -3*k + 4*f = -j for k.
5
Let y = 3751 + -3742. Let x(i) = i. Let s(p) = p**2 + 9*p + 7. Let r(v) = -s(v) - x(v). Let c be r(-9). Solve -3*h = j - 3, -c*h + 3 = 4*j - y for j.
3
Suppose -940 = 18*v - 30*v - 35*v. Solve 15 = z + 3*n, 25*z - 19 = v*z - n for z.
3
Let t = 1 - 1. Let f(z) = -z**2 - 38*z - 162. Let r be f(-5). Suppose 0 = a + x - 8, -3*a + 4*x + 0 + r = t. Solve 0 = 3*j - 5*b - 6, 3*j - 3*b - a = 1 for j.
2
Suppose -5*a - 9 = -3*q - 13, 0 = 4*q - 8. Solve 5*s + 10 = -5*c, -a*s - 15 + 19 = 0 for c.
-4
Let z = -26728 - -26739. Solve -z*p - 5 = -t - 8*p, 4*p = t - 6 for t.
2
Let w(b) = -1696 + 1688 - 13*b**2 + 10*b - 3*b**3 + 5*b**3. Let c be w(6). Solve 10 = -2*p - 2*m, c = -2*m - 2*m for p.
-1
Let j(a) = 3*a**2 - 25*a - 14. Suppose 0 = 15*f - 14*f - 9. Let r be j(f). Suppose -5*q = -r + 4. Solve 0 = 5*n + z + 18, 2*n + q*z = -3*z - 15 for n.
-3
Let c be (-6)/(-45) + 77/(-15). Let m be 32/(-12) - 10/(-15) - c. Solve -m*u = 5*v - 14, 5*u - 4*u + v - 2 = 0 for u.
-2
Let r be -5 + 9/(162/93) - (-2)/(-12). Solve r = 4*w + 4*p - 12, 3 = 5*w + p + 12 for w.
-3
Suppose -2*i - 18*i + 800 = 0. Let k = i - 30. Solve q - k = p, 2*q - 5*p + 8 - 43 = 0 for q.
5
Suppose 15 = 2*m - 3*z, 3 = m - 4*z - 17. Suppose -y - 58 = -2*r - m*y, r = 4*y + 36. Let i = r - 15. Solve 5*p = 2*q + 29, 4*q - p + i = -0*p for q.
-2
Suppose -96 = -5*t + 4*s, t + s - 9 = 3. Let j(y) = 18*y**2 + 1. Let d be j(-1). Let z = d + -19. Solve -c + 5*l + z - t = 0, 3*c - 9 = -4*l for c.
-1
Suppose 5*o - 2*u = -426 + 461, 2*u = 2*o - 20. Solve -5*c - 50 = 2*a - 60, 5*c + 3*a = o for c.
4
Suppose 49*l + 150*l - 1393 = 0. Solve -4*v - 3*n = 23, 0 = -2*n + l - 9 for v.
-5
Let g = 2214 - 2214. Solve -3*o - 3 = g, -5*y = 4*o - 15 + 39 for y.
-4
Suppose -351*f + 0*f = -9126. Solve 73*a - 70*a = j + 4, -2*a - 4*j = -f for a.
3
Let f = 5382 - 5375. Solve 3*y + 13 = -2*t + 4*t, 3*t = 2*y + f for t.
-1
Let x(n) = 163*n + 1793. Let q be x(-11). Solve 49 = 3*d + 4*k + 34, -3*d + 5*k - 39 = q for d.
-3
Suppose -3*c = l - 248, -2*c + 46*l - 44*l = -160. Solve 5*y + 5*t = -5, -c = -3*t - 70 for y.
-5
Let q(v) = -48 - 2*v**2 + 4*v**2 + 105 - 21*v. Let t be q(5). Solve 2*a + 5*g - 19 = 0, t*g = 6 + 4 for a.
-3
Let u = -2 + 95. Let i = u + -93. Solve 2*z + 3*w - 10 = i, 0*z + 19 = z + 5*w for z.
-1
Let p be (2/6)/((-5)/(-75)). Let h be (3 - -12) + (-3)/1 + 4. Solve 0 = -p*b - i - h, b + 3*i = 2*b for b.
-3
Let i be 299/65 - 3/5. Let b be (-10 - -16)/(i/(3 + -1)). Solve -q - 7 + b = 0, 0 = 3*n + 2*q + 23 for n.
-5
Suppose 0 = -155*h + 194 - 84 + 200. Solve 2 = -3*s + 2*v