3, 0
Suppose -693*t + 4*a = -688*t - 23, 21 = -3*a. Put -3, -96, t, 5 in increasing order.
-96, -3, t, 5
Let m = -363 - -377. Suppose -m*w + 18*w + 12 = 0. Put -2/5, w, 0, 5 in increasing order.
w, -2/5, 0, 5
Suppose 8*w = -12*w + 2*w + 360. Sort 2, -1, 1, 0, w in descending order.
w, 2, 1, 0, -1
Let s = 7.396 - 7.446. Put -15, 5, 0, s, 2/7 in ascending order.
-15, s, 0, 2/7, 5
Let f = -0.1201 - -0.3201. Put 10/9, f, -0.5 in descending order.
10/9, f, -0.5
Let u be (-10902)/92*4/(-6). Let t = 2213/28 - u. Sort -4, 0.4, 2/7, t.
-4, t, 2/7, 0.4
Let m be (-4)/(48/(-140))*(-7 + 4). Let a be (-14)/m - 6/15. Put 4, -12, -1, a in descending order.
4, a, -1, -12
Let v(t) = -2*t**2 - 18*t + 25. Let k(c) = 5*c**2 + 38*c - 50. Let z(q) = 4*k(q) + 9*v(q). Let u be z(5). Sort -4, u, -3.
-4, -3, u
Let l = -29 - -37. Let r(a) = a**2 - 10*a + 17. Let z be r(l). Put 2, z, -4 in decreasing order.
2, z, -4
Let z be ((-1)/75)/((-77)/1155). Sort z, 84/37, 2, 3.
z, 2, 84/37, 3
Let w(v) = v**2 + 9*v - 15. Let t be w(-11). Let k = t - 8. Let u be 0*((-45)/10 + 3 + 1). Put u, 4, k in ascending order.
k, u, 4
Let x = 10 + -6. Let n(c) = -c**3 + 95*c**2 + 392*c + 397. Let m be n(99). Let i = 18 - 21. Sort m, x, i, 8.
i, m, x, 8
Let z = 2288 - 2276. Sort -0.2, z, -0.03 in decreasing order.
z, -0.03, -0.2
Suppose -12*y - 6626 = -6626. Suppose 10 + 2 = 3*s. Suppose s*h - 2*w + 48 = y, -4*h = -0*h + 4*w + 36. Sort -1, h, 0 in increasing order.
h, -1, 0
Let j be -1*(-3 + 2)*6/(-27). Let t = -129 - -124. Put j, t, -73 in increasing order.
-73, t, j
Let i be 1 + (-38)/4 + 29/(-58). Let d = -1475.7 + 1475.7. Let g = -2 - 2. Sort g, i, d.
i, g, d
Let g(b) = 5*b. Let l be g(-1). Let d(v) = 2*v**2 + 33*v + 13. Let h be (1 - (-21)/(-5))*5. Let a be d(h). Put 5, a, l in descending order.
5, a, l
Let g(h) = -h**3 + 16*h**2 + 33*h + 54. Let c be g(18). Suppose c = 12*l - 41 + 53. Suppose -q = -1, -3*q - 1 = z + 1. Put -4, 1, l, z in decreasing order.
1, l, -4, z
Let z = -1.26 - -1.4. Let x = -10618.3 - -10619. Sort 1, x, z.
z, x, 1
Let c = -497/9 + 55. Suppose 3*n - 5*g - 1 = 0, -4*n + 3 = -2*g - 3*g. Sort 1/8, n, c in ascending order.
c, 1/8, n
Let u be ((-440)/(-33) + (-156)/12)*(-1)/2. Put -2, 41, u in increasing order.
-2, u, 41
Let r = -271/4 + 541/8. Let f = -518 + 522. Sort f, -0.5, r in increasing order.
-0.5, r, f
Let c = 3419 + -3418. Let i = -0.256 - -0.056. Put -3/4, 3, i, c in decreasing order.
3, c, i, -3/4
Let f(y) = 3*y**3 - 1. Let k be f(1). Let w = k + -5. Suppose 2 - 38 = 2*c - 4*q, -c - 5*q + 31 = 0. Sort -2, c, w in descending order.
-2, w, c
Suppose o - 19 - 17 = 0. Let i be o/8 - 4 - (-54)/4. Suppose -u + 3*h = 19, u - h + i = h. Put -2, -5, 4, u in descending order.
4, -2, u, -5
Let g = 19892 + -19896. Sort 626, 0, g, -3, 3 in decreasing order.
626, 3, 0, -3, g
Let s be (-28)/104*244/(-427). Sort s, 4, -0.135.
-0.135, s, 4
Let k(t) = -t**2 - 9*t - 6. Let u be k(-2). Suppose 4*b = -3*m - u, -5*m - 5 = -2*b + 7*b. Sort b, -3, 2.
b, -3, 2
Let u = -21408 - -278300/13. Sort -0.023, 3/8, u, 4/7.
u, -0.023, 3/8, 4/7
Let j = 959 - 962. Put 13/7, -2, j in descending order.
13/7, -2, j
Let z = 8 + -8.3. Let f = 311.0475 - 0.0475. Let s = f - 311.5. Sort -0.2, z, 4, s in decreasing order.
4, -0.2, z, s
Let u be (-288)/(-80) + (-3)/5. Let y be u/2*40/12. Suppose -2 = 4*p + d, 4*p + 4 = -0*p - 2*d. Put -1, y, p in decreasing order.
y, p, -1
Let m be (6/(-10) - (-61)/85) + (152 - 152). Sort -2, -0.06, 1/3, -0.2, m in decreasing order.
1/3, m, -0.06, -0.2, -2
Suppose -18 = -z - 15. Let d be ((60 - 0)/z)/((-4)/14). Let f be 7/d + 14/(-260). Sort f, -0.2, -2, -3 in decreasing order.
f, -0.2, -2, -3
Let z = 3844 + -3843. Sort -0.8, z, -1/4, 3, -5 in increasing order.
-5, -0.8, -1/4, z, 3
Let b be 19/(-4) - 2/8. Let y = -138.9 - -166. Let i = y + -27. Sort b, i, -1 in decreasing order.
i, -1, b
Let q = 2046.3 + -1832. Let j = 214 - q. Let i = -0.7 + 0.8. Sort 0.5, j, -1/4, i in increasing order.
j, -1/4, i, 0.5
Let s = 7 + -7.06. Let q = s + -0.94. Let x(g) = -g**3 - 13*g**2 + 21*g + 279. Let k be x(-13). Sort k, 0, q in increasing order.
q, 0, k
Suppose 83 = 8*t - 21. Suppose 4*o + 3 = -t. Let k = 41 - 41.4. Put o, 5, k, -3 in decreasing order.
5, k, -3, o
Let s(c) = -15*c + 607. Let r be s(41). Put -66, -2, r in ascending order.
-66, r, -2
Let k = 404 + -370. Let s = k + -38. Put -115, 0, s in descending order.
0, s, -115
Let q(g) = 7*g + 43. Let m be q(-7). Let d be 20/m + (-9 - -6)/(-9). Suppose -1 = 4*k - 5. Sort 3, d, k, 2 in decreasing order.
3, 2, k, d
Suppose -5*p = b - 14, 0 = p - 10*b + 12*b - 10. Put 3, -3, p, 426, -1 in increasing order.
-3, -1, p, 3, 426
Let q = -600472/51 + 11774. Sort 0.1, -7, q, 2.
-7, q, 0.1, 2
Let m = 6 + -6.4. Let b = 0.13 - 1.13. Let q = -8.494 - -8.594. Put b, q, m in increasing order.
b, m, q
Let n = 149.9712 + 0.0288. Let o = -150.5 + n. Put o, 1/36, -5 in descending order.
1/36, o, -5
Let p = -143/180 + 61/60. Let b = -0.4 - 3.6. Let d = 4.4 + b. Sort 3/5, d, p in ascending order.
p, d, 3/5
Let s = -60.66 + 59.66. Let d = 4.96 + 0.04. Let a be ((-6)/(-35))/((-6)/20). Put a, d, s in ascending order.
s, a, d
Let b(w) = 2*w**2 + 22*w + 16. Let d be b(-11). Let s = -26 + 45. Let q = d - s. Put 0.2, 3, -5, q in decreasing order.
3, 0.2, q, -5
Suppose -3*k + 5*k - 5*a - 215 = 0, -4*a = k - 114. Suppose -2526 = 7*z - 29*z - 172. Let c = z - k. Sort -2/17, c, 0.2, 3/2 in decreasing order.
3/2, 0.2, -2/17, c
Let i = -840 + 808. Sort -11/4, i, 0.5.
i, -11/4, 0.5
Let t be 723*((-6)/18)/1. Let h = -1209/5 - t. Put -7/5, 0, h in ascending order.
-7/5, h, 0
Let l(g) = -7*g + 2. Let p be l(1). Let f = 4 + p. Suppose 3*y = -3*v + 21, 3*v - 5*y - 6 = -1. Sort v, f, -7 in ascending order.
-7, f, v
Let o = -16.3 - -16.2. Let h = -22 + 67/3. Sort 2/9, o, h, 0.5 in decreasing order.
0.5, h, 2/9, o
Let f = -5038 - -5038. Sort 67, 4, f, -4.
-4, f, 4, 67
Let t = -13396.3 + 13396. Put -8, 1, t, -1/2, 4 in descending order.
4, 1, t, -1/2, -8
Let a = 504.6 - 507.6. Sort a, 1/4, -1/23, -1/3.
a, -1/3, -1/23, 1/4
Let k(m) = m**3 + m**2 - m - 2. Let o be k(-2). Let q = 356/7 - 355/7. Put 5, o, q, -5 in descending order.
5, q, o, -5
Let y = -5.209 + 4.909. Put 6, -5, -3, 2, y in decreasing order.
6, 2, y, -3, -5
Suppose 0 = -2*q + 2*l - 10, -4*q + 3*l - l - 12 = 0. Let w(z) = 4*z**3 + z**2 + 2*z + 1. Let f be w(q). Put -5, -8, f, -3 in decreasing order.
-3, f, -5, -8
Let i = -115480 - -115485. Let g = 3.7 - 4. Let z = g - 0.2. Put i, 0.01, 1, z in descending order.
i, 1, 0.01, z
Let x be 23/9 - 360/(-810). Put x, -78, -3 in ascending order.
-78, -3, x
Let x = -16637.5 + 16638. Let s = -187 + 1311/7. Put x, s, -2/15 in decreasing order.
x, s, -2/15
Suppose -56 + 53 = k. Let t(n) = -5*n - 10. Let f be t(k). Let s(h) = -h**3 + 6*h**2 - 5*h + 2. Let a be s(f). Sort a, 3, -7 in descending order.
3, a, -7
Let w = 1790.751 - 1791. Put 1, 0, w in increasing order.
w, 0, 1
Let n(w) = w**2 - 8*w + 7. Let r be n(6). Let a = -4061/9 + 451. Sort r, a, 1/28 in increasing order.
r, a, 1/28
Suppose 0 = -2*w - t + 3*t + 10, 3*w + 2*t = 15. Let m = -237 - -131. Let v = m - -101. Put w, v, -8 in ascending order.
-8, v, w
Let f be (-61 - -64)*(-10)/6. Suppose 4*t + t - 4*x = 27, 2*x = t - 9. Suppose -t*o = -7*o + 20. Put 6, o, f in decreasing order.
6, o, f
Let x = -47836 + 47840. Let j = 11 - 7. Let c be j/42 + 1/3. Put 0, c, -0.1, x in decreasing order.
x, c, 0, -0.1
Let o be (1 + (-1)/4)*-4. Let g(t) = -t**3 - 3*t**2 - 5*t - 3. Let w be g(o). Let b = 39539 + -39543. Sort w, -3, b in descending order.
w, -3, b
Suppose -3*u - 29 - 48 = -2*u. Put -3, -1, u, -4 in decreasing order.
-1, -3, -4, u
Let x = 125936 + -125940. Let q = 3 + -1. Put x, 3, 24, q in decreasing order.
24, 3, q, x
Suppose -s - 76 = 4*w, 0*w + 376 = -4*s + 2*w. Let c = -92 - s. Put c, -5, 27 in increasing order.
-5, c, 27
Let n(z) = z**3 + 5*z**2 + 73*z + 203. Let q be n(-3). Sort 5, -5, q, -379, -4 in ascending order.
-379, -5, -4, q, 5
Let s = -10 - -11. Suppose -4*x - 23 = 5*u, x + 14 = -5*u + u. Suppose -22 = 5*j + 3*k, 18*k = -5*j + 22*k - 29. Put s, x, j, 3 in decreasing order.
3, s, x, j
Let p = -65207.967 - -65179. Let l = -0.033 + p. Let d = l - -23. Sort 0.4, d, 2, 5/6 in decreasing order.
2, 5/6, 0.4, d
L