Suppose 0 = 6*j - 18 + 12. Solve -2*t - 1 = j for t.
-1
Let q(d) = d3 - 7*d2 + d - 7. Let j be q(7). Solve 4*g + g = j for g.
0
Suppose 0 = -4*a + 12. Let b = a + -1. Suppose 4*d - 4*i = 11 + 29, 25 = 3*d - 2*i. Solve b*l = -d - 5 for l.
-5
Suppose 8*b = 12*b - 8. Suppose -2*j - 2*u + 12 = 0, -3*j + 2 = -u - 0*u. Solve 0 = b*l - j for l.
1
Let x be (-4)/3 - (-52)/12. Suppose -1 = -j - 0*j, x*j = -2*f + 13. Solve 0 = -u - 4*u - f for u.
-1
Let m be (1 + -2 + 1)*1. Let n(f) = -f. Let i be n(m). Suppose -r - 2 = -4. Solve -o + i = -r for o.
2
Suppose -2*f = -2*v + 2, 5*v + 5*f = 2*v + 35. Suppose -v*l = -l. Solve -n - n - 6 = l for n.
-3
Let i be 1 + 8 + (9 + 0)/3. Solve q + 2*q + i = 0 for q.
-4
Suppose 5*v + 16 = 9*v. Solve z + v = -3*z for z.
-1
Let w(z) = z + 6. Suppose 4*j = 8 + 8. Suppose 30 = -3*s - 2*r - r, j*s + 28 = -r. Let f be w(s). Solve f = -5*u - 10 + 30 for u.
4