-5 = p*k - 4*m for k.
-1
Let d be (-8 + -61)*(-1)/3. Solve -24 = -4*w + 3*a, 0*a = 5*w - 2*a - d for w.
3
Suppose 0 = m + 5 - 7. Suppose m*d = -21 + 25. Solve -2*y + d*v = -6, -2*v + 11 = 3*y - 3 for y.
4
Suppose -45*g = -3*d - 47*g + 16, d + 3 = g. Solve -2*l - 5*p = -6*l + 21, -d*p = -3*l + 14 for l.
4
Let g be 2 + 3 + -12 + 5 + 5. Solve 0 = -5*h - 2*i + 3, -2*i - 3*i - 2 = g*h for h.
1
Let z = 51 + -29. Suppose 2*q = z + 34. Suppose -5*g = -12 - q. Solve 2*h - 5*r + g = 29, -r = -4*h - 3 for h.
-2
Let t(f) = 2*f**2 + 3*f - 1. Let o = 8 + -7. Let c be t(o). Solve -c*g + 3*z - 17 = 0, -5*z + 19 = -2*g - 0 for g.
-2
Suppose t - 12*t - 143 = 0. Let o = t + 13. Solve -4*y + p + 16 = o, -p + 5 = 1 for y.
5
Let z(u) = -u**3 + 12*u**2 + 43*u + 35. Let s be z(15). Solve 0 = -5*x + 3*d + 22, -s*x + 34 = 3*d + 6 for x.
5
Let v(m) = m**3 - 10*m**2 - 11*m + 5. Let n = 66 - 55. Let b be v(n). Solve -b*r - 5*s = -5, -s - 10 - 9 = -4*r for r.
4
Let c be ((105/(-10))/7)/(1/(-2)). Solve -7*k - 31 = -3*k + c*n, -4*k = -2*n + 6 for k.
-4
Let g be -2 - -7 - (12 - 7). Solve -4*f = -20, g*c - 4*f = -5*c - 45 for c.
-5
Let i(z) = z**2 - 3*z + 1. Let t be i(2). Let o be (-2 + -2)*6/(-8). Let a be (o/(-9))/(t/6). Solve -2*f + 18 = -3*h, -a*f - 15 = 5*h - 1 for h.
-4
Suppose -4*q = -5*q. Solve q*w = -u - 3*w + 9, 4*u = -3*w for u.
-3
Let g(t) = -20*t - 10. Let v be g(-1). Solve 2*a = -4*y + v, 5*a + 5*y = 12 + 13 for a.
5
Let j(u) = -3*u + 41. Let t be j(18). Suppose -8 - 8 = -i. Let g = i + t. Solve -2*y + 2*l - 4 = 0, -5*l = g*y + 2*y - 40 for y.
3
Let p be -3 - 21/(1 - -2). Let n(b) = -b**2 - 9*b + 14. Let a be n(p). Solve v - 5 = 0, k + 2*k = -a*v + 14 for k.
-2
Suppose -76 = 3*p - 85. Suppose -2*u + 5*s = -26, -4*s - 3 = p*u + 4. Solve 4*o = -3*h - 2, -h - 14 = u*o - 5*h for o.
-2
Suppose -4*o = k + 12, 4*o + 3*k + 11 + 1 = 0. Let i be 10/15 - (-2)/o. Suppose 0 = 4*l - 32. Solve i = -3*h - h + 8, -4*h + l = -3*x for x.
0
Suppose 4*p + 13 = 61. Suppose 0 = -12*m - 42*m + 29*m + 650. Solve -5*h = -3*w - m, -2*w = 2*h + 2*h - p for h.
4
Let d be (-4 + 10)/(-48)*-4*0. Solve -2*o + 0*q - 4 = 2*q, q = d for o.
-2
Suppose -20*g + 28*g - 24 = 0. Solve 0 = -g*x + 12, 0 = q - 2*q + x - 1 for q.
3
Suppose 9*a = 4*z + 13*a - 52, -41 = -3*z - a. Solve -6 = -5*k - 5*x + z, 3*x = -5*k + 20 for k.
4
Let o be -1*(-2*2 - -1). Let u(p) = -2*p**2 + 46*p + 156. Let g be u(26). Solve a + 11 = 5*f - 1, -f - o*a + 12 = g for f.
3
Let i = 956 + -953. Solve -3*p - 7 = p + 5*y, i*p - 2*y - 12 = 0 for p.
2
Let y(q) = -2*q**3 + 8*q**2 + 8*q + 6. Let s(i) = i**3 - i**2 - 1. Let f(c) = s(c) + y(c). Let b be f(8). Solve -4*v = 3*x + 23, 3*x + 3*v = b - 23 for x.
-1
Suppose -d - 1 = 5*j - 5, 0 = -2*j + 2*d - 8. Suppose 6 = -n - 0*c + 3*c, -n + 5*c - 12 = j. Solve -3*r + n*z + 0 = 6, -r + 3*z - 6 = 0 for r.
0
Let p = -144 + 164. Solve 0 = -4*c + j - 2 - p, j + 18 = -4*c for c.
-5
Let q be 5/1 - -1 - 2/2. Solve q*c + 14 + 5 = -h, -2 = c + 2*h for c.
-4
Suppose 5*v - 5 - 6 = -y, 7 = 2*v + 3*y. Solve b - 6 = 4*b + 5*f, -v*f - 2 = b for b.
-2
Let f be 2/5 + 52/20. Solve -k + 3*a = -11, 7 = 3*k - 4*k - f*a for k.
2
Suppose 2*o - 7*s = -2*s + 16, -4*s = -4*o + 8. Let c(y) = y + 4. Let j be c(o). Solve 4*g = -j*t, 0*g = 4*g - 4*t - 12 for g.
1
Suppose 2*o = -o + 60. Let d = -2560 + 2565. Solve -r + c = -d, -4*r = -0*r + 3*c - o for r.
5
Let l be 4 + -4 + (-13)/1. Let i = -9 - l. Let m(u) = 4*u**2 - 3*u - 2. Let a be m(-2). Solve -i*d = -4*k - 24, -5*k = -d + a - 6 for k.
-2
Let x(b) = -1 + 8*b - b + 0*b. Let f be x(1). Solve -2*v = f, -c + 2*c - 14 = 4*v for c.
2
Suppose 3*m = 15, -2*b + m = 3*m - 10. Let h = 2 - b. Let f(p) = -p**3 - 3*p**2 + 22*p - 10. Let j be f(3). Solve -2*d - 3*d = 5, 0 = -c + h*d + j for c.
0
Let i be (-74)/(-10) - (78/(-30) - -3). Suppose -i*a = 6*a - 52. Solve s - 13 = 4*h, s + a*h - 10 = -29 for s.
-3
Suppose 2*u + 2*u - 3*o - 17 = 0, 3*o = 2*u - 13. Solve 3*j - 4 = -2*p - 9, -4 = u*p + 2*j for p.
-1
Suppose 4*d + 28 = 2*d. Let p be ((-14)/d)/(2/10). Let f(i) = i**2 + 17. Let q be f(0). Solve -b + 4*x - q = -2*b, -25 = -5*b - p*x for b.
1
Suppose 0 = -4*z - y - 7, 0*z - z = -3*y + 5. Let m = 1 - z. Solve 3*r - 5*o = -o + 20, 0 = 4*r - m*o - 22 for r.
4
Let b = 0 - 4. Let o(k) = k + 6. Let r be o(b). Let h(c) = -c**2 - 21*c + 50. Let x be h(-23). Solve -x*q - 12 = -5*p, -5*q + r*q - 9 = p for q.
-3
Let n be 35/5 - (-10)/(-5). Suppose -2*z - 15 = -n*z. Solve 0 = -2*d + z*g - 24, -g - 2 = -0*d + 3*d for d.
-2
Let r(i) = -i**2 - 7*i - 7. Let x = -9 + 4. Let l = x + 2. Let k be r(l). Solve a - k = -3*c - a, 3*c + a - 7 = 0 for c.
3
Let n(j) = j**3 + 5*j**2 + 2*j - 7. Let i be n(-4). Let o be (-1 - i) + (-22)/(-11). Let s be -1 + -1 + 3 + -1. Solve o = p + 3*f - 5, s*p + 9 = -3*p - f for p.
-4
Let w be (-2 - -1) + -2 + 3. Suppose 4*s = 3*y - 34, -6*s = 4*y - 4*s - 16. Let n be 73/15 + y/45. Solve 3*a + 13 = z - 2*z, w = -2*z + n*a + 7 for z.
-4
Let g(o) = -2*o**2 - 11*o + 6. Let r be g(-6). Suppose 20 + 0 = 4*z. Solve r = -2*v + z*u + 5, 4*v + 3*u - u = -2 for v.
0
Suppose 6*m - 4*m = -2*i + 14, 5*i = 10. Solve -4*v + 9 = -2*v + m*l, -30 = 5*v - 5*l for v.
-3
Suppose -3*w = 27 - 81. Let z be (-4)/(-10) - (-580)/50. Suppose -z = -j + 3*y, 5*y + w = 5*j - 4*j. Solve -4*k + 23 = j*q, 2*k - 29 = -3*q - 10 for q.
5
Let n be (-6 - (-640)/112) + 74/14. Solve n*s + 5*h + 9 = 4*s, h - 3 = s for s.
-4
Let d be (8/(-12))/((-2)/(-21)). Let g = 7 + d. Suppose 6 = 6*w - 24. Solve -w*p - r + 15 = 0, -5*r = -p - g*p - 23 for p.
2
Let d = -82 + 85. Suppose d*q = -5*z + 91, 4*z - 169 = -q - 4*q. Let x = -5 - -9. Solve -4*y = -4*b - 8, 0*y - q = -x*b - 5*y for b.
3
Let g be 2 - (-1 - -1 - 0). Let f(r) = 34*r - 6. Let n be f(1). Suppose n*z = 20*z + 16. Solve -m + z*s - 2 = m, -g*s = 2 for m.
-2
Let p(j) = j**2 + 2*j + 1. Suppose -f = -2*f - 3. Let c be p(f). Solve -3*a = -5*v - 14, -5*a + 16 = -5*v - c for v.
-1
Suppose -3*b + 4*t = -5*b + 12, -t = -1. Solve b = -4*i - 3*h + 21, -4*h = -12 for i.
2
Suppose -172*c + 164*c + 200 = 0. Let h(o) = o**2 + 5*o - 4. Let s be h(-6). Solve 5*j = -c, m - 3*j - s = 9 for m.
-4
Suppose 2398*w = 2404*w - 108. Solve -12 = -4*j, -j + 6 - w = 5*t for t.
-3
Let f be 64/14 + (-20)/35. Let w be 6 + -3 + 3 + -3. Suppose h + 5*k + 16 = 0, -w*k + 0 - f = 2*h. Solve 4*v + h = -4*d, -2*d - v - 25 = -7*d for d.
4
Let j(v) = v**2 - 3*v - 1. Let y be -3 - (-2)/(2/7). Let t be j(y). Let m = 18 + -15. Solve 0 = -5*w + 5*s + 5, -2*w - m*w + t = -3*s for w.
0
Let t = 193 - 189. Solve v + p - 7 = 0, -p - t = -3*v + 1 for v.
3
Let q be 1/(3*5/(-240)). Let d = q - -19. Solve 3*m = d*c - 12, 0 = -m - 5*c + 4*c for m.
-2
Let p = -41 + 44. Let r be (10 - -2)/(-1 + p). Solve -2*l = -4 + r, -5 = -n + 3*l for n.
2
Let i(v) = v**2 + 28*v + 34. Let w be i(-27). Solve w*m - 2*m + 31 = 2*t, 4*t + 13 = -5*m for t.
3
Suppose -89 = -2*l + j, 0*l + 184 = 4*l + 4*j. Suppose -2 = -3*a + 2*r, -4*r = 5*a + r - l. Solve -3*z = u, a*u + 4*z + z = -7 for u.
-3
Suppose 2*z - 11 + 3 = -2*b, -5*z + 20 = -5*b. Let o(n) = -n**3 + 4*n**2 + 2*n - 6. Let h be o(z). Solve 0 = -2*c - 0*c - 2*d - 8, -5*c = -4*d + h for c.
-2
Let c be 3 - (0 - (-1 + 3)). Let n be 4/10 + (-8)/(-5). Suppose 2*l + r - 2*r = 6, n*l + 3*r - 14 = 0. Solve l = d - c*d, -5 = -a + 5*d for a.
0
Let d(n) = 6*n**3 + 2*n**2 - 6*n - 3. Let q be d(-3). Let c = -114 - q. Solve 8*h - 25 = 5*y + 3*h, c = 3*h for y.
0
Let k(f) = 4*f**2 + 5*f + 14. Let m be k(-2). Suppose -7*s + m = -3*s - 4*t, -s - 2*t - 10 = 0. Solve 3*b - 2*p = b - 2, 3*b + 5*p - 21 = s for b.
2
Let l(p) = 9*p**2 - 3*p + 4. Let f be l(1). Suppose -5*w + f = -2*g, g - 7 = -4*w + 14. Solve -w*t - 5*u - 12 = 0, -3*u - 1 = 3*t + 5 for t.
2
Let f(c) = -6*c - 14. Let g be f(-3). Suppose -26 = -2*s + g*j, 27 = 3*s - 2*j + 4. Solve 0*m = -2*m - s*b - 27, 5*b + 20 = 5*m for m.
-1
Let z be 3*4/24*-6 + -10. Let r(u) = -u - 12. Let p be r(z). Solve 5*l = -i - 5, 2*l = l + 4*i - p for l.
-1
Suppose 3*l = 2*l - 11. Let j = 17 + l. Suppose 0 = 3*n - 12 - j. Solve -n*q = -q - 4*r + 1, -r - 5 = 4*q for q.
-1
Suppose -7*n = -20*n + 26. Solve 0 = 4*j - 4*l - 0*l + 32, 0 = n*j + 2*l for j.
-4
Let u be 44 + -3 - (23 - 13). Solve 2*x + 6 = -2*x - 2*p, -4*x = -3*p + u for x.
-4
Let b = -276 + 281. Sol