Let u(i) be the first derivative of i**3/6 + i**2/2 - 2*i + 3. Let x(z) be the first derivative of u(z). Let s be x(7). Solve -7*f = -3*f - s for f.

Let t(k) be the first derivative of k²⁄₂ + k + 1. Let v be t(0). Let u(g) = 4*g3 + g. Let h be u(1). Solve v + 9 = h*y for y.

2

Let a = 15 - 28. Let l = a - -18. Solve -2*z - l = -3*z for z.

5

Let u(x) = x**2 - x - 2. Let k be u(-1). Solve -1 + k = p for p.

-1

Let n(u) = -u - 4. Let g be n(-4). Suppose -5*x = -g*x. Let k = x - -3. Solve -9 = -k*t - 3 for t.

2

Let m(i) be the first derivative of -¹⁄₂*i**2 + 1 - 6*i. Let f be m(-6). Solve -2*y - 10 = -f for y.

-5

Let l be (-588)/(-54) + (-1)/(-9). Solve 9 = -5*k - l for k.

-4

Suppose -5*h - 2*b + 16 = 0, -h + b + 8 = 3*b. Solve -10 = -4*a + h for a.

3

Let f be 2 - (-1)/(-1)*2. Suppose -5*b + k + 140 - 1 = f, 0 = -5*b + 5*k + 155. Suppose -b = -5*d + c, 3*c = -2*d - 2*c. Solve -x = -2*x + d for x.

5

Suppose -t + 0*m = 5*m + 17, -2*m = 5*t - 7. Suppose 3 = -4*s + s - 5*l, t = -l. Solve s = n - 1 for n.

5

Let a = -10 - -17. Solve 5 = 3*y - a for y.

4