9*(-6 - k/1). Solve 12 = -4*o, 3*v - 4*v - 5*o - r = 0 for v.
-3
Let l(p) = p**2 - 3*p - 20. Let v be l(8). Suppose -f + f - 102 = -6*f. Solve -2*z = 4*i - z + f, -4*z = v for i.
-3
Let l be (0 + (-2)/3)/(136/(-816)). Solve -13*p = -9*p - l*u, 24 = -4*p - 2*u for p.
-4
Let r = -76 - -78. Suppose r = 6*d - 28. Solve 0 = 5*y + d*m + 5, 4*m + 4 = -5*y + 3*y for y.
0
Suppose 2*k - 3*b - 18 = 20, -4*k = -3*b - 88. Suppose 5*l = 5*q + k, l - 8 = 4*q - 0*q. Solve -2*h = 4*y + l, 5*h + 4*y + 5 + 11 = 0 for h.
-4
Let p be (18/12)/(60/440). Solve -7 = o - p, -o + 16 = 4*s for s.
3
Let x = -918 - -919. Let g(c) = 2*c**2 - 5*c + 4. Let v be g(4). Let i = v + -11. Solve -q - 3*b + x = 0, -i*q + 0*b + 22 = -2*b for q.
4
Let j = -42307 - -42330. Solve o = -4*s - j, 19*o = 22*o + 9 for s.
-5
Let i = -8 - -12. Suppose 0 = i*j - 9 - 7. Let v be 7/49*(-7)/(-3)*6 + 2. Solve j*s = -5*b - 10, s + 0 - 3 = -v*b for s.
-5
Let p = -8881 - -8884. Solve -4*u - 2 = 2*m, 5*m = -p*u + 7*u - 33 for m.
-5
Suppose -27*r + 484 = -5*r. Suppose 6*d = 17*d - r. Solve d*p + 13 = 3*g + 6*p, -4*p = g - 7 for g.
3
Let c = -17 - -19. Let m(f) = 3 - 45*f + 46*f + c. Let l be m(-2). Solve -2*z + 10 = 0, -l*a + 4*z = -z + 25 for a.
0
Let s be 19/(-76)*6*-4. Suppose -8 = -4*y, 3*z - s*z = -5*y - 62. Solve 5*i + z = -2*m + 3, -2 = -m for i.
-5
Let a(o) = o**3 + 3*o**2 + 2*o + 300. Let x be a(0). Let q be 1460/x + 2/15 + 0. Solve 4*w - 5*n = 2, w - 4*w + 2*n + q = 0 for w.
3
Let a(d) = -4*d - 1. Let g be a(-3). Let u be 9*(14/2 - -1220*(-37)/6660). Solve -5*t = -c - 24, -t + g = -4*c + u*t for c.
1
Suppose -n - 83 + 50 = -4*n. Solve 2*b = 8*w - n*w + 6, 0 = 4*b for w.
2
Let y(k) = k + 25. Let u be y(-20). Suppose -2*r - 14 = -2*h - 3*r, 0 = -u*r + 20. Solve -8 = w + 4*b, -3*b = h*w - 3*w + 6 for w.
0
Let b = 0 - 0. Let y = -1814 - -1817. Suppose 2*g - 5*c - 55 = b, -4*g - y = 3*c - 48. Solve -3*p - 8 - 1 = -s, -g = 5*p + 2*s for p.
-3
Let u be 9 + (-7 - -19 - 17). Solve 3*f = -2*v + 14, -3*v + u*f - 5 - 8 = 0 for v.
1
Let k = 11 + -8. Let q(v) = -4*v**2 + 28*v - 1. Let j be q(6). Suppose -j*z = -18*z - 50. Solve -4*c + z = -2*h, h = k*h - 2*c + 10 for h.
-5
Suppose 5*a = 0, j + 0*a - 6 = 2*a. Suppose 0 = -h - 4 + j. Suppose -3*x + 4*d = 5 - 1, -5*x + 2*d = h. Solve x = -0*q - 5*q - 3*y - 26, -2*y = -q for q.
-4
Let h(k) = k**2 + k. Let u be h(1). Let x be ((-22)/11)/(2/7). Let t = x - -10. Solve -2*z - u*z = -a - 14, -20 = -t*z - 4*a for z.
4
Let r = 689 - 1169. Let q = r + 483. Solve 3*k = q*o, -k - k = -o + 4 for o.
-4
Suppose 174*n - 179*n + 4735 = 0. Let u = n + -927. Solve k + 3*g - 7*g + u = 0, -2*k - 3*g = -15 for k.
0
Let s = -33924 + 33926. Solve 6*r - s*u = 10*r - 2, 2*u - 1 = -5*r for r.
-1
Let n be -3*(0 + (-32)/(-24))*6/(-12). Solve -5*q - 7 = -2*i, -2*q = n*q + 4*i + 28 for q.
-3
Suppose 0 = 3*q + 4*x - 122, -2*q - 4*x - 150 = -7*q. Solve 5*r = -7*b - 43, 0 = 5*r + b - 15 + q for r.
-3
Let v = 787 + -783. Solve -55 = v*m - 3*b - 64, -5*m = 5*b + 15 for m.
0
Let r = -138 + 140. Suppose -4*k - r*b = -16, -k - b = -4*b + 3. Solve 0 = 4*f - y - 0 + 3, 0 = k*f - 3*y for f.
-1
Suppose 755*j + 120 = 779*j. Solve 0*p + 3*p - 3 = j*v, -2*v = p - 1 for p.
1
Let r be (0 + -2 - -4) + 0. Let y be (-30)/((-15)/5 + 5) - -2. Let a be 8 + 66/6 + y. Solve 2*x - a*m = -r*m, -5*m = -3*x for x.
0
Suppose -4*n + 5*i - 7 = 2*i, -2*i + 18 = 4*n. Suppose 0 = 3*m - 4*m + 3. Suppose -m = -2*f + 3. Solve -f*l + 3 = -2*c + n*l, -4*l = -c for c.
-4
Suppose 3*j + j - 12 = 0. Let t be (5*(j - 2))/(1/1). Suppose -w = 3*w + c + 4, 3*w = 5*c + 20. Solve -2*f - t*x = 19 - 2, w = 4*f + 2*x + 10 for f.
-1
Let m be -2 - (-4 - (5 - 0)). Suppose 0*j = -m*j. Suppose 5*t + 84 - 104 = j. Solve t*h + 13 = -3*n, 2*h = -0*n - 4*n - 14 for h.
-1
Let k(c) = -c**2 + 45*c + 5. Let u be k(0). Solve -5*i = u*p + 35, 4*p + 14*i + 13 = 13*i for p.
-2
Let f(w) = 2*w - 83. Let c(v) = 4*v - 86. Let a(x) = -3*c(x) + 2*f(x). Let y be a(11). Solve -b + 3*m = -19, y*b + 5*m + 0*m = -9 for b.
4
Suppose -5*u - 5*u - 56 = -38*u. Solve -w + 9*o = 14*o + 15, u*w - o = -8 for w.
-5
Let t(r) = -r**2 - 48*r - 510. Let d be t(-16). Solve -4*o + 8*o = 4*a, -d*a - o = 0 for a.
0
Suppose 55*a - 3 = 54*a. Suppose 5 - a = v. Solve 0 = v*u + 10, -2*h = -4*h + 2*u + 8 for h.
-1
Let y be -20*72/(-240) - (1 - -2). Solve 23 = -5*w - y*d, -w + 2 = -2*w + 2*d for w.
-4
Let l(n) = -19*n - 655. Let w be l(-35). Solve -s = -3*v - 0*s, w = -2*v + 4*s for v.
1
Suppose 2*k = -4*k - 108. Let u be k/(-45) + -2*23/(-10). Solve -3*d + 24 = -d + u*y, -5*y + 10 = -5*d for d.
2
Let b be 5/3*(7 + 0 + 506/(-110)). Solve b*n - 2*p - 18 = -34, 5*n = 5*p - 25 for n.
-3
Let s(y) = -y**3 + 15*y**2 + 21*y - 72. Let p be s(16). Suppose p*z - 12 = 44. Solve 4*n + k = 13, -4 - z = -5*n + 4*k for n.
3
Let z(x) = -2*x - 15. Let f be z(-12). Suppose 5*o = -q - 23, f*q - 20 = 4*q + 2*o. Suppose 0 = -a - q*a. Solve a = -t + 5*u - 23, 2*t - 5*t - 17 = -2*u for t.
-3
Let k(h) = h**2 + 9*h - 2*h + 3 + 4*h. Let y be k(-9). Let p be ((-9)/y)/((-2)/(-10)). Solve 5*q + 3*i - 3 = 0, q - p*i - 27 = -4*q for q.
3
Let z = 6271 + -6257. Solve 3*w - z = q, q - 2*w - 5 = -15 for q.
-2
Suppose -15*p + 84 = -p. Suppose p*w - 91 - 35 = 0. Solve 2*t = 3*s + 4*t + w, -s = 3*t + 14 for s.
-5
Suppose 0 = 5*r + 7*m - 12*m - 70, -90 = -3*r - 5*m. Solve 5*c + 4*k + r = k, -18 = 3*c + 3*k for c.
-1
Let o = -13 - -8. Let p = -2 - o. Suppose 84 = 6*q + 15*q. Solve -6*r + 6 = -p*r, q*r - 8 = -t for t.
0
Let t be (-9)/(-6)*(1 - (-662)/6). Let j = 171 - t. Solve -3*v - 5*d = -32, -d + 40 = 5*v + j*d for v.
4
Let x(c) = 478*c + 3854. Let k be x(-8). Solve 0 = 3*t - 45*n + 48*n - k, -3*t - 42 = -5*n for t.
1
Let t = -74 - -77. Suppose 4*q + 29 = 3*g, -2*g + 5 = 3*q - t. Solve 4*m = 27 - g, -4*h = 5*m - 29 for h.
1
Let t(s) = 7*s**2 + 185*s - 108. Let k be t(-27). Solve k = w - 0 - 1, 3 = -2*d - 5*w for d.
-4
Let v(s) = -s**3 + 3*s**2 + 54*s + 2. Let d be (39/(-9) - -3)/((-4)/(-18)). Let f be v(d). Solve 6*w - w = 2*h, -4*h = f*w for w.
0
Let a = -220 + 158. Let n be (-942)/(-186) - (-4)/a. Solve -2*s - 3*s = -5*q + 10, n*q + s = -20 for q.
-3
Let y(p) = -10*p + 69. Let r be y(6). Suppose r*f = -28 + 46. Solve 5*x = -4*d - 13, 0*d = -5*x + f*d - 31 for x.
-5
Let r(z) = z + 10. Let d be r(-12). Let o be (-10)/d - (25 + -24). Solve 0 - 8 = o*f, -2*k - 8 = 2*f for k.
-2
Let s be 10 + -5*(-20)/25. Suppose 0 = -s*b + 16*b - 2*y, 2*y = -3*b + 15. Solve -3 = -3*j, -b - 1 = 2*t - 2*j for t.
-1
Suppose 0 = 4*b + 16. Let o be b/6*(-7)/(42/54). Suppose 2*f + 0*q - o = 4*q, 2*q = -3*f + 17. Solve 2*n - t = 0, -f*n + 2*t + 9 = 4*t for n.
1
Let p = -9965 - -9965. Solve -4*n - 3*d = 11, 2*n + p*n - 5 = -5*d for n.
-5
Let y be (-7)/(-12 + -9)*24. Suppose 0 = 13*x + y - 34. Solve 3*b - f = -11, x*b - 4*f + 2*f + 10 = 0 for b.
-3
Let j = -3510 - -3515. Solve s + 4*b - 4 = j*s, -s + 5*b - 21 = 0 for s.
4
Let y = -17543 - -17550. Solve -25*h + 23*h + y = 3*d, 4*d = -2*h + 12 for d.
5
Suppose -31*u = -21*u + 2710. Let k = u - -274. Solve y - 1 = -k*d + 8, 0 = 5*d - 3*y - 1 for d.
2
Let v = -40 - -40. Suppose v = -4*d - 3*i + 15, -2*i - i = 2*d - 9. Solve -2*a - 2*m = -3*m + 4, -d*a - 3*m = 15 for a.
-3
Suppose -54*s = -52*s - 668. Let k = 337 - s. Solve -n = 3*g - 11, 2*n = -k*g - 0*n + 13 for g.
3
Let q be (2/6)/(2 - (5874/(-270))/(-11)). Solve x = 6*x + 3*j + 30, q = -3*j for x.
-3
Suppose 24 = f + 3. Suppose 0 = f*y - 45 - 39. Solve 21 = -y*z - 5*a, 4*a = 3*a - 1 for z.
-4
Suppose 0 = 3*o + j + 4 - 21, 2*o = -3*j + 23. Let s be (3 - 4) + (8 - (8 - o)). Solve -3*d - 1 = 5*x + s, -4*x - 4*d = 0 for x.
-2
Suppose 2254 = 18*o + 11*o + 20*o. Solve 21 = 5*v + 3*u + o, -6*v = 3*u + 30 for v.
-5
Let d = -1476 - -1502. Solve -16 = -3*q - 2*l, 0 = 3*q + 3*l + l - d for q.
2
Let a = -339 + 288. Let x = 96 + a. Solve 0 = 2*r + 2*p + 2, -2*p - 19 + x = -5*r for r.
-4
Let t(f) = -2*f**3 + 52*f**2 - 135*f - 66. Let m be t(23). Solve d - 77 + 80 = v, 3*d = -m*v + 21 for v.
5
Let o be 138/(-92)*(1 - 3). Suppose 0 = o*r - 37*r + 272. Solve -r = 2*b, -6*j + 8 = -2*j + b for j.
3
Let w(f) = f - 5. Let q be w(-8). Let h = -322 + 338. Let t = h + q. Solve 0 = 4*j + 3*b + 9, t*b - 5*b - 1 = j for j.
-3
Let o = -9103 + 9107. Solve -6*q + 2*q + 4*t = 20, o*