Let r be 5⁄30 + (-793)/6. Let t be 4/(-6) - r/9. Solve -t = 5*i + 1 for i.
-3
Let x(n) = -n + 3. Let y be x(-3). Let c(s) = 5*s - s2 + s3 - 7*s - 2*s**2 + 5 - 6*s. Let l be c(5). Solve -l = 3*u - y*u for u.
5
Let n(z) = -z + 13. Let b(l) = -l + 14. Let x(u) = 3*b(u) - 2*n(u). Let t be x(12). Solve -t*k - 30 = -10 for k.
-5
Let i(t) = -t + 12. Let q be i(7). Solve -q*u + 21 + 4 = 0 for u.
5
Suppose 4*r + 2 = -5*y + 25, -5*r + 4 = -2*y. Solve 4*f = r*f + 6 for f.
3
Let o(y) = y. Let x be o(5). Suppose -c - 7 = -u, 5*c = -3*u + x - 24. Solve -3*i + 1 = -u for i.
1
Suppose -30 = 4*n + 14. Let y = -8 - n. Let k(p) = -p**2 - 8*p + 13. Let i be k(-9). Solve i*j - y*j - 1 = 0 for j.
1
Let z(s) = -s + 6. Let n = -5 + 8. Let t be z(n). Let d = t + -1. Solve -x = d - 4 for x.
2
Let o(a) = a3 + 7*a2 - 2*a - 10. Suppose 0 = 5*p - p + 28. Let m be o(p). Solve -m*l + 1 = -7 for l.
2
Let r = -7 + 12. Let n = 8 - r. Suppose -5 + n = -v - y, -3*v - 5*y + 10 = 0. Solve -4*w = -v + 16 for w.
-4