Let v = 13 - 10. Solve -5*f + 8 = -v*f for f.
4
Let u = -5 + 31. Suppose 0 = 2*g + 4*r - u, g - 5*r + 0 = 48. Solve -8 = 3*h - g for h.
5
Let p be ((-21)/9)/(1/(-48)). Let u be p/10 + 1/(-5). Let c be (-2)/3 - u/(-3). Solve -c - 12 = 5*o for o.
-3
Let t be (-6)/((-12)/4) - -1. Suppose 5*d = -r - 11, 0 = -4*r - d - t*d + 20. Solve 0 = 6*s - 3*s - r for s.
3
Suppose -7 = -3*z - 2*z - 3*s, z = -2*s. Solve 3*g - 20 = -z*g for g.
4
Let x = 8 - 6. Solve 4 + 4 = -x*v for v.
-4
Let n = 6 + -2. Suppose n*f + 3 = 11. Solve -5 = -q - f for q.
3
Let j(n) = -n3 + 9*n2 - 8*n - 6. Let t be j(8). Let p = -4 - t. Suppose 0 = -3*s - 3*z + 12, 2*z + 1 = -s + p*s. Solve -s*k + 10 = 2*k for k.
2
Suppose 4*k = -z + 16 + 1, 0 = 3*k + z - 14. Let t = 19 - 13. Suppose -m = -t - k. Solve 11 + m = 5*l for l.
4
Let a(z) = -z3 + 5*z2 - 2*z - 4. Let c be a(4). Let y(x) = x - 1. Let m be y(4). Suppose 2*w - 6 - 4 = m*u, 16 = 4*w - 4*u. Solve w + 2 = c*o for o.
1