Let n = -4 + 10. Solve -5*y + 31 = n for y.
5
Suppose 0 = 2*m - 3*m + 20. Solve 5*k - k - m = 0 for k.
5
Suppose -3*d - 42 = -3*r, -3*r - d + 36 = -2*d. Solve 4*q - r = 5 for q.
4
Let j(h) = h**2 - 23*h + 66. Let c be j(20). Solve r + c = -r for r.
-3
Let l = -20 - -23. Suppose -20 = -2*q - 2*q. Solve 0 = -l*k - 7 - q for k.
-4
Suppose 0 = -3*c - 5*g - 8, 3*c - g - g = -1. Let n® = -1 - 17*r + 38*r - 24*r. Let w be n©. Solve w = k + 5 for k.
-3
Let i(g) = g3 + 7*g2 + 6*g + 5. Let t = -2 + -4. Let o be i(t). Suppose -45 = -o*n + 5. Solve -q - n = -3*q for q.
5
Let s(f) = -7*f3 - 2*f2 - 2*f - 1. Let x be s(-1). Let h = -6 + x. Solve h = -3*d + 4*d for d.
0
Let a = 59 + -96. Let z = a + 22. Let k be z/(-6) + 2⁄4. Solve 0 = d - 0 + k for d.
-3
Let m(j) = -j3 + 12*j2 + 15*j - 21. Let l be m(13). Solve 8 = l*r - 2 for r.
2