Suppose 0 = 4*t - 2*d - 22, 7*d - 2*d + 25 = 0. Let o = 6 + -3. Let v = 491 - 488. Solve o*z - v = t for z.
2
Suppose 6 = -3*q, -3*x + 5 = -4*q - 15. Let n = 7 - x. Suppose -y = n*y. Solve t - 3*t - 2 = y for t.
-1
Let u be (0*(-4)/20)/(-2). Solve u = -0*f - 3*f + 9 for f.
3
Suppose -u = 2*z + 4, 2*u - 3*z + 16 = z. Let c = 2 - u. Solve -2*m - c = -2 for m.
-3
Let f = -71 - -74. Solve f + 3 = 2*c for c.
3
Let f be (-1)/(-1*(-2)/(-8)). Let y be (5 + -2)*16⁄12. Suppose -y*w = -20, 0 = -f*v + 3*w + 6 + 7. Solve v = 5*r - 8 for r.
3
Let l = -30 + 15. Let r be (5/(-3))/(l/54). Solve -z = -r*z for z.
0
Let w(i) = i2 + 4*i - 2. Suppose -5*t + 17 = -2*m, -t + 0*m = 3*m. Let d(v) = -v3 + 3*v**2 - 2*v + 1. Let o be d(t). Let h be w(o). Solve -u + h = -2 for u.
5
Suppose 2 = -4*i + s, -5*i + 4*s - 8 = -0*s. Solve 0 = 2*q - i*q - 2 for q.
1
Let t = -3 + 3. Suppose -q + 3 = -t. Solve -2 = -q*w + w for w.
1