-93. Let v = u - x. Put 0, -1/4, v in increasing order.
-1/4, v, 0
Suppose 5*c - c = -2*h + 4, -c - 2 = -h. Let a be ((-3)/(-2))/((-4)/56). Let z = a - -16. Sort h, z, 3 in ascending order.
z, h, 3
Let p = -4.92 + 5.42. Sort p, -2/5, -3/4 in descending order.
p, -2/5, -3/4
Let z = -0.543 - -39.243. Let i = z + -39. Let g = 5 + -9. Sort -1/4, i, g in increasing order.
g, i, -1/4
Let i = -0.0604 - 1.0396. Sort -1, -5, 8, i.
-5, i, -1, 8
Let s = -1151 - -1151.2. Suppose 2*q = 3*z + 22, 3*q = -z - 1 + 12. Put -1/2, -0.4, z, s in increasing order.
z, -1/2, -0.4, s
Suppose -q = -0 - 1. Suppose -2*j - q = -f + 8, -2*f = j - 8. Suppose 4*b + 24 = -2*k, 0*b = -b - 2*k - 9. Sort b, 2, j in descending order.
2, j, b
Let s = 8.2 - 8. Let g(n) = n + 8. Let h be 2 + (0 + -21)/3. Let x be g(h). Sort -0.5, s, x in increasing order.
-0.5, s, x
Let w be (6 - 1/2)*4. Sort -5, -1, w in ascending order.
-5, -1, w
Let h be 168/36*6/7 + -2. Put 4, h, -1, 3 in increasing order.
-1, h, 3, 4
Let b = -5.0286 + 0.0286. Let u = -1 + 0.9. Sort b, 1, u.
b, u, 1
Suppose 4*o + 2*y = 5*y - 23, 3*o + 4*y = 14. Let a be (1/o)/(2/(-12)). Suppose -4*j - 22 = -2*u + 4*u, 11 = -5*j + a*u. Put 5, -3, j in descending order.
5, -3, j
Let j(o) = -80*o**2 - 21 - 10 + 79*o**2 - 16*o. Let y be j(-14). Put 3, y, -2, 5 in increasing order.
y, -2, 3, 5
Let a be 56/(-12)*(-10)/(-70)*6. Suppose 9 = 2*d + 3*p, 0 = -3*d - 0*p + p + 8. Put 0, 1, a, d in decreasing order.
d, 1, 0, a
Let l = 1449.5 - 1450. Sort -1, l, -0.41 in increasing order.
-1, l, -0.41
Let b = 0.88 + 0.28. Let h = 0.16 - b. Suppose -3*t - 12 = -0*t. Sort h, t, -0.1.
t, h, -0.1
Let o = 551/3 + -183. Let t = 13/7 + -16/7. Sort -2/3, o, t in increasing order.
-2/3, t, o
Let p be 53*-4 - (-7)/(35/(-10)). Let l = 217 + p. Suppose -11 = o - 4*f, 4*o - 2*o - f + 8 = 0. Sort o, l, 1 in increasing order.
o, 1, l
Let m = -3/11 + 7/66. Let z = -2.068 + 2.078. Sort m, -3, z in increasing order.
-3, m, z
Let p = 976 - 975.95. Put 2/7, 9/2, -5, p in decreasing order.
9/2, 2/7, p, -5
Let i = 0.3 - 0. Let q = -3.1 + 2.3. Let d = -1.1 - q. Sort d, -3, i in decreasing order.
i, d, -3
Suppose -2*x - 2*c = 3*c - 16, 5*c + 2 = 4*x. Suppose 0 = -4*j - x*k - 63, 3*j + k + 16 = 2*j. Let i = -10 - j. Sort 0, -3, i in increasing order.
-3, 0, i
Suppose c + 8 = 2*w, -3*c = -2*w + 3 + 5. Let m be 156/(-365) + w/10. Let j = -81/292 - m. Sort 0.3, 2/13, j in ascending order.
j, 2/13, 0.3
Let y = 472 + -467. Put 1, 3, y, 12 in descending order.
12, y, 3, 1
Let s = -0.32 + 0.06. Let v = s + -0.14. Sort 2, -5, v in decreasing order.
2, v, -5
Let b be (-3*(-2)/6)/(-1). Let w be -4*b/(4/3). Put 5, w, -1 in descending order.
5, w, -1
Let i(q) = -q - 19. Let b be i(-21). Sort b, 3, -5 in decreasing order.
3, b, -5
Let l = 0.42 + 19.58. Let h = 20.4 - l. Sort h, 0.1, 24 in decreasing order.
24, h, 0.1
Let v = 8.08 - 8.1. Let r = -0.11 + -2.89. Sort -1, v, r in increasing order.
r, -1, v
Let u = 1 + 1. Put -5, 7, 0, u in descending order.
7, u, 0, -5
Let i = -48.932 + 49. Let c = -4.932 - i. Sort 6, c, -5/4.
c, -5/4, 6
Let k = 16 - 19. Let g be k/6 - -1 - (-3)/6. Let c be ((-2)/(-3))/((-2)/(-15)). Sort -1, c, g in descending order.
c, g, -1
Let r = 0.2 + -0.1. Let k = 240.7 - 229. Let i = k - 8.7. Sort 0, i, r in descending order.
i, r, 0
Suppose -49 + 81 = -4*t. Let g be 9/3*t/36. Sort g, -1/5, -3/4 in decreasing order.
-1/5, g, -3/4
Let k(h) = h**3 + 7*h**2 + 6*h + 5. Suppose -5*x + 12 = -2*m - 3*x, m + x = -6. Let z be k(m). Let a = -963/5 + 192. Sort 4/7, z, a in descending order.
z, 4/7, a
Let w(s) = -s**2 - 10*s - 8. Let d be w(-9). Suppose 3*f - 4 = 8. Suppose 5*a - 15 = 2*t, -3*t + 2*a + f + d = 0. Sort t, 4, 2 in decreasing order.
t, 4, 2
Suppose 3*x + 5*o + 87 = 0, 4*o + 0*o - 29 = x. Sort -5, 0, x in increasing order.
x, -5, 0
Let j = 5.21 + 334.79. Sort j, 4/9, -1 in descending order.
j, 4/9, -1
Suppose 4*b + 20 = 36. Suppose -b*o - 119 - 5 = 0. Put -1, o, -3 in increasing order.
o, -3, -1
Let b(u) = -9*u + 11. Let q be b(-8). Let f = q - 80. Let d be 1 - 2*(4 - 2). Put -5, f, d in increasing order.
-5, d, f
Let r = -0.7 + 0.68. Let m = r + 0.22. Let j = 204.5 - 205. Put m, 4, j in increasing order.
j, m, 4
Let r = -0.3 + 0.4. Let t = 1.369 + -0.869. Put r, 5, t in decreasing order.
5, t, r
Suppose t = -t + 6. Suppose 0 = -t*x - 5*h - 3 - 2, -h = 2*x - 6. Let n = 39 - 39. Sort x, n, -0.1 in ascending order.
-0.1, n, x
Suppose -5*l = -0*y - y - 19, 0 = -3*l + 9. Let f(p) = 4*p + 12*p**2 + 2 + 0*p**2 + p**3 - 7*p**2. Let i be f(y). Sort -1, 4, i in ascending order.
-1, i, 4
Let a = 3 + -2.5. Let z be (-5 + (-14802)/(-2958))/(1/(-1)). Let u = 1982/2465 + z. Put 3, u, a in increasing order.
a, u, 3
Suppose 0 = 6*y - 0 + 12. Suppose -8 = 4*v + 8. Put 9, 1, v, y in ascending order.
v, y, 1, 9
Let p(h) = h - 14. Let a = 19 - 8. Let m be p(a). Sort m, 0, -5 in decreasing order.
0, m, -5
Let o = -0.299 - 0.201. Put o, -5, -0.4, 1 in descending order.
1, -0.4, o, -5
Suppose -6*u = 13*u + 361. Sort -3, u, 0 in descending order.
0, -3, u
Let m = -3 + 2. Let f(t) = -13*t + 349. Let d be f(25). Sort 0, d, m in increasing order.
m, 0, d
Suppose -65*k = 32 + 33. Suppose -2*i + 2 = 2*s - 0*i, 2*s - 5*i = -33. Sort k, 3, s, -2 in descending order.
3, k, -2, s
Let i = -0.123 - -0.511. Let c = -0.088 + i. Let t be 6/5*20/6. Put -0.2, c, t in decreasing order.
t, c, -0.2
Let v = 3.3 + -3. Let s(m) = m**3 + 5*m**2 + 2. Let r be s(-5). Let t be 3 - (29/6 - r). Put v, 1/3, t in descending order.
1/3, v, t
Let l = 0.184 - 0.084. Sort 2/13, l, 7 in ascending order.
l, 2/13, 7
Let c = -1.1 + 1. Let s be (-1*(-64)/(-40))/(2 + (-24)/10). Put 1, s, c, -3 in increasing order.
-3, c, 1, s
Let j = 181 + -180.6. Let a be (-4)/16 + (-4)/176. Sort j, -0.4, -4, a in decreasing order.
j, a, -0.4, -4
Let s be (-4)/16 - (-63)/12. Put 3, -4, -2, s in descending order.
s, 3, -2, -4
Suppose -2*b + b + 3 = 0. Suppose 0 = q + 4*w + 21, -4 = -b*q + 2*q + w. Let s = 640 + -642. Sort q, -12, s in decreasing order.
q, s, -12
Let r = -2.252 - 0.048. Let l = 13.3 + r. Let k = 2/99 - 68/99. Sort k, l, 5 in decreasing order.
l, 5, k
Let i(u) be the first derivative of -u**2/2 + 1. Let n be i(-2). Let a be (n + -5)/(1/1). Sort -5, 0, a.
-5, a, 0
Suppose 2*k + 3 = -a + 3*k, 3*a + 2*k = -4. Put a, -4, -0.1, -3/8 in decreasing order.
-0.1, -3/8, a, -4
Let l be ((-2)/(-4))/(1/(-2)). Let t(m) = -m - 2. Let g be t(-7). Suppose 0 = g*q + 11 - 36. Put q, -3, l in descending order.
q, l, -3
Let t = 21.4 + -21. Let x = -19110979762/85170735675 + -2/51153595. Let w = x - -2/925. Put w, t, 0.5 in decreasing order.
0.5, t, w
Let h = 1.49 - 1.42. Sort -0.1, h, 1/3, 4/5.
-0.1, h, 1/3, 4/5
Let w = 625 - 622. Let z = 5 - 3. Let n be (-4 - -1*z) + 7. Put w, n, -10 in ascending order.
-10, w, n
Let u = 4 + -6. Let x be 2 + u*1/2. Let w(f) = 5*f**3 - 2*f + 2. Let o be w(1). Put 2, o, x in ascending order.
x, 2, o
Let q = 0.04 - 0.1. Let p = q - 1.94. Let l = -0.13 + 0.13. Put l, -3, p in decreasing order.
l, p, -3
Let m(d) = -3*d**2 - 2*d. Let i(z) = 14*z**2 + 15*z + 9. Let g(j) = -i(j) - 5*m(j). Let o be (-6)/(1*-1)*1. Let k be g(o). Put k, 12, 1 in descending order.
12, 1, k
Suppose 3*r = 7*r. Suppose 0*m + 2*m = 10. Sort m, -3, r in descending order.
m, r, -3
Let y be (12/(-7))/(2/(-7)). Let q be (-2)/y + (-9)/(-27). Sort 3, q, -1 in descending order.
3, q, -1
Let v = -50 + 45. Sort v, 2, 5, 18 in descending order.
18, 5, 2, v
Let p = -8 - -8.3. Let b = -1185 + 1187. Sort p, b, 1/4 in decreasing order.
b, p, 1/4
Let m(u) = 4*u + 2. Let i be m(-2). Let o be 99/88*(-8)/i. Sort 3/7, -5, o in decreasing order.
o, 3/7, -5
Let h = -0.507 - -0.107. Let x = -0.01 - 0.09. Sort -1, 2, h, x.
-1, h, x, 2
Suppose -9*j = 230 - 68. Sort 3, 4, -5, j.
j, -5, 3, 4
Suppose 16*t + 80 = 144. Put 5, -4, t in decreasing order.
5, t, -4
Let y = -47.9 - -48. Let u = 22.6 - 23. Sort 4, y, u, 1/9 in descending order.
4, 1/9, y, u
Let a(u) = 2*u - 3. Let o be a(3). Put -43, -2, o in increasing order.
-43, -2, o
Let f = -5 + -10. Let s = f + 19. Let z be (s/(-10))/((-12)/60). Sort z, -3, 4 in increasing order.
-3, z, 4
Let i = -7 - -11. Let t = 43 + -23. Suppose -4*o + 4*u + 20 = 0, 0*o = 2*o - 4*u - t. Sort o, i, 2 in decreasing order.
i, 2, o
Le