Let h be 923⁄52 + (-1)/(-4). Let s be h/21 + (-3)/(-21). Solve i - 3 = s for i.
4
Suppose -2*c - 15 = -5*d, -3*d = -d + 3*c - 25. Suppose 0*m - d*m = 0. Solve -v = -m*v - 5 for v.
5
Let z(m) = 2*m - 24. Let h be z(12). Solve 0*r + 2*r = h for r.
0
Let d = -1 - 0. Let v be 1/((-1)/6*d). Let m(g) = g3 - 5*g2 - 7*g + 6. Let s be m(v). Solve s = -2*h + 4 - 0 for h.
2
Suppose -5 = -h - 1. Suppose -3 + 7 = -g + 3*n, 0 = h*g + 5n - 18. Let s be (-5 - 2)(-3 + 2). Solve 0 = -3*y - g - s for y.
-3
Let n be ((-3)/2 + (-1)/(-2))/(-1). Solve 13 - n = -4*z for z.
-3
Suppose 28 = 5*m + 3. Suppose -m*r + 5 = -0. Let y = 7 - r. Solve -3*c = -c + y for c.
-3
Let a be (-2 - 0)*-1 - 1. Let h be 1 - ((5 - -2) + -1). Let r = 8 + h. Solve r*x - a + 7 = 0 for x.
-2
Let x(u) = -u**2 + 9*u - 9. Suppose -18 = -5*s + 2*s. Let k be x(s). Solve k*y = 6*y for y.
0
Let t = -1 + 1. Let c be ((-1)/1)/((-2)/(-6)). Let l = -1 - c. Solve 2 = l*k - t for k.
1