Suppose -d + 3d + 12 = 0. Let s be 0((-15)/d - 3). Suppose s*u - 4*u + 20 = 0. Solve -u*z = -4*z for z.
0
Suppose 0 = -m + 3*m + 6. Let q be (-1)/(-2)*6 + m. Solve -2*u - 3*u + 15 = q for u.
3
Suppose d - 2*d = 4*y + 3, 0 = -2*d - 4*y - 2. Let k = -111 - -118. Solve -4*p + d = -k for p.
2
Let g(i) = -i**2 - 9*i + 3. Let n be g(-9). Solve -z - 2 = n for z.
-5
Let m(t) = t**2 + t - 16. Let q be m(-5). Solve 2*j + q = 4*j for j.
2
Let f(x) = x**2 + 2*x - 2. Let i be f(-4). Suppose 0 = 2*m - i*m + 20. Solve m*c = 3 + 2 for c.
1
Suppose -2*b + 0 + 8 = 0. Let x be -3*21/(-18)*2. Suppose 0 = u + d - 1, -b*d - x + 2 = -5*u. Solve u - 16 = 5*i for i.
-3
Let r be (2/(-1) - 2)*-2. Solve -2*x + r = 2 for x.
3
Let d = -23 + 38. Suppose -t + 4*t - d = 0. Suppose -2*x = 2*l - 8, -4 = t*l - 4*x + 12. Solve -8 + l = -4*n for n.
2
Suppose -5*z - 31 = -3*x, -3*x - 4*z = 12 + 2. Suppose 27 = x*s - 5*b, 5*s - s - 4*b - 36 = 0. Suppose -s*c + 12 = -3*c. Solve c*i = 2*i + 2 for i.
1