Let t be 14⁄10 + (-9)/(-15). Suppose -t*i - 2 = v - 24, -i + 3 = 0. Solve -2*m + v = 2*m for m.
4
Suppose -3*z - 12 = -4*z. Let h be 2/z - (-11)/6. Suppose h*d = 4*d. Solve d = w + 3*w for w.
0
Let r(q) = q3 + 4*q2 - q - 4. Let i be r(-4). Suppose 2*t - k = 4*k + 16, i = -3*t + 4*k + 17. Let s be (t + -1)/((-8)/(-12)). Solve -1 = m - s for m.
2
Suppose 3*h + 16 = 7*h. Let y be (-2)/h - 67/(-2). Solve y = 5*c + 13 for c.
4
Let p = 8 + -2. Suppose 4*c - p = 2*c. Suppose 2 + 4 = c*u, -u = 3*q - 20. Solve -q*w + 15 = -3*w for w.
5
Let r(k) = -k3 - 4*k2 + 6*k + 7. Let a be r(-5). Suppose 3*c = 0, -4*y = -2*y + 4*c - a. Let v be (-3)/(-6) - (-6)/4. Solve -x + v*x = y for x.
1
Let t = 28 - 20. Let y = t - 8. Solve -s + y = 2 for s.
-2
Let k = -1 + 3. Suppose -2*h - 15 = -o, -10 - 5 = 3*h. Let t = o - 0. Solve -k = 3*d - t for d.
1
Suppose 5*d + 4 + 16 = 0. Let b(f) = -f - 1. Let n(l) = -l**2 - l - 1. Let u(s) = d*b(s) - n(s). Let k be u(-5). Solve 4 = -i + k for i.
1
Suppose 0 = -w - 10 - 1. Let z = w - -18. Solve 0 = 2*t + z - 1 for t.
-3