u = -1167.03 + 1167.53. Sort a, -0.5, u in increasing order.
-0.5, u, a
Suppose 0 = -x + 2 + 1. Let k be 2/27 - 30192/2997. Sort x, k, -2, -4 in descending order.
x, -2, -4, k
Let q = 4.59 + -6.8. Let u = 2.307 + q. Let r = u - -0.003. Sort 5, r, 39 in decreasing order.
39, 5, r
Let y = -23506748651/2132 - -11025679. Let b = -3/164 - y. Sort -1/2, 2, b.
-1/2, b, 2
Let b be 2/2 - 4 - 1. Let s(w) = -4*w - 9. Let c be s(-6). Let m(d) = 34*d**2 + 25*d + 2. Let t be m(0). Sort b, t, c.
b, t, c
Suppose 12 = -4*j - 2*m - 0*m, 0 = -j + 2*m + 7. Suppose -195*r = -203*r - 200. Sort 2, r, j in descending order.
2, j, r
Let o be (-13 + 9 - -6) + (8 - 5). Put o, -4, 203, -1 in ascending order.
-4, -1, o, 203
Let j(w) = w**3 + 40*w**2 + 69*w - 271. Let b be j(-38). Suppose 277 + 115 = -4*x. Sort x, 4, -1, b in descending order.
4, -1, b, x
Let s = 0.07909 - 0.03909. Put -0.01, s, -5 in decreasing order.
s, -0.01, -5
Suppose 4*q - 311 + 319 = 0. Suppose -2*a + 11 - 2 = w, -w = a - 12. Let u be (-50)/w*(-6)/(-5). Put q, -9, u in decreasing order.
q, u, -9
Let p = -1 - -6. Let q = p + -2. Suppose -5*i - 31 = 3*v - i, 3*v - 4*i - 1 = 0. Put v, -1, -4, q in ascending order.
v, -4, -1, q
Let n be ((-4)/(-391))/(942/8007). Let h = -5.366 - 0.034. Let c = -5 - h. Sort c, -0.1, 2/9, n in decreasing order.
c, 2/9, n, -0.1
Suppose 3*f = -3*o, -2*o - 12 = o - f. Let c be 2/(-6)*(-36)/12. Sort o, -53, c, 2 in ascending order.
-53, o, c, 2
Let j(t) = t**2 + 112*t - 471. Let k be j(4). Put k, 295, -5, 0 in ascending order.
k, -5, 0, 295
Let n = -1 - -1. Suppose 13*s + 13 - 299 = 0. Let j be 371/77 - (-4)/s. Put n, 2, j in descending order.
j, 2, n
Suppose -u + 4*i = 1 + 11, -4*i + 28 = -5*u. Let o = -23 + 23. Suppose 3*t - 6*t + 2*p + 27 = o, -3*p - 18 = -2*t. Sort t, 3, u.
u, 3, t
Suppose 0 = 51*b - 35*b. Suppose 7*t + 5 = 2*t. Suppose 4*u = n + 21, -5*u - 2*n + 19 = -17. Put u, t, 4, b in decreasing order.
u, 4, b, t
Let b(g) = -g**2 + 8*g - 12. Suppose -3*v = 3*h - 12, 4*h + 4*v = 2*h + 6. Let z be b(h). Let t be 16/24 + (-8)/3. Sort -14, z, t.
-14, t, z
Let h = 71 + -72. Let i be (-664)/249*3/2. Sort h, i, -8 in increasing order.
-8, i, h
Let a = 187.98 - 188. Let p = 1.42 - 3.4. Let g = a + p. Put -3, g, -4, -0.4 in increasing order.
-4, -3, g, -0.4
Suppose -5*l = -12*k + 16*k, 3*k - 4*l = -31. Sort -4, k, -9, -2, 2.
-9, k, -4, -2, 2
Let c(z) = -24*z + 6. Let n be c(2). Let u = n - -17. Let d be ((-3)/4)/(41/(-164)). Sort d, -5, u, -2 in increasing order.
u, -5, -2, d
Let y = -56 - -55. Let t = -483 + 476. Put 3, t, y, -4 in ascending order.
t, -4, y, 3
Suppose 9*t - 4*t = 5*f, 12 = 4*f. Suppose -b - 20 = 3*r, 6*b - b + t*r = -40. Put -3, 4, b in decreasing order.
4, -3, b
Suppose -23*z + 0 + 159 = -117. Sort -4, -143, z in decreasing order.
z, -4, -143
Let h be 7/3*(2 + 1). Let r = 5 - h. Suppose -2249 + 2265 = 16*u. Sort 2, r, u.
r, u, 2
Let u = -3 - -3.2. Let i be ((-4)/26 - 410/(-130)) + (-32)/4. Sort -3, 0.4, i, u in decreasing order.
0.4, u, -3, i
Let i be (-1 + 5 - 2)/((-512)/(-768)). Sort -52, i, -5, -11, -1 in descending order.
i, -1, -5, -11, -52
Let i be (12 + -3)/(-9)*16/88. Put 4, 2, -1/4, -0.04, i in ascending order.
-1/4, i, -0.04, 2, 4
Let w = -178 - -190. Sort 2/7, -4, 0.4, -2, w in descending order.
w, 0.4, 2/7, -2, -4
Let j(i) = -i**2 - 7*i - 10. Let l be j(-6). Let m(t) = -5*t**3 + 137*t**2 - 57*t + 75. Let h be m(27). Sort 9, -1, l, h in ascending order.
h, l, -1, 9
Suppose -562*d - 10304 = -564*d. Let a be (d/1284)/(-2) - -2. Put 5/4, a, -1 in descending order.
5/4, a, -1
Suppose -35*p + 280*p - 10535 = 0. Suppose -2*u + 1 = n, 0*n + 3*n = 3*u + 21. Sort -1, p, u in ascending order.
u, -1, p
Suppose -6*o = -0*o + 6*o. Suppose 0 = -8*k - 8 - 32. Put 1, k, -4, o in increasing order.
k, -4, o, 1
Suppose -p = 3*r + 13, -4*p - p = r - 5. Suppose -p*z - 6 = 2*t, 2*z + z = 5*t + 23. Sort -24, z, 0 in increasing order.
-24, 0, z
Suppose 5*k - 14 = -4*h, -6 = 3*h - 9*h. Sort -122, k, 0 in descending order.
k, 0, -122
Let k be (-27)/(1782/(-572))*3. Sort k, 1/6, 73, -4.
-4, 1/6, k, 73
Let f be (-24560)/48*(-6)/10. Suppose 5*c + 325 = -5*n, -4*n + 54 + f = -5*c. Sort c, -5, 2.
c, -5, 2
Let w = 212 + -200. Let s(y) = 5*y - 59. Let z be s(w). Put z, 2, -0.2, 4 in increasing order.
-0.2, z, 2, 4
Let z = 0.0454 - 55.1454. Let n = z - -54.1. Sort 5, 2/3, 0.5, n in ascending order.
n, 0.5, 2/3, 5
Let a be 440/561 + (-4)/5*90/612. Sort -5, -62/45, a in descending order.
a, -62/45, -5
Suppose 0 = -3*z + 2*z + f + 2, 2*z = -2*f. Let y = -77 + 77. Let j be y - (-28)/42*(-1 - 2). Put 0, j, -3, z in decreasing order.
z, 0, j, -3
Let w = 9933 - 9932.7. Sort -4, w, -0.028, 0.5, 3 in decreasing order.
3, 0.5, w, -0.028, -4
Let u = 1 - 1. Let y = -86804 - -86800. Sort 4, y, u in increasing order.
y, u, 4
Let b be 2/(3 + (-4 - -2)). Let p be b/(-3) - 2292/(-36). Let v = 62 - p. Sort v, -3, -5 in increasing order.
-5, -3, v
Let x(q) = -42*q + 198. Let s be x(4). Let i be (-100)/s*3/2. Let r = -0.1 + 0.14. Sort 0.3, i, 4/7, r in ascending order.
i, r, 0.3, 4/7
Suppose 3268*a + 205 = 3227*a. Sort 15, 0, 4, a, -3 in descending order.
15, 4, 0, -3, a
Let l = 597 + -597.3. Let h = 0.57 - -1.43. Put l, -1, h, -0.2 in descending order.
h, -0.2, l, -1
Let z be -1*(0/(-2) + 0). Let k be (-10)/(-6)*(45/10)/((-60)/24). Put k, z, -6 in descending order.
z, k, -6
Suppose -f - 4*i = -8, 27*i - 23*i + 40 = 5*f. Sort -2, f, 1.6.
-2, 1.6, f
Let j = -3.89 + 0.37. Let f = 4.52 + j. Sort 0.2, -2, f in descending order.
f, 0.2, -2
Let n be -24*(3/7)/((-39)/(-273)). Let h be 0/((-8)/(n/(-27))). Put h, 4, -4 in decreasing order.
4, h, -4
Let v = -315 + 290. Let x = 24.444 + 0.056. Let m = x + v. Put -0.4, 0.4, m, -3 in descending order.
0.4, -0.4, m, -3
Let m be (10 - (6 - -5))*(-8)/(-28). Let c = 18 - 16. Put m, 0, c in descending order.
c, 0, m
Let k be 2/(-3)*(-351)/(-26). Let m be (k/(-6))/(6/(-8)). Let a be m + (-14)/(-6) + -1. Put 0.1, -8, a in descending order.
0.1, a, -8
Let n(a) = a - 4. Let y(r) = 32*r - 559. Let u(d) = 4*n(d) - y(d). Let x be u(18). Let w be ((-6)/(-4) - 1)*-2. Sort x, w, -5 in decreasing order.
x, w, -5
Let j = -3692 + 3693. Put -28, -5, 3, j, 0 in decreasing order.
3, j, 0, -5, -28
Let m = 1825 + -1825. Let i be (0 + -2)/((-4)/2). Let l = i + m. Put 13, l, 2 in descending order.
13, 2, l
Let u = -3439 - -3440. Sort -80, -4, 4, u, -5 in ascending order.
-80, -5, -4, u, 4
Suppose 0 = 1234*f - 1250*f - 80. Put f, 76, 2/11 in increasing order.
f, 2/11, 76
Let w = -7.06 + 0.06. Let n = w - -7.2. Suppose -1 = u - 5*x - 32, 2*u + 29 = -3*x. Sort u, -2/9, 3, n in ascending order.
u, -2/9, n, 3
Let j = -2.2 - -0.2. Let i = -3 + j. Let x = -38.406 - -39.706. Sort x, i, -0.2 in decreasing order.
x, -0.2, i
Let c = -77 - -55.2. Let f = c + 21.4. Put f, 3.8, -3 in increasing order.
-3, f, 3.8
Let x be (6/(-27))/(-1)*(-2 - -5). Let p = 36 + -22. Let v be p/18 + (-1 - 0). Sort v, 0.13, x, -2/13.
v, -2/13, 0.13, x
Let g = 220 + -220.2. Let m be (20 - (-1 + 0)) + -2. Let q = -21.3 + 21.4. Sort q, m, g in descending order.
m, q, g
Let q = 23.7 + -23.3. Suppose 5*j - 4 = -4*m - 12, -2*j + 5*m - 23 = 0. Let v = 87/7 + -943/77. Put 0.5, q, j, v in decreasing order.
0.5, q, v, j
Let y be (-6)/(-15) - 44/10. Suppose 0 = 7*t - 95 - 17. Suppose 29*s = 25*s + t. Put y, -1, s in decreasing order.
s, -1, y
Let l = 320 - 318. Let y(w) = w**3 + 22*w**2 + 41*w + 15. Let q be y(-20). Sort q, -3, 3, l.
q, -3, l, 3
Suppose 7*o = -5*o - 492. Let i = -33 - o. Suppose -4*d - i = 5*q, q + 5*d = -5 + 16. Sort -3/4, 2, q, 3.
q, -3/4, 2, 3
Suppose 3*r - 114 = 462. Suppose -13*y - r = -17*y. Suppose -5*b + 68 - y = 0. Sort b, 0, 3 in descending order.
b, 3, 0
Suppose -c - 2*j = -595, 4*c + 151*j = 148*j + 2340. Sort c, 2, -4, 0 in increasing order.
-4, 0, 2, c
Let d = -6197 - -18590/3. Put d, 19, 0.5, 0.11 in descending order.
19, 0.5, 0.11, d
Let s = 2 + -4. Let c = -518 - -522. Suppose 4*k + c = 3*l + 14, 0 = -4*k + 5*l + 14. Sort s, 4, k, 0.
s, 0, k, 4
Suppose -138*b - 74*b = 0. Sort 6, b, -63.
-63, b, 6
Let a = -4.08 + 0.08. Let m = 143 + 14. Let d = -160 + m. Put d, a, 2/17 in increasing order.
a, d, 2/17
Suppose 8286*g - 48 = 8274*g. Put -0.8, g, 3.5 in decreasing order.
g, 3.5, -0.8
Let m = 61257