Let m(b) = -b**2 + b + 1. Let f(g) = -g - 3. Let d(y) = f(y) + 2*m(y). Let c be d(1). Let i = c - -6. Solve z = 3*z + i for z.
-2
Suppose 7 = -2*r + 7. Solve r*m + m = -2 for m.
-2
Suppose 6*o - 5*l - 15 = 3*o, 0 = o - 3*l - 9. Suppose o = -t + 2*t. Suppose -g - 3*g + 64 = t. Solve y - g = -3*y for y.
4
Let k be 45⁄6 + (-2)/(-4). Let g = -15 + 9. Let r = g + k. Solve -r*u = -14 + 6 for u.
4
Let j = -2 - -8. Suppose 0*w + 3*w - j = 0. Solve 7 - 1 = -w*b for b.
-3
Suppose 4*w + 3 = -1. Let j = w + 4. Solve -j*m = -m for m.
0
Let a = -4 - -7. Suppose -5*p - q - 4*q = 10, -24 = -3*p + a*q. Suppose p*t = -0*t + 6. Solve 0 = t*y + 3 + 7 for y.
-5
Suppose -2*k = -0*k + 3*i - 11, -5*i + 25 = 4*k. Solve 2 = -4*h - k for h.
-3
Let d = 140 - 131. Solve -l = 2*l + d for l.
-3
Let z be 1 - (1 + -3) - 0. Let i = -103 + 103. Let p be (3⁄2)/1*2. Solve -p*l = -i*l + z for l.
-1