= -65/14 + 9/2. Sort h, i, t.
t, h, i
Let v = 31 + -35. Let a = -318.6 + 319. Sort 1/16, v, a in descending order.
a, 1/16, v
Let k(t) = t**2 + 60*t + 944. Let w be k(-44). Put 2, 0, w in descending order.
w, 2, 0
Suppose 3121*j - 2*c + 14 = 3120*j, 5*c = 3*j + 35. Let g be ((-4)/(-5))/((-4)/(-10)). Let y = 5 + -10. Put y, -1, g, j in increasing order.
y, -1, j, g
Let g be 7*6*(-185)/74. Let k be (-80)/g + (-5)/15. Put k, 1.3, -2/11, 1/3 in decreasing order.
1.3, k, 1/3, -2/11
Let y(x) = 24*x - 35 - 21*x + 114. Let l be y(-27). Let g = -30 + 23. Sort 2, g, l in decreasing order.
2, l, g
Let r = 14/17 + -166/119. Let o(f) = -f**2 - 5*f - 2. Let k be o(-16). Let c = 1248/7 + k. Sort 1/6, r, c, 3 in ascending order.
r, 1/6, c, 3
Let s = 2084 + -2079. Put s, 62, -4, -5, -2 in descending order.
62, s, -2, -4, -5
Let c = -1972 + 1967. Sort c, 1023, -11.
-11, c, 1023
Let s be 22/(-55) + 96/(-10) - (37 + -44). Sort s, -17, -1, 5, 4 in descending order.
5, 4, -1, s, -17
Let c be 5 + (-306)/(-16) + 4/(-32). Suppose 0 = -9*w - c + 6. Sort -1, w, 14 in ascending order.
w, -1, 14
Let h = 1870 - 2185. Sort -5, 0, h in increasing order.
h, -5, 0
Let r(v) = -4*v**2 + 61*v + 110. Let o be r(17). Sort -6, 4, -4, -1, o in ascending order.
o, -6, -4, -1, 4
Let k = 16150.92 - 16151. Put k, 1/3, -5, 162, -2/5 in decreasing order.
162, 1/3, k, -2/5, -5
Let f = 4698 - 4698.4007. Let r = 0.0007 + f. Put r, 2/9, 13 in ascending order.
r, 2/9, 13
Let c = 2.837 + -2.837. Sort -10/11, -23, c in decreasing order.
c, -10/11, -23
Suppose 0 = -2*k - 4, 6*y - 2*y = 5*k - 10. Suppose -9*l = -11 - 7. Suppose -3*z = -2*u - 62, 5*z - l*u - 80 = z. Sort -4, z, y in decreasing order.
z, -4, y
Let h = -216 + 462. Let k = h + -234. Sort -5, -3, -2, k in decreasing order.
k, -2, -3, -5
Let b(h) = 7*h - 141. Let v be b(15). Let a(s) = -2*s**2 - 75*s - 109. Let y be a(v). Put -175, 5, y in decreasing order.
5, y, -175
Let y = 513 + 1203. Let q be (1 + -4)*(-10 - y/(-171)). Let i = 1 - 0.5. Sort i, q, 2 in decreasing order.
2, i, q
Suppose -9 = -3*i - 21. Suppose 3*p + c - 12 = 3*c, -5*p + 7 = c. Suppose -5*y + p*y - 3 = 0. Sort i, 1, y in ascending order.
i, y, 1
Let i(q) = -3*q**3 + q + 6. Suppose 16 = 28*w - 40. Let b be i(w). Sort b, -5, -2 in increasing order.
b, -5, -2
Suppose 23*r + 25*r = 44*r + 3584. Put r, -2, 3 in decreasing order.
r, 3, -2
Let b = 5012/3 - 25054/15. Sort b, 4, 0.16, -1/6, -3/8 in increasing order.
-3/8, -1/6, 0.16, b, 4
Suppose 22 = -18*g + 29*g. Suppose 19*v = -t + 14*v + 3, g*t + 1 = -3*v. Let h be (-2 + 2 - 1) + 4. Put 1, -5, t, h in increasing order.
-5, t, 1, h
Suppose 9 = q + n, 0*n = -5*q + 5*n + 55. Suppose t = -a + q, -3*t = -2*a - 4 - 1. Put a, -1/10, -2/29 in decreasing order.
a, -2/29, -1/10
Let h = -12753.117 + 12891.2. Let r = 138 - h. Let j = 0.217 - r. Sort -2/7, -28, j in decreasing order.
j, -2/7, -28
Let m(r) = 16*r**2 - 5*r + 6. Let n be m(3). Let s = n - 23. Let o = -111 + s. Put o, 2, 4, -3 in decreasing order.
4, 2, o, -3
Let i = -6701 - -6699.4. Put 0.5, i, 0.1, 5 in ascending order.
i, 0.1, 0.5, 5
Let i(f) = 8*f - 16. Let m be i(5). Suppose -2*q - 14 = m. Let k = -17 - q. Put k, 3, -1 in increasing order.
-1, k, 3
Suppose -43*z - 2483 - 11 = 0. Sort -0.06, 0.2, -2/9, -6, z in decreasing order.
0.2, -0.06, -2/9, -6, z
Let f be ((-3)/18)/((-1424)/76896). Let w(y) = y. Let x be ((-2)/6)/((-1)/6). Let v be w(x). Sort v, f, 1.
1, v, f
Let z = 3975 - 3972. Sort z, 6, 5, 8 in ascending order.
z, 5, 6, 8
Let i be (-2 + 3)*18/(5 + 1). Let f(c) = 2*c**2 + 24*c + 21. Let t be f(-11). Sort 2, i, t in ascending order.
t, 2, i
Let h(z) be the first derivative of z**2/2 - 3*z - 10. Let v be h(6). Put v, 1, -93 in increasing order.
-93, 1, v
Let f be (2*(-3)/3)/11. Let c = 24009 + -24013. Let i be 2*((-1)/2 + 0). Put c, i, -0.2, f in increasing order.
c, i, -0.2, f
Let m(r) = -727*r + 725. Let s be m(1). Put -2/9, -5, -181, s in decreasing order.
-2/9, s, -5, -181
Let f be (58/9 - 7)*3/10. Put f, -3.06, 4 in ascending order.
-3.06, f, 4
Suppose 5*v - 325 = -a, -2*a + 145 = 2*v + 15. Sort 2, -3, v, -5 in decreasing order.
v, 2, -3, -5
Let w = 6 + -10. Let q(r) = -r**3 - 2*r**2 - 1. Let n be q(-2). Let y(i) = i**3 - 3*i**2 - 4*i - 2. Let a be y(n). Sort -5, w, a in decreasing order.
a, w, -5
Let b = -0.5742 + 0.3742. Sort -122/15, b, -1/6 in increasing order.
-122/15, b, -1/6
Let f = -56 + 61. Suppose f*a - 210 = -a. Suppose 2*z = 9*z + a. Put -9, 4, z, 1 in descending order.
4, 1, z, -9
Let b = -15970 - -15970.5. Put -3, b, -179, 1 in descending order.
1, b, -3, -179
Let s = -98 - -97.22. Let q = -0.38 - s. Let r be (-3)/4 + (0 - 0). Sort 5, r, 2, q.
r, q, 2, 5
Suppose 10*r - 68 = -97 - 161. Sort 4, 1/10, r, 1/4 in ascending order.
r, 1/10, 1/4, 4
Let p = 24534.5 + -24534. Sort -11, 1, p, 10 in ascending order.
-11, p, 1, 10
Let g be -4 - (-12 - (3 + -4 - (0 + 3))). Sort -5, -3, g, -4, -648 in ascending order.
-648, -5, -4, -3, g
Suppose -3*p - 9 = 0, -4*k = -2*p + 10 - 20. Let l be -5 - -2*2/4. Let o = l - 0. Sort o, 38, k in descending order.
38, k, o
Let j(c) = -c**3 + 81*c**2 - 86*c + 471. Let q be j(80). Let o be (-24)/28 - 3/21. Sort 1, q, o.
q, o, 1
Suppose 0 = 30*x - 18*x - 144. Suppose -u - x = 2*u. Put -1, u, 1, 5 in decreasing order.
5, 1, -1, u
Let w = 11303 + -11302.5. Put -0.5, -1, w, -5, -0.4 in descending order.
w, -0.4, -0.5, -1, -5
Let u = -20.2 + 17.5. Let o = 6.7 + u. Suppose 0 = 5*i - 2*i - 3, -4*c - 2*i = 2. Sort c, -3, o in decreasing order.
o, c, -3
Let b be 27/(9/(-837)*-3). Let t = -839 + b. Put t, -25, 2 in descending order.
2, t, -25
Suppose -z = 2*n + n, 0 = -2*n + 3*z. Let v = 40663 + -40659. Sort 3, v, n, 35 in descending order.
35, v, 3, n
Let n = -4024 - -4023. Put -0.4, -2, n, -11/27 in ascending order.
-2, n, -11/27, -0.4
Let l be -3 + 6*65*12/9. Let z = 522 - l. Sort 1, z, 2 in descending order.
z, 2, 1
Let q be (2 + (-4)/3)/(34/561). Let t(r) = r**2 - 18*r + 81. Let y be t(q). Put -3, 3, y, -5 in increasing order.
-5, -3, 3, y
Let d be (-2 + -7)/3 + 24/8. Let o(c) = c**3 - 5*c**2 - 8*c + 8. Let n be o(6). Let g be 468/90 + (1*-2)/10. Sort g, d, -2, n in decreasing order.
g, d, -2, n
Let l(v) = v**3 - 30*v**2 + 28*v + 14. Let x be l(29). Let j(t) = t**3 + 14*t**2 - 12*t + 47. Let n be j(x). Put -1, -2, n in decreasing order.
n, -1, -2
Suppose 4*j + 51 = -3*p - 16, 0 = 6*j + 42. Sort -27, 3, -2, p in increasing order.
-27, p, -2, 3
Let w be -63*23/(-207) + ((-78)/9)/1. Sort -5, 2/5, w, -2/9.
-5, w, -2/9, 2/5
Let z be (5 - (-96)/(-18))/(1/(-12)). Suppose 0 = -h - 3*r + 27, 6*h + z*r - 80 = h. Put 0, -2, h in increasing order.
-2, 0, h
Let k be 3/(-1)*(124/(-6) + 3). Let h = 52 - k. Let c be 3*9/33 + (-4)/(-22). Sort 3, c, h, -4.
-4, h, c, 3
Suppose -5*d + 20 - 3 = -2*y, 0 = -5*y - 5. Let m = -0.18046 - 3.81954. Sort d, 16, m in decreasing order.
16, d, m
Suppose 6*a = -30, 3*x + 40 = 8*x - 4*a. Sort 2/13, -2, x, 2 in decreasing order.
x, 2, 2/13, -2
Let p(c) = -c - 1. Let j(z) = -4*z. Let b(w) = -j(w) + 3*p(w). Let s be b(8). Let x be 125/30 + 1/(-6)*1. Sort s, -3, -2, x in ascending order.
-3, -2, x, s
Let r be (-15)/(-220) - (26/(-22) - -1). Let y = 27 - 26.89. Let o = 4/5 + -1/5. Put y, r, o in descending order.
o, r, y
Let y = 70 - 141/2. Let x = 23 - 26.64. Let w = -0.36 + x. Put w, 0.04, y in descending order.
0.04, y, w
Let q = -1.9862 - -1.9592. Sort q, -2, 17.
-2, q, 17
Let y = 183.16 + -0.16. Let t = 182.6 - y. Let c = 3.1 - 3. Put c, -0.9, t in increasing order.
-0.9, t, c
Suppose q - 3*f + 1 = 0, 4*f = -77*q + 76*q - 1. Sort 5, -3, -6, q, -12 in ascending order.
-12, -6, -3, q, 5
Let t be 10/1 + 17 + -27. Sort -4, 113, t in increasing order.
-4, t, 113
Let g be (0 - (-2)/(-4)) + (234 - 51). Let c = 182 - g. Put c, 0.2, 2, -2/3 in descending order.
2, 0.2, c, -2/3
Let s(p) = 5 + 7 - p**2 + 34*p + 2 + 5. Let f be s(17). Suppose 0 = 2*j + 5*j - f. Sort 0, -2, j.
-2, 0, j
Suppose -3*q = -2*y - 131, 4*q + y + 89 = 6*q. Suppose 45*d = q*d - 2. Put d, 19, -2 in increasing order.
-2, d, 19
Let c(w) = w**3 + 29*w**2 + 25*w + 12. Let l be c(-28). Let q be (-8)/(-6)*8/l. Put 7, -3, 0.3, q in decreasing order.
7, 0.3, q, -3
Let l(v) be the first derivative of -5*v**2/2 + 1. Let o be l(-1). Suppose 211 = t + 4*p + 