Let y(u) = 4*u - 1. Let z be y(1). Solve -z*c = c - 12 for c.
3
Let s be (-1)/((-4)/12 - 0). Suppose -6*r + s*r = 0. Solve 0*u - 2*u - 2 = r for u.
-1
Let u be 153⁄6 + 2/(-4). Suppose 27 = -2*s + 5*b, 5*s = 3*b + 5 - u. Let a(v) = -5*v - 1. Let t be a(s). Solve 12 = -t*c - 0*c for c.
-3
Let c(o) = -o**2 + 4*o + 5. Suppose 0 = -2*q - q + 15. Let a be c(q). Suppose m - 4 + 0 = a. Solve -n = -2*n - m for n.
-4
Suppose -6 = -2*a + b, 0 = -3*a + 3*b - 7*b + 31. Let s be 8/a*45⁄3. Let l(w) = -6*w**3 + w. Let h be l(-1). Solve -h*z - 4 = -s for z.
4
Suppose -4h = -12 - 16. Let o be h/2(-24)/(-28). Solve -o*g + 2*g = -4 for g.
4
Suppose z - 2*z - 4 = 0. Let l = z + 6. Suppose 0 = -l*p - p. Solve -8 = -2*i - p*i for i.
4
Let c be ((-6)/(-8))/(4⁄16). Suppose -c*x + 0*x = -6. Solve 6*u = x*u for u.
0
Suppose 32 + 13 = 3*d. Solve 2*s = -3*s - d for s.
-3
Let i(b) = -b + 11. Let r be i(-4). Solve 4*p = p - r for p.
-5