Let z(k) = -k - 2. Let c be z(-5). Suppose -c*b + 8 = -4. Solve 2*o + b = 6*o for o.
1
Let z be 200⁄15*(-3)/(-1). Suppose 0 = -6*f + f + z. Suppose -4*k - x - x = -8, -3*x = -4*k + f. Solve 0 = -k*j + 2 + 4 for j.
3
Let k = 17 + -10. Let x = k - 2. Solve 0*n = -x*n - 25 for n.
-5
Let b be 1*-2 + (0 - -2). Suppose 0 = -0*h + 2*h + p + 4, 4*h + 3*p + 12 = b. Solve n - 3*n + 10 = h for n.
5
Let m be 0*((-6 - -3) + 4). Solve 2*w + w = m for w.
0
Let n = -45 + 46. Solve -n = d - 0*d for d.
-1
Let v = -25 + 25. Solve v = -3*w + 5 + 4 for w.
3
Let z be 2⁄6 - 13⁄39. Let x(n) = -n3 + n2 + 2*n + 21. Let g be x(z). Suppose -4*l + 3*w + 38 = -1, 0 = 4*l + 4*w - 32. Solve g - l = 3*h for h.
4
Let n(t) = 2*t**3 + t. Let l be n(1). Let p = -18 + 16. Let b be p/6 + 14⁄6. Solve -r = -b*r + l for r.
3
Let o be (8⁄3 - 2)*6. Suppose 0 = -5*g + g + 4. Let j be (g - (-3)/(-2))*0. Solve j = 2*f - o*f for f.
0