Let t = 0 + 1. Suppose -3 = -4*o + 5. Suppose -u - o*l + 10 = 0, l = -u - 0*l + 5. Solve d - t + 0 = u for d.
1
Suppose -48 = -4*v + i, -24 = -2*v - 6*i + 2*i. Solve v = 3*j - 0*j for j.
4
Let b = 12 + -12. Solve -3*w + 6*w = b for w.
0
Suppose -4*g = 4*j - 7*j - 38, 2*j = 5*g - 44. Solve 5*t - g = 7 for t.
3
Let d = 48 + -46. Solve 0 = b + 1 - d for b.
1
Let s be 1 + -1 + (2 - -2). Suppose 13*q + s = 15*q. Solve 0 = -q*l + 3*l - 2 for l.
2
Suppose -4*j - j = 5*d - 20, j - 2 = -2*d. Solve -12 = j*w - 2*w for w.
-3
Let k = 8 + -18. Let y(g) = g**2 + 9*g - 7. Let x be y(k). Solve 0 = x*d + 1 + 2 for d.
-1
Let j(x) = x**2 + 2*x - 3. Let w be 0 - -1 - (5 + -4). Suppose f - 5*h + 3 = w, f - 2*h + 3 = -7*h. Let m be j(f). Solve -3*k - k - 20 = m for k.
-5
Suppose -2*j = 4*d - 10, -3*d - 2*d + j + 23 = 0. Solve -d = 5*w - 14 for w.
2