 = 47.11 + -47. Put 3, 3/2, f in descending order.
3, 3/2, f
Let j be -10 - (-5 + 70/(-7)). Sort 4, 27, j, 1.
1, 4, j, 27
Let d = 2 + 2. Let m = -9434 + 9429. Sort d, m, -1 in descending order.
d, -1, m
Let u = -0.007 + -0.008. Let k = u - -0.085. Put -2/3, k, 4, -1/7 in descending order.
4, k, -1/7, -2/3
Let h = 80 - 76. Sort h, 16/3, 5/4, -3 in descending order.
16/3, h, 5/4, -3
Suppose 5*w + 2*l - 14 = 4*l, 5*w - 8 = 4*l. Let o = -3 - -4. Suppose -5*z + z - 8 = 0. Put o, z, w in descending order.
w, o, z
Let m = -1741 - -12189/7. Sort 0, m, -0.1, -1/4 in decreasing order.
m, 0, -0.1, -1/4
Let i = 8.05 - 8. Let u = i - -5.95. Let q = -12 + u. Sort -1/6, q, 0.5 in decreasing order.
0.5, -1/6, q
Let f be (-7)/(-35) - 8/(-10). Suppose 7 = 14*a - 13*a. Sort f, a, -1.
-1, f, a
Let m = 2.9 - 3. Let d = 4.6 - 2.5. Let c = -1.6 + d. Put c, m, 0 in decreasing order.
c, 0, m
Suppose 4*g + 0*v - 3*v = 3, 5*g - 12 = v. Suppose -g*h + h = -4. Suppose d - 6*z + 2*z = -23, 3*d - 16 = -5*z. Sort 4, h, d.
d, h, 4
Let f = -2112 - -2117. Let r = 2.95 - -0.05. Sort f, r, -0.3.
-0.3, r, f
Let f be ((-28)/(-70))/((-18)/(-10) - 2). Let w(i) = -3*i - 1. Let q be w(-3). Sort f, 5, q in decreasing order.
q, 5, f
Let a = -0.2 + -0.2. Let j = -1.6 - a. Let p = 0.2 + j. Put 1/3, p, 3 in increasing order.
p, 1/3, 3
Let l(p) = -p**2 - 3*p - 1. Let i be l(-3). Let v = -35 - -39. Sort -5, i, v in ascending order.
-5, i, v
Suppose 12*k - 60 = 7*k. Suppose -6 - 18 = -k*r. Sort r, 0, -2, 1 in decreasing order.
r, 1, 0, -2
Suppose -4*w = c - 11, 0*c = 3*c + 15. Let n(a) = a**2 - 3*a - 4. Let g be n(w). Let o be g/(((-6)/1)/(-3)). Put -2, o, -1 in decreasing order.
o, -1, -2
Let z = -4/257 - 241/1028. Sort z, -5, 0.6 in decreasing order.
0.6, z, -5
Suppose i + 5 = 0, -4*i = 11*d - 7*d + 680. Put -0.3, 4, d in ascending order.
d, -0.3, 4
Let y = 156 - 156.1. Sort y, -6/35, -0.5 in ascending order.
-0.5, -6/35, y
Let v be (-2 - 0)/(-2) + 34. Suppose 4*u - 3*b + v = 0, -3*b - 7 = 4*u - 2. Let s be -3*5/15*u. Put -0.1, s, -6 in ascending order.
-6, -0.1, s
Let m be ((-1)/(-2))/((-427)/244). Put m, 3, -13.5, 0.1 in increasing order.
-13.5, m, 0.1, 3
Let i = -0.3 + 0.5. Let q = 0.76 + -0.2. Let n = q + -13.56. Put 4, i, n in decreasing order.
4, i, n
Let v(u) be the first derivative of -5*u**2/2 - 39*u - 29. Let n be v(-8). Sort 1/3, -0.4, n, -5 in descending order.
n, 1/3, -0.4, -5
Let a be (1/(-14))/(9/108). Let y be (-1)/1 - (-8)/2. Let r = -8 - -9. Put y, r, a in descending order.
y, r, a
Let v = 53 + -61. Let i = -1.04 - 20.46. Let n = i - -22. Put v, -5, n in increasing order.
v, -5, n
Let u = -8207/9 - -912. Put u, 4/7, 52/7 in descending order.
52/7, 4/7, u
Suppose 0 = 2*m - 4*w - 13 + 57, 0 = 2*m - 3*w + 42. Let c(u) = -2*u**2 + 37*u - 68. Let b be c(2). Sort 1, b, m in increasing order.
m, b, 1
Suppose -5*y - 85 = -4*x - x, -5*y + 2*x - 70 = 0. Let g be 2/y + 207/(-54). Let a(n) = 2*n + 7. Let w be a(g). Sort w, 5, -2.
-2, w, 5
Suppose -16 = -3*j - 1. Suppose -2*u = -c - 6*u + 1, 0 = 4*c + j*u - 15. Suppose -9 = -c*y + 1. Sort 3, y, 7 in descending order.
7, 3, y
Let m = 2418.2 - 2418. Sort m, -1, 28, 0.4.
-1, m, 0.4, 28
Suppose 38 - 20 = 2*q. Suppose -q = -2*x - x. Suppose -1 = -0*s - s + a, x*s = a + 3. Put -14, s, 0.3 in increasing order.
-14, 0.3, s
Let q be 4*1 + -4 + 3. Let c = -360 + 355. Sort 20, c, q in ascending order.
c, q, 20
Suppose -9*d + 5*d - 5*h + 4 = 0, -4*h = 5*d + 4. Sort -3, 14, d in increasing order.
d, -3, 14
Let v be (-5114)/(-1628) - (-3)/(-1). Let z = v + 3/74. Put z, -2, 5, -2/21 in descending order.
5, z, -2/21, -2
Let v = 723 + -722. Sort 13, v, -4 in decreasing order.
13, v, -4
Let j(x) = 2*x**3 + x**2 - x + 7. Let a be j(6). Let h = a + -883/2. Let g = h + -26. Put g, -2, 0.4 in descending order.
g, 0.4, -2
Let u(d) = -d**3 + 14*d**2 + 15*d - 17. Let n be u(15). Let m = n + 16. Sort m, 5, -3 in decreasing order.
5, m, -3
Let l = -1.9 - 0.1. Let o = -26063/9 + 2896. Put -0.04, -3, l, o in decreasing order.
o, -0.04, l, -3
Let r be ((-16)/(-28))/(4/14). Let b = -2 + 3. Let z = -41 + 44. Put r, z, b in decreasing order.
z, r, b
Suppose -44 = 12*w + 16. Suppose u + u = g + 1, 3 = -3*g - 3*u. Sort -4, w, g, 3 in descending order.
3, g, -4, w
Let h be 24 + 0 + -23 + 1/1. Sort -4, -50, h in decreasing order.
h, -4, -50
Let x = -17 - -17. Suppose 10 = 5*z, 0*n + 2*z - 25 = -3*n. Put 5, n, x in decreasing order.
n, 5, x
Let l = 3 + -6. Let p = -24.129 - -26.129. Put p, l, 3 in descending order.
3, p, l
Let y be 1/(-4) + 26/8. Suppose -y*p + 3 = -4*p. Suppose -m = -4*j - 24, -j - 31 = -5*m - 6. Put j, -1, p in decreasing order.
-1, p, j
Suppose 4*w + 2 = 6. Suppose 5*y = w + 4. Let c = -1 + -2. Sort c, -5, y in decreasing order.
y, c, -5
Suppose 97 - 57 = -8*z. Let c = -14 - -7. Put c, -3, z, 3 in decreasing order.
3, -3, z, c
Let s = 130 - 119. Put -0.2, s, -0.4, -2/7 in descending order.
s, -0.2, -2/7, -0.4
Suppose o - 1 = -18. Let q = o - -14. Suppose -1 + 6 = 5*t. Sort -5, t, q.
-5, q, t
Let m = 0.04911 - -4.92489. Let s = m - -0.026. Let a = -4 - -3.6. Sort a, s, -2/3 in increasing order.
-2/3, a, s
Suppose 4*n = 3*w - 7, -172*w = -167*w - n + 11. Put 7, w, 5, 4 in decreasing order.
7, 5, 4, w
Let b = -2.9 + 0.9. Suppose 3*r - 5 = 7. Suppose y - 2*y = -r. Put y, 0, b in increasing order.
b, 0, y
Suppose -3 - 2 = -5*u. Let d be u/(-2 + (-27)/(-12)). Sort -3, d, 9.
-3, d, 9
Let r(v) = -v**3 - 4*v**2 + v + 6. Let c be r(-4). Suppose 0 = -2*t + c*x + 4, 2*x - 3 = 5*t - 16. Let p = t + -3. Sort -2, p, -5.
-5, -2, p
Suppose 3*d - 5*d = 94. Let q = d - -43. Sort -3, 1/5, q in descending order.
1/5, -3, q
Suppose -5*t + 3*u - 16 = -17, 0 = -2*t + 5*u - 11. Let x(l) = l**3 - 2*l**2 - 4*l - 1. Let q be x(4). Suppose 0 = 2*k + k - q. Sort 3, k, t in ascending order.
t, 3, k
Let w = 2 + -1.5. Suppose 0 = 2*o + o + 15. Let s be o/30 + 38/(-60). Put w, 4, s in decreasing order.
4, w, s
Suppose 3*f - 8*f + 2*p + 19 = 0, 0 = -4*f - 5*p + 35. Put 63, 2/7, f in increasing order.
2/7, f, 63
Suppose -2*t + 10 = 4. Suppose -3*o + 18 = t. Suppose -12 = -10*d - 22. Put o, 2, d in increasing order.
d, 2, o
Let s = -1 + 4. Let k(b) = 2*b**2 - 4*b - 4. Suppose -2 = -2*c - 0*c + 4*n, -5*n = -5. Let d be k(c). Put s, d, 0 in ascending order.
0, d, s
Let r = 2624 - 2629. Put 16, 0, r, 11 in ascending order.
r, 0, 11, 16
Let r = 2627 - 2630. Sort -143, r, -7 in descending order.
r, -7, -143
Let c = -7.5 + 7. Suppose 5*k = -4*i + 9, -2*k + 26 = -4*i - 0*i. Sort -3, c, 3/7, i in descending order.
3/7, c, -3, i
Suppose 0 = z - 2 + 6. Suppose 37*g - 41*g = -12. Suppose q + 3*a = -g*q + 12, 5*q = 5*a + 15. Sort 1, z, q.
z, 1, q
Let v = 103.04 - 103. Put 1, 4/7, v in descending order.
1, 4/7, v
Suppose -u - 10 = 3*v + 2*v, 0 = u - 2*v - 4. Let z be 4/22 - (-462)/121. Suppose -2*r = -0*r + f - 5, z*f + 32 = 5*r. Put -2, u, r in descending order.
r, u, -2
Let c = -101/148 - -16/37. Put -17/4, 5, -0.3, c in decreasing order.
5, c, -0.3, -17/4
Let n = 51.5 + -51.1. Put n, 0.27, -1 in ascending order.
-1, 0.27, n
Suppose 3*n = i - 13, -5*i + 2*n - 7*n = -45. Let z be ((-3)/(-15))/(2/i). Suppose 16 = -8*p - 0. Sort p, z, 3.
p, z, 3
Suppose -18 = 41*i - 47*i. Put -1, 28, i, 6 in ascending order.
-1, i, 6, 28
Let t be 2/(-8) - 30/8. Let b = 43 + -38. Sort 0, b, t, -5.
-5, t, 0, b
Let m = -317.338 + 317. Let l = m - -0.038. Put l, -1, -7 in descending order.
l, -1, -7
Suppose s + 0 = -1. Let t be (12/(-8))/(3 - s). Let q = -4.48 - -4.46. Put t, 1, q in descending order.
1, q, t
Suppose -22*w + 125 = -7. Put -12, 3, w in ascending order.
-12, 3, w
Let m be -11 + (-352)/(-33) - 14/3. Put 0.1, m, -0.3, -1 in increasing order.
m, -1, -0.3, 0.1
Let s = -47 - -46. Let a = -2.1 + 2.1. Put a, s, -9, 1/2 in decreasing order.
1/2, a, s, -9
Let m = -34 + 44. Let j = 10 - m. Put j, -4, 1/11, -5 in decreasing order.
1/11, j, -4, -5
Let q be 1200/(-84) + 2 - (-2)/7. Let m(j) = j**3 - 7*j**2 + 4*j + 8. Let t be m(6). Put 1, t, q in descending order.
1, t, q
Suppose 0 = 13*z - 8*z - 30. Suppose c - z = 31. Let g = c - 34. Sort g, 2/3, 2.
2/3, 2, g
Suppose -6*s = 46 - 64. Sort s, -5, 27.
-5, s, 27
Let r = -0.0173 + 0.5173. Put -4, -2/13, r, 1/5 in descending order.
r, 1/5, -2/13, -4
Let v(a) = -a**2 + 22*