 - 5*p - 0*p - w for m.
-1
Let c(i) = i**2 - 57*i - 54. Let t be c(58). Solve 0 = -2*s - 3*r + 5, 4*s - t*r + 8*r - 4 = 0 for s.
-2
Let u(l) be the first derivative of l**4/4 + 2*l**3/3 - 3*l**2/2 + 4*l - 19. Let q be u(-3). Solve -q*r + 13 = -a - 2*r, 4*r = 20 for a.
-3
Suppose -7 = x - 2*x. Suppose 13*b - 250 - 166 = 0. Suppose b*t = 42*t - 40. Solve 4*o - t = -w, -x*o = -2*o + w - 4 for o.
0
Let o be (-1)/(-1) + 2/2. Let n(f) = 2*f**2 + 922*f - 3718. Let t be n(4). Solve a = 4*y - 2 - 0, -o = -t*y for a.
2
Let u = 326 - 330. Let s(t) = -t**3 - 5*t**2 - 10*t - 8. Let p be s(u). Solve -h + 2*c = -c + p, 0 = h + 5*c - 24 for h.
-1
Let b = -511 + 521. Let r(q) = -q**3 + 10*q**2 - 4*q + 58. Let j be r(b). Solve 4*i - j = i - 3*k, 5 = 5*k for i.
5
Suppose 3*j - 2*v - 25 = 0, 0 = -9*j + 14*j + 5*v. Suppose -10 + 54 = -4*i. Let f be 10/(-4)*(-13 - i). Solve -j = -3*t - 0*t + f*x, -3 = 3*x for t.
0
Suppose -16*l = 36*l - 312. Suppose 45*r - 37*r - 24 = 0. Solve q - r*o + l = -o, 0 = 3*q + o - 17 for q.
4
Suppose 51*t - 46*t - 53 = -4*k, 3*k = -5*t + 46. Solve -5*i = n - 10, 0 = t*n + 32 - 7 for i.
3
Suppose 2*z + 415 = 7*z. Suppose -1669*y + 1762*y = 8184. Let c = y - z. Solve 4*b = -2*l - 9 - 5, -l - 16 = c*b for b.
-3
Let c(v) = v**2 + 11*v + 9. Let u be c(-13). Suppose 9*h - 35 = -u. Solve 5*o = -3*x + 5, 3*o - 2*x - 23 + 1 = h for o.
4
Let g(z) = -610*z + 3052. Let o be g(5). Solve -5*m + 2*h + 11 = h, -o*m + 26 = 5*h for m.
3
Suppose -64 + 56 = -43*p - 51. Let i(c) = 5*c. Let r be i(-2). Let q be -5 + 9 - (p + r). Solve -3*m = -2*x - 5 + 24, -5*x = -m - q for x.
2
Let f = 2411 + -2406. Solve -f = -n + 3*d, 2*d - 20 = -4*n - 2*d for n.
5
Let a be (-5 - (-147)/14)/((-1)/2). Let g(u) = u**3 + 12*u**2 + 15*u + 62. Let z be g(a). Solve r - z = 5*q, -q + 4 - 10 = r for q.
-4
Let x be (-36)/63 - 5564/(-182). Solve x*h = -2*p + 25*h + 19, 2*h - 4 = p for p.
2
Let p be 1215/(-18)*((-30)/9)/5. Suppose -p*w = -39*w - 12. Solve 0 = -w*h + 8, 5*h - 19 = -5*o + 6 for o.
1
Let u(a) = -a**2 - 20*a + 47. Let b be u(-22). Let g be (3 - b) + (-24)/(-4). Solve -y + g = -4*n + 5*n, 3*n - 6 = 3*y for y.
2
Let l = -12 + 17. Suppose -16 = y - l*n, 2*y - 4*n + 8 = -6. Let k = 7 + y. Solve -o + h - k*h = 27, 4*o + h + 13 = 0 for o.
-2
Let o(b) = 13*b - 167. Let d be o(18). Suppose 64*n - d*n = -9. Solve 4*z - 8 + 0 = -n*l, 5*l + 40 = 4*z for l.
-4
Suppose -8*b + 36 = -4*b + 5*r, r = 4. Solve -u = -0*u + 2*y - 1, -3*u + b*y = -3 for u.
1
Let o(f) = -1 - f**3 + 35*f - 347*f**2 + 687*f**2 - 348*f**2. Let c be o(3). Solve 5*s + c*h - 10 = -0*h, -s + 3*h + 2 = 0 for s.
2
Suppose -4*k + 197 = -2*r + r, -5*k - r + 235 = 0. Suppose 23*b - k = 44. Let c be 12/2*(-6)/(-9). Solve -2*o - 5 = -3*s, c*o + 7*s - 35 = b*s for o.
5
Suppose 0 = -215*j + 208*j - 2667. Let s = -378 - j. Solve -p - 17 = -5*t + s*p, 2*t + 13 = -5*p for t.
1
Let g(s) = -3*s - 37. Let y be 1 + (-500)/(-6) - (-8)/(-24). Let h = y - 98. Let w be g(h). Solve -16 = -3*o + 4*b, -20 = 4*o - 0*b + w*b for o.
0
Suppose -164*c = -27*c + 40*c - 708. Suppose -3*d + 16 = -4*v + d, -2*v - d + 4 = 0. Solve p = -3*t - 3, v*t + c*t = 2*p + 6 for p.
-3
Let u(h) = -2*h**2 - 7*h - 16. Let k be u(-4). Let j(b) = 2*b + 14. Let m be j(-5). Let q be m - (-1 - 12/k)*-10. Solve p + p + l - 6 = q, 4*l = -p - 4 for p.
4
Let t(b) = 2*b**2 - 18*b - 1. Suppose -5*u - s + 2*s + 53 = 0, -2*u = -5*s - 35. Let d be t(u). Let v = d + -14. Solve v*f + 10 + 5 = 0, 3 = -2*x - f for x.
0
Let w be (2 - -1)/(2 - 1). Let q = -2 + 11. Let m be 9 + -2*((-2)/26 - 1488/(-416)). Solve 0 = w*x - q, -2*d - m*d - 5*x = -27 for d.
3
Suppose 2*f - 6 = 2. Suppose 2*s - 16 = -2*x, f*s + x - 5 = 12. Let n be (-3 + -5)*11*62/(-1364). Solve -5*y + 11 = -3*d, n*y = -5*d + s*d for d.
-2
Let w(o) = -o**3 - 26*o**2 + 5. Let t be w(-26). Let u = 35 + -27. Suppose 3*i = 16 + u. Solve 4 = -j - h, 4*j - t*h - 19 = i*j for j.
-1
Let a be -5*(6/2 - 4). Suppose -m - 7 = -4*r, 16 = m + a*r - 4. Suppose 3*s - 7*s - 1 = -3*o, -13 = s - m*o. Solve -i + 3*y + 1 = 0, -7 = 2*i - s*y - 1 for i.
-5
Let p = -48 - -45. Let r be (1 - p)/(15/(30/4)). Solve f - 5*c = -1 + 21, 8 = 2*f - r*c for f.
0
Let p = 12 - 8. Suppose 5 = p*g - 11. Solve -5*t + 15 = -0*v - 2*v, -g*t = -4*v - 12 for v.
0
Let q(b) = 9*b - 13. Let k be q(2). Suppose -x = x + k*x. Solve 3*p - 12 = -3*w, 2*w + x*w - 8 = 4*p for w.
4
Suppose -4*a + 12 = 0, -4*y - 197 = 3*a - 226. Solve 2*m - 38 = y*k, 0 = -5*k - m + 6 - 32 for k.
-6
Let p(q) = -24*q - 936. Let a be p(-39). Solve 4*s + 5*o - 6 = a, 3*s - 5 = 15*o - 19*o for s.
-1
Suppose -2*b = -2*u + 10, -14*u + 10*u + 17 = -3*b. Solve 0 = -5*y - x - u, x + 12 = 3*y + 6*x for y.
-1
Suppose -17*z - 681 - 287 = -39*z. Solve -c + 1 = 2*i, 4*i - 11 + z = 5*c for i.
-2
Suppose 0 = -4*x + 4*s + 12, 3*x + 2*s = -462 + 481. Solve x*j - 3*z = -0*j, 4*z = 2*j + 14 for j.
3
Suppose 0 = -3*z + 4*u + 32, 37*z - 4*u - 36 = 33*z. Solve -3*c - r = 8, -4*c - z*r + 5 = 13 for c.
-3
Let j = 297 - 159. Suppose -j = -6*z - 0*z. Solve h = -4*i - 8, -z = 3*h + 2*h + 3*i for h.
-4
Suppose -36*r + 39*r = c - 26, -4*c - 5*r - 32 = 0. Solve -c*x = t - 2, 2*x = 5*x + t - 1 for x.
-1
Let q be ((-16)/12)/(2 - (-44)/(-18)). Suppose -14*f = -9*f - 20. Solve 3*z - f = c - q, -12 = -4*c + 4*z for c.
5
Let h be (-8)/(-36) + 237/27. Suppose -2*p + 0*x + h = -x, 0 = -x - 5. Solve d = -p*c + 5, -c + 4 = -d + 3 for c.
2
Let q(y) = -3*y - 24. Let r be q(-9). Let n be (-1 + 1/2)*2*-9. Solve 0 + r = 2*h - s, 0 = -4*h + 5*s + n for h.
1
Let z(b) = 33*b**2 + 147*b + 65. Let u be z(-4). Solve 9*t = 4*t - 4*l + 21, 2*l = u*t - 27 for t.
5
Let i be 9 - 12*(-14)/(-28). Solve 28 = 4*u + i*a, 0 = -3*u + u + 2*a for u.
4
Let t be 28/3*-3 - (1 - 5). Let s be (-2 - t/3) + -3. Solve -5*w - q + 19 = 0, -2*w = -s*w - 2*q + 11 for w.
3
Suppose y - 8 = -4*d, 5*y = 3*d - 24 - 5. Solve -11 = d*o + 4*p, 0 = -2*o + p + 8 + 3 for o.
3
Let o be (-5)/1 - (0 - (-1 - -8)). Solve o*a = -4*q + 26, a = -2*q + 2*a + 3 for q.
4
Suppose 3*m = 3*h - 0 - 3, 8 = 4*h - 5*m. Let x be (6 - (-351)/(-26))*2/h. Solve 0 = -0*y - 4*y + 5*s - 20, -2*y - 10 = x*s for y.
-5
Let l(v) = 4*v**3 + 852*v**2 - 873*v - 3613. Let h be l(-214). Suppose 0 = -y + 3*y. Let u = -2 - -6. Solve 0 = u*r - 5*m + h, y*m = 2*r - m + 11 for r.
-5
Suppose -x = 2*u - 10, -11 - 23 = -5*u + 2*x. Let b(c) = c**2 - 6*c - 5. Let l be b(u). Let h be (l - 3 - -3)/(-1). Solve 0 = -3*r + r - 3*f, -r = h*f for r.
0
Let s be 6/(-51) + (-1180)/85. Let y be 16/56 + (-66)/s. Solve -3*l + 5*k - 1 = y, -4*l = -5*k + 3 for l.
3
Let o = 17252 - 17249. Solve -2*c = -13*q + 16*q + 20, 12 = -o*c for q.
-4
Let o = 13430 - 13426. Solve -o = 2*j - 4*q, -4*q = 4*j + 19 - 47 for j.
4
Let u be (-8 - 41/(-5)) + 241/(-5). Let j be 0*(4/6)/(u/(-36)). Solve 5*g = 3*h - 9, 5*g = -j*g + 5*h - 5 for g.
-3
Let t = 347 - 350. Let w(a) = a**3 + 2*a**2 - 4*a. Let b be w(t). Solve -3*i = z - 4, 3*i - 4 = 2*z - b for i.
1
Let r(v) = 50*v + 2654. Let k be r(-53). Solve 11*u = -k*h + 12*u - 1, -2*h - 14 = 4*u for h.
-1
Let d = 84 + -81. Let l be (9/(-4))/((-6)/32). Suppose d*t = -l, 3*g + 2*g = 5*t + 30. Solve 5*v - 5*n + 3 = -g, 0 = -5*v - n + 25 for v.
4
Let d(p) = p**3 - 15*p**2 - 14*p - 34. Let c be ((-78)/6 + 1)*4/(-3). Let u be d(c). Let z be 8 - (u + 2 - 1). Solve y + 6 = 2*r, 6*r - y - z = r for r.
1
Suppose -2*f - 11 = -m, 5*m - 31 = 16*f - 14*f. Solve -m*j + 5*y = 34 - 49, -3*y - 3 = -j for j.
3
Let z = -9953 - -9983. Solve -2*w - 31 = 3*f - z, w + f - 1 = 0 for w.
4
Let l(w) = w**2 + 41*w + 291. Let q be l(-9). Suppose 32*d - 145 = q*d. Solve -2*s - 3 = g, -d*g - 10 + 28 = -s for g.
3
Let h = -1086 + 1091. Let m(g) = -g**2 - 3 + 0*g**3 + 2*g**3 - 11*g**2 + 11*g. Let v be m(h). Solve v*j - 4*o = -3*j + 5, -2*o = j + 13 for j.
-3
Let v = 22949 + -22937. Solve -5*h = 10, -v*h = a - 17*h - 7 for a.
-3
Suppose 4*k + k = 105. Suppose -76 = -4*b - 3*s, -5*s - 23 = -4*b + k. Suppose 5*a - 26 = -b. Solve 4*r - u - 2 = -1, 9 = r - a*u for r.
-1
Let n = -165 + -86. Let w = n - -274. Solve -2*u + u - 16 = 4*f, 2*u + w = -5*f for u.
-4
Let m be (1/(-2))/(6/96). Let f be (m/3)/((-4)/6). Let y(d) = 2*d**2 + 11*d + 3. Let t be y(0). Solve t*z = f*i - z - 16, 4*z = -20 for i.
-1
Suppose -22*q = -172 - 268. Solve -6*i = -i - 