Suppose 9*d = 12*d - 42. Solve -5*t + 1 + d = 0 for t.
3
Let l be -1*(-20)/12*3. Solve -l*o + 9 = -2*o for o.
3
Let j = -13 - -9. Let c be 9⁄12 + 3/j. Solve 12 = 3*k - c*k for k.
4
Let t = 32 + -15. Suppose 7 = -2*u + t. Suppose -17 = -4*j + f, -2*f = -j - f + u. Solve 9*d = j*d for d.
0
Let p be (-3)/(-2) - 3/(-6). Let x be 4 + -8*1/p. Solve x*n - n = 4 for n.
-4
Let l be 15/(-20) + (-35)/(-4). Suppose 2*w - l = -5*n, 3*w - n = w + 8. Solve 2 - w = z for z.
-2
Let r be ((-8)/(-6))/(16⁄36). Solve -13 = -r*o - 1 for o.
4
Let r(t) = t**2 + t. Let y be r(1). Suppose 8 = y*h - 0*h. Solve 4*v = h - 24 for v.
-5
Let s = 5 - 3. Let z(o) = -2 - 5 - o**2 + 1 + 5*o + 0. Let k be z(3). Solve i = -k*i - s for i.
-2
Let a = 13 + -12. Let b = 1 + a. Solve 7*q - 20 = b*q for q.
4