 2*k + 3, 5*n - 6 = 2*n + k. Let w = n + 1. Solve -f - 2*f = w*m - 8, -4*m - 6 = -5*f for m.
1
Suppose 0 = 3*y - 4*y + 2. Let j(n) = n**2 - 13*n + 16. Let x be j(12). Solve x*k - 5 = v + 8, 2*v = y*k - 8 for v.
-1
Let b(c) = -c**3 - c**2 + c - 1. Let r be b(1). Let x be (r/5)/((-2)/20). Suppose -x*s - 12 = -8*s. Solve 0 = -t - 5*l + 25, -6*t + t = -s*l - 13 for t.
5
Suppose 3*p = 12*p - 36. Solve -p*h - 5*n + 2*n - 17 = 0, -2*h = -3*n + 13 for h.
-5
Let y = 2 - 8. Let v(f) = f**3 + 6*f**2 - 3*f - 1. Let j be v(y). Solve 0 = k + 3*p + j, 4*p + 16 = 0 for k.
-5
Suppose 0 = -5*i + 5, 9 = 4*l + i - 0. Suppose 10*x - 5*x + 35 = 3*n, -n + 21 = -4*x. Solve 0 = -4*t - l*a - 22, 3*t - n*a - 3 = -0 for t.
-4
Let h = 3 - -2. Solve -4*m = h*l + 5 + 3, -m - 9 = 3*l for m.
3
Let s = -2 + 3. Let h = s - -3. Suppose -2*r - 80 = -6*r. Solve 0 = -4*n - n - r, -4*z + 36 = -h*n for z.
5
Let p(m) = -m**2 - 7*m + 3. Let w be p(-7). Let n be 0 - (0 + 7*-1). Solve 5*z = 5*x + z + n, 13 = 4*x + w*z for x.
1
Let b(p) = p**2 - p + 9. Let k be b(0). Let h = -6 + -4. Let y be ((-40)/25)/(4/h). Solve -3*n - 25 = 4*j - k, -y*n = 0 for j.
-4
Let q(g) = -3*g - 14. Let t be q(-9). Solve -4*j + 4*f = -f + t, -j - 4*f + 23 = 0 for j.
3
Let r be (14/4)/(4/(-16)). Let g be 4/r + (-36)/(-28). Suppose 5*t - 11 = -g. Solve -3*q - 1 - t = 4*n, 0 = -4*q - n + 9 for q.
3
Let b(t) = 26*t + 1. Let q be b(1). Suppose -4*r - 7 = -q. Solve -2*i = -2*h + 3*i - 15, r*h + 3*i = -22 for h.
-5
Suppose 0 = -6*v + v + 50. Let s = -6 + v. Solve -2*o + 14 = -s*n, -5*n = -4*o + 7 + 9 for n.
-4
Let a(g) = 2*g + 3. Let r be a(0). Solve -2*t + 3*s - 15 = 0, -10 = -r*t - 3*s + 5 for t.
0
Suppose 5*l = 10*l - 15. Solve 0 = 3*z + l, 0*k + k = 5*z for k.
-5
Suppose -m + 5 - 4 = 0. Suppose 3*j = 14 + m. Solve -j*q - 3 = -2*v, -v + 3*q + q = 0 for v.
4
Suppose -2*x - x - 3 = 0. Let g = 2 - x. Suppose 2*j + g = 7. Solve 0 = j*q - 0*q - m + 7, 2*q - 3*m = -1 for q.
-5
Let z be ((-8)/(-14))/((-4)/(-14)). Suppose -w + 3 = -4*n + 9, w - z*n + 2 = 0. Solve -w = -4*i - 2*h, 1 = 3*h - 2 for i.
0
Suppose r = 4 + 2. Solve 2*x - 18 - 8 = 4*h, 2*x + h = r for x.
5
Suppose 3*t = -4*g, -5*g + 0*t = 2*t - 7. Solve k + 0*u - u - 2 = 0, g*k + 3*u = 0 for k.
1
Let f(z) = z**2 - 17*z + 34. Let b be f(15). Solve 4*u + 3*x = -2 + 1, b*x = -5*u - 2 for u.
2
Let k be -6 + (-1)/((-4)/44). Let y be 4/(-16) + 34/8. Let u = -13 + 22. Solve o = y*h + u, -4*o + 27 = -k*h + 2 for h.
-1
Let k = -21 + 27. Let b(y) = 4*y - 20. Let r be b(k). Suppose 16 = a + 3*a. Solve -r*p = 5*d + 4 + 36, 4*d - 4*p = a for d.
-4
Suppose 0 = m + 2*m. Suppose m = 3*u + 3 - 9. Solve -i + 17 = -3*h - u*i, -22 = 3*h + 2*i for h.
-4
Suppose 3*a - 32 = 2*h - a, 5*h + 2*a + 56 = 0. Let x = 15 + h. Solve 0 = d + 5*g - 15, x*d + 5*g + 5 - 20 = 0 for d.
0
Let i(b) = b**2 + b + 1. Let q be i(0). Let w be (-9)/(-2) - q/(-2). Solve k - 2*k + 9 = -3*f, 0 = -3*k - 2*f + w for k.
3
Suppose 8*l - 100 = -2*l. Solve -5 = -o + 2*p, -3*p = -4*o - 0*p + l for o.
1
Suppose 2*i + 3*u + 2*u = 30, 5*u - 10 = 2*i. Solve 20 = -i*h - 5*x, 18 = -4*h + 2*h - 4*x for h.
1
Let t be (-3)/(-18) + (-11)/(-6). Solve -t*j = -j - 5, 0 = z + j for z.
-5
Suppose -2*x - x = -6. Let a be 1*x - (-21)/7. Solve -3*p = -3*h + 27, -a*h - 7 = -3*h + 3*p for h.
4
Suppose 2*c = 3*y - 5, 4*y + 2*c + 1 = 3*y. Let a = -4 + y. Let j = a + 3. Solve -2*w + 5*r - r + 20 = j, -4*r - 6 = 5*w for w.
2
Let z(h) = -h**3 + 6*h**2 - 4*h - 1. Let y be z(4). Suppose -2*f = f - y. Solve v = 5*v + f*q + 5, 0 = -5*v + 2*q + 35 for v.
5
Suppose 0 = 4*n - 4, n = -0*x + 5*x - 24. Solve -19 = v + 3*c, 22 = -2*v - x*c - 11 for v.
-4
Let b = -27 + 36. Solve -4*d - 3 = -3*s - 15, 2*s + b = 3*d for d.
3
Let z = -10 + 13. Solve 5*q - 2*y + z*y = -11, -5*q - 4*y + 1 = 0 for q.
-3
Let a be (-1 - 5)*(-2)/3. Suppose a*x - 20 = -4*l, -3*x - 3*l = -x - 13. Solve -4*q + 14 = x*z, -3*z + q - 5*q + 19 = 0 for z.
5
Let b = -7 + -14. Let z = b + 26. Solve 0*n = -n + z*u + 15, u = 5*n - 3 for n.
0
Let d = 15 + -12. Solve n - d*g = -11, -5*g - 10 = 5*n + 5 for n.
-5
Let b(t) = -t**2 - 8*t - 12. Let x be b(-5). Solve 2*m + 4 = -3*p, -x*m + 0*p = -4*p - 28 for m.
4
Suppose -4*h = -o - 10 - 3, 3*h - o - 9 = 0. Suppose 2*i + 3 = -1. Let c be (-182)/(-39) - i/(-3). Solve 5*l + 2*a + 0*a = c, -2*a = h*l - 4 for l.
0
Suppose m + 3*s - 4 = 2, 2*s + 40 = 3*m. Let p be (m/(-15))/(6/(-15)). Suppose t = p*t - 3. Solve 4*g = -t*z + 15, -z - 3*z - g = -7 for z.
1
Suppose -3*x + 16 + 2 = 0. Suppose -5*z + 5*o + 5 = 0, z + 3 = -3*o + 12. Suppose 0 = -z*u + u. Solve -p - p = -5*s - 7, -3*p + 3*s + x = u for p.
1
Let t be 1/((-1)/3) + 8. Let m(k) = -k**2 - 7*k - 7. Let y be m(-5). Solve 0 = y*q + 4*g - 9, 5*q + t*g - 1 = 3*g for q.
-1
Suppose -1 = 2*q - 7. Solve 0 = 4*z + 4*f + 12, -6 = -2*z + q*f + f for z.
-1
Let x = 5 - 2. Let v = 4 - x. Suppose 3*a - 2*w - v + 0 = 0, 0 = 5*a - 5*w + 5. Solve 11 + 1 = a*c - 3*i, 0 = -3*i for c.
4
Suppose -2*j + 1 = -1. Suppose 4*c - 17 = -j. Solve -2*f = -c*b + 14, -b - 5*f + 0 + 20 = 0 for b.
5
Let s = 0 + 2. Solve s*r - h + 3 = -7, -4*h - 10 = 2*r for r.
-5
Suppose 0 = 55*j - 58*j + 15. Solve -5*k - 15 = 5*r, j*k - 3*r + r + 22 = 0 for k.
-4
Let v = 46 - 29. Let j be (v - -5)*(-2)/(-2). Solve -w - 3*w - j = -3*b, b - w - 6 = 0 for b.
2
Suppose 2*y - 3 = 5, -3*a = -4*y + 1. Let t be a/(15/24) - 1. Solve -o + 5*f = 23, f + t = -4*o + 4*f for o.
2
Suppose -2*n = 2*n - 64. Suppose 12*r = n*r - 20. Solve 0 = -b + r*a + 5, 7 + 8 = 3*b + 4*a for b.
5
Suppose -10*z + 3*z + 21 = 0. Suppose -4*h + 5 + 3 = 0. Solve h*k + z = -r - 3, -3*k = r + 7 for r.
-4
Let v(w) = -2*w**2 + 5*w**2 - 4*w**2 + 5*w. Let n be v(4). Suppose -5*a + p + n*p = -25, 3*p + 3 = 0. Solve -3*r = -0 - 6, -4*j - 12 = a*r for j.
-5
Let u = 3 + -1. Suppose 0 = -5*y + u + 8. Solve -m - y*o - 3 = 0, -5*m - 4*o + 2*o = -17 for m.
5
Suppose -3*b + 73 - 2 = -a, 117 = 5*b - a. Solve -k + 4*l = b, -4*k + 4*l = k + 35 for k.
-3
Let b = -25 + 29. Solve b*k + 4*i - 4 = 0, i - 4*i - 1 = 2*k for k.
4
Let d = 32 + -29. Solve 5*u - 19 = -3*b - 0*u, -b - d*u + 9 = 0 for b.
3
Suppose 4*h = 62 - 50. Solve h*g + 4*s - 8 = -g, -4*g + s = -18 for g.
4
Let l be 1/(-4) - 34/(-8). Suppose p = 4*v - 1, 0*p + 4 = -l*p - 4*v. Let t be (-1 - (-1 + p))*5. Solve 2*r - 6 = g, -r + t*r + 2*g = 28 for r.
5
Suppose 5*v + 75 = -5*n, -3*v + 6*n - 66 = 2*n. Let y be -1*(1 + v/1). Solve o + 3*o = -4*r + 20, r + 5*o = y for r.
2
Let i(o) = o**2 + o - 2. Let v = -3 - -5. Let b be i(v). Let k(n) = 8*n**3 - n**2 + 2*n - 1. Let j be k(1). Solve 0 = a + 2*t + j, t + 11 + 0 = -b*a for a.
-2
Suppose -30 = -7*d + 2*d. Solve k - 5*b - 3 = -1, 3*k - 2*b = d for k.
2
Suppose 8 = -2*g + 6*g. Suppose g*y + 31 = 3*o + 10, 5*o + 5*y - 10 = 0. Let h = 13 - -6. Solve -3*q - 4*l = h, q - o*l = 4*q + 20 for q.
-5
Let s = 6 + -2. Suppose 0 = 3*r + r. Solve r = 3*d + 3, -s*d + 1 = 2*w - 3*d for w.
1
Let x(l) = l**2 + 7*l - 2. Let c be x(-5). Let y be (c/10)/((-6)/20). Solve 10 = -3*m - 5, -m = y*n - 15 for n.
5
Let c(r) = r**3 + 7*r**2 - 9*r. Let u be c(-8). Suppose 2*t - u = -2*t. Solve 18 = -4*m + 3*d + 53, -5*d = t*m + 15 for m.
5
Let v = 23 + -19. Solve b = -4*w - b, -v*w + b = 0 for w.
0
Let u = 1 + 11. Let z be (-39)/(-4) - u/16. Solve z*v = 4*v - 2*r + 3, 4*v + 8 = r for v.
-1
Let i be (10/(-2))/((-8)/24). Solve o + 4*s = i, o + 5*s = -o + 21 for o.
3
Suppose -4*o - 55 = -3*b, 4*b + 3*o - 125 = -2*o. Solve -z - 4 = 0, 5*z + b = j + 4 for j.
1
Let x = 4 + -1. Let z be x/6*(29 + 1). Solve y = -3*l + 13, 2*l + 4*y = z - 3 for l.
4
Suppose -d + 5*h + 13 = 0, -4*d - 2*h + 5 = -d. Solve 4*j + 4*l = -j - 12, 12 = -d*j - 4*l for j.
0
Suppose 10*s - 22*s = -24. Solve 5*y + 18 = -s*o, 5*y + 22 = -o - 2*o for o.
-4
Let b = -25 + 37. Suppose -9 = -o - 3*v, v = 2*o + 5*v - b. Solve 4*r + 5*p - 13 = o, -r - 11 = r - p for r.
-3
Let s = 3 - -6. Suppose 3*p + 0 = s. Solve -35 = 3*i + 4*u, -p*i + 5*u + 35 = -5*i for i.
-5
Let t be (-2)/(-3)*6/4. Suppose 9 = 4*n + t. Suppose 2*x = -10, 3*u + x = 6*u - 5. Solve u = -2*b + 3*b - n, -2 = -4*r + 5*b for r.
3
Suppose -42 = -2*m - 14. Solve 22 = 3*n - 0*z - 5*z, n = 3*z + m for n.
-1
Let x = 4 - 1. Let y(t) = -t**2 - t + 2. Let d be y(-2). Suppose d = 4*h - 5*m - 13, -3 = 2*m + m. Solve h*i