Let c = 2 + 1. Suppose 0 = z - c*a - 1, -3*z + 5*a - 2*a = -9. Suppose 3 + 1 = z*j. Solve m - j = 1 for m.
2
Suppose m - 3*t + 0*t - 18 = 0, -2*m = -t - 11. Let q = m + -1. Suppose -o = -q*o. Solve -1 = z - o for z.
-1
Let v be (-4)/(-2) - 1*-2. Suppose -14 - 22 = -v*u. Suppose -3*y = -66 - u. Solve -y = -6*a + a for a.
5
Suppose -12*j = -8*j - 12. Solve -8 = -j*f - 2 for f.
2
Let b(j) = j3 - 4*j2 + 3*j - 4. Suppose 2*l = -l + 12. Let v be b(l). Solve -v = 2*y + 2*y for y.
-2
Suppose 14 - 8 = 2*c. Suppose -c*u - 3*w = -2*u - 7, -5 = 3*u - 4*w. Solve 0 = -4*b - u + 13 for b.
3
Let p be 2/(-2) - (-8 - -3). Let x = -5 + p. Let m(j) = -3*j - 1. Let k be m(x). Solve 0 = -0*r + r - k for r.
2
Let r be 4 - 2 - (-2 + 6). Let l = 3 + r. Let w = 10 + -8. Solve k = w*k - l for k.
1
Let t be -2 + 0/(-4) - (-5 - -3). Solve f = -t + 1 for f.
1
Let p(t) = -t + 2. Let n be p(0). Suppose w + 13 = -2*w - 5*v, -4*w = -5*v - 41. Suppose -w*m = -m - 4*k, 0 = 5*m - 2*k. Solve m*z = -n*z for z.
0