Let k(s) = s**2 - 5*s + 3. Let a be k(5). Let o(d) be the third derivative of -d**4/24 - 7*d**3/6 - 3*d**2. Let v be o(-7). Solve -a*r + v = -15 for r.

Suppose 24*f - 25*f = -18. Let a = f + -13. Solve -a = 2*g - 3*g for g.

5

Let b(o) be the second derivative of ¹⁄₁₂*o4 + 2*o + 0 + 0*o2 - ¹⁄₆*o**3. Let c be b(1). Solve 4*i = -c*i for i.

0

Let m be (-70)/(-5) - (4 - 2). Suppose 0*r = 2*r - m. Solve -r*l = -l for l.

0

Let r(t) = -4 + t**2 - 6 + 13*t - 4*t. Let l be r(-10). Let j = l + 0. Solve -2*x = -j*x - 2 for x.

1

Suppose 2*g = -2*o + 23 - 7, -30 = -4*g - 5*o. Suppose 17*i = 16*i + g. Let l be ((-10)/(-6) + -1)*3. Solve 3*w - i = -l*w for w.

2

Let k(p) = p**2 + 10*p + 13. Let l be k(-9). Solve 2*x = x + l for x.

4

Let i be (-4)/6 + ⁸⁄₃. Let l be i*((-10)/(-4) + -1). Suppose 0 = 2*f - 5*k - 0*k + 4, -f + 7 = 2*k. Solve -3 - f = -l*a for a.

2

Let y = 18 - 14. Solve y*w + 0 = 8 for w.

2

Suppose -6 = -3*w + 6. Suppose w*h + 11 + 1 = 4*u, 2*h = -6. Solve 4*r - 3 + 15 = u for r.

-3

Let w(k) = 5*k - 23. Let d be w(7). Solve -3*j - d = -0*j for j.

-4