13. Suppose -13*b + 20 = -c*b. Solve 5*w = 2*q + b, 4*w - 3*q = q + 8 for w.
2
Let q be -32 + 26 - 20/(-6)*3. Solve 0 = -w - q*d + 3, 0 = 3*d + 6 - 12 for w.
-5
Let b = 34 - 31. Suppose a - 40 = 5*w, b*a + 2*w = -w + 30. Suppose 0 = k - 2*s - 5, 4*s - s + a = 4*k. Solve 5*f = -2*y + 13, 6 = k*f + 2*y - 1 for f.
3
Let u be 21/(-336)*8*0. Solve u = -2*l - 3*l + q, -18*q = 5*l for l.
0
Let h(f) = -6*f**2 - 505*f + 951. Let i be h(-86). Solve i*z = 5*u, 7*u - 20 = -5*z + 8*u for z.
5
Let s(o) = -o**3 - 2*o. Let t be s(0). Suppose 0 = 3*r + 12, 3*f - 3*r = 5*f - 6. Solve 4*m + 23 = -h, 0*m + 3*m - 2*h + f = t for m.
-5
Suppose 1132*x - 1960 = 852*x. Solve -4 = -4*k, 3*s - x*k + 11*k = 25 for s.
7
Suppose -5*b - 5*q - 15 = 0, 0 = 4*b - 3*q + 12 - 42. Solve 5*h + 13 = 4*a, -b*h - 7 = -6*h - 5*a for h.
-1
Suppose 19*j - 301 = -6*j - 18*j. Solve -p + j = -2*x, 12 - 7 = 5*p + 5*x for p.
3
Suppose 0 = 2*n - 132 + 168. Let z be n/24*-3 - 2/8. Solve 3*i + 5*v = -i - 20, 8 = 5*i - z*v for i.
0
Let a = -8 - -19. Let h be (-2 - -3)/((-2)/(-20)*10). Solve 3*s + z = -20, s - 3*z + h = a for s.
-5
Suppose 2*u + 3*u - 2*w = 1032, 4*u = -2*w + 840. Let h = 213 - u. Solve 3*i - 1 = -4*f, h*i - 8 = -3*f + 1 for i.
3
Let s = -233 - -256. Let d = s - 21. Solve 0*w = w, 2*o - d*w = 0 for o.
0
Suppose 1756 = 20*s - 5964. Let w = s - 384. Solve 0*c - 6 = -w*c, 4*c - 17 = 5*o for o.
-1
Let b = 2024 + -2009. Solve 0 = 2*r + 5*a, 5*r - a + b = -12 for r.
-5
Suppose -5*i + 12 = -l, 0 = -l - 2*i - 60 + 104. Solve v - 10 = -y, 3*y + 13 = l for v.
5
Let q be (176/32 - 5)*(1 - -9). Solve 36 = 4*t - q*g, 0*t - g + 4 = 2*t for t.
4
Let w = 602 + -588. Solve 5*r + w = -2*y - 7, -2*y + 3*r + 19 = 0 for y.
2
Let u(n) = -2*n**2 + 46*n - 44. Let i be u(22). Suppose i = 4*l + 5*c - 1, l + 4*c + 6 = -2. Let q = -22 + 41. Solve q = d + l*s, d + 4*s + s = 23 for d.
3
Let o be -15 - (7 - (16 + 12)). Solve 5*p + 1 = -s + 16, 2*p - s = o for p.
3
Let l be -18*(-2 - 45/(-27)). Suppose 3*k = -0*y + 5*y - 22, -k = -y + l. Solve -2*h + 2 = -4*t - 0, y*h - 3*t - 4 = 0 for h.
5
Let b = 445 + -329. Suppose 44 = 32*s - b. Solve 0 = -x - 5*f - 20, 0 = -2*x + 4*x + 3*f + s for x.
5
Let r = -851 - -856. Solve 2*p + i = -1, 4*p = -r*i - 4 - 7 for p.
1
Let p = 312 + -309. Let d be ((-2)/1)/6 - (-184)/12. Let r = -9 + 19. Solve d = -3*t, p*j - 3*t - r = 8 for j.
1
Let s(v) = -4*v**3 + 2*v**2 + 4*v - 1. Let x be s(5). Let a = -425 - x. Solve 4*o - 2 - a = 2*f, -5*o + f + 7 = 0 for o.
1
Let i(q) = -q**2 - q + 30. Let b be i(5). Suppose 3*f = -2*l - l + 48, b = 5*f. Solve -y = -2*y - 4*o + 19, -4*o + l = 4*y for y.
-1
Suppose -4*d + 3*x + 12 = 0, 86*d + 4*x - 6 = 84*d. Solve 0 = z - 15 + 17, 5*z = d*g - 25 for g.
5
Let c = -124 - -140. Suppose -c*q + 61 = -51. Suppose -2*i = q*i. Solve i = -5*n - 0*f - f - 26, 0 = -5*n - 3*f - 28 for n.
-5
Let f = -8812 + 8817. Solve -5*v + 2*l = -6, -2*v + f*l - 6*l = -6 for v.
2
Let b(v) = -v + 3. Let j be (-2)/(-8) - (-30)/8. Suppose x - f = 3, 7*x + 4*f + 5 = j*x. Let a be b(x). Solve -2*c - l + 12 = 0, 5*c + 4*l = a*l + 29 for c.
5
Let o = -5412 + 5415. Solve 8*k + 27 = 2*m + 3*k, 2*m + k = -o for m.
1
Let h = 11844 - 11838. Solve 23*n - 19*n = -2*x + 4, -x = 4*n - h for n.
2
Let l be (-2*(-2 + 3) + 1)*-13. Let w = -13 + l. Solve -d - u - 8 = w, -u + 7 + 5 = -3*d for d.
-5
Suppose -5*p = -2*t - 3*p - 74, 20 = 5*p. Let f be ((-6)/t)/(6/66). Solve 0 = f*g - i - 1, 2*g + 4*i + 3 = i for g.
0
Let b(m) = -m**3 - 21*m**2 - 37*m + 23. Suppose 0 = 4*v + 4*k + 68, 2*v + 5*k + 36 = 4*k. Let o be b(v). Solve -2*w - o = -2*g, 7 = 4*w + 4*g - 1 for w.
0
Suppose -786*g + 790*g = 16. Suppose -24*o - 14 = -g*f - 22*o, -4*f = o - 11. Solve 2*v + 3*a = 8, 8 = 2*v - f*a + 2*a for v.
4
Let p = 548 + -545. Let h be -2 - 16/(-24)*p. Solve -4*k - 2*c + 10 = h, 3 = c + 4 for k.
3
Let j(y) = y**3 + 6*y**2 + 3*y - 4. Let o be j(-5). Let r(m) = -2*m**3 - 2*m**2 - 17*m - 15. Let d be r(-1). Solve -2*k = v + 4, 4*v + 2*k = d*v - o for v.
-2
Let g = -14 + 18. Let o(d) = 2*d**3 + 2*d**2 - 2*d. Let c be o(1). Suppose 0 = 2*v + 2, -c*q = 5*v - 5. Solve -1 = q*b - g*u, 0 = -4*b + 7*u - 3*u - 4 for b.
3
Let a(m) = -m**3 + 30*m**2 - 160*m - 18. Let c be a(23). Solve c*s + 59*h = 64*h + 40, 0 = -2*s - 4*h - 2 for s.
5
Let l = -755 - -1294. Let y = l - 536. Solve n + i + 0*i = -y, -4*i - 16 = 0 for n.
1
Suppose -2*l - j + 48 = 0, 23 = 4*l - 5*j - 45. Let r(c) = c**2 - 7*c + 3. Let w be r(0). Solve -4*x + 5 = -w*y - 15, -3*y - l = -5*x for x.
2
Suppose -826 = 19*f - 864. Solve -o - 5*p = -4*p, f*o + 9 = p for o.
-3
Let f be -2 + 15/(-3) + 9. Solve 4 = 4*c + f*w - 8, -2*w - 6 = -2*c for c.
3
Let x be ((4*-4)/(-2))/2. Suppose f - 49 = 21. Suppose -4*b + f = 2*j, 0 = 3*j - 0*b - 3*b - 60. Solve -r + 4*s = j, x*s - 30 = r - s for r.
-5
Let p(o) = o. Let t be p(5). Suppose 5*h = -35, 4*h = 11*j - 7*j - 28. Solve -2*m + 5 = -4*i - 5, m + 2*i - t = j for m.
5
Let n = -2049 - -2075. Let g(f) = -38*f + 1. Let b be g(-1). Let v = b - n. Solve 0 = -3*m - 2*q, -2*m + q = 3*m + v for m.
-2
Let d = -7275 - -7296. Solve -f - 3*r = -1, 5*r - d = -5*f - 36 for f.
-5
Suppose 4*v = 13 - 1. Suppose 33*c = -6*c + 3978. Suppose 0 = 15*j + 2*j - c. Solve v*t - 2*k + j = -6, 12 = -3*t + k for t.
-4
Let s be ((-1)/3)/(1/12) - -6. Solve 4*c + 12 = s*u, 0*u - 2*c = 3*u - 2 for u.
2
Let j = 8 - 7. Let c be 18/9 + 2 + 0 + -8. Let r be 6/1*(-2 + (-10)/c). Solve -5 = -n - r*z, -n - j = z - 2 for n.
-1
Let p = 11 + -5. Suppose -35 = -p*h + 1. Suppose 0 = -h*o + 4*o + 6. Solve 2*i + 3*u + 8 = 4*u, 0 = -5*i - o*u - 9 for i.
-3
Let l be (-1)/(-2)*(5 - 1). Let y(g) = g**3 - 13*g**2 - 92*g - 8. Let t be y(-5). Solve -5*h + 2 + 2 = l*f, -t*f + h - 8 = 0 for f.
-3
Let d = -22 + -2. Let l = d - -26. Suppose 0 = 2*j - l - 2. Solve -j*i = -2*o - 4, o - 5*i = 6*o for o.
-1
Suppose 5*f = -b + 77, 4*f + 2*b = 11 + 53. Suppose -4*i + 5*i + 5*m + f = 0, -5*i - 2*m = -17. Solve -5*k + 2*t - 35 = 0, -i*t + 5 = -0*k + 4*k for k.
-5
Suppose 0 = q - 5*g + 2, -4*q = 4*g - 16 - 0. Solve -p + q*v - 10 = 0, 5*p + 2*v - v = 30 for p.
5
Let p = -289 + 302. Let o(n) = n**2 - 17*n + 79. Let s be o(p). Solve 3*i - s = 3*r, -4*r - i = 2*i + 8 for r.
-5
Suppose -c = 3*u - 29, 775*c - 777*c - 12 = -u. Solve 0 = 17*p - 13*p - 8, -4*z + u = p for z.
2
Let g(n) = n**3 - 20*n**2 - 20*n + 11. Let c be g(21). Suppose c*v + 34*v - 61*v = 0. Solve 1 = -d - v*d - 2*f, 5*d + 35 = 5*f for d.
-5
Let s(h) = -116*h - 226. Let v be s(-2). Suppose 7*k - 28 = 3*k. Suppose v*t = k*t. Solve -d - c = t, -4*c = 2*d + c - 15 for d.
-5
Suppose m + 1 = 16 - 15. Solve -3*h + 6*h - 2 = 5*b, m = b + 5*h - 22 for b.
2
Let w be 4/((-32)/(-28))*144/42. Suppose -4*m = -4*l - 16, 4*l - w + 20 = 2*m. Solve 5*z = -2*k + 9, k + 10 = 4*k + m*z for k.
2
Let y be ((-5)/(-5))/(3/12). Let f be 3*((-14)/(-3) - y). Let j be 0 - ((-4)/f + 2). Solve -d - 23 = 5*c, -5*c + 5*d - 8 - 27 = j for c.
-5
Let v(h) = h**2 + 18*h - 240. Let x be v(9). Solve 0 = -x*t - 5*k - 35, 2*t + 5*k = k - 26 for t.
-5
Suppose 4*j - 5*j = 3*j. Let v be j/(-1 - 7)*(-1)/(-1). Suppose 2*u = 3*g, u + 3*u = 0. Solve -3*c - 4*b = g, 5*c + v*b - 2*b = 26 for c.
4
Let p be 6/(-33) + (-101)/(-11). Suppose p*m - 38 = -11. Suppose -n = 5*g - g - 44, -n + 34 = m*g. Solve 4*j - 20 = 2*x + 2*j, 2*j - g = 0 for x.
-5
Let w = -459 + 461. Suppose 3*j - w*h + 8 = 0, 2*h - 8 + 0 = -3*j. Solve -2*u + 5*c = 6, -2*u + j*c + 14 = 5*c for u.
2
Suppose -218 + 71 = -21*k. Solve -o - o = -3*a + k, -2*a = -4*o - 2 for a.
3
Let r = 37036 + -37034. Solve -45 = 5*k + 5*u, -r*k - 191*u + 190*u = 13 for k.
-4
Let o be (2/(-4))/(2/(-20)). Suppose -4*b - 5*b + 5*u = 0, 21*b - 2*u = 18*b - 3. Solve -b = -5*h, 5*h - 25 = -5*w + o for w.
5
Let z(y) = y**2 + 4. Let i be z(0). Solve -5*s + i*w = -10, -s - 1 - 3 = -2*w for s.
6
Let m be (41*3/(-3))/(-1). Let z = 44 - m. Suppose 0 = z*i + 37 - 91. Solve -5*q = 4*r + i, 0 = -2*q - 2*q - 5*r - 18 for q.
-2
Let i = 1179 - 1168. Let f be 3/9 + (-14)/(-3). Solve -i = 3*q + 2*q + 2*w, f*q - 4 = 3*w for q.
-1
Let q = -36 - -76. Let y(s) = -3*s**2 + 18*s - 22. Suppose -o = -2*g + 2, 6*o - 10*o + g = -13. Let a be y(o). Solve -a*x = 4*v + 2 - 12, -4*v = -4*x - q for x.
-5
Let d be (76 + -44 - 23)/3. Suppose 0*i - 4*i - 4*z = -36, i 