Let v(n) = n**2 - n. Let t be v(1). Let r(g) = 2*g. Suppose 2 + 2 = 2*d. Let z be r(d). Solve x = -t*x + z for x.

Suppose 3*y = 4*y. Suppose 2*n - 1 - 5 = y. Solve -3*t + n = 12 for t.

-3

Suppose -10 = -2*t + 5*l, 2*t - l - 3*l = 8. Solve -j + 0*j - 4 = t for j.

-4

Let v be (0 + 1)/(-1)*-3. Suppose i + 4*s - 18 = -4*i, 2*s - 6 = -i. Let l be (-7)/(-3) - i/6. Solve -v*w + l = -w for w.

1

Suppose 6*x - 3*x = 12. Suppose 3*u + 4*k = 2*k - 24, 3*k + 33 = -4*u. Let p be (3/u)/((-2)/8). Solve -p*v + 2 = -x*v for v.

-1

Let v be (-2)/4 + (-456)/16. Let x = v + 21. Let u be (4/x)/(2/(-12)). Solve -5*r - u = 22 for r.

-5

Let z = -2 - -1. Let w be 0 - -2 - -1 - z. Solve 2*l - w = -6 for l.

-1

Let g = 23 + -21. Suppose -2*l + 8 = g*l. Solve -15 = l*v - 5*v for v.

5

Let t(b) = b**2 - 24*b - 25. Let v be t(25). Solve v = 4*m - 4 + 8 for m.

-1

Let j(f) be the third derivative of f⁴⁄₁₂ - 5*f³⁄₃ - f**2. Let g be j(10). Solve u + g = -u for u.

-5

Let u = -10 - -12. Solve -10 = 4*f - u for f.

-2