Let c(w) = -19*w + 98. Let b be c(5). Solve -b*i = -6*i for i.
0
Suppose 5 = 5*n - 25. Solve -3*i + 9 = -n for i.
5
Suppose 4*d = -16, 4*d + 5 + 5 = 3*v. Let b = v - -17. Solve b = -t + 6*t for t.
3
Let q(s) = -s**2 + 9*s + 10. Let p be q(7). Suppose 0 - p = -3*j. Suppose 4*r + 3*v = 2*v + 62, 0 = -4*v + j. Solve 0 = -5*w - 0*w + r for w.
3
Let i = 1 - -1. Let h(d) = 2*d**2 - 2*d - 2. Let m be h(i). Let b be (-3)/3 - (-4)/m. Solve -3*g - b + 4 = 0 for g.
1
Suppose 3*t = -2*t. Suppose -4*f - 32 = -b, 3*b + f - 55 - 2 = t. Suppose 0 = 5*c + b, 4*c + 1 = -g - 2*g. Solve -g*h + 28 = 8 for h.
4
Let w(o) = -7*o - 21. Let m be w(-3). Solve m = -3*f + 5*f - 10 for f.
5
Let m(v) = 4*v**2 + 2*v - 2. Let k be m(-2). Solve -3*n + k + 5 = 0 for n.
5
Suppose -3*b = -4*f - 16, -7*f = -10*f + 6. Solve -2*q = -b + 6 for q.
1
Let r be ((-4)/(-1))/(-5 - -6). Suppose 0*w = -3*w + 5*f + 30, 3*w - 30 = r*f. Solve -4*s - s = -w for s.
2