h + 3878. Let a = -273 + h. Solve 0 = 5*k + 15, -a*k + 3 = 4*g - 5 for g.
5
Suppose -106 = -m - 5*h + 6*h, 5*h = 4*m - 428. Suppose 2*f = -5*y + m, -4*y - f - 2*f = -76. Solve -2*n + y = 4*z, -z - 4*n + 29 = 2*z for z.
3
Let h = -480 + 482. Let q = 23 - 37. Let j be 8/7*q/(-4). Solve -2*s + h = -4*z - j, 5*s = -z - 18 for s.
-3
Let l(a) = -a**2 + 94*a - 2046. Let v be l(35). Solve 6*i = 3*i - 2*s - v, -2*s = -5*i - 5 for i.
-3
Let v be (-57)/((-14364)/14976) + (-3)/7. Solve -5*o = 25, -v*k - 19 = -56*k + 5*o for k.
2
Let k = -130 - -135. Let d be (1 + (-2)/(-3))/(k/15). Solve 10 = 5*z - 4*u, -d*z + 8 = 3*u - 2 for z.
2
Suppose -5*w + 6*w = -224. Let i be (-14)/w*8 - 11/(-2). Solve 3 = -i*k + 4*k + 3*h, 4*k + 5*h - 5 = 0 for k.
0
Let z(f) = 5*f**2 + 163*f - 162. Let s be z(1). Solve -35*b + 30*b = 5*u, 5*u = b - s for u.
-1
Let v(y) = 2*y**2 + 27*y + 19. Let w be 102/(-12) - 3 - (-6)/(-4). Let s be v(w). Suppose 4*g - 30 = -s*g. Solve 34 = 5*q + 3*n, g*q = n - 3*n + 21 for q.
5
Let q be ((-170)/42 + (-14)/49)*-3. Suppose 4*b - 6 = -2*r, 3*r - 19*b - q = -21*b. Solve 5*y - 13 = 4*c, -2*y + 3*c + 16 = r*c for y.
5
Suppose -224*m = 68*m - 47*m - 490. Solve 0 = -5*y + p - 5, -m*y = 3*p - 0 - 15 for y.
0
Suppose 2*z - 86 = 4*z. Let x = z + 74. Suppose -5*a - 16 + x = 0. Solve 0 = -a*p + 3*d, -3*p + 0*d - 2 = -d for p.
-1
Let r(k) = k**3 + 10*k**2 + 6*k - 20. Let i be r(-9). Let h(l) = -2*l**2 + 8*l + 2. Let w be h(i). Let c = 45 + w. Solve p - 4*p - n = 4, -p - 28 = -c*n for p.
-3
Suppose 45 - 207 = -54*r. Solve -k = 2*a - 11, a + r*a - 37 = -5*k for a.
3
Let o(c) = -c**2 - 28*c - 157. Let i be o(-20). Solve -2*y = -n - i, 4*y + 19 - 26 = n for n.
1
Let u be (-42)/(-8) - (-12)/(-48). Suppose u*q + 3*w - 9 - 17 = 0, 2*w + 4 = 2*q. Solve -4*b + 11 = -o, -q*o - 5*b + 2 - 4 = 0 for o.
-3
Suppose -y - m = 2*y + 9, 4*m + 8 = 2*y. Let h be 5 - (y/4 + (-36)/(-24)). Solve h*o = 16, -6*v + 2*v + 32 = 5*o for v.
3
Suppose -4*g - 657 + 737 = -3*m, -12 = -3*m. Solve 0 = -h - w + 1, -130*w + 129*w = -5*h + g for h.
4
Suppose 0 = 5*y - 5*z - 25, -5*y = -3*z - 25. Suppose 2*g - y*r - 7 = 0, 0 = -4*g - 5*r + 6*r + 5. Solve 2*n - g - 6 = 3*w, -3*n = -w for w.
-3
Suppose -m = -3*b + 7, 4*b - 21*m + 25*m + 28 = 0. Solve b = -5*s + 3*l - 24, s + 4 + 2 = l for s.
-3
Let w be -102*6/(-54)*3 - 7/7. Solve 8 = 5*a + w, 2*a = 5*x + 15 for x.
-5
Suppose 228 = 65*q - 15*q + 78. Solve g + 5*c = 5, 7*g - 2*g = q*c - 31 for g.
-5
Suppose -35*j + 623 = 168. Suppose 10*z + 15 = j*z + 3*y, -4*z - 5*y + 18 = 0. Solve 4*s = q + 20, -3*q - 9 = -s + z for q.
-4
Let r be 6 + 10/(-5) - (-8 + 90/9). Solve 5*x + 22 = -5*q + 8*q, x = -q + r for x.
-2
Let x be (2/(-6))/(3/(-18)). Suppose -2*t = v - 7, -3*v - x*t + 7 = -10. Solve 3*w + 11 = 5*j, -v*j + 51 - 16 = 5*w for j.
4
Let y be 13/3*(9 + -8 + 2). Solve 0 = 11*p - y*p + 3*g + 12, -3*g - 15 = -3*p for p.
3
Let r be -1 + 12 - -1*(4 - 7). Suppose -r*i + 341 = -2067. Let m be (2/7)/(i/49 + -6). Solve 0 = m*q - 3*g - 11, -3*g = q - 2 + 10 for q.
1
Suppose -3*b - 3*k = -35 + 92, -2*b - 48 = 4*k. Let i be (-4)/b + (-36)/(-21). Let x be 1*17/(-85)*-65 + -6. Solve 4*d + x - i = -o, -o - 5 = -3*d for d.
0
Let l be 581/119 - ((-2646)/(-1785) + (-16)/10). Solve -l*r = 3*i + 2*i + 15, -i = -2*r - 6 for r.
-3
Let u(q) = -751*q + 9014. Let s be u(12). Solve -226 = -2*j + 5*v - 249, -11 = s*j - v for j.
-4
Let i = -189 - -206. Let j(h) = -h**2 + 20*h - 33. Let z be j(i). Solve 3*n - 3 = 0, -n = -5*x + n + z for x.
4
Let a(m) = -m**3 - 8*m**2 + 35*m + 26. Let b be a(-11). Let g(o) = -o**3 + 5*o**2 - 4*o + 3. Let w be g(b). Solve -4*l + 0 + 14 = 2*j, 0 = j + w for l.
5
Suppose -25 = -3*m - 5*q, 0*q + 22 = 6*m - 4*q. Solve 5*v = p - 16, m*v - 3*p - 8 = 4*v for v.
-4
Let l(b) = -b**3 + 8*b**2 - 9*b + 22. Let s be l(7). Suppose -y + 10 = 4*f - 3*y, 5*f = 4*y + s. Solve -3*q + 0*q + 4*a - 23 = 0, -f*a = 5*q - 15 for q.
-1
Let g be (-21)/(-5) + (-34)/170. Suppose 0 = -2*d - 3*d. Suppose -4*c + o = 4*o - 26, -2*o + g = d. Solve -t + c*t - 5*f - 15 = 0, -t + 5*f = 0 for t.
5
Let d = 984 + -974. Solve 25 = 5*s - 5*h, 8*s + d = 10*s - 3*h for s.
5
Let w(c) = 2*c - 70. Let s = -424 - -460. Let t be w(s). Solve -t*d + 4*p + 3 = 15, 0 = 4*d + 4*p - 24 for d.
2
Let f be ((-120)/2016*14)/((-2)/12). Solve f*y = 3*h - 25, -5*h = -10*h + 4*y + 20 for h.
0
Let r be (-31)/(-8) - 7/(-56). Let c be (22/r + -4)*(-8)/(-12). Solve -s + 1 = 5*y, -s + c = -3*y - 0 for s.
1
Let k(t) = t**2 + 2*t - 3. Let g be k(-4). Let z(d) = 698*d - 4882. Let u be z(7). Solve u*j + 18 = -h, -2*h - g = -1 for j.
-4
Let y = 117 + -117. Suppose -q - 2 + 30 = y. Suppose q*b - 19*b = 36. Solve 2*w - 5*w + b*x + 4 = 0, 4*w - 4*x - 8 = 0 for w.
4
Let b be 52/(7 - (-174)/(-26)). Let z = -165 + b. Solve 0 = 4*q + 14 - 6, -2*u + 2*q = -z for u.
0
Let o = 961 - 935. Suppose 0 + o = 13*l. Solve 20 = -4*i - l*w, 1 = i - 5*w - 5 for i.
-4
Let n = -8 + 12. Suppose m + n = 2*m. Let r be (3/23)/((-96984)/(-2484) - 39). Solve 0 = -5*t + q + 1 + 4, m*q = r*t - 20 for t.
0
Let v be ((24/2)/(-4))/((-3)/9). Solve 6 = j - z, v*z + 9 = -j + 7*z for j.
1
Let i be ((-3)/6)/((-1)/82). Suppose i*q - 12 = 40*q. Solve -5*g - 4*v - 13 - q = 0, 5*g + v + 10 = 0 for g.
-1
Suppose 8*b - 4*b = -4*m - 8, -2*m - b = 0. Suppose 95*t - 34*t - 427 = 0. Solve 2*z = -4*l - 12, -3*z - m*l + t = -l for z.
4
Let r = 159 + -148. Suppose -4*c - x = -7, 9 = -4*x - r. Solve -2*s + 3*q + 8 = 2*s, 2*s + c*q = 22 for s.
5
Suppose y = -4*p + 8, -3*y + 4 - 22 = -2*p. Let w(t) = 18*t + 2. Let b be w(16). Let h = -287 + b. Solve h*r + 4*o = 4*r - 23, -2*o - 1 = p*r for r.
3
Let x = 0 - -3. Let w(s) = -s**2 - 5*s + 1. Let f be w(-4). Suppose -20*u + 18*u + h + 6 = 0, -h = 3*u - 14. Solve -5*d + u*b - f*b = 15, -x = d - 3*b for d.
-3
Let a(s) = s**2 + 11*s + 30. Suppose 63*g - 60*g = 36. Let c be g/60 - (92/10 - 2). Let f be a(c). Solve -5*l - 4*u + 3 = 0, f*l - 3*u + 3 + 5 = 0 for l.
-1
Let t be 3 + (-3)/3 + -9. Let o = -7 - t. Let j = -3370 - -3383. Solve 5*y - l = -j, 5*y + l + 17 = -o*l for y.
-3
Suppose 0 = -5*c + 90 - 40. Suppose 16*q - c = 14*q, -4*q = 4*h - 28. Solve h*s + 4 = 3*s, 21 = z + 5*s for z.
1
Let d(y) = -12*y + 8. Let s be d(2). Let q = 23 + s. Suppose -q*a - 6 = -20. Solve 5*z + 15 = -3*k, -5*z - 10 = a*k - 0*z for k.
-5
Let j = -310 + 459. Suppose 6*v = -j + 167. Solve 5*l - 5*t + 30 = 0, 15 = -v*l - 0*t + 2*t for l.
-3
Suppose 0*m = 5*m - 265. Suppose 4*q + 49 = m. Let g(n) = 4*n**2 + n. Let l be g(q). Solve -4*i - 4 = -2*i - 3*b, -5*b = -l*i - 5 for i.
1
Let z be (7337/(-33))/(-29) + (-5)/3. Solve -47*r = b - 51*r + 5, z = 3*r for b.
3
Let l = -70 - -78. Suppose 3*y = l*y - 2*h - 12, -4*y + 4 = -3*h. Solve -5*p - 5*x + 4*x - 17 = 0, y*x - 24 = 3*p for p.
-4
Suppose u - 9 + 16 = 7. Solve 0 = 8*m - 6*m + 3*n + 5, -m - 2*n - 4 = u for m.
2
Suppose -4*o = -2*o - 262. Suppose -o = -3*g + z - 0*z, -4*g + 180 = -4*z. Let f = 64 - g. Solve -n = -5*p + 10, -4*n = 2*p - n - f for p.
3
Suppose -337*d - 18 = -338*d + 3*f, 0 = -2*f - 10. Solve -2*w + d*x + 23 = 0, -31*w - 2*x - 22 = -34*w for w.
4
Let d = -3682 - -3705. Solve -5*b + 26 = -2*p, -21*b + 4*p = -d*b - 4 for b.
4
Suppose 0 = 620*f - 618*f - 22. Suppose -f - 1 = -i - 3*o, 4*o = 4*i + 16. Solve -5*s = 5*g, -2*g - 5*s + 8*s - 15 = i for g.
-3
Let y(j) = j**2 + 2*j - 6. Let d be y(-4). Suppose 3*o = -d*m + 19 + 19, -5*o = 5*m - 55. Solve 2*u - 5*r = 18, 3*u + 3*r - 5*r - o = 0 for u.
4
Let f(m) = 2*m**3 + 19*m**2 - 9*m + 12. Let r = 392 - 402. Let z be f(r). Solve 0 = 5*p + z*x + 4, -3*x - 2*x = -15 for p.
-2
Suppose 3 + 5 = i. Let u be 12/(-20) + 2/(-5) - -1. Let t(n) = -2*n**2 - 2*n + 3. Let a be t(u). Solve -a*r + 2*r = 5*o + 12, 5*o = r - i for r.
-2
Let g(m) = -2*m - 2. Let w be g(-2). Let a(j) = -2*j + 20 + j - 16*j**2 - j**3 + 3*j + 10*j**w. Let k be a(-6). Solve 0 = -5*d - 3*x - x - 6, 0 = 2*x + k for d.
2
Let d be 20/10 - (9 - 7). Let p(q) = q - 2. Let y be p(4). Solve -3*i - g + 5 = d, 0 = y*i + 5*g - 10 - 2 for i.
1
Let z = 2 + 0. Let i be -28 + 37 - (-1)/(-1 - -2). Suppose 4*y - z - i = 0. Solve -4*m = -2*c + 4*c + 20, 2*c - 15 = y*m for c.
0
Let l be 2/(-5)*(5/(-2))/((-4)/(-8)). Solve -3 = 2*u + 3*a - 4, a - 11 = l*u for u.
-4
Suppose 12 = 4*b - b. Let h = -1367 - -1372