Let i(w) = w + 7. Let x be i(-5). Suppose -x*z - 25 = -7*z. Solve z*m = 20 + 5 for m.
5
Suppose -6*t + 2*n + 18 = -2*t, 4 = t - n. Suppose 0 = -5*p - 25, -4*u + 2*u + t*p = -31. Suppose 5*s - u*s = 6. Solve 0 = s*q - 3 + 6 for q.
-1
Suppose -k + 15 = 4*k. Suppose i + 0*i = -k*f - 1, -5*f + 10 = 4*i. Solve 0*o + i*o + 5 = 0 for o.
-1
Let q = -1 + 6. Solve 10 = -0*h - q*h for h.
-2
Let x be (180⁄105)/((-2)/(-14)). Suppose -2 = o - 5. Solve -h = o*h - x for h.
3
Let r be 4⁄1 - 2⁄1. Suppose 0 = 3*a - r - 4. Solve v + 1 = a for v.
1
Suppose 0*w - i = 3*w - 15, 0 = -2*w - 5*i + 23. Suppose -w*l + 6 = -2*l. Solve a + l*a + 16 = 0 for a.
-4
Let p be 8 + -8 - 8⁄1. Let x(l) = l**2 + 7*l + 6. Let t be x(p). Solve 4*m - t = 2 for m.
4
Let h be (-20)/8*32/(-40). Solve -2*d = -0*d - h for d.
1
Suppose 2 = n, n - 11 = -u - 3. Suppose 0*s + 10 = -5*s, 25 = -w + 5*s. Let i = -21 - w. Solve -5*y - u = i for y.
-4