Let u(d) = d**3 + 13*d**2 + 12*d + 1. Let q be u(-12). Solve f = -0*f + q for f.

Let a = -5 - -9. Let q(i) = i**2 - 4*i. Let n be q(a). Suppose x + 4*x - 40 = n. Solve 0 = -3*h + x + 7 for h.

5

Let h be (-5)/20 + (-11)/4. Let c be -4*(-5 - h)/4. Solve -c*w = 2*w + 4 for w.

-1

Suppose 5*y - 23 = -4*o + 28, 58 = 4*o - 2*y. Let l = -12 + o. Solve l*x = -2*x - 12 for x.

-3

Let b = -8 - -8. Let z(a) = a**2 + a + 2. Let x be z(-2). Let s be 1*3*x/4. Solve -5*m - 2 - s = b for m.

-1

Let h be (1 - 2)*(52 + -57). Let t = 4 + 2. Solve 14 = -h*z - t for z.

-4

Let n = 32 - 58. Let w = 28 + n. Solve -2*c = -c - w for c.

2

Suppose 5*w + 6*j - j - 10 = 0, -4*j = 2*w. Solve -2*f = -w*f - 8 for f.

-4

Let o® be the first derivative of -1 + 0*r + ¹⁄₂*r**2. Let w be o(2). Solve -2*i = w*i for i.

0

Suppose -3 = -3*a - 4*u - 2, -4*a - 5*u = -2. Suppose -a*n + 9 = -0. Solve n*r = r for r.

0

Suppose 0 = 2*z - 0*z. Solve -w + 1 = -z for w.

1