olve -22 = -5*a - p*y, 0*a + 12 = 3*a + 2*y for a.
2
Suppose 23*k + 14 = 26*k - y, -y - 5 = 0. Solve r + 2 = 2*w + 3, 3*r - k = -2*w for w.
0
Let h = -9 + 15. Suppose -20 = -k - 5*j, 4*j - h - 10 = k. Solve -4*g - 2*m + 10 + 0 = k, -m = g - 4 for g.
1
Let o be 4/(-14) + (-407)/(-77). Suppose -2 = -2*i + c + 17, -i + 5 = -o*c. Solve p + 4*g + 11 = 0, 0 = -4*g - g - i for p.
-3
Let o(f) = 8*f - 38. Let r be o(8). Suppose 0 = -4*y + 4, -73 = -5*p - 2*y - r. Solve p*u - 5 = 4*u, -3*g + u = 7 for g.
-2
Let s = -561 + 565. Solve 4*o - 6*l + 21 = -l, -s*l = -3*o - 17 for o.
1
Suppose g - 8 = -6. Solve -6 = 5*x - o, -3*o - 1 = 2*x - g*o for x.
-1
Let m(p) = -p**2 + 22*p + 106. Let c be m(25). Solve -7*g + 4*g = -5*o - 5, 4*o + c = -3*g for g.
-5
Let u = -1022 - -1024. Solve 4*p - 5 = m - 0*m, u*p = 3*m - 5 for p.
2
Suppose -29*c + 4*h + 24 = -25*c, -4*h = 24. Let a(o) = -4*o - 1. Let g be a(-1). Solve c = 2*k - 3*f - 8 + 4, k = f + g for k.
5
Suppose 3*x - 3*v = -300, 3*v + 96 = -x + 4. Let f be (-2)/(-7) + (-168)/x. Suppose -7*d + 10*d - 6 = 0. Solve -4*m - d*j = -2 + 4, 0 = -4*m + f*j - 6 for m.
-1
Suppose 8 + 1 = 3*p. Suppose 3*r - 9 = 0, 5*f = 3*f - p*r + 15. Solve -4*g - 14 = -2*i, 3*i - 2*g = -f + 16 for i.
3
Let h be -4 + (5 - 1/(-1)). Suppose -h*d - 14 = -6*d - 2*o, -d = -3*o - 7. Solve -a - 30 = 3*z + 2*a, -d*z = -4*a for z.
-5
Let c(r) = -r**2 - r. Let v(i) = i**3 - 2*i**2 - 4*i + 5. Let n(b) = -5*c(b) + v(b). Let j be n(-3). Solve -j*x + 4*s + 6 = 0, -2*x - 3*s = 2*s + 3 for x.
1
Let b be 0 + 1 + -1 + 2. Let l be 0/((-6)/(-3)) - 0. Suppose -2*p + 3*r = -l*r - 31, 28 = p - 4*r. Solve p = 2*s - y, b*s = 5*s - 2*y - 14 for s.
2
Let z = 369 - 365. Solve u + z = -2*x, -5*x + 5*u - 24 = -4*x for x.
-4
Suppose 2*i - 2 = 0, -3*q = -5*q + 5*i + 3. Suppose -11 = -q*d + 21. Suppose -y - y = -d. Solve -f = 2*g - y - 5, -g - f + 4 = 0 for g.
5
Let w(f) = -2*f + 4. Let c be w(4). Let r be ((-3)/c)/(1/4). Solve 2*a - 4*v = r*a - 12, 3*a - v = -3 for a.
0
Let u = 7 - 54. Let c = u - -50. Solve 0 = -4*t, -4*t - 2 = c*a - a for a.
-1
Suppose 84 = n - 50. Let y = -134 + n. Solve -4*w + 20 = -s - y*s, -w = -5 for s.
0
Let v(j) = -j**3 + 6*j**2 + 5*j + 16. Suppose 3*a = 3 + 18. Let l be v(a). Solve -5*k + l*t = 7, 2*k - t = -2*t - 1 for k.
-1
Let y = 1764 - 1761. Solve 2*x + y*f - 1 = -2*x, -3*x + 4*f = 18 for x.
-2
Suppose -4*p + 5*p = 4. Suppose 6*f + p = 4*f. Let s be f/11 + (-6)/(-33). Solve -4*w - 3*g - 15 = s, -2*w + 2*g + 2*g - 2 = 0 for w.
-3
Let p(u) = -2*u + 2*u**3 + 2*u**3 - 3*u**3. Let d be p(2). Let h = 6281 + -6277. Solve c = g + 3, d*c + 16 = g - h*g for c.
-1
Let m(o) = -o**2 + 28. Let t be m(5). Solve d + t = -3*n, 5*n - 3*d = -7*d + 2 for n.
-2
Suppose 2*h - 2*d + 2 = 4, 3*d = -3*h + 21. Let c = -174 - -206. Solve 4*q + 8 = 4*g, -h*g - 5*q + c = -q for g.
5
Let m be -6 + 10 - -6 - (-1 + 6). Solve -u + 4*i + m = 0, 5*i + 0 = 2*u - 4 for u.
-3
Suppose -5*h + 5*o = 10*o - 35, -16 = -3*h - 4*o. Solve 15 = -3*z, z + h = -a + 4 for a.
-3
Let o = 145 + -167. Let m be 160/88 + (-4)/o. Solve -10 = -2*k, -3*k = -m*f + 3*f - 13 for f.
-2
Suppose 3*l = 2*x - 2, -7 = 5*l - 2*x - 9. Solve z - 3*r = 12, 0 = z + 5*r + 18 + l for z.
0
Let z be -2*2*30/(-24). Solve -5*c + 0*u + z*u = -45, -5*c - 4*u + 9 = 0 for c.
5
Let c = -28 - -28. Suppose -3*m + 1 = 6*l - l, c = -l - 4*m - 10. Suppose 7 = -h + 4*h - l*v, -4*h + 5*v = 0. Solve -4*p = -5*p - 5*k + 2, 2*p - h*k = 4 for p.
2
Let t be (-7 - 12/(-1)) + -1. Solve 3*s = 3*n + s + 8, -n + 2 = t*s for n.
-2
Let f(o) = -o**3 + 6*o**2 + o. Let s be f(6). Suppose -s*b + 20 = -2*b. Solve 0 = b*w - 8*k + 4*k + 8, -2*k = -w - 4 for w.
0
Let k be 4*(-6)/(-30)*5. Solve -5*q - 5 = -q + 5*i, -k*q + i = -1 for q.
0
Let s be (-3 - 10/(-3))/((-3)/(-45)). Solve -f = z, f + z = s*f for f.
0
Let y = 273 + -257. Solve j + 5*l + y = 0, 7*j - 2*l - 2 = 3*j for j.
-1
Suppose -v + 9 = -x - 0, 2*v = -2*x + 2. Let g = -15 - -20. Suppose 1 = 3*h - 2*y, 5*h - 3*y - g = -2. Solve z + 13 = -h*l, l - v*z - 1 = -0 for l.
-4
Let s(w) = w + 23. Suppose 40 = -11*r - 103. Let f be s(r). Solve 5*a = -2*u + 18, -3*a - 4*u - f + 32 = 0 for a.
2
Let j(m) be the third derivative of m**5/60 - 7*m**4/24 + 7*m**3/3 - 15*m**2. Let x be j(5). Solve x*d = 3*n + 28, 4*d + n - 2 - 10 = 0 for d.
4
Suppose -15*r + 17*r = 4*z + 26, -2*r - 2*z = -2. Solve 4*y + v + 20 = 0, -r*v = -y - v - 5 for y.
-5
Let a(k) = 5*k**3 - k**2 - 2*k - 1. Let d = -79 - -81. Let v be a(d). Solve -3*x - v = 5*y, y = 2*y - 5*x - 5 for y.
-5
Let f(s) = -s**3 + 15*s**2 + 17*s - 13. Let y be f(16). Let m be ((-12)/10)/((-2)/5). Let i be 1/((-1)/1) - -3. Solve y*w = g + 2, g + m*w + 2 = i*w for g.
-2
Let v(m) = -m + 5. Let b be v(5). Suppose -4*s + 13 + 15 = b. Solve -4*c = 4*t, s*c - 3*c = 5*t + 9 for t.
-1
Let r(g) = g**3 - 8*g**2 + g + 44. Let d be r(7). Solve 0 = -5*k + 3*u + 34, -d*u - 33 = -3*k - 12 for k.
5
Let t be ((-16)/(-10))/((-2)/(-25)). Let p = -13 + t. Let a = p - 6. Solve -4*z = -k + a, 2*z - 3 = -k - 2 for k.
1
Suppose 0 = -3*g + 1 - 4. Let n = 4 - g. Solve 5*t + 4*d = -d + n, 5*d - 3 = -4*t for t.
2
Let g = 6 + -4. Let l = 237 - 236. Let m = 3 - -6. Solve 3*p - 2*d = -l, 5*d - g*d + m = p for p.
-3
Let p = -1068 + 1075. Solve -l + 3*n - 8 = 0, l + 4*n - p = -1 for l.
-2
Let l(d) = -d**3 + 6*d**2 - 4*d - 5. Let m be l(5). Suppose -2*w + 7*w + 55 = m. Let f = w + 16. Solve f*s - 10 = 2*q - 4*q, 3*q - 15 = -2*s for q.
5
Let x(b) = b**2 + 11*b + 15. Suppose -3*p - 2*m - 32 = 0, 3 - 5 = 2*m. Let l be x(p). Solve -2*y = -l*j + 12, -5*j = -0*y + y - 9 for y.
-1
Suppose -43 - 5 = -6*t. Suppose j + a = 2, 4*a + 2 = -2*j - a. Let m = 7 - 3. Solve -j*h + m*k + t = 0, -2*k = -3*k - 1 for h.
1
Let k = 28 - 8. Suppose -5*g = -9*g + k. Solve -p - 4 = -d, 2*d - 11 = g*p + 6*d for p.
-3
Let q(k) = -21*k + 86. Let w be q(4). Solve l - 11 = -4*s, -w*l - 4*s = -3*l - 21 for l.
-5
Suppose r = -3*a - 11, 7*r - 6*r = 2*a - 1. Let y = 2 + -5. Let q be y/a + (-9)/(-18). Solve q*k - 8 = 0, 5*m - 2*m - k = 5 for m.
3
Let j be 21/(-42)*(-8)/((-6)/(-3)). Solve 0 = -k - j*n + 3, 0*n = 4*k + 4*n + 4 for k.
-5
Let x be (-10)/(-10)*(2 + 80). Suppose 2*y + 54 = 2*t, -3*t = 4*y - 6*y - x. Let f be (-8)/t - 48/(-21). Solve 3*r = p + 18, -2*p + 3*r = f*p + 27 for p.
-3
Suppose -4*a = -o - o - 8, 5*o + 8 = 4*a. Solve -3*g - 6 = 0, -3*s - 3*g - 12 = -o*g for s.
-2
Let w be ((350/(-21))/(-5))/(2/12). Solve -x = -t - w + 22, 0 = -3*x for t.
2
Suppose -n = -0*n + 4*c, -3*n = 2*c. Solve -5*m + 1 = 3*q + 7, n = -4*m - 4*q - 8 for m.
0
Let z(n) = 2*n**2 - 8*n + 9. Let v be z(1). Solve -v*w = 5*f + 16, 3*w - 2 + 0 = 4*f for w.
-2
Let k = -91 - -92. Solve 23 = -5*j + v, -6*v + 3*v = 2*j - k for j.
-4
Suppose 0 = 2*q - 3*k + 6, 4*q - k + 8 = 3*k. Suppose q*s + 4*s = 4. Let b = 879 - 877. Solve -2*t = b*z + 4, -3*z = -8 - s for t.
-5
Suppose -35 = 11*j - 18*j. Solve -j*p = -0*p - m - 26, -2*p - 3*m = -7 for p.
5
Let p = 222 + -220. Solve 0*b + 4*b - h + 1 = 0, p*b + 3 = 3*h for b.
0
Suppose 1 - 8 = -4*a - 3*o, a + 4*o + 8 = 0. Let s be -1 + a + (-6)/2. Let d be s/2 + (1 - -1). Solve -8 = m + d*h, 2 = -3*m + 2*m + h for m.
-4
Suppose 7*g - 4*z = 4*g - 190, -2*g = -z + 130. Let s = g - -70. Solve -2*o - 8 = -a, -3*o = o + s*a - 8 for o.
-2
Suppose 2 = -2*h + 3*h - s, 0 = -4*h + 2*s + 2. Let q = h + 4. Solve -r + t = -t + 8, 2*r - q*t = -12 for r.
0
Suppose -10*q + 7*q = -6. Let n = q - -3. Suppose -7 = 2*b - 0*b - n*h, 0 = -b - 4*h + 16. Solve -2*z - 2*p = -3*z + 1, b*z = 3*p + 14 for z.
5
Suppose 2 = o - 1. Let x(v) = 2*v**3 - 5*v**2 + 5*v - 4. Let f be x(o). Suppose 2*h - 6*h = -f. Solve l - 12 = 3*i + h, -i - 19 = -3*l for i.
-4
Suppose -o + 2*u + 8 = -3*o, 3*o + 4*u + 17 = 0. Suppose 3 - o = j. Solve 0 = -2*f - j*d - 10, -3*f - 2*d = -d + 15 for f.
-5
Let x = -29 + 18. Let v = x + 14. Suppose -4*j - 2 = 3*u, -v*u - j + 4 = -0*u. Solve -3*s - 2 = -u*m - 0*m, 2*s = 3*m + 2 for m.
-2
Let m = -392 - -395. Solve m*c - 5 = -4*d + 6, 2*d = -3*c + 13 for c.
5
Suppose 0 = 6*j - j - 85. Suppose 2*z - 1 = j. Let s = -1378 + 1378. Solve 0 = -4*l - c - z, s*l - 20 = 5*l + 3*c for l.
-1
Let j be (-1)/(28/35 + -1 + 0). Solve -4*o - 25 = h, 2*o - 5 = -2*o + j*h for o.
-5
Suppose -2*r = -4*v - 30, -5*v - r - r - 42 = 0. Let b = v - 