Suppose -16*t + 2 = -15*t. Solve 4*l = 2*l - t for l.

-1

Let u be 3 - (-1)/2*-2. Solve u*s = -s - 15 for s.

-5

Let d(z) = z**2 - 6*z + 4. Suppose -3*t + 3 = -15. Let s be d(t). Solve -3*n - 2 = s for n.

-2

Suppose 2*h = 3*t - 12, -6*t + h + 7 = -4*t. Let c(x) = 2*x**2 + 2*x - 1. Let p be c(-2). Suppose 1 = t*n + m - 0, -p*m = -4*n + 17. Solve -3*d = n*d for d.

0

Let d(u) = u**2 - u - 4. Let x be d(3). Suppose 0 = -5*z + x*s + 11, -3*s - 8 = -2*z - 4*s. Solve -z*y + 0*y = -15 for y.

5

Let i = 8 + -13. Let c = i - -6. Solve c = -3*y - 8 for y.

-3

Let z be 2/(-8) + 18936. Solve o = z - 4 for o.

1

Suppose 0 = -12*p + 16*p. Solve -5*x = -p*x + 25 for x.

-5

Let c = -26 + 31. Solve c*j + 26 = 6 for j.

-4

Suppose 0 = -6*g + 4*g - 2. Let i be (2/(-5))/(g/80). Suppose 0 = 5*v - 4*p - 31, 8*v - 4*v + 4*p = i. Solve v*b - 4*b + 12 = 0 for b.

-4