Let v be ((-1)/(-3))/(8/144). Let d(l) = l**2 + 6*l - 3. Let r be d(-6). Let o = r + v. Solve -a = o*a - 16 for a.

Let s© be the first derivative of c**2 - 5*c + 4. Let q be s(4). Suppose 7 - 1 = q*f. Solve -b + f = -0*b for b.

2

Let x(p) = 2*p3 - p2 - 3*p + 2. Let n be x(2). Let r = n - 2. Suppose -28 = -2*b + 3*y, -36 = -2*b + 3*y + 2*y. Solve -2*t - b = -r*t for t.

2

Let q be (-21)/(-14)*(3 - 1). Suppose 2*f - j - 36 = 0, 51 = -0*f + q*f - 3*j. Solve -5*a + 1 = -f for a.

4

Suppose 4*i + 8 = -4*h, -3*i - h + 4 - 2 = 0. Let a(g) = 2*g + 34. Let n be a(-14). Suppose -i*f + n = -0*f. Solve -2*k - f*k = -20 for k.

4

Suppose 0 = -5*v + 22 - 7. Solve 0 = -v*f - 2*f for f.

0

Let i(l) = -l3 + 10*l2 - 10*l + 1. Let b be i(9). Let f be (b/(-14))/(⁸⁄₂₈). Solve 4*o - f = 2*o for o.

1

Suppose 2*m + 3*m = 0. Suppose -8 = 28*n - 30*n. Solve 2*t - n = -m*t for t.

2

Let a be 4/(-14) - 37/(-7). Suppose -j + 32 = a*m, 2*j - 5 = -m - 4. Solve -4*d + m*d + 3 = 0 for d.

-1

Suppose 5*f - 39 = 3*h, -2*h - 3*f + 6*f = 26. Let p = h + -4. Let q = -7 - p. Solve t - q = -t for t.

5

Suppose m - 3*m = -10. Solve 17 = -m*v - 3 for v.

-4