Suppose -9*x - 3*x + 12 = 0. Solve x + 4 = 5*c for c.
1
Let j = -136 + 141. Solve 2*d = j*d for d.
0
Let q be (-40)/(-3) - (-2)/3. Suppose -q + 2 = -4*m. Let d = m - 0. Solve -d*b + 2 = -1 for b.
1
Let u be ((-1)/3)/((-1)/9). Let k be -2*-3*u/6. Let o® = -r**2 + 8*r - 1. Let y be o(7). Solve -3*d - k = y for d.
-3
Let c = 1 + 3. Suppose -c*a - 5*l = -l, -5*a + 3*l = -8. Solve 0 = 2*b - b - a for b.
1
Suppose 1 = -4*d + 25. Solve 0 = -2*v + d*v + 8 for v.
-2
Suppose -5 = c - 1. Let o be (-3 - c)/((-1)/(-25)). Suppose 4*t - o = 5*r, -2*t + 2*r + 10 = -4*t. Solve 4*m + t = 8 for m.
2
Let o = 15 + -12. Suppose -4 = -o*a + 2*a. Solve a*c = c - 15 for c.
-5
Let c(o) = o3 + o2 - o + 2. Let k be c(0). Suppose k*a - 12 = -10. Solve p + 1 = -a for p.
-2
Let x(k) = k**2 - 3*k - 1. Let c be x(4). Suppose 4*s + 37 = 3*m - 0*s, 4*m + 4*s = 68. Let b = 212 + -209. Solve c = b*n + m for n.
-4