Let k = 4 + 7. Suppose -26 - 1 = -3*a. Let b(i) = i**2 - 7*i - 13. Let r be b(a). Solve k + 14 = r*u for u.
5
Suppose 0 = f - 5*f - 24. Suppose -5*l = -3*j - 48, 2*j - 17 = -2*l - 1. Let w be f/l*18/(-4). Solve 3 - 15 = -w*q for q.
4
Let p = -122 + 125. Solve p*x - 4*x = -4 for x.
4
Suppose 4*f - 3*u - 32 = 0, -3*f - 8*u = -3*u + 5. Solve 0 = -f*h + 5 for h.
1
Let g(q) = -2*q - 5. Let i be g(-6). Let c = i - 5. Solve -2 = h - c*h for h.
2
Suppose 0 = -v + 6 + 2. Let d be (4 - v)*2/(-2). Solve 4 = -d*w - 8 for w.
-3
Let x = -4 - -4. Suppose x*k + k = 0. Suppose -3*t = -5*t. Solve t*a + 5*a = k for a.
0
Suppose -d + 0*l + l + 9 = 0, d + 2*l + 6 = 0. Solve 0 = d*c - 7*c - 6 for c.
-2
Let f = 10 - 5. Let t = f + 1. Solve -j + t = 2 for j.
4
Suppose 0 = -3*r + 5 + 4. Suppose -b = r*b. Solve b*s = s for s.
0