Suppose -30 = 2*s + 3*s. Let i = s - -9. Let d = 23 + -17. Solve -i*k = -d*k - 6 for k.

Let i be ²²⁄₈ + 1 - 4/(-16). Solve -i*t = -3 + 7 for t.

-1

Let i(x) = x**2 - 5*x. Let z be i(5). Suppose z*c = c. Solve c*r = -4*r for r.

0

Suppose -10 = -4*p - 2. Suppose -p*v = 3*v. Solve v - 6 = 2*a for a.

-3

Let s = 8 + -4. Suppose 4*d = 2*h + 12 - 0, -s*h - 2*d + 16 = 0. Suppose -i + h = -4*k - 3, 0 = -5*i - 2*k + 25. Solve -i*l + 0*l - 15 = 0 for l.

-3

Let w(t) = 3*t3 - 2*t2 + 1. Let q be w(1). Let d = -14 - -23. Let h = -6 + d. Solve 0 = 2*u - h*u + q for u.

2

Let r = 40 - 39. Solve -3*n + 2 + r = 0 for n.

1

Let o(b) be the first derivative of b**²⁄₂ + 4*b - 2. Let z be o(0). Suppose p + 6 = -z*a, -a + 24 = 2*p - 5*a. Solve 0 = -3*t - p - 3 for t.

-3

Suppose 0*c + 2*c + 2 = 0. Let g(q) = -8*q + 1. Let k be g©. Let b = 86 + -82. Solve -b*v + 1 = k for v.

-2

Suppose -9 + 0 = 3*b + 2*m, -5*m - 10 = 5*b. Let t = 8 + b. Solve -4*o - 4 = -t*o for o.

-4

Let r(h) = -2*h - 3. Let k be r(-2). Let q(v) = 4*v - 1. Let j be q(k). Suppose a - 8 = -j*a. Solve -i - 9 = a*i for i.

-3