Let i be -2 + 2 - 2 - -33. Let t be (-18 - -1) + 2/(-1). Let a = t + i. Solve -f + 5*f = a for f.
3
Let s(x) = -x - 10. Let k be s(-13). Suppose 5*b - 2*z = 3*b + 4, -b + 22 = 3*z. Suppose -3*o + 11 = 2*l, 3*l - 3*o - b = 2. Solve l*d - 2 = k*d for d.
2
Let t = 0 - -3. Suppose t*w = -w. Solve w*n + 2 = n for n.
2
Suppose -2*k + 0*k = -20. Solve 2*a = 4*a + k for a.
-5
Suppose -14 + 4 = -o. Let y = o - 7. Suppose 2*a - y*w = 12 + 7, 4*a = -3*w - 7. Solve -5*v + a = -3*v for v.
1
Let k(t) = -t - 6. Let q(p) = -p. Let b® = k® + q®. Suppose -2*a - 30 = 3*a. Let y be b(a). Solve 6 + y = 3*i for i.
4
Let x be (-4)/(-12)*(18 - 3). Solve x - 10 = y for y.
-5
Let i(x) = -2*x - 5. Let b be i(-5). Suppose -4*m + 4 = -5*k - 1, -k + b*m - 22 = 0. Solve -2*l + 15 = k*l for l.
3
Let k(o) = -o**2 - 15*o - 11. Let n be k(-12). Solve -n = -4*v - v for v.
5
Let i(t) = 2*t - 7. Let x be i(5). Suppose -p + x*p - 10 = 0. Solve 0*u + p = -u for u.
-5