Suppose s - 4 = 1. Solve 0*t - s*t = -15 for t.
3
Let o(v) = 2*v**2 + 32*v - 25. Let z be o(-17). Solve 0 = 2*a + a - z for a.
3
Let x(v) = v + 6. Let o be x(0). Suppose d - o = z, 0*d + 12 = 3*d - z. Suppose d*f = -f + 32. Solve 2*w - 2 - f = 0 for w.
5
Suppose -5 + 1 = -i. Solve 2*n + 0*n + i = 0 for n.
-2
Let q be (-6)/(-9) + (-10)/(-3). Suppose 2*g - 5*w = -7 - 2, q*w = 20. Suppose -6*t + g = -2*t. Solve 3 - t = -a for a.
-1
Let j(q) = q3 + 4*q2 - 7*q - 7. Let h be j(-5). Let x = 119 + -119. Solve -u + h*u - 4 = x for u.
2
Let g(v) = -2*v3 + v2 - 5*v - 3. Let n® = -r**3 - r. Let u(w) = -g(w) + 3*n(w). Let a be u(0). Solve -2 = -b - a for b.
-1
Let u be ((-6)/21)/(2/(-14)). Let i be 1/(u + (-15)/9). Solve -3 = -i*b - 6 for b.
-1
Let u(l) = -l**2 - 6*l - 2. Let v be u(-6). Let j be v/4 + (-8)/(-16). Solve 5*a - 4 - 11 = j for a.
3
Suppose -o + 3 = -3*s - 2, -4*o = s - 20. Solve s = 6*j - j - 20 for j.
4