Let q(a) = a. Let x(s) = -s. Let l(h) = 5*q(h) + 6*x(h). Let n be l(-2). Let y = -1 + n. Solve -2*v - 9 - y = 0 for v.
-5
Suppose 5*t = 5*z - 5 + 15, z = 5*t - 18. Let w be 8 + -8 + 2 + 2. Solve -3*i + w = -t*i for i.
-4
Let w(t) = t**2 + 8*t + 4. Let a be w(-3). Let r = 21 + a. Let j be ((-8)/(-3))/(r/15). Solve j*i = -0*i - 8 for i.
-2
Suppose 0 + 12 = 3*b. Let d = b - 1. Solve -4*c + d*c = 4 for c.
-4
Let k be (-25)/(-15) + 1⁄3. Suppose -k*b - j + 6*j = -19, -5*b + 2*j = -16. Solve 4*p + b = 14 for p.
3
Let o(y) = -y**2 + 12. Let r be o(3). Solve r*n - 6 = 6*n for n.
-2
Let b be ((-6)/(-9))/((-6)/(-45)*1). Solve l = b*l - 4 for l.
1
Let f = -8 - -16. Solve -2*k - f = -4*k for k.
4
Suppose -8*k = -9*k + 2. Solve 5*h - k = 23 for h.
5
Suppose 0 = 5*k - 5 - 35. Suppose -2*g = o - 9, -3*o + k*o + g = 9. Solve 0 + o = t for t.
1