Let a(l) = -l + 16. Let y be a(11). Let t = 22 + -6. Let z be -5*(t/(-10))/2. Solve 0 = z*f + y - 17 for f.
3
Suppose 0 = 5*f + 15, -4 = -x - 2*f - 6. Solve 3*l = 2*l + x for l.
4
Suppose 17 = z - 3*n, 25 = 5*z - n + 10. Suppose j = -4*q + 25, -3*q + 10 = -5*j - 3. Solve -y = z*y + q for y.
-2
Let k(u) = u3 - 2*u + 1. Let t be k(2). Suppose -t*q - 4 = -3*q. Let g(b) = -b2 - 5*b - 2. Let l be g(q). Solve 0*j = -j + l for j.
4
Suppose -11 = 4*z - 51. Let o = 16 - z. Solve -2*i + 0*i + o = 0 for i.
3
Let a be (4/(-3 - 1))/(1/(-10)). Solve 0 = -8*v + 3*v - a for v.
-2
Let c be 12/(-48) - 82/(-8). Solve -3*h = 2 + c for h.
-4
Let t(g) = 5*g + 4. Let h be t(0). Solve i = -i - h for i.
-2
Let g be ((-198)/(-7))/6 + 10⁄35. Suppose -4*d - 5 + 21 = 0. Solve g = o + d*o for o.
1
Suppose -15 = -0*m - m. Suppose 2*w + 3*w - m = 0. Solve -w*a = a + 16 for a.
-4