. Let n = h + -116. Solve -a - 3*l - 3 = 5, -2*a + n*l = -16 for a.
4
Let a(z) = -4*z**2 + 2*z**2 + 4*z**3 - 29*z**2 + 2 + 3*z**2 - 3*z**3 + 75*z. Let l be a(25). Solve -5 = i - t, 0 = l*i - t - 0*t + 8 for i.
-3
Let k be -3 - (-2 + -1) - 17. Let a = -12 - k. Suppose -3*i - 6 = -3*f, -2*i + 5*f = -13 + 26. Solve -5*w + 7 = t, -t + i = a*w - 3*t for w.
1
Let z be -3 - (2 - 3) - -6 - 9. Let r(y) = -7*y - 17. Let k be r(z). Solve o = -5*t + 5*o - k, -5*t - o = 8 for t.
-2
Suppose -5*d = 2*x + 3, -2482*x - 108 = -2487*x + 4*d. Solve 14*k = 10*k + 3*v + x, 4*v = -2*k - 14 for k.
1
Let m = -63 - -63. Let r be -4 + m + (2 - -3). Let x be (r/(-6))/(1/10)*-3. Solve -2*d - 5 = -5*g + 5, x*d = 25 for g.
4
Let w = -29706 + 29712. Solve -3*a - 5*x - 10 = 0, w = 4*a - 4*x - 34 for a.
5
Suppose 2 = 2*j, -22 = 2*f - 4*f + 4*j. Suppose 2*h = -i + 13, 2*h - 27 = -3*h + 3*i. Suppose 6*r - 24 = h. Solve r*b - o = -0 - 2, 2*b = 5*o + f for b.
-1
Let m be -1*(16 + -15)*(4 + -2 - 2). Solve m = -4*t - 20, 12 = 5*i + 2*t + 2 for i.
4
Let g = 3337 - 3330. Solve -3*m = -6, 4*v = g*m - 5*m for v.
1
Suppose -4*z + z - 3*n = -45, -4*z + 69 = n. Suppose -5*h - c = -15, -4*h + c + 31 = -2*c. Solve k - z = -2*u - u, -29 = -h*u - 3*k for u.
5
Suppose 0 = 11*g - 7*g + 464. Let b = 137 + g. Solve 5*u + 29 = 2*d, u + 2*d = -4*u - b for u.
-5
Let r(i) = i - 15 + 18 + 3*i**2 - 6 + i**3. Let g be r(1). Solve 2*k = 2, -g*k + 12 = 2*u - 4*u for u.
-5
Let y(o) be the first derivative of -o**4/4 + 5*o**3 - 23*o**2/2 - 36*o + 34. Let x be y(13). Solve -x*u + 4*v = -7, -3 = v + 1 for u.
-3
Let q = 3595 - 3595. Solve q = 5*i - 15, -4*o - 2*i + 7*i = 31 for o.
-4
Let r(p) = 21*p - 118. Let u be r(25). Let o = 407 - u. Solve -4*w + 4*z = -4, 5*z + 21 + o = -3*w for w.
-2
Let y = -52 + 125. Suppose -52 + y = 7*m. Solve -z = 4*t + 2*z - 27, m*t + 2*z - 19 = 0 for t.
3
Let y(l) = -l**2 + 3*l + 9. Let p be (6 - 3)/((-9)/(-24)). Let x be y(p). Let h = x + 31. Solve 3*d + 7 = -h*v + 5*v, -4*d + 2*v = 14 for d.
-4
Let d be -3 + 10 + (-2 - 1). Let k = -77 + 149. Suppose 25 = k*s - 71*s. Solve 3*z + d*x + 4 = z, 5*z - 5*x = -s for z.
-4
Let p = 104 - 423. Let o = p - -326. Solve s + 5*d = 21, 17 = -5*s - 2*d + o for s.
-4
Suppose 6*v - 1614 = -1590. Solve 0 = 5*f - u + 9 - 1, 0 = -3*f + u - v for f.
-2
Let p(t) = -t**3 + 19*t**2 - 73*t + 199. Let w be p(15). Solve -132*f + 19 = -128*f + 3*h, 0 = -w*f + 4*h + 12 for f.
4
Let v(b) = -2*b**2 - 6*b + 7. Let i be v(2). Let r be (-11)/((-11)/(-3)) - i. Solve 5*a + 4*o + 21 = 0, 0*a + 2*a - 3*o = r for a.
-1
Let b(g) = 3*g**2 - 11*g + 6. Let i be b(5). Suppose -i = 29*x - 171. Solve -2*v = v + 5*f + 3, x*f = 4*v + 4 for v.
-1
Suppose -40 = 375*n - 395*n. Solve 2*m = -11*z + 6*z + 20, -12 = -z - n*m for z.
2
Suppose 5*y - 2*c = 14, -4*y - 8*c = -11*c - 21. Solve -3*v + 7*f + 12 = 2*f, y = -2*f - 6 for v.
-1
Let r be 34 + (-19 - -3) + -18. Solve -l + r*f - 16 = -3*f, -l = 3*f - 8 for l.
-4
Suppose -5*t + r + 24 - 14 = 0, 0 = -3*r. Suppose 0*h = -2*h + 74. Solve 4*m = 2*y - 28, -h = 5*m + t*y - 5*y for m.
-5
Suppose 158*q = 90*q + 272. Solve x + 19 = -3*r, -82*r + 77*r + q*x - 9 = 0 for r.
-5
Suppose 2*a - 2790 = -2*p, -2*a + 3*p - 8*p + 2787 = 0. Let i = 1401 - a. Suppose 0 = -0*z + 4*z - 20. Solve 0 = -2*s - 5*b - 1 + 20, -z*b + i = -5*s for s.
2
Let p be ((-1)/(-3))/(35/1050). Let n = -11 + 16. Let x(u) = -u**3 + 7*u**2 - 6*u + 5. Let l be x(n). Solve 0 = 2*k + 3*y - 0 - p, 5*y = 5*k + l for k.
-1
Suppose 9*k = -2*k + 8*k + 87. Solve -5*a = -5*w + 30, -4*a + k = 5*w - 8*a for w.
5
Let f be 2 + ((-10)/35*63/18 - -9). Solve 5*t = 5*u - f, -1 = -u - 4 for t.
-5
Let b be (1/(12/(-279)))/(60/(-80)). Let x = b + -28. Solve 5*m - 3*m + 2*q = 0, x*q = -5*m + 8 for m.
4
Let p(f) = -6*f**2 - 46*f - 18. Let g be p(-7). Let c be (-440)/(-242) + 4/22. Solve j - k - 9 = -c*k, 5*k - g = 2*j for j.
5
Suppose 88 = 2*q - 8*x + 6*x, 4*q = 3*x + 180. Let i = -56 - -10. Let u = i + q. Solve 4 = r - u*t, 9*r - 4*r - 5*t - 5 = 0 for r.
-2
Let c be (-1 - (-1509)/6)*4/3. Let v = c + -334. Solve 5*i = -v*p + 3*p - 10, -2*i = p + 15 for p.
-5
Let t = 6777 - 6775. Solve 4*l - 5*j = -21, t*l - 4*j + 16 = -l for l.
-4
Let a = 4 + -6. Let i be 481/91 - a/(-7). Let m = -7 + 13. Solve g + 3*h = 5*g + m, i*h - 10 = 2*g for g.
0
Suppose 0 = 18*l + 2194 + 11306. Let f = -729 - l. Suppose 0 = -0*b - 2*b + 10. Solve 4*w + 4*t + f = -w, -b*t + 5 = 0 for w.
-5
Let c(x) = -8*x - 31. Let t(n) = 3*n + 10. Let k(h) = -2*c(h) - 7*t(h). Let y be k(-2). Suppose -4 = -2*j + y. Solve -5*g - 12 = -4*i, -i + j = -0*i + g for i.
3
Let i = -22 + 24. Let a be (i + (0 - 2))/3 + 2. Suppose a*m + 8 = 0, -4*d + 2*m = m - 20. Solve n + 4*n = d*l - 12, 0 = 2*n - 2*l + 6 for n.
0
Let p = 272 + -246. Let x be (0 + 0)*p/(-52). Solve 0 = -2*v + 2*q + 5 + 5, x = -2*q - 6 for v.
2
Let t be (-209)/(-57) - 1/(-3). Let b be (-6)/(t/(-2 - 0)). Solve -b*a - l + 15 = -2*l, 0 = -5*l - 15 for a.
4
Let t be (-1)/(-3) + 3/(-9). Let j(p) = -2*p**2 + 7*p + 793. Let f be j(-18). Solve 0 = -y + 5*n + f, y = -n - t + 1 for y.
4
Suppose 4*v + 24 = 3*v. Let q = 29 + v. Suppose 21 = 2*b + q. Solve -2*o + b = 2*d, 3*o + d + 5 = 5*o for o.
3
Let g be (-160)/104*182/(-35). Solve -2*r + 28 = -5*z, r + 6*z - 7*z - g = 0 for r.
4
Let l(d) = -39*d. Let v be l(-5). Let u = v + -186. Solve -2 + u = q + 4*c, 5*q - c = 14 for q.
3
Let x(d) = -d**3 + 14*d**2 + 24*d - 333. Let q be x(14). Solve 2*n = 3*y - 4, -7 = -2*y - q*n - 0*n for y.
2
Suppose -5*i + 3*z - 60 = -z, 2*z = -3*i - 58. Let a be 14/8 - (-8 - 124/i). Solve -5*v + 2*f = -v + 8, v = 5*f - a for v.
-2
Let d = -83 + 76. Let m(i) = 2*i**3 + 14*i**2 - 2*i + 3. Let h be m(d). Solve -6*k + r = -k - 23, 3*r + h = 2*k for k.
4
Let p = 3799 + -3799. Solve -t = -p*q - 4*q + 16, 4 = t for q.
5
Let g = -267 + 266. Let b(q) = 4*q**2 + 2*q. Let y be b(g). Solve y*p + 17 = -4*x + 5*p, p - 19 = 4*x for x.
-5
Suppose -13*q + 16*q + 2*k - 1094 = 0, 5*q - 1824 = -4*k. Let w = q + -350. Solve 0 = g + 3*x + w - 2, -3*g - 3*x - 18 = 0 for g.
-3
Suppose -5 = 5*d, 5*b - 12 = -0*d + 2*d. Suppose -4*y + 8 = -i, -b*i + 0*i + y - 2 = 0. Solve -3*k = 4*t - 19, i = -3*t - 3*k - 0 + 15 for t.
4
Let y(z) = -13*z + 155. Let j be y(27). Let h = 225 + j. Solve 5*a + 2*u - 19 = 0, a + h = 5*a - 3*u for a.
5
Suppose -2*v = -774*i + 771*i - 105, -2*v = 2*i - 90. Solve 0 = 9*q + 3*j + v, 10*q + 4 = 9*q + j for q.
-5
Let b be (-10)/25 - 274/(-10)*1. Let m(w) = -w**3 + 27*w**2 - 3*w + 82. Let r be m(b). Solve n + f = -3 - r, 2*f + 8 = -4*n for n.
0
Suppose -164 = -x - 3*x. Suppose -2*s + 5 = -4*n + x, -5*s + 6 = 2*n. Suppose v + 4*i = 1, -2*i - 2 = -v + 5. Solve 0 = 4*y - n, -u + v*u = -5*y + 18 for u.
2
Let l(p) = -27*p - 45. Let v = 571 - 573. Let b be l(v). Solve 3*n - 3 + 12 = 4*w, 3*n + b = -2*w for n.
-3
Let j = -388 + 679. Suppose -j*b + 283*b + 24 = 0. Solve -6 = 2*f - 3*s, -3*f + 6*f = b*s - 9 for f.
-3
Let c(w) = w**3 - 52*w**2 - 107*w - 49. Let q be c(54). Solve -3*a + 4*n - 9 = 9*n, 0 = -q*a - 2*n - 15 for a.
-3
Let d(c) = 7*c**2 - 3. Let a be d(3). Let b = 60 - a. Suppose -7*l + 12*l - 25 = b. Solve -k - o = 3, l*o = k + o + 8 for k.
-4
Let o(j) = -3*j - 4. Let z be o(-3). Suppose -z*l + 10*l - 15 = 0. Let k = 81 + -76. Solve -3*d + 17 = -5*f - 2*d, 0 = -k*f + l*d - 21 for f.
-3
Suppose -3 = 3*t, 4*b - 1175 = b - t. Let k = b + -359. Solve o + 2*o - 11 = -l, 5*o - k = 2*l for l.
-4
Suppose 0 = 2*j - 4*w, 14*w = j + 10*w. Solve 0 = 3*q - q + 3*p + 17, -3*q + 2*p + 7 = j for q.
-1
Let f(n) = -6*n**3 - 6*n**2 + 3*n + 8. Let g be f(-1). Solve -c = -4, m - g*c = -0 - 15 for m.
5
Let w = -13555 - -13578. Let l = -7 - -11. Solve -l*r = -r - 5*d + w, 3*r - 5 = -2*d for r.
-1
Let h be (-4)/(64/(-20) - -3). Suppose u = -4*u + h. Solve 0 = -3*x - 3*y - 27, 2*x + x + 32 = -u*y for x.
-4
Suppose 0 = 29*t - 7*t - 66. Let u be -2*(t + (-30)/5). Solve -u = 3*g, -3*i + g - 1 = -0*i for i.
-1
Suppose 2*d - 13 = 5*i - 2*i, 0 = -i - 3. Solve 5*l + t = 2*t - d, -4*l - 4*t - 16 = 0 for l.
-1
Suppose 0 = 41*s - 79*s + 32*s + 30. Solve -s*f - 2*i + 20 = 0, -4*f + 0*i + 3*i = -16 for f.
4
Let q(m) = 711*m + 2136. Let i be q(-3). Solve 0 = 4*s + i*c - 8, -5*c - 12 + 22 = 5*s for s.
2
Let w(m) = 7*m + 5 + 29*m**2 - 21*m**2 + 5*m + 2*m**3 