, 7, 12
Let h(u) = u**2 + 7*u - 14. Let g be h(-10). Let i = 13 - g. Let k = -5 + 9. Sort -1, k, i in descending order.
k, -1, i
Suppose 0 = 5*r - 134 + 24. Suppose -9 = -c - 2*q + r, 4*c + 5*q - 112 = 0. Suppose 0 = -5*o + 13 - c. Sort o, 2/21, 0.5.
o, 2/21, 0.5
Let g = 151 + -79. Put 1, 0, g in decreasing order.
g, 1, 0
Let m(y) = -y**2 + 2*y + 7. Let u be m(4). Let l be -2*u/2*13. Suppose l - 29 = -x. Sort x, 5, 0 in increasing order.
0, 5, x
Let r = -7 + 3. Let q(p) = p**3 + 4*p**2 - 6*p - 6. Let m be q(-5). Let a(x) = -42*x - 1173. Let f be a(-28). Sort r, m, f in ascending order.
r, m, f
Suppose -11 = z - 3. Suppose 7*v - 44 = -9. Suppose -9 = -4*y - 2*k + 13, 10 = y + v*k. Put y, -5, z in ascending order.
z, -5, y
Let i be 3*2*2/8. Let s = 0.3 + -0.2. Let d = -24397/551 - -1281/29. Sort d, s, i in decreasing order.
i, s, d
Let v = 51 - 51.2. Let d = 12 + -23. Let n = d - -7. Put n, v, -0.4 in descending order.
v, -0.4, n
Let p = 8 - 5. Let b be (p/(-4))/((-2)/(-8)). Suppose 10*c - 8 = -28. Sort b, c, -1.
b, c, -1
Suppose 2*r + 3*h - 5 = 0, r + 5*h - 20 = -0*h. Let k be ((-66)/4)/(3/(-16)). Let y be (-6)/k + (-5)/(-20). Put r, -10, y in ascending order.
-10, r, y
Let s = -1/33936 - 5550959/33936. Let p be (18/(-12))/((-6)/656). Let u = s + p. Sort 0.01, -0.5, u in decreasing order.
u, 0.01, -0.5
Suppose 2*n = -r - 3 - 1, 5*n + 1 = -4*r. Let f = -87 + 86. Let t be 1/(6/3) - f/(-2). Sort -4, r, t.
-4, t, r
Let p be 6/2 - 0/1. Let f = -26/349 - 995/698. Sort p, -5, f, -0.01.
-5, f, -0.01, p
Let i(c) = -2*c**2 - 12*c + 35. Let t be i(-8). Sort 5, 8, t in descending order.
8, 5, t
Let d(t) = -4*t**2 - 46*t + 23. Let a be d(-12). Put -2, -27, 1, a in decreasing order.
1, a, -2, -27
Let w(m) = m**3 - 26*m**2 + 26*m - 22. Let u be w(25). Sort 0.5, -2/9, u, -2/85 in descending order.
u, 0.5, -2/85, -2/9
Let c = -403 + 403.5. Sort 3, c, -1/3, -1/9 in descending order.
3, c, -1/9, -1/3
Suppose -6*a = -27 - 3. Suppose -d = -a*x + 3, -3*x - 3 = 3*d - 2*d. Let c = 0.5 - 0.4. Sort -2, d, c in increasing order.
d, -2, c
Let c = 59 - 45. Sort -2, 5, c, 2.
-2, 2, 5, c
Suppose -5*i + f = -26, -4*f - 4 = -0. Sort -95, i, 4.
-95, 4, i
Let z = -1462 + 1459. Sort z, 42, 3 in decreasing order.
42, 3, z
Let j(k) = -k**3 - 42*k**2 - 83*k - 158. Let s be j(-40). Sort s, -1, -2, 4 in decreasing order.
4, -1, -2, s
Let k(d) = d. Let s be k(18). Let h(o) = s - 3*o + o - o + o. Let x be h(8). Sort 1, x, -4 in descending order.
x, 1, -4
Suppose 4*o - 8*o = -24. Suppose 0 = -14*f - 30 + 2. Sort o, f, -3.
-3, f, o
Let y = -686.9 - -687. Sort -2, 5, y, 3 in increasing order.
-2, y, 3, 5
Suppose 0 = 3*u - 18*u + 15. Let w = 106 - 97. Put w, 0, 3, u in descending order.
w, 3, u, 0
Let b = -357 - -353. Let y = 0.02 - -3.98. Let o = -8/45 - -2/5. Put o, y, b in decreasing order.
y, o, b
Let u = 3.277 + -0.277. Put 0.5, u, -0.34 in decreasing order.
u, 0.5, -0.34
Let n(m) = 6*m**3 + m**2 - 1. Let i be n(1). Let f be (8/i)/(3/(36/8)). Put f, 7, -1 in ascending order.
-1, f, 7
Let u be (((-30)/12)/5*-2)/(-5). Put 0, 9, u in ascending order.
u, 0, 9
Let j be ((-5)/(195/(-442)))/((-2)/3). Sort j, 4, 2, 5.
j, 2, 4, 5
Let x be 45/(-6)*1/10. Let s = -0.003 + 0.303. Put x, s, 1 in ascending order.
x, s, 1
Let k(h) = -7*h + 282. Let o be k(41). Sort 3, 31, o.
o, 3, 31
Let i = 0.6 + -0.5. Let n = 327/4 + -82. Sort i, n, 0.4 in ascending order.
n, i, 0.4
Let t = -1028/2415 + -1/345. Let p = 70.67 + -71. Sort p, -4, t in decreasing order.
p, t, -4
Let w = 564 - 564.5. Let u be (-3)/11*4/(-6). Suppose 2*a + h + 4 = -3*h, -4*a = -h - 19. Sort a, u, w in decreasing order.
a, u, w
Suppose z = 2*w + 11, -8*w - 4*z + 17 = -7*w. Put w, -15, -5, 5 in decreasing order.
5, w, -5, -15
Suppose -4*d + 3*n = 56, 4*n - 4 = 12. Put d, 5, 0 in ascending order.
d, 0, 5
Let r = 190 - 191. Sort 3, r, -26.
-26, r, 3
Let a = -264.3 - -264. Put 3/8, 6.4, a in ascending order.
a, 3/8, 6.4
Let u = 78 - 74. Suppose 76*k + u = 75*k. Put -12, 2, k in increasing order.
-12, k, 2
Let x be 2/((-2)/1) + 4. Let k = 118 + -122. Put -5, -1, k, x in ascending order.
-5, k, -1, x
Let p = 159 + -163. Sort -0.2, 0, 11/10, p in ascending order.
p, -0.2, 0, 11/10
Let v be 1*(-1)/1 - (8 - 8). Sort -10, -3, v, 4 in descending order.
4, v, -3, -10
Suppose 5*p + 2*x - 22 = p, 39 = 3*p - 3*x. Suppose -4*a = 16 + p. Let w = 9 + -11. Sort a, w, -4 in descending order.
w, -4, a
Let j be (250/225)/((-15)/(-54)). Let w(k) = -k**3 + 4*k**2 + 3. Let s be w(4). Sort s, -6, j, -4 in increasing order.
-6, -4, s, j
Let x(f) = -2 - 11*f**2 - 8*f - 3 + 0 - 2. Let u be x(-1). Sort -4, u, 0, -2 in increasing order.
u, -4, -2, 0
Let i(b) = b + 2. Let k be i(-2). Suppose 0 = -4*r - w - 18, -21 = r - 2*w - 12. Sort k, -4, r in descending order.
k, -4, r
Let q = -472 + 468. Put -5, 2, -21, q in decreasing order.
2, q, -5, -21
Suppose -4*s - 4 + 0 = 4*u, -4*s = -5*u - 14. Sort -4, 5, u, -1.
-4, u, -1, 5
Let x(w) = w - 14. Let p be x(6). Let a = -6 - p. Let v = -0.006 + -0.994. Sort a, v, -3.
-3, v, a
Let q be (-152)/(-38) + (-92)/18*1. Put -0.2, -3, q, -2/3 in descending order.
-0.2, -2/3, q, -3
Let f(k) = 4*k**2 + 253*k + 65. Let s be f(-63). Put -3, 22, 3/2, s in ascending order.
-3, 3/2, s, 22
Let v = -101 - -91. Let k be (-2 - -1)/((-3)/(-9)). Sort k, -5, v.
v, -5, k
Let r = 0.3 + -1.3. Let b be 3*(-7)/28*(3 - 1). Suppose -5*n + 12 = 2*k, -3*n + 4*k + 24 = -n. Put b, n, r in ascending order.
b, r, n
Let w(z) = -z**3 - 29*z**2 - 154*z + 14. Let c be w(-22). Put c, 2, 0, 1 in decreasing order.
c, 2, 1, 0
Let t(c) = c - 3. Let f be t(5). Let o(u) = -u**2 - 2*u + 8. Let z be o(-2). Suppose 0 = -5*v + 4*h + 15, 4 = 3*v - 3*h - z. Sort f, 3, v.
v, f, 3
Let j = 0.35 - 0.23. Let x = j - -2.88. Let y = -0.37 + -0.03. Put x, -2, y in descending order.
x, y, -2
Let z = -0.64 - -0.04. Let u = 2.6 + z. Let b = 679.4 + -679. Put u, -1, b in descending order.
u, b, -1
Let m(n) = -n**2 + 6*n + 8. Let v be m(6). Let r be (-2)/v - ((-125)/340 - 0). Sort 5, r, -0.2 in increasing order.
-0.2, r, 5
Let p be (-198)/(-54)*(-2 + -1). Suppose -5*m = 3*n - 18, 4*n + 9 - 13 = 0. Sort 5, p, m, -5 in decreasing order.
5, m, -5, p
Suppose 40*i - 45 = 25*i. Sort 1/5, -125, i, 1/6 in descending order.
i, 1/5, 1/6, -125
Let d = 124 + -121. Suppose -d = 7*n - 10. Sort 0, n, -1.
-1, 0, n
Let g(f) = 3*f**2 + 23*f + 15. Let o be g(-7). Sort -1, -3, -5, o.
-5, -3, -1, o
Let h = -2 + 4. Suppose 2*k - 8 = -2*y, -5*k + 12 + 7 = 4*y. Put h, 5, y in decreasing order.
5, h, y
Let k(d) = -3*d - 8 + 3 - 5. Let n be k(-4). Sort n, -5, -3 in descending order.
n, -3, -5
Let y = -137.8 + 124. Let g = 398 + -384. Let l = y + g. Sort l, 0.4, -0.2.
-0.2, l, 0.4
Let h be ((4 + 113)/13)/(-3). Suppose -3*k = -1 - 2. Sort k, h, 5 in increasing order.
h, k, 5
Let c = -426.9 - -427. Put c, 0.06, 0.5, -0.2 in increasing order.
-0.2, 0.06, c, 0.5
Let p = -260 + 259. Put 4, -0.3, p, -14 in decreasing order.
4, -0.3, p, -14
Let t = -69559 - -488372/7. Let l = -207 + t. Let g = -12/7 + l. Sort g, 3, 0.1 in ascending order.
g, 0.1, 3
Let j = -12.76 - -13. Let q = j + -0.04. Let g = -1 + 0.7. Put q, g, 5 in descending order.
5, q, g
Let b(p) = -4*p**3 - 2*p**2 + 27*p - 26. Let c be b(1). Put 0, -2, c, 11 in increasing order.
c, -2, 0, 11
Let g = 645 + -640. Sort -0.2, -2/721, g.
-0.2, -2/721, g
Let c(l) = -l - 5. Let m(f) = -f - 6. Let s(d) = 5*c(d) - 6*m(d). Let v be s(-6). Suppose -8*r - 40 = -0. Sort v, 3, r.
r, 3, v
Let n = 274 - 272. Put -1, n, 3 in increasing order.
-1, n, 3
Let a(m) = -m**3 - 7*m**2 + 5*m - 23. Let j be a(-8). Let z = -2 - -4. Suppose 0 = o - 4*v + 15, 3*v = -3*o - z*v + 6. Put o, j, -4 in descending order.
j, o, -4
Let r(k) = k**3 + 3*k**2 - 12*k - 3. Let p be r(-5). Suppose -p = 3*n - 1. Let u = 2 + -1. Sort u, n, 6 in ascending order.
n, u, 6
Let y = 263 + -551/2. Let q = y + 177/14. Sort 0.4, -1/3, q.
-1/3, q, 0.4
Let y = -5.13 - -0.13. Let b = 5 + y. Let g(a) = -2*a - 1. Let s be g(0). Put 3, s, b in increasing order.
s, b, 3
Let n = 0.42 - -4.58. Sort n, 2/7, 0.4, -2/13 in decreasing order.
n, 0.4, 2/7, -2/13
Suppose -d = h - 0*h + 12, 0 = 5*d - h + 42. Let k be (57/d + 3)*3. Put k, -3, 0, -1 in increasing order.
k, -3, -1, 0
Let u be (2 - 5)*14/21. Let q = 181 + -188. Put q, u, 