Let r be 3 - (-3 - (-12)/2). Solve -2*o + r + 4 = 0 for o.
2
Let n(k) = k + 4. Let b be n(-4). Solve b*j + 8 = 2*j for j.
4
Let y(u) = 4*u2 - u + 1. Let n(h) = -h3 - 7*h**2 + 9*h + 9. Let d be n(-8). Let l be y(d). Solve k + 25 = -l*k for k.
-5
Let c = -4 - -8. Solve c*y - 6*y = -2 for y.
1
Suppose -2*w + h - 27 = 0, -6 - 15 = w - 2*h. Let m = -7 - w. Suppose m*j - 30 = j. Solve 0 = 4*a - 6 - j for a.
4
Suppose 11*b - 23 - 54 = 0. Solve 0 = b*r - 2*r - 20 for r.
4
Let a be (-363)/12 + 1⁄4. Let u be (-12)/a*10*1. Solve 0 = u*y - 4 for y.
1
Let m(p) = -p**2 - 8*p - 6. Let c be m(-8). Let r = c + 8. Solve r = i - 0*i for i.
2
Let k(o) = o**2 - 6*o + 7. Let b be k(6). Let h = 13 - b. Suppose 0 = -h*y + y. Solve 5*j + y*j = 10 for j.
2
Let t be 1/((-40)/(-12) - 3). Suppose 0 = -z - t*f + 19, 5*z - 14 = -2*f + 16. Solve -b + z*b = 0 for b.
0