Let i be 2 + 7 + 9/(-3). Solve 15 = -n + i*n for n.
3
Let v(d) = -2*d + 7. Let j be v(3). Let c be (-9)/(-4 + 3)*j. Solve 0 = -c*f + 4*f for f.
0
Let k(q) = q3 - q2 + 1. Let u be k(2). Suppose -i = -u*i + 16. Solve i*o = 5*o - 5 for o.
5
Suppose 7*f - 51 = 12. Solve -2*k - k = -f for k.
3
Suppose b = 2*m - 5 + 28, -b + 5*m = -20. Solve -5*l + b = -0*l for l.
5
Let o = 3 + -1. Suppose -p + 7 = -o*p + 2*y, -3*y = -12. Let v be p*5*16⁄20. Solve -25 = v*r - 9*r for r.
5
Let t be (-128)/24*3/(-2). Suppose -3*d + t*d = 10. Let v be 0 + 1 + 3 + -2. Solve d*f + 12 = -v*f for f.
-3
Suppose 0 = 3*c - 0*c. Solve f = -c*f + 3 for f.
3
Let m be (0 + (6 - -1))/(-1). Let z = m + 10. Solve -t = z*t - 8 for t.
2
Let b(y) = -y + 4. Let t be b(-5). Let j be (0 - 12/(-10))*-5. Let q = j + t. Solve 8*r - 5 = q*r for r.
1