Let c be (2⁄5)/(2⁄10). Let l = 14356 + -14354. Solve l*r + 2*b = -2 + 10, -c*b = -2*r - 4 for r.
1
Suppose 3*v - 1 - 2 = 0. Suppose -2 = -z + v. Suppose -599*d = -589*d. Solve -5*s - 4*t + 7 = d, t = -z*s + 6 + 1 for s.
3
Let g = -89 + 124. Suppose -2*k + g = -t, -4*k - 5*t + 144 = 39. Suppose -6*q + 195 = -q - 5*s, -q + 35 = -5*s. Solve 5*h + 0*r = 4*r - q, 4*r - k = 0 for h.
-4
Let h be -1 - (1 + -4 + -3). Suppose -9*z = -126 - 27. Suppose 0 = 6*y - z - 7. Solve -3*u = 2*w - 1 - 14, y*w + 25 = h*u for u.
5
Let g = -192 - -195. Suppose -g*v = 42 - 57. Solve 0 = -4*p + c + 19, 0 = -5*p - c - 4*c + v for p.
4
Let g = 197 - 191. Suppose 4*i - 22 = -2*n, -5*n + 7*i = g*i - 11. Solve 0*d + 3*y = d + n, 5*d = -y + 17 for d.
3
Suppose -83 = -10*a + 4 - 7. Solve -4*w = -55*q + 54*q - 9, 2*w - 4*q = a for w.
2
Let x(y) = -y**2 + 20*y - 18. Let p be x(8). Let n be 1/(p/18 + -4). Solve 5 = -4*d - 5*r, 6*d - r + 18 = n*d for d.
-5
Suppose 9*o - 31 = 5. Let i be 2/(-13) + 524⁄26. Let y = -15 + i. Solve l = -o*t + 14, t + 16 = y*t for l.
-2
Suppose 0 = -5*h + 122 + 23. Let z = 34 - h. Solve n + 1 = 2*n + 3*f, -12 = z*n - 2*f for n.
-2