Let l be 16/(-6)*195⁄26. Let h = 20 + l. Solve h = 3*s - 5*s + 6 for s.
3
Let i(x) = x3 - 2*x2 - 3*x + 4. Suppose m - 3*m = -6. Let n be i(m). Suppose 0 = -c + 2*c + 2*b + n, 8 = -3*c - 4*b. Solve c*z - 10 = -2*z for z.
5
Suppose 0 = 5*h - 10*h + 15. Suppose 3*r = 2*r + h. Solve w - r*w = -2 for w.
1
Let g be (1*4)/(-3 - -2). Let x be g/(-10) - 18/(-5). Let h(o) = o**2 + 8*o - 20. Let y be h(-10). Solve -x*t + 0 + 4 = y for t.
1
Suppose -3*x + x = 0. Suppose 177*y - 170*y = 28. Solve x = -2*v + 4*v + y for v.
-2
Let d(o) = -o3 + 5*o2 + 3*o - 12. Let t be d(5). Solve 0*k = -k - t for k.
-3
Suppose 2*d + 3 = -4*b - 13, 0 = -4*d - b - 4. Solve d*w - 5 = w for w.
-5
Let q be 7 - (-3 - 18/(-3)). Suppose -q*k + 20 = -0*k. Solve 0 = -0*l + l - k for l.
5
Let c be 6⁄10 + (-44)/(-10). Solve -2*n - c = 1 for n.
-3
Suppose 0 = -s + 14 - 9. Solve 3*h - s = -2*h for h.
1