0, -12 = l - 5*n. Solve m + 0 = -p + l, 3*m + p = 1 for m.
-1
Let z(j) = -3*j**2 + 25*j - 6. Suppose -6*b + 4*b = 5*d - 44, -14 = -3*d + 5*b. Let l be z(d). Solve -w - 12 = -l*v, -v - 16 = 2*w + 3*w for w.
-4
Let i = 2179 - 2169. Solve -3*r + 12 = -5*p, -11*r + 11 = -i*r - 4*p for r.
-1
Suppose -4*f = 41 - 65. Suppose 496 = f*u + 472. Solve u = q + q - 2*j, 4*q + j = 13 for q.
3
Let g(o) = 45*o + 6. Let x(k) = k**2 + 45*k + 5. Let b(s) = -2*g(s) + 3*x(s). Let n be b(-15). Solve -15 = -h - n*a, -3*h - 3*a = -8 - 7 for h.
0
Let c = -1157 + 1159. Solve 0 = 5*z + 4*w - 4, 0 = z + 2*w - c for z.
0
Let m = 68 + -87. Let j(p) = p + 21. Let o be j(m). Solve -i = -3 + 5, o*y - 14 = 2*i for y.
5
Let p(c) = 2*c**2 - 17*c + 23. Let z be p(7). Solve -3*m + 2*i - 10 - 12 = 0, 5*m - z*i + 30 = 0 for m.
-4
Suppose 0 = -p + 2*s - 1, 2*s = 2*p - 10 + 8. Solve i + p*g = 6, 0 = -4*i - i + 2*g - 21 for i.
-3
Let n(p) = -103*p - 1013. Let f be n(-10). Solve d + 5*k = f, -5*k = 4*d - 0 - 8 for d.
-3
Suppose -w = 0, 162*b = 167*b + 5*w - 10*w - 70. Solve -2*z = 2*a + b, -a - 18 = 2*z + 3*a for z.
-5
Let f = 9448 + -9439. Solve v = -3*a + 5, 0 = 5*v - 6*v + 4*a - f for v.
-1
Suppose -2*w = -3*y - 7*w + 1, 1 = -w. Solve 17 = n - 4*b, 24 = y*n + 2*b + 30 for n.
1
Let h(f) = 19*f - 903. Let t be h(49). Solve 0 = 2*n + 12*x - 17*x - t, 4*n + 3*x = 4 for n.
4
Suppose -13*l = -6*l + 14. Let z be 2*(l + 2 + 3). Suppose -2*s = z*s - s. Solve 5*o = 2*k - 8 - s, -2*k = -2*o - 2 for o.
-2
Suppose -12*j + 26*j - 13*j = 6. Solve 2*f - 2 = -4*g, j*g - 3*f = 5*g - 10 for g.
-1
Let y = 1342 + -1324. Solve -5*a = -s - y, 6*a + s - 10 = 4*a for a.
4
Let s = 6081 + -6065. Solve -28*k + 32*k = 4*t + s, -k = 0 for t.
-4
Let b(y) = 9*y - 13. Let r be b(2). Suppose -3*k = r*p - 55, 3*k - 3*p - 83 = -p. Let g = -22 + k. Solve -2*o - g*o - 27 = 4*x, 5*o + 6 = 3*x for o.
-3
Suppose s - 79 = -4*s - 2*w, 82 = 5*s + w. Let t be (-10)/15 - s/(-3). Let v be ((-228)/(-399))/((12/14)/3). Solve t*q - 22 = 5*h + 3, -h + v*q - 8 = 0 for h.
-2
Let s = 74 - 74. Suppose -2*n + 32 - 24 = s. Solve 2*o = 7*o + 5*t, -n*o = -4*t for o.
0
Let q(n) = -n**2 + 16*n + 19. Let k be q(-1). Let v be (k/(-4))/(39/(-156)). Solve i - 2 = 3*w + v*i, 4*w = 3*i + 6 for w.
0
Let p be -16 + 12 + (-42)/(-2). Suppose 0 = -5*t + 2*c - 76, -c = -5 + 2. Let l(o) = 2*o + 30. Let w be l(t). Solve w*q + 4 = -h, 0*h - 3*q - p = -4*h for h.
2
Let t be 6/((-4)/((-7360)/(-12))). Let d be ((-16)/10 - -1)/(8/t). Let j = 71 - d. Solve -i - 5*p = -20, 3*i + 5*p - 22 = -j for i.
0
Suppose h - 2 = -2*x + 3, -x + 4*h = -25. Suppose -z + c - 7 = -x, -c = -4. Solve -3*y - 4 = u, 0 = 3*u + z*u + 4*y - 13 for u.
5
Let n = 11 + -76. Let o = n + 65. Suppose o = 4*i - 60 + 12. Solve 3*b - 6*l + i = -l, 5*l - 4 = b for b.
-4
Let k(n) = -n**3 - 18*n**2 - 18*n - 7. Let l be k(-17). Let o be (-2)/(1/(l/(-5))). Solve -o*t = -4*s + 12, -3*t - 3*s + 3 = -0*s for t.
-1
Let y(d) = 2*d**2 - 27*d - 19. Let g be y(13). Let v be (-1)/(-14)*6 - g/7. Solve 0*a - v*f = a + 17, -a + 4*f = -10 for a.
-2
Let z be 16/(-12)*-3 - 12/3. Let i(d) = d**2 + 4*d + 6. Let o be i(0). Suppose -11*s = -o*s - 70. Solve z = g + 5*x + s, -5*g + x - 28 = 5*x for g.
-4
Let l(m) = -3*m**2 + 16*m - 7. Let p be l(5). Let z(d) = -2*d**3 - 5*d - 2. Let w be z(p). Solve g - 4*v = -g + w, -4*g + v + 20 = 0 for g.
4
Let v = 2837 - 2831. Solve -3*r + 4 = 2*t, v*r - r = -2*t + 4 for r.
0
Suppose -3*a = 4 - 10. Let d(l) = 10*l - 138. Let k be d(14). Solve -k = i - a*c, 5*c - 1 = -6 for i.
-4
Let t(y) = -y**2 + 2*y**2 + 3794 - 6*y**2 - 10*y + y**3 + 3*y**2 - 3786. Let l be t(4). Solve -4*b + l*u = 4*u - 8, -4*b = -4*u + 24 for b.
-2
Let k(m) = -3*m**2 + 5*m - 8. Let q be k(3). Let p be (q/(-8) - 2)/((-2)/(-12)). Suppose 16*b - 91 = p*b. Solve x + 5*y = -6, 3 = -x + 5*y + b for x.
-1
Let l = -573 - -597. Suppose 34*v + 2*r = 36*v - 12, -2*v + l = -5*r. Solve -v*m - 2*m = -o - 21, 3*m + o = 7 for m.
4
Suppose 15 = 4*a - 5 + 4. Solve -4*d + a*k = -k - 6, 0 = -2*d - 2*k - 6 for d.
-1
Let g = 108 + -92. Let f be (8/6)/(7/(252/g)). Suppose -4*a = -f*o - 12, 0*a + 6 = 2*a - 3*o. Solve -w + 2*v = 0, -a*w + 2*v + 4 = 12 for w.
-4
Suppose -3*j - 1426 = 4*z, 5*j + 4*z + 1900 = j. Let p = j - -479. Solve -15 = 2*x + p*y, -5 = -5*y - 30 for x.
5
Suppose 5 = -p + 12. Let d be (-2 + 1)/(p/(-21)). Solve 0 = 2*x - 8*z + d*z, 23 = -5*x + z for x.
-5
Let d = 33 - 28. Suppose -7*s = 4*s - d*s. Solve 3*a = 3*m + 8*a, 2*m - 2*a = s for m.
0
Let w be ((-4)/8)/(2/(-16)). Let x(o) = -3509*o + 21061. Let r be x(6). Solve -w*s - 2*i - 3 = -r, i - 11 = -5*s for s.
3
Let m(d) = d**3 + 15*d**2 - d - 15. Let x = -695 + 680. Let f be m(x). Suppose 2 - 11 = -3*r. Solve y - 24 = 4*y + 3*a, f = r*a + 9 for y.
-5
Suppose -z - 15 = -5*m, -2*m + 4*z - 6 = 6*z. Suppose -m = 22*s - 23*s. Solve 4*o - 2*k + 7*k + 40 = 0, s*o = 2*k - 2 for o.
-5
Suppose 0 = -8*p - p + 315. Let n(u) = u**3 + 4*u**2 - 12*u - 14. Let q be n(-6). Let a = -14 - q. Solve a*v + 25 = -4*g + v, -4*g = -3*v + p for g.
-5
Suppose -3*l + 15 = 5*b, -3*b + 9 = -128*l + 125*l. Solve -t + b*f = -18, -4*t - 59*f = -56*f + 18 for t.
0
Suppose 59*s = 56*s - 3*q + 63, -82 = -4*s - 2*q. Solve s = -4*y - 4*d, 9*d - 12*d = 0 for y.
-5
Let z(u) = -u**3 - 33*u**2 + 33*u - 5. Let g be z(-34). Suppose -2*v + 5*o - g = -3*v, -3*v + 54 = 4*o. Solve -2*n - 17 = 5*x + 1, -v = -2*n + 3*x for n.
1
Suppose 0 = 15*g - 99 + 129. Let r(c) be the third derivative of -3*c**4/8 + c**3/2 + 2*c**2. Let a be r(g). Solve -2*q + 5*q + 3 = 4*i, -3*q = 4*i - a for q.
3
Suppose 36*v - 39*v = a - 252, -v + 42 = 5*a. Solve -5*b - 20 = -2*d, -v*b - 2 = -91*b - 2*d for b.
-2
Suppose 5*c - 29 = -v, -5*v = -4*v + c - 9. Solve 0 = -4*k - o, 5*k - 5*k + v*o = 0 for k.
0
Suppose -2*n - 6 = -o, -3*o + 2*n + 33 - 19 = 0. Solve -k + d = 14 - 21, o*d = -k - 18 for k.
2
Let o(k) = -134*k**2 - 141*k - 2. Let l be o(-1). Solve -q - 4 = -l, 3*q + 2 = b for b.
5
Let j be -6 + (8750/725 - (-4)/(-58)). Solve 0 = -5*x + 2*r - 4, -3*x + 3*r - j = -8*x for x.
0
Suppose 20*s - 234 = -58*s. Solve -4*u = -s*r + 24, 3*u + 8*r + 29 = 13*r for u.
-3
Let l be 6*(-9 + 4 + 7). Suppose a = -5*k - a + 24, 5*k - 4*a = l. Solve 5*g + k*h - 30 + 7 = 0, -2*g - 2*h = -10 for g.
3
Suppose 62 = 4*u - 2*f, -11 = -3*u + 2*u + 5*f. Solve k + 2*s = 2, -2*k = -s + u - 25 for k.
4
Let h = -16 + 20. Let r be (-12 - (-492)/36) + 3*(-3)/(-27). Solve 0 = r*k - 2*f, 3*k - 8 = 5*f - h*f for k.
4
Suppose -56*d = -58*d + 6. Solve d*q - 6 = 0, 21 = -4*u + 3*q - 5 for u.
-5
Suppose 49*n = 46*n + 24. Let o be (635/20 - 8) + 2/n. Solve -5*x = -3*y + 22, 7*x = 2*x + y - o for x.
-5
Let r(b) = -9*b + 4. Let w(l) = 19*l - 7. Let g(d) = -13*r(d) - 6*w(d). Let i be g(4). Let k = 10 + -8. Solve 0*y + 2*y = 3*j + 6, -k*y = -j - i for j.
-2
Let v be 10/4 - (-1)/2. Suppose v*k + 160 = -k. Let b = -33 - k. Solve 3*a + 0*m = 2*m - b, 0 = -2*a + m - 5 for a.
-3
Suppose 65*x - 62*x = -5*r + 86, -8*r - x + 111 = 0. Solve r = 3*b + s, -3*b - 28*s + 24*s = -25 for b.
3
Let v(w) = -3*w**2 - 70*w - 88. Let m be v(-22). Solve -3*d + 2*d = 2*t + 13, -d - 4*t - 21 = m for d.
-5
Suppose 1373 + 1756 = 7*x. Let f = -441 + x. Solve 3*p - g = 7, -9 = 4*p - f*p + 5*g for p.
2
Let n be (-5 + (5 - 0))/3. Solve -j - m = -2*j - 3, n = 5*m - 25 for j.
2
Let l(v) = 2*v**2 - 2*v + 7. Let p be l(-6). Let u be (-47 - -59)/(118/(-42) - -3). Let t = p - u. Solve -22 - t = 5*a - 5*x, 0 = -5*a + 3*x - 40 for a.
-5
Let h be 3/(-5) - (-4210)/(-25). Let m = h + 171. Suppose 3*o - 11 = -2*t, -3*t = -o - 0 - 11. Solve -3*x + 7 = -3*g + o, -m*g = 0 for x.
2
Let d be 17*(45/(-10))/9*-10. Suppose 0 = -6*q - 11*q + d. Solve -4*x - x - 5 = -o, 2*x - o + q = 0 for x.
0
Let q be (-1 - 0)*-6 - (-27)/(-27). Suppose 2*i - o - q = 0, -2*i - 2*o = -4*o - 10. Solve l + 2 = c, -5*c - l + i*l = -4 for c.
1
Let t = 256 + -247. Suppose -61 = -7*b + t. Solve -5*v - 3*j - b = 0, v + j - 4*j + 2 = 0 for v.
-2
Let v be 1/(-9)*2 - (-26)/117. Solve 0 = -6*l + 9*l + 12, v = 5*o + 4*l + 6 for o.
2
Suppose 0 = 96*s - 464 - 208. Solve s*b - 6 = 5*b - 2*q, 4*q = 0 for b.
3
Let o be -3 + 2 + 16/(-11 - -19). Solve 7*x - o = l + 4*x, -3*l + 5 = -x for l.
2
Let c be (-4)/15 - (-17380)/3300. Solve -17 = -f - 3*m, 2*m - 23 = -c*f + 2*f