Suppose -j = 3*j - 20. Suppose -17 = -j*v + 63. Solve -2*g = 2*g - v for g.
4
Let o be (0 + (-6)/(-8))*4. Solve 2*i = -o*i + 20 for i.
4
Suppose 0 = 5*s - 0*s - 15. Suppose 5*d - 13 = -s*w, 5*w + 2*d - 23 = 5. Solve a - w*a = -15 for a.
3
Let n be 2 - 0*1/(-2). Let v be 2 - 4 - (-1 + 2). Let l(x) = 2*x**2 + 5*x + 2. Let z be l(v). Solve n*d = z*d for d.
0
Let v(y) = -y3 + 2*y2 + y. Let a be v(2). Suppose 0 = a*h - 0*h. Solve -u + h - 2 = 0 for u.
-2
Suppose -2*h + 7*h = 10. Let d = -767 + 771. Solve -d = h*c - c for c.
-4
Let g = -2 + 3. Let q be (7 - g) + (-2 - 1). Let w be (1 + -1 - -1) + 2. Solve -2*u - q = w for u.
-3
Let y(s) = -s3 + 11*s2 + 12*s + 3. Let l be y(12). Solve 0 = l*g - 3 + 12 for g.
-3
Let h = 132 + -132. Solve 2*o - 2 = -h*o for o.
1
Let q(w) = w**2 + 10*w + 11. Let m be q(-9). Solve -m*z + 3*z = 0 for z.
0