Let d = -20 + 20. Suppose d = -r + 1 + 2. Solve 6*j - 9 = r*j for j.
3
Suppose n - 12 = 4*n + 3*s, n + 16 = -4*s. Solve 3*x + 9 + 0 = n for x.
-3
Suppose 0 = -16*o + 20*o - 8. Let z = -4 + 6. Suppose -3*v + 4 = -z*v. Solve 2*r = -o*r - v for r.
-1
Let q be (72⁄30)/((-6)/(-20)). Let u be (q/(-2))/((-2)/2). Suppose i = -u*i. Solve i = -d + 2 for d.
2
Suppose -4*j - 8 = 2*h, 5*h + 15 + 5 = 0. Let r = -8 - -18. Let x = r - 6. Solve l - 3*l + x = j for l.
2
Suppose 5 = 5*z - 3*x + 20, -2*z - 5*x = -25. Solve z = m + m for m.
0
Suppose 3*x = 6, 0 = -3*k - k - 4*x + 24. Suppose -n + 4*i = -17, k*i = -4*n + 2*i - 4. Suppose 2*l - a - 3 = l, -n = a. Solve l*c + 2 = 3*c for c.
2
Let l(m) = m**3 + m + 2. Let z be l(0). Suppose -3*r + 4*y = -0 - 22, -12 = -2*r + z*y. Let i(a) = -3*a + 21. Let g be i(6). Solve -r*n + n = -g for n.
3
Suppose 17 = 4*g + 5. Let z = 11 - 11. Suppose -5*r + g*r + 4 = z. Solve -r*w = -3*w for w.
0
Suppose -3*z - 4*j + 0*j + 10 = 0, 3*z = j + 35. Solve 6 + z = -4*d for d.
-4