Solve 0*s - s = -5*h - v, -3 = -3*h - 3*s for h.
-2
Let q(i) = 5*i**2 - 2*i - 2. Let w be q(2). Let n = -11 + w. Suppose -n = 3*v - 18. Solve 5 = v*b - 5*g, 5*b - g + 2*g + 25 = 0 for b.
-4
Let r = -43 - -49. Let n(m) = 2*m - 17. Let y(t) = 6*t - 7. Let c be y(3). Let a be n(c). Solve -s = -a*b - 4*s - 4, -b = -2*s + r for b.
-2
Suppose -5*r + 96 = 3*x, 4*x - 76 = -26*r + 28*r. Solve 0 = 4*t - 4*c + 32, -2*t - x = -5*c + 6 for t.
-4
Suppose 0 = 3*g - 6 - 9. Suppose 0 = g*p + 2*o, -3*p - 2*p = 3*o. Suppose -5*i + 5 + 5 = p. Solve i*x - 18 = 2*z - x, -35 = 5*z - 5*x for z.
-3
Let z be ((-7)/2 + 2)/(1/(-2)). Suppose -z*t + 16 = 16. Suppose 5*h - 6*h + 21 = t. Solve r - 4*f = h, -f + 16 = 3*r + r for r.
5
Let j = 125 - 129. Let v be 8*(j + -1 + 2)/(-2). Solve -y - v = -2*y + 3*q, -5*y - 2*q = 8 for y.
0
Let g be -2 - -13 - (-3120)/910*(-14)/8. Solve 4*c = 5*w - 6 - 18, -c = -w + g for w.
4
Let p(z) = z**2 + 8*z + 17. Let a be p(-6). Suppose -4*h + 12 = 0, -37*h + 34*h = 2*j - 11. Solve -i = x - j, -7 = a*x - 3*i - 4 for x.
0
Let d(w) = -13*w**3 + 6*w**3 + 23 - 18*w + 6*w**3 - 20*w**2. Let c be d(-19). Solve -13 = j - 3*g - 0*g, -g = c*j + 13 for j.
-4
Suppose 8*j - 11*j + x + 5 = 0, 0 = 2*j + x - 5. Solve 0 - 4 = 3*k + r, 1 = -j*k - r for k.
-3
Suppose -3*w + 6*w = 15. Suppose -6*a + 231 = 5*a. Solve 5*h + 3*q + a = 0, 4*q - w = 5*h - q for h.
-3
Let a(x) = -x**3 + 32*x**2 - 177*x + 51. Let g be a(25). Solve 0 = 2*z + g + 1, -4*z = -i + 4 for i.
0
Suppose 0*v = 2*v - j + 95, 5*v = -5*j - 215. Let a = v - -46. Suppose a = 18*d - 13*d - 25. Solve 3*p = 17 - d, p = 5*r + 29 for r.
-5
Let d = -42 + 45. Suppose 2*q - 7*q = -4*w - 16, 14 = d*q + 2*w. Solve 3*c + 5*v - 9 = 0, 3*c - q*v + 21 = v for c.
-2
Let d = 12011 - 12001. Solve -7*n + d*n + 22 = -2*g, -5*g - 25 = 0 for n.
-4
Suppose -4*m = -3*m - 3. Let l(x) = -5 - m*x + 2 + 5 + 2. Let w be l(0). Solve 4*g + 3*a = 12, w = -5*g + 4*a + 19 for g.
3
Let j be 8/(-20) + (-8)/(-20). Suppose j = 8*s - 40 + 8. Solve -4*z + 4*g = -4, -z - s*g - g + 7 = 0 for z.
2
Let l(y) = -115*y - 6090. Let v be l(-53). Solve 5*g + 3*x + 10 = 0, -x = v*g + 36 - 26 for g.
-2
Let n = 7020 - 7020. Solve n = -8*a + 4*a + 12, 21 = -3*r + 2*a for r.
-5
Let q be 1/((-345)/46)*-60. Solve 0 = -4*f + 2*p - 18, 4*p - q*p = -3*f - 26 for f.
-2
Suppose -3*l + 2 = -5*g, -4*l = -3*g + 24 - 23. Let p(v) = 2*v**2 - 3*v - 5. Let o be p(g). Solve 25 = -5*a, o*h + 2*a = -h - 15 for h.
-5
Let b be 18*5/((-25)/(-5)). Suppose -b = -3*u - 3. Suppose -5*m + 2*r + 20 = 0, 3*m + 5*r - 4 = 2*m. Solve 4*o - u*p = 4, -5*o + m*p + p + 5 = 0 for o.
1
Suppose 11*f - 6*f - 15 = g, -2 = 4*f + 2*g. Solve -3*a - 8*t + 17 = -4*t, f*a = 3*t for a.
3
Suppose -29*r - 54*r + 114*r - 527 = 0. Solve 5 = y, -4*z + 4*y = -3*z + r for z.
3
Let z be ((-6)/16)/((-48)/384). Solve -19 = -3*j + 4*g, -g - 7 = -6*j + z*j for j.
1
Suppose -4 = -8*j + 4. Let y be 8 - (0 + j) - 95/19. Solve l = b + 5, -5*l + 0*b = -y*b - 16 for l.
2
Let j(v) = -95*v - 620. Let m be j(-7). Solve 3*h = -5*l + 5, 5*h + m = l + 4*l for l.
4
Suppose 26 = 10*y - 4. Suppose -y = c - 5. Let s(l) = l**3 + 2*l**2 - 2*l + 4. Let a be s(-3). Solve -a = c*u + k, k = u - 4*k - 16 for u.
1
Suppose 20 = 5*r + 2*p, 0 = 59*r - 61*r + 3*p + 8. Solve r*x - 12 = 0, 3*b - 4 = -b + 4*x for b.
4
Suppose -4*w + 84 = -4*m + 2*m, -86 = -4*w + 3*m. Let p be (w/(-60))/(2/(-24)). Solve 0 = -5*u - 4*r + 23, -p = -5*r + 6 for u.
3
Let f = 248 - 245. Suppose -2*o + 4*w + 13 + 11 = 0, -f*o + 35 = -5*w. Solve 9 = -9*i + 4*i - 2*d, -4*d = 2*i + o for i.
-1
Let f be 2/((-2)/(-74)*-2). Let t(w) = -13*w - 558. Let j be t(-46). Let s = f + j. Solve 9 = -s*o + 3*v, -2*v - 8 = -4*v for o.
1
Let m = -325 - -583. Suppose 663 = -5*h + m. Let c = h - -85. Solve 0 = -0*u + c*u - 4*y + 12, -u + 5*y - 3 = 0 for u.
-3
Suppose -37*c = -36*c. Suppose c = -g, 5*i + 11*g = 12*g. Let j = -1 + 3. Solve 0 = j*s - 5*a - 14, 0 = -4*s - i*a - 4*a - 28 for s.
-3
Let x(a) = -95*a**3 + 3*a**2 - 15*a - 35. Let c be x(-2). Let u = 769 - c. Solve 0 = 2*n + 5*q - 4 - 29, -5*n + 30 = u*q for n.
4
Let t = -795 - -805. Suppose 2*x = -t*g + 6*g + 4, -4 = -2*x + 4*g. Solve r + 3 = -x*b - 2, 5*r + 25 = 2*b for r.
-5
Suppose -16*p + 33*p - 34 = 0. Solve o = p*f - 2 + 8, 3*f - 9 = -3*o for o.
4
Suppose -13*f + 8 = -10*f - 2*o, -o = -2. Suppose -9*t = -2*i - 11*t + 14, 0 = f*t - 8. Solve -n = -p - 4, i*p = 3*p - n - 8 for p.
-4
Suppose -5*g + 125 = -5*t, t + 44 = 2*g + 2*t. Suppose h = g*h. Solve -5*l - 5 = 5*d, -d = 2*l + 2 - h for d.
0
Let r be 237/1264 - 109/(-16). Solve -n + r*i = 4*i - 14, 0 = n - 5*i - 20 for n.
5
Suppose 4*u - 2*u - 22 = -2*i, 14 = 2*u + 4*i. Suppose 5*s + 13 + 12 = 0, 4 = -2*c - 2*s. Solve c*y + u = -3*a, 4*a = y + 2 - 17 for a.
-4
Let k = 5242 + -5232. Solve 0 = -4*m + s - 25, m - 57*s + k = -56*s for m.
-5
Let h = -12 + 12. Let j be ((-1)/(-3)*h)/(-2). Suppose j = -2*l + 3*f, 3*f - 6 = -0. Solve -9 = z + l*w, 5*w = -3*z + z - 16 for z.
-3
Suppose 3*i - 7*g + 3*g - 39 = 0, 4*i = -3*g + 77. Let b be 120/1020 + 100/i. Solve 2 - 4 = 2*u - 3*n, b = -2*u + 4*n for u.
5
Let c(n) = -138*n - 271. Let k be c(-2). Solve 4*m - 18 = k*x + 12, 5*m = -3*x + 19 for m.
5
Suppose -288 = -139*r - 5*r. Solve -r*l + 1 + 0 = m, m - 3*l = -14 for m.
-5
Let p = 15 - 15. Let h(j) = 5*j**2 + 86*j + 83. Let k be h(-1). Solve -k*g = 2*n - 5*n + 5, p = -4*g + 5*n - 7 for g.
2
Let v = -691 + 691. Suppose -69*h + 39*h + 60 = v. Solve 0 = -3*c + 4*n - 3, 2*n - 1 = h*c + 1 for c.
-1
Let z be (-3)/9 - (-24)/(-9). Let j be 0 + -2 + (55 - (z + 0)). Suppose -3*d = 5*v - j, 1 = v - 0. Solve c + 0*c = 5*i - d, 3*i = 12 for c.
3
Let j(w) = -420 + 347 + 22*w - 7*w. Let b be j(5). Let d = 12 - 4. Solve -5*m + d = -z, 4*z - m - b*m = 2 for z.
2
Let s be 608/144 + 8/(-36). Solve 0 = -5*i + s*a + 4, 2*i + 589 = -5*a + 584 for i.
0
Let x = -36 + 44. Suppose -x*g + 38 = 6. Let y be 0*(g*(-1)/2 - -1). Solve -10 = 3*o - i, y*o + 5*o = i - 18 for o.
-4
Suppose 6*r + 4*i = r + 37, 0 = 4*r + i - 23. Suppose -r*a + 42 = 27. Solve -o + 0*b - b = -10, -a*o = 5*b - 40 for o.
5
Let r(t) = 3*t. Let k be (-3)/(-6)*1*-6. Let g be (-1 + 1)/(1/1 + k). Let m be r(g). Solve -6 = -f - m*o + 3*o, -4*f + o = -2 for f.
0
Suppose -6*v + 6*v - 2*v + 10 = 0. Let q be 5*(24/10 - 2). Suppose -x + 2 = p - 1, -x + q*p = -3. Solve 0 = -4*f - t - 18, -x*f + 0*f - 5 = v*t for f.
-5
Let i(l) = -19*l**2 + 4*l + 3. Let n be i(-1). Let a = n - -39. Solve -a = 4*z + j - 0*j, 3*z + 5*j + 10 = 0 for z.
-5
Let y(g) = -2*g**3 + 12*g**2 - 4*g + 31. Let k be y(6). Solve -2*s + 8 = -5*z, -k*z + 3*z - 5 = -3*s for s.
-1
Let z(b) = -b**3 + 9*b**2 - 15*b + 13. Let u be z(7). Let n be u/8*224/42. Solve 4*q + 3*h + 3 = -4, -n = 4*q + 4*h for q.
-4
Let r(j) = 152*j - 1054. Let c be r(7). Solve 4*l = c*a - 6*a - 12, -2*l - 5*a + 22 = 0 for l.
1
Let j(r) = 2*r - 4. Let p be j(3). Suppose 3*z = -3*k + 18, -3*k + 2*k = p*z - 11. Let h be -2*(5 + (-45)/6). Solve 3*m - 4 = 2*v - h, -z*v + 4*m = -6 for v.
2
Suppose 3*y + d + 11 = 0, -5*y = -0*y - d + 13. Let g be (-21 - y)*(-2)/4 - 0. Let l = -4 + g. Solve 6 = -3*n - 3*c - 24, l*n - 4*c = -5 for n.
-5
Let k = 1296 - 1294. Solve k*v - 5 = -r, -15*r + 9 = -11*r - 3*v for r.
3
Let c(j) = 2*j**3 - 26*j**2 + 61*j + 3. Let o be c(10). Solve -2*m - 4*r - 12 = -6*m, 0 = 5*m - 4*r - o for m.
1
Let n be 8/(-10) - 168/(-35). Suppose k - l + 44 = 0, 0 = 2*k - n*k + l - 89. Let x be 3/(k/10)*-3. Solve -u + 19 = -4*s, -x*u = -0*u - s - 10 for u.
3
Let s be 1/2 + (-6)/(-4). Let m be (-46)/(-69) - ((-8648)/6)/4. Let i = 361 - m. Solve 3*y - 12 = s*d + y, -d + 5*y - 10 = i for d.
-5
Let a(w) = -3*w + 4. Suppose 0 = -10*x + 358 + 362. Let k = x + -72. Let j be a(k). Solve 0 = j*u - 3*m - 14, -m = -4*u - 3*m + 4 for u.
2
Suppose 27 = 6*j + 9. Solve -2 = -j*t - 2*x + 7, 3*t - 2*x - 9 = 0 for t.
3
Let p be (1 - -1)/(176/(-6) + 30). Solve -3*m - 8 = -u, 3*m + p*u = 4*m + 16 for m.
-1
Let a(k) = -9 - k**2 + 4 - 8 - 7 - 120*k + 134*k. Let s be a(4). Solve x = -5*c + s, 2*c - 5*c = -15 for x.
-5
Let l = -61 - -61. Suppose -5 + 15 = o + 2*y, l = -o - 5*y + 22. Suppose 0 = 17*p - 5*p - 36. Solve 4*f + r + 19 = 0, -3*f - 22 = o*f + p*r for f.
-5
Let t(b) = 4*b**2 - 17*b - 11. Let y be t(5). Solve -p + 6 = -u, -5*u - 