9/s. Put -6, y, -0.3, l in descending order.
l, -0.3, y, -6
Let k = 0.853 + 0.147. Sort -2/55, k, -8 in decreasing order.
k, -2/55, -8
Let h be 12/22 + 6 + 390/(-110). Sort h, -1, -8 in ascending order.
-8, -1, h
Let b(t) = -2*t + 7. Let w be b(5). Suppose 0*n = 4*n - 4. Let m be 4 + -1 + (-7 - n). Put -2, 5, m, w in increasing order.
m, w, -2, 5
Suppose 5*t - 92 = 56*t + 163. Sort 0, -964, -3, t, 3 in decreasing order.
3, 0, -3, t, -964
Let l = -14396 - -14391. Let v(a) = -a + 9. Let t be v(6). Sort 5, 1, t, l in descending order.
5, t, 1, l
Let m = 0.6 - 1. Let z = 42942.5 + -42943. Put m, z, -0.1, 0 in descending order.
0, -0.1, m, z
Let h = 21 - -3. Suppose -d - 22 = -h. Suppose 0 = -3*w + 2*z + 4 + 4, w + 5*z = 14. Sort d, w, -5 in decreasing order.
w, d, -5
Let r = -3074.6 + 3075. Sort 1, -0.25, -2, -3/8, r in decreasing order.
1, r, -0.25, -3/8, -2
Suppose -6*u = -2*u + 26*u + 21270. Put u, 5, 6 in descending order.
6, 5, u
Let s be 320/(-96) - 40/15. Sort 9, s, 0, 1 in increasing order.
s, 0, 1, 9
Let m = 0.072 - 2.072. Let f = 32 - m. Let r = f + -34.4. Sort r, 2/11, 1 in ascending order.
r, 2/11, 1
Suppose -8*t + 261 = 237. Let b = -404 + 387. Sort 5, t, b, -2 in ascending order.
b, -2, t, 5
Suppose 42 = -5*v + 6*v. Let x = v - 39. Suppose -2*t - x*t = -2*y + 11, -2*y = t - 5. Sort -4, -1, y in decreasing order.
y, -1, -4
Suppose -8*s - 4 = -7*s, 5*s = 2*p - 182. Let u = p - 81. Suppose -2*h + u*h + h = 0. Sort 4, 5, -27, h in ascending order.
-27, h, 4, 5
Let k = 51 - 46. Let d(r) = r**2 + 7*r - 8. Let z be d(-8). Suppose -6 = -z*a - 3*a, 0 = -2*y + a. Put y, k, 3, -4 in increasing order.
-4, y, 3, k
Let o be ((-84)/18)/(1/3). Let i be o/(-6) + (-12)/6. Let g = 477729/22 + -21715. Put i, -1, g in descending order.
i, g, -1
Let f(h) = 3*h**3 + 28*h**2 - 19*h + 13. Suppose -28*g = -23*g + 50. Let v be f(g). Put v, -5, 0 in descending order.
v, 0, -5
Let f = -0.2235 + 0.1235. Sort f, -5/4, -3.2, -9 in descending order.
f, -5/4, -3.2, -9
Suppose 3 = g + 2. Let o(h) = h**3 - 9*h**2 + 14*h - 2. Let s(i) = -i**3 + 5*i**2 + 7. Let v be s(5). Let z be o(v). Put -5, 0, g, z in decreasing order.
g, 0, z, -5
Let y = 2013 + -1734. Put 2, y, -3, 0 in ascending order.
-3, 0, 2, y
Let c be (428388/30)/29*-2*10/(-8). Sort -1, c, -4 in ascending order.
-4, -1, c
Let m = -0.1 - 0.1. Suppose 75*l + 110 + 58 = -282. Sort m, l, 0.1, 2/3 in descending order.
2/3, 0.1, m, l
Let p = -56 - -11. Let c = p + 30. Let n = 272 + -268. Sort c, n, 0.2 in ascending order.
c, 0.2, n
Let n = -91 - -52. Let i be ((-6)/9)/((-3)/189). Let t = n + i. Sort 1, -11, t in ascending order.
-11, 1, t
Let i = -20 + 26. Let v be i/(-18) + 4/(-6). Sort -5, 7, 0, v in ascending order.
-5, v, 0, 7
Suppose -2*q + 16 - 2 = 0. Suppose -5*p = 2 - q. Let t = 2282 - 2280. Put 5, t, p in decreasing order.
5, t, p
Let f = 56.67 + 51.33. Sort f, -1, -3 in ascending order.
-3, -1, f
Let n = 105 + -523/5. Let z be (-60)/714*224/(-80). Put z, n, 0.5 in decreasing order.
0.5, n, z
Suppose -532*z = -522*z - 240. Let f be z/(-4)*(-2)/(-20). Put 6/13, f, 0.4 in decreasing order.
6/13, 0.4, f
Let p(v) be the third derivative of 109*v**4/24 - v**3/2 - 8*v**2. Let g be p(1). Let t = g + -1164/11. Sort -2, -0.02, t in descending order.
t, -0.02, -2
Let n be (-6*8/(-9996))/((-12)/(-42)). Let x = -2.8 - -3. Sort 2, n, x in decreasing order.
2, x, n
Let y = -20905 - -20908. Sort y, 11, 2/9, -91 in ascending order.
-91, 2/9, y, 11
Let c = -19936 - -19928. Put 20, -1, -3, c, 5 in decreasing order.
20, 5, -1, -3, c
Suppose 66*k - 455*k - 1945 = 0. Sort k, -14, -54 in ascending order.
-54, -14, k
Let u = -269.1 + 269. Sort -8, u, -5, 1.4, -0.3 in ascending order.
-8, -5, -0.3, u, 1.4
Let t = -8 + 11. Suppose -3*v - 3 = 0, 11 = 2*f - 2*v + 1. Suppose -5*b + 11 = -2*h, 9*h = f*h + 3*b - 18. Put h, t, -5, 1 in decreasing order.
t, 1, h, -5
Let s(g) = -g - 9. Let w be s(-4). Suppose 0 = 4*y + 5*b + 16, -3*b + 22 = -4*y + 6. Let x = 11 + -13. Sort w, 5, x, y in ascending order.
w, y, x, 5
Suppose 4*s + 55 = 5*z, -s - 181 = -4*z - 148. Put -3, 103, s, 1, 0.5 in descending order.
103, 1, 0.5, -3, s
Let v = -139 - -267. Let n be 2 + (v/(-12))/8. Let a = 7/46 + -68/69. Put a, 3/7, n in ascending order.
a, 3/7, n
Let g(j) = -j**3 + 6*j**2 - 3*j. Let t be g(6). Let b be ((-3)/(9/3))/(2/(-14)). Suppose -15 = -b*i - 15. Put i, t, -5, -3 in descending order.
i, -3, -5, t
Let g(m) = -892*m - 2676. Let n be g(-3). Sort n, -30, 4, -4 in increasing order.
-30, -4, n, 4
Suppose x + 12 = 4*x. Let d = 38340 - 38339.5. Let r be (-2)/(-11)*(-1 - -6). Sort d, 2/7, r, x in ascending order.
2/7, d, r, x
Let k = 1.9231 - -0.0769. Put -2, 9/4, k in decreasing order.
9/4, k, -2
Let d(w) = w**2 + 8*w - 32. Suppose 16*y + 0*y - 96 = 0. Let u be ((-1590)/25)/y + (-2)/5. Let c be d(u). Put -3, -2, c, 4 in increasing order.
-3, -2, c, 4
Let d be (-55)/(-25) + 0 + -2. Let k = -210609 - -2740766/13. Let u = 219 - k. Sort d, u, -4 in decreasing order.
d, u, -4
Let z = 0.387 + -0.487. Let h = 6 + 1. Let n = h + -6. Sort n, -0.2, z in descending order.
n, z, -0.2
Suppose -29055*t = -29064*t - 54. Let a = -1 - -1. Sort 1, a, t, -5 in increasing order.
t, -5, a, 1
Let t = -592 - -7701/13. Let x be ((-4)/52)/((-2)/3). Let o = t + x. Put 0.4, -7, -2, o in descending order.
o, 0.4, -2, -7
Let f be ((-46)/(-44) - 1) + (-17160)/(-5808). Suppose -3*n + 2*z = 32, -2*n = -n - 5*z + 15. Sort n, -1, -3, f in increasing order.
n, -3, -1, f
Let n be (50/(-28))/(-5)*((-41)/(-5) - 9). Suppose -2 = -4*l - 14. Sort -0.5, l, n, -2 in decreasing order.
n, -0.5, -2, l
Let c = -73054 + 73060. Let h = -0.5 - -1.5. Sort h, 2/3, -2/7, c.
-2/7, 2/3, h, c
Suppose -27*d - 8*d + 70 = 0. Sort 1, d, 4, -19 in descending order.
4, d, 1, -19
Suppose -2*u = 3*j - 2, 5*j = -7*u + 2*u. Let g be (-1)/2 - 1/2. Suppose 476 = 817*v - 698*v. Sort v, u, 12, g.
u, g, v, 12
Let w = -50635/4 + 12659. Sort w, -2135, 0.
-2135, 0, w
Let l be 26/(-5)*120/(-48). Put 53, l, 2 in descending order.
53, l, 2
Let l = -9289 - -9290. Put 27, 8, -1, l, 5 in ascending order.
-1, l, 5, 8, 27
Let x be ((-26523)/(-126))/((10/4)/5). Suppose 3*g = -x + 334. Put 0, g, -3, 1 in decreasing order.
1, 0, -3, g
Suppose -12*i + 9*i = -8*i. Suppose i = -24*u + 30*u. Put 57, -2, u, -5 in increasing order.
-5, -2, u, 57
Let j(b) be the second derivative of -b**4/12 + 4*b**3/3 - 3*b**2 + 5*b. Let m be j(6). Sort -1/2, m, -0.2.
-1/2, -0.2, m
Let r(y) = -10*y + 20. Suppose -37 - 71 = 9*x. Let v be r(x). Let c be ((-20)/(-18))/(v/105). Sort 1/8, c, 2/11, -0.5 in increasing order.
-0.5, 1/8, 2/11, c
Let s(b) = 5*b + 14*b**2 - 7*b**2 + 0*b - 6*b**2. Let c be s(-4). Put c, -2, 45 in descending order.
45, -2, c
Let c = -18 - -12. Let h = -6.1 - c. Suppose 45 = 31*u - 23 - 87. Sort 1, h, u, 0 in descending order.
u, 1, 0, h
Let m = 798 - 795. Suppose -2*h + 16 = 2*h + 4*r, 9 = m*r. Put -1, h, -0.59 in decreasing order.
h, -0.59, -1
Let q(w) = 3*w**2 - 18*w + 6. Suppose 9*p = 8*p + 7. Let f be q(p). Suppose -7*h = f - 6. Sort h, 9, -1, 5.
h, -1, 5, 9
Let p = -32 - -355/11. Let y = 716/1791 - -2/8955. Sort -0.2, p, y, 3/2 in increasing order.
-0.2, p, y, 3/2
Let v = -80.7 + 83.7. Put 2, 1.12, v in decreasing order.
v, 2, 1.12
Let i = 7954/5 + -1590. Put -5, 12, i, 0.9, 0.4 in increasing order.
-5, 0.4, i, 0.9, 12
Let g = 37/2 - 189/10. Suppose 0 = -2*j + 3*j - 2. Suppose 4 = -j*r + 4*s, -2*r - 7 = -5*s - 0*s. Sort g, r, 3, 0.4 in increasing order.
g, 0.4, 3, r
Let s = 0.0828 - -0.0172. Let y be (52/(-195))/(2*(-1)/(-10)). Put y, -3, s, -2/9 in descending order.
s, -2/9, y, -3
Let v = 29.72 + -34.72. Sort v, 2, -1/3, 1/5, -5/2 in decreasing order.
2, 1/5, -1/3, -5/2, v
Let k be (-69)/(-230) - (-558)/(-1060). Let u = -17/159 + k. Sort u, 1, -5/11, 0.
-5/11, u, 0, 1
Let w be (18/(-36))/((-1)/(-5)). Suppose -4*u = 4*f, -5 = -4*u + f - 0. Let a be (3 - u)*8/(-16). Sort w, a, -4 in increasing order.
-4, w, a
Let p = -306 + 312. Let r = 35 + -35. Sort r, p, 3, -1.
-1, r, 3, p
Suppose 5*m - 3 = 3*o, 0*m - 2*m - 2*o = -14. Suppose -b - 16 = -m*r, -9*r + 4*r = -2*b - 26. Put 9, r, -5, 0 in decreasing order.
9, r, 0, -5
Suppose 2*o - 4*f = -15 - 11, -4*o - 17 = -f. Let v be (-210)/90 - 4/o. Sort 10, v, -5, 0 in decreasing order.
10, 0, 