Suppose 3*n = 5*y - 4*y - 4, -5*n = 0. Solve -y*k - 4 = -5*k for k.
4
Suppose -5*l + 0*h - 15 = -4*h, -5*h + 12 = -4*l. Suppose 3*w + 0 = -9. Let i be 1/((l/2)/w). Solve q + i = -0 for q.
-2
Suppose 3*f - p - 10 = 6, -4*p = -f + 9. Suppose 0 = -f*s + 7*s - 4. Solve n - 9 = -s*n for n.
3
Let p(j) = j**2 + 8*j. Let t be p(-8). Let s be (3 + -3 - t)/(-1). Solve s = -0*c - 3*c - 12 for c.
-4
Let t be (4/(-6))/(2/(-6)). Solve s = -t*s - 9 for s.
-3
Let y = -6 + 2. Let r(j) = 3 + 3 + 13*j - 12*j + 1. Let w be r(y). Solve -7*i + w*i - 20 = 0 for i.
-5
Let a© = -c**3 + c. Let b be a(0). Suppose b = z + 3*z - 4. Solve -5 = -2*l + z for l.
3
Suppose -4*i + 2*i + 56 = q, 0 = q + 4*i - 58. Let o be 248⁄18 + 12/q. Solve -1 = -5*x + o for x.
3
Let a = 32 + -22. Let v be (-2)/(-6) + 46⁄6. Suppose -5*y - v + 28 = 0. Solve -a = -y*s - 2 for s.
2
Suppose 3*q = q + 4. Suppose q*n - 4*o = 28, 5 = n - 5*o - 18. Solve -n = v + v for v.
-4