Let y be 4⁄18 - 86/(-18). Let w = y + -5. Solve 9 + w = 3*v for v.
3
Suppose n + 5 = 5*z - 2, -3*n + 3 = -3*z. Solve l + n = -2*l for l.
-1
Suppose 0 = 5m - 17 - 8. Let v be 4(-3 - (-2 - m)). Solve 8*g = 4*g - v for g.
-4
Suppose -4*f - 6 = 10. Let l be (-1 - -2 - f) + -1. Solve 0 = 2*u - l*u - 6 for u.
-3
Let z be 13⁄5 + (-2)/(-5). Solve z*a = 5*a - 10 for a.
5
Let d = 0 + 2. Suppose 4*p = d*p + 4. Let b be (-3)/(-8) + (-13)/(-8). Solve b*u + 20 = -p*u for u.
-5
Let r be 3/(-4) + 5/(-20). Let x be r*((-2)/(-2) - 2). Suppose 3*j + 210 = 13*j. Solve x = -4*u + j for u.
5
Let b(q) = -q3 - 9*q2 + 10*q + 3. Let j be b(-10). Suppose j*n = -2*g - 1 + 2, 3*g - 9 = -3*n. Suppose 0*s = 4*s - g. Solve 0 = s*p + 2*p - 8 for p.
2
Let b be 8⁄6*6 + 0. Let l be (30/(-24))/(-5) + 15⁄4. Suppose 3*g - 11 = 1. Solve l*z - b = g for z.
3
Let r = -29 + 31. Solve -2 = -r*n + 4*n for n.
-1