Let r be 1*0/(1 + 1). Suppose r*z - 3*z = 0. Solve z*y = y + 2 for y.
-2
Let t be 1/(-2)-2-3. Let s be 0 + 2 - (t + 3). Suppose -v + 4 = 0, 4*w = 3*v + 2 + 2. Solve -w*i + s - 14 = 0 for i.
-3
Let c be (-62)/(-6) - (-3)/(-9). Solve -c = 3*x - x for x.
-5
Suppose -4*f + 20 + 2 = 5*t, -5*t = 5*f - 25. Solve -q = t*q - 15 for q.
5
Let f(s) = 0*s - 7 + 5*s - s - 3*s. Let o be f(5). Let t(y) = y**2 + y. Let u be t(o). Solve 0 = g - u for g.
2
Let y(u) = -u3 - u2 + 5. Let s be y(0). Let p(g) = 0*g2 - 2*g + 0 - g3 - 3 + s*g**2. Let r be p(4). Solve r*q + 0*q - 20 = 0 for q.
4
Let y = 0 - -16. Let x = y + -13. Solve -2*q = x*q - 20 for q.
4
Let w = -92 - -95. Solve 0 = 4*h - h + w for h.
-1
Suppose -i + 3*i + 15 = 3*r, 4*i + r - 5 = 0. Let z = -17 + 4. Let q = 18 + z. Solve 0 = 5*k - q - i for k.
1
Let n = -105 - -75. Let s = -8 + -15. Let c be s/(-5) + (-12)/n. Solve c = -0*f + 5*f for f.
1