 5*s - t for h.
2
Suppose -5*w = -4*w - 8. Suppose 0 = -w*z + 6*z + 10. Suppose -4*r - 24 = -2*s, -z*s + 4*s + 4*r = -20. Solve 2*i - u = -13, 0*i + s*u = -i + 7 for i.
-5
Suppose -t + 2*t = b - 2, 0 = -4*b - 5*t + 35. Suppose 0 = -4*m + i + 5, 0*m - 21 = -3*m - b*i. Solve 2*c - 3*c - 13 = 2*x, 3*c - m*x + 7 = 0 for c.
-5
Let g(o) = 10*o + 76. Let k = 16 - -25. Suppose -57 = 14*s + k. Let m be g(s). Solve -2*a + 8 = -v, m*v + 3*a - 13 = 7*v for v.
2
Let n(w) = -w**2 - 10*w - 8. Let o be n(-8). Suppose 3*y + 18 = o*y + 2*h, h - 3 = -y. Let x be 22/5 + y/(-60)*6. Solve -x*p - 2*a + 0 = 2, -1 = 4*p + a for p.
0
Let l = -4359 + 4410. Solve -4*o = -4*u - 32, l*o + 5*u = 52*o - 20 for o.
5
Suppose -35*w + 135*w = 400. Solve -29*h + 31*h = n, -2*h - w = n for n.
-2
Let i(d) be the third derivative of -7*d**4/24 + 167*d**3/3 - 86*d**2. Let g be i(47). Solve 0 = 5*v - z - z + 7, 4*z - g = v for v.
-1
Suppose -6*d + 8*k + 16 = 4*k, 2*d - 4*k = 0. Solve -z + 2*v = 10, -z - d*z = v - 5 for z.
0
Let d = 2 - -3. Suppose -3*c = d*k - 3, 0 = -5*k + 2*c + 23 - 0. Solve -k*z = o + 11, 3*z - o + 29 = 10 for z.
-5
Let w = 2569 + -2559. Solve 0 = -y + 3*f - w, y + 3*y - 4 = f for y.
2
Suppose -4*v - 14 = -2, -i + 4*v + 16 = 0. Let m be 0/(-1) + i + 1 - -4. Solve -2*a - 9 + 1 = 2*t, -m = 2*a + 3*t for a.
-3
Let k be ((-1)/(-3))/((-39)/(-11934)). Suppose 0 = 26*i + k - 310. Solve -3*w = 2*j, -6*j + i = -w - 4*j for w.
-2
Suppose 12*a - 4 = 11*a. Let b(s) = 3*s - 9. Let t be b(a). Suppose n = l + 2, 2*l - 4*l - 9 = -t*n. Solve -4*f = 2*p - 2, -2 + 1 = -l*p - 4*f for p.
-1
Let s be (0/(-10))/((-12)/4). Let n be (11/(-22))/((-2)/12 - s). Solve -n*h - 4*r = -9, 5*h = -r + 1 + 14 for h.
3
Suppose -2*k = -2*j - 6*k + 56, -5*j + 4*k = -140. Suppose -j = 271*y - 275*y. Solve -5*x = -y*w + 4*w - 8, -3*w = -12 for x.
4
Let r be (8/(-10))/((-1)/(-10)). Let n(u) = 45*u + 8*u**2 + 43*u - 126*u + u**3 + 0*u**2 + 39*u + 14. Let w be n(r). Solve p + 5*h = -3, 5*h - 1 = -w for p.
2
Suppose 14*o - 28 - 103 = -33. Solve 3*v + 12*r = 10*r + o, -r - 2 = -4*v for v.
1
Suppose -2*d - 3*r + 33 = 0, -2*d - 7476 = -2*r - 7474. Suppose 0 = 3*a - 8 - 7. Solve -a*l + d = 5*p - 4, 3*l + p - 10 = 0 for l.
4
Suppose 5*p = -39*p + 10*p + 170. Solve -5*i + 2*i - 17 = p*h, -8*h - 28 = 4*i for h.
-4
Let k = 24 - 20. Suppose 10*w = -10 - 90. Let b = -7 - w. Solve 0*i + f - k = b*i, -3*f = 15 for i.
-3
Suppose -5*r + p - 8 = -22, 5*r - 3*p = 22. Let j = 132 + -97. Let k = j - 31. Solve -s = -u + 7, 4*u + r = -k*s - 2 for s.
-4
Suppose 6 = -p + 3*x, 14*x + 2*x = -3*p + 82. Solve 2*i - 5*o - 19 = 0, 25 = -p*o + o for i.
-3
Suppose -4*n - 148 = -0*n - 4*l, -3*n - 91 = l. Let v be 16/n*(-6 + 2). Solve 12 = -v*a + 2*u, 4*a - 6*a = u - 3 for a.
-1
Suppose -6*h + 43 = 3 - 20. Solve -p + 5*q - 25 = -h, -5*p - 2*q = -6 for p.
0
Suppose -5*o = 5*v - 125, 0 = -2*v - o + 26 + 19. Solve 4*j + q + v = 0, -14*q + 9*q = 2*j + 28 for j.
-4
Suppose z = g + 6*z + 6, g + 4*z = -7. Let r be (-28)/154 + (24/g)/(-1). Solve -3*f + r*f - 13 = 4*k, -4*k - 14 = 2*f for k.
-3
Suppose -449*t - 19 + 19 = 0. Solve -4*m - g - 13 = t, 5*m + 5*g = -0 - 5 for m.
-4
Let h = -431 + 433. Let m = 23 - 20. Solve -3*a + 5*n = 2*a + 15, 4 = -m*a + h*n for a.
2
Suppose 5*x + 4*l - 36 = 0, 5 = x + 5*l - 19. Solve 4*p + 16 = -f - p, -x*f - 5*p = 19 for f.
-1
Suppose 5*u - 44 = -2*a, -593 + 607 = -5*a + 3*u. Solve 0 = -5*c + 5, 2*l + a*c = l + 1 for l.
-1
Suppose -136 = -2*f - 5*c, 27 + 77 = 2*f - 3*c. Suppose -772 = 53*z + 2196. Let v = z + f. Solve -3*x + 0*x + 7 = -2*a, 2*x + 2*a + v = 0 for x.
1
Suppose 116*l = -44 + 1552. Solve -3*u + 4*w - 25 = 0, 8*w - l = -u + 4*w for u.
-3
Let q be (2478/12 - 1)/12 + 4/(-32). Solve -4*b = -5*a + q, 4*b = 2*a + 162 - 176 for b.
-3
Suppose -2*w + 3*c = -436, -3*w - 5*c = -365 - 251. Let a = -188 + w. Solve 3*s + a = -3*x, -3*x = -3*s - 2*s - 8 for s.
-4
Let o(f) = -17*f - 8. Let l be o(3). Let x = 61 + l. Suppose k - 2*n + 1 = 0, -n = -9*k + 6*k + 17. Solve x*c = -4, s + 3*c - 7*c = k for s.
-1
Suppose -3*q + 2*m + 41 = 0, 701*q + 3*m + 44 = 702*q. Let u be 1 + (-1 - 1) + 4. Suppose -3 = -0*g - g. Solve -u*p = 2*y + 3*y, 0 = g*y + q*p for y.
0
Suppose 6 = 3*u - 4*g, -u + 2*g - 19 = -21. Solve v - 2*q = -0 + 2, -3*v + u*q = -10 for v.
4
Let s be 6/8*(8 + -8 + 1)*4. Solve -4*i = -s*k - 2*i - 1, i = 4*k + 8 for k.
-3
Let q be 2*(-6)/(-12)*(-2 + 3). Let x be (-3 + 5 + -2)*q. Solve 0 = -o - 4, 3*z - o - 7 = -x*o for z.
1
Let j = -6818 - -6820. Suppose 0 = g + g - 4. Solve 0*n + g*a + 10 = -2*n, -j*n - 19 = 5*a for n.
-2
Suppose 112*g - 5643 = -114*g + 55*g. Solve -5*j + 0*o + 4*o = g, 2*o - 9 = j for j.
-5
Suppose f + 4*f - 185 = 5*x, 3*x = f - 109. Let y = 40 + x. Suppose y*i - 28 = -5*r + 68, 5*r + 75 = 5*i. Solve 4*z = -3*o - i, 6*z - z + o = -10 for z.
-1
Let a = -38 - -44. Suppose j + 4*d + 12 = -d, -3*j - a = 5*d. Suppose -j = -f - 5*l + 4*l, -7 = -5*f - l. Solve -3*r - 4 = -w - f, 0 = -4*w + 3*r + 3 for w.
0
Let k(u) = -u**3 + 37*u**2 + 472*u + 20. Let m be k(-10). Solve -4*a + 2*i + 22 = -m*i, 4*a + 4*i = -8 for a.
3
Suppose -2*w + 12 = -16. Let n = -9 + w. Suppose -2*r + 2*z = 2, 32 = 5*r - r + n*z. Solve 3*x = -5*t + 23, -2*x + 4*t - 11 = r*x for x.
1
Let y be -2 + (-5 - -5)/7. Suppose 4*x + x - 10 = 0. Let h be x*y/(-12) + 56/12. Solve -o = -5*p + h, -5*o + 6*o + 5 = 4*p for p.
0
Suppose 4*b = 2*s - 4, -3*s + 4*s = 5*b + 2. Solve -1 = s*n + 5*r, -2*r - 4 = -2 for n.
2
Suppose 4*f + i + 24 = 92, -4*f = 5*i - 84. Suppose f*u = 8*u. Solve 4*o - 3*a - 12 = 2, 2*a + 4 = u for o.
2
Let u = -212 - -216. Suppose -u*p = 29*q - 34*q - 12, 2*p - 6 = 2*q. Solve 0 = -z - 4*a + p, -4*z + 6*z = -4*a + 6 for z.
3
Let j = 74 - 77. Let v be 4/6*j - -4. Suppose 2*r = 2*w, -12 = -3*r - 2*r + v*w. Solve 0 = -3*s - 2*i - 0*i - r, -4*s + 3*i - 28 = 0 for s.
-4
Let y = 41 + -37. Suppose -3*l = y*z - 70, -4*z - 65 = -3*l - 9*z. Let a = -25 + l. Solve 0 = -j + 3, 3 - 7 = a*u + 2*j for u.
-2
Let d(t) = 59*t - 472. Let j be d(8). Suppose -5*b - 5*y = -40, -2*b + b = -3*y + 8. Solve -b*u + 18 = -w, 5*u - u - 2*w - 16 = j for u.
5
Let i(y) = -y**3 - 11*y**2 - 20*y - 96. Let c be i(-10). Solve 3*u = s + c*s - 29, 0 = -s + 5*u + 19 for s.
4
Suppose 8 + 8 = 4*i - s, -4*s = -4*i + 16. Let y be 2 + (-24)/13 - (-1591)/559. Solve -y*j - b - i*b = 32, 3*b + 16 = -j for j.
-4
Let l = -6 + 10. Let z be 9/3 + (-2)/(2/(-19)). Suppose -3*d = -z + 4. Solve l*n - q + 5 = 0, 5 = -n + q + d for n.
-2
Let d = -21118 - -21141. Solve 3*n - 9*w - 12 = -12*w, -d = -2*n - 5*w for n.
-1
Let b = -298 - -284. Let a be (b/(-42))/((-2)/(-30)). Solve 3 = -a*p + 4*o, -p - 4*o + 3 - 18 = 0 for p.
-3
Suppose 25*r - 58*r + 20 = -23*r. Solve g - r = 0, -2*y - 67*g + 68*g - 14 = 0 for y.
-6
Suppose -4*c + 246 - 234 = 0. Suppose -c*b - 3*v = -4*v - 28, 5*v = -3*b + 40. Solve 4*i - b = -i + 2*f, 2*i + 7 = 3*f for i.
4
Suppose 12 = 3*s + w - 4*w, s + w = 0. Let z be 1/s*4*18/12. Solve -a - 32 = z*a - 3*i, -5*a - 21 = i for a.
-5
Suppose -579*i - 222 = -2538. Solve i*c - 5*k + 26 = 20, -2*c = k + 10 for c.
-4
Suppose -3*s = 0, 0 = 5*v - v + 4*s - 128. Suppose 0 = -30*f + v*f + 62. Let k = -18 - f. Solve -5*y + 17 = 3*l, -y - 4*l + k = -4*y for y.
1
Let u(y) = -y**3 + 4*y**2 - 6*y + 7. Let d be u(2). Suppose 4*b = d*c + c - 8, -4*b = 5*c - 28. Solve -3*i + 1 = -5*i - 3*h, -4 = -c*h for i.
-2
Let d = 1 - 6. Let o(c) = -3*c**2 - 18*c + 3. Let q be o(d). Let r = 7 - -19. Solve -5*k + z - q = 0, 0*z + 3*z = -5*k - r for k.
-4
Let t = -8398 - -8400. Solve 3*z = -2*p + 1 - 6, 2*z + 4*p = t for z.
-3
Let a(f) = -2*f - 23. Let l be a(-16). Suppose l*w + 16 = 43. Suppose x = -2*q + 8, -w*q - 3*x - 2*x + 12 = 0. Solve q*g + 0*h + 5 = -h, g = -h - 5 for g.
0
Let p be (-212)/(-20) - 5/(75/(-6)). Let o(d) be the second derivative of -d**3/6 + 5*d**2 + 10*d. Let w be o(7). Solve -4*r - 3 = w*y + 28, -3*y + r = p for y.
-5
Let c(s) = s**3 - 41*s**2 - 452*s + 105. Let n be c(50). Solve 0 = 2*k + 6, -12*z - 27 = -9*z + n*k for z.
-4
Suppose 26 = w - 10. Let j = 42 - w. Let m = j + -5. Solve 9 = 3*s - 3*p, m = -5*s + p + 4 for s.
0
Suppose 124*m = 137*m - 143. Solve 7*i - 10*i + 8 = r, i + 2*r = m for i.
1
Let i = 1025 + -1022. Solve -i*o + 26 = -5*q - 0*q, -q = 2*o for o.
2
Suppose 