Suppose 12 = 3*f - 2*f. Solve -f = -3*k - 0*k for k.
4
Suppose 5*j + 9 = 2*f, 0*f - 3*j + 3 = 3*f. Solve f*r = 4*r - 6 for r.
3
Suppose o = 2 - 3. Let v = 4 + o. Let j be v + -2 + -1*1. Solve j*x - 2*x = 0 for x.
0
Let j = 17 - 10. Solve j - 1 = -3*w for w.
-2
Suppose 0 = 5*w - 2*y - 19, 0 = 4*w - 0*w - 5*y - 22. Solve -w*f - 7 = -4 for f.
-1
Let m = -1 + 2. Let i = 1 - m. Suppose 3*k - 8*k = i. Solve 9 = -k*z + 3*z for z.
3
Suppose 0*r - 4*r - 4 = 0, -11 = -2*b + 5*r. Suppose 2*y = b*y - 4. Suppose -7*k + 2*k + 2*m + 43 = 0, y*m + 32 = 4*k. Solve -2*j = 1 - k for j.
4
Let k = 0 + 4. Suppose -4*l + 2*l = -x - 3, 4*l = -5*x + 13. Suppose 0 = 3*o - s - 10, l*s - k = -4*o + 6. Solve -3*f + o = -6 for f.
3
Let k® = r3 - 3*r2 - r + 1. Let m be k(2). Let d(o) = o**2 - o - 6. Let w be d(m). Suppose -4*v + w = 2*b + b, -4*v + 16 = b. Solve b = -4*c - 4 for c.
-2
Suppose -8 = -3*c + 1. Let q be ((-30)/4)/(-5) - (-18)/4. Solve c*t - q = 3 for t.
3