-5
Let n(m) be the first derivative of -m**4/2 - 4*m**3/3 + 4*m**2 + 9*m + 27. Let w be n(-4). Let h = w - 37. Solve 0 = -h*s - 20, 4*l - s = -4 - 3 for l.
-3
Let m = -32 - -37. Suppose 0 = m*z + 48 - 173. Suppose 3*d + z = 8*d. Solve -f + d*k = 14, 3*f + 2*k = -0*k + 9 for f.
1
Suppose -16 = -4*q, 0 = -l + 2*q - 6*q + 18. Suppose -2*s + s + 16 = -l*r, 0 = -3*r - 6. Solve -2*p + s = 3*j, -5*p = -3*p + j - 8 for p.
3
Suppose -3*h + 181*b + 51 = 185*b, 5*b - 65 = -4*h. Suppose 4*x + 1 = v, -3*x = -4*v + 2 + 2. Solve -h*u + 9*p = 4*p, x = -3*u - p for u.
0
Suppose 4*a + 7 = 3*o, 12*a + 12 = -4*o + 4. Solve 2*y + o = -7, -10 = 2*c + y for c.
-3
Let t(j) = -j**3 - 10*j**2 + 144*j + 1377. Let u be t(-9). Solve -2*l + 0 + 4 = u, 3*f - l + 11 = 0 for f.
-3
Suppose 2*l + 11 - 5 = -5*t, 3*l - 12 = 3*t. Let y be (22/55)/(l/120). Solve 4*a - 4*i + y = 4, 0 = -5*a + 2*i - 13 for a.
-1
Let x be (-1)/(((-42)/(-49))/6). Let i be -2 + 6 - (-3 - x). Solve 5*q + 3 = -u, 0 = -q - 5*u - i*u - 15 for q.
0
Let i be 4/16 - (-30)/8. Let s be 258/24 - 7 - 3/4. Suppose s*n = -i*n. Solve 4*l - l = 5*r - 17, n = 3*l + r + 11 for l.
-4
Let l = 13490 + -13486. Solve -f - z + 1 = 0, 9 = l*f + 3*z - 4*z for f.
2
Let a be 0/35 + (-2 - -138). Suppose 96*c - 104*c = -a. Solve -5*z = -3*z + 3*v - c, 15 = 3*z + v for z.
4
Suppose -11 + 8 + 18 = 5*n. Solve -10 - 10 = -2*x + n*a, -4*x = -a - 20 for x.
4
Let p = -2 - 3. Let o be 1 - (p + -4 + 2). Let j be (-9)/72 - (-17)/o. Solve -x - j = -f - 1, -1 = -x for f.
2
Let q = -345 + 347. Let s(m) = m**3 + 16*m**2 + m + 21. Let h be s(-16). Solve 0 = 5*u - 3*g + h, q*u - 3*g + 2 = 2*g for u.
-1
Let p = -185 + 9. Let h = -166 - p. Solve -2*b - 6*j + 2*j = 14, -5*b + h = j for b.
3
Let t be (0/9)/(16/(-4)). Suppose -4*n = -5*c + 28 - 3, -3*c + n + 15 = t. Solve c*f + 0 = 4*d - 3, -f + 4*d + 9 = 0 for f.
-3
Suppose -9*i = -13*i + 3*p + 73, -3*i + 57 = -3*p. Solve 0 = -2*k - 2, 4*y + 3*k + i = -3 for y.
-4
Let n = -12 + 16. Suppose 2*a + a = -y + 8, -a = -y - n. Let d be -2 + 0 + 1 + 4. Solve -d*q = 3*t - 9, -5*t = 4*q - 2*q - a for t.
-1
Let o(u) = 12*u + 24. Let y be o(5). Suppose 91*n = y*n + 175. Solve 3*b - 4*w = -n, 2*w - 3 - 8 = b for b.
-3
Let a = -388 + 675. Let v = a + -278. Solve k + v = -r, -2*k - 1 = -2*r - 3 for r.
-5
Suppose -29 = n + s, -2*n + 82 = -5*n - 4*s. Let k = n + 32. Let f(w) = w**2 - w - 6. Let g be f(k). Solve -4*p - 3*o - 19 = -0*o, g = -4*p - 4*o - 24 for p.
-1
Let u(s) = 11*s + 10. Let w be u(-2). Let p be (-46)/12 - -4 - 346/w. Solve -4*h = 5*k - p, 4*k - 17 = -2*h + k for h.
1
Suppose 10*y + 8 = -102. Let j(g) = -g**2 - 13*g - 22. Let f be j(y). Solve f = -l + 5*x + 27, 3*l - x - 26 = 3*x for l.
2
Let q = -523 - -298. Let y = q + 227. Solve -y*g - 3*g - 3*d + 6 = 0, 3*d = 6 for g.
0
Let d(b) = 31*b + 1215. Let v be d(-39). Solve 0 = 2*q + 5*c - 11, -4*q - 10*c = -v*c - 4 for q.
-2
Suppose 3*s + 3*w - 2*w = -9, -4*s - 19 = -w. Let o(p) = 22*p + 5. Let b be o(s). Let j = b + 103. Solve -3*r = -2*q + j, -4*q - 2*r - 3*r = 4 for q.
4
Let r(d) = -4*d**2 - 38*d + 24. Let n(z) = 2*z**2 + 19*z - 12. Let h(p) = -7*n(p) - 3*r(p). Let j be h(-10). Solve -4*x = 5*q + 2 - 5, -2*q + j*x = 6 for q.
-1
Let h = 243 - 87. Let a = -154 + h. Solve 3*r - 4*o + a + 2 = 0, 5*r = -3*o - 26 for r.
-4
Let l = 13642 - 13642. Solve -8*b + 3*b + 3*d = l, b = 2*d for b.
0
Suppose -272 = 18*p - 470. Solve -h = 2*d - 5*d + 19, 0 = h + 3*d - p for h.
-4
Suppose 279*b + 390 = 309*b. Solve 3*d + 12*z - 15*z - 3 = 0, -d = 3*z - b for d.
4
Let h(b) = -3*b + 52. Let a be h(17). Solve z = -19*i + 18*i - a, i + 2*z = -1 for i.
-1
Suppose 2*v - 26 = 56. Suppose -43*g + v*g = -6. Solve 0 = -2*k + 3*y + 3, k - 4*y - 1 = g for k.
0
Suppose 6*i = -3*i + 216. Suppose 11*r = -r - i. Let m be (4 - (r - 0)) + (-2 - 1). Solve -m*u = -3*b + 9, u = 2*u + 3*b + 3 for u.
-3
Suppose 108 = -2*w + 4*v, -w - 53 = -0*v - v. Suppose 19*i - 250 = 24*i. Let h = i - w. Solve -a + 3*a = 5*y - 17, -h*a = y - 13 for a.
4
Let u be -6*(2 + (-16)/6). Suppose -37 = 3*r - 2*b, -4*r = 8*b - 4*b + 76. Let x be (-25)/50 + r/(-2). Solve 2*t - 4 = -l, 36 = -2*t + x*t - u*l for t.
4
Let m be (38 - 6)*23/92. Solve 33*l = 5*h + 21*l - m, 1 = h - 3*l for h.
4
Let r = 347 + -347. Suppose -7*s + 39 - 4 = r. Solve 5*c - 4*n + s = 0, c + n = -0*n - 1 for c.
-1
Let t = 18 - 15. Let m(l) = -l**2 + 16*l - 44. Let z be m(12). Solve t*a + z*w = -19, -2*w = 3*w + 20 for a.
-1
Let h be (-38 + 48)*15/6 + -10. Solve -5*o + 4*p - h = 0, -5*p = o - p + 3 for o.
-3
Suppose 919 + 425 = 42*z. Suppose 11*c - z - 12 = 0. Solve w - c*y + 14 = 3*w, 4*y - 29 = -5*w for w.
5
Let i be (-1 + -2)*(-8 - -3). Suppose i*s = -5*s. Solve -5*x - p + 19 = s, 0 = x - 3*p - 4 - 3 for x.
4
Suppose 0 = -76*g + 84*g. Let v = 7 - 4. Solve -2 = 2*s, g*s = -4*c - v*s - 11 for c.
-2
Let b = -23 + 25. Suppose -c + 21 = 4*g, -b*g + 16 = 4*c - 12. Solve -g*m - 3 = -3*k - 17, -3*m = -5*k - 5 for k.
2
Let a(n) = 58*n - 1160. Let q be a(20). Solve 72*p + 4*k + 12 = 68*p, 5*p - 2*k + 15 = q for p.
-3
Let k = 17 + -317. Let f = -296 - k. Solve -25 = 4*x + f*n + 11, x - 2*n - 6 = 0 for x.
-4
Let p(u) = 11*u + 7. Let b(i) = -5*i - 3. Let a(h) = -13*b(h) - 6*p(h). Let g be a(-7). Solve 2*c + v + 11 = 7*c, 0 = g*c + 5*v - 32 for c.
3
Let g be (-6)/(1 - 2)*(-8)/(-12). Let k be 308/21 + 4/(-6). Let t be 72/k - (75/35 - 2). Solve -p - 6 = -g*p, 3*p = t*o + 11 for o.
-1
Let t be (-4)/14*(-12)/1 - 357/833. Solve 2*c + 3*a - t = 0, 7 = 5*c + 5*a - 3 for c.
3
Let j(i) = 2*i**2 + 4*i - 1. Let l be j(-3). Suppose 3*y = -36*g + 31*g + 111, -3*g + 19 = -5*y. Solve -4*p - 4 = -2*n - 0*p, 4*n + g = -l*p for n.
-2
Let s be -3*2 - (399/(-19) - -12). Solve -m - 17 = k + 3*k, s*k + 19 = -2*m for k.
-3
Let w be 6*12/(-216)*-9. Solve 0 = 11*u - 9*u + 3*i - 3, -3*u - w*i = 0 for u.
-3
Let d be (-896)/(-16) + 10/(-5). Suppose 5*x = -2*k - 0*k - 125, 0 = 4*k - 5*x + 175. Let c = k + d. Solve 8 = 4*u + 5*n, 2*n - 4 = -c*u - 2*n for u.
-3
Suppose 0 = 63*u - 62*u. Suppose -2*d - 8 = 3*f - f, 5*d - 2*f - 8 = u. Solve -2*s + 18 = 2*q, d = 4*s - 3*q - 4 + 3 for s.
4
Suppose -15*p + 6629 = 6599. Solve 28*c - 15 = 25*c, 0 = -p*z + 2*c - 4 for z.
3
Let j be 17/(-6) - (-7)/(-42) - -3. Solve j = -2*i + 3 - 9, 4*i + 12 = -h for h.
0
Let c(u) = 23*u**2 + 2*u. Let r be c(2). Let j = r + -87. Suppose 2*o - 55 = -j*o. Solve o*v - 4 = 2*a - 21, -5*v = -4*a + 9 for v.
-5
Let u be ((-27)/(-63) - 30/21)/((-1)/3). Solve 4*h + 23 = u*g, h - 23 = -10*g + 5*g for h.
-2
Let m(k) = -k**3 + 19*k**2 - 29*k - 10. Let j be m(17). Let p be (-3*35/j - 0)*-5. Solve -2*g + 2 = 0, g + p = -l + 3*g for l.
-5
Let f = -5228 - -5234. Solve 6 = 8*l - f*l - u, -3*l + 16 = -5*u for l.
2
Let q(t) = -t**2 + 6*t + 24. Let o be q(8). Let r be o + (-5)/(20/(-12)). Suppose 2*h - d = r, 0*h + 2*d - 2 = -4*h. Solve -27 = 3*x - h*f, -f - 8 = -3*f for x.
-5
Let v(l) = 25 - 38*l - l**2 - 1 + 27*l. Let i be v(-12). Solve 2*d - 6*d - 4*u - i = 0, 5*u + 31 = 3*d for d.
2
Let w be (-5)/(15/6) + (-7)/7. Let f be 1/w + (-247)/(-39). Suppose -f*r = 2*r - 5*r. Solve 0 = k - 5*t - 9 - r, 4*t - 4 = -2*k for k.
4
Suppose -433 + 134 = -25*j - 174. Solve -5*b + 22 = h, 4*h + 17 = j*h + 4*b for h.
-3
Let m = -46 + 77. Let i(u) = u**3 - 9*u**2 + 6*u + 42. Let s be i(8). Let r = m - s. Solve -l + 20 = -5*d, r*l + 2*d + 40 = -d for l.
-5
Let c(m) = m**3 + 7*m**2 - m - 5. Let d be c(-7). Let q(y) = -16*y**2 + 13*y + 5. Let f be q(1). Solve d*l = j - f, l + 0*l = 4*j - 15 for l.
1
Suppose 0 = -59*l + 8 + 110. Solve 4*j = -l*g - 8 - 6, 0 = -5*g - 4*j - 23 for g.
-3
Let m(n) = n**3 + 24*n**2 - 84*n - 2010. Let d be m(-24). Solve -k = 3*b + 10, -k + 27*b = 26*b - d for k.
2
Let y be (54/15)/(-6) - (-94)/(-10). Let s be y/45 - (3 + 260/(-36)). Solve 3*l + 4*k = 26, 3*l + 17 = s*l + 3*k for l.
2
Let w = -8941 + 8946. Solve -16 = -w*r - 6*x + 2*x, -4*x + 16 = -r for r.
0
Let l = -1715 - -1722. Solve 4*x - 16 = -4*c, 5*x = l*x - 2*c + 8 for x.
0
Let z = -502 - -508. Let c be 8/5 + z/15. Solve 3*q + q + h = 8, 5*q = -c*h + 13 for q.
1
Let s be (-32)/(-40)*5/2. Let a = 277 + -184. Let r = 93 - a. Solve r = 2*x - 3*o + 11, -3*x + 3*o - 10 = s for x.
-1
Let a be (532/(-114))/((-2)/3). Solve 5*c + a = -3*s, 0*s + c = -4*s - 15 for s.
-4
Let l(