Suppose -21 = -3*o - 5*j + j, -2*j + 6 = 0. Let r(f) = -f3 + 13*f2 + f - 7. Let g be r(13). Solve -o*y + 3 = -g for y.
3
Let x(k) = k**2 + 3*k + 3. Let w be x(-2). Suppose 0 = -4*i + 3 + w. Suppose 0 = 3*z - 2 - 4. Solve 3*f - i = z for f.
1
Let t be (-4)/(-3) + (-527)/(-93). Solve 6 - t = v for v.
-1
Let q be (-28)/(-6) + (-4)/6. Suppose -3*b - 4*u + 6*u = 4, q*u = -4*b + 28. Solve -4*x = -b*x + 4 for x.
-2
Let x = 18 + 0. Solve -8 = 5*f - x for f.
2
Let v be (3/(-3))/(1 + -2). Let m be (v - (-2)/(-4))*0. Let o = 3 - m. Solve -o*u + 3 = -3 for u.
2
Let q = -5 + 21. Suppose 4*v = 2*v + q. Solve v = -u + 3 for u.
-5
Let f = -1 - -3. Suppose 0 = f*k - k - 2. Suppose -k*o + 6*o = 0. Solve o*y + y = -2 for y.
-2
Let p(g) = -g + 2. Let l be p(2). Suppose -32 = -4*u - 5*c, -5*u + 3*c + 2 + 1 = l. Solve -u*d + 0 = -6 for d.
2
Let r = 6 - 3. Suppose r*w = -0 + 9. Suppose -2*g = -w*g + 1. Solve g = -p + 2 for p.
1