Let i(k) = -11*k2 - k3 - 8 + 9*k + 3*k2 + 2*k3. Let z be i(7). Solve 0 = -0*w + 3*w + z for w.
-2
Let m be 1⁄2*(0 + 0). Let q = 2 + m. Solve 0 = -u - u - q for u.
-1
Suppose 11 = 3*p + y, -2*p + 1 = -3*y + 12. Solve -6 = -p*j + 4*j for j.
-3
Let s be 14/(-28) - 21/(-2). Suppose 32 = 4*u + 3*r + r, -u + s = 2*r. Solve 5 = u*p - p for p.
1
Suppose t + 78 = 3*u - 0*t, -5*t + 110 = 5*u. Suppose y - 6*y = -u. Solve -20 = -a + y*a for a.
-5
Let d be (-48)/(-21) + 2/(-7). Suppose 10 = -c + 4*q, -4*c = c - d*q - 4. Solve x = -c*x + 3 for x.
1
Let f be (-4)/6*(-15)/5. Suppose t - 9 = -f*t. Suppose 3*o - 39 = -t*p - 0*p, 0 = -3*o + 15. Solve m + 3*m - p = 0 for m.
2
Suppose 6*u - 3 = 27. Solve -20 + 0 = u*w for w.
-4
Suppose -9*a = -8*a - 8. Solve 5*i = 2 + a for i.
2
Let r be (-2 - -3)*2 - 7. Let j be r/20 - 18/(-8). Solve j = a + 1 for a.
1