Let k(d) = 6*d3 - d2 + 1. Let f be k(1). Let l(i) = 0 + i**2 + 6 + f*i + 5*i. Let t be l(-11). Solve -5*a + 1 - t = 0 for a.

-1

Suppose -y - 3*u + 0*u = -9, -u + 3 = y. Suppose t = 7*t - 12. Solve t = -v - y*v for v.

-2

Suppose -11 = -2*w - 3. Let i(q) be the second derivative of -q33 - 7*q22 + q. Let a be i(-5). Solve -a*f + w = -2 for f.

2

Let f(i) = -i3 - 6*i2 - 3*i - 3. Let g be f(-6). Suppose t = 5*t. Solve o + 2*o + g = t for o.

-5

Suppose 2 + 6 = 2*i. Solve i = -4*p - 0*p for p.

-1

Let v = -1 + 1. Suppose 2*m - 6 + 0 = v. Suppose -3 = 2*j + 3*t, -2*t = -m*j - t + 1. Solve -20 = 5*w - j for w.

-4

Let y(a) = 4*a + 1. Let f be y(-2). Let n(t) be the first derivative of t44 + 2*t3 - 7*t**22 + 3*t - 1. Let d be n(f). Solve -d*q - 3 = -0 for q.

-1

Suppose 0*k = -4*k. Suppose k = -g - g + 8. Solve -4 = g*s + 4 for s.

-2

Let s(x) = -x3 + 3*x2 + 5*x + 1. Let w be 256 - (-7)/(-42). Let q be s(w). Solve -q = n - 0 for n.

-5

Let w(p) = 5*p3 - 5*p3 + p2 - p3. Let v be w(0). Suppose -7*r + 3*r = v. Solve -3*f + r*f - 9 = 0 for f.

-3