Let r(k) = k3 + 5*k2 + 4*k + 5. Let v be r(-4). Suppose -v*x - 2*g = -x + 138, 3*g + 67 = -2*x. Let w = x + 35. Solve -8 = 2*s - w*u - 4*u, -5*u = -5 for s.
-2
Suppose 17 = 3*l + 5. Solve 20 = -l*m, 6 = -n - 0*m - m for n.
-1
Let t = -81 - 41. Let k be 264⁄42 + -6 + t/(-14). Suppose -4*f = -2*p + 6*p, 0 = -p + f + 4. Solve -l + k = x, -x - p*l = -5*l + 11 for x.
4
Suppose 4*f = -2*d + 44, 2*f - 139 + 5 = -5*d. Suppose -3*o + k + d = 0, k + 2*k = -2*o + 4. Solve -3*j + 3*g = -18, 2*j - 8 = 3*g + o for j.
2
Let x = 224 + -212. Suppose 0 = 2*z - 18 + 14. Solve 3*y + x = o, 5*y + 1 = -4*o - z for o.
3
Let s = 1299 - 1296. Solve -s*n + 1 = -m - 10, m = -5*n + 29 for n.
5
Suppose 21*y - 23 - 58 = 24. Solve -5 = -y*g, -h = -g + 5 + 1 for h.
-5
Let m be ((-24)/(-28))/((-6)/(-28)). Suppose -i + 2*i + 82 = 5*j, -2*i + 60 = m*j. Solve 4*t = -5*h + 1 + 1, -2*h - j = -4*t for t.
3
Suppose -5*q + 30 = -4*k - 0*k, 0 = 3*q + 4*k + 14. Suppose 0 = -q*m - m. Suppose 6*o - 5*o - 7 = m. Solve 3*c + x = o, -2*c - 6*x = -3*x for c.
3
Suppose 0 = -10*a + 38*a - 112. Solve a*s = -5*j + 2, 0 = 4*j - 26*s + 31*s + 2 for j.
2