Let z(f) = f3 - 7*f2 + 6*f - 2. Let g be z(6). Let t be (-2)/g + (2 - 0). Let x = 17 - 10. Solve -1 + x = -t*v for v.
-2
Let y(t) = t3 - 4*t2 + 5. Let m be y(4). Solve -1 = -2*z - m for z.
-2
Suppose -92 = -3*z - 8. Let d = z - 16. Suppose k = 4*k - d. Solve 3 = k*h + 23 for h.
-5
Let l be 0/3 + (2 - -22). Let d be (l/42)/(2⁄7). Solve 4 + 0 = -d*s for s.
-2
Let o be ((-19)/2)/((-1)/2). Let z = -15 + o. Solve z*r + 11 - 3 = 0 for r.
-2
Let t be (-4 - -2)/6 - 19/(-3). Solve -2*c + 0*c - t = 0 for c.
-3
Suppose 0 = 4*a - 9 + 1. Solve -x = a*x + 3 for x.
-1
Let z be 7 - (1 - -4 - 3). Solve 2*k - z = k for k.
5
Let x(u) = -2*u + 4. Suppose 1 + 6 = -r. Let v be x®. Suppose 16 = 2*c - v. Solve -2 = 3*j - c for j.
5
Let u = -55 - -57. Solve u*z - 10 = -0*z for z.
5