Let l = 3 + 3. Suppose -3*z = -l*z + 15. Solve -z*y - 11 + 1 = 0 for y.
-2
Suppose -4*w - 1 = 3. Let t be 1 + 0 + 0 + w. Suppose -5*s + 13 = 5*l - 2, -4*s = 3*l - 9. Solve k - 4*k + l = t for k.
1
Let n = 10 + -5. Let w(l) = 2*l**2 + 3*l - 3. Let q be w(-3). Let o be -1 + 1 - (-26 + 0). Solve q = -n*u + o for u.
4
Let p = -12 - -23. Suppose 2*j - p = 1. Solve 5*b = j*b for b.
0
Suppose -1 - 8 = -3*z. Solve i = -z*i - 8 for i.
-2
Suppose 7 = 7*s - 0. Solve -5*h + 4*h = -s for h.
1
Suppose -3*m = -8*m + 65. Suppose m = 5*l + 3. Suppose x = -0*x + 3*o + 11, 3*x - 12 = l*o. Solve q + x = -2 for q.
-4
Let z = -3 + 1. Let x be (6/z)/(-3) + -1. Solve k + 3*k - 12 = x for k.
3
Let x(m) = m3 + 9*m2 - 12*m - 15. Let k be x(-10). Suppose 4 = 3*g - k. Solve -10 = g*l - 1 for l.
-3
Suppose 0 = -5*z + z + 4. Suppose -z = -k - 0. Suppose -u + 9 = k. Solve 0 = -c - u + 4 for c.
-4