7 for l.
5
Let w(y) = -y + 67. Let l be w(-3). Let t = 74 - l. Solve -j = 4*c + 12, 2*c + 4*j + t = -2 for c.
-3
Let c(y) = -y**3 + 10*y**2 - 5*y - 18. Let o be c(2). Solve 5*n + o*b = 33 + 12, 5*b = n + 20 for n.
5
Let g(w) = 42*w + 926. Let i be g(-22). Suppose -6 = p - 3. Let z = p - -7. Solve -z*y + 10 = -i*t + y, -5*t + 4*y = 25 for t.
-5
Let t = 6373 + -6367. Solve 4 + t = 3*c + 2*s, 4*s = -3*c + 8 for c.
4
Let b(a) = -a - 3. Let q be b(-5). Suppose -i - 5 = 0, -3*g + 5694 = 4*i + 5702. Solve -q*w + 16 = -4*p, 0 - 4 = 4*p + g*w for p.
-3
Let m(l) = 49*l - 276. Let b be m(6). Solve -4*z + 2*y - b + 6 = 0, 9 = -3*z + 4*y for z.
-3
Suppose 17 = 6*t - 7. Suppose 10 = -4*z + 2*z + 4*v, -2*z - t*v = -30. Solve 8*h - 5*h - 13 = 2*j, -z*j = -4*h + 15 for j.
1
Let i be (-5*(-4)/20)/(-2 - -1) - -8. Solve 5*t - i = 8*t - 5*q, q = t + 1 for t.
1
Suppose 6*c - 10*c + 38 = -5*k, 4*k + 20 = -2*c. Solve -4*f - 33 = c*q - 5, 0 = 4*q + 2*f + 26 for q.
-4
Suppose 37*o + 87*o - 926 = -306. Solve 5*r - 5*k = 0, 0 = -o*r + 2*k + k - 10 for r.
-5
Let c be (9/108*-4)/((-5)/45). Solve c*l = 3*m - 17 + 2, 3*l + 5*m = 25 for l.
0
Suppose -11*y + 15*y = 8. Suppose -10*c - 7*c = -51. Suppose -c = 325*g - 326*g. Solve -j - 15 = 3*j - g*w, y*j + 2*w - 10 = 0 for j.
0
Let c be 1 - (159 - (5 + -6)). Let k = 161 + c. Solve 0 = -z + 5*h + k, 2*h - 1 - 1 = -z for z.
2
Let p(i) = -25*i. Let k be p(-2). Suppose 200 = -999*l + 995*l. Let w = k + l. Solve -15 = -3*s, -4*t + 13 = -w*s + s for t.
2
Let y be 5 + -7 + (76 - 2). Suppose 5*o = y + 48. Suppose 6*s - o - 6 = 0. Solve -m = -3*v - 12, s = 5*m - 2*v - 2*v for m.
-3
Let t(o) = o**3 + 49*o**2 - 3*o - 122. Let h be t(-49). Suppose 2*g - 4 + 0 = 0. Let z = g - -3. Solve -u - 3*d - 32 = -5*u, -z*d - h = -u for u.
5
Suppose i + 0*i - 16 = 0. Let a = -10 - 10. Let u(n) = -4*n - 77. Let y be u(a). Solve -i = -4*s + 4*r, y*r + 5 = s - 7 for s.
0
Let z = 78 + -46. Let m(q) = -q**2 + 27*q + 163. Let x be m(z). Solve -2*n + 4*p + 22 = 0, x*n - 3*p = -0*n + 21 for n.
3
Let u(h) = -108*h - 8. Let v be u(2). Let k = v + 233. Solve -k + 0 = 3*n + 3*q, -5*n - 21 = -q for n.
-4
Let v(i) = -57*i - 2265. Let h be v(-40). Suppose -5*y = 3*f + 8, 0 = 3*y + 18 - 6. Solve -f*s + d - h = 10, 4*d = 2*s + 30 for s.
-5
Let w(a) = -119*a**2 + 1311*a - 18. Let i be w(11). Solve 5*c + 9 = -3*o + 21, i = -4*o for c.
3
Let f(m) = -m**3 + 8*m**2 + 4*m + 47. Let k(u) = u**2 + 2*u + 1. Let z be k(2). Let a be f(z). Solve -4*t - 10 = a*j, 4*j - 12 = 2*t + 8 for t.
-4
Let l be 580/(-348) - (1 - (-34)/(-6)). Solve -4*k - c = 1, 4*k + l*c + c = -4 for k.
0
Let l be (5 + -8)/(-1 - -2). Let u be (7 + (-1 - 5))/((-1)/l). Solve 2*g + 5*v - 18 = u*v, 20 = 4*v for g.
4
Let g be ((-16)/24)/(10/(-3495)). Suppose -g*v = -226*v - 35. Solve -c + b - 2*b = -3, 0 = v*c + 2*b - 3 for c.
-1
Let p = 328 + -326. Solve -1 = -q + 5*w, -4*w = -q - p*w + 1 for q.
1
Let q(j) = -j**3 + 3*j**2 + 7*j + 7. Let k = -245 - -249. Let a be q(k). Solve 3*y + h = a, 3*h = 3*y - 1 - 2 for y.
5
Let q be (-48)/(-2) - (-2 - -3). Suppose -42 = -21*j + q*j. Let d be (-4*(-34)/(-4))/(j + 19). Solve 3*c - y = -d + 4, -5*c = -y + 19 for c.
-3
Let g be (438 + -434)/(4/5). Solve -2*v + 3*v - 4*f = 20, g*v + 2*f - 12 = 0 for v.
4
Let u = -52 + -60. Let v = -77 - u. Let y be (3 - 32/10) + (-130)/(-25). Solve -3*d + 0*p + v = y*p, 2*d - 5*p = -10 for d.
5
Suppose 0 = -13*v + 11*v - 5*m + 30, -4 = -m. Solve -3*u = -5*p - 12, u = -u - v*p + 8 for u.
4
Let h(b) = -b**2 - 9*b + 14. Let p be h(4). Let w = p + 45. Let l be (42/(-4))/w*(2 + -4). Solve -k = -6*k + r + 25, 5*r = l*k - 15 for k.
5
Let x = 6367 - 6365. Solve -x*h - n + 13 = 0, -h = 3*n + 14 - 28 for h.
5
Let u be (-1)/(-9 + 6) - 341/(-3). Let h = u - 112. Solve -h*v + 5*k = -19, 5 = -2*k + k for v.
-3
Let r = -37 + 53. Let a be ((-4)/(-6) - (-7)/(-6))*-6. Let s(p) = -p**3 + 3*p**2 - p + 7. Let l be s(a). Solve 4*m + r = -0*m + k, l*m = -4*k + 4 for m.
-3
Let k = 11 - 8. Let s(l) = -l**3 + 4*l**2 + 7*l - 7. Let d be s(4). Let j be (0 - (-12)/(-14))/((-2)/d). Solve k*x + 3*b - j + 3 = 0, 2*b = 2*x - 4 for x.
2
Let b(s) = -s**2 + 20*s + 359. Let u be b(31). Solve -5*n = -3*m + u, m - 2*n + 4 = 11 for m.
1
Suppose -2 = p + 3, -4*p = 5*c. Suppose 75 = c*b - 17. Suppose 5*h - 4*m - b - 7 = 0, 4*h = -5*m - 17. Solve -g - h*w + 6*w - 1 = 0, w - 1 = g for g.
-1
Let x(b) = -b**3 - 4*b**2 - 5*b + 2. Let s(j) = -6*j + 166. Let v be s(28). Let y be x(v). Solve -r - 4*a = -4, 2*r - y = 3*a - 7 for r.
0
Let v(l) = -l**2 + 9*l + 345. Let x be v(-14). Solve 0 = -5*u - 3*b - 10, 3*b = 4*u - 42 + x for u.
1
Let y(d) = -4*d - 3. Let h be y(4). Suppose -80 = -7*z + 74. Let l = z + h. Solve -l*f + 5*q + 13 = 0, -4*q = 11 + 9 for f.
-4
Suppose -5*t - 4*k + 106 = 0, -t + 4*k + 11 = 9. Suppose -3*p + 12 = 3*a, -t + 4 = -2*p + 4*a. Solve -1 - 1 = -3*z + 4*h, -8 = -p*z + 2*h for z.
2
Let u(k) = 0*k - 9*k + 13 + 4*k + 6*k. Let i be u(-11). Solve 0 = -2*c - i*s, -c = c - 4*s - 30 for c.
5
Suppose 4*m + 6 = -4*g + 6*m, 5*m = 2*g + 15. Suppose -6 = -x - g. Suppose -x*b + 3 = -15. Solve b*u - i = -14, 2*u - 4*i = -5 - 11 for u.
-4
Let y be (-7 + 3)*110/(-40). Suppose 0 = -a + y - 10. Solve b - 4*u - 4 = 0, 4*u - 5 = -b - a for b.
4
Suppose 4*z = 2*o + 5 + 5, 0 = -z + 3*o - 10. Let x be 0/(-787)*(1 + -2). Solve 4*m + z*t - 4*t = 3, 4*m - t - 5 = x for m.
1
Let w be (-1 + 0)/((-2)/(-2) + -2). Let m be (7 - 9) + w*1*6. Solve -2*n + 0*n - 5*g - 22 = 0, 0 = -m*n + g for n.
-1
Let f be (-54)/(-8) + (-32)/(-128). Suppose -140 = 2*y - f*y. Solve 5*l + y = 8, l = -n + 1 for n.
5
Let b = 198 - 191. Solve 3*g - 16 = t + 4*t, g - 2*t = b for g.
-3
Suppose 0 = -i - 3*h, -109*i + 4*h = -105*i - 16. Solve -n + 31*c - 32*c + 8 = 0, -c = -i*n + 12 for n.
5
Let q = -250 - -338. Let c be (q/(-110))/((-6)/135). Solve -15 = 4*o - 0*v + v, -5*o = v + c for o.
-3
Suppose f = -2*v - 11, -4*f - v = -3*v + 4. Let l be 0 + (-6)/(f/1). Suppose 4*m + 20 = 4*r + 4, 2*r - m = 7. Solve 11 = -5*n + a, -l*n = r*a + a for n.
-2
Let x be 3/(-12) + (-97)/(-4). Suppose 67*d - 57*d = 50. Suppose 5*c - 55 = -5*u, d*c - 41 = -8*u + 4*u. Solve t - 4*b - x = 5*t, t = 4*b + u for t.
-2
Let g = 98 + -128. Let w = g - -34. Let j(d) = -d**3 + 7*d**2 - 7*d + 1. Let t be j(w). Solve 5*l + t = -4*h + 2*l, 3*h - 6 = 5*l for h.
-3
Suppose 4713 = -20*o - 127. Let c = o + 248. Solve 8 = -2*y - 2*r, -y + 2*r = -c*y - 8 for y.
0
Suppose 2*d = 4*u - 10, 2*d + 35 = 4*d + 5*u. Solve 70*i - 73*i - 2*g = 15, 12 = i - d*g for i.
-3
Let t(m) = -852 - 3*m + 850 + 5*m. Let p be t(2). Suppose -5*n + p*f = -23 - 12, f = -n. Solve -2*d = n*b - 7, 0*d = 2*b - 5*d + 3 for b.
1
Suppose -10*o + 330 = 56*o. Solve -a = -2*a + g + 5, o*g = -2*a - 11 for a.
2
Suppose 11 = -v - q, -5*v + v - 5*q - 41 = 0. Let s = v + 19. Suppose -24 = -s*b - b. Solve 2*i = 3*l + 4*i - b, 0 = 5*l + 3*i - 7 for l.
2
Suppose -v + 68 = 5*q, 3*q + 3*v + v - 51 = 0. Solve 36 - 21 = -5*b - 5*w, 2*w + q = 5*b for b.
1
Let v be (-4)/(-18) + (-43)/(-9). Suppose 80 = 478*t - 458*t. Solve -4*g + 3*g = -v*j + 6, 5*g = -j - t for g.
-1
Let u(b) = 2*b**2 - 63*b - 132. Let q be u(-2). Solve 3 = q*j + 5, 4*w = -2*j - 22 for w.
-5
Suppose -59*i - 111 + 760 = 0. Solve 16 = -17*y + 15*y + 4*w, 3*w - i = y for y.
-2
Let c = -815 - -815. Suppose c = 5*p + o - 39, 6*p + 4*o - 46 = 3*o. Solve -3 = r - h, -4*h = p*r - 2*r + 24 for r.
-4
Suppose -5*w - 10*c - 40 = 0, -5*c - 2 - 8 = 5*w. Solve 0 = -5*s - 4*u + 10 - 46, w*u = 4*s for s.
-4
Let c = 2401 - 2396. Solve -3*m = c*s + 15, -6*m + 2*s + 15 = -9*m for m.
-5
Let l(b) = -b**3 - 49*b**2 + 67*b + 854. Let q be l(-50). Solve -q*m = -16, -2*w + 72*m = 70*m + 18 for w.
-5
Suppose 201*h - 172*h = 232. Solve -2*o + h = -2*l, 8 = -2*l - 2*l - 4*o for l.
-3
Let i = 599 + -888. Let q = i + 294. Solve q*h + 2*r + 5 = 0, 0 = -h + r + 1 - 2 for h.
-1
Let o(l) = -3*l**2 - 78*l - 429. Let g be o(-8). Solve g*a + 2*a - 4 = -2*n, -n - a = 1 for n.
-3
Let o be (-16)/(-9) - 4/(-18). Let j be (8/(128/(-108)))/(((-117)/12)/13). Solve -o*w + w + j = 4*d, 0 = 5*d - 5 for w.
5
Let t be (-1)/(-10 - (-395)/40). Let b be 1/(5/(-30))*(-3)/6. Solve -2*w + 3*a + 10 = b*w, -4*w + a + t = 0 for w.
2
Let l = 43 + -43. Suppose -3*d + l*w - 13 = w, 4*d = 5*w - 30. Let p be 