Let q(x) = 2*x - 1. Let l be q(2). Suppose 9 = 5*c - 36. Suppose 0 = 2*k - 0*k + l*u + c, 0 = 3*k - 4*u - 12. Solve k = -t - 0*t + 3 for t.

3

Suppose 4*w - 37 = -17. Solve 9 - 34 = w*o for o.

-5

Let y be (-1)/((-1)/(15/(-3))). Let b be ((-4)/y)/((-2)/(-25)). Let g(d) = d - 10. Let k be g(b). Solve k = 2*z + z - 15 for z.

5

Let p be (4⁄2)/(1 - -1). Let o be 12 + (-3 + 3 - p). Solve 3*t + 4 + o = 0 for t.

-5

Let l(h) be the second derivative of h4⁄12 + h3⁄3 - h**2⁄2 + 3*h. Let b be l(1). Solve 4 + b = 3*w for w.

2

Let r = 5 - 2. Suppose -r*t + 3 = -0*t. Solve t = -2*c - 3 for c.

-2

Let v = -4 + 3. Let z be (-2)/(-1) + -3 - v. Solve 4*i - i = z for i.

0

Let g = 3 - 3. Let u be g + 1 + 4⁄2. Solve -1 = -4*f + u for f.

1

Suppose k = -1 + 4. Suppose 5*q + 1 + 12 = -4*d, -4*d - k*q = 3. Solve -d*n + 0*n = -6 for n.

2

Suppose 1 = -2*r + 11. Suppose 3 = r*g - 7. Solve -6*n - 20 = -g*n for n.

-5