Let y = 33 + -19. Let o = -9 + y. Solve 0 = -o*v + 3*v for v.
0
Suppose -m + 0*m + 1 = 0. Suppose -10 = -5*k + 2*j, 4 + m = 2*k - j. Let u = 7 + -4. Solve u*b + 4 - 1 = k for b.
-1
Suppose 3*v = 14 - 2. Solve -v*z = -z for z.
0
Suppose -5*f + 35 = -5*d, 0 = f - 2*d - 5 - 6. Suppose 2*n = n + f*z + 5, 0 = 5*n - 4*z - 25. Let r = n + -3. Solve w = 3*w - r for w.
1
Let k = 30 + -5. Suppose -4*r + 2*r + 32 = 4*q, 0 = -3*q - r + k. Suppose 2*z + q = 5*d, -z = -5*d - 2*z + 18. Solve -2*u + u - d = 0 for u.
-3
Suppose -4*y + 20 = 4*h - 0*h, -5*h = 3*y - 23. Let o(t) = -1 - 4 + t**2 + 4 - 2*t. Let k be o(3). Solve -h*v + k*v = 0 for v.
0
Let p = -2 + 5. Solve p*k + 25 = -2*k for k.
-5
Suppose -45 = 3*g + 2*g. Let n(a) = -a**2 - 10*a + 9 + 1 + 2. Let u be n(g). Solve 5*r - u = -6 for r.
3
Suppose 3*t = -c - c - 15, 4*t = -c - 20. Solve -4*a + c = 8 for a.
-2
Suppose -3*g + 2*m + 0*m = -138, 4*g = 5*m + 184. Suppose 5*y = 20, 2*x + 2*y = -8 + g. Solve -x = 5*n - 0*n for n.
-3