Suppose 2*l + 0*l = 0. Suppose l*y = -y. Solve 2*x + y*x = 0 for x.
0
Let u(i) = -i - 3. Let a be u(-4). Suppose g + 4*v - 8 = 0, -12 = -5*g + 5*v + 3. Suppose g*k - 2*k = 2. Solve -x + k = -a for x.
2
Suppose 28 = -4*c + 4*g, -4*c - g - 23 = -0*c. Let x be (-26)/c + (-4)/(-6). Solve 1 - x = 4*v for v.
-1
Let z(g) = g + 5. Let u be z(4). Suppose -12 = -2*c - 4*y, -5*y = -3*c - 2*y + 63. Let n = -13 + c. Solve -n + u = 3*d for d.
2
Suppose -5*g = -r + 9 + 12, r - 3*g - 13 = 0. Let p = 4 + r. Suppose 4*u - 5*a = -13, 4*a = -0*a + 20. Solve 7 = p*z - u for z.
2
Suppose 2*q = 3*q - 16. Suppose -3*l = -x - 4 + 14, -2*l - q = 4*x. Let i be (4⁄3)/(x/(-3)). Solve -2*h = -0*h - i for h.
1
Let r be 4 + -5 - -5 - 3. Let h be (-4)/(-10) - 94⁄10. Let q be (-30)/h - (-2)/(-6). Solve -4*f - r = q for f.
-1
Suppose -8*a = -3*a. Suppose 0 = -a*g + 4*g. Solve 0 = 2*b - g*b - 6 for b.
3
Let o be 20/((-6)/(-3)) + -3. Let l = -7 + o. Solve l = -3*z + z + 10 for z.
5
Let a = -29 - -42. Let l = a - 8. Let z be (-2 + 6⁄4)*-2. Solve -z + l = 4*t for t.
1