Let m(f) = -f2 - 3 - 5*f2 + 0*f2 + f3 + 6*f. Let v be m(5). Suppose 0*g - 5 = 4*g + 5*c, 3*c = -4*g - 3. Solve -v*t + t + 3 = g for t.
3
Suppose -3 = -5*x + 2*x + 3*l, -3*x - 2*l - 2 = 0. Solve x = -r + 2 for r.
2
Let w® = -2*r - 6. Let a be w(-4). Suppose 4 = a*v - 0*v. Solve 0 = v*n + 3*n + 15 for n.
-3
Suppose 0*k - k = -3*b + 13, -3*k = 3*b - 9. Suppose -b*p = -3*p - 2. Suppose -3*g - 2*g + 20 = 0. Solve -g = -v - p for v.
2
Let k be (-4)/(-10) + 36⁄10. Let z(f) = -4*f - 69. Let b be z(-18). Solve -m = b*m - k for m.
1
Let u be 5*(1 - 0) - 3. Suppose k = u*k. Solve 0 = -2*a - 2 - k for a.
-1
Let s(z) = 6*z + 38. Let m be s(-6). Let h(x) = -2*x + 1. Let t be h(-1). Solve m*l = l - t for l.
-3
Suppose 0 = 3*y, 2*x = -9*y + 4*y + 56. Solve 0 = -4*d + 12 - x for d.
-4
Let a(f) = -2*f + 4. Let d be a(2). Solve v + v - 10 = d for v.
5
Let i(k) = -10*k - 3. Let w be i(-2). Suppose s - w - 5 = -5*b, 4*b = -2*s + 20. Suppose 0 = -5*x - 3*a + 3, 8*x - 4*x = 2*a - s. Solve 12 + x = 4*n for n.
3