Let t be -1*12-1. Suppose p + 1 - 4 = 0. Suppose 3*l - 34 = -x + p*x, 5*x - 5 = 0. Solve t*c = -c + l for c.
4
Let a = 3 - -2. Suppose 0 = 4*u - 2*u - 20. Suppose 5*j + 0 = u. Solve a = w - j*w for w.
-5
Suppose 14*u + 3 = 15*u. Suppose 5 = 4*g - u*g. Solve g*b - 4 = 1 for b.
1
Suppose 2*b - 3*b + 4 = 0. Solve -6*m + b*m - 6 = 0 for m.
-3
Suppose w + 4 = 0, -45 = 5*t - 3*w + 93. Let c be ((-12)/(-5))/((-9)/t). Solve 3*l - c = l for l.
Let d(p) = -p**2 + 8*p - 6. Let o be d(4). Let w = -9 + o. Let a = w + -1. Solve a = -y + 2 - 3 for y.
-1
Suppose -2*t - 12 = -6*t. Solve 4*o = t*o - 3 for o.
-3
Let o(v) = -v**2 - 8*v + 35. Let q be o(-11). Suppose -w + 6 = 2. Solve s + w = q*s for s.
4
Let a be (-2)/(-6) - 8/(-12). Suppose 5*i + 15 = -5*o, -o + i - a + 8 = 0. Suppose o*z = -3*z + 10. Solve -5*x - 27 = -z for x.
-5
Let k be (-4)/(-8) + (-54)/(-12). Solve r - 2*r + k = 0 for r.
5