Let i = -23 - -13. Let u = i - -10. Solve -7*t + 3*t + 4 = u for t.

1

Suppose 0 = -3*v - 16 + 13. Let k = v + 6. Solve -2*t = k + 3 for t.

-4

Suppose 21 = 4*d + 1. Solve -8 + 3 = d*v for v.

-1

Suppose -1 = -2*l + f, 3*l = -l + 3*f + 3. Let y = 9 + l. Solve 0 = -2*a - y + 3 for a.

-3

Let z be (-10)/4*32/(-20). Let o = -2 + z. Suppose r + 1 = o. Solve -u + r = -4 for u.

5

Let k(i) = -i**2 - 10*i + 16. Let x be k(-11). Suppose 0 = -4*y + x + 11. Solve 3 = -y*t + t for t.

-1

Let h = -15 - -24. Let n = h + -7. Solve -n*o - 2 + 4 = 0 for o.

1

Suppose 4*x - 7*x - 8 = -4*w, -3*w = -6. Let n = 2 - x. Solve n = -g - 0 for g.

-2

Let k(z) = z3 + 2*z2 - z + 1. Let n be k(-2). Solve -y = -n*y - 8 for y.

-4

Let a be (-2 + (-2)/(-2))*-4. Suppose 0 = s + a*s - 45. Suppose -20 = -4*o + 3*m, 5*o - 4*m - 17 - s = 0. Solve -o = -2*n - 4 for n.

-1