Let v be 1 - 1*12/(-3). Suppose 5*a + 0*a - 65 = 0. Suppose 2*t = t + a. Solve v*c + t = 28 for c.
3
Let w(t) = -t - 3. Let k be w(-5). Suppose 16 = 2*f - 5*o, 8 = f - 0*f - k*o. Solve h = -h + f for h.
4
Suppose 0 = 3*q + w - 12, -w = -2*q - 2*w + 9. Solve -q*n + 0 = 3 for n.
-1
Suppose 0 = 2*j - 6*j + 68. Let q = -9 + j. Let a be q/(-28) - 32/(-14). Solve 2*f + a*f - 4 = 0 for f.
1
Suppose 0 = -4*d + 27 + 17. Suppose d = -2*r + 29. Suppose -x - 1 + 4 = 4*a, -3*x + 2*a + r = 0. Solve 8 = -x*m - 1 for m.
-3
Let d be (-2)/8 + (-3)/(-12). Let q(g) = -2*g + 13. Let i be q(5). Solve d*u = 3*u + i for u.
-1
Let z = 13 + -25. Let y = z + 16. Suppose -6 = -4*o + 2. Solve o*b + y + 2 = 0 for b.
-3
Let i = 42 - 39. Solve 0 = -i*g + g + 2 for g.
1
Suppose 3*d + 5*r = -d + 8, 0 = -3*d + 3*r + 6. Solve 3*z - d*z = 0 for z.
0
Suppose -2*s = 2*s + 5*g - 36, -9 = -s + 4*g. Suppose 0 = -3*p - 0 + s. Solve -1 = p*m + 8 for m.
-3