+ 3. Solve k*z = 0, x*j + 4 = -4*z + 1 for j.
-1
Let y(l) = -5*l - 55. Let i be y(-11). Suppose 4*w - 4 = 2*b, 3*w + 4*b = -i*b - 8. Suppose w = -4*m - 6 + 14. Solve 4*u + m = -5*k, -2*k + u - 5 = -6*k for k.
2
Suppose -3*f = -5 - 4. Suppose 8*h + 43*h - 992 = -11*h. Solve -5*c - 6 = b, c + f*c - 2*b = -h for c.
-2
Suppose -3*a + 5*o = -1, 0 = a - 5*o + 3 - 0. Let b = -13796 - -13798. Solve 5*x = a*m - 25, 2*m - 32 = -b*m + 4*x for m.
5
Suppose 5*t - 182 = -n + 216, -4*n = 8. Suppose -5*d + 0 = -t. Solve d = 5*u - z, z + 0*z = -1 for u.
3
Suppose 5*d + 17 = b, -14*d - 3 = -3*b - 15*d. Suppose b*o + 2*t - 14 = 0, 0*o - 4*t = -2*o - 10. Solve -4*w + 15 = -2*s + 1, o*w = 3*s + 12 for s.
-1
Suppose 0 = -c - 5*a + 9, 0 = -c + 5*a + 54 - 35. Solve 6*z = 4*z + 4*u - 4, -4*z - c = -2*u for z.
-4
Suppose -4*i = 3*z + 1406, 0 = 5*i - 4*i - z + 355. Let m = i - -357. Solve -5*b - 8 = x, -2*b = 2*b + m*x + 16 for b.
-1
Suppose -29 = 4*n - 209. Let m = n - 42. Suppose m*x - 16 - 1 = -5*h, -x = 3*h - 11. Solve -4*v - 4 = h*d, 2 + 13 = d + 5*v for d.
-5
Let g(o) = -o + 29. Let r be g(13). Suppose c + 3*d + 16 = 26, 0 = c - 2*d. Solve -p - 5*v - 16 = c, -r = 5*p - 3*v for p.
-5
Let l = 2444 - 2442. Solve f + 0*j = -3*j - 4, 0 = -l*f - 5*j - 8 for f.
-4
Let r(v) = v**3 - 36*v**2 + 71*v - 98. Let a be r(34). Suppose 3*x - 4*q - 62 = 0, -a*x + 9*x - 154 = -6*q. Solve 7*t = 2*t - 2*d + 16, 4*t - 5*d = x for t.
4
Let o be 28 + (-368)/32*2. Solve -2*y - 30 + 47 = -o*t, 4*y + t = 1 for y.
1
Let z(p) = 4*p**2 - 22*p - 103. Let r be z(-7). Suppose -r = 4*s - 259. Let d be ((-3)/4)/((-2)/8). Solve -2*k = -3*l - 8, 4 + d = -5*l - s*k for l.
-2
Let t be 2*9/8*160/120. Let v be t - (2/(-3))/((-2)/3). Solve 3*z - 9 = -g, -v*z + 3 + 3 = -2*g for z.
3
Let c = -576 + 586. Let v = 14 + -11. Suppose -v*q + 8 = -1. Solve q*k - k - 4 = -2*s, -s + c = 5*k for s.
0
Let f be (5 + 3 + -89)/(-1). Let m = 81 - f. Let h be (-48)/(-27) - (-4)/18. Solve -5 = -h*n - 3*y, m*y - y = -5 for n.
-5
Suppose -a = -2*t + 180, 20 = -2*t + 3*a + 204. Suppose -99*r + 20 = -t*r. Solve 0 = -2*u, -2*u + 12 = 5*v - r*v for v.
4
Suppose -s = -4*c + 4*s + 33, -3*c = 5*s + 19. Suppose -20 = -5*x + l, -4*x + 0*l - c*l = -30. Solve 5 = -x*y - 2*j - 5, 4*j + 20 = y for y.
0
Suppose -67 = -4*s + 5*d, 2*s + 41 = 2*d + 73. Let v be (-8)/(-4)*10/4. Solve 0 = v*j - l + s, -2*l - 1 = -7 for j.
-2
Let p = 16896 + -16894. Solve 0 = -p*q - 6, -3*q + 36 - 37 = -2*b for b.
-4
Let b be (28/84)/((-13)/12 - -1). Let c be (10/(1 + 4))/b*-10. Let z = 14 - 6. Solve -2*j - 9 = -c*d + z, -2*j - 14 = -4*d for j.
-1
Suppose 66 = 15*s - 39. Suppose s*u = 4*u. Suppose -3 + 128 = 5*p. Solve u = 5*l + 2*k - p, 3*l + 3*k - 9 - 6 = 0 for l.
5
Let b(r) = -15*r - 4. Let z be b(5). Let i = -163 - z. Let k = 87 + i. Solve -3*m + 5*m = 5*y - 10, k*y - 7 = m for y.
4
Let b(k) = -k**2 + 172*k + 350. Let g be b(-2). Solve 14*w + g*j = 9*w + 17, w = 3*j for w.
3
Let t be 9015/21 + (-10)/35. Let s be 54/13 + (-66)/t. Solve -4*y = -s*u + 16, -2*u - 4 = -3*u - 4*y for u.
4
Suppose 0 = 8*k - 154 + 18. Suppose -k*a + 42 = -11*a. Suppose 21 = 5*f + 2*w, 3*f - 4*w - w = -6. Solve -3*q + 8*q = d + a, 4*q = -f*d + 17 for d.
3
Suppose 3*a - 45 = -5*i, -194*i = -197*i - 5*a + 43. Solve -i = -r, -167*r = 3*k - 172*r + 15 for k.
5
Let g(d) = d**3 - 9*d**2 + 18*d + 11. Let k be g(5). Let i be 1 - -4*k - (-11 - -11). Solve i*b - 2*b + 4*s - 3 = 0, 2*s = -2*b + 2 for b.
1
Suppose 217 = 11*j + 195. Solve -2 = j*u + c, -2*c - 22 = -4*u - 42 for u.
-3
Let a be (12 + (-31)/((-279)/(-54)))*2/4. Solve -a*q = -q, -2*k - 10 = -q for k.
-5
Suppose 0*q - 5*p - 292 = 2*q, -2*q - 304 = -p. Let g = q - -165. Solve -4*w + 33 = -5*j, 5*w - g - 16 = 4*j for w.
2
Suppose 0 = 3*b + 3*u - 12, -50*u + 55*u = 5*b. Solve -5*r = 4*p - 30, -b*r + 12 = 8 for p.
5
Let s be 3 + ((-1)/(-2))/((-36)/(-72)). Suppose -s*d - 9*i = -5*i - 24, -i - 24 = -5*d. Solve -d*g + 3*a - 7 + 42 = 0, 5*g + 3*a - 5 = 0 for g.
4
Let q(x) be the second derivative of -2*x**3/3 - 27*x**2 + 66*x. Let k be q(-14). Solve 2*r - r - k = -3*v, 0 = v + r for v.
1
Suppose -10*w = -4 - 36. Solve -w*n - r = 10, 2*r = 4*r + 4 for n.
-2
Let i be (65/(-4))/(-5) + (-4)/16. Suppose -u + 40 = 3*n, -n + 0*n + i*u = -10. Let v = -10 + n. Solve -v = 4*m - j + 16, -3*m - 18 = 3*j for m.
-5
Let p(o) = o**3 + 5*o**2 - 3*o + 5. Let l(f) = -5*f + 10. Let i be l(3). Let q be p(i). Let d = 29 - q. Solve -5*x + 2*b - d = -0*b, -2*b = 3*x + 15 for x.
-3
Let b be (-23)/(33/6 - 6). Solve -2*j = -3*k - b + 61, -j + 3 = 2*k for k.
3
Suppose 5 = r + 2. Suppose 2*q + 1 = -r*h, 3 = q + 4*h + 1. Let f be (-2 - 10/(-5))*q/6. Solve 0*b + 14 = b - 3*l, f = -2*b + 2*l + 12 for b.
2
Suppose -2*i + 93*j - 96*j = 9, 3*j + 15 = 0. Solve 0 = -3*l - i, 6*l = -3*h + 4*l - 8 for h.
-2
Let n(i) = 7*i**2 - 186*i - 3005. Let w be n(38). Suppose 4*p + p + 20 = 0, 0 = v + 4*p + 14. Solve 5*h = 5*d - w, 2*d - d = v*h + 9 for d.
5
Suppose d - 27 = 4*l + 484, 3*d = l + 1533. Let i = d - 509. Solve 3*g = -2*g - 4*c + 2, 4 = -5*g - i*c for g.
-2
Suppose 0 = -24*c + 222 + 22 - 4. Solve 4*d + c*g = 12*g - 6, d + 5*g = 15 for d.
0
Suppose -20*j + 180 = -24*j. Let y = j + 42. Let h be (2 + (-6 - -1))*2/y. Solve 3 = -h*q - 5*g + 15, 3*q - 3*g = -24 for q.
-4
Let s be (4 + -14)*-2*7/14. Solve 2*g + 14 - 4 = j, 2*j + s = -g for j.
-2
Suppose -y - 2*y + n = -39, -y - n + 17 = 0. Let i = -80 + y. Let r = i + 70. Solve -2*b + r*l + 4 = -6, 4*l = 4*b for b.
-5
Let i be (-2 - 5) + 274 + -264. Solve 10 = t + a + i, 0 = -3*t - 4*a + 24 for t.
4
Let u be 4*(25/(-2))/(-1). Let n = 53 - 95. Let q = u + n. Solve 5*r + q + 2 = -5*t, r = -5*t - 10 for t.
-2
Let m = 6 - 4. Let g be 4 + -2*(3 + -7). Suppose g*j = -6 + 6. Solve 0*k - 4*k = y + 14, j = m*y + k for y.
2
Suppose -1542*m + 1547*m = 25. Solve 5 + 0 = u, -m*u = 4*g - 41 for g.
4
Let j = 16517 - 16517. Let u = 1 + 2. Solve -5 = -u*v - 5*t - j, 5*v - 31 = 3*t for v.
5
Let p(x) = x**3 + 46*x**2 - 145*x + 114. Let b be p(-49). Solve 7 = h + 3*r, -4*h - 4*r = -3*r + b for h.
-5
Let u(n) = -7*n + 12. Let d(c) = 14*c - 23. Let q(z) = -3*d(z) - 5*u(z). Let j be q(1). Solve 5*h = 2*g - 3 - 5, 0 = j*g - 3*h - 8 for g.
4
Let j(r) = -r**2 + 2*r + 22. Let i be j(9). Suppose 90 = -0*k + 2*k. Let q = i + k. Solve -5*m - a + 4*a + 15 = 0, -3*m + 9 = q*a for m.
3
Let u = 62 + -45. Suppose -13 = -2*d - u. Let l be (-16)/(-2) + d - 11/11. Solve 2*s - 7 = q, 9 = -l*q - 6 for s.
2
Let r be (6/(-16))/(69/(-552)). Suppose 2*v - g = 31 + 46, -169 = -4*v - r*g. Solve 4*h = -4*m + 8, -2*h - 3*h = -5*m + v for m.
5
Let g be (-221)/(-26) + -9*(-3)/(-6). Solve -4*h = 3*s - 4*s, g*s = -16 for h.
-1
Let u be 5 + -18 + 18 + (1 + 2)*-1. Solve 7*d - 2 = -l + 8*d, -u = -l + 3*d for l.
2
Let k = 12279 - 12272. Solve k*o + 7 = 2*o + p, -4*o + 6 = 5*p for o.
-1
Let u = -9092 + 9092. Solve u = 3*d - z + 11, d - 5*z + 13 = -14 for d.
-2
Let b(u) = -u**3 - 2*u**2 + 4*u - 4. Let t be b(-4). Let c = 14 - t. Let a be -1 + 14/2 + (-3 - 0). Solve s = c*f + 7, -26 = f - 2*s - a*s for f.
-1
Suppose -45*o = 22*o + 5*o - 504. Solve -d = o*w - 12*w, 0 = -4*d - 2*w for d.
0
Let i(p) = -736*p - 727. Let l be i(-1). Solve 0 = 4*a + 12, -4 = -l*k + 10*k + 3*a for k.
5
Let a(t) = -3*t - 166. Let h(x) = 2*x + 83. Let u(n) = -6*a(n) - 11*h(n). Let z be u(20). Solve 0*p = -5*p + 5*f - 10, 4*p = -z*f + 27 for p.
3
Let f = 10 - 8. Let w = 26 + -30. Let q be 0 - (-1 + w - -2). Solve 3*b - 5 = f*o, 4 = -q*b + 13 for o.
2
Suppose 0 = 33*y - 19 - 92 + 12. Solve -2*f = 4*x - 8, -5*f + y*x = 2*x - 9 for f.
2
Let y = 138 + -138. Let u be 1/(168/32 + -5). Solve 4*o - 5*o - 5 = y, u*k + 17 = -o for k.
-3
Let b = 408 + -406. Suppose 25*m = 19*m - 54. Let d(f) = -f**2 - 8*f + 13. Let w be d(m). Solve 28 = x + w*t + 10, 4*x = -2*t + b for x.
-2
Let z(k) = k**3 + 9*k**2 + 2*k + 6. Let r be z(-9). Let w be (-2)/(r/(-4)*2/6). Let c be (15/10)/(w/(-4)). Solve -2*p - 2*o - o = c, -o - 18 = -5*p for p.
3
Let c(s) = s**3 + 14*s**2 - 20*s + 3. Let d be c(-15). Suppose 4*t = -r + 93, -5*t + t + 2*r = -d. Solve 0 = -a - 2*x - 3*x - t, -2*a - 9 = 3*x for a.
3
Let a be (-12)/(-3 + (-6)/(-4)). Let j = 98468 + -98465. Solve -2*w + j*n + 0 = 4, -w + a = n for w.
4
Let g(f) = -f**2 + 13*f - 24. Suppose -27 - 23 