Let n be (-10)/(-3) + 2⁄3. Solve -y + n*y + 15 = 0 for y.
-5
Suppose x = -g + 26 - 3, 0 = -5*x + 5. Solve -4*q - g = -2 for q.
-5
Let o© = -2*c**2 + 6. Let q be o(-3). Let j = q - -24. Solve r = -2*r - j for r.
-4
Suppose -5*p = -0*p - 20. Solve p + 0 = 4*a for a.
1
Let d = -5 - -7. Suppose -q - 2*a + 8 = 0, -3*q + 8 = q + 2*a. Suppose t + 2*t - 5*g = 0, d*t + 3*g = q. Solve -v = -t - 1 for v.
1
Let w be (1⁄2)/((-1)/(-12)). Suppose -3*q + q = -4. Suppose 3*h + q*u = -3 + 33, -h + u + 15 = 0. Solve -w*v + 3*v = h for v.
-4
Suppose -3 - 3 = -3*k. Solve -3*b - k - 1 = 0 for b.
-1
Let i = 7 + -3. Solve -2*z - i = 2*z for z.
-1
Let r(z) be the first derivative of -z**2⁄2 + z + 4. Let l be r(-1). Solve l*k + 12 = -2*k for k.
-3
Suppose -r + 3 = -1. Suppose -r*s + 2*l + 22 = 0, 4*s + 4 = 7*s + l. Suppose f + t - 24 = -s*f, 0 = -5*f - 5*t + 45. Solve -f*w + 6 + 14 = 0 for w.
4