Let x be (0 - -2)*(-6)/(-4). Suppose 24 = 5*v - v. Suppose -2 - v = -4*b. Solve 5*g - x = b*g for g.
1
Suppose 5*g = 15 + 5. Solve -v - g = -3*v for v.
2
Suppose 6*a - 2*a - k - 1 = 0, a + k + 1 = 0. Solve a = 2*y - 6*y for y.
0
Suppose 0*r = -4*y + 3*r, 2*r + 1 = 3*y. Suppose 2*l + 9 = y*i, i + 22 = 4*l + 3*i. Solve 4*w = 13 + l for w.
4
Suppose g = 6*g - 30. Let s = -2 + g. Solve k = -s*k - 25 for k.
-5
Let d(i) = 4*i + 4. Let f be d(2). Suppose -11 = -2*b - t, 3*b - 10 = 2*b - 5*t. Suppose 0 = -4*j + 2 + 6. Solve -b*g - f = -j*g for g.
-4
Let w = 2 - 4. Let a(b) = -b**2 - 2*b - 3. Let n be a(w). Let d be (-8)/(-6)*n/(-2). Solve 3*y = d*y + 5 for y.
5
Let o = 24 + -22. Solve -2*v - 4 = o for v.
-3
Let f be 0 + -1 + 3 + 6. Let c = f + -5. Suppose -u - 1 = -c. Solve 0 = -u*b + b for b.
0
Let x(n) = -n - 6. Let o be x(-8). Suppose -18 = o*p - 5*p. Solve p = -3*z + 3 for z.
-1