Let q(v) = 3*v2 - v. Let c be q(1). Let i(d) = 4*d + dc - 2*d + 3*d + 6 + 0*d. Let j be i(-5). Solve j*x = 3*x - 15 for x.
-5
Suppose -3*z - 3*o - 6 = 0, 24 = -5*o + 4. Solve 0 = z*g + 2 + 4 for g.
-3
Suppose -2*d + 18 = -3*d. Let z be 188⁄36 + 4/d. Suppose 4*b - 20 = 0, 3*n = n - 4*b + 70. Solve -4*s = -z + n for s.
-5
Let l be 4/(-3)*(-24)/16. Let y be (-148)/(-18) + l/(-9). Solve -t + y = -3*t for t.
-4
Suppose 5*k - 12 = -l, 3*k + 4*l + 9 = 2*k. Let p = 2 - 2. Solve p*f - f = -k for f.
3
Suppose d - 7*d = -12. Solve -2*t = -t - d for t.
2
Suppose 18*d - 20*d = -12. Solve d*v + 5 = -7 for v.
-2
Let d be 6 + -3 - 2/(-2). Solve -2*n + d = -0*n for n.
2
Suppose -10 = -5*p + 5. Suppose 2*n - 7 = -4*i + p, 4*i = 4*n + 4. Solve 1 = i*s + 7 for s.
-3
Let n be 6/(1/(6⁄9)). Suppose s = 5*s - n*w, 4*s = w. Suppose -4*f + 4*x = 8, -3*f + 2*x - 4 + 0 = s. Solve -3*m = -f*m - 15 for m.
5