Let l(f) = 10*f**3 - 1. Let z be l(1). Let x = 2 + z. Let m = 15 - x. Solve -m*j + 0*j + 16 = 0 for j.

Let y be (-77)/(-21) - (-1)/3. Solve 0 = -0*q + y*q + 4 for q.

-1

Let p = -191 + 271. Suppose p = -0*q + 5*q. Solve -q + 1 = 3*j for j.

-5

Let i = 7 + -9. Let k = 5 + i. Solve -6*m + k*m - 6 = 0 for m.

-2

Let b(s) = -s + 6. Let n be b(0). Suppose 2*y - n = 6. Suppose -9 = 3*w + 3*a, -2*a = 7*w - 2*w + y. Solve 3*l + w - 3 = 0 for l.

1

Let p = -7 + 7. Solve -z - 4 + 2 = p for z.

-2

Let h be (⁶⁄₄)/(¹⁄₂). Suppose -2*c = h*c. Solve 3*j - 1 - 2 = c for j.

1

Let v(b) = b + 1. Let n(w) = -4*w**2 - 2*w - 5. Let g(o) = n(o) + 4*v(o). Let t be g(1). Let x(p) = -2*p - 3. Let i be x(t). Solve i*z - 1 = 2 for z.

1

Suppose -3*c + 4*z + 57 = 3*z, 3*z - 9 = 0. Let k = -28 + c. Let x be ¹⁴⁵⁄₂₀ + 2/k. Solve -4*g = -x*g + 6 for g.

2

Suppose 13*p = 17*p - 60. Solve 0 = 3*u - 8*u + p for u.

3

Let u be 1 + (-2 - (-1 - 0)). Suppose a + 0*a - 5 = u. Solve 0*j = -a*j + 15 for j.

3