Let c = 20 + -20. Suppose -4*w + t + 19 = 2*t, -5*t = 4*w - 31. Suppose -1 = f - w. Solve c = -f*d - d + 8 for d.

Let g(u) = u**2 + u + 4. Let f be g(0). Solve f*v - 10 = 2 for v.

3

Let t(f) = f**2 - 7*f + 8. Let x be t(6). Let k be (0 - x)*6/(-4). Solve -k*m - 1 = -13 for m.

4

Let x = 7 - 7. Suppose x = c + 2*c - 5*n - 25, -5*n = 2*c. Let l = -3 + 6. Solve -c*m = -l - 2 for m.

1

Let y(j) = -j - 1. Let t be 2/(-4)*2 - -2. Let m(f) = 5*f + 7. Let g(n) = t*m(n) + 4*y(n). Let o be g(0). Solve o*r = 6*r - 6 for r.

2

Suppose -5*f + 0*f = -5*c + 5, 4*c = 2*f + 12. Solve -2 = 3*r + f for r.

-2

Let m(d) = -4*d + 1. Let p be m(-1). Let r = 324 - 316. Solve p*t + 7 + r = 0 for t.

-3

Let n be (-4)/6*¹⁵⁄₁₀. Let z = n + 4. Solve 0 = -b + z*b + 2 for b.

-1

Let d(s) = s**2 + s + 1. Let v be d(-2). Suppose v + 1 = c. Solve -c*o - o = 20 for o.

-4

Let p = 6 - 6. Suppose 2*c - 30 = 5*f, p = -2*c - c + f + 32. Suppose 5 = b - a, -8*b - 2*a - c = -4*b. Solve b*j - 2 = -j for j.

2

Suppose -4*n + 2*x + 16 = -0*n, -4*x = -n + 11. Let i = -8 - -13. Solve 0 = i*q - 2*q - n for q.

1