se -v = 4*v. Let w be (-85)/(-25) - (-4)/(-10). Solve -w*p - t = 5*q, v*q = -q - p - 7 for q.
-3
Let z = -28 - -56. Let s = -16 + z. Solve 5*d - n = 20, -3*d + s = -n - 4*n for d.
4
Suppose -4*r = -4*b - 1 - 7, -18 = -5*r + b. Let i = 9 - r. Suppose -g + 0*g = -5*o, g = 2*o + 3. Solve 27 = m - g*j, 4*j + 14 = -i*m + 4 for m.
2
Let b be 16/(-3)*(0 - 3). Solve 3*d - r - 4 = 0, 4*d - d - 4*r - b = 0 for d.
0
Let r(m) = -m**2 + 23*m - 18. Let j be r(22). Solve -2*b - j + 0 = 5*s, 0 = -3*s - 2*b for s.
-2
Let g = 11 + 13. Solve -5*n + 2*n - g = 3*s, 2*s + 1 = n for s.
-3
Let a = -3 - -3. Suppose 2 + 19 = -m - 5*b, a = 4*m - 2*b - 26. Solve -3*y - 4*p + 4 = 0, y + 4*p + 20 = m*y for y.
4
Let y(m) = -m**3 - 2*m**2 - 1. Let k be y(-2). Let j = 62 + -63. Let z = k - j. Solve -3*f + z*f = -5*w - 15, w + f + 3 = 0 for w.
-3
Let a = -77 + 80. Solve n - 3*n = 4*u - 22, 15 = a*u for n.
1
Let m = 4 + 4. Suppose 0 = -4*w - 0 + m. Solve -2*r - 4*x + 10 = 0, -3*r - 4 + 3 = w*x for r.
-3
Suppose -271 + 259 = -4*a. Solve -o + a*o = s + 14, -3*s = -3*o + 27 for o.
5
Suppose 0 = -2*o - o + 9. Solve 4*n = h - 12, -o*h - 5 = 5*n + 10 for n.
-3
Let f = -10 - -5. Let s be (-14)/f + 1/5. Suppose -5*r + 22 = -s. Solve -r*j + 2*t = 8 + 10, -j + 18 = 5*t for j.
-2
Let y be (-12)/(-30) + (-8)/(-5). Suppose 0 = -y*f - 4*b - 10, 3*f - 3*b + 4 = 25. Let r = f - 0. Solve -2*d + z - r = d, -7 = 2*d + z for d.
-2
Suppose -4*o + 14 = 2*a, 5*o - 4*a - 4 = 7. Solve 0 = 5*f + o*u - 1, 5 = -2*f - 2*u - u for f.
2
Let l(u) = 2*u**2 + 2*u + 1. Let k be (2/3)/(7/(-21)). Let c be l(k). Solve 4*z - c*s - 17 = 0, -z - 2*s = -3*z + 8 for z.
3
Let x be 6/10 + (-12)/(-30). Suppose 6 = 5*l + 3*f - x, -5*l + 5*f = -15. Solve -p - 8 = 4*b, p + l = -2*b + 4*b for p.
-4
Suppose 11 = 3*u + 2, -3*u + 11 = f. Let s be -1*((-2)/f + 1). Let q be (-6)/((-9)/(-3)) + 7. Solve -z - l - 5 = s, 3*z + 15 = q*l - l for z.
-5
Suppose -4*s + 23 = -17. Solve -4*n + 20 = 3*g, -5*n - g = -6*g + s for n.
2
Let w be (-7 - -1)*40/(-30). Solve 20 = -5*d - 4*a - a, d = 2*a + w for d.
0
Suppose -3 - 33 = -2*o - t, -5*t - 18 = -o. Solve -2*b - 2*w - o = -7*w, -4*w + 16 = -2*b for b.
-4
Let k(q) = -q**2 + 7*q + 5. Let s be k(6). Let y = s - 9. Suppose -y - 14 = -4*n. Solve -o = -4, -n*r + 2*o = 4*o + 8 for r.
-4
Let q(v) = -v**2 + v + 1. Let c be q(-2). Let w = 8 + c. Suppose -18 + w = -5*j. Solve 4*p = 5*r + 2, -j = 5*p - 3*r + 1 for p.
-2
Let u(k) = k**2 - 13*k + 15. Suppose -4*w = -5*m - 91 + 23, 3*w + m - 32 = 0. Let f be u(w). Solve -y - o = 1, -13 = 5*y - f*o + 16 for y.
-4
Let h be (4/10)/(4/20). Solve -5*t - 1 = s, -6 = -0*s - h*s - 2*t for s.
4
Suppose 3*f = -2*p - 0*f + 1, 4*p - f = 23. Suppose p = -l - 0, -3*l = 2*h + 11. Solve -4*c + 3*d = -4, d + 3 - h = c for c.
1
Suppose 4*g = 6*g - 10. Suppose -d + g*d - 4 = 0. Let n be 3*((-2 - -2) + d). Solve -2*p = 2*v + 10, n*p + 3*v = 8*v + 9 for p.
-2
Suppose -21 = -3*u - y - 0*y, -3*u = 4*y - 12. Solve -2*c + w = -u, -c - c + 3*w = -8 for c.
4
Let t(j) = -j**2 - 3*j - 1. Let a be t(-2). Suppose 35 = 4*c - a. Solve 5*s + o = -o - 18, s = 5*o - c for s.
-4
Let k be 14/4 + (-1)/(-2). Let x(q) = q**3 - 19*q**2 - 41*q - 12. Let j be x(21). Solve 3*g = j, 4*g = k*s + g - 3 for s.
3
Suppose -3*l + 4*j = 7, 0 = -2*l + 6*l - 5*j + 8. Suppose l*k + 0*k = u + 7, u + 5*k = 25. Suppose -r = -u*r + 20. Solve -r*b = 0, -o - b - 2 = b for o.
-2
Suppose -12 = 5*s + 13. Let m(w) = w**3 + 6*w**2 + 4*w. Let h be m(s). Let l = 3 + 0. Solve 2*v = l*p - 2*p - h, 20 = -4*p for v.
-5
Suppose 0 = -j + 4*h + 3 - 9, 3*j - 2*h + 58 = 0. Let d = j + 24. Solve 3*y + 2*t - 4 = 0, -11 = d*y - 7*y + t for y.
2
Let i = -51 + 60. Suppose 5*g + 0*g = 15. Solve g*k + i = -3*y, 0*k + 3*k + y = -1 for k.
1
Suppose 5*c = r + 2 + 1, -3*c = 3*r - 9. Suppose 0 = 2*j - j - r. Solve -j*k + 3*k = -3*g + 4, -2*k + 2 = 0 for g.
1
Let f be ((-20)/25)/(2/(-5)). Let y = f - -2. Solve -y*j + 4*a = 8, -4*a - 6 = -7*a for j.
0
Suppose -2*g - c + 10 = 0, 8 = 5*g + 3*c - 19. Let r be (-36)/(-14)*(1 - -6). Solve -u + r = -5*s - 2, -g*s - 34 = -5*u for s.
-3
Let o = 6 + -2. Solve -o*v + 7*v - 27 = -4*x, -2*x = -6 for v.
5
Let k = -7 - -10. Suppose 4 = -4*f, k*b - f - 10 - 3 = 0. Suppose 0 = -b*c - 0*c. Solve c*j = -r + j + 8, 0 = -5*j - 25 for r.
3
Let j = 9 - 7. Solve j*b - 3*l = 2 - 0, b = -l - 4 for b.
-2
Let q = -32 + 37. Solve 3*j + 23 = -q*a - 0*j, -j - 1 = 0 for a.
-4
Suppose 1 + 2 = u. Let i = 4 - -1. Suppose 3*d = -d - 5*f + 16, i*f + 8 = 2*d. Solve -u*a + v + 6 = 0, -17 - 4 = -d*a - 3*v for a.
3
Suppose -4*q + z = -2*q - 8, -5*q = -2*z - 18. Solve 0 = 3*t - 3*k - 2*k + 10, -q*t - 2*k = -4 for t.
0
Let v = -1 - -5. Suppose 2*r = 2 - 0, -n + 7 = 4*r. Solve d = -n*d - 5*c + 17, -v*c + 18 = d for d.
-2
Let r(o) = -2*o - 1. Let n be r(-2). Suppose -y - 5*z + 17 = 0, -2*y = -4*y - n*z + 13. Solve 5*m = -5*x - 15, -m = -y*m - 4 for x.
1
Suppose 3*p + 9 = -0*p. Let d = p + 3. Suppose 0 = z - 16 - d. Solve -f - z = 5*m, 0 = 4*m - 9*m - 3*f - 18 for m.
-3
Let r be (-3 + 1)*(-5)/5. Solve -r*o - 4*l + 5 = -7, l - 3 = 4*o for o.
0
Suppose 3*p - 6 = p. Suppose -16 = -p*z - z. Solve -2*g + 6 = 2*w, 0 = -z*g + w + 3*w - 20 for g.
-1
Let c be (-8)/(-12) - (-39)/9. Solve 0 = -3*x + 2*w - 8 - 3, 0 = -c*w + 20 for x.
-1
Let i(c) = -2*c - 16. Let d(v) = v**2 + 8*v - 11. Let u be d(-8). Let s be i(u). Solve j = -4*a + 2 - 4, s = -3*j - 4*a for j.
-2
Let p(n) = -n + 2*n + 0*n + 1 + 0. Let a be p(2). Suppose a*s = -4*r - 3 + 2, 2*s = -4*r - 6. Solve -c - 4*b - 9 = -2*b, c + s = -b for c.
-1
Let n be (2 + -2)/((-1)/3*-6). Solve 2*a = 5*g + 20, 4*g - 5*a + 16 = -n*a for g.
-4
Suppose 0 = s - 4*s + 9. Let l(p) = -p**2 - 8*p - 1. Let k be l(-8). Let g be (-9 - 1)/(k/1). Solve -z + s*v = -g, 2 = -2*z - 2*v + 6 for z.
4
Suppose 3*l = -5*g + 4*l + 10, 3*g = 4*l + 6. Let w = 1 + g. Let t be (-19)/(-6) - (-2 - 26/(-12)). Solve w*h - 18 = -t*n + 5*n, 4*n = -h - 8 for h.
4
Suppose 3*w + w + 8 = 0. Let o = w + 4. Solve -4*x = -4*i - o*x - 18, 0 = -3*x + 9 for i.
-3
Let k be (-136)/(-10) - (-3)/(-5). Let r be k/5 - 6/(-15). Solve 2*f + r*d - 14 = 0, -5*d + 26 = 4*f - 0*d for f.
4
Suppose -6 = -2*c - c, -g + c = -17. Suppose 0 = -5*n + 6*n - b - 7, 5*n + 4*b = 17. Solve 4*m = 3*y, -n*m + g = -2*y + 3*y for m.
3
Suppose 2*o - 8 = 4*j, -5*j + 2 = o - 2. Solve 2*g + 20 = 5*z, 2*g + 2*z = o*z - 14 for g.
-5
Let p = -1 - -4. Let w be (p - (-2)/(-1))*3. Solve -w*z = -4*o - 21, -4 = 4*z + 5*o - 1 for z.
3
Suppose -26 = -6*i + 4*i + 4*j, j + 5 = 0. Solve -5*h - 9 = 16, 4*p - i*h = 35 for p.
5
Suppose -10 - 38 = -4*m. Suppose -5*c + m = -8. Solve -3*k - 5*g + 2*g = -18, -3 = -5*k + c*g for k.
3
Let j(b) = -3*b - 8. Let h be j(-11). Solve v + h = -5*a + 2*v, 3*a = -v - 15 for a.
-5
Suppose -6*x = -2*x - 24. Suppose -4*s = -20, -3*m + s - x = -2*s. Solve f - m - 3 = y, -5*y - 10 = 5*f for f.
2
Let l(m) = 2*m + 2. Let j be l(0). Solve 0 = -3*w - 4*r - 9, 3*w + 5*r + j = -10 for w.
1
Let k = -9 - -17. Let q = k + -3. Suppose 0 = q*i - i. Solve -2*z + 12 = -i*g - g, 4*g + 13 = z for z.
5
Let b be -5 + 5 - (0 - -2). Let c = 31 + b. Let z be c/9 - (-8)/(-36). Solve -2*y + 9 = -2*i + y, 2*i + z = y for i.
0
Suppose -5*j - 29 = -89. Suppose 2*m = -5*d + m - 3, d + 5*m = 9. Let i = d + 4. Solve 4*h - j + 0 = 0, -3*h + 12 = i*y for y.
1
Let n be (2 - 1) + -3 + -9. Let p = -10 - n. Let j(k) = k**2 + k - 4. Let o be j(-3). Solve 4*a + 5*u + o = 0, 2*a + 5*u - p - 3 = 0 for a.
-3
Suppose 26 - 26 = -6*j. Solve 0 = 3*z + k + 13, -5*z - 21 = 2*k - j*k for z.
-5
Let h be (-3)/(-18) - (-37)/(-6). Let o be 2/h + (-64)/(-12). Solve 0 = -3*j - 5*z - 8, 2*j - 3*z = o*j + 6 for j.
-1
Suppose 83 = 5*h + 2*r + 14, r = -2*h + 28. Suppose -4*m - h = a, m = 2*a - 3*m - 22. Solve 0 = t - 6*j + j + 12, -3*t + a*j = 0 for t.
3
Let q = -9 + 9. Solve 4*v = -2*x - 20, 0 = -v - q*x + 3*x + 2 for v.
-4
Let s(g) = g + g**2 - 2*g + 5*g + 8 + 3*g. Let b be s(-6). Let h be (-7)/(b + 6/(-2)). Solve 5*d = 0, -3*r - 4*d + 2 = -h for r.
3
Suppose 6*m + 9 = -a + m, -a - 1 = m. Let i be (-2 - a)*1*1. Let s be 1 - i/(-3) - 0. Solve -5*h - 5*n = 20, 0 = -h - s*n + 3*n - 4 for h.
-4
Let z be (-14)/(-63) - (-29)/(-9). Let f = 4 + z. Solve -3*c - 3*l = -3, -4 = -3*c + 4*l - f for c.
1
Suppose -6*h = -2*h. So