ve -2*l + 4*t = -t - 27, j*l + 5 = -2*t for l.
1
Let l = 133 - 114. Let h(a) = -a**2 + 20*a - 15. Let u be h(l). Solve -t + u = 2*b, -4*b + 6*b = -3*t for t.
-2
Let c(q) = -68*q + 618. Let h be c(9). Solve s + 5*p = -h, 5*p + 9 + 17 = 4*s for s.
4
Suppose -2*i = -4*k + 17 - 3, 3*k - 4*i - 8 = 0. Solve k*j - 4*m = -40, -5*j - 15 = -4*j - 2*m for j.
-5
Suppose -7 = -a, -2*m + 36*a - 37*a = -15. Let b(k) = -k**3 + k + 3. Let x be b(0). Solve 5*t = 2*f + x, -m*t = 2*f + f - 7 for t.
1
Let x(g) be the third derivative of -g**5/20 + 11*g**4/24 - g**3/3 + 79*g**2. Let o be x(3). Solve 0*a + o = a + v, 4*v + 12 = 3*a for a.
4
Let h(o) be the first derivative of -o**4/2 - o**2/2 - 16*o - 19. Let f be h(0). Let d be (-9 + -1)/(f/8) - 1. Solve -4*r - 2*l = 18, -7 + 0 = -d*r + 3*l for r.
-2
Let z be 7 - (48/40 - (308/(-35) + 4)). Solve -h + z = 3*c - 17, 3*c + 3*h = 24 for c.
5
Let y = 21079 - 21077. Solve y*g - 18 = -m - 3, 3*m = 3*g for g.
5
Let h be 5*(-3)/(-2)*(-452)/(-1130). Solve 12*o + 18 = 13*o + 3*p, 5*o = h*p - 36 for o.
-3
Let v(x) = -x**3 - 7*x**2 + 3*x + 13. Let w be v(-7). Let l = 0 + 5. Let u be ((-50)/w - 2) + l/(-20). Solve -2 = -5*k - 5*f + 3, u = f for k.
-3
Suppose 288*j - 293*j = 4*k - 199, 0 = -2*j - 6*k + 106. Solve -5*w + j - 15 = 0, -4*s - 5*w = -16 for s.
-1
Suppose 4*n - 23 - 37 = 0. Suppose -n*m + 11*m + 34 = 5*g, -5*g + 25 = -5*m. Solve 19 = -5*b - 3*t, -2*t = -0*t + g for b.
-2
Let j(h) = -9*h + 30. Let f be j(3). Let x be 4/f*(0 + 9/6). Solve 1 = -x*m - k, -m - k - 13 = -5*m for m.
2
Let c be (-2)/(-3) - (75/(-9) + -3). Suppose c = -9*n + 5*n, 2*f - 5*n = 25. Solve -2*o + f*b = 14, 2*o - 3*b = -3*o + 3 for o.
3
Let n(h) = h**2 + h - 26. Let r be n(5). Solve 5*q + d - 27 + 25 = 0, 0 = -r*q + d - 2 for q.
0
Suppose -2*r = 4*a, 0*r + 2*r = 2*a. Suppose r = -4*p + 2 + 2. Solve k = 3*o + p - 0, -3*k = 4*o + 10 for o.
-1
Let n = -12 - -16. Suppose -3 + 7 = 4*b, 3*p = n*b - 79. Let l be -5 - 240/p - (-2)/5. Solve l*q = -15, 5*r + 3*q + 27 = -q for r.
-3
Suppose -4*r + 6 = -r. Suppose 0 = -17*b + 12*b - 2*o + 3061, 0 = 2*b - 5*o - 1207. Let j = b - 603. Solve -2*z + j = r*a, 2*z + 1 = a - 0*z for a.
3
Let z be (2889/(-108) + 29)/(6/8). Solve 16*o + 3*p = 14*o + 3, 4*o - z*p + 3 = 0 for o.
0
Let z(a) = 8*a**2 - 2*a + 23. Let y be z(0). Suppose -y*b - 52 + 144 = 0. Solve 2*o + 26 = -4*n, 3*n + 30 = -o - b*o for o.
-3
Let k be (-4)/8*10/1. Let b(t) = t + 7. Let y be b(k). Let m be y/(8/(-6) + 2) - 0. Solve 0 = 4*z + m*d + 15, -d = 5*z + d + 17 for z.
-3
Let p = -13 + 23. Let y be p/(-2)*74/(-10). Let m = -19 + y. Solve 2*r + r = -3*n - 18, 5*n + r = -m for n.
-3
Let i be (-1 - 2 - 4) + 10. Let k be (-7)/i*(32 + -35). Suppose 3*c - 36 = -0*c. Solve 3*d - 7 = -2*o, 5*d = k*d - 2*o + c for d.
-1
Let q(r) = -r**3 - 23*r**2 + 20*r + 24. Let v be q(-24). Let n be (v/(-21) - -4)*-7. Solve -i + 4*m = n, 2*i - i = m for i.
4
Let p(k) = 21*k - 1483. Let c be p(71). Solve -2*z + 4*w - c*w = 2, -5*z = 4*w - 7 for z.
3
Let x be (73 + 3)*(-12)/16. Let a = x - -61. Solve a*h + 3*z = -11, 6*z - z = -5*h - 15 for h.
-2
Suppose 8 = 22*m - 652. Solve m = 4*d - 2*u + 8, -37 = -4*d + 5*u for d.
3
Let a = -1540 + 1543. Solve a*g = 11*y - 7*y - 31, 2*y + g = 3 for y.
4
Let w = 12361 - 12340. Solve -3*m = 18, 22*m - w*m + 2 = -4*v for v.
1
Let x be (42/(-4) - -6)/((-2)/4). Solve 3*k = -q + 4, -k + 5*q + x = -19 for k.
3
Let u(c) = -c**2 + 13*c - 19. Let h be u(11). Let i(a) = -a**3 + 3*a**2 - a + 3. Let w be i(h). Solve 4*q + 18 = -2*b, 4*b + w*q = -2*q - 6 for b.
1
Let h be (-20)/(-300) + (-841)/(-435). Solve -t = h*u - 3, -2*u - 54 = 5*t - 69 for u.
0
Let j be (23 - -3) + -6 + -2. Suppose -2*g - n + j = 14, 5*g = 2*n + 10. Solve -b + g*b - 3 = w, -3 = -5*w - b for w.
0
Let z be (-12)/16 + 75/(-12). Let a be (-27)/z + 1/7. Let x be a/18 - (-150)/54. Solve 3*w - 2*h = -5, x*w - 3*h = 2*h - 8 for w.
-1
Let f(b) be the third derivative of 0*b + 1/120*b**6 - 1/8*b**4 + 0*b**5 - 4*b**2 + 2/3*b**3 + 0. Let p be f(-2). Solve -3*o + 4 = -4*o, -2 = -5*i - p*o for i.
2
Suppose o - 4 = -o. Suppose 20 = -4*m + 4*s, 6*m - 5*s + 25 = 2*m. Solve -2*a + f + m = o, 2*a + 2 = 2*f for a.
-1
Let h = -60 + -134. Let d = h - -208. Solve -3*o + 5*l = -d, -3*o = -l - 8 - 2 for o.
3
Let w(a) = -2*a**2 + 21*a + 398. Let p be w(20). Solve 4*f = -2*x + 24, 3 - p = -3*f for x.
2
Let n = -2279 - -2279. Solve n = -2*k + 10, -4*s - 20 + 23 = -k for s.
2
Let d(r) = 140*r - 391. Let z be d(7). Let m = z - 566. Solve 0 = 3*a + 2*x + m, -3*x = 5*a + 39 - 2 for a.
-5
Suppose 0 = 299*q - 504 - 991. Solve 80*r - 81*r = 2*k + 6, q*r - 40 = 4*k for r.
4
Let f be (-12 - -6)*((-24)/(-40))/((-45)/100). Solve 0 = -4*c + 5*c - 4*v - f, 2*c + 14 = -2*v for c.
-4
Let y(a) = 2*a**2 - 35*a + 150. Let k be y(10). Solve k = -4*v + 12*f - 11*f - 3, 4*f + 20 = 0 for v.
-2
Let n(b) = 11*b**2 + 56*b + 10. Let l be n(-5). Solve -9 = -3*o + 5*h, -h + 2*h + 13 = -l*o for o.
-2
Let r(b) = b**3 - 75*b**2 + 4*b - 292. Let d be r(75). Solve -4*o = -3*x - 6*o - 5, -4*x = 2*o + d for x.
-3
Suppose 0 = 18*s + 80 - 152. Suppose -2*t = 2*m, -m - s*m = -t. Solve -4*r + 4*f = -0*f, m = -2*r - f + 12 for r.
4
Suppose -5*s + 6*s + 5*u = 3, -u = -4*s + 54. Let n(y) = 3*y - 14*y + 10*y - s. Let x be n(-17). Solve -w + x*i - 4 = 0, -2*i - 15 + 3 = -4*w for w.
4
Let t(r) = -r**3 - 17*r**2 - r - 49. Let f be t(-16). Let j = f + 302. Solve 3*o - 10 - 1 = k, 2*k = -o + j for k.
4
Suppose 9*x = 6*x + c + 42, 94 = 7*x - c. Solve y - 19 = -2*s - 20, -4*s + x = -y for s.
2
Let w = 14652 - 14650. Solve -5*k = -5*u - 15, -3*u + 21 = 5*k - w for u.
1
Let n(j) = 20*j - 192. Let p be n(10). Suppose 0 = -9*g - 51 + 78. Solve 4*s + 3*h + p = 0, h - g*h + 8 = -4*s for s.
-2
Suppose -101 + 56 = -18*o + 117. Solve 0 = -3*w + 3*v - 12, -4*v - 2 - o = 5*w for w.
-3
Let i(s) = 149*s - 1788. Let z be i(12). Solve 21*u - 25*u - b - 11 = z, -9 = u - b for u.
-4
Let b = 48 + -46. Let f = -36 - -38. Suppose -2*j + 3*z + f = -7, -b*j = z - 5. Solve 0 = -u - 5*x - 3 + 8, j*x = -u + 1 for u.
-5
Let k = -60 + 37. Let z = 25 + k. Let j(h) = -3*h + 20. Let q be j(5). Solve -2*s + q*g - 6 = -4*s, 0 = s - z*g + 6 for s.
-2
Let k(d) = -32*d - 318. Let o be k(-10). Solve 5*p + o*t + 21 = 6*t, -p - 4*t = 9 for p.
-5
Let v(g) = -g**3 - 12*g**2 - 10*g + 12. Let n be v(-11). Let f = -2004 + 2004. Solve f = b + m + n, -5*b - 2*m = -7 for b.
3
Suppose -3*j - 6 = -i - 10, -5*i + 5*j + 10 = 0. Suppose -q - d - 53 = -3*q, 5*q - 140 = -i*d. Solve 4*f = 3*h + q, -5*f + 3*h - 4*h = -10 for f.
3
Suppose 3*n - 3*y = 21, -3*n + 3*y = 4*y - 13. Let l = 694 + -1296. Let v = l - -605. Solve -n*r - m - 15 = 0, v*m - 12 = r + 5*m for r.
-2
Let r = -3526 + 3528. Solve -4*d + r*x = 10, 14*d - 9*d - 2*x + 13 = 0 for d.
-3
Let r = 2717 - 2717. Solve 22 = -3*a - 2*x, -3*x = 3*a + 27 - r for a.
-4
Suppose 233 = -34*g + 743. Solve -5 = 74*b - 75*b, -2*b = 5*a + g for a.
-5
Let u(v) be the first derivative of v**4/4 - 4*v**3 + 8*v**2 - 12*v - 3. Let a be u(10). Let t = a - -72. Solve 0 = -4*f + t, 9*f - 4*f = 5*c + 35 for c.
-2
Let v(s) = s**3 + s**2 - 13*s - 10. Let n be v(-6). Let r = -88 - n. Let f = r + -12. Solve 3*i = 3*q + f, q + 2*i - i = -6 for q.
-5
Let k = -588 + 616. Let j be k/12 + 16/24. Solve 0 = 2*u + j*c + 19, 0 = -5*u + 5*c + 3 + 12 for u.
-2
Let h(b) = -b**3 + 15*b**2 - 13*b - 11. Let z be h(14). Suppose 0*u = z*u - 42. Suppose u = 5*n - 191. Solve -5*g = -4*i - n, -3*g = -2*g + 3*i + 7 for g.
5
Let i(x) = -x**3 + 36*x**2 + 79*x - 102. Let h be i(38). Solve 4*k + h - 21 = l, -2*l - 3*k = -15 for l.
3
Suppose 3*i + 2*h = 2, 3*h = -3*i - h - 8. Let b(f) = -2*f**2 - 14*f + 8. Let v be b(-7). Let q = 11 - v. Solve i*t + 2*y = 3*y - 25, -q*y - 5 = 4*t for t.
-5
Suppose 0 = -0*f + 3*f - 6. Let c(t) = -2 + t - 2 - t**2 + 2 + 4*t**f. Let r be c(-2). Solve -n - 3*k - 4 = 0, -2*n = -3*n - 5*k - r for n.
2
Suppose -5*v + 8 = -v. Let l be (-16)/(-1) - (v - 1). Let t = -3057 - -3062. Solve -2*w = 3*u - l, 4*u = -0*w - t*w + 27 for w.
3
Let d be (-10 - -20) + 32/(-4). Solve -f = -d*i, 15*i - 17*i - 16 = -5*f for i.
2
Let f = 30780 - 30753. Solve 4*w - 2*k - f - 1 = 0, -12 = 3*k for w.
5
Suppose -1453*i = -1443*i - 30. Solve -a + i*a - 5*p = -26, -p + 4 = 0 for a.
-3
Let l(a) = -12*a +