0 = -2*s. Suppose w - x*w = -s. Solve -2*n + o = 4, n + w = -3*o + 18 for n.
0
Let w(k) = -k**3 - 3*k**2 + 2*k - 3. Let t = -7 - -3. Let q be w(t). Suppose -2*v = 2*v + 8, 2 = -q*a - v. Solve -2*u - 4*p = 6, -6*u + u + 2*p + 9 = a for u.
1
Suppose 0 = 2*t - t. Solve 3*f + 5*u = -32, t*f - 5*f + 4*u - 4 = 0 for f.
-4
Let y be 8/(-6)*12/(-8). Suppose -d + y = 1. Let h = 0 + d. Solve 8*r - 3*r + 2*p = -h, r = p + 4 for r.
1
Suppose 2*z = 4*r + 22, 0 = 5*z - 0*z + 2*r + 5. Let j = 5 + z. Suppose -v - j*q = -q + 10, 2*v - 3*q = 19. Solve -3*u + k - 8 = -4*k, u + 6 = v*k for u.
-1
Suppose 4*v - 52 = 4*m, 18 + 22 = 4*v + 2*m. Let h = 14 - v. Solve 0 = 2*g - f, -6*f + 22 = h*g - 2*f for g.
2
Suppose 4*k - 2*w = w - 2, -3*k + 5*w = 7. Let p be (1 + k/(-2))*6. Solve 5*a + 22 = -p*i, -2*a = i + 4 + 4 for a.
-2
Suppose t + t = 6. Solve -5*w = -5*l - 5, -2*w = -4*l - t*w + 21 for l.
4
Let h(n) = n + 35. Let o be h(-30). Solve -5*c + 2*c - 10 = -o*x, -2*c + 2*x = 0 for c.
5
Suppose 2*g - 5 - 3 = 0. Solve 5 = y + g*k + 17, 0 = 5*y + 2*k + 24 for y.
-4
Let x(k) = -k + 12. Let r be x(7). Solve -35 = r*s + 3*g, 4*s - 6 = 5*g + 3 for s.
-4
Let q = -15 + 8. Suppose -3*j + 7 + 29 = 0. Let w = j + q. Solve 4*z = 4*s + 24, -2*z + 15 = -w*s - 0*z for s.
-1
Let p be 9/(3/(3 + (-3 - -1))). Solve 2*l = l + 2, p*l - 1 = -b for b.
-5
Suppose 10 = -0*c + 5*c. Suppose 0 = -3*r - c*r + 20. Solve -3*w + f - 1 = 0, 12 = -2*w - f - r*f for w.
-1
Let w be (4/(-12))/((-2)/(-12)). Let d be w/(-11) + 140/77. Solve 0 = x - d*g - 9, -g - 4*g = 5*x for x.
3
Suppose -5*c = -z - 16, -z = -4*z + 12. Suppose -3*m + m = -c. Suppose -y = -0 - m. Solve -y*h - 3*w = -w + 10, 0 = -2*h + 2*w - 2 for h.
-3
Let y(r) = r**3 - 13*r**2 + r - 9. Let x be y(13). Suppose -4*k = 2*z, 2*z - 6 = -k + 3*k. Solve 4*o - x*l = 32, 0 = -4*o + 9*o - z*l - 28 for o.
4
Let k be 1/((-6)/(-7) + -1). Let z be k/(-2) + 1/(-2). Suppose 26 = 4*g - 2*f, 0 = 4*g - z*f + 2*f - 21. Solve 0 = 3*d - s + 7 - 1, -g*s = -5*d - 3 for d.
-3
Let c be -2 - 3/6*-8. Solve -b = b + 3*d - 2, 0 = -5*b - c*d - 17 for b.
-5
Let q = -20 + 25. Solve 21 = -q*j + 2*r, -3*j - 19 = 3*r - r for j.
-5
Suppose -l - 2*l + 6 = 0. Solve d = -4*b + 3*d - l, -d = -b + 2 for b.
-3
Suppose -110 = -5*m + 5*j, -3*m + 54 = 5*j - 2*j. Solve t + 4*t = -m, 0 = -5*q + 3*t + 12 for q.
0
Let y be 7/2*1 + (-1)/(-2). Solve -8*g + 14 = -2*l - 3*g, 0 = -y*g + 8 for l.
-2
Let r(w) = -w + 19. Let z be r(5). Solve -i - 4*q = 22, 0*i = -3*i + 4*q + z for i.
-2
Let l = 7 - 2. Solve -2*f + 0*f + l*g = 13, -3*g = f + 1 for f.
-4
Let p(z) = 47*z**3 + z**2 - z + 1. Let h be p(1). Suppose -h = -0*m - 4*m. Solve -2*v + 3*q + m = v, 3*v + 4 = -q for v.
0
Let b = -10 + 14. Let m = 8 - 8. Suppose -4*s - 3*a + 13 = 0, 0 = 2*s - 5*a - m*a - 39. Solve -2*t - 3*l + s*l = 12, 2*l = -b*t + 16 for t.
2
Let k(r) = -5*r**2 - 2*r + 1. Let q be k(1). Let m = 6 + q. Suppose 2*h - 12 = -2*x, 4*x = -m*h + 3*h - 4. Solve -x*v - 2 = n, -4*n - 3*v = -9*n - 23 for n.
-4
Let b = -38 + 26. Let a = 17 + b. Solve 24 = 3*k + 9, 19 = 2*z + a*k for z.
-3
Suppose 29*c + 4 = 30*c. Solve -c*b = -3*p + 8, -8 = 5*p - 2*p + 4*b for p.
0
Let x(d) = -2*d - 3. Let l be x(-3). Let k = 64 - 64. Suppose f + 13 = 2*m, 5*m - 2*m - 32 = 4*f. Solve k = -5*r - 4*g - l, m*r = g - 3*g for r.
1
Let z = 13 - 9. Suppose -4*g + 16 = z*a, 0 = 2*a - 5*a - 2*g + 12. Let q be (-2)/2 + -1 + 2. Solve 2*v - a*m + 16 = 0, v + 5*m = -q*v + 13 for v.
-2
Let h be (-368)/(-14) - (-18)/(-63). Solve -4*b - 3*f = -23, 5*b + 4*f = 3*f + h for b.
5
Let u be 1/2*((-48)/(-6) - 2). Let a be 2 + 3/(-6)*0. Solve 4 = -4*m + u*g, 0 = -m + g + a - 4 for m.
2
Suppose -21 + 61 = 5*m. Let l(c) = c**3 + 3*c**2 + c + 1. Let w be l(-2). Solve m*b - 4*b = -w*t - 1, -t = b for b.
-1
Let p(s) = -3*s - 20. Let u(l) = l + 10. Let j(m) = -3*p(m) - 7*u(m). Let g be j(7). Let n be (-36)/(-10) + 2/5. Solve 0*y + 5*f + 28 = y, n*y = -g*f - 8 for y.
3
Suppose -4*o - 7*a + 3*a + 64 = 0, a = 2*o - 47. Solve 0 = -4*y + x - o, 3*y + 38 = 4*x + 6 for y.
-4
Let i = 1 + -3. Let y be (-9)/12*6*i. Let j be (-4)/6 + (-44)/(-12). Solve -j*k - y = 0, r + 3*r = -k - 23 for r.
-5
Let x(u) = u**3 - 6*u**2 - 7*u. Let z be x(7). Let q be 1 + 0 - (z - 4). Solve q*s = 25, 2*b + 6*s + 11 = 7*s for b.
-3
Let f(k) = k**2 + k - 2. Let u be f(2). Let b = -2 + u. Suppose -r + 10 = -2*t, 0*r + b*r - 3*t - 15 = 0. Solve -2*x + 0*x + 2*p + 4 = r, -4*p + 7 = -x for x.
5
Let s = -33 - -35. Solve -5*a = -10, -s*a = -3*v - 0*a - 10 for v.
-2
Suppose -7*d + 3*d = 3*u + 34, 0 = -4*d + 20. Let z = u - -19. Solve 4*m + 3 = -s + 4*s, -z = -s - 4*m for s.
1
Let q be 3 + 1 + -2 - 2. Solve -3*a + 5*i - 3 = q, 0 = -3*a - 4*i + 6 + 18 for a.
4
Let u(w) = w**2 - 2*w + 1. Suppose 0*p - 6 = -2*p. Let o be u(p). Solve 0*b + 3*b - d - 3 = 0, o*d + 12 = -5*b for b.
0
Let g = 1 + 2. Solve -4*c + 2*d + 5 = g*d, 20 = 5*c + 4*d for c.
0
Let h(t) = 8*t + 7. Let q be h(6). Let x = -15 + q. Let b = -9 - -12. Solve 5*w - w = -20, 5*w + x = b*r for r.
5
Suppose 3*o + 9 = 6*o. Solve 2*z + 2*z = o*x + 4, -5*x + 2*z - 16 = 0 for x.
-4
Suppose -4*q + 13 = -87. Solve 3*a - 5 = 4*a - 3*l, -q = 5*a + 2*l for a.
-5
Suppose 2*i + 3*p + p = -14, 0 = 3*i - 2*p - 11. Solve -3*v = -3*c + c - 1, -c + 2*v - i = 0 for c.
1
Let q(j) = -j**3 - 6*j**2 - 7*j - 6. Let y be q(-5). Solve 3*s = y*l + 5 + 7, -l + 3*s - 12 = 0 for l.
0
Let z(t) = 2*t + 3. Let w be z(-3). Let f be 5/1*4/5. Let r be (15/f + w)*12. Solve -3*k - 24 = -r, b + 5*k = -22 for b.
3
Let d = -66 + 126. Let j be (-1 - -2) + d/2. Solve -3*h + j = 5*q, -10 = -7*q + 3*q + 5*h for q.
5
Let p = -34 + 38. Solve -5*o + v = -21 + 6, -p*v + 40 = 5*o for o.
4
Let y(j) = -j**3 + 5*j**2 - 4*j + 3. Let k be y(4). Suppose 0 = -k*s - 2*s + 35. Let q = s - 5. Solve 0 = -2*l - 4*u + 14, 3*l + 2*u - q = -1 for l.
-3
Let w(p) = -p**2 + 6*p - 6. Let i be w(4). Suppose -3*c + i*o + 22 = c, -3*o = 5*c - 22. Solve -z + 10 = r + z, -c*r - 5*z + 35 = 0 for r.
4
Let c = -10 - -9. Suppose 0*q - 3*q = 0. Let j be q/c*(-1)/1. Solve m + p + 1 + 2 = j, 4*m = p - 2 for m.
-1
Let i = 18 + -15. Solve w + 0 + 1 = 0, p + i*w + 7 = 0 for p.
-4
Let c = 36 + -33. Solve -4*l - 5 = 5*s + c, -3*s = -3*l - 6 for l.
-2
Let s = 1 - 13. Let w be s/(-5) + (-14)/35. Let t = 2 - w. Solve 4*j - n - 2*n + 13 = 0, 2*j + n - 1 = t for j.
-1
Let a = -23 - -46. Solve 2*q = 5*d + a, 0*d = -2*d - 3*q + 6 for d.
-3
Suppose 0 = -2*i - 3*i + 10. Solve i*c + 18 = -5*k, -3*k = 5*c + 24 + 2 for c.
-4
Suppose 0 = 5*m - c, -3*m + 4*m = 5*c. Solve -2*f = f - 15, m = -h - 3*f + 16 for h.
1
Let z(s) = -s**2 + 5*s - 3. Let c be z(3). Suppose -2 = -c*t - 0*t + 4*x, 3*t - 3*x = 3. Solve -m - 25 = 4*v, 3*m = -4*v - t*m - 45 for v.
-5
Let z(s) = -4*s + 34. Let y be z(8). Let x be (-2)/3 + 44/12. Suppose -x*m - 2*q + 6 = 0, 6 = 3*m - 3*q + q. Solve -y*a = -h + 7, -2*h - m*a = 2*h + 22 for h.
-3
Suppose 12 = -4*b, u - 11 = -0*u + 3*b. Let p = 18 + -13. Suppose -3*n = -0*v + p*v - 14, 3*n = -3*v + 12. Solve 0 = 3*z - 6, -u*o + n*o + 2*z - 6 = 0 for o.
2
Let f be 101/11 - (-12)/(-66). Solve 2*p + x - 5 = 0, 2*x = -2*p + 1 + f for p.
0
Let j(m) = m**3 - m. Let t be j(2). Solve -g = s - t*s + 28, -3*g - 4*s = -11 for g.
-3
Let k be 3 + 1 + (2 - 3). Solve 0*s + 2*c = 3*s - 2, -4*s + k*c + 4 = 0 for s.
-2
Let q be (4/3)/((-2)/(-9)). Let s(m) = -m**2 + 9*m + 3. Let a be s(9). Solve 0 = k + t + 2, -t - a = -q for k.
-5
Let y(i) = 3*i - 2. Let c be y(2). Let b be 4*(-4)/12*(-3)/2. Solve b*g = c*z - 22, 3*z - 2*z = 2*g + 10 for g.
-3
Suppose -5 = -4*x + 7. Suppose -2*a + 5*a = -5*o + 6, -4*o - x*a + 3 = 0. Suppose 3*l - 8 = 2*k, -2*l - 3 + 5 = 2*k. Solve 21 = o*u + 3*f, l = -f + 4 for u.
5
Suppose d - 9 = 2*q, 3*d - q - 13 = -2*q. Solve -3*l = -2*t + 17, -d*l - 3*t - 11 = -2*t for l.
-3
Let c = -7 + 6. Let n = c + 5. Solve 2*m + 4*b = 2*b - n, 4*m = 2*b + 10 for m.
1
Let q = 2 + -2. Let g = -5 + 4. Let u = q - g. Solve y = c + 3 - u, 0 = 5*c - 10 for y.
4
Let i(r) = -r**2 - 6*r - 4. Let f be i(-4). Suppose f*z - 24 = -5*x, z + 0*z - 13 = -3*x. Solve -o = 5*t - 14, -3*o + 9 = -0*t + x*t for o.
-1
Let i(l) = -5*l - 3. Let k = -7 - -6. Let s be i(k). Solve -2*b - s*b = -20, b - 17 = -4*v for v.
3
Suppose 0*b + 3*b - 12 = 0. Suppose 5*o - 4*o = 4. Suppose -o*n 