4787.82 - -4788. Sort 0, -12, w in ascending order.
-12, 0, w
Let c = -12 - -20. Let s be (128/(-1834))/(-1)*392/(-42). Let t = -2/131 + s. Sort 0.1, c, t in ascending order.
t, 0.1, c
Suppose 22 = 4*i - 3*s, i + 5*s - 7 + 13 = 0. Sort 0, 1, 5, i, 18 in increasing order.
0, 1, i, 5, 18
Let o = 1 - 1. Suppose 2*j + 2*j - 16 = o. Let q = -25098 + 25100. Put q, j, -4 in ascending order.
-4, q, j
Let k = -157369 - -157374. Let l(t) = -t**2 + 5*t - 4. Let r(j) = j**3 + 2*j**2 - j + 1. Let h be r(-2). Let m be l(h). Sort k, m, 3, -1 in descending order.
k, 3, m, -1
Let w(n) = n + 3. Let j be w(-6). Let k = 95066 + -95136. Put 2, -1, k, j in descending order.
2, -1, j, k
Let o = -5.9 + -2.1. Let f = -19.16 - -19.06. Let u be 1 + (0 - 4/5). Sort u, f, o in ascending order.
o, f, u
Let g = -3816 + 3813. Sort 414, g, 0.5.
g, 0.5, 414
Let y = 3.95 - -0.05. Let o = 7.927 - 11.927. Put 2/5, y, o, 0.1 in ascending order.
o, 0.1, 2/5, y
Suppose -2*m - 13 = -h, 0 = -2*m + 4*m + h + 15. Let i = -43506.8 - -43507. Put 5, i, m, -0.5 in decreasing order.
5, i, -0.5, m
Let d = -3435 + 1960. Let x = d + 1476. Let w = -0.1 - -0.1. Sort w, x, -1, -2/13.
-1, -2/13, w, x
Let l = -0.4 + 0.4. Suppose -5*f = -2*r + 7, 46 - 29 = -f + 3*r. Put f, 4, 0.09, l in decreasing order.
4, f, 0.09, l
Suppose 0 = -2*l - 2*l - 4*l + 9*l. Put l, -5, 8, -4, -12 in ascending order.
-12, -5, -4, l, 8
Let l(y) = -9*y - 92. Let h be l(-13). Let b(z) = z**3 - 4*z**2 - z + 1. Let g be (-4)/(-14) + (-130)/(-35). Let m be b(g). Put m, 0, h in decreasing order.
h, 0, m
Let o(t) = 335*t - 4346. Let l be o(13). Suppose -3*p - 2*z - 2*z = 21, 4*p = -5*z - 27. Sort l, p, 4 in descending order.
l, 4, p
Suppose 9*g + 247 = 1012. Let v = g - 88. Let b = 72 - 69. Put -1, v, b in increasing order.
v, -1, b
Let g = 130 - 127. Suppose 0 = -2*p + g*v - 2*v - 8, 3*v + 4 = -p. Sort 0.4, 2/15, p, -2/15 in decreasing order.
0.4, 2/15, -2/15, p
Let k = 28.2 - 28.402. Let w = k - -0.502. Sort w, 3, -0.09, 0.4 in increasing order.
-0.09, w, 0.4, 3
Suppose -3*q - 2*g = -11, 0 = 4*q - 0*q - 2*g - 10. Suppose 83 = q*f + m + 93, -3*m - 5 = 4*f. Suppose -b - b - 6 = 0. Sort 1/5, b, 2/3, f in decreasing order.
2/3, 1/5, b, f
Let f = -4 - -9. Let k(c) = 3*c**3 - 525*c**2 - c + 167. Let r be k(175). Put -9, r, f in descending order.
f, r, -9
Let d = -10924.99 - -11085. Let j = 160 - d. Sort 3, -3, j in decreasing order.
3, j, -3
Suppose 20 = -2*v + 3*l + 18, 0 = -2*v - 3*l + 34. Sort v, 0, 5, -6, 1 in decreasing order.
v, 5, 1, 0, -6
Suppose 31253 = 17*f + 30624. Sort f, 0, 1, -2, -8 in ascending order.
-8, -2, 0, 1, f
Let w = 102 - 97. Suppose -w*f - 3*g = 0, g = -10*f + 14*f - 17. Put f, 21, 2, -2 in increasing order.
-2, 2, f, 21
Let j be (-3 - (-117)/12) + (-819)/117. Put -6, 13, 4, j in decreasing order.
13, 4, j, -6
Let w be ((-118)/(-4))/((-1)/(-2)). Let n(t) = -30*t + 86. Let c be n(-2). Suppose 0 = -c*z + 115*z + 31. Put z, w, 4 in decreasing order.
w, 4, z
Let m(o) = o**3 - 17*o + 15. Let j = -284 - -288. Let x be m(j). Put -2, 3, x in descending order.
x, 3, -2
Suppose -3*r + 5*b = -292, 0 = 3*r - 3*b - 259 - 35. Let f = r + -99. Let h = -4 - -3. Put -5, h, f in decreasing order.
f, h, -5
Let g = 2455 + -2450. Sort 0, g, 3, -727 in decreasing order.
g, 3, 0, -727
Let f = 204.5 + 5.5. Let b = f - 210.2. Sort b, -0.5, -3.
-3, -0.5, b
Let y be (-12)/(-24) - (-6)/4. Suppose -12 = -3*u - 5*w, -4*u + w + y - 9 = 0. Put -2, u, -8 in descending order.
u, -2, -8
Let m = -14 - -16. Let n be (-4)/(-24) + (-183)/122. Sort m, 0.1, n, 2/7 in increasing order.
n, 0.1, 2/7, m
Let i be ((-30)/(-9))/(1 - -1). Put i, -2, 0, -14 in increasing order.
-14, -2, 0, i
Suppose 3*b = 2*q + 130, -4*q + 120 = -4*b + 380. Let r be 30/(-8)*(-1131)/q. Let g = r - -203/4. Sort g, 1, 3/2 in decreasing order.
3/2, 1, g
Let z(m) = m**2 - 2*m. Let f be z(3). Let l = -193.851 - -194.351. Let b be 0/((-2)/(-2) - 0). Put f, l, b in increasing order.
b, l, f
Let j = 1181 - 1176. Suppose -n = 5*i + 4, -2*n = n + 12. Sort 1, i, -1, j.
-1, i, 1, j
Suppose 0 = -5*j - 10, 2*a + 0*a - 5*j = 40. Suppose 0 = -a*q + 14 + 46. Sort 0, q, -1, -3.
-3, -1, 0, q
Let d = -0.07 - -4.07. Let w(y) = -3*y**3 + 2*y**2 - 4*y - 21. Let q be w(4). Let z = q - -174. Sort d, 5, -2, z in decreasing order.
5, d, -2, z
Let b(q) = q**3 - 13*q**2 - 316*q - 51. Let c be b(26). Sort c, 0, 4 in decreasing order.
c, 4, 0
Let r(q) = q**2 + 6*q + 5. Let j be r(-5). Suppose 0 = -2*x + 8, 5144*x - 5145*x = -2*c - 42. Sort j, c, 2 in descending order.
2, j, c
Let s be 2/8*-2 + (-135)/(-10). Suppose 0 = -s*d + 9*d - 5*t + 5, 0 = -d - 5*t + 20. Sort 0, 3, d, 9 in descending order.
9, 3, 0, d
Suppose -s + 2*y = -127, 443 = 10*s - 6*s + 5*y. Let r = 119 - s. Suppose 3*m - 1 = 5, 4*m - 47 = 3*g. Sort r, g, 1 in ascending order.
g, 1, r
Let q be 7/(-5)*(-2)/7. Let s = -13.477 + -0.223. Let u = 15.7 + s. Put u, -5, 3, q in descending order.
3, u, q, -5
Let a = -1395 - -1400. Let g = 8 + -15/2. Put 3/2, a, g in decreasing order.
a, 3/2, g
Suppose 5*a + 2*k = a + 14, -6 = 2*k. Suppose -18 - 42 = 12*g. Put 0, -2, g, a in descending order.
a, 0, -2, g
Suppose -19*t - 62*t = 34778 + 99034. Sort -4, 5, -3, t in decreasing order.
5, -3, -4, t
Let a(f) = 3*f**2 - 117*f + 1109. Let d be a(18). Sort d, 38, -1 in decreasing order.
38, -1, d
Let u = -4779 - -4778. Sort -5, -21, -10, 0, u in increasing order.
-21, -10, -5, u, 0
Suppose -5*b - 157 = g + 137, -5*b = 2*g + 573. Let n = -6415/23 - g. Sort 1, n, 0, 4 in ascending order.
0, n, 1, 4
Let x = 2243 - 2244. Put x, 0.4, -3, -11 in increasing order.
-11, -3, x, 0.4
Let i = 469 + -465. Suppose 5*w = -b - 10, b = i*b - 3*w - 24. Suppose -4*y + 7*y = 0. Sort y, -5, -3, b.
-5, -3, y, b
Let v be (-2126)/(-4) - 1/2. Suppose -2*n - v = -11*n. Let d = n - 179/3. Sort d, 2, -1 in descending order.
2, d, -1
Let v = 169423 - 169422.8. Let a = -0.3 + 0.2. Let j = a - 0.4. Sort -2/3, -0.09, v, j in decreasing order.
v, -0.09, j, -2/3
Let g = 2496 - 2495.5. Sort -1, g, 2, 3/26, -5 in ascending order.
-5, -1, 3/26, g, 2
Let s = -5/3 - -22/15. Let l = 0.037 + -10.537. Let t = l + 7.5. Put s, -0.09, t in decreasing order.
-0.09, s, t
Let u = -32.8 - -33. Let b = 0.121 - 0.621. Let q = 5.1 - 2.1. Sort 1/6, q, u, b.
b, 1/6, u, q
Let c = -1.1 + 0.8. Let h = c + 0.2. Let k = -0.05991 + 0.25991. Sort 2, -2, k, h in ascending order.
-2, h, k, 2
Let k = 10887 + -10902. Let g be 0 - (-1)/(15/6). Put k, 4, 7, g in ascending order.
k, g, 4, 7
Let x = -4565 - -4535. Put x, -4, 5, -11 in decreasing order.
5, -4, -11, x
Suppose z - k = 267, 4*k - 5*k = -3*z + 809. Suppose -9*a + 262 = z. Suppose -3*q = -q + 6. Put a, -6, -4, q in ascending order.
-6, -4, q, a
Let a = 330 - 328.7. Let v = a + -1. Put v, 7, -0.4, 5 in increasing order.
-0.4, v, 5, 7
Let o be -3*16/12 + (585/63 - 5). Sort 12, -5, -0.1, 66, o in decreasing order.
66, 12, o, -0.1, -5
Let v = -770.2 - -759.2. Sort -0.1, v, 9, 1/6, 5.
v, -0.1, 1/6, 5, 9
Let j = -7545 + 7544. Put 0, j, 516 in descending order.
516, 0, j
Suppose 0 = y - 10*n + 14*n + 24, 2*n = 5*y + 98. Put -5, y, 5, 1 in decreasing order.
5, 1, -5, y
Let j be 8/28 + 37/(-7). Let g be 9/18 + (-21)/(-6) - (4 + -1). Sort j, 4, 2, g in increasing order.
j, g, 2, 4
Let w be ((-8 + (4 - -3))*-5)/(-1). Suppose -148 = -5*m + 52. Suppose 0 = -4*n - 4*x + 8 - 84, -2*n - x = m. Sort n, -1, w in decreasing order.
-1, w, n
Let u = -8826 - -8831. Sort 1, 4, -15, u, 8 in ascending order.
-15, 1, 4, u, 8
Let u = -292.4 + 292.6. Sort -4/9, 2, 20, u.
-4/9, u, 2, 20
Let y(m) = -m**2 + 7*m - 3. Let a be y(6). Suppose -54*v + 46*v = -2184. Let f be 0 + -3 + v/39. Put -9, a, f in descending order.
f, a, -9
Suppose -6 = -4*x + 6. Let k = -150 + 152. Let c(r) = r**2 + 6*r - 26. Let h be c(-9). Put h, k, x, -1 in ascending order.
-1, h, k, x
Let u be (-2 - (-13 - (-400)/48)) + (-42)/9. Let g = -17 - 15. Put g, 5, u in increasing order.
g, u, 5
Let j(z) = z**3 + 17*z**2 + 17*z + 15. Let b be j(-16). Let f be 2 + 0 + (-30)/(-3). Suppose 3*c + f = -9. Put b, 3, c in descending order.
3, b, c
Let z = 3827 + -3826.98. Put 3/34, z, -0.5 in decreasing order.
3/34, z, -0.5
Let y = 6976 - 6975.8. Put y, 6/13, -6/5 in increasing order.
-6/5, y, 6/13
Suppose 0 = -14*d - 4*d - 16*d + 34. Let