 - 88. Let v be u(-36). Solve 4*b - z = -v, -4*z + 12 = b - 0*z for b.
-4
Suppose -13*q = -14*q. Solve -4*f = 4*z - 4, -z + 2*f + 0 + 7 = q for z.
3
Let v(i) = i**2 + 14*i + 18. Let g be v(-13). Let d(k) = 4 + 4 - 5 + 6*k + 4. Let r be d(5). Solve -r = -g*m + 3*f, -m + 12 - 3 = -f for m.
5
Let t(p) = -p - 2. Let v be t(-7). Let g(n) = n**3 + 10*n**2 + 3. Suppose 0 = -5*z - 0*z - 50. Let f be g(z). Solve f*d = 2*m - m, 5*d + 10 = v*m for m.
3
Let l(v) = -v**2 + 11. Let i be l(-3). Suppose c + 5*b = i*b - 7, -3*b = 9. Solve -5*d + 4*d = -y - 2, 0 = 2*y + c*d + 8 for y.
-3
Suppose 0 = 2*m - 2, i + 5*m = 3*m + 6. Solve 3*y + 10 = -3*w + i*y, -2*w - 5*y - 35 = 0 for w.
-5
Suppose -2*l + 0*l + 6 = 0. Let k be (-1 - (1 - l))*13. Let c = -11 + k. Solve 2*r + 5*m - 5 = 0, -c*r + 2 = 4*m - 0 for r.
-5
Let f(h) = 6*h - 12. Let c(b) = 5*b - 12. Let t(y) = 7*c(y) - 6*f(y). Let u be t(-14). Solve 3*n + 4 = 3*o - u, n = -5 for o.
-3
Suppose 0 = -3*w - 5*z - 38, 2*z + 4 = z. Let a be (-16)/w + (-4)/(-12). Let m = -176 + 177. Solve a*n + 23 = 4*t, -4*n = -0*n + t - m for n.
-1
Let t = -4 - -6. Let x = -34 + 36. Suppose 3*k + x*k = 25. Solve 0*u = t*u, u = k*v + 5 for v.
-1
Let q be (-6 - 1)/(-7) + (-4)/(-1). Solve -7*i + 11 = -q*z - 3*i, -16 = 5*z + i for z.
-3
Let h(u) = -u**3 + 9*u**2 + 19*u + 35. Let o be h(11). Solve -7 = y - 0*c - o*c, -8 = -4*c for y.
-3
Suppose 2*c - w - 4 = c, 0 = 4*w - 4. Suppose -2*f - c*a = 12, -2*a + a = 4*f - 12. Solve -14 = -4*s + 2*z - f*z, 5*s + 4*z - 16 = 0 for s.
4
Let c = 3 + -1. Let i be (-2 - -5 - 4)*-1 + -1. Solve -2*o = -o + 3*a + c, i = -4*o - 5*a - 15 for o.
-5
Suppose 6*i = -0*i + 30. Solve -3*m - m + 1 = -j, i*m + 2*j + 15 = 0 for m.
-1
Suppose -g + 3*g = -16. Let j = g + 14. Suppose 5*n = j + 19. Solve n*s + 2 = -3*l + 2*l, 4*s + 8 = -4*l for l.
-2
Suppose -19 = 61*k - 63*k + 5*a, 0 = -2*k + 3*a + 21. Solve k = s + 3*s, -2*u + 20 = 4*s for u.
4
Let a be ((-315)/14)/(-9)*1*2. Let u = a - -1. Solve 2*x = -2*i, -x - i = -3*x - u for x.
-2
Suppose -5*a + a + 1 = -3*u, 12 = 4*u - 2*a. Solve -y = -i - 6, -5*i - u*y + 20 = -0*i for i.
-1
Suppose 3*g = 5*y + 30, -3*y = -2*g + 30 - 11. Solve -r = -3*r + 8, g*r - 19 = -z for z.
-1
Let v = 400 - 392. Solve 0*p + 2*b = -4*p + v, 0 = -3*p - 3*b + 9 for p.
1
Suppose -o + 43 = l, 7*o = -2*l + 2*o + 95. Let d = -35 + l. Solve -g + 6 = -h, -4*g = 3*h - 5 - d for h.
-2
Let a(d) = d**2 - 2*d - 10. Let n be a(7). Suppose 4*x = 3*s + 20, -2*s + 5*x = -s + n. Solve w + t = -0*w, -4*w + t - 25 = s for w.
-5
Let n(v) = -2*v**2 + 8*v - 5. Let z be n(3). Let i be 5 - z - 0 - (-7 + 10). Solve -3*h - 4*g - i = 0, -45 = -5*h + 2*g + 3*g for h.
5
Suppose 5 = 2*y - 5. Suppose 2*q - 3 = y*q. Let b be -1*q*(-12)/(-3). Solve 4*c - 5*j - 14 = -0*j, 3*c - b*j - 11 = 0 for c.
1
Suppose 125*t - 152*t + 135 = 0. Let i be (-1)/(-1) - 4/(-2). Let y be (-5)/(-4)*(i - -1). Solve 0 = o + y*x + 23, t*o + 31 = -0*o - 4*x for o.
-3
Suppose -3*q + 75 = 2*q. Suppose -q = h + 15. Let v be ((-10)/h)/((-1)/(-15)). Solve 0 = 5*o - 3*y - 7, o = 6*o - v*y - 5 for o.
2
Let j = 13 + -8. Let t(a) = -2*a**2 + 2*a + 22. Suppose -10*g + 6 - 6 = 0. Let w be t(g). Solve 1 + 1 = -n + r, j*r - w = n for n.
3
Let s(x) = x**3 - 7*x**2 + 8*x - 4. Let m be s(6). Let t(b) = 4*b - 22. Let q be t(6). Suppose q*o + 6 = 4*o. Solve -j = o*l - 4*j + 15, -l + 4*j - m = 0 for l.
-4
Let h be (-6)/36 + (-38)/(-12). Suppose -2*d + 5*d = 2*o + 3, 4*o - h*d = 3. Solve 0 = b - 2*r + 2, -2*b - o*b + 4*r - 10 = 0 for b.
-2
Let m be (-34)/(-153) - 4/18. Solve m = -3*i - 2*x - 1, 0 = -2*x + 3*x - 4 for i.
-3
Suppose 0 = 20*s - 201 - 159. Solve k + 5*j + s = 0, -2*j = k + k + 4 for k.
2
Suppose -22 = -9*w + 113. Solve -2*u + 5*c = -4*u - 10, -w = 3*u - 3*c for u.
-5
Let d(s) = 4*s**3 + 19*s**2 - 5*s + 4. Let w be d(-5). Solve -2*g - p + 2 = 6, 5*p = w*g - 6 for g.
-1
Let v(r) = -25*r - 271. Let m be v(-11). Solve 5*g = -w + m, -2*w - 1 = 3*g - 2 for g.
1
Suppose -351 = -11*q - 307. Solve -4*m - 3 = -3*l - 8, 0 = 2*m - q*l for m.
2
Let t be 1/(((-68)/(-8))/17). Solve 5*i - 2*y = 23, 2*i + 0*i + t*y - 12 = 0 for i.
5
Let o(k) = k**3 - 2*k**2 + 2*k - 1. Let y(f) = -f + 19. Let l be y(17). Let d be o(l). Solve 0 = 5*a + 4*u - 33, -5*u = -d*a - 1 + 6 for a.
5
Let m = 1398 - 1396. Solve 3 = p, -11*t + m*p - 5 = -12*t for t.
-1
Suppose 6*q + 16 = 10*q. Suppose -q*d + 2 = -3*f, 5*f - 2*d - 2 - 4 = 0. Let l be (5 - 3)/(2/3). Solve 0 = -5*m - l*h - f, 2*m - h = 7*m + 4 for m.
-1
Suppose 5*a - 2 = -62. Let b be 0 + 1 + 18/a*-2. Let d(n) = n**2 - 8*n + 10. Let y be d(7). Solve 0 = -b*v - y*m + 4, -3*v = -v + m - 4 for v.
4
Suppose -6*y = -j + 35, 7*j + 4*y = 3*j. Solve -2*t + 16 = -3*q, j*t - 3*q - 7 = 15 for t.
2
Let c be 1*(-5)/(-10)*12. Suppose 4*b - 5*l = 38, 0 = 2*b - 5*l - 8 - c. Solve -2*x = -v - b, 3*x - x = -2*v for x.
4
Let x = 1992 + -1990. Solve 3*u - 5*u = 2*c - x, 0 = 4*u + 2*c + 2 for u.
-2
Let s(k) = 0*k**3 + k**3 - 71 + 68 + 5*k**2 + 2*k. Let m be s(-3). Solve -2*c - q - m = 0, -4*c + q = -3*q + 24 for c.
-5
Let t = -123 + 126. Let v(k) = 2*k - 6. Let p be v(4). Suppose s + 2*s - t*x - 6 = 0, 3*x = -p*s + 14. Solve -s*w + 7 = 2*b - 5*b, w = -4*b - 22 for w.
-2
Let z(h) = -h**3 + 6*h**2 - 11*h + 131. Let o be z(7). Solve -b = f - o, 5*f - 3*b + 2 - 19 = 0 for f.
4
Let z(s) = s**2 + 12*s - 31. Let r be z(3). Solve r = -5*l + 3*o, -6 = l - 0*o + o for l.
-4
Let h(c) = 8*c + 15. Let g be h(-1). Solve -g = -3*p - 2*i, -3*p + 2*i - 2 = -p for p.
1
Let p(b) = b + 3*b + 16 - 3*b. Let n be p(-9). Suppose 2*w - n*w + 30 = 0. Solve -t + 6 = 2*x, -2*x - t + 2*t + w = 0 for x.
3
Let c(l) = -3*l + 3. Let t be c(-3). Suppose -t = 2*d - 18. Solve 0 = -2*g - 2*g - d*h + 13, 2*h + 2 = 0 for g.
4
Let t be ((-1)/1 - 5)/(-5 + 3). Let j be 0 + 0 - (-1 - 0). Suppose x - j = 2. Solve 0 = x*y + t*i - 30, -2*y - 5*i + 9 = -26 for y.
5
Let g = 32 + -21. Let p(x) = 3*x - 22. Let r be p(g). Solve 3*n - 6*c - 29 = -c, n - 2*c - r = 0 for n.
3
Let x = 16 + -14. Suppose -5*q + 4*p + 2 = 0, 3*p - 10 = -x*q - 0*p. Let o(i) = 2*i**2 - 1. Let j be o(q). Solve u - 4*z - j = -z, 2*z = -3*u - 23 for u.
-5
Let m(j) = j + 1. Let i be m(1). Suppose 4*l - 3*q = 9, -5*l + i*q + 20 = 7*q. Suppose -8*y = -l*y - 70. Solve -4*k + y = x, -2*x + 18 + 1 = 5*k for x.
2
Let q(d) = 2*d**2 + 8*d - 6. Let u be q(-5). Suppose -12 = 4*o + 4*a, -5*a - 31 = -5*o + u. Solve 3*x = -5*w - o - 5, -x + 9 = -4*w for w.
-2
Suppose -b - 5*w + 16 = 0, 2*b + 4*w = -2*b + 16. Let y be (2 + b + -9)/(-2). Solve 0*m = 2*m - 3*t, -y*t = -4*m - 6 for m.
-3
Let o(q) = -q + 10. Let l be o(5). Let k be (126/96)/((-3)/4)*-4. Suppose k*w - 3*w = 8. Solve -l*t + 14 = -n, -w*n = -2 - 0 for t.
3
Let w(u) = 3 - 2 + 13*u + 14*u. Let r be w(1). Suppose -r = -4*y - 5*i, -2*y = 2*i - 17 + 5. Solve 3*v + 5 = y*g, v = 3*g - 0*v + 3 for g.
-2
Let y(j) = 2*j + 29. Let b be y(-19). Let r = b - -19. Solve p = -5*q - 26, 2*p + r = -3*p - q for p.
-1
Let y be (-265)/15 + (-4)/(-6). Let n = y + 19. Solve 0*g - n*z = 2*g + 2, 3*z + 9 = 3*g for g.
1
Suppose 5 = -5*s - 3*r, -r - 1 = 4*s - 4. Let z be (3 - -2) + -2 + -24. Let x = -15 - z. Solve 5*w - 31 = s*j, 3*j = -w - x + 2 for w.
5
Let i(k) = -k**3 + 1. Let g be i(-2). Suppose -4*t - 25 = -g*t. Let c(f) = -2*f**2 + 7*f - 3. Let a be c(3). Solve -r + 2*w - t = a, -r + 0*r = 5*w + 5 for r.
-5
Suppose 24 = 16*n - 24. Solve 3*t + g = 14 - n, 0 = t - 3*g + 3 for t.
3
Let u = 30 - 29. Let x be 3 + (0 - -17)*u. Suppose -3*b + x = 2*b. Solve -2*q + t = 2*t + 8, t - b = q for q.
-4
Let i = 66 + -42. Suppose 2*l - 4*t - i = -2*l, 4*l = -4*t - 8. Suppose 0 = -3*r - l*r. Solve -2*h = 4*b + 14, 0 = -h - r*h + b + 2 for h.
-1
Suppose b + 3*l + 10 = 0, 3*b - 2*l - 16 - 20 = 0. Let c = -7 - -19. Solve -3*a = c, a + b = 4*n - a for n.
0
Let u = -338 + 340. Solve -2*m - 3*m - 21 = 4*w, u*m = -4*w - 6 for w.
1
Suppose -4*h + 13 = 4*z - 15, -25 = -5*z. Let d be 9 - (-4 + 6)*h. Solve 5*l + 27 = 2*i, 4*i - 9 - d = 2*l for l.
-5
Suppose 29 = 3*d + 5*p - p, 3*p - 9 = 2*d. Solve -d*i + a + 14 = -0*i, 0 = -4*i + 5*a + 26 for i.
4
Let f = -102 + 104. Solve 4*d - 5*d + 5*z - 22 = 0, 0 = 4*d + f*z for d.
-2
Suppose -3*q = -0*q - 4*x + 1, 5*q - x - 21 = 0. Suppose 0 = u - q*u + 8. Solve -u*z = 0, -5*d + 2*z - 10 = 4*z 