Suppose 3*n = -0*n + 18. Suppose 2*v - 2*g = -n*g + 28, -3*g = -5*v + 57. Solve 0*i - v = -4*i for i.
3
Suppose 0 = -16*s + 18*s - 20. Solve -2*z + s = -0 for z.
5
Let i(x) = x**2 - 5*x + 7. Let t be i(4). Solve 0 = -t*v + 14 + 1 for v.
5
Suppose 0 = f + 2*v - 11, v - 27 = -3*f - 2*v. Suppose -3*p = -f*p. Suppose -16 + p = -d. Solve 3*z = -z - d for z.
-4
Let b be (0 - -3)*(-8)/(-3). Let a = b + -5. Solve 2 + a = n for n.
5
Suppose -2*v - 12 = -o, 0*o - 5*o + 4*v = -36. Suppose 4*p - 16 = -o. Solve 7 = -p*n - 2 for n.
-3
Suppose p + 1 - 3 = 0. Let k be 1/(-8)*-4*p. Solve 2*v - 7 = -k for v.
3
Suppose 30 = 4*i - i - 4*r, r + 20 = 2*i. Let m be ((-12)/i)/((-15)/50). Solve 0 = m*n - 0*n for n.
0
Suppose -3*u + 5*u - 3*a - 10 = 0, 0 = 5*a - 10. Let b be (6 - u)/(2/(-5)). Let w = b + -5. Solve -f - 2 = -w for f.
-2
Let f = -34 - -36. Solve f*h - 3*h - 2 = 0 for h.
-2