Suppose -2*q - n + 13 = 0, 0*q + 17 = q + 4*n. Solve 0 = q*h - 2*h - 9 for h.
3
Let l = -9 + 21. Solve -5*p + p = -l for p.
3
Let z = -20 + 23. Solve -2*r + 7 = -z for r.
5
Let a(z) = z + 7. Let r(s) = -1. Let b(j) = 2*a(j) + 14*r(j). Let d be b(2). Solve -d*g + 7 = -1 for g.
2
Let z(a) = -a**2 + 1. Let n be z(-2). Let i = 0 - n. Let x = 5 - i. Solve 1 - x = -t for t.
1
Suppose -3*y + 4*y - 6 = 0. Suppose -3*m = -y*m. Suppose c + 0*c = m. Solve 2*t = -c*t - 8 for t.
-4
Let n be 2*(-16)/40 + (-4)/(-5). Solve 3 = -3*j - n*j for j.
-1
Let z be (8⁄6)/(1⁄3). Suppose 0 = 8*f - 9*f. Let b(d) = d3 - d2 + d - 2. Let y be b(2). Solve f = -z*n - y for n.
-1
Suppose -3*a + 6 = 0, -2*s - 5*a + 5 = -11. Suppose -1 = s*d - 4*n + 1, 5*d + 3*n = -13. Let p = 5 + d. Solve 1 = 2*b + p for b.
-1
Let z be 0 + 0 + (3 - 3). Suppose -4*t = t - 10, 2*u + 4*t - 10 = z. Suppose -o = -u - 5. Solve -k = -o*k + 20 for k.
4