Suppose 4*m + 24 = -5*d, 2 + 4 = -m + 4*d. Let r be 1 + -2*1 + -3. Let c = r - m. Solve -12 = -c*f - f for f.
4
Let o be (6⁄3 + 0)*1. Solve o*k - 5*k - 12 = 0 for k.
-4
Let t = -119 - -127. Solve 5*j + t = -7 for j.
-3
Let k(i) = i**2 + 11*i - 10. Let x be k(-13). Let y = 31 - x. Suppose 0*u + 8 = 4*u. Solve -u*f + y = f for f.
5
Let r(b) = 8*b + 1. Let l be r(-2). Let v be 7⁄5 - 9/l. Suppose v*z = -2*z. Solve -5 = -t - z for t.
5
Suppose 0 = -5*u - 0 + 5. Solve 2*d + 11 = u for d.
-5
Suppose -8 = -5*h + 2. Solve 0 = 2*o + h + 6 for o.
-4
Let x be (-1)/(-2) - 1⁄2. Let q(d) = -d + 8. Let y be q(8). Solve f + x*f = y for f.
0
Let x = 27 + -25. Solve 0 = -x*j - j - 12 for j.
-4
Let y = -2 + 5. Let s(n) = -2*n + 2. Let m be s(1). Solve -y*q - 4 - 5 = m for q.
-3