order.
b, 1, s
Let i be ((-1855)/(-70))/((-2)/4). Sort -5, i, 2 in descending order.
2, -5, i
Let u = -24/115 + 1/115. Put u, -0.02, 0 in decreasing order.
0, -0.02, u
Let m = -15 + 15.012. Let h = 0.012 - m. Sort -2, 0.01, h in decreasing order.
0.01, h, -2
Let n = -611/10 - -323/5. Sort -2, n, 0.4, 5 in decreasing order.
5, n, 0.4, -2
Suppose 8*y = -180 - 12. Put -5, y, 0, -3 in increasing order.
y, -5, -3, 0
Let p = -12 - 3. Let s = p + 15.2. Let v = 61/9 - 7. Sort s, v, -0.02 in ascending order.
v, -0.02, s
Suppose -2*k = -67 - 255. Let u = -113 + k. Suppose -4*t + u = -9*j + 4*j, 3*t + 4*j = 5. Sort t, 5, -1.
-1, 5, t
Suppose -2*y + y = -6. Let g = 4916 + -4917. Sort g, 2, y, -3 in ascending order.
-3, g, 2, y
Let s be (-6)/4*2 - -7. Suppose 0 = -5*l + 5*x + 15, 2*l = -5*x - 0 + 6. Put -3, l, s in increasing order.
-3, l, s
Suppose 0 = 2*l - 5 - 1. Let f be -47*(-5)/60 - (-2)/24. Sort l, -4, 5, f.
-4, l, f, 5
Let b be 4/(12/15 - (-4)/20). Sort 5, b, 9, -3.
-3, b, 5, 9
Let d = -0.41 - -0.01. Suppose -n - 3*y = -18, 2*y + 90 = 3*n - y. Let r = 21 - n. Sort -0.1, d, r.
r, d, -0.1
Let a = -4 - -2. Suppose 3*c + 21 = 3*l, -c = 2*c + l + 5. Sort 3, 5, a, c.
c, a, 3, 5
Let w(z) = 39*z**3 - 4*z + 2. Let d be w(1). Let v = d + -33. Sort v, -1.8, -2.
-2, -1.8, v
Let y(d) = d**2 + 2*d - 22. Let m be y(-6). Let w = -35 - -53. Let t be (-15)/10*4/w. Sort t, m, 0.5.
t, 0.5, m
Let f = -122 + 151.4. Let c = f - 29. Sort 1/2, -0.2, c, 1.
-0.2, c, 1/2, 1
Let t = 131 + -131.3. Let p be -1 + -1*(-1)/(-3). Let x be (4 + 1 - 5) + (4 - 1). Sort t, x, p in ascending order.
p, t, x
Let z = 11.9 + -11. Let r = 0 + z. Let g be ((2 + (-9)/4)*-14)/((-63)/(-36)). Sort g, r, -3.
-3, r, g
Let u = -1 - -2. Let d(h) = -h - 48. Let a be d(-18). Put 5, a, u in decreasing order.
5, u, a
Let o = 8 - -75. Let c = -86 + o. Let k = 12 + -8. Sort k, c, 1/6.
c, 1/6, k
Let d be (-22 - -26)/(3 - 4). Sort 2, 0, 3, d in decreasing order.
3, 2, 0, d
Let u = 10 + -32. Let b = u + 18. Let d = -4.91 + -0.09. Sort d, 2, b in increasing order.
d, b, 2
Let z be (3 + -8 + 3)*(-1 + 0). Suppose -5*p + 8*p = -4*j + 11, 0 = -p - z*j + 5. Let o = 3 + 1. Put o, p, 0 in descending order.
o, p, 0
Let g(c) = c**2 - 4*c - 3. Let q be g(5). Sort -5, -9, q, -3 in increasing order.
-9, -5, -3, q
Let n = 43.007 - 0.007. Let c = n + -46. Let p = 1.6 + 4.4. Put 1, p, c in decreasing order.
p, 1, c
Let a(z) = -z**3 + 6*z**2 - 5*z + 1. Let x be a(5). Let j be (-6)/6*x*-3. Suppose -o = s, -11 = -j*o + 4*s + 3. Put -1, o, -3 in increasing order.
-3, -1, o
Suppose 5 = -3*w + 11. Let i(p) = 14*p - 26. Let o be i(w). Sort 16, o, 4 in decreasing order.
16, 4, o
Suppose 5*i = -3 + 18. Let y = i + -27. Let p be 4/6 - 80/y. Put 0, 2, p in decreasing order.
p, 2, 0
Let k(c) = c + 1. Let j(o) = -2*o + 9. Let h(g) = 2*j(g) + 2*k(g). Let t be h(7). Suppose -m + t = 3. Put m, 4, 2 in decreasing order.
4, m, 2
Let c be (3 - 2)/(2/6). Suppose 2*x = c*x - 1. Suppose 5*y - 45 = -4*y. Put -4, x, y in increasing order.
-4, x, y
Suppose 0 = 2*d + 2, -x + d = 5*d. Suppose -i + x = -1. Sort 4, i, -5, 3.
-5, 3, 4, i
Suppose 4*c = 4*f + 4, -c - 3 = 4*f - f. Let g be (-50)/14 + f + 4/7. Let z = -4 - -9. Sort z, g, -1/2 in descending order.
z, -1/2, g
Suppose -8 = m - 11. Suppose 3*t + 356 = -t. Let b be t/(-13) + (-8)/(-52). Sort b, -4, m in descending order.
b, m, -4
Let h = 41 - 39.3. Let w = h + -3.7. Let o = 0.3 + -1.3. Put -0.1, w, o in decreasing order.
-0.1, o, w
Let u = 69.6 + -70.6. Sort -4.6, 3, u in increasing order.
-4.6, u, 3
Suppose -6 = c - 2*m - 2, 5*c + m + 20 = 0. Sort c, 5, 4 in increasing order.
c, 4, 5
Let v = 4 - 5. Suppose -s + 27 = -2*a, -2*a = -5*s + 30 + 9. Let y be (8/(-6))/(104/a). Sort -2/3, y, v in decreasing order.
y, -2/3, v
Suppose 8*v = -18*v. Sort 17, -5, v in ascending order.
-5, v, 17
Suppose 10 = -4*b + 3*g, b = -31*g + 27*g - 12. Sort b, 5, 20 in increasing order.
b, 5, 20
Let r be (15 - (-190)/(-10))/((-4)/(-6)). Sort -0.4, 1, r in decreasing order.
1, -0.4, r
Let w(y) = -y**3 + 3*y**2 - 2*y + 2. Let d be w(2). Let l be ((-314)/12)/((-5)/(-10)). Let k = l + 53. Sort d, -1/3, k in descending order.
d, k, -1/3
Let p = 242/5 + -48. Let u = 1508 + -1503. Put u, -0.2, -2, p in decreasing order.
u, p, -0.2, -2
Let o(q) = -8*q**3 + q**2 + q - 1. Let g be o(1). Sort -3, 7, g, 0 in decreasing order.
7, 0, -3, g
Suppose 1 = 6*y + 7. Let d be -2 + 10/(-6)*-3. Put -2, d, y in ascending order.
-2, y, d
Let h = 8 + -12. Let r = 2361 - 2361.3. Let w = 0.4 + 1.6. Put w, r, h in increasing order.
h, r, w
Suppose 117 - 72 = 9*r. Put 0.4, -11, 0.5, r in ascending order.
-11, 0.4, 0.5, r
Let j be ((-2)/3)/(4/(-30)). Let t(f) = -f**2 - 2*f. Let a be t(0). Suppose a = 3*o - 11 + 2. Sort j, 0, o in descending order.
j, o, 0
Let r = -1 + 1.2. Let y = -0.1 + r. Let x = 4.0026 + -0.0026. Sort y, -5/6, x in decreasing order.
x, y, -5/6
Suppose 1515*j - 100 = 1535*j. Let p(x) = x**2 + 5*x - 2. Let d be p(-6). Suppose -4*z + d*s = 4, z + 2*s = 6*s + 2. Put z, j, 0 in descending order.
0, z, j
Suppose 11 = 27*l - 151. Sort l, 2, 0 in decreasing order.
l, 2, 0
Let r(o) = o**2 - 14*o - 25. Let i be r(15). Let j = i + 9. Sort 3, -4, 5, j.
-4, j, 3, 5
Let g = 82/27 + -355/108. Put 0.1, 1, g, -102 in descending order.
1, 0.1, g, -102
Let x(c) = -c + 1. Let r be x(6). Let b(k) = -11*k - 41*k - 25 + 3 + 15*k + 3*k**2. Let h be b(13). Sort r, h, 0 in descending order.
h, 0, r
Let v = -0.5 + 0. Let n(h) = 10*h**3 + 2*h + 1. Let w be n(-1). Let b = 6 + w. Put b, v, -7 in ascending order.
-7, b, v
Let j = 0.0426 + 0.4574. Let v be (-5 - -2)*2/3. Put j, -4, -2/13, v in descending order.
j, -2/13, v, -4
Let d(t) = -t + 39. Let f be d(22). Suppose -24 = 5*r - 3*n, 4*n - 4 - f = 3*r. Put 2/7, -1, r in ascending order.
r, -1, 2/7
Let l be (-13)/(-3) + (-2)/(-3). Suppose -2*i = 5*h - 149, -5*i + 0*i + 4*h + 323 = 0. Let y = i + -64. Sort 1, l, y in decreasing order.
l, y, 1
Let m = 3.8 + -6.8. Let f = m - -4. Put f, -7, 4 in ascending order.
-7, f, 4
Let x(y) = -y**3 - 5*y**2 + 4*y + 16. Let l be x(-5). Sort 5, l, -5, -8.
-8, -5, l, 5
Let c be ((-4)/(-10))/((-8)/(-20)). Let i be 3 + c + 4 + -3. Let n(t) = t - 6. Let x be n(i). Put x, 2, 5 in ascending order.
x, 2, 5
Suppose 4 = -v + 1. Let a(p) = -p**2 - 3*p - 7. Let m be a(-3). Let f(g) = -g**2 - 15*g - 19. Let x be f(-14). Sort v, m, x in decreasing order.
v, x, m
Let k = -11.3 + 12. Let l = 31.4 + k. Let j = l - 32. Sort -2, j, -13.
-13, -2, j
Let t be 2 + 0 + -2 - (-72)/(-1044). Put -0.4, t, 3 in ascending order.
-0.4, t, 3
Let q be (-88)/(-20) - (-12)/20. Suppose q + 0 = -g. Sort g, 2, -4 in descending order.
2, -4, g
Suppose -4*p + o + 5 = -11, 4*o + 31 = 5*p. Let m be 14/(-14) + p/((-6)/(-32)). Sort 1, 2, m in ascending order.
1, 2, m
Let t = -616 + 620. Put t, 0.5, 2/3, -5 in decreasing order.
t, 2/3, 0.5, -5
Let p(n) = -n**3 - 8*n**2 + 6*n + 3. Let m be p(-9). Let i = m + -32. Sort -3, 2, i in decreasing order.
2, i, -3
Let u be ((-5)/(-20))/(4/48). Sort 4, u, -2 in descending order.
4, u, -2
Let u = -1 - -5. Suppose -z + 6*z = -u*t + 18, z = t. Suppose 1 = -t*b - 3. Sort 5, 1, b in decreasing order.
5, 1, b
Let l = 117 + -112. Put -4, -1, 3, l in descending order.
l, 3, -1, -4
Let w = -0.256 - -0.656. Sort w, -0.3, 2, 1.
-0.3, w, 1, 2
Let z = 4.16 - 9.16. Put 9, -0.2, 1/5, z in descending order.
9, 1/5, -0.2, z
Let j be 18/(-4)*(-4 - (-42)/9). Suppose 3*u = 4*u. Sort 3, j, u, 1 in increasing order.
j, u, 1, 3
Let s = 105 + -99. Let w be (1 + s + -6)*0/(-1). Sort w, 4, -2.
-2, w, 4
Suppose -12*z + 11*z + 3 = -4*o, z + 7 = -o. Suppose u - 3 = -5*a, -5*a = -0*u - 4*u + 12. Put z, 2, a in descending order.
2, a, z
Let d = -11 + 18. Suppose 1 - d = -2*f. Sort 4, f, -1 in ascending order.
-1, f, 4
Let q(d) = d**3 + 5*d**2 + 2*d + 2. Let a be q(-4). Suppose 0 = -a*x - 30 - 10. Sort -5, -3, x, -9 in decreasing order.
-3, x, -5, -9
Let w = -2 - -2.04. Let r = -1.14 + 0.8. Let x = r + w. Sort -4/7, -2, x in descending order.
x, -4/7, -2
Let f = 0.14 - 10.14. Let h = -3.7 + 4. Put -1, h, f in descending order.
h, -1, f
Suppose -1715*x + 91 = -1722*x. Put -11, -3, x in descending order.
-3, -11, x
Let w(z) = 2*z**3 + 14*z**2 + 8*z - 3. Let f be w(-6). Let b be (-3)/(-12) - 9/4. Put -5, f, 