Let v be (-4)/14 + (-15)/21. Let n be (-8)/8*v*12. Solve -4*j = -j + n for j.
-4
Let k(j) = -j + 3. Let u be k(0). Suppose u*g + 5*y = 3*y + 11, g + y - 4 = 0. Solve 0 = -2*d - g - 3 for d.
-3
Let v(m) = m**2 + 8*m + 7. Let t be v(-7). Suppose n + f - 5 = 2*f, 2*f + 4 = 0. Suppose r = n - t. Solve 4*g = 7 - r for g.
1
Let l(v) = 15*v - 30. Let w be l(2). Solve w*m = 3*m - 6 for m.
2
Suppose 0 = -m + 9 - 0. Suppose -7*t + m*t - 6 = 0. Let x = 3 - 2. Solve t = 4*s - x for s.
1
Suppose -3*c - 1 + 13 = 0. Suppose -2*k + c + 0 = 0. Suppose 2*r = r + 1. Solve -z - k = r for z.
-3
Suppose 0*p = -g - p + 1, 3*g - 5*p - 35 = 0. Solve 0 = -g*s - 6 + 1 for s.
-1
Let v(j) = -j3 + 10*j2 - 9*j. Let s be v(9). Suppose -4*m - 2*g = -s*m - 36, -m + g = -6. Suppose 2*t = -0*t + m. Solve -c + 3 = t for c.
-1
Suppose 0 = 5*s - 16 - 44. Solve 5*q - s = q for q.
3
Let r be 9/(-4)*(3 - (-125)/(-15)). Solve 3*m = 7*m - r for m.
3