Let s be 1*(-1 - -2)*0. Suppose 0 = -s*t - 2*t. Suppose d - 18 = -4*u - d, t = -u - 5*d. Solve 3*c + 2 = u for c.
1
Suppose 2*k = -4 + 12. Let x be 1/k + 11⁄4. Solve x*q - 20 = -2*q for q.
4
Suppose -1 = -2*o + 9. Solve 2 - o = -y for y.
3
Suppose 3*j = -0*j + 15. Solve -j*k = -k for k.
0
Let s = -4 - -6. Let f = -12 + 12. Suppose 4*j - 12 + 4 = f. Solve s = j*o - 0 for o.
1
Suppose -4*a = -2*a - 32. Let k(w) = w + 1. Let n be k(3). Let u(v) = -v**2 - 5*v + 1. Let d be u(-4). Solve -d*x + a + n = 0 for x.
4
Let k = -6 - -9. Solve 0 = k*y - 4 + 16 for y.
-4
Let i = -209 - -225. Solve -4 = 5*w + i for w.
-4
Let r be (-4)/(-2) - 112/(-4). Let a be 20⁄3*r/25. Solve 3*i = a*i - 10 for i.
2
Let r(j) = j3 - 8*j2 - j + 10. Let b be r(8). Let g be 16/(-12)*(-3)/b. Solve 0 = 5*q + g - 27 for q.
5