Let d be 2/(1⁄4 - 0). Solve -10 = -d*i + 3*i for i.
2
Suppose 4*i + 16 = 4*h, 3*i + 2*i + 8 = h. Solve -h*t + 11 = 2 for t.
3
Let r(n) = n3 + 5*n2 - 5*n - 9. Let s be r(-5). Solve s - 1 = 5*f for f.
3
Suppose d = r + 14, d - 5*d = -3*r - 58. Let q = d + -13. Solve q*v + 15 = -0*v for v.
-5
Let m be 5*(-6)/(-15)*1. Solve m - 3 = -f for f.
1
Suppose 0*q - 18 = -3*q. Suppose -2*s + 4*s = -l + 13, 2*s - 40 = -4*l. Solve 5*t = -l - q for t.
-3
Let a(j) = -5*j - 2. Let h be a(-1). Solve 0*w - h = -3*w for w.
1
Suppose -4*c - 3*p = -6*c + 55, 4*p - 60 = -4*c. Suppose 0 = 8*b - 4*b + c. Let k be (-137)/b + (-3)/(-5). Solve 5*f - k = -3 for f.
5
Suppose -4*m = -3*j + 22, 4*m = 3*j - 4*j - 14. Let n(g) = g. Let f be n(j). Let i be 1*16⁄4 - 2. Solve -f*s - i = 4 for s.
-3
Let t be 3/(-6)*4 - -17. Suppose -w = -6*w + t. Solve 1 = 4*j - w for j.
1