Let j be ((-27)/6)/(9⁄60). Let g be (-5)/2*36/j. Solve -g*u - u = -8 for u.
2
Suppose 16 = 31*x - 23*x. Solve -3 = x*r + 1 for r.
-2
Suppose -4*v - 56 = -8*v. Suppose -5*h + 5*p = -2*h - 12, 0 = 3*h - 3*p - 12. Suppose 0*s + 20 = h*s. Solve s*j + v = -6 for j.
-4
Let n = -10 + 10. Suppose n = 4*y + y. Solve y = -0*t + t - 3 for t.
3
Let o(g) = 16 + g + 3 + g. Let t be o(-8). Let b(j) = j3 - 4*j2 - 6*j + 7. Let r be b(5). Solve -t*h = r*h - 15 for h.
3
Let z be 0 + 3 + (-1)/(-1). Let o be (-2)/(4⁄6)*-1. Suppose 0*s + 3*s - o*v + 3 = 0, 4*s = 3*v + 1. Solve -5*f + s = -z*f for f.
4
Suppose 3*t - 7 - 8 = -h, -3*t + h + 9 = 0. Solve -o - 20 = t*o for o.
-4
Let u = -5 - -9. Suppose 5*g + 4*p - u - 10 = 0, 3*g = 3*p + 3. Suppose -5*s - k + 5 = 0, -6 = -s - k - 1. Solve -g*m + 10 = -s*m for m.
5
Suppose 0 = -c + 4d + 6, d = 2 - 3. Let y = -12 + 8. Let q be (-2)/y(-5 - -11). Solve 1 = q*m - c for m.
1
Suppose 0*q + q - 6 = 0. Let n = q + -5. Solve 5*o - n = -11 for o.
-2