2*s - 15 = -15*s. Suppose -s*r = -52 - 13. Let j = -144 + 149. Solve -j*c + r = -0*q + 2*q, 3*c = -q + 7 for c.
1
Suppose 4*v = 2*l - 12, -l + 3*v + 8 + 0 = 0. Let h be (7 + -1)/(-2) - -57. Let p = 59 - h. Solve -l*s + 3 = -f - 4, p*s + 5 = -5*f for f.
-3
Suppose 0 = -5*w - 5*t + 40, 39 = 3*w + 2*t + 15. Solve 10 = 5*y - h, -21*y + 25*y + 3*h = w for y.
2
Let t be ((-276)/16)/((-30)/200). Solve -113*d = -2*g - t*d, 5*d - 10 = -3*g for g.
-5
Let i(n) = -n**3 + 34*n**2 - 35*n + 68. Let b be i(33). Suppose 0 = 2*h - g - 1, -b*h + 6*h + 7 = 5*g. Solve 0*c = -c + j + 2, -h*c = 4*j - 16 for c.
4
Suppose -5*i = -4*l + 1145, -211 = i + 2*l + 32. Let p = 237 + i. Solve -h + 5 = -4*n + 20, -45 = -5*n - p*h for n.
5
Let j(h) = h**2 + 7*h - 3. Let m be j(-8). Let k = 4869 - 4855. Solve 16 = 3*x - m*u, -5*x - u - 6 = k for x.
-3
Let l(f) = f**2 - 142. Let r be l(-12). Solve 28 = -4*i + 5*c + 19, -18 = -2*i - r*c for i.
4
Let r(n) = n - 5. Suppose 115 = -5*z + 160. Let c be r(z). Suppose -4*g + 8*g - 8 = 0. Solve x - 2*f = g*f - 5, 0 = -c*x + 4*f - 20 for x.
-5
Suppose 3*c + 4*m - 25 = 0, -4*c + 17 = -c - 4*m. Suppose -25 - c = -4*g. Let p = -65 - -68. Solve g = -l - p*f, -l + 0*f = f + 4 for l.
-2
Let y be ((-65)/(-39) + -1)*-3*1. Let c be (-12 - 0)*(-14)/(-112)*y. Solve 0*r = c*r + 3*k, -3*r - 2*k + 3 = 0 for r.
3
Let l(x) = -6*x - 1. Let n be l(-1). Suppose 0 = 98*z - 112*z + 1078. Suppose -94*m + 51 = -z*m. Solve -2*v = 2*s + 4 - 2, -m*s - n*v = 7 for s.
1
Suppose 4*q + 76 = 2*x, 4*q - q = 3. Let i = x - 28. Solve 0 = 3*k - 5*g - 30, g - i = -k - 2*k for k.
5
Suppose -75*c = -25*c + 33*c - 249. Solve -4*y = -3*k - 10, y + 2*k = -c*y for y.
1
Suppose q + 0*q = 5. Let i be (-2)/(-2)*(-20 + -18). Let z = i - -41. Solve 0 = -q*u - c + 27 - 3, u = -2*c + z for u.
5
Let h be 18/48*8*(3 + -2). Solve 0 = -h*s - a + 12, -4*a - 3 = -5*s - 0*a for s.
3
Let c = 915 - 913. Suppose 2*i = c*h + 8, -2*i = -3*i + 3*h + 2. Solve -t - 5 = -5*z - 0, 0 = -i*z - t + 15 for z.
2
Let v(m) = m**3 + 30*m**2 - m - 25. Let y be v(-30). Let h be ((-150)/(-9))/y - (-8)/12. Solve 2*j = 3*p - 4, -j - 16 = -4*p - h for j.
4
Let u be 212/(-2438) - (-117)/23. Solve 0 = 4*x + 4*c - 22 + 2, -u = 2*x - c for x.
0
Let l = 5525 + -5523. Solve -x + l = 2*u, 3*x = 10*u - 6*u + 16 for u.
-1
Suppose 5*h + 241 = 3*x, 4*x + 18*h = 14*h + 332. Let l = x - 78. Solve -4*d = -3*d + 3*q - 11, -5*d = l*q for d.
-4
Suppose -51 = -5*l + 4. Let z = -61 - -61. Suppose z = -f - 57 + 59. Solve 4*u = 3*i + f*i - 6, -5*u + l = 3*i for u.
1
Suppose 33*v = 28*v + 20. Let c be ((-3)/5)/(v/(-20)). Solve 0 = 4*a - c*r - 1, 5*a - 2*a + 8 = 4*r for a.
4
Let k = 566 + -561. Solve -3*d + k*z + 19 - 8 = 0, 0 = 4*d - 5*z - 8 for d.
-3
Let k(d) = d**2 - 27*d + 86. Let l be k(3). Let y(j) = -j**3 + 16*j**2 - 28*j + 2. Let q be y(l). Solve 4*v + 0*v - 19 = -h, -q = 2*h for v.
5
Suppose 3*r - 5*p - 315 = -1219, 4*r + 1192 = 4*p. Let g = 301 + r. Solve -a + w - 1 = 3, -2*a - 5*w = g for a.
-4
Suppose -13 = -2*c + 3*o - 4*o, 0 = -5*c - 4*o + 37. Let t = c + -5. Suppose 563*v + 75 = 282*v + 296*v. Solve 5*i = m - t*m - 5, 4*m - 20 = v*i for m.
5
Let m = -3 - -6. Let q be (-4)/(-22) + ((-79120)/1012 - -78). Solve -2*g - 3 = m*b, 4*b = -q*b - g - 9 for b.
-3
Suppose -674*f + 98 = -660*f. Let s = 17 + 28. Let o be ((-105)/s)/(1/(-6)). Solve 0 = -x - 3*b - 8, f*b + o = 5*x + 4*b for x.
1
Let f be 3*((-23)/7 - -3)*21/(-18). Solve 3*q = 4*v + 18, 0 = -3*q - 3*v - 4 + f for q.
2
Let o be (54*58/1305)/(6/10). Solve -o = 53*z - 56*z - 2*a, 0 = -4*z + 2*a + 10 for z.
2
Suppose -1 = 5*s - 6. Let d be -2 + ((-54)/(-8) - s/(-4)). Suppose 2*m = d*x - 0*x - 23, -4*x + 8 = m. Solve -x*a + 2*g = -5*a + 2, -2*a = 4*g + 6 for a.
5
Suppose -5*u - 5*p + 5 = 0, -4*u - 22*p = -23*p - 9. Solve -2*b = u*x - 3*b - 14, 5*b = -3*x - 5 for x.
5
Suppose 2*c + 10 = h, 4*h - 3*c + 4*c = 22. Suppose -16 = -h*k - 4. Solve -15 = 3*b, -i + 27 = k*i - 3*b for i.
4
Let t(p) = p**2 + 9*p + 16. Let o be t(-5). Let i be -17 + 13 + (-16)/o. Solve 11 = -2*r + 5*r + 2*s, -5*s + 20 = i for r.
1
Suppose -4 - 4 = -2*n. Suppose -n*z + z = 0. Let j = 32 - 30. Solve q - j*x + 4 = -0*q, q - x + 3 = z for q.
-2
Let j(v) = -v**3 + 5*v**2 + v - 6. Let z be j(5). Let f be (-95)/5 + -1 - z. Let l = f + 19. Solve 4*c + l*c - 26 = -3*r, -c - 2*r + 9 = 0 for c.
5
Let n = -21859 + 21895. Suppose 4*y + 10 = -2. Let m(w) = -w - 3. Let k be m(y). Solve 3*f - 5*v - 1 = n, 2*v + 10 = k for f.
4
Let u(j) = 27*j**2 - j + 9. Let z(b) = 55*b**2 - 4*b + 20. Let n(d) = 7*u(d) - 3*z(d). Let k be n(-1). Solve 7*m - 3*m + 20 = -2*w, 4*w + k = -2*m for w.
-4
Let j = 77 + -22. Let w = j - 51. Suppose -9 = -z + 3*k, -3*k + 27 = -2*z + w*z. Solve 0*g + z = 4*h + 2*g, -h = -2*g + 2 for h.
2
Let b be 3/(-12) - (-70)/(-8). Let h be (-111)/b + 0 + (-5)/15. Solve -a - 5*x = a - 25, -h = -4*x for a.
5
Suppose -20 = -r - 2*q, -45 = -2*r + q - 4*q. Let v be ((-2)/4)/(1*(-3)/r). Solve -l - v*o + 22 = 0, -6 = -4*l - 4*o + 2 for l.
-3
Let f be 11 + (1 - 3 - 4). Suppose -26 = -5*m + f*t - 1, -2*t + 8 = 4*m. Solve 0*v + v = 5*s + 21, -v - s - m = 0 for v.
1
Suppose -k = -4*x + 9, 0*k = -2*x + 5*k + 9. Let q be x*-1*(6 - 4). Let m be (-18)/q + (-12)/8. Solve -3*z = r - 9, -z + 1 = m*r + 6 for z.
4
Let w be 9 - 376/24 - -6 - 824/(-12). Suppose -5*t + t = 268. Let g = w + t. Solve 3*v = -q - 1 + 3, 4*v + q - g = 0 for v.
-1
Let p be (27104/40)/(-11) + 4/(-10). Let w = -54 - p. Solve 0*i + 5*i - 2*y + 8 = 0, 2*y = 4*i + w for i.
0
Suppose 429*x - 5*w = 430*x - 5, -4*x - 3*w + 3 = 0. Solve l - s + 6 + 0 = x, -5*l + s - 6 = 0 for l.
0
Let i = 111 + -110. Let x be (-24)/(-48)*i*6. Solve 8*c + 3*z + 7 = 3*c, x*c - 4*z = 19 for c.
1
Suppose -37*b + 161 + 2 = -22. Solve 10 = l + l, 4*l - 25 = b*h for h.
-1
Let w(m) = -76*m + 2. Let j be w(0). Solve 0 = -3*s - 2*o - 3, 19 = -5*s - j*o + 10 for s.
-3
Suppose 5*g + 40 = 4*q, -58*q + 4*g + 40 = -54*q. Solve -2*s = 2*n + 6, -9*n - 3*s - 5 = -q*n for n.
-1
Let c = 4469 - 4466. Let j be 1*7 - (-2)/(-2). Solve -j*y + 4*y - c*u - 2 = 0, 0 = 4*y - 3*u + 22 for y.
-4
Let q be 2 + 1 + -9*35/105. Solve -3*b - 5*l - 4 = q, 4*b + 35*l - 33 = 36*l for b.
7
Let r(u) = -6*u**2 - 111*u - 45. Let l be r(-18). Let q be 0/l*8/(-16). Solve q = 4*h + g, -5*h - g - g = 0 for h.
0
Let z(h) = 23*h**3 - 24*h**3 + 15 + 23*h - 8*h**2 + h. Let l be z(-10). Let m = 28 + l. Solve 3*b = d - 4 - 2, 3*b - m*d = 0 for b.
-3
Let o = -3096 + 3099. Solve 2*x + 3*v = -14, -o*x + 3*v = -5 - 4 for x.
-1
Let r(q) = -2*q**2 + 21*q - 11. Let l be r(10). Let g be (4/4 + -1)/l. Suppose 3 + g = a. Solve a = m - p - 6, 5*p + 13 = -3*m for m.
4
Let m = 612 - 519. Suppose -18*s + 147 = m. Solve h + 4*h = -z + 13, -s*h = z - 9 for h.
2
Suppose 0*b + 2*h + 24 = 5*b, 0 = 3*b - 3*h - 18. Let g be (-6)/(-84)*7*6. Let x be -1 - (-7 + (1 - -2)). Solve -x*m + 14 = -b*u, 7*m - 14 = g*u + 3*m for u.
-2
Suppose 219*f + 0 = 220*f - 2. Solve b - 6 = -t - 5, 4*b = -f*t - 4 for t.
4
Let y be -17*(-201)/663 + (-2)/13. Solve 3*x + 0*i = 4*i - 2, -4*i = -y*x - 6 for x.
-2
Let k(p) = -7*p**2 - 30*p - 6. Suppose -13*g - 20 = -8*g. Let h be k(g). Solve -3*c + 3*j + h = -4, -15 = -5*j for c.
5
Suppose 4*v = -311 - 41. Let b = -84 - v. Suppose 4*d + u = 58, b*d - 3*u - 64 = -d. Solve 4*j + 49 - d = -3*c, -4*c - 5*j = 45 for c.
-5
Let h(b) = -b**2 - 18*b - 15. Let v be h(-5). Let u(y) = v - y + 0*y - 39. Let d be u(11). Solve 5*k + 17 = 2*s, -s = -k - 4 - d for k.
-3
Suppose 154*x = 3161 - 2545. Solve -9*y + 5 = -2*t - 10*y, x*t = y - 13 for t.
-3
Suppose -862*l + 90 = -852*l. Solve 0 = 3*a - 6*a - l, 3*a - 3 = 4*p for p.
-3
Let y(r) = 2*r**3 + 46*r**2 + 5*r + 117. Let b be (2*6/24)/(1/(-46)). Let z be y(b). Solve g + 21 = 4*w, -g - 2*w - 7 = z*g for g.
-5
Suppose 2*x + 2*u - 6*u - 16 = 0, 5*x - 25 = -5*u. Solve 2*s + 4*w + 12 = 0, x*s - w = s - 8 for s.
-2
Suppose 32*n + 1210 = 274*n. Solve 0 = 3*s - 6*s, -4*s = -5*t + n for t.
1
Suppose 12 = m + 2*b, -8 = 3*m - 4*m - 4*b. Suppose q - m = -3*q. Solve -4*w = -q*r, -5*w + 5 = -2*r + 17 for w.
-4
Let b = 11840 + -11835. Solve 3*k + 21 = 11*p - 14*p, -b*p = k + 23 for k.
-3
Let m(r) = r + 10. Let s be m(-8). Let c(l) = 6 + 19 - 9*l - 12*l + l**s. Let b be c(20). Solve 5*q - 40 = 5*z, -3*q = 3*z + b + 