Let c = i + 1223/6. Put -1, b, c in descending order.
c, b, -1
Let u = 0 + -0.1. Let q = 391 + -396. Let t = 2.6 + 1.4. Put -9, t, u, q in decreasing order.
t, u, q, -9
Let z = -167 - -111. Let p = z + 54. Let y = -1.4 + 1.2. Sort 13, y, p.
p, y, 13
Let h = -0.01884 + -0.98116. Sort -1/3, 0.2, -2, h in increasing order.
-2, h, -1/3, 0.2
Let h = 7987 - 8060. Put 3, -3, h, 0 in descending order.
3, 0, -3, h
Let j = -20336 - -20333. Sort 9, j, 120 in increasing order.
j, 9, 120
Let a be (3*(-28)/105)/((-2)/(-20)). Let f be ((-7)/((-210)/a))/(-2). Sort f, 1, 2/103 in ascending order.
2/103, f, 1
Let n = -1566 - -856.2. Let q = -710 - n. Put 6, 0.1, q in decreasing order.
6, 0.1, q
Let v(g) be the second derivative of g**4/12 + 11*g**3/6 + 25*g**2/2 - 2*g + 130. Let a be v(-8). Sort -2, 6, a.
-2, a, 6
Let v = -9.3 - -6.78. Let o = v + 0.82. Sort 0.3, 0.1, o in increasing order.
o, 0.1, 0.3
Let s = 4.01 - 291.01. Let k = -286.8 - s. Sort -2, -1/5, 0.5, k.
-2, -1/5, k, 0.5
Let f = 0.261 - 0.721. Let p = f + -0.04. Put p, -0.1, 17/5 in increasing order.
p, -0.1, 17/5
Let d = 35 - 21. Let q = -15 + d. Let o = -1.5 + -0.5. Put -4/3, q, o in descending order.
q, -4/3, o
Let t = -20 - -19.6. Let r = t - -1.3. Suppose 0*q - 3*b = 4*q + 13, 0 = -q - 4*b - 13. Sort -1/5, q, r in decreasing order.
r, -1/5, q
Let t = -256 - -117. Let i = t + 139. Sort -1, i, 0.7, 5.
-1, i, 0.7, 5
Suppose -3*p + 14 = -5*b, -2*b + 0*b - 16 = 4*p. Put b, 93, -2 in ascending order.
b, -2, 93
Let c = 134.4 + -135. Sort 5, 0.5, c, -0.19 in ascending order.
c, -0.19, 0.5, 5
Let y = -2 + 9. Let b = 11 - y. Let r = -26.035 + 25.635. Sort b, r, -4 in increasing order.
-4, r, b
Let m = 17290.5 - 17290. Sort m, 216, 10.
m, 10, 216
Suppose -45*d = 2 - 47. Suppose -2*x = -2*t - 6*x - 28, -4*t = -3*x + d. Sort 4, -6, t in increasing order.
-6, t, 4
Suppose 0 = 114*r - 119*r - 860. Let w = r - -151. Suppose 4*t + t + 15 = y, y + t + 9 = 0. Sort y, -1, w.
w, y, -1
Let d = 0.312 + -3.264. Let m = -6.509 + 6.557. Let z = d - m. Put 0.4, -0.5, 0.3, z in ascending order.
z, -0.5, 0.3, 0.4
Let b = -2589 - -2586. Sort -2/41, -1, 5, b in decreasing order.
5, -2/41, -1, b
Suppose 4*w + 57 = -51. Let z = 17 + w. Suppose -2*q - 2*h - 16 = 0, 14 = -1002*q + 998*q + 2*h. Put 5, z, q in decreasing order.
5, q, z
Suppose 0 = 4*c - 3*i + 9, i = 2*c - 3*i + 2. Let a be (-1 + 1)*(-13 + (-525)/(-42)). Suppose -4*m - m - 20 = 0. Put m, c, -5, a in decreasing order.
a, c, m, -5
Let u = -6545 + 6541. Put -7, 3, u, 4, -9 in descending order.
4, 3, u, -7, -9
Suppose -h + 0*h = 2*l + 4, 5*l + 2*h = -9. Let w(t) = t**2 - 6*t + 28. Let c be w(6). Let g = -33 + c. Put g, l, 0 in increasing order.
g, l, 0
Let u(p) = 15*p + 233. Let f be u(-15). Sort 4, -2, 5, -52, f in decreasing order.
f, 5, 4, -2, -52
Let o = 0 - -1. Let h(d) = -45*d + 102. Let p be h(19). Let n = 756 + p. Put -4, n, -2, o in increasing order.
-4, -2, o, n
Let o = 13809 - 13810. Sort -330, 0, o, -5 in decreasing order.
0, o, -5, -330
Suppose -5*y - 17 = -2*w, 0 = 4*w + y - 2 + 1. Let z(b) = 2*b**3 - 8*b + 4 - w + 3 + 13*b**2 - b. Let l be z(-7). Put -2, 1, l in descending order.
l, 1, -2
Let o(n) = n + 1. Let t(p) = 5*p + 24. Let i(q) = 4*o(q) - t(q). Let d be i(-23). Suppose 6 + 4 = -2*u. Sort d, u, 2 in ascending order.
u, 2, d
Suppose 30*m + 75 = 15. Let z be m/(-3) - -10*(-3)/(-9). Put 0, z, 1, 5 in ascending order.
0, 1, z, 5
Let v be 4*-4*(-1)/(-228)*(-27)/18. Sort v, -0.13, -2, -0.2 in decreasing order.
v, -0.13, -0.2, -2
Let h = -2253 + 2250. Put 5, -7, h, -5 in decreasing order.
5, h, -5, -7
Let n = 40808 + -40585. Sort n, -4, -5, 3, -2/13 in decreasing order.
n, 3, -2/13, -4, -5
Let s = 88 + -85. Let b(c) = -c**2 + 54*c - 157. Let v be b(s). Suppose 0*m = -m + 5. Sort -5, m, 3, v in decreasing order.
m, 3, v, -5
Let u be ((-1676)/(-144) - (-4)/36)*4. Sort u, -3, -28 in increasing order.
-28, -3, u
Let p = 53 - 53. Suppose p = 3*u + 12 - 24. Suppose 5*g = b + 8, -5*g + 5 = u*b - 13. Sort -4, 1, b in descending order.
b, 1, -4
Suppose -153*w + 158*w = 4*m - 31, 0 = -4*w - 3*m. Put 3, 0, w, 4665 in ascending order.
w, 0, 3, 4665
Let c = 1237 - 1261. Sort 1, c, -1.
c, -1, 1
Let d = 1 + -5. Let i = -526.0102 + 0.0102. Let v = -525.5 - i. Sort v, -1/3, d.
d, -1/3, v
Let n be 4 + -3 + (-1398)/39. Let b = -35 - n. Put 0.1, b, 0.3 in descending order.
0.3, 0.1, b
Let m = 12 - 22. Let g = 71 - 56. Suppose -30*h = -33*h + g. Sort h, m, -3, 1 in decreasing order.
h, 1, -3, m
Let y = 2351 + -2390. Sort 2/3, -4, -3, -1/8, y.
y, -4, -3, -1/8, 2/3
Let u(n) = -333*n + 1669. Let s be u(5). Sort -72, -4, s.
-72, -4, s
Let x = -0.33 - -0.03. Let u = 129 - -10. Let m = 693/5 - u. Put 0.5, x, m in ascending order.
m, x, 0.5
Let s = -3.09031 + 0.09031. Sort -33, s, 188 in decreasing order.
188, s, -33
Let x = -20497 + 20497. Put -58, 5, x, 2 in increasing order.
-58, x, 2, 5
Let l = -6477/583 + 122/11. Let p = -362595/2 + 181298. Sort p, l, -0.5 in decreasing order.
p, l, -0.5
Let l(g) = g**3 + 4*g**2 - 13*g - 44. Let p be l(-5). Put 52, -2, p, 5 in ascending order.
p, -2, 5, 52
Suppose 8 = 4*n - 4. Let s(w) = 8*w**3 - 68*w**2 - 82*w + 411. Let r be s(9). Sort -6, r, n, 6 in increasing order.
-6, r, n, 6
Let h = 388 + -252. Suppose -7*a = 10*a + h. Sort -2, 0, a in decreasing order.
0, -2, a
Let s = -3471 - -3466. Suppose 3*l + 0*l + 7 = n, 3*n = 3*l + 9. Sort l, s, -11 in decreasing order.
l, s, -11
Let i be (12/(-16)*4)/(-1 + 2) + -1. Sort i, 9, -22, 4, 2 in increasing order.
-22, i, 2, 4, 9
Let h = -0.3 + 0.4. Let f = -7.4 - -6.89. Let x = f + 5.51. Sort -5, h, x, 2/7 in descending order.
x, 2/7, h, -5
Suppose 5*m - 36 = 2*d, 5*m - 2*d + 20 = 7*m. Let v = 0 + -1. Put v, 0, m, -0.1 in decreasing order.
m, 0, -0.1, v
Let s be 116/(-87)*2/24 - 39/135. Sort 2, 12, -0.05, s in ascending order.
s, -0.05, 2, 12
Suppose -5 = -4*o - o. Suppose 31*k + 4*i - 160 = 26*k, 0 = 3*k - 3*i - 69. Suppose k*c - 34*c = 12. Put -12, 0, c, o in descending order.
o, 0, c, -12
Suppose 3*n - 2*w = 8*n + 42, -3*n + w = 23. Let o = -0.2 + 0. Let t be (-82)/((-486096)/418) + (-1)/(-12). Sort t, -0.4, o, n in increasing order.
n, -0.4, o, t
Let j be (74 + -79)*(1 - 0). Suppose 2*c - 16 = -2*k, 5*c - 18 - 16 = k. Sort -3, c, 0.1, j in decreasing order.
c, 0.1, -3, j
Let d = 25.8 - -3.2. Let i = 28.5 - d. Let z be 1/2 + 1 + (-175)/98. Sort i, z, 0.2 in ascending order.
i, z, 0.2
Let t = 5865 - 5877. Put -3, 3, t, -5 in descending order.
3, -3, -5, t
Let i = 240 - 228. Let f be (-3 + 155/15)/(6/(-9)). Sort i, f, -3/5.
f, -3/5, i
Let l(s) = s**2 + 140*s - 280. Let g be l(2). Let w = -86 - -87. Put -4, g, -5, w in ascending order.
-5, -4, w, g
Let w = 7443 + -7438. Sort w, 25, -5, -3 in decreasing order.
25, w, -3, -5
Let i = 4290 + -4288. Sort 5, i, -11/6.
-11/6, i, 5
Let l be 1*(-1 + 0)*2*960/640. Put l, -2, 74, 0 in decreasing order.
74, 0, -2, l
Let q = -0.1419 + -4.8156. Let d = 0.0425 - q. Let t be 0 + 0 - 9/(-15). Sort 7, t, d in descending order.
7, d, t
Suppose 0 = 2*q + 5*w + 11, -2*w = 2*q - 12 + 14. Sort -5, 88, 11, q, -1 in decreasing order.
88, 11, q, -1, -5
Let w(o) = o**2 - 1 + 2*o + 1 - 2. Let y be w(-3). Let i = 10697.2 + -10697. Put i, 7/4, y in descending order.
7/4, y, i
Let g = -210 + 129. Let y = g + 79.9. Sort -0.1, 0.1, y in descending order.
0.1, -0.1, y
Let g = 14319 - 14305. Put -4, g, -1, -8 in increasing order.
-8, -4, -1, g
Let m(u) = 3*u + 14. Let p be m(-6). Let z be (-56)/(-18) - ((p - -10) + -3). Sort z, 5, -1 in descending order.
5, z, -1
Let k = 96 - 120. Let p(n) = -n**2 - 24*n + 2. Let g be p(k). Sort -3, -15, g in decreasing order.
g, -3, -15
Let d = -1081 + 570. Let m = d - -506. Let n be (-11)/63 + 4/14. Put 3, m, n in descending order.
3, n, m
Let h = 235.1 + -239. Sort 1/5, -3, h in increasing order.
h, -3, 1/5
Let u(v) = -11*v**2 + 21*v + 62. Let b(i) = -4*i**2 + i + 1. Let x(j) = -3*b(j) + u(j). Let h be x(-14). Sort 1/4, 4, h, 4/3 in decreasing order.
4, h, 4/3, 1/4
Let r = 9430/28263 + -3/9421. Put 0, 3/4, -0.9, r, 5 in ascending order.
-0.9, 0, r, 3/4, 5
Let v = 69 + -37. Let i = 2.94 + 29.26. Let b = i - v. Put 0.14, -4, b in increasing order.
-4, 0.14, b
Suppose 0 = 23*s - 17*s + 12. Let p be ((-6)/2)/(3/s) + 0. Let y be (8/30)/(2/3). Put y