Let t = 7 + -5. Suppose -2*o - 172 = -6*o. Let z = 46 - o. Solve v - 1 = -0*v + t*m, z*v = m + 8 for v.
3
Let i(s) = -s3 + 4*s2 + 6*s. Let u be i(5). Let j = 24 - 21. Suppose 56 = x + j*x. Solve g - 8 = -3*d, 3*g - g - x = -u*d for g.
2
Suppose 2*t = -2*t + 88. Let o(l) = 17*l3 - 3*l2 + l + 1. Let r be o(1). Suppose r*z = t*z - 36. Solve -f + 2 = -1, -3*k - f = z for k.
-3
Suppose 260*j = 240*j + 420. Solve j = 5*g + 4*c - 15, -3*c + 20 = 2*g for g.
4
Suppose -5*q - 4*i = -i - 11, 0 = -10*q + i + 43. Solve -2*n + 0 = d + 3, q = -4*n for d.
-1
Let f = -83 - -101. Let p = f + -4. Let y = 10 - -3. Solve -5*q - p + 0 = -2*d, 4*q = d - y for q.
-4
Suppose -4*t + 2*c + 0 = 8, 5*c - 20 = 2*t. Solve 2*u = 5*o - 10, 2*u - o - 1 - 5 = t for u.
5
Let g = 3040 - 3027. Solve -t + g = -3*f, -5*t = -3*f - 0*f - 5 for t.
-2
Let v = 74 + -74. Suppose v = 5*z - 8 - 7. Solve 2*i + 3*i = 4*p - 12, -4*p + z*i = -4 for p.
-2
Suppose -36*s + 4*s = -77 - 51. Solve 0*x - 5*x = -s*b - 8, 7 = b + x for b.
3