 y, 3 in decreasing order.
63, y, 3
Let t = -1868 + 1885. Suppose 4*m - 7*m = 0. Suppose -3*j = -5*a + 34, a - 5 = -m*a. Put t, -2, 3, j in decreasing order.
t, 3, -2, j
Let r = 8874 - 8875. Sort r, 65, 1/2, -4, 0 in decreasing order.
65, 1/2, 0, r, -4
Let u be (70/8 - 5/(-4)) + -10. Sort -762, -5, u, 4 in descending order.
4, u, -5, -762
Let v = 562 - 382. Let c = v - 179.6. Put c, 1, -0.8 in decreasing order.
1, c, -0.8
Let i be (2/(-3))/(-4*3/72). Suppose -3*y = -2*y - u - i, 0 = 5*y - 3*u - 22. Sort -19, y, 4, 2.
-19, 2, 4, y
Suppose -591 = 16*v + 1905. Put -5, v, 5, 6 in ascending order.
v, -5, 5, 6
Let i be (-480)/(-16)*((-8)/6 + 2). Suppose -10*y + 15*y = i. Suppose 28 = -4*s + 4*x, 4*x = 3*s - 2*s + 13. Sort 2, y, s, -4 in descending order.
y, 2, -4, s
Let y be (-125)/25 - 82/(-8). Sort y, 2, 1, 3.
1, 2, 3, y
Let m = -55.96 - -56. Let u = m - -0.16. Sort 1/12, u, -5 in decreasing order.
u, 1/12, -5
Let a = 436.5 + -157. Let c = -280 + a. Let s = -32/7 - -103/21. Sort 4, c, s, -2 in descending order.
4, s, c, -2
Let y be (425/(-68))/((-1)/4). Suppose -16*n + 12*n = 5*q + 83, 0 = q + 5*n + y. Put q, 5, 2/11 in decreasing order.
5, 2/11, q
Let t be (-10)/3*(-12)/8. Suppose p + 4*g = -6, t*p + 2*g - 4 = 2. Let x = -949 - -945. Put p, x, 3, -3 in decreasing order.
3, p, -3, x
Let i = -174420 - -174425. Let n be 2/7 - 4/14. Put 9, i, n in decreasing order.
9, i, n
Let v = 1.8 + -1.925. Let f = v - -3.125. Let g = 0 + 0.1. Put g, f, -0.6 in ascending order.
-0.6, g, f
Let x = 65.3 + 16.7. Let i be ((-17576)/(-1248))/(-169)*3/2. Sort 0.2, 2/11, i, x in descending order.
x, 0.2, 2/11, i
Let w be -9 + (77/(-385))/((-2)/110). Sort -16, w, 4, -73, -2 in descending order.
4, w, -2, -16, -73
Let u be 1*((13 - 9) + (-3)/3 + -4). Let f = -15.5 - -15. Sort 0.2, 0.05, u, f in descending order.
0.2, 0.05, f, u
Suppose 236*d + 5*q = 241*d - 20, -3*d = 3*q + 6. Sort 30, d, -2/9, -0.4 in increasing order.
-0.4, -2/9, d, 30
Let i = -11280 + 11276. Let n be (18/(-20))/(12/(-10)). Sort -0.25, i, n in increasing order.
i, -0.25, n
Let j = 71 - 27. Suppose -5*p + c = -4*c - 85, 2*p = c + 39. Let d be 228/j + -5 + (-70)/p. Sort d, 4, 3, 2 in decreasing order.
4, 3, 2, d
Let t(n) = -10*n**3 - 600*n**2 - 2*n - 121. Let g be t(-60). Put 7/3, g, -161 in decreasing order.
7/3, g, -161
Let t be 80*(-228)/(-15200) - 11/5. Let i = 3.8 + -4. Sort 0.01, t, i, -5 in increasing order.
-5, t, i, 0.01
Let c = -4 + 1. Suppose 4*l = 2*q + 6, 0 = -46*q + 41*q - 2*l - 27. Put c, q, -4, 3 in decreasing order.
3, c, -4, q
Let f be (-2)/4 + (-18)/4. Let n = -13458 + 13463. Sort f, -20, -1, n in descending order.
n, -1, f, -20
Let t be (-1760)/2*(-40)/100. Let k = t + -356. Put 3, 2, -5, k in increasing order.
-5, k, 2, 3
Let j be (-9 + (-2006)/(-221))*(0 + 2). Put j, 1.2, 3 in decreasing order.
3, 1.2, j
Let w(f) = -f**3 - 32*f**2 + f + 42. Let g be w(-32). Suppose -50 - 50 = -g*a. Sort 1, 3, -5, a.
-5, 1, 3, a
Let y(r) = 142*r + 1276. Let m be y(-9). Sort m, -8, -0.09, -0.4 in increasing order.
-8, m, -0.4, -0.09
Suppose 6 = -g - w, -161*g + 159*g = w + 16. Put -27, -2, g in increasing order.
-27, g, -2
Let k = -1149/212 + 1043/212. Let j = -0.8 + -4.2. Sort k, -15, j, 3.
-15, j, k, 3
Let u(h) = 8*h - 69. Let y(f) = 16*f - 137. Let z(w) = -7*u(w) + 4*y(w). Let v be z(11). Put v, 1/4, -2/17 in increasing order.
-2/17, 1/4, v
Let p = -0.0332 - -0.0332. Let y = p + -0.3. Sort -0.2, y, -2/13.
y, -0.2, -2/13
Let j = -30.8 - -31.2. Let q = -185 - -182. Put q, -6, j in ascending order.
-6, q, j
Suppose 0 = -3*k - 1 - 5. Suppose 0 = 5*v + 5*i + 25, -5*v + 0*i = -i + 43. Sort k, v, 5 in descending order.
5, k, v
Let s be ((-4)/(-10))/((-14)/70). Let c be 2*5/(-8)*4. Sort c, s, -13, 7.
-13, c, s, 7
Let o(k) = k**3 + 8*k**2 + 12*k + 8. Let t be o(-5). Sort -10, -4, 1, 2, t in descending order.
t, 2, 1, -4, -10
Let a be 2 - 1/((-10)/20). Sort 78/41, a, 0.5.
0.5, 78/41, a
Let v = -296 + 191. Let k be (v/42)/((-2)/(-4)). Put 5, -24, k in descending order.
5, k, -24
Let n = -3000 + 2613.6. Let v = n + 386. Sort -1/14, v, 0, 0.3 in increasing order.
v, -1/14, 0, 0.3
Let j = -56 + 25. Let y = -12/21665 + -21617/86660. Sort j, 1, y.
j, y, 1
Let c(u) = u**2 - 14*u + 23. Let w be c(12). Let p be (w/2)/(((-5)/10)/(-1)). Sort 2, 11, p, -5 in descending order.
11, 2, p, -5
Let o = -3 - -11. Let s be ((-6)/(-99)*69)/((-2)/60). Let g = s - -126. Sort g, o, -3/7, -0.2 in ascending order.
-3/7, -0.2, g, o
Let z be (6 + (-3 - 3))/3. Sort -4, 103, z.
-4, z, 103
Let p(a) = -a**2 - 19*a + 16. Let u be p(-20). Let x = 1294 + -1282. Put -2, x, -9, u in ascending order.
-9, u, -2, x
Let w = -308230/7 + 44033. Let c = 5 + -3. Sort c, w, 1/2 in increasing order.
w, 1/2, c
Let a = 16597/72 - 1925/8. Let s = a - -10. Sort -2/19, s, 9.
s, -2/19, 9
Let t(r) = r**3 + 12*r**2 - r - 16. Let v be t(-12). Let x be (2/5)/(v/60*-3). Put 4, x, 1, 3 in ascending order.
1, x, 3, 4
Let f = -7 + 12. Suppose 0 = -62*h + 75*h. Suppose h*d + 12 = -2*d. Put f, d, 3 in decreasing order.
f, 3, d
Suppose -3*v + 3*o - 21 = -v, v + 18 = -o. Let f be 5/v*3*1. Let s be (f - -3 - 1) + -1. Sort s, 2, 11 in ascending order.
s, 2, 11
Suppose n = -2*v - 2*v - 3, -5*v = 0. Let r be (-6)/n - 6 - 1. Suppose -200*d - 62 - 331 - 7 = 0. Sort d, -6, r in ascending order.
-6, r, d
Let m = -2954 - -2955.4. Sort 1, -36, m in ascending order.
-36, 1, m
Suppose -186*j = -133*j - 159. Put -4, -1, -3, j in decreasing order.
j, -1, -3, -4
Let o be -4 + (-4 - (2 - -8)). Let t be (2/(-3))/(o/27). Let u be (-2)/30 - (-18)/150*-5. Sort u, 4, t in ascending order.
u, t, 4
Let i = -56803 + 56818. Let k(o) = -o**2 + o - 1. Let q be k(0). Put -5, i, 4, q in increasing order.
-5, q, 4, i
Let v(r) = -32*r - 506. Let x be v(-16). Put 5, x, -7, 0, 2 in ascending order.
-7, 0, 2, 5, x
Let g = -999 - -991.14. Sort 0, -4, g in ascending order.
g, -4, 0
Suppose 2004*s + 170 = 1994*s - 90. Put s, 2, -5, -3 in ascending order.
s, -5, -3, 2
Suppose 0 = -2*h - h. Suppose -32 = 5*u + 3*o, -1819*o + 20 = -2*u - 1822*o. Put -148, u, h in descending order.
h, u, -148
Suppose -10*h - 138 = 12*h + 82. Sort h, 1, -9 in descending order.
1, -9, h
Let v = 241/3 + -79. Let u = -52 - -56. Suppose -3*y + 8*y = -3*w + 26, -u = -y. Put v, 5/3, w in ascending order.
v, 5/3, w
Let d(o) = o. Let y be d(-3). Let x = 7223 - 7215. Let s = 8 - 9. Sort s, 1, y, x.
y, s, 1, x
Let p be ((-3)/14)/(5/10) - 7920/(-1232). Sort -12/7, 0.2, p, -11 in descending order.
p, 0.2, -12/7, -11
Suppose b = 3, 5*d - 203 = 3*b + 198. Let r = d + -85. Sort r, 2/3, 4 in decreasing order.
4, 2/3, r
Suppose 4*o = -4*w - 296 - 76, -5*o - 4*w = 463. Let z be 12 + (-5661)/54 + 15/18. Let d = o - z. Put -2, -15, d in decreasing order.
d, -2, -15
Suppose 53014 - 53311 = 9*v. Sort v, -5, 4, -2.
v, -5, -2, 4
Suppose -3626 = -4*h - 1054. Suppose 0 = -11*o + h + 1799. Sort -0.5, o, -0.2 in descending order.
o, -0.2, -0.5
Suppose -2 = 3*l - 4*u + 5*u, -4*l - 5*u + 12 = 0. Let g be 2/(-1 - (-396)/404). Put l, g, -5 in descending order.
l, -5, g
Let n(f) = -27*f**3 + 73*f + 144. Let t be n(-2). Put -2, 2, t in descending order.
t, 2, -2
Suppose -5*a + 37*s = 41*s - 254, -2*s = a - 52. Sort -1, a, -4 in descending order.
a, -1, -4
Let z(m) = -m**2 - 5*m + 2. Let g be z(-6). Let k be 6 - (150/(-20))/((-21)/14). Sort 4, k, g, -1.
g, -1, k, 4
Let c(w) = -4*w + 1. Let h be c(-4). Let n be ((-28)/(-12) - (2/(-19) + 20433/8379))/1. Suppose 0 = j - 2. Sort j, 4, n, h.
n, j, 4, h
Let q = -1498/13 - -10473/91. Sort q, 0.3, -9269 in increasing order.
-9269, q, 0.3
Let m(t) = -t**3 - 3*t**2 + t - 12. Let l be m(-4). Suppose l = 2*b + 5*s - 10 + 2, -5*b + 4*s - 13 = 0. Sort 1/14, 0.18, b in descending order.
0.18, 1/14, b
Suppose 5*c - 4*w = -3*w, 0 = 2*c + w. Let g be (-46)/(-2) - 1/2*c. Suppose -g = -3*q + 10. Sort -2, q, 4 in decreasing order.
q, 4, -2
Let k = -374 - -369. Let j = 154 - 82. Let o be 2*-1*(-8)/j. Sort -0.5, k, o, -1.
k, -1, -0.5, o
Let t = -0.6646 - -35.6646. Put 5, -0.1, t, 2 in descending order.
t, 5, 2, -0.1
Let r = 17224/11 + -1566. Put -7/2, r, -3, -23 in decreasing order.
r, -3, -7/2, -23
Let c = 80 + -59. Let d be (60/c)/(6/21). Let q(t) = t**3 - 7*t**2 + 4*t + 12. Let r be q(6). Sort r, d, -2.
-2, r, d
Suppose -23 = 4*u