Let k be (9⁄2)/(6⁄20). Solve -2*b = b - k for b.
5
Let a(k) = -k**2 + 2. Let n be a(0). Suppose 0 + n = x. Suppose i - 18 = -4*r, -5*r - 9 + 29 = 0. Solve 8 - x = -i*f for f.
-3
Suppose 0 = 2*s - 4. Suppose -4*w + 3 = -3*l - s, -3*w = 2*l - 25. Solve -3 - 2 = l*g for g.
-1
Suppose 4*x + 2*q = q + 25, 0 = -4*x - 4*q + 28. Let a(w) = -w3 + 3*w2 + w. Let u be a(3). Suppose 5*p - 46 - 14 = 0. Solve -u*d + p = -x*d for d.
-4
Suppose -2*s - 10 = -7*s. Suppose 2*b - 5*b = 2*a - 6, 0 = -5*a - 5*b + 20. Suppose -3*l = -a*l + 15. Solve -l + s = q for q.
-3
Let k = -233 + 110. Let i be (-4)/(-6) - k/(-9). Let a = 18 + i. Solve a*y - 3 + 23 = 0 for y.
-4
Let n = 8 + -16. Let r be (n/(-6))/((-5)/(-15)). Solve -v - r*v = 0 for v.
0
Let o(i) = 2*i**2 - i + 1. Let f be o(-2). Let g = -11 + f. Solve g = 5*u - 12 - 3 for u.
3
Suppose -6*j = -9*j + 54. Solve 2 = -4*y + j for y.
4
Suppose -5 = 4*t + 5*f, 3*t - 6*t - 3 = 3*f. Solve -w + t*w = 0 for w.
0