4*w - 1 = -4*z - 13, 10 = -5*w - 4*z. Suppose -4*m + 15 + 13 = 0. Solve -c = -n + r, -w*n + m = -n - 5*c for n.
2
Suppose 3*f - 45 = 3*i, -1 = -4*f - 3*i + 52. Solve -3*a + 4*j = 10 + 7, -4*j + f = -2*a for a.
-3
Let f be 1*((-6)/(-2) - -13). Suppose -4*w = -f - 4. Solve 2*p + 23 = -w*y, 6*p = p - y - 23 for p.
-4
Suppose 4*z - 9 - 7 = 0. Solve z*y + 20 = -3*f, -2*f + 2 = -4*f + 3*y for f.
-4
Let w(y) = -y**2 + 7. Let o be w(0). Let f = o + -5. Solve -s + f*l - 21 = -3*l, l = 2*s - 3 for s.
4
Suppose 2*f - 12 = -2. Solve 10 + 22 = -4*g + 4*n, 2*g = -f*n + 19 for g.
-3
Suppose 4*s - 9 = -l + 2*s, 0 = -4*l - 4*s + 24. Solve 3*v - 16 = 5*m, -l*v = -2*v + 2*m + 2 for v.
2
Let d be ((-9)/(-6))/(1/2). Suppose x + 39 = 3*n, 2*x - 13 = -n - 3*x. Solve 0 = -2*h + h - d*c - n, -1 = h - c for h.
-4
Let u(a) = -a**2 - 8*a - 10. Let h be u(-5). Solve -7 + 3 = 4*l, -h*b = 2*l + 17 for b.
-3
Suppose 3*w + 2 = d, 0*d + w = -2*d + 4. Suppose d = q - 0*q. Suppose m + 4*m = 20. Solve -3*s + y + 2*y = 0, q = 2*s - m*y for s.
-1
Let q(v) = v - 1. Let y be q(-4). Let z be (-6)/y*(-40)/(-16). Solve 2*m - 16 = -z*s, -1 + 8 = m + s for m.
5
Suppose -5*w = -20 - 0. Suppose -o - 4*n - 13 + 0 = 0, 28 = w*o - 4*n. Solve 0 = -2*u + o*u - 2, a - 3*u = -6 for a.
0
Let s be 4*(3 - (-20)/(-8)). Solve -4*c = -6*c + 4*f - 4, 0 = c + 5*f + s for c.
-2
Suppose -2*n = -0 - 6. Suppose o = n + 1. Solve -5*w = -4*z, -16 = -o*w + 5*w - 4*z for w.
4
Let h = 9 - 4. Solve -4*x - 4*l - 4 = 0, -3*x + x = 3*l + h for x.
2
Suppose -2*p - o - 8 = o, 2*p = -3*o - 12. Suppose -t + 4*t = p. Let k = t + 0. Solve -n = -4*s + 9, k = -5*s - 0*n - 2*n - 5 for s.
1
Let a(s) = -7*s - 25. Let y be a(-4). Solve 4*f + 20 = -4*t, 4*t + 5 = y*t + 3*f for t.
-5
Let l(h) = 8*h**2 + h + 5. Let s be l(6). Suppose 5*w = -114 + s. Solve 4*j - 3 = -3*k, -j + 5*k - w = 3*j for j.
-3
Suppose -6 = -p - 2*p. Suppose -p*a - 3 = -3*q, q + 3 = -2*a + 4*a. Let u = 5 - q. Solve -v = -2*i - 7, -3*v - u*v - 5 = 0 for i.
-4
Let b = 14 + -9. Let u(r) = r - 1. Let v be u(11). Solve -o = o - 3*g - v, b*o - 2 = -4*g for o.
2
Let i = 1 + -3. Let v = i - -1. Let g be 1*(1 - 1/v). Solve 0*p + 5*z = -4*p, 3*p = -g*z for p.
0
Let x be -3 - -5 - 5 - -8. Let k be x + (-3 + 4)*-2. Solve -8 = -k*f - 2*v, -3*f + 7 + 11 = -3*v for f.
4
Let r be (-75)/(-10)*4/5. Let i be 68/12 + (-4)/r. Solve -x = i*o + 3, 2*o + 3 = x - 1 for o.
-1
Suppose 0 = 2*p - 5*m - 4, -2*m + 2 = p - 5*m. Suppose p*k - 20 = -2*k. Solve k*a = -i - 12, 3*a - 3 = 4*a for i.
3
Let m(i) = i + 2. Let c be m(1). Solve -2*k + r - 22 = 4*r, -2*k + c*r = -2 for k.
-5
Let y = -12 - -16. Solve v + w - 7 = -3*v, -y*v - 2*w + 10 = 0 for v.
1
Suppose -3*m + 5*m = y + 4, -3*y - 4*m + 8 = 0. Let q = -6 + 6. Suppose 0 = -q*i - 4*i + 16. Solve -3*k + 7*o - 3*o + 11 = y, -o - i = -k for k.
5
Let v(z) = -z**3 - 7*z**2 + 3*z + 30. Let g be v(-7). Solve 3*d + 4 + g = -4*i, 2*d - 6 = i for i.
-4
Let m(f) = f**2 - 21*f + 110. Let w be m(12). Suppose 2*a + 0 = 8. Solve 3*h - 3*u = -21, 10 = -a*h - 4*u - w for h.
-5
Suppose 4*s + 3*o + 3 = s, -5*s + 40 = -4*o. Let c = s - 10. Let l be 1*c/3 + 3. Solve -5 = 4*m - t - 2*t, 2*m - t + l = 0 for m.
1
Let f be -7 - -9 - (-2)/2. Suppose -f*y + 118 - 37 = 0. Solve 5*i = 4*l + 4*i + 9, -4*i - y = 5*l for l.
-3
Let v be (1/(-3))/((-3)/9). Suppose 2*z - v = 9. Let p(h) = -3*h - 12. Let k be p(-5). Solve 0*c - k*c - 8 = z*l, -5*c + 20 = 0 for l.
-4
Let i be 6/((-4)/(-2)) - (-14)/7. Solve -4*o + 4*x - x = 35, 5*o + i*x = 0 for o.
-5
Suppose 9*b - 39 = 7*b - 5*r, r = -4*b + 33. Solve -5*w = 4*a + 26, w + 1 = 2*a + b for w.
-2
Let v = 7 + -3. Let k(g) = g**2 + 7*g - 4. Let h be k(-4). Let a = h - -28. Solve v*x + 0*z = -2*z - a, -x - 2*z = 9 for x.
-1
Suppose 0 = 2*h + 12 + 8. Let f = h - -14. Solve 0 = -f*l + j + 2, 3*j + 8 - 2 = 0 for l.
0
Let c = 1 + 2. Solve 7*j - 2*j + i - 13 = 0, -c*i - 18 = -4*j for j.
3
Suppose -5*g - 4*p + 220 = 0, -g - 2*p - 110 = -4*g. Solve -4*q = -4*h + g, 7 = -2*h - 4*q - 3 for h.
5
Suppose 0 = -h + 7 - 30. Let d = 4 - h. Solve 4*t + 2*j - 4*j = 12, 3*j - d = -3*t for t.
5
Let p(q) = q**2 - 7*q - 2. Let a be p(7). Let u = 10 + a. Solve -2*y - 24 = -4*f + 2*y, u = f - 3*y for f.
5
Let x(k) = -4*k - 4. Let w be x(-2). Solve m + o - w = 0, -5*m + o = 2*o for m.
-1
Suppose 9*p - 8 = 5*p. Solve 0 = 5*h + 5*u, -h - p*h + 4*u = -21 for h.
3
Suppose 0 = -3*m + 2*k - 10, -3*m - 3*k = -8*m - 15. Let c be 2 + m + -2 + 28. Let n = c - 20. Solve 4*j + s - n = 6*s, 2*j - 2 = 2*s for j.
-3
Let t(m) = -m**2 + 8*m - 7. Let q be t(7). Suppose q = -0*w - w. Suppose -3*d + 4*d = w. Solve d = -i - 3*b - 20, 5*i + 3*b = -36 - 4 for i.
-5
Suppose 4 = j, -3*j = 5*u - 2*j - 84. Suppose 5*h = h + u. Suppose -h*z - v + 88 = 2*v, 3*z = -4*v + 59. Solve -2*s = -s + 4*y - z, 2*y - 20 = -2*s for s.
5
Let b(f) = 2*f**2 - 12*f - 20. Let k(p) = p**2 - 6*p - 10. Let q(y) = -3*b(y) + 5*k(y). Let v be q(7). Solve 3*i - v = -0, 5*g + 3 = -2*i for g.
-1
Let p = -4 + 8. Solve t + i = 3*i, 0 = -5*t + p*i - 6 for t.
-2
Suppose -11 = -2*j + 3. Let h = -9 + 13. Suppose 5 = h*a - j. Solve -t - m - 2 = 0, a*m - 7*m = -5*t + 8 for t.
0
Suppose 4*f + 12 = -2*l - 0*l, 3*l = -3*f - 21. Let z = 12 + l. Solve -v = -z*i - i - 4, 0 = -4*i + 4*v - 16 for i.
0
Let l(r) = r + 7. Let j be l(-4). Suppose j*s = -3 + 18. Let b be (-1 + 0)/((-5)/20). Solve b*z - s*z - 5*n = -7, z + 4*n - 6 = 0 for z.
2
Suppose 3*w - y - 44 = 0, 0*y - 5*y = 3*w - 50. Suppose 0 = 5*f - w - 35. Solve -5*g = -z + 4*z + f, 0 = -3*z + 5*g + 10 for z.
0
Let d be 0*1/4*-2. Suppose -3*l = 5 - 17. Let x be l/(-6)*-6 - 2. Solve -4*q + x*h - 19 + 3 = d, 3*q + 4*h + 23 = 0 for q.
-5
Suppose 0 = 5*t - 0*t + 30. Let s be (-1)/t - (-1)/(-6). Solve -q + l - 1 = s, 10 = -2*l + 4 for q.
-4
Let n = 4 + 12. Suppose -68 = 5*i - 28. Let w = i + 11. Solve g + w*z = 7, 5*g - z + n = z for g.
-2
Let s = -35 + 37. Solve -5*x = -2*k - 31, s*x - 1 + 0 = -3*k for k.
-3
Suppose 2*u + 3*f + 4 = -0, 0 = -3*u - f - 20. Let w be (117/(-6))/(6/u). Solve -2*h + 4*s = -0*s - w, 10 = -2*h - 5*s for h.
5
Let w be -2 - -6 - (-2 - -3). Solve 0 = m + 3*n - 20, -2*m + w*m + 5 = 2*n for m.
5
Let w(x) = -9*x**3 + x**2 - x - 1. Let q be w(-1). Let b = q + -5. Solve 0*y + 2*y + 3*k = b, 2 = 5*y + 4*k for y.
-2
Suppose 5*a = 2*y + 20, -20 = 2*a + 4*y - 4. Solve a*i = 5*m + 13, 5*m = -3*i + 5 + 2 for m.
-1
Suppose 0 = 2*k - 9 + 3. Solve -k*l - s = -0*l - 1, 20 = 5*s for l.
-1
Let o(p) = 3*p**3 - p**2 - p + 1. Let m be o(1). Suppose -3*q + 5 = m. Solve -19 = 4*d + q, 0 = 4*v + 4*d + 4 for v.
4
Let u = -3 + 6. Solve u*k = 3*b, -3*k + 4 = -5 for b.
3
Suppose -13 - 16 = -2*r + 5*t, -3*r + 26 = -4*t. Solve 5*y + 9 - r = -v, -2*y = -v for v.
-2
Suppose 9*r - 28 = 4*r + x, 0 = 3*r - 2*x - 14. Solve -4*t - 4 = -2*v + r, 5*v = -4*t - 3 for t.
-2
Let r = -101 - -104. Solve -2*d + 2*b + 4 = 2*d, 0 = -r*d + 4*b + 8 for d.
0
Suppose 0 = -4*m + 5*y + 23, 4*m - 17 = -0*m + 3*y. Suppose -8 = -2*u - 6. Let h(g) = 9*g. Let o be h(1). Solve u = b, -m*n + n - 4*b + o = 0 for n.
5
Suppose 0 = -4*y + 6 - 2, 4*l = 2*y + 18. Suppose 2*o + 7 = w, l*o = -6*w + w + 20. Solve 22 = 3*k - x + 7, 5 = 5*k + w*x for k.
4
Let k = 4 + -1. Let c(w) = w**3 - 2*w**2 - w - 2. Let s be c(k). Solve -5*n - s - 1 = 0, 5*u + n = 14 for u.
3
Let h(a) = a**3 + 18*a**2 - 21*a - 35. Let q be h(-19). Let n(p) = 2*p - p + 4 + 0. Let f be n(-4). Solve 0 = -q*m - 2*z - 6, -2*m + 0*m - 3*z - 4 = f for m.
-2
Let y = -17 - -20. Solve 2*r + 15 = y*w + 5*r, 4*r = 16 for w.
1
Let l be (5 + 17)*2/4. Let y(v) = v + 7. Let s be y(l). Solve 0*o + 3*o = -2*t - 16, 5*t + 2*o + s = 0 for t.
-2
Suppose 12 = 4*w - t, -4*t = -0*t. Solve x + 4*m = -3, 4 + 2 = 3*x - w*m for x.
1
Suppose 5*k = 2 + 13. Suppose -3*z + k + 3 = 0. Solve 2*c - 5*i = z, -4*c + i + 4 = 2*i for c.
1
Let b = -15 - -20. Solve 10 = 2*n + 5*j, -n - j = -0 - b for n.
5
Let p be (-1)/(-5) + (-354)/(-30). Let k(l) = 3*l + 7*l**2 + 2*l**3 - l**3 + 4 - p*l**2. Let x be k(5). Solve -5*z - y = -x, 2*y + 6 - 26 = -4*z for z.
3
Suppose 0 = -5*a + 3*k + 82, a - 5*k = -4*a + 80. Suppose r - 6*r + a = 3*s, -r = 2*s - 9. Solve -u = 4*t - 13, -u + 4*t - s = -5*u for u.
-3
Suppose 0 = -4*b + 3 + 9. Let i = b - 3. Solve -3*d = -4*v - i*d - 35, -5 = 2*v + d for v.
-5