 - 8, 14 = -3*y + 23. Solve k*g + 5*t = 6*g + 2, 3*g = -t + 10 for g.
3
Let o = -739 + 659. Let t be 120/o*(-2 + 1)*2. Solve -7 = -2*v + p, -4*p + 6 = t*v - p for v.
3
Suppose 379*a - 442 = 366*a. Solve -3*y + s = 1, -4*y - a*s - 12 = -30*s for y.
-1
Suppose 33*r + 90*r = 615. Solve -2*m + 4*t = r - 15, 5*m - 2*t = -15 for m.
-5
Suppose 3*n + 2*n = 15. Suppose -8*b = -5*b + 3*c - 12, 0 = -4*b + n*c + 23. Let x be (b/(-3))/(3/(-9)). Solve -4*g - 13 = -o, -g - x*o = -10*o + 8 for g.
-3
Let f be (-48)/(-8) - (-4 - -1). Suppose -5*u + 16 = 2*i, 3*u - f = -0*i - i. Solve 4*c = -t - 0*c, 0 = 5*t - u*c - 22 for t.
4
Let y = 58 + -50. Let g(r) = -r**2 + 6*r + 16. Let u be g(y). Let k be 7 - 3 - u - -1. Solve 3 = -2*d + k*j + 1, 4*j = -5*d - 5 for d.
-1
Let d = 2138 + -2130. Solve 4*q = 11*p - d*p - 15, 0 = -4*q + p - 13 for q.
-3
Suppose -17*m + 252 = -3*m. Suppose 24*n - 30 = m*n. Solve 2*v + 3*v + 29 = 2*k, 5*k + 3*v = -n for k.
2
Suppose -4*i + 5*c = 8*c - 39, 4*i = -c + 29. Suppose -11*m + 51 = i*m. Solve -w - 3 = -2*r - 10, -w + 8 = -m*r for r.
-1
Let w = 117 + -65. Suppose 0 = -72*x + 71*x + w. Let c = x - 43. Solve -5*r = -v - 3 - c, -5*v + 4*r = 18 for v.
-2
Let x(v) = 1238*v - 7425. Let u be x(6). Solve 0 = -4*r + 4, 21 = -5*t - 2*r + u for t.
-4
Let k = -2572 + 2598. Suppose -t + 95 = 4*d + d, 3*t = 15. Let s be d/(-12)*-4*k/12. Solve -3*x - s = 5*l - 6*x, 3*x = -12 for l.
-5
Let x be (-3)/(9/(-84)) - 2. Let h = 52 - x. Suppose -20 = 2*z - 4*f, -4*z - 137*f = -139*f + 10. Solve -4*i = d - 17, z*d - 4*d + h = 2*i for i.
3
Let r be (-39)/13 - (-8 - 0). Solve -5*q = -3*k - 7*q - 3, r*k + 5 = -5*q for k.
-1
Suppose -p - 2*f = -191 - 138, 1680 = 5*p + 3*f. Suppose 330*n - p*n + 45 = 0. Solve -c = 2*c + n*k - 4, -5*c - 6 = 2*k for c.
-2
Let f(c) = -c**2 + 6*c + 13. Let w be f(7). Let m be w/(-69) - 10/(-115). Solve m = i - 0*j - 2*j - 2, 21 = -3*i - 3*j for i.
-4
Suppose -60 - 170 = 2*a - g, -4*a - 4*g - 472 = 0. Let j be (-1682)/a - 2/(-4). Solve -7*x + 2*x - 4*i + j = 0, 5*i = -4*x + 12 for x.
3
Let l be -1 + 0 - 25/(-1). Suppose -21*z = -l*z + 3. Let h be (-3 - z)*(4 - (-36)/(-8)). Solve a = -h*b - 8, -2*b = -3*b + 2*a + 1 for b.
-3
Let j(z) = -273*z + 3280. Let w be j(12). Solve 0 = 5*q, -w*n = -2*q + 27 - 19 for n.
-2
Suppose 6 + 6 = 4*t. Let s be 273/63 - 1/t. Let h be (s/(-10))/(156/(-30) + 5). Solve 5*v = x - 11 + h, 0 = -5*x - 5 for v.
-2
Let s = 94 + -92. Suppose 4*v - 8 = s*p, -32 = 5*p - 12. Solve -x + 2*x + 4*d - 8 = v, 5*x = d - 23 for x.
-4
Let o be (6/(-10))/(66/(-220)). Suppose 2*n - 2*t - 16 = 0, -22 = -5*n + 2*t - 3*t. Solve -o*m + f - 6 = -0*f, 12 = -4*m - n*f for m.
-3
Let l be 586*((-12)/8 - -2). Let d = 298 - l. Solve a = -j + 5, 5*a - d*j + 7 - 22 = 0 for a.
4
Let p be (405/486)/(10/3) - 14/(-8). Solve -8*y = -3*y - p*f - 18, y + 3*f = -10 for y.
2
Let d = 505 + -493. Suppose -1 = -j + 3. Solve j*c = 3*s - 8, d = 2*s + s for c.
1
Let d be (3*5)/(9 - 8) + -4 + 0. Solve -l - 9 = -5*o, d*l - 7*l = 2*o - 18 for l.
-4
Let v(m) = -6*m - 68. Let s be v(-34). Let p = s + -131. Solve u = -2*u - 5*g + 1, -5*u - 5 = p*g for u.
-3
Let p(t) = -130*t - 388. Let y be p(-3). Solve 4*k = y*r - 6, -4*r + k - 12 = -k for r.
-5
Suppose 37 = 118*s - 117*s. Suppose -s*l - 52 = -163. Solve 0 = -3*f + 4*f - 5, -3*a = -l*f + 12 for a.
1
Suppose 779 - 780 = -d, -4*v + 4*d + 16 = 0. Solve -2*b + 6 + 19 = v*w, b - 20 = -5*w for w.
3
Suppose 0 = p - 2*y + 11, 3*y + 8 = -p + 22. Let u be (3 - (-3 + 2))/(1 - p). Solve -a + 4*a = -h - u, 0 = 5*h - 3*a + 28 for h.
-5
Suppose -18*m - 15 = -23*m. Suppose -9*d + 999 = 315. Let l = d - 72. Solve -q - 8 = -m*f, l*q + 8 = 2*f - 14 for f.
1
Let g be (-16)/(-28) - (-192)/56. Suppose 8*f - 3*d = 12*f - 4, 0 = -g*f + d + 20. Solve 2*z + 2*n = -12, -3*z + 5*z = -f*n - 14 for z.
-5
Let d = 324 - 311. Let o = -21 - -16. Let x = d + o. Solve w - 4*i = -x, 7 = 2*w - 3*w + 3*i for w.
-4
Let l(p) = p**2 + 4*p. Let i(j) = -j**3 - 4. Let a be i(0). Let b be l(a). Solve -8 = 3*d + 4*k, d - 6*d - k - 2 = b for d.
0
Suppose 5*v - 3*f + 15 = 6*v, -2*v = -4*f + 20. Solve 3*y - 164*r + 162*r - 4 = v, -6 = 5*y + 3*r for y.
0
Suppose 7*c = 24 - 73. Let w be (23/(805/(-60)))/(1/c). Solve 0 = -3*i + w, 5*i - 40 = 3*t - 7*t for t.
5
Let p = 329 + -329. Suppose -2*b - 8 + 2 = -3*w, -2*b = 0. Solve p = -t + 5*h - 1 - 5, 0 = w*t - h + 3 for t.
-1
Let v be 10/(-150) + (-5)/(-75). Solve -4*z + v*z + 20 = 0, -3*z + 6 = -3*n for n.
3
Let n(v) = v**3 + 14*v**2 + 16*v + 43. Let x be (-2)/(-11) + 3045/(-231). Let c be n(x). Solve 0 = 3*k - 2*t - 8, c*k = -0*t + t + 4 for k.
0
Suppose -5*z - 101 = -151. Let s be ((-1)/(-3))/((-1)/(-6)). Suppose j - 2 = 0, b = s*b - 4*j + 3. Solve m - 5 = -b*t, 2*m + 0*t = 2*t + z for m.
5
Let i(v) = -6*v - 23. Let s be i(-6). Suppose 7 = -3*m + s. Let u = 4 - -3. Solve 0 = 4*j + m*c + 22, -u = 4*c + 5 for j.
-4
Let g = 60 - 56. Suppose 2*y - y = -2*p + 2, -y - g*p = 0. Suppose -2*z = 2*h + 3*h - 118, z = 4. Solve h = y*w - 5*c, w + 5*c + 7 = -0 for w.
3
Let f(x) = -23*x + 90. Let b be f(4). Let d be b*((-225)/72 + (-9)/24). Solve -2*n + 3*c = d*c + 12, 0 = 4*c + 4 for n.
-4
Let j be (-4)/(5/((-380)/(-8))). Let t = j + 47. Suppose -2*x + 3*o = -t, 2*o + 24 = 2*x + 4*o. Solve 5*m - 4*z = x, -z + 0*z = -3*m + 4 for m.
1
Let m be (-10)/6*(-16 - (-2812)/190). Solve -m*s + 9 = -q, -5*s - 10*q = -7*q - 6 for s.
3
Let l = 17 - 13. Let o be ((-2)/(-6))/((3 + -10)/(-84)). Solve 4*x = -3*s - 26, l*s + 0*s - o*x = 12 for s.
-2
Let t be (-510)/153*(-2)/5 - 10/(-15). Solve 3*f - 2 = t*c, -3*c - 13 = 2*f + 3 for c.
-4
Let d = 796 + -797. Let u be d*165/(-35) + (-6)/(-21). Solve -3 = 4*r - x, x = -4*r + u*r for r.
-1
Let k be -2 + (2/1 - 0). Suppose -3*x + 264 - 42 = 0. Let q = -69 + x. Solve k*f + q*p + 18 = -f, 0 = -4*f - 2*p for f.
2
Let u(o) = -o**2 - 9*o - 5. Let p be u(-8). Let f be p/(-36)*-4 + (-2)/6. Suppose f = -6*m + 39 - 3. Solve -n - 24 = s - m*n, 4*s + 4*n = 0 for s.
-4
Let v(u) = u**3 + 7*u**2 + u - 13. Let y be v(-5). Suppose -y - 23 = -11*x. Solve 5*b - 3*b + 1 = -x*c, -c = -4*b + 9 for c.
-1
Suppose -3*p = -3*a - 78, -31 = -5*p + 4*a + 102. Suppose 11 = -6*m + p. Solve -5*w - 1 = -y - m, -2*y = -3*w - 3 for y.
3
Let b(v) = 3*v + 2. Let r be b(2). Suppose -3*z + 4*m = 11, 0 = -2*m + 2 + r. Solve s - z = -4*i + 1, 5*s + 4*i - 4 = 0 for s.
0
Let w(s) = 3*s**2 - 9*s - 2. Let p be w(-2). Suppose 0 = 2*u + 7*n - 3*n - p, -5 = -n. Solve -3*c = c + u*m, -c - 5*m = -4 for c.
-1
Let s(t) = -t**3 - 5*t**2 + 10*t - 18. Let w be s(-7). Solve -3*b + a - 10 = 0, w*b - 11*b - 30 = 5*a for b.
-5
Let g = -10658 + 10661. Solve -19*p - 36 = -5*v - 15*p, -g*v + 24 = -3*p for v.
4
Let o = -1583 + 1599. Solve 17*n - o*n - 2*w = -1, 4*w = -2*n + 22 for n.
5
Let g = 0 - 6. Let v be (-8)/10*((-21)/g + 4). Let x be (-21)/(-4) + (25/(-4) - v). Solve -k + 5 = -x*k + 3*i, 3*i = 5*k + 7 for k.
-2
Let f = 4260 + -4257. Solve -f*l - u = -9 + 1, -11 = -l - 2*u for l.
1
Let z(n) = -6*n**2 + n + 4. Let c be z(2). Let t = -14 - c. Let p be (-3 + (-39)/(-15))/(2/(-20)). Solve a - 18 = t*a + 3*v, -3*a - 4 = -p*v for a.
-4
Let t(z) = z - 1. Let g be t(4). Let l(p) = -p**2 - 21*p - 11. Let k be l(-20). Suppose -k*i = -g*i - 12. Solve -3*s + j + 16 = -0*s, -4 = s + i*j for s.
4
Suppose 7*r + 1709 = 1723. Suppose -5*n = -r*s + 23, -54*s + 3*n - 3 = -57*s. Let t(y) = y + 3. Let m be t(-3). Solve 5*h - 10 + 0 = m, -2*h = -s*l for l.
1
Let r be (-6 + 1)*12/(-10). Suppose -7*a + 16 = -r*a. Suppose 10*u = 6*u + a. Solve 6*f - f - 4*j - u = 0, -4*j = 4 for f.
0
Suppose 3*l - 104 = 4*n + 387, -6 = 2*l. Let x = 129 + n. Solve -14 = x*q + f, 4*q - q = -f - 11 for q.
-3
Let l(w) = -5*w**3 - 4*w**2 + 10*w + 19. Let g be l(-2). Let k = g - 22. Solve k = -c - v, -5*c + v = -2*v + 37 for c.
-5
Let m(x) = -2*x**3 - 18*x**2 - 23*x - 206. Let v be m(-9). Solve -5*g - 80*k + 82*k = 0, k - v = 3*g for g.
-2
Let n(h) = -4*h + 96. Let x be n(16). Let p = 35 - x. Solve 4*w + 5*a = -p - 2, 0 = w + 4*a + 4 for w.
0
Suppose -2*i - 114 = -4*i + 3*m, -5*i - 4*m + 262 = 0. Let a = 54 - i. Solve 0 = s - t - 8, a*t + 4 = -t for s.
4
Suppose -13*y + 3*w + 8 = -9*y, -y + 4*w - 11 = 0. Solve 5*k - 15 = -y*t, 3*t - 7*t - 5*k = -10 for t.
5
Let q be 157 + -2 - (-20)/20. Let h = q + 