Let b(d) = 3*d + 1. Let l be b(1). Let z be (-8)/(-6) - 224/(-12). Suppose 4 - z = -l*h. Solve -o - 3*o = -h for o.
1
Let q = -15 + 21. Solve 2*n - 5*n + q = 0 for n.
2
Suppose 5 = 5*v - 5. Solve -3*r - v = 13 for r.
-5
Let g be 12 + -11 - (-1)/1. Solve -1 = 3*w + g for w.
-1
Suppose 3*p - 5 = 5*d, 16 = 2*p + 3*d - 0. Solve 2 = -p*w - 23 for w.
-5
Let p(v) = -10*v - 1. Let l be p(-1). Solve -3*s - 3 = l for s.
-4
Suppose 0 = 2*u - 6u. Let r be (-55 + 57)(0 + 6 + -1). Solve u = -4*b - 2 + r for b.
2
Let o(g) = g - 4. Let a be o(11). Solve -a = n - 2 for n.
-5
Suppose 4*g - 6 - 26 = 0. Suppose 4*n - 3*n - 2 = 2*d, 4*n = 3*d + g. Suppose 0 = -3*k - 3*y + 18, 16 = -0*k - 4*k + 4*y. Solve d = i + k + 4 for i.
-5
Let z(a) = -5*a + 10. Let y be z(2). Solve -3*p + p - 8 = y for p.
-4