 = -4*t - t, a*t + 6 = -3*k for t.
3
Let b(v) = -v**3 + 21*v**2 + 130*v + 6. Let f be b(-5). Solve 0 = 4*l + 5*k + 35, -k + 10 = l - f*k for l.
-5
Let z(p) = p**3 - 12*p**2 + 34*p - 9. Let y be z(9). Let h be (-3)/(3 + y/(-15)). Solve w + 2*f = f - 7, -32 = h*w + 4*f for w.
-4
Let j(u) = u**3 - u**2 - u + 4. Let i be j(0). Let m = 14781 + -14778. Solve g + i*t - 5 = 0, g + t + t = m for g.
1
Let n(p) = 2*p**3 + 4*p**2 + 24*p + 50. Let w be n(-2). Solve 25 = 2*m + 5*f + 4, -w*f + 10 = 0 for m.
-2
Let o(r) = r**2 - 17*r - 14128. Let i be o(-111). Solve -3*m + u = -10, 85*u - i*u = -2*m + 18 for m.
4
Let y be (5/(-16))/(128/(-2048)). Solve 10*q - 20 = -3*d + 6*q, 20 = -y*d + 4*q for d.
0
Let f(t) = -24*t + 58. Let s be f(-7). Let k = -221 + s. Solve -h + 29 = h - 5*x, h - 27 = k*x for h.
2
Let l = 871 - 865. Suppose v - 6*b - 24 = 0, l*b - b = 0. Solve 3 = q + s, -2*q - v = -3*s - s for q.
-2
Let t(n) = 208*n + 5412. Let c be t(-26). Solve -v + 112*x - 113*x + 4 = 0, 2*x + c = 4*v for v.
2
Suppose 5*m + 0*c - 5*c = 15, -c = 2*m - 3. Suppose m*g = -p + 33, p + 3*p = -2*g + 102. Suppose 4*b - 9 = p. Solve 2*l = 5*a - 24, 0*a - b = -a + 2*l for a.
4
Let w(r) = -287*r + 2891. Let m be w(10). Solve -p - 10*h = -9*h - 2, 2*h + m = 3*p for p.
5
Let c = 17355 + -17350. Solve y = -c*t, 8*t - 9*t + 1 = 0 for y.
-5
Let x(r) = -r**3 - 16*r**2 - 15*r + 25. Let a be x(-15). Suppose a = -3*l - 3*b + 19, b - 4 = -4*l. Solve 5*w = l*k + 31, 4*k + 40 = 4*w + 8 for k.
-3
Let m(o) = o**3 - 15*o**2 + 14*o - 2. Let y be m(14). Let q be 2/y + 0 + 1 - -17. Suppose -q*c = -26*c + 36. Solve -2*u + b - 4 = c*b, -3*u = 5*b + 7 for u.
1
Suppose -n = -31*n + 60. Solve -4*g + 13 = -3*u, 0 = -5*g - 0*g - n*u - 1 for g.
1
Let v be -3 + 15 - (-7 - -8). Suppose 0 = 2*m - 2*n + 3 + 1, 0 = 2*m - 3*n + 8. Solve 5*b = -20, -5*a - 2*b = -m*a + v for a.
-1
Suppose -3*n = 2*g - 24, 3*g + 3*n + 56 = 92. Solve 0 = -v + 3*q - g, 6*v - v - 4 = -q for v.
0
Let z be 5*(-4)/(-70) + (-26)/(-7). Suppose 5*i + 23 = 2*a, z*a + 10 = 8*a + 2*i. Let r be (4/(-2))/(a - 45/10). Solve -2*k + 4*n + 30 = -0*n, -4*n = r*k for k.
5
Let z = -10006 - -10006. Solve 4*j = 2*q + 8, 5*q + j - 27 + 25 = z for q.
0
Suppose 2*l + 174 = 5*l + 3*j, 0 = 3*l - 3*j - 144. Let y = 83 - l. Solve -4*c + 4 = 4*u - 3*u, 5*u + y = 5*c for u.
-4
Let v be 231/9 + 1/3. Suppose 15 = 3*x + y, -y = -2*y + 3. Suppose 0 = -35*f - 2823 + 2893. Solve -l + x*h + f = -12, -4*h - v = 5*l for l.
-2
Suppose 4*p - 595 = 3*i, -3*p + 8*p = -4*i + 705. Suppose 4*o - 72 = -2*w, 5*w + 5*o - p - 15 = 0. Let y = 44 - w. Solve 2*c + d - y = 3*d, 4*d = -4*c for c.
4
Let u = -127 - -135. Suppose -43*r + u = -41*r. Suppose -3*z + 4*s = -5*z + 24, 32 = r*z + 4*s. Solve -m + z*x + 17 = 0, -x - 1 - 19 = 5*m for m.
-3
Suppose -2*r + 104 = 4*l, -54*r = -59*r + 2*l + 176. Solve 0 = -s - 5*h, -39*s + r*s + h = 0 for s.
0
Let h(d) = -d**2 - 24*d + 32. Let r be h(-25). Let q be 6/(-2)*(-8 + r). Solve l = 4*t - 14, 3*l + q*t - t = 0 for l.
-2
Suppose -3*s = -2*m - 219, m + 0*m + 96 = -3*s. Let l be (-301)/m + -3 - 62/(-15). Solve 5*f + v = -3, -l*v - 6 = 2*f + 6 for f.
0
Let i be 4 + 7/21*0*1. Solve 0 = i*k - j - 8 - 6, -5*j = -3*k + 2 for k.
4
Let f be 14*(3 + 4 - 91/14). Solve 5*p - 2*o = 9 + 1, 0 = 3*p - o - f for p.
4
Let h be (81 + 1)*78/(-12). Let z = 560 + h. Solve 67 = -4*m + 4*v + z, 0 = -4*m + 5*v - 45 for m.
-5
Suppose -1819317 + 1819301 = -4*x. Suppose 4*k = 3 + 1. Solve 0*p - k = 2*j - p, 2*j + x*p = 24 for j.
2
Let n = -20 - -37. Let g(s) = 6*s - 100. Let h be g(n). Suppose -4*r = 1 - 5. Solve 4*p = 5*q + 25, h*q = -2*p + r + 7 for p.
5
Let x be ((-18)/27)/((-2)/6). Suppose 73 = -5*j - 222. Let z = j - -63. Solve 0 = -g + z*a - x*a - 7, 0 = g + 2*a - 13 for g.
3
Suppose 3*l - 23 = 5*g, -9478*l = -9482*l + 2*g + 40. Let c be -2*(-6)/(-8)*-2. Solve 4 = -5*i + 2*v - l, -c*v = 2*i + 25 for i.
-5
Suppose -5*q + 6*q + 15 = 0. Let j be (-12)/q + (-12)/15. Suppose 5 = f - 5. Solve -4*v + f + 20 = 5*p, 3*p + 3*v - 21 = j for p.
2
Let z be (0 + 5/2)*2. Let t = -15 + 7. Let c = t + 12. Solve 0 = v - 2*v + c*y - 5, -v - z = -3*y for v.
-5
Let n(t) = 3*t**2 - 2*t + 3*t - t**3 - 1 - 2. Suppose -5*f - x = -6, 4*f + 7 + 1 = -4*x. Let d be n(f). Solve 0 = c + o + 4, -4*c + 0*c + d*o = 2 for c.
-2
Let w(n) = 13*n**2 - n + 13*n**2 - 24*n**2 + 4 + 2. Let a be w(0). Suppose -4*f + a = 2. Solve 4*g + 16 = 0, 0 = 4*h - 2*g - f - 11 for h.
1
Let j be (72/10)/(38/95). Suppose 0 = l + 4*c - j, -2*l + 3*c - 18 - 1 = 0. Let o(a) = a + 7. Let r be o(l). Solve 3*n - 14 = -t, 9*n - r*n + t = 17 for n.
3
Suppose -8*s - 2*v = -4*s + 512, 629 = -5*s + 3*v. Let y = -124 - s. Solve -10 = 4*j + y*q, 4*q + 6 = -2 for j.
-1
Suppose 0 = 3*y + 80 + 154. Let j be (-563)/(-7) - (-3)/(-7). Let k = y + j. Solve z = -k*x + 6*x - 8, 5*x = 3*z + 17 for x.
1
Suppose 0 = 14*o - 11*o - 45. Suppose 26*t + o = 29*t. Solve 2*c + 5 = a + c, 21 = t*a - 4*c for a.
1
Let r = -1159 + 1164. Solve -9*l - 9 = -3*z - 6*l, 2*z - r*l = 21 for z.
-2
Suppose -4*m = -4*t - 40, 5*m - 540 = -3*t - 522. Solve -g = -3*i - 101 + 78, -i - m = 0 for g.
5
Suppose 83*o + 2*j = 80*o + 3, -4*o = 5*j + 3. Solve o*p - 24 = 3*y, 0 = -5*y + 54*p - 52*p - 31 for y.
-5
Suppose -64*f - 2532 = -486*f. Solve 4*b + 14 = -5*y + 4*y, f = 5*y + b for y.
2
Let j = 9970 + -9960. Solve 3*w - 16*a + 12 = -13*a, 2*w + 4*a - j = 0 for w.
-1
Suppose 0 = -5*d - 8 + 33. Suppose 3*s + 7*k - 46 = 2*k, 2*s = -5*k + 24. Suppose s*w - 43*w + 63 = 0. Solve 6 = c + i - w*i, -3*c + d*i = -17 for c.
4
Let t = -18794 - -18797. Let o(j) = -j**2 - 6*j + 3. Let c be o(-6). Let l be -2 - (-2*2 + 2). Solve l = -t*g - 2*k + 2, g = c*k + 8 for g.
2
Let x be 747/7 + 24/84. Let r = 109 - x. Solve 2*m = g - 7, -4*m - r*g - 24 = 2 for m.
-5
Suppose 6*l = -123 + 741. Let z = 105 - l. Solve 0 = -0*w + 3*w - a + 4, -2 = -z*w - 4*a for w.
-1
Suppose 8*m - 145 + 98 = -5*l, -5*m = -5*l - 5. Solve -7*h + l = -6*h + 2*n, 5*n = 2*h + 12 for h.
-1
Suppose 5 = 3*k - 4. Suppose t - 4 = -k*t. Let g(p) = 4*p + 2. Let d be g(t). Solve 2*q = d*q + 4*f - 20, f = -4*q + 5 for q.
0
Let n = -23 - -40. Suppose 196 = 54*s - 68*s. Let z = s + n. Solve -z*d + 0*d = -4*m + 27, -5*m = -4*d - 35 for d.
-5
Suppose 0 = 57*t - 10*t - 47. Let p be t + 4/(-2) - 33/(-33). Solve 4*k - 4*y = 3 + 13, p = 2*k + 4*y - 2 for k.
3
Let i = 24191 + -24180. Solve -7*n = -6*n + 4*s + i, -5*n + 14 = -3*s for n.
1
Let c = 111 + -153. Let k be ((-24)/c)/((-7)/((-196)/8)). Suppose x + 2*x = -k*x. Solve x = -2*j - 4*h + 10, -4*j - 2*h + 20 = h for j.
5
Let k = -490 - -364. Let r be 17/((-119)/k) - 8. Let l be (4 - 1) + 0 + 0. Solve -1 = -l*m + g + 10, 0 = -2*g - r for m.
2
Let n = 3532 + -3529. Solve b = -o, -n*o + 9 = 5*b + 1 for o.
-4
Suppose 298*f - 315*f + 51 = 0. Solve -9 = 2*t + f*c, c = 11*t - 14*t - 3 for t.
0
Let a = -142 - -161. Let u(x) = x**2 - 20*x + 22. Let c be u(a). Solve i = -3*o + 15, -c*i + o + 6 = 1 for i.
3
Suppose -5*q + 54 = -56. Suppose 11*u + q*u = 33. Let b(c) = 4*c**2 + 4*c + 2. Let t be b(-2). Solve p + u = -5*x, -5*p + t = -x - 11 for x.
-1
Suppose -352*w - 147 = -401*w. Solve w*i + 0*r + 4 = -4*r, 10 = -i + 3*r for i.
-4
Let u = 3633 - 3631. Solve 2 = -2*k + 4*c, 0 = -4*k - u*c - 11 + 17 for k.
1
Suppose -2634*f + 2669*f - 175 = 0. Solve -4*y - 3*x + 8 = -f*x, 5*y - x - 16 = 0 for y.
4
Let o(c) be the second derivative of c**4/12 + c**3/3 - 30*c**2 - 51*c. Let n be o(-9). Solve 3*i - n*t + 12 = 0, -5*i = 4*t - 0 + 20 for i.
-4
Suppose 31*o + 16087 = 16273. Let r(l) = l. Let h be r(2). Solve 2*t + 6 = 0, 0 = 3*d + h*t - 0*t + o for d.
0
Let y = 93 - 84. Suppose 0 = -y*o + 14*o - 15. Suppose -2*x = 5*z + 20, 3*x + 4*z + 16 = -2*x. Solve -2*r + o*w - 11 = x, -3*w - 15 = 5*r + 2 for r.
-4
Suppose 4*g = 11*g + 7. Let m be (-2 + 5)/(g/(1 - -2)). Let a = m + 11. Solve -a*v + 0*h = -5*h - 15, 5*v - h + 20 = 0 for v.
-5
Suppose k + 91 = 3*j, 0 = -0*j - 4*j + 3*k + 118. Suppose 80 = 10*s - 18*s. Let m = j + s. Solve o = 4*n - 0*o - 9, 3*n + 4*o = m for n.
3
Suppose 5*a + 5*i = 2*a + 70, -3 = 3*i. Let d(n) = 596*n + 600. Let c be d(-1). Solve -c*v - 4*b = 8 + 24, a = -5*b for v.
-3
Let l be 710/6*156/130. Let g = l - 140. Solve g*f - 9 = -3*d, 9*d - 20 = 4*d - 5*f for d.
1
Suppose -2*p + 15 + 2