Let s = 162 + 492. Let i = -652 + s. Solve 0 = 5*j - j + 2*n - i, y = 4*j + n - 3 for j.
1
Let y be (0 - (-7)/2) + (-2)/(-4). Suppose -y*k - 18 = 2*i, 0*i - 2*i - 23 = 5*k. Let r be (2 - 2)/(-3 - k). Solve -5*p - 5*f = -25, 5*f + r + 2 = 4*p for p.
3
Let d be 2/1*(1 - -1). Let h = -504 - -509. Suppose 6*i - h*i + x - 4 = 0, -d*i = -2*x - 16. Solve -i*p - 2*j + 16 = 0, -j = -3*p - p + 4 for p.
2
Suppose 2*i - 257 + 35 = -5*q, 2*i = 4*q - 174. Let u be (3/(-2))/(q/(-88)). Solve 2*g - 3*n = g + 17, 3*g = u*n + 21 for g.
2
Suppose -404 + 1729 = 54*k - k. Solve 0 = 5*v - 3*y + 11, v + 3*y + k = -3*v for v.
-4
Suppose 28 = -976*j + 978*j. Solve -r = -1, 4*s - j = -3*r - 19 for s.
-2
Let d be (-1)/8 + (-730)/(-80). Let s be (1 - d)*28/(-112). Solve -s*y + 3*a = 19, -4*y - 14 = a + a for y.
-5
Let q be ((-1)/4)/(-1) + (-44)/(-16). Let o be 4 + (4 - q) + 3. Suppose o = a + a. Solve 4*p = a*d + 24, -3*p - 5 - 7 = 3*d for p.
1
Let u be (-36)/(-135)*6*(1 + 12/8). Solve -5*c - 3 = 4*a, -2*a + u*a - 2*c - 12 = 0 for a.
3
Suppose -3*z + 5*t = -0*t + 172, 0 = -4*t + 20. Let f = -43 - z. Suppose n = f*n - 10. Solve 0 = n*l + 5*u - 10, -3*u + 7 = 2*l + 1 for l.
0
Let u(r) = r**2 - r - 6. Let k be u(4). Suppose k*m - 3*m - 6 = 0. Suppose 5*i + 0*h - 6 = 2*h, 0 = -h + m. Solve -4*f - 32 = -0*f + 4*p, 0 = 2*f - i*p for f.
-4
Let l = -34 - -136. Let q = 114 - l. Suppose -q*j = -30 - 30. Solve 5*g = 3*g - 6, -2*t - j = -g for t.
-4
Suppose -g = -2*x - 10, 21*g + 5*x = 19*g + 11. Solve 5*l = a + g + 2, -2*a = -4*l + 8 for a.
0
Let k = 36 - 28. Let j be (5/2 - 4/(-8))*1. Solve j*z + 0 = -5*o - k, -4*o - z = 12 for o.
-4
Suppose 3*r = 2*p - 19 - 32, 5*r + 69 = -2*p. Let m be r/2*(-8)/12*1. Solve 4*j - 13 = t - 0, -m*t = -15 for j.
4
Let b(g) = 7*g + 66. Let k be b(-17). Let m = k + 55. Solve -c - m*i + 9 = 0, c = -2*c + i - 1 for c.
1
Let w(u) = 269*u + 814. Let g be w(-3). Solve 3*m - 4*a + g = 0, 21 - 19 = m + 3*a for m.
-1
Let x(n) = 7*n**2 + 2*n - 5. Let u be x(-3). Let z = u - 50. Let s be (1/z - -1)*66/9. Solve 15 = 5*c, 4*c + c - s = -i for i.
-4
Let u = -183 - -181. Let m be u/13 - 30/(-195). Solve 3*r - 2*y = 2*r + 5, 4*y + 20 = m for r.
-5
Let n be -1*(3 + -4)*2. Suppose -44 = -n*b - 36. Solve 0 = 4*y + 4*m, 0*y - 4 = 3*y + b*m for y.
4
Suppose -6 = 3*o - 15. Suppose 19 = 17*m - 32. Solve -14 = m*y + i, -o = -2*y - 2*i - 11 for y.
-5
Let g be (2*(-25)/20)/((-30)/36). Solve -4*q = 2*s - 6 - 8, 0 = -g*q + 4*s + 5 for q.
3
Let q be (8/(-4))/((-2)/26). Suppose q + 4 = 6*v. Suppose 0 = 6*b - v*b - 12. Solve -5*s + 5*g - 6*g = -b, 4*s - 15 = g for s.
3
Let o = -214 - -187. Let a be (6/(-27))/(3/o). Solve 0 = -3*g + a*q + 1, 0 = 2*g + 3*q + 21 for g.
-3
Let w = -63 - -59. Let i be ((-22)/3)/(1*w/18). Suppose -z - i = -12*z. Solve -2*c = -0*a - z*a + 9, -2*c = -a + 7 for a.
1
Suppose -37 - 11 = -16*k. Let l be k + (-5 - -3) + -1. Solve 3*p + g = l, -5*p + g - 2*g + 2 = 0 for p.
1
Let b = 1014 + -1005. Let p be -1*(-1 - 0)*(b - 5). Solve 0 = -4*g + 4, p*j + 5*g - 20 = -3 for j.
3
Suppose -6*p + 24 + 72 = 0. Suppose -3*y + 3*h + 21 = 0, -h + 0 = -4*y + p. Solve -3*v = 2*x - 4, -v - 2*x + y*x = -8 for v.
4
Let p be 9 + (810/(-18))/9 + -4 + 0. Solve p = -5*c + 15, -2*c - 7 = 2*t - c for t.
-5
Let m(p) = 73*p - 145*p - 22 + 73*p. Let x be m(27). Suppose -r = x*r + 2*r. Solve 0 = 5*i - 2*t + 4, r*i + 3*i + 5*t = 10 for i.
0
Let y = -106275 - -106280. Let u(l) = l**3 + 6*l**2 - 9*l - 10. Let i be u(-7). Solve i*q = -y*n + 1 - 17, 4*n = -4*q - 16 for n.
0
Let q be 0/1 + -2 + 32/(-16). Let f(m) = -m**3 - 3*m**2 - 4*m - 4. Let v be f(q). Suppose 31 - v = a. Solve 8 = -2*j + 2*g, 5*j + 0*g - a*g + 10 = 0 for j.
1
Suppose 4*u - 5*s - 217 = 0, -u = u + 4*s - 76. Suppose -v - 3*v + u = 0. Suppose 0 = 50*r - r - 147. Solve -r*a - v = -3*n - 0*a, -7 = 2*n + 3*a for n.
1
Suppose 3*o + 2*y = 293, y = -5*o + o + 389. Suppose 0*k - o = 3*k - w, -5*k - 175 = w. Let t = -33 - k. Solve -4*b - n = 3 + t, 2 = b + n for b.
-2
Suppose 6 = -0*l + 2*l + 4*t, -4*t + 12 = 4*l. Suppose u - 2*w - 31 = 5, 4*u + w = 126. Let m = u + -27. Solve 2*a = -m*o - 0*o - 1, -l*a = 5*o - 1 for a.
2
Let l = -182 - -107. Let v = 80 + l. Solve -2*n + 5*q - 11 = 0, 0*n + 5*n + v*q - 25 = 0 for n.
2
Suppose 75*q = 66*q. Let a be (27 - 26) + (q + 1)/1. Solve -4*y = -2*x + 14, 0*y - a*y = 2*x + 10 for x.
-1
Let r be -182 + 201 - (-30)/(-2). Solve u = r*d, -5*u + 7*d - 10*d = -23 for u.
4
Suppose 0 = -2*b - 2 + 8. Suppose 0 = m - 12 - 36. Suppose -6*t = -3*t - m. Solve -p - b*p = w + 17, -3*p + 5*w = -t for p.
-3
Suppose -5*h + 65 - 20 = -4*r, 0 = 3*h + 3*r. Let z(t) = -4*t**2 + 22*t - 6. Let f be z(h). Solve -3*n - 26 = -4*a, f*a = 5*n + 17 + 13 for a.
5
Let s be 3 - (-2 - -3)/(-2)*-2. Let z be (1 - 79/10*s)*5. Let q = -74 - z. Solve c - 5*n - 18 = -q*c, 2*n = 4*c for c.
-2
Let f = 10 + -1. Suppose f = 5*d - d - 3*o, o = -3. Let w = -73168 - -73169. Solve v - 5*c - 2 - w = d, -2*c = 0 for v.
3
Suppose 0 = 5*y - m + 36, -5 = 3*y + 4*m + 12. Let o(q) = 2*q**2 + 15*q + 14. Let c be o(y). Solve 3*f = -t + 10, 0 = -9*f + c*f + 2*t + 12 for f.
4
Suppose 4*h = 5*h - 9. Let n = -13759 + 13763. Solve 4 = 3*m - 4*z, h*m = 4*m + n*z + 12 for m.
4
Suppose 3 + 2 - 5 = 10*x. Solve x = -5*q - 9*j + 6*j + 15, 3*j = q + 15 for q.
0
Let t(x) = -12*x - 20. Suppose -208*f + 194*f - 28 = 0. Let y be t(f). Solve -y*s = o - 15, 2 + 22 = 5*s - 4*o for s.
4
Suppose -19*m = -11*m + 31*m - 351. Solve 0 = m*a - 13*a + 2*b + 8, 2*b = -8 for a.
0
Let d = 18 + -42. Let x = d - -24. Suppose x*a = 3*a - 6. Solve 19 = 4*q - j, 2*q + a*j + 3 = 3*q for q.
5
Suppose 389 = 6*z - 19. Let u = z - 57. Let h(j) = 4*j - 41. Let o be h(u). Solve 17 = -4*x - o*t, -x + 2*t - 8 = 4*t for x.
-2
Suppose 0 = -5*w + 9*m - 4*m - 5, -9 = w - 3*m. Solve -3*p - 2*b = -7, 0 = w*b + 2*b + 5 for p.
3
Let p(g) be the third derivative of -g**4/8 - 17*g**3/3 + 2*g**2 - 61. Let d be p(-13). Solve -5*v - 4*b = -27, -2*v - v - d*b + 24 = 0 for v.
3
Suppose -2*l - 320 - 16 = 0. Let y = 172 + l. Solve 0 = -c + y*k + 9, -3*c + 0*k = -4*k - 11 for c.
1
Suppose -4*v = -939 - 577. Let h = 393 - v. Solve -4*z + h = 2*m, -5 = -3*z + 3*m + m for z.
3
Let j = -57 + 110. Let s = j - 50. Let k be 25/s + (-1)/3*-2. Solve 5*w + k = 24, -4*p + 16 = 4*w for p.
1
Let g(w) = 24*w - 381. Let n be g(37). Let a = 508 - n. Solve l = -3*h - 9 - 0, h - a = l for h.
-2
Let r = -20195 - -20198. Suppose 12 - 36 = -2*j. Solve 0*b = -f + r*b + 7, 4*f - j = 4*b for f.
1
Let v be 63/28*4/3. Solve -p = -v*t + 7, 3*p + 2*t = 2*p + 3 for p.
-1
Let t be 56/21 - (-4)/(-6). Let b(v) = -5*v - 12 + 11*v + 2*v**t + 8*v. Let x be b(-8). Solve -2*n = -3*z - 10, 5*n = x*z + z + 15 for n.
-1
Let h(g) = -19 - 12*g + 37 + 22. Let s be h(3). Solve s*a + 4 + 21 = k, 5 = k for a.
-5
Let p be (136 + -134)*(-2 + 3). Suppose 0 = 4*k - 2 - 6. Solve p*c + 3 = -5*x - k, x + 1 = 0 for c.
0
Suppose i = -3*k - 24, 3*i + 52 = -5*k + k. Let a be 10/i*(-16 - -3 - -7). Solve 5*v - 2 = 3*w + 14, -10 = -a*v + 5*w for v.
5
Let c = 37 - 129. Let z be -4 + (-4 - -5*21). Let v = c + z. Solve -2*y - o = 2 - 6, 4*y + v*o = 2 for y.
3
Suppose 0 = 233*o - 231*o - 3*k + 5, 0 = 2*o + 3*k - 13. Solve -2*n + 2*r - 8 = 0, -1 = o*n - r + 3 for n.
0
Suppose -c = 4*u - 43 - 20, -c - 73 = -4*u. Let x be (-18 + u)/((-1)/3). Solve 2*f - b = 6, -x*f - f = -b - 10 for f.
2
Let c(z) = -z**2 - 13*z - 28. Suppose -5*o = 4*o + 27. Let u be c(o). Solve -3*y + 29 = -5*f, -9 = u*f - y + 2 for f.
-4
Let g = 33 - 29. Suppose 76 = 18*k + g. Solve 0 = -5*z + 4*d + 19, -z + d = k*d for z.
3
Let i = 426 - 623. Let d = -192 - i. Solve 0 = d*r + 5*b - 15, -2*b = -2*r + 2*b - 24 for r.
-2
Let y be (-1)/(1/(-5) - 0). Suppose 0 = -3*s + 4*m + 26, s = 6*m - 2*m + 6. Suppose 6*q - q = s. Solve -4 = -4*j, 0 = -q*i + 2*j - j + y for i.
3
Let c = -22372 + 22374. Solve 18*k - 19*k = -c*w - 6, -2*w = 6 for k.
0
Let h(o) = 2*o**2 - 69*o + 546. Let l be h(11). Solve 3*g + 6 = 2*a + l, 5*g - 2*a - 33 = 0 for g.
5
Suppose 0 = 6*p - 2*p + 3*x + 26, 31 = -5*p - 3*x. Let w(s) = 7*s + 39. Let j be w(p). Let d = -4 + 13. Solve o + d = -5*f + 3*o, -4*o + 4 = j*f for f.
-1
Let s(b) = -8*b + 131. Let f be s(-31). Let u = -376 + f. Solve 2*x - y = y - 18, -15 = -u*y for x.
-4
Let d be -1*0/(-1 - 