Suppose 0*t - f = -4*t + 12, -t + 3 = -f. Solve -15 + 0 = -t*z for z.
5
Let x be (2/(-3))/(7/(-84)). Solve 0*p = 2*p - x for p.
4
Suppose c = -4*c. Solve -g - 2 = -c for g.
-2
Suppose 2 + 1 = -3*n, 0 = 4*y + n - 99. Suppose 6*t - y = t. Let b = 1030 + -1025. Solve -t*p + 10 = -b for p.
3
Let h be 8⁄10 + (-78)/(-15). Solve 5*n = h*n for n.
0
Let t = -6 + 9. Solve -8*i = -t*i - 10 for i.
2
Let t(w) = w**3 + w + 5. Let d be t(0). Let a = d + -2. Suppose z = 4*f + 25, -2*z - 39 = -5*z + a*f. Solve 0 = -0*p + 3*p - z for p.
3
Suppose -3*h - 8 = -7*h - n, 0 = -h + 5*n + 2. Let y(m) = m3 - m2 - 3*m + 3. Let q be y(h). Solve 2*r - q = 1 for r.
1
Suppose 2*p = -p + 15. Suppose -7*a - p = -5*r - 2*a, 4*r = a + 13. Let g be (-1 - (-2 + r))/(-1). Solve 0*k = -g*k + 6 for k.
2
Let i = 9 - 3. Solve -4*r = -i*r for r.
0