Let x(y) = -y + 0*y + 0*y - 5. Let k be x(-7). Suppose -k*t = 1 - 3. Solve 0 + t = j for j.
1
Let d = -21 + 21. Solve -3*v + v - 2 = d for v.
-1
Let l be 2⁄8 - (-5)/(-4). Let u(d) = 6*d**2 - 1. Let k be u(l). Suppose 7 - 15 = -2*f. Solve -3*s = -f*s + k for s.
5
Suppose 5*a = -7 + 27. Let p(d) = 4*d**2 - 3*d + 1. Let c be p(1). Solve -2*b - a = c*b for b.
-1
Let s(l) = l3 - 8*l2 - 8*l - 5. Let c be s(9). Suppose c*x + 8 = 36. Suppose -40 = 3*q - x*q. Solve -4*g + 2*g = -q for g.
5
Suppose -3*d = 2*w + d + 4, -4*w + 4 = 2*d. Let i be (-2)/5 - 27/(-5). Solve -i*h = 7 - w for h.
-1
Suppose -s + 4*n = -5*s + 36, 2*n = 4*s - 30. Let a = s + -8. Let z = 1 - a. Solve -i + 2 = z for i.
1
Let s = -3 + 13. Suppose 0 = -x + 4*i - 9, s = -4*x + 4*i - i. Let h be 0*x/(-2) - -2. Solve 3*p = p - h for p.
-1
Let z = -47 - -49. Solve -z*n - 8 = 2*n for n.
-2
Let n(z) = -2 + 0 - 6*z + 6*z2 - 5*z2. Let l be n(7). Solve -3*v = -l*v + 8 for v.
4