Let n(v) = -v**2 + 10. Let a be n(0). Suppose -m - o = 2, 9*m = 4*m - 4*o - a. Let q be ((-3)/m)/(6⁄16). Solve -q*r - 15 = -9*r for r.
3
Suppose 2*m = 3*s - 2, s + 3*m - 3 - 5 = 0. Suppose 0 = 2*h + 1 - 11. Solve -s + 27 = h*j for j.
5
Let t = -86 - -86. Solve t = 6*v - 3*v for v.
0
Let a(d) = -d**2 - 6*d - 5. Let w be a(-8). Let c = 4 - w. Solve 0*l + c = 5*l for l.
5
Suppose 0 = 8*o - 3*o - 3*w - 3, 0 = -4*o - 4*w + 28. Solve -5 = -2*g + o*g for g.
-5
Suppose -3*x + 9 = 5*g, 5*g - 4*x = -2*x + 19. Suppose -g*i - 11 = -44. Let t(h) = h - 9. Let w be t(i). Solve w*a = a for a.
0
Let o(v) = v - 5. Let b be o(5). Let z be (0 - b)/3*-1. Suppose r - 2*r = z. Solve r = l + 2*l for l.
Suppose 0 = -4*z - 4*g - 20, -4*z - 2*g = -0*g + 16. Let a be z - (-16)/(3 - 1). Suppose -4*l - 25 = -9*l + 4*o, 0 = a*l + o - 50. Solve 0 = 2*c + l - 1 for c.
-4
Let x(q) = -q + 7. Let t be x(5). Let b = t - 1. Suppose 2*h = -h + 4*h. Solve 0*s - s + b = h for s.
1
Suppose 2*m - m = 2. Let b be -2 - (-3)/((-6)/8). Let h be m/(-6) + (-26)/b. Solve -r - 12 = -h*r for r.
4