ng order.
z, o, 1/4
Let n = 71 + -39. Suppose -14*y = -6*y - n. Sort -2, 3/2, -1, y in decreasing order.
y, 3/2, -1, -2
Let n be (-4 - 93/6)*2. Let r = n - -40. Let u be ((-3)/6)/(2/4). Sort r, -6, u in ascending order.
-6, u, r
Let l = -7 - -7. Suppose l = 5*g - 2*g - 15. Suppose -g*t - u = -0*t + 12, t - u = 0. Put 5, t, -1 in decreasing order.
5, -1, t
Let c be 8/(-12)*(-90)/240. Sort 2/25, c, 1, 0 in ascending order.
0, 2/25, c, 1
Let f be 10 + 5/(-10)*8. Sort 0, -5, 2, f.
-5, 0, 2, f
Let z be (8/32)/(-4 - 867/(-216)). Sort -5, 0, z.
-5, 0, z
Let f = 12 + -13. Let s = -0.5 + 0. Sort f, 2/3, s in increasing order.
f, s, 2/3
Let f = 195 - 189. Put 3/7, -3, f, -2 in increasing order.
-3, -2, 3/7, f
Let l be 1/(-2)*(2 - (-3 + 3)). Put -5, -223, l in descending order.
l, -5, -223
Suppose 23 = 5*g - 2. Sort g, 0, 4.
0, 4, g
Let h = 116 + -118. Put -134, h, 0 in increasing order.
-134, h, 0
Suppose 0 = 3*i + 2*i. Suppose 0 = -k + 5*q + 3, 3*k - 2*q - q - 45 = i. Let j be 4/8 - k/(-4). Put 0, j, -4 in ascending order.
-4, 0, j
Let b = -5.31 - -0.31. Put b, -3, 0.1, 0.6 in ascending order.
b, -3, 0.1, 0.6
Suppose -2*g + 34 = 48. Put -3, 1, -4, g in descending order.
1, -3, -4, g
Let j(c) = -2*c + 21. Suppose 21*w + 8 = 22*w. Let t be j(w). Let s be 4/(-2) - 1*-1. Sort s, t, 0 in descending order.
t, 0, s
Let x = -569 - -574. Sort 2, 62, x in increasing order.
2, x, 62
Let w = 14.8 - 14.9. Let u be (6/(-4))/(2 + (-318)/24). Put u, w, 0.1, -4 in decreasing order.
u, 0.1, w, -4
Let i = 2.031 + -2. Let a = -0.231 + i. Let q = 0 - -0.1. Sort q, a, 1/12 in decreasing order.
q, 1/12, a
Let c = -5 - -7. Let i be (-1)/2*-5*c. Suppose 7*j + 31*j + 228 = 0. Sort i, j, 4.
j, 4, i
Let s be (1/2)/(1/2). Let d = 430 + -426. Sort 2, s, d in descending order.
d, 2, s
Let o be (-22)/(-99) - (-1)/36. Sort 13, -2/13, -2/9, o in increasing order.
-2/9, -2/13, o, 13
Suppose 3605*q - 3600*q = 5. Suppose -4*m = -0*m. Sort q, -1, m, 5 in increasing order.
-1, m, q, 5
Suppose 2*x + 2*x = 148. Let c = x + -33. Sort c, -3, 0 in decreasing order.
c, 0, -3
Let v = -0.4 - -0.2. Let q = 893/672 + 1/224. Sort v, -0.5, q in increasing order.
-0.5, v, q
Let y(t) = t**3 + 21*t**2 + 32*t - 89. Let r be y(-19). Sort r, -2, -4 in ascending order.
-4, -2, r
Suppose -176*y = -179*y + 36. Let o be 8/y*18/4. Let j be (0/(2/(-2)))/(-1). Put o, j, 5 in increasing order.
j, o, 5
Suppose -6 = -9*j + 12*j. Put 13, j, -5, 5 in descending order.
13, 5, j, -5
Let r = 41/3 - 15. Let n = -317 - -8875/28. Let u = n - -117/140. Put r, 0.2, u in increasing order.
r, 0.2, u
Let t = 4 - 4.1. Let p = -1775/8 + 222. Put 2, t, p in increasing order.
t, p, 2
Let d = -4 - -3. Let f = 3.012 - 0.012. Let l = f - 0. Sort l, -4, d in ascending order.
-4, d, l
Let y = -1.081 + -14.919. Sort 0, -2/15, y, 4 in decreasing order.
4, 0, -2/15, y
Suppose q - 2*l - 11 = -7, -3*q + 4 = -4*l. Suppose -6*u = -5*u - 2*z + 5, 5*z = 0. Put 1, 3, u, q in ascending order.
u, q, 1, 3
Let u = -6 + 10. Let i = u - 1. Let k = i - 1. Put k, -4, 0.1 in increasing order.
-4, 0.1, k
Let k be (-1228)/18 + (-4)/(-18). Let v be (5 - k/(-16)) + 0. Put -2/5, 1/2, 11, v in decreasing order.
11, v, 1/2, -2/5
Let w be -4 - (-6 - -4) - -3. Put w, -29, 0, -4 in descending order.
w, 0, -4, -29
Suppose 1 = -4*i - 7. Suppose 0 = -24*m + 28*m + 16. Sort 7, i, m in increasing order.
m, i, 7
Let n be 1/(((-18)/(-72))/(0 - -1)). Suppose n*z + 2*b = -z + 27, 2 = 2*b. Sort 4, -3, 1, z.
-3, 1, 4, z
Suppose 0 = 5*m + 3*p + 32, 0*m = 4*m + 3*p + 28. Sort 1, m, -12.
-12, m, 1
Suppose 0 = -3*m - 3*x + 15, m = 3*m - 4*x + 8. Suppose -5*a + 5 = -20. Let d be 21/(-3 - 0) - 1. Sort d, m, a.
d, m, a
Let w be 51/66 + (-24)/88. Let a = 37 - 67. Let o be ((-4)/(-6))/(a/27). Sort w, 2/3, o in decreasing order.
2/3, w, o
Let i be (-1 - 2) + 36/(-12). Put -12, 5, i in descending order.
5, i, -12
Let y = -35.63 + 36. Let m = 5.37 - y. Sort m, 0.2, -1, -0.5 in decreasing order.
m, 0.2, -0.5, -1
Suppose 0 = -a + 2*m - 24, -2*m - 3*m + 11 = a. Let t be 2/(-3)*78/(-4). Let s = t + a. Sort 4, s, 16 in ascending order.
s, 4, 16
Let t = -4.6 + 5. Let r = -0.2 + t. Let s be ((-1)/3)/(28/21). Put s, r, -0.2 in decreasing order.
r, -0.2, s
Let l = 0.089 - -2.061. Let p = 0.15 - l. Let c = 1.8 + p. Sort 6, -3, c.
-3, c, 6
Suppose -5*j - 10 = s - 66, 3*s = -2*j + 103. Put 4, 3, s in descending order.
s, 4, 3
Let a = -71 - -66. Let n(t) = 4*t**2 - 4*t + 0*t - t**3 + 0*t. Let k be n(3). Put a, k, 0 in descending order.
0, k, a
Suppose 3*g + 21*g + 72 = 0. Sort 3, -8, 2, g in descending order.
3, 2, g, -8
Let d = -0.975 + -61.925. Let n = 63 + d. Let h = -4.95 - 0.05. Sort h, 1/6, n in descending order.
1/6, n, h
Let b(c) = -c**2 - 8*c - 7. Let q be b(-6). Suppose -9*l + 18 = -54. Put q, l, -5 in descending order.
l, q, -5
Suppose -3*m = -6*m - 18. Let s be m*(-10)/(-45)*-3. Put s, -21, 0 in descending order.
s, 0, -21
Let t(w) = w**2 - 8*w - 14. Let a be t(9). Suppose 5*j + 0 - 6 = 4*n, 4*n = -2*j + 8. Suppose 0*c + j*c - 8 = 0. Sort c, 3, a.
a, 3, c
Suppose -3*l = -11 - 1. Suppose -4*h = s - 20, 0*h + 4 = 2*h - s. Suppose 2*d - 1 = -4*p - 3, -h*p + d = -13. Sort 5, l, p.
p, l, 5
Let s(a) = -14*a + 32. Let z be s(2). Sort z, 5, -4, -874 in descending order.
5, z, -4, -874
Suppose -770 = 37*c - 51*c. Sort -4, -2, c, 2 in descending order.
c, 2, -2, -4
Let y = 85 - 86.19. Put y, 5, -3 in decreasing order.
5, y, -3
Suppose 0 = -3*g - 6, 0 = -5*y - 0*g - 3*g + 19. Let z be ((-1748)/115)/19*15/54. Sort z, 3/8, y, -1/3 in decreasing order.
y, 3/8, z, -1/3
Let d be 3/((-9)/2) - 680/(-1326). Put d, 0.3, -1, -4 in decreasing order.
0.3, d, -1, -4
Suppose 2*n + 0*n - 3*p = 25, -4*n = -p - 25. Let b = 17 + -30. Sort b, n, -1 in increasing order.
b, -1, n
Let d = 0 - -0.5. Let w = -73 - -46. Let v = w - -30. Put v, d, 0.1 in descending order.
v, d, 0.1
Suppose -24*b + 28*b + 16 = 0. Suppose 48 = 4*l - 5*n, 4*l + 5*n = l + 1. Sort b, 3, -2, l in increasing order.
b, -2, 3, l
Suppose -9*g = -722 - 889. Sort 2, g, -1 in decreasing order.
g, 2, -1
Suppose 4*i - 11 = 29. Suppose -r + i - 6 = 0. Suppose 3*l + 6 + r = -t, 4*l = -16. Sort -2/13, -2, t.
-2, -2/13, t
Let x = -16 + 18. Let o = 32.327 + -0.127. Let g = o - 32. Sort 5, g, x in increasing order.
g, x, 5
Let m = 1125 + -1122. Sort m, -26, 5 in ascending order.
-26, m, 5
Let f be (-6)/((-6318)/1575 + (1 - -3)). Sort f, 5, 4.
4, 5, f
Let r = 123 + -618/5. Put r, -50, -1 in descending order.
r, -1, -50
Let u = -0.9 + 0.5. Let n = 1370 - 1375. Sort n, u, 1.5.
n, u, 1.5
Let k = -326 - -325. Sort 0.3, 53, k.
k, 0.3, 53
Suppose -2*c - 8 = -2*f - 16, 5*c - 2*f = 17. Sort c, -16/5, 0.3 in increasing order.
-16/5, 0.3, c
Let o = 15.62 + 0.38. Let u = o - 0. Let b = -15.7 + u. Put b, 0.2, 0 in ascending order.
0, 0.2, b
Let v(w) = -w**3 + 8*w**2 - 2*w + 7. Let m be v(8). Put m, -2, 2 in descending order.
2, -2, m
Suppose 28*f = 54*f + 130. Sort f, -12, 6.
-12, f, 6
Let d(k) = k - 2. Let p(u) = -2*u - 4. Let t be p(-5). Let s be d(t). Suppose 0 = 5*o - 3*o + 4. Put o, 3, s in decreasing order.
s, 3, o
Let z be (-9 + 13 + 2)*2/(-4). Let d = -1 - -2. Put z, -6, -1, d in ascending order.
-6, z, -1, d
Let l be 3 - ((-234)/(-21) + -8). Put l, 0, -5, -4 in descending order.
0, l, -4, -5
Let i = -5 + 3. Let b be 87/(-195) + (-6)/39. Let k be (-6)/(-21) - (-3)/(-35). Put i, b, k in decreasing order.
k, b, i
Let i = 102 + -97. Sort -3, 0, 2, i.
-3, 0, 2, i
Let b(p) = p - 2. Suppose 0 = z + 4*z - 10. Let c be b(z). Let g be -6 + (c - -3 - -1). Sort -1, g, 3 in decreasing order.
3, -1, g
Let c = 18 + -52.5. Let f = c + 34. Let b = f + -2.5. Put 0, b, 1/3 in ascending order.
b, 0, 1/3
Suppose 5*t + 2 - 30 = -2*r, -3*r = -5*t + 33. Suppose -t = -4*o + 6. Suppose o*i = -3*x + 18, i = -i + 4. Put x, 2, 1 in decreasing order.
x, 2, 1
Let r(b) = -7*b**2 + 15*b - 3. Let h(g) = -10*g + 62. Let w be h(6). Let k be r(w). Put -0.1, k, -3/7, -4 in descending order.
-0.1, -3/7, k, -4
Let i = 1414 - 1411.4. Put 4, i, -3, 0.1 in increasing order.
-3, 0.1, i, 4
Let w = 72 + -72. Put 25, w, 5/4, 3 in descending order.
25, 3, 5/4, w
Let j(b) = -b + 4. Let m(t) = -3*t + 11. Let q(d) = 8*j(d) - 3*m(d). Suppose 0 = 4*r - 7 - 9. Let o be q(r). Put -2, o, -3 in decreasing order.
o, -2, 