-14584. Put -0.469, n, -0.2 in decreasing order.
n, -0.2, -0.469
Let h = 60 + -64. Let a = -92 + 93. Sort h, a, 5, -5.
-5, h, a, 5
Let f(i) = 11*i**2 + 343*i + 2219. Let r be f(-22). Suppose -y - 3 + 1 = 0. Put r, y, -5 in increasing order.
-5, r, y
Let h = -7065 - -7107. Put 2, -3/10, -1, h in increasing order.
-1, -3/10, 2, h
Let g = -0.01051 + 2.01051. Let x = 1.324 + 0.016. Let o = x - 0.24. Put -1/5, o, 1, g in decreasing order.
g, o, 1, -1/5
Let x be 3*(2 - 1 - 2). Let w = -98 - -2024. Let k be (-28)/9*-1 - 214/w. Put k, 4, -10, x in decreasing order.
4, k, x, -10
Suppose 57*r + 23 = 137. Suppose 5 = -3*d + 2*d + 4*i, -4*d - 59 = -3*i. Let p = d - -12. Put r, -3, p in ascending order.
p, -3, r
Suppose -16*l + 21*l = -3*p - 10, 3*l + 20 = p. Let s(b) = -b**2 + 5*b - 5. Let o be s(6). Put -3, o, p, 1 in ascending order.
o, -3, 1, p
Suppose -30 = -5*q - 0. Let d(g) = 7*g - 67. Suppose 0 = -5*y - 6 + 56. Let s be d(y). Sort s, q, -4 in ascending order.
-4, s, q
Let v = 0.2586 + 0.0414. Let z = -56209/47 - -1196. Put v, z, 4/3 in descending order.
4/3, v, z
Suppose 4*l = 3*g - 13, 2*l + 6 = 2*g - 2. Let z be 6 - 2 - (3 - g). Let i(u) = -u**2 + 5*u + 47. Let j be i(10). Sort 0, j, -5, z in descending order.
z, 0, j, -5
Let h = 154 + 712. Let q = h - 864. Sort -1/3, 3/4, 3/5, q.
-1/3, 3/5, 3/4, q
Let b = 0.1376 - -3.8624. Sort b, 0.4, 260 in descending order.
260, b, 0.4
Let o = -2726 + 2722. Sort -21, -17, o, 1 in decreasing order.
1, o, -17, -21
Let q = 144 + -369. Let y = q + 222. Sort 5, 3, -5, y in ascending order.
-5, y, 3, 5
Suppose 69*d + 378 = 37*d + 23*d. Put 16, 3, 5, 0, d in decreasing order.
16, 5, 3, 0, d
Let s = 46 - 29. Let z = -0.106 - 4.894. Sort s, z, 2/11 in decreasing order.
s, 2/11, z
Suppose -9 + 3 = 2*a + 5*t, 0 = 3*a + 4*t + 9. Let k(h) = -h**2 - 9*h + 22. Let p be k(-11). Put a, 5, p, 2 in decreasing order.
5, 2, p, a
Let n = 2 + -3. Let p = 0.8 + n. Let y be 10/2 - 5220/1035. Put -5, 4/5, y, p in descending order.
4/5, y, p, -5
Let d = 27/230 - 1677/2530. Put 3/5, d, -5, -11, 0.01 in decreasing order.
3/5, 0.01, d, -5, -11
Let f be (-138)/(-8) + (-40)/32. Suppose -13*d + f*d = 0. Put 4, -3, d, -5 in descending order.
4, d, -3, -5
Suppose 10 = -s + 3*s, 3*s = 3*n + 15. Suppose -5*y - 5*c + 25 = n, 3*y - 4*c - 27 = -3*c. Let x be ((3/y)/((-18)/(-8)))/(-1). Put x, 3, 0 in increasing order.
x, 0, 3
Let o(a) = 3*a**2 + 2*a**2 - a**2 + a**3. Let m be o(-4). Let s(t) = t**2 + 5*t + 1. Let u be s(-4). Sort -2, 4, m, u in decreasing order.
4, m, -2, u
Let f = -24.564 - -23.064. Sort 4, 95, f in decreasing order.
95, 4, f
Suppose -4 = -3*c + 5, -5*y + 17 = 4*c. Let s(f) = f**3 + 12*f**2 + 14*f - 3. Let b be s(-10). Suppose 4*n + b = 21. Sort n, y, 4 in descending order.
4, y, n
Let y = -2 + 2.01. Let t = 8.6206 - 7.6206. Sort t, -2/11, y in descending order.
t, y, -2/11
Let v = 29.87 - 117.87. Sort -1/2, 2, 0.4, -5, v.
v, -5, -1/2, 0.4, 2
Let w be ((-369)/(-5))/(30/150). Let m = w - 370. Sort 45, m, -5, -2.
-5, -2, m, 45
Let x = -0.201 + 0.001. Let g = 1481/741 - 37/19. Sort 0.5, x, g, 1.
x, g, 0.5, 1
Let w(i) = -i - 1. Let d be w(-5). Let b be (14 + (-351)/26)/((-2)/(-36)). Sort d, b, 0.2.
0.2, d, b
Let j be (-4 - -3)*(5 - 0). Let n = 11 + j. Let q be (1 - 273/135) + (-20)/(-90). Sort q, 1/5, n in decreasing order.
n, 1/5, q
Let n = -63 + 62.906. Let q = n + -0.106. Let a = -277/4 + 69. Put q, 5/2, a in descending order.
5/2, q, a
Let j(n) = -15*n**3 + n**2 + n + 2. Let c be j(-1). Suppose -p - c = 4*m, 0 = -3*m - 0*m + 5*p - 30. Sort -0.1, m, -0.2, 1 in increasing order.
m, -0.2, -0.1, 1
Suppose 2*k + 5*c = 27, 11 = -8*k + 9*k + 2*c. Suppose 0 = x - 0*x - 27. Sort k, 5, x.
k, 5, x
Suppose -2*f + 4 = -0*f. Let r = -148 - -151. Sort f, 0, r, -0.2 in decreasing order.
r, f, 0, -0.2
Let b = 0 - 3. Let k = 4034 - 4031. Put -4, k, b in ascending order.
-4, b, k
Let y be (39/(-6))/(-13)*12*796/(-6). Put 4, 5, y in decreasing order.
5, 4, y
Suppose 4*h + 1452*l = 1453*l - 8, 20 = -4*h - 2*l. Sort -9, h, -1, -2, 17.
-9, h, -2, -1, 17
Let p(t) = 20*t**2 + 50*t + 27. Let o(n) = 9*n**2 + 25*n + 14. Let m(y) = -13*o(y) + 6*p(y). Let j be m(9). Put -4, 2, j in increasing order.
-4, j, 2
Let b = -42 + 57. Suppose -7*p + 6 = -b. Suppose -4*t + 2 = -3*h + 4, 5*t + p = 4*h. Sort 8, h, -1 in descending order.
8, h, -1
Let u = -2/17 - 5/102. Let f = -107 - -106.7. Let l = 0 + f. Sort l, -1, u, 4.
-1, l, u, 4
Let g = 147.44 - 152.44. Sort g, 5, 0.4, -0.126 in ascending order.
g, -0.126, 0.4, 5
Let w(g) = -69*g - 895. Let l be w(-13). Put 5, 1, l, 104, -4 in descending order.
104, 5, l, 1, -4
Let a = 14041 - 14044. Sort -0.4, -14, a, 1/6, 1.
-14, a, -0.4, 1/6, 1
Suppose 22 = 4*k - 26. Let b be k/3*(-1)/(-2). Suppose -b = 2*f - 6. Sort 3, -0.5, f, -3 in ascending order.
-3, -0.5, f, 3
Suppose 8*v + 3*v + 36 = 80. Sort -8, v, 54.
-8, v, 54
Let k = 83708 + -83708.5. Let s be 8/(-70) - (-4)/(-14). Sort k, 2, -46, s in decreasing order.
2, s, k, -46
Let f = 29167 - 29169. Sort f, 4, 2, -34, 1.
-34, f, 1, 2, 4
Let u = -26.1 + 25.39. Let g = u + 0.8. Let a be (-2)/3*(-6)/(-2). Sort a, 0, g in increasing order.
a, 0, g
Let q be 6*(8 + (-152)/16)/3. Sort -40, q, 0 in decreasing order.
0, q, -40
Suppose -k = 2*h - 34, -k + 58 = 5*h - 24. Let o = -10 + 23. Let d = o - h. Sort 2, d, -2.
d, -2, 2
Let q(x) = -x**2 - 11*x - 25. Suppose 3*h - 6 = 0, 4*f + h + 12 = -26. Let w be q(f). Let u be (-30)/9*w/20*6. Put 5, 0, u in decreasing order.
u, 5, 0
Suppose 13*n + 21 + 3 = 11. Sort 286, n, 9 in increasing order.
n, 9, 286
Let g(n) = -2*n**2 - 123*n - 213. Let u be g(-60). Sort 0, -1/2, 6, 1, u in ascending order.
u, -1/2, 0, 1, 6
Let v = -17.8 - -18. Let d = 992.014 + -992.1. Put d, v, -0.5 in decreasing order.
v, d, -0.5
Let w be (-385 - -371) + 184/13. Put -3, 265/4, w, 0 in decreasing order.
265/4, w, 0, -3
Let k be 1/3*(-18)/24*-4. Suppose 5*j + 31 = -2*o, 7*o - 5*j - 10 = 2*o. Put k, o, 8, -1 in descending order.
8, k, -1, o
Suppose -22 + 91 = -3*f. Suppose -67*r = -3*l - 62*r + 16, 5*l + 4*r = -35. Sort f, l, -5.
f, -5, l
Let x = -6 + 3. Let w = 250 + -250. Suppose 18*m - 47 - 7 = w. Put x, -2, -1, m in descending order.
m, -1, -2, x
Let g(u) = 6*u - 11. Let y be g(2). Let w(v) = -7*v - 20. Let q be w(-4). Put y, 5, q, -2 in increasing order.
-2, y, 5, q
Let s = -13365.9 + 13978. Let r = s + -613. Sort -1.1, -0.5, r in increasing order.
-1.1, r, -0.5
Let p = -11678 - -11675. Put -1, p, 8.2 in descending order.
8.2, -1, p
Let q = -161/12 - -781/60. Put q, 4.84, -0.5 in increasing order.
-0.5, q, 4.84
Let s be -5*((-1165)/(-75) - 5/15). Put -2, 0, s in decreasing order.
0, -2, s
Let k(s) = 2 + 6 - 2*s + 9 + 3*s**2. Let w be k(0). Put w, 2, 4, 0 in increasing order.
0, 2, 4, w
Let b = 302 - 326. Let c be -3*(-4)/(-6) - (b + 18). Sort c, -3, -14, -5 in decreasing order.
c, -3, -5, -14
Suppose 5*w - 20 = 0, 5*g - 4*w + 3 = -33. Put 1, -2, -3, g, 6 in decreasing order.
6, 1, -2, -3, g
Let z = 39140.4 - 39140. Sort -1/5, 1192, z in decreasing order.
1192, z, -1/5
Let g = -44 + 13. Let s = -8 - 24. Let q = g - s. Sort -1, -2, q in decreasing order.
q, -1, -2
Let o = 1.1 + -0.1. Let w = 2/55331 - 55339/221324. Put w, 0.06, o, -5 in ascending order.
-5, w, 0.06, o
Let a = 52015/28 + -7433/4. Sort a, 2/5, 0.8, -5 in ascending order.
-5, a, 2/5, 0.8
Let f = -412/1025 + 2/1025. Let w = 284/679 - -1/97. Sort f, w, 6, -2 in increasing order.
-2, f, w, 6
Suppose -43*k - 39 = 90. Put 9, 3, k, -30 in ascending order.
-30, k, 3, 9
Let o = -12 + 10. Let d = 698 - 694. Sort d, o, 2.3 in ascending order.
o, 2.3, d
Let u be (-54)/(-58) + (-114 - -113). Sort -0.3, 11, u, -3 in decreasing order.
11, u, -0.3, -3
Let n be 4 + (-70)/7 + 12. Let r(i) = -5*i + 51. Let k be r(n). Put k, 0, -1, -5 in decreasing order.
k, 0, -1, -5
Let q(a) = -a**2 - 21*a - 8. Let x be q(-21). Let s be (-8)/6 + (x/6)/(-4). Sort s, 4, 1, -2 in descending order.
4, 1, s, -2
Suppose 0 = -0*z + 5*z + 5. Suppose r + 3*j = 35, -1351*r + 1354*r + 5 = 2*j. Sort r, 0, 10, z in ascending order.
z, 0, r, 10
Let k be -7 - -10*((-6)/21)/((-60)/252). Put k, 3, -16, 4, 0 in ascending order.
-16, 0, 3, 4, k
Suppose -370 = 2757*x - 2683*x. Suppose -21 = -5*d - 6. Sort -28, x, -3, d in descending order.
d, -3, x, -28
Le