Let j be 78⁄12 - (-3 - 10/(-4)). Solve 0 = -4*c + j*c + 12 for c.
-4
Suppose 2 = 3*t + 14, -5*t - 14 = -j. Let g be ((-24)/7)/(j/21). Solve g = 2*n - 5*n for n.
-4
Let u = 16 - 9. Let d be 0/1 + (2 - -1). Solve d*r - 19 = -u for r.
4
Suppose 0 = -0*v - v. Solve -4 + v = 4*b for b.
-1
Let u(k) = -k3 - 12*k2 + 14*k + 17. Let q be u(-13). Solve -q*g - 6 = 6 for g.
-3
Let i(z) = 12*z**2 - z + 1. Let q be i(1). Let r = -9 + q. Solve -18 + 3 = r*o for o.
-5
Let s(g) = -2*g3 - 3*g2 - 2*g - 3. Suppose -1 = -2*v - 5. Let q be s(v). Solve q*x + 28 = 3 for x.
-5
Suppose 2*s = -6, u + 0*s + 2 = -2*s. Suppose 12 = 4*b + 4*p, 4*b - b = -u*p + 9. Let k(h) = -h**2 - 10*h + 12. Let g be k(-11). Solve -g - b = -4*q for q.
1
Suppose 0 = 3*b - 5 - 1. Suppose -4*s + 3*s - 40 = -2*i, -80 = -4*i - 5*s. Suppose 3*k + b*k - i = 0. Solve 16 = -5*x - k for x.
-4
Let v = 31 + -31. Solve v = 2*r + r + 12 for r.
-4