Let b be 1 - 1/(3/(-3)). Let q be 4 - (-3 + b) - 2. Solve 2*m + 5 = q for m.
-1
Suppose -5 = -4*q + 27. Solve 0 = -10*t + q*t - 2 for t.
-1
Let q(h) = -h + 3. Let z(a) = a - 4. Let n(d) = 3*q(d) + 2*z(d). Let t be n(1). Suppose t*v + 8 = 4*v. Solve -v = -2*f + 8 for f.
5
Suppose -30 = -v - 5*v. Solve -v + 0 = -m for m.
5
Let j(i) = i**2 - 12*i + 22. Let d be j(10). Solve -a - 3 = d*a for a.
-1
Let d® = -r**2 + 4*r + 5. Let u be d(4). Suppose -40 = -3*y - u*q, 2*q + 16 = 5*y + 1. Solve 3*f + 11 = y for f.
-2
Suppose -5*o - 24 = 1. Let j = 7 + o. Suppose -3*x - p - 5 = 0, 15 = -4*x - 5*p - 10. Solve -j*n + x*n - 6 = 0 for n.
-3
Suppose 7*n + 40 = 2*n. Let i be -2 + 4 - (7 + 1). Let z = i - n. Solve -v - z = -2*v for v.
2
Let p = 9 - 4. Let r(z) = -2*z + 1. Let n be r(-6). Suppose p*q + 3*j = 30, -j - 11 = -4*q + n. Solve -3*x = -x - q for x.
3
Let q = 6 - 4. Suppose 0 = -5*t - 2*c, -25 = -c - 4*c. Let y = 4 + t. Solve 0 = y*o + q*o for o.
0