Let g(s) = -s - 7. Let v be g(-7). Suppose -2*w = -v - 26. Solve -3 = -4*f + w for f.
4
Let z(k) = k + 3. Let p be z(-9). Let a be 4/p - (-124)/6. Solve -4*f - 4 + a = 0 for f.
4
Let j(i) = i3 - 7*i2 - i + 7. Suppose 0 = 3*k + 2*k - 40. Let t be j(k). Suppose 2*m = -2*u + 24, -u + m + t = 3*u. Solve 3*z + u = -0*z for z.
-5
Let t = 1 - 1. Let n be (2 + (t - -2))*2. Suppose -2*m + 3*o + 10 = 0, -m + n = 2*m - o. Solve -m*j - 2*j - 12 = 0 for j.
-3
Suppose -19*c + 2*c = -0*c. Solve -5*g - 6 + 1 = c for g.
-1
Let s = -109 + 109. Solve v + v - 6 = s for v.
3
Let v(p) = 3*p - 5. Let l be v(3). Solve l*r = 7*r + 3 for r.
-1
Let q(i) = -i**2 - 12*i - 14. Let y be q(-12). Let h = 19 + y. Solve 1 = h*c + 11 for c.
-2
Let i = 13 - 7. Suppose -3*u + 42 = i. Suppose -2*c - 8 = 0, 2*r - 5*c - u = 6*r. Solve -5 = r*s - 3 for s.
-1
Let s(k) = -k2 - 3*k + 3. Let z be s(-3). Let b(y) = y2 + 10*y + 11. Let q be b(-9). Solve -4*t + z*t + q = 0 for t.
2