Suppose 0 = -2*r + 8 + 4. Let f = 8 + 1. Suppose -s + f = 2*s. Solve -s*x = -r + 3 for x.
1
Let a be 3*(30/(-9) - -2). Let p be (-11)/a + (-9)/12. Solve -p*h - 2 = -8 for h.
3
Let j(w) = 2*w3 - 5*w2 - w - 1. Let l be j(3). Solve -2 = 3*g - l for g.
1
Let p(l) = l + 11. Let q be (84/(-8))/7*6. Let h be p(q). Solve h = -2*y + 6 for y.
2
Let w(x) = 46*x**3 + x - 1. Let c be w(1). Suppose 0 = 5*j - c - 104. Suppose -2*y = -7*y + j. Solve -2*r + y*r + 20 = 0 for r.
-5
Let u be 1/((-5)/(-30) + 0). Solve -2*y - 20 = -u*y for y.
5
Let i(k) = k + 6. Let n(z) = z + 13. Let c be n(-10). Suppose 7*v - c*v = -16. Let t be i(v). Solve -3*o = 14 - t for o.
-4
Let u(a) = a3 + 3*a2 - 2. Let i be u(-2). Solve 0*y = -i*y + 6 for y.
3
Let i(g) = 3*g**2 - g. Suppose 0 = 3*f + x + 2, 0*f + 6 = -3*f + 3*x. Let s be i(f). Let o be (-14)/(-3) + (-2)/(-6). Solve o = 3*p - s for p.
3
Let t = 7 + -3. Suppose -15 = n - t*n - 5*q, 4*q - 12 = 5*n. Solve 0 = -n*y - y for y.
0