*r = 5*a + 27, a - m*r = -0*r - 7 for a.
-5
Let f(y) = -y + 6. Let z(q) = -2*q + 2. Let k be z(-3). Let j be f(k). Let b be j - -3 - (-1 + -3). Solve 0 = 4*w - 4*v + 8, -b = 2*w + 4*v - 1 for w.
-2
Let b(r) = 2*r - 13. Let k(i) = -i + 1. Let g be k(-2). Suppose -2*a = g*m - 20 - 7, -4*m = 3*a - 36. Let u be b(m). Solve -1 = 3*p + 14, -u*p = 2*t + 31 for t.
-3
Let l(s) = s**2 - 7*s - 4. Let j be l(10). Let u = 22 + 6. Solve -4*m = -5*w + j, -4*w + u = -m - 4*m for m.
-4
Suppose 0 = -10*t + 6*t + 16. Suppose 0 = j + 1 - t. Suppose -2 - 13 = -j*y. Solve g - 1 - 6 = y*x, -x + 4 = -2*g for g.
-3
Let l be 2/2*(0 + -1). Suppose 7*p = 6*p - 1. Let q = l - p. Solve 0 = 4*z + 16, q*a + 4*z + 22 = -2*a for a.
-3
Let o(g) = -g**3 - 5*g**2 - g - 5. Let t be o(-5). Solve t = 2*v + 2*h - 2 - 2, -2*v = 4*h - 8 for v.
0
Let a be 788/52 + 4/(-26). Solve 4*o + 10 + 14 = 4*r, 4*o + a = r for o.
-3
Let o = -30 + 34. Solve 16 = -4*b + o*s, -4*s = -b - 0*b - 4 for b.
-4
Let b = 25 + -15. Suppose b = o + o. Solve -o*a = p + p + 11, -a - 7 = 2*p for p.
-3
Let p(f) = -f**3 - 3*f**2 + 3*f - 2. Let d be p(-4). Let z = 4 + d. Let v = 11 - z. Solve -v*y + y = 4*h, 4*y + 2 = -2*h for y.
-1
Let r be -1*(1 + 0 + -3). Solve 3*z = 4*z + 1, r*k = -4*z for k.
2
Let z be (-20)/15 + (-16)/(-12). Solve 6*j = 4*f + 3*j + 4, z = -2*j for f.
-1
Let j be (-10 + 1)/(14/(-14)). Solve -5*u + j = -v, -2 = v + 2*u - 0 for v.
-4
Let d = 10 + -7. Suppose -n - j + d = -14, -2*n = 3*j - 36. Solve 2*f = -2*p + 14, f - n = -p - 2*f for p.
3
Let m = -52 - -55. Solve r - g = 2, g + 3 = m*r - 1 for r.
1
Let u = 8 - 3. Solve -3*j + 0*j = 2*v + 1, -2*v - u*j + 1 = 0 for v.
-2
Let z(s) = -s**3 + 8*s**2 + s - 3. Let q(h) = -h**3 + 8*h**2 + 2*h - 8. Let m be q(8). Let v be z(m). Solve -f + 2*j = -1, v*f = j + 4*j for f.
-1
Let p(i) = 2*i - 8. Let j be p(7). Suppose 2*u = -u + j. Suppose o - 7 = -0*o + 4*c, -2*c = 3*o - 21. Solve 0 = 3*h + t + o, u*h - 2*t = -0*t + 6 for h.
-1
Suppose -12 = k - 4*k. Suppose -5 = -0*g - g. Suppose -6*d + d = -4*h + 9, -g*d - 3 = 2*h. Solve -8 = -5*t - 2*n + h, -k*n = -8 for t.
1
Let o = -15 - -34. Let c = 12 - o. Let h = c + 11. Solve -x = -h*x - z - 5, -z = -5*x + 5 for x.
0
Let m(k) = -k**2 + 4*k + 1. Let z(l) = l**3 + 7*l**2 + 6*l + 4. Let q be z(-6). Let g be m(q). Solve -2 = -2*h - 4*r, -4 = 4*h + 5*r + g for h.
-5
Let s be (15/25)/((-6)/(-20)). Solve -2*p + 3*f = 0, s*p - 2*f - 1 = -3 for p.
-3
Suppose -4*s = -0*s. Suppose -r + 4 = -s*r. Let a be r/22 - (-252)/66. Solve 0 = 2*l - q, 0 = -0*q + q - a for l.
2
Suppose 0 = -2*v - 10, 0*y + 2*y - 29 = 5*v. Solve 0 = 2*b, -5*m + y*b + 10 = -10 for m.
4
Let c(w) = 2*w**2 - 2 + 3*w + w**2 - 2*w**2 + 5. Let s be c(-4). Solve 2*d + 17 = 5*n, 3*d - 3*n + 19 = s for d.
-1
Suppose 2*m - 4 = 26. Solve 0*b = -4*u + b + 1, 0 = 3*b + m for u.
-1
Suppose -s - 13 = -2*s. Suppose -s = -5*l - 3. Solve 4*b + 6 = 3*c, 3*c - 2*c = -b + l for b.
0
Let t(i) = -i**2 - i + 1. Let n be t(-4). Let a = n - -15. Solve 0*j + 4*b = 3*j + 5, -5*b = -a*j - 5 for j.
5
Let s(r) = 12. Let t(v) = -13 - 4*v + 5*v - 11. Let f(d) = -5*s(d) - 2*t(d). Let o be f(-8). Solve o*m - 2*m + 17 = -5*i, -i - 5 = 2*m for m.
-1
Let f(h) = h - 6. Suppose 3*l = 3*j + 8 - 2, -l + 26 = 5*j. Let b be f(l). Solve b = a - 5*z, 3*a + a + 4*z = -24 for a.
-5
Let r be 0 + (-2)/(4/30). Let x be (r/12)/(4/(-16)). Solve x*h - 35 = -8*p + 4*p, p - 11 = -2*h for h.
3
Suppose o + 9 = 4*o. Solve 0 = -2*g + 3*d - 19, 0 = -3*g + 7*g + d + o for g.
-2
Let p = 7 - 8. Let q be p + (-2 + 5)*2. Solve 5*h + 3*b = -0*b - 18, -4*b + q = -3*h for h.
-3
Let a be (0/1)/(-20 + 17). Suppose a = 2*d - 6. Solve 0 = -3*l + 5*z + 11, -d*l + 23 = -8*l - 2*z for l.
-3
Let n(a) = a**2 + 3*a + 1. Let r be n(-4). Let p(h) = -h**2 - 4*h + 5. Let w be p(-5). Solve -r*b - k + 25 = -0*k, k = w for b.
5
Suppose 3*t - 13 = -4*j, -j + 5 = 3*t - 4*t. Let h = t - -1. Solve 5*s + 2 = -4*y - 8, h = -5*s + 5*y + 35 for s.
2
Let l = -16 - -23. Let f be (-20 + -4 + l)*-1. Solve -4*h = -b - f, 0*h + 13 = 2*h - 5*b for h.
4
Suppose -5*l + 3*d = -44, 2*l + d + 2 = 13. Solve 4*y = -k - l, 2*k - 22 = -3*y + 7*y for y.
-3
Suppose 2*m = 4*m - 10. Solve 4*k = m*j - 6, j - 5*k + 1 = -2 for j.
2
Let j = -14 + 16. Suppose 0 = -4*y + 6 + j. Solve -4*v + 9 = -3*o, -4*v - y*o + 1 + 13 = 0 for v.
3
Let s be (12/15)/((-2)/(-5)). Let t be 1 - (2 + s + -2). Let b be ((-8)/(-2) - 0) + t. Solve b*q - 3*o - 18 = 0, -3*q - 2*q + 4*o + 26 = 0 for q.
2
Suppose -11 = j - 6. Let x = -2 - j. Solve 4*a + 0*a + 29 = -x*o, 0 = a + 3*o + 14 for a.
-5
Suppose -7*k = -2*k - 30. Let b be 2*1 + -5 + k. Solve a + b*x + x = 3, -3*a = -5*x - 9 for a.
3
Suppose -86 = -3*t + l, 4*t + 0*l + l - 124 = 0. Let p = t + -14. Solve -4*x + w - p = 2*w, 4*x + 3*w + 8 = 0 for x.
-5
Suppose 75 = 5*z + 3*m, z + 15 = 2*z + 5*m. Let f = -10 + z. Solve -3 = f*l + 4*n, -4*l = l - 3*n - 11 for l.
1
Let d be (-9)/(-1) - 3*1. Let f be 8 - d/15*5. Solve 0 = -4*a - 2*n + f, -5*n = a - n - 5 for a.
1
Let a(w) be the third derivative of w**6/120 + w**5/15 + w**4/8 + w**3/2 + w**2. Let g be a(-3). Solve 0 = -g*t - 2*r + 1, 6 = -4*t + 2*t + 2*r for t.
-1
Suppose 2*v - 8 + 0 = 0. Suppose 22 = n - v*p, p + 11 = 4*n - 2. Solve 5*b - 5*y - 3 = -4*y, n*b + 8 = 5*y for b.
1
Let c(t) = -t**2 - 8*t - 7. Let a be c(-6). Solve a*r - 4*s = r + 4, -10 = 2*s for r.
-4
Suppose -4*j - r - 4 = -5*j, 3*j = -3*r. Let h be -2 + 13 + (1 - j). Let b = 0 + 2. Solve 0 = 4*v + s - 19, b*v - 1 = -s + h for v.
4
Let z = 27 - 9. Suppose 2 = 2*q + 22. Let l = q + z. Solve -40 + 8 = -5*k + 3*g, 3*g = -k - l for k.
4
Suppose 4*t - 2*r + 12 = -20, 4*r = -16. Let h be t/(-4)*(2 - 0). Solve 0 = i - 2*q - 7, 3*i = -4*q + h*q - 4 for i.
-3
Let i(d) = -d**3 + 14*d**2 + 15*d + 3. Suppose 4*j + j - 75 = 0. Let y be i(j). Solve -w + 3 = -3*l - 2, 4*l = y*w - 10 for w.
2
Let m(q) = 4*q + 11. Suppose 5*f = -5*w - 60, -5*f - 43 = -f - w. Let h be m(f). Let c = h + 48. Solve t - 4*u = -c, 2*t - 15 + 0 = -u for t.
5
Let g be 88/20 - (-3)/5. Solve -3*m + 2*h = -10, 0 = -m - g*h + 1 - 9 for m.
2
Suppose -21 + 6 = 5*d. Let l be 16/3 - 2/(-3). Let r = l + d. Solve 0 = 3*o + o + r*c - 4, c - 2 = -2*o for o.
1
Suppose -3*u + 3*u - 2*u = 0. Solve 5*o = 4*k - 25, u = 2*o - 0*k - 5*k + 27 for o.
-1
Suppose q + 16 = 3*g, 5*q + 6 = 2*g - 9. Suppose -g*k + 0*k = -10. Let o be -6*k/6*-14. Solve -4*a + 2*a + o = -5*n, 0 = -5*a + 2*n + 28 for a.
4
Let h be 1/2 - (-39)/6. Let z = 16 - h. Suppose 0*x - z = -5*q - 2*x, 0 = 4*q - 5*x - 27. Solve q*w + c + 4*c - 14 = 0, -5*w + 4*c = 26 for w.
-2
Suppose 0 = 3*n - 3*u + 3 + 3, u = -n + 8. Solve 0 = 5*r - 4*k - 35, n*k - 12 = r + 6*k for r.
3
Suppose 3*g = -4*b + 239, -324 = -3*g + b - 65. Suppose -v - 5*m + g = 4*v, 0 = -4*m. Suppose -5*i + 4*i = -v. Solve x - 28 = 4*z - x, 0 = 5*z + 2*x + i for z.
-5
Let x be (28/6)/(4/(-6)). Let z be (-4)/8 + x/(-2). Solve -2*j + 3*a - z = 0, 4*j + 2 = 3*a - a for j.
0
Let z be 3 + -2 + (-3)/3. Suppose -4*h + z*h + 4 = -4*u, 5*h = 3*u + 9. Suppose u*g = g + 2. Solve 2*k = 2*d + g, 5*k = 3*d - 5*d - 23 for d.
-4
Let o be ((-18)/15)/(12/(-40)). Solve 2*l - 4*m = 22, 5*m + 1 = -o*l + 6 for l.
5
Let q = 12 - 11. Suppose -q - 1 = -4*b + 2*s, 0 = -b - 4*s + 14. Solve 0 = 5*j + 2*n - 27, 0 = 2*j + b*j + 5*n - 25 for j.
5
Let w = -46 - -81. Let h(g) = -g**3 - 6*g**2 - 6*g - 3. Let i be h(-5). Suppose -4 = i*z - 12. Solve 3*j + 9*x = z*x + w, 5*j = -x + 29 for j.
5
Suppose 5*r = -3*c - 6 + 1, -4*r = -3*c - 23. Let l = 5 - r. Let j(u) = -u**3 + 7. Let s be j(0). Solve -3*k = -15, -s*k + l*k = 4*m for m.
-5
Let k(v) = -7*v**2 - 13*v + 12. Let o(q) = -q**2 - q + 1. Let d(m) = k(m) - 6*o(m). Let t be d(-7). Solve -2*g = -2*z - 6, -19 = -5*g + t*z - 3*z for g.
5
Let v = -3 + 6. Solve -2 = -v*l + 2*q, -q - 3*q = 3*l + 22 for l.
-2
Suppose z + 3*z = 20. Let b(u) = u + 2. Let l be b(-3). Let g be -2*(l - -2) - -4. Solve 4 = i + z*m + g, -i + 4*m + 2 = 0 for i.
2
Let d be 25 - (3 - (5 + 0)). Suppose -u = -5*f - 14, 5*u - 2*f + 3 = d. Solve -6 = u*r + 3*z, 0 = -5*r + r + z - 14 for r.
-3
Suppose 0 = 46*c - 48*c + 4. Solve -w - 2*u + c = -4, 9 = 4*w + 5*u for w.
-4
Suppose 0 = -4*d - 2*y + 30, 0 = -5*d - 5*y - 26 + 66. Let r(s) = s - 6. Let m be r(8). Let o = d - m. Solve 0 = -v - 