 - 12 for k.
-5
Suppose 570 = -2*m + 7*m. Suppose c + 6 = -2*c, 2*g - 2*c - m = 0. Let a be (-3)/(-12) - g/(-4). Solve 2*b = 5*n - a, 2*b = -0*b - n + 10 for b.
3
Suppose 5*x = -2 + 27. Solve 9 = 2*l + g, 5 = x*l - 3*l - 3*g for l.
4
Let u(m) = 4*m + 2. Let q be u(2). Suppose -2*b = -5*f - 2 - 3, f = b - q. Suppose 2*g + g - b = 0. Solve -5 = -s - g*l, 0*s - l = 2*s - 10 for s.
5
Let b(a) = -15*a + 13. Let l(i) = 7*i - 6. Let x(k) = -4*b(k) - 9*l(k). Let f be x(-1). Solve 4*h + z = 2*z + 16, -4*h - f*z = 8 for h.
3
Let n = -9 + 13. Suppose n*x - 2*t - 22 = 0, 5*x - 22 = -t - 2*t. Solve k - 2*m + 5*m = 7, -x*k + 1 = -2*m for k.
1
Let d be (1/(-3))/(4/24). Let u be d - (-12)/(-9)*-3. Solve w + u*w = 0, -l + 4*w = -3 for l.
3
Suppose -12 - 8 = -4*z. Suppose 7 = 3*t - z*p - 40, 0 = -2*p - 2. Solve 4*f + t = -2*g, 0 = -3*f + 3*g + 1 + 2 for f.
-2
Let k(o) = -o + 5. Let n be k(0). Let b be 5 - 2 - (2 + 1). Suppose n*j - 10 = -b*j. Solve j*x + 5 = 3*r, 0 = -4*r + 4*x + 2 + 10 for r.
-1
Suppose -r = -l + 2 - 1, -25 = -5*r - 5*l. Solve -4 - 1 = w, r*m + 5*w + 19 = 0 for m.
3
Let g = -67 - -72. Solve -x + 8 = -g*v, x + 13 = -4*v + 4*x for v.
-1
Let d be (-2)/(-8) - (-3)/4. Let v(s) = 0*s**3 - s**2 - s**3 - 27*s - d + 31*s. Let w be v(-3). Solve -3*b + w = -i, 12 = 3*i - i + 5*b for i.
1
Let t be (-15)/(-6)*(-3 + 5). Solve s - 19 = 3*s - 3*z, -5*s - 3*z = -t for s.
-2
Let a be ((-10)/4)/((-2)/4*1). Solve 0 = a*g - 25, 4*h = g - 20 - 5 for h.
-5
Suppose 4*r + 19 + 1 = 0. Let j = 5 + r. Solve j = -u - 2, u + 2 = 5*v - 10*v for v.
0
Suppose 5*s + 2*i + 4 = 5*i, -3*i = -s - 8. Solve 5*g = -5, 5 + s = -h - g for h.
-5
Suppose -4*q - 8 = 2*i, 0 = -3*i - 0*i + 5*q + 32. Solve -u - l + 0 + 3 = 0, i*u + 2*l - 8 = 0 for u.
1
Suppose -12 = -r - 0*r - 4*a, -5*a + 14 = r. Solve -4*t = 2*b - 18, -5*t + 3*b - r = -21 for t.
4
Suppose -7*q = -9*q + 6. Solve -3*f - 5*s - 31 = 0, -2*s + 16 = -q*f - 4*s for f.
-2
Suppose 3*t = 2 + 7. Suppose 2*s - 2 = s. Suppose -2 = -2*o + s*n, -22 = -4*o + n - 9. Solve o*d - 14 = t*h - 2*h, -5*d + h = -18 for d.
4
Let p(t) = -4*t - 4. Let l be p(-5). Suppose -4*u = -0*u - l. Solve -3*b + u*m = 1, -3*b = -0*b - 2*m + 5 for b.
-3
Let g be 1/1*(0 + 2). Suppose -j - g*j = 0. Solve -4*v + 0*a = 3*a - 14, j = -5*v - 4*a + 17 for v.
5
Let l(s) = -s**3 + s**2 - s + 2. Let f be l(0). Solve -5*v = -f*o - 7, v = -0*v + 3*o - 9 for v.
3
Let z = 8 - -4. Let y be 4/(-8) + 1/2. Suppose y*i = 2*i - 6. Solve 4*n - z = -4*q, i*q - 2*q = 2*n for q.
2
Let l be -2 - (-1 + 9/(-3)). Solve l*u - 31 = 5*p, p - 5*p + 3*u = 29 for p.
-5
Suppose 0 = 12*w - 10*w - 10. Let v(f) = -3*f. Let a be v(-3). Solve -2*u = -j - a, -3*j = w*u - 0 - 6 for u.
3
Suppose -5*v + 4*n + 8 + 25 = 0, -6 = 3*n. Solve v*w - 3*y = -4, -5*y = -4*w + 3 - 1 for w.
-2
Let r(q) = 3*q - 42. Let y be r(14). Solve y = j - 3*v + 13, -3*v = -0*v - 15 for j.
2
Let k(c) = 2*c - 18. Let z be k(10). Solve 2*p - z*n = -3*n + 4, -5*p - 3*n = -11 for p.
1
Let i = 2 + 9. Let n = i - 5. Suppose -j = -n*j + 25. Solve -j*u = y + 14, 2*u + y + 7 = 2*y for u.
-3
Suppose 4*b = 5 + 7. Suppose z - b = -5*r - 1, r = -2*z + 22. Solve -2*n + 0*v + 12 = -2*v, z = n - 3*v for n.
3
Let d = 27 + -22. Solve -d*y = 2*v - 4*y, -2*v - 4*y = 0 for v.
0
Let t be ((-27)/81)/((-2)/30). Solve -5*p + 7 = 2*o - 10*p, t*o + 14 = 2*p for o.
-4
Let p be 0 + -2 + (3 - -2). Suppose -25 = -2*g - 8*w + 5*w, -p*g + 3*w = 0. Let f be 2/g - 26/(-10). Solve 2*q = -5*y - 6, 4*y + 0*q + f*q = -2 for y.
-2
Suppose 0 = 5*x - 10. Solve -21 = -0*i + x*i - 3*d, 4*d - 20 = 0 for i.
-3
Let z be 2 - ((-4)/(-2) - 1). Let a be (6/5)/(z/10). Let u = a + -7. Solve u*v = 2*r + 14, 0 = r + 4*v - 2 - 17 for r.
3
Suppose -2*p - 8 = -6*p - 4*u, 3*p - 4 = -2*u. Let f be -36*1*3/(-18)*3. Solve -f = -3*s - p*c - 5*c, -14 = -2*s - 4*c for s.
1
Suppose -9 = 2*s - 5*s, 3*s - 5 = 2*y. Let o be 26/8 - (-27)/36. Solve y*u - 14 = -o*f, -f + 14 = -0*u + 4*u for f.
2
Suppose -7 + 3 = -g. Suppose 2*x = -5*p + 10, g*p = 4*x - x + 8. Let k be (16/5)/(2/5). Solve 5*q - q + 5*u = p, -5*q - u = k for q.
-2
Let x be (-1)/(2 + -1) - -6. Let r = -3 - -3. Solve r*b - b = -x*h - 5, 5*h - 5 = -b for b.
5
Suppose 2*y - 45 = 5*y. Let g = 29 + y. Suppose -2 = 3*v - g. Solve 0 = v*r - 4*p + 1 - 17, -25 = 5*p for r.
-1
Let z be (-2)/6 - 48/(-9). Suppose z*p = -0*p - 5, -g = 3*p. Suppose 5*h - g = 7. Solve -h*x + d = -14, -3*x - 5*d - 35 = -6*x for x.
5
Suppose -2*g + 10 = 4*v, 4*g = v - 5 + 25. Solve v = -2*d + 5*d - 2*w + 11, -d = -3*w + 13 for d.
-1
Suppose -2*a - 24 = -4*r - 4*a, -5*a - 20 = 0. Let v = 10 - r. Solve 3*u + 15 = w, 2*u - 4*w - v = -12 for u.
-5
Let l(k) = k**2 + 3*k. Let v be l(-2). Let w be (0/(-2))/(0 - v). Suppose 6*j - j - 40 = 0. Solve 12 = 4*a - 4*f, w = 6*f - 2*f - j for a.
5
Suppose -x + 2*r + 12 = 0, 0*r - 4 = r. Solve 3*n + 5*y + 16 = -6, 20 = -x*y for n.
1
Suppose 2*s = 13 - 1. Solve -4*l + 6 = -2*p, l - s = 3*p - 4*l for p.
3
Let o(g) = g**2 - 6*g + 1. Let q be o(6). Suppose -5*n = 0, -5*w = 2*n + q - 21. Solve 3*k + 1 = w*z - 10, 6 = -2*k + 2*z for k.
-1
Let v(t) = t**3 + 2*t**2 - 3*t - 1. Let y be v(-2). Suppose 4*j = 5*h + y, -5*j - 5*h - 2 = -3*h. Solve 2*o - 3*l = 2, 5*l + j = 5*o - 10 for o.
4
Suppose 4*n - 12 = n. Suppose -3*v - 4*t + 12 = -8, 16 = 5*v - 2*t. Suppose x = -5*f + 5*x + 20, 2*x = -v*f - 10. Solve -4*c = -p - f*p - n, c = p - 2 for p.
4
Let c(u) = -u**3 - 16*u**2 + 6. Let i be c(-16). Solve -4*n + i*n + b = 3, 2 = -2*b for n.
2
Let p be (-6)/8 - 456/(-96). Solve n + 12 = 2*y + y, 16 = p*y - 5*n for y.
4
Let o(d) = -3*d - 3. Let g be o(-2). Let h be (-3)/(2*g)*-8. Solve 0 = -h*z + 5*q + 27, -3*q = 5*z - 2*q - 12 for z.
3
Let f be 1/((-2)/(-51)) + 39/(-78). Solve y = -4*g + f, -2*y + 35 = 2*g + 3*g for g.
5
Suppose n + 3*n + 2*d - 12 = 0, -2*d = n + 3. Let g(k) = -k**2 + 13*k - 15. Let s = 0 - -10. Let b be g(s). Solve 5*o - n*f = -b, 0*o = -3*o - 3*f + 3 for o.
-1
Let w(n) = n**3 - 3*n**2 - 3*n - 2. Let v be w(4). Solve 2*k + 2*o + 0*o = 4, v*k - 5*o = 18 for k.
4
Suppose 5*m = 4*l - 8, 5*m + 1 + 3 = 2*l. Suppose m*o = o - 9. Solve 3*t - 5*z = 15, -5*t + z + 16 + o = 0 for t.
5
Suppose 0 = -3*d - 2*d. Suppose 5*z + 4 - 29 = d. Solve -5 = -s, z*i - 2*s = -7*s + 50 for i.
5
Let u be 4*4/((-12)/(-3)). Solve h + 19 = -3*z, 4*z + 11 = 5*z - u*h for z.
-5
Let j be (0 + 1)/(5/25). Let g(f) = -f**3 + 6*f**2 + 4*f + 5. Let i be g(j). Let x = 71 - i. Solve 0*k + 4*k - x = 3*z, -k + 3*z = -12 for k.
3
Let j(c) = 27*c - 2. Let n be j(1). Solve 0 = 3*d - 4*q + n, -4*q + 2 = -2*d - 5*q for d.
-3
Suppose -4*r - 3*p = 1, -r + 6*p - p + 17 = 0. Solve -1 = -2*j + 3*k, j = 3*k - 3 + r for j.
2
Suppose -2*f = -0*f. Suppose 0 = -2*i + 8 - f. Solve -4*w + 3 = 2*r + w, -4 = -i*w for r.
-1
Suppose g - 9 = 3*t - 0, -2*g = -3*t - 12. Suppose 0 - g = -i. Solve -2*n + 10 = -p + 2, -i*n = p - 7 for n.
3
Suppose -4 = 5*s - 14. Suppose -7 = -s*o + 3. Solve v = -o*q - 12, -4*v - v = -4*q - 27 for v.
3
Suppose -y - 3*s = -3*y + 17, -3*y - 7 = 2*s. Let f be (3 + y)*12/3. Suppose 0 = -5*h + 4 + f. Solve -3*a = -7*a + 4, h*r + a = 5 for r.
1
Suppose 2*v + 22 = 2*x - 2*v, 0 = x + 3*v + 4. Suppose x*l - 73 = -3*c, 0*c - 5*l - 39 = -4*c. Solve 5*j + 4*n = -n, -4*n + c = -4*j for j.
-2
Let v = 0 + 3. Let m be (-1)/((v/(-12))/1). Let q(n) = n**3 - 5*n**2 + 6*n - 6. Let r be q(m). Solve -5*w - 5 = a, r*w + 33 = 5*a - 2*w for a.
5
Let q(z) = -7*z**3 + 3*z - 1. Let d be q(-2). Suppose -17 = 4*x - d. Solve 0*s = -2*s + 4*u - x, -3*s - u + 16 = 0 for s.
4
Suppose 18 = 2*q + q + g, -30 = -5*q - 5*g. Let k(i) = 12*i**2 - i - 1. Let f be k(2). Solve 5*d + 5*w - f = 0, 0 = -0*d + 2*d - 4*w + q for d.
5
Let g = 9 - 5. Suppose 35 = 2*a + 5*m, a + 7*m - 3*m - 25 = 0. Solve 0 = -4*i + w + a, -w - 25 = g*w for i.
0
Let o be ((-8)/6)/(3/(-9)). Let q be -33*(1 + 0/3). Let y be (-138)/q + (-2)/11. Solve y*s - o*n + 3 - 11 = 0, -4*s + n = -14 for s.
4
Let h be 3/(-2) - 91/(-26). Solve -h*p - s = 9, 4*s = -p + 6*p + 29 for p.
-5
Suppose -2 = -2*y, -5*y = -x - 2*y + 4. Suppose -t + 4 = 0, -3*c + 6*t - 11 = 4*t. Let z = x - c. Solve -5*o + 0*a + 8 = -2*a, -2*a - z = 2*o for o.
0
Let s(m) = -m. Let l be s(-6). Suppose 3*f + 4 = b, -2*b + 5*f + 1 + l = 0. Solve -4*g - b + 0 = 5*o, 4*o = g + 16 for o