-130*v + f*v - 18. Sort 7, 1, v in decreasing order.
7, 1, v
Suppose 28*m - 14*m = 70. Suppose 120 - 130 = -5*u. Suppose -3*t + 7 = c, -5*c + 8 = -5*t - 7. Put c, -3, u, m in decreasing order.
m, c, u, -3
Let q be 2/(16/6)*273/(-351). Put -23/5, 5, -5, q in decreasing order.
5, q, -23/5, -5
Let s = 4960 - 4845. Sort 5, 2, s.
2, 5, s
Let o = -11072 + 11070. Put 12/7, o, 4, -2/7 in ascending order.
o, -2/7, 12/7, 4
Let l = -273.13 + 273.03. Sort -3144, l, 1 in decreasing order.
1, l, -3144
Let u = 10.3 + 7.7. Let s = u + 24. Let t = s - 44. Sort 1, 2, t.
t, 1, 2
Let a = -1496 + 1509. Let z = 9 - 0. Suppose 0 = -z*b + a - 4. Sort b, 5, -11.
-11, b, 5
Let l = 121 + -63. Let o = l - 63. Let p = 6 + 2. Put p, -1/2, o, 4 in increasing order.
o, -1/2, 4, p
Suppose 0 = 9*y - 2*y + 35. Put 261, y, 0 in decreasing order.
261, 0, y
Let k = 1306 + -1306.1. Sort k, 2, -2/69, 1 in descending order.
2, 1, -2/69, k
Let i = 1773 + -1773. Suppose 3 + 13 = -4*a. Put -3/34, a, -4/5, i in increasing order.
a, -4/5, -3/34, i
Suppose 13*v + 375 = 8*v + 2*n, 0 = -2*n + 10. Let z = -2/607 + -1196/5463. Sort z, 0.4, v.
v, z, 0.4
Let j(s) = -3*s + 11. Let p be j(3). Let g be 21/(-63) + (-1)/(-3). Sort p, 7, g in ascending order.
g, p, 7
Let p be (-100)/(-26) - (-4 + 100/26). Suppose 2*k = 4*o + 56, p*k + o + 4*o = 47. Suppose 0*g - 3*g = -k. Sort g, -6, 1 in decreasing order.
g, 1, -6
Suppose k + 172 = -5*f, -2*k + 55 = -5*f - 111. Let w = 38 + f. Put 6, w, -1 in ascending order.
-1, w, 6
Let w = -36.93 + 37. Let h = -149 - -129. Let g = h + 19.8. Put w, -4, -0.3, g in ascending order.
-4, -0.3, g, w
Let f(o) = 162*o - 3724. Let p be f(23). Sort 3, p, -12, 17, 5.
-12, p, 3, 5, 17
Let q(d) = 4*d**3 + 10*d + 1. Let r be q(3). Let f = -137 + r. Put f, -2, -3, -15 in ascending order.
-15, -3, -2, f
Let p = 45577 - 45535.978. Let z = p + -0.022. Let s = 40.7 - z. Put s, -1, -0.07, 5 in decreasing order.
5, -0.07, s, -1
Let f(v) = v - 9. Let g(h) = h**3 - 4*h**2 + 10*h - 6. Let k be g(2). Let u be f(k). Let o = 13 - 12.7. Put u, 0.2, o in decreasing order.
o, 0.2, u
Suppose d + 3*d - 32 = 0. Suppose 0 = 22*g - 14*g + 42*g. Put d, 6, g in descending order.
d, 6, g
Let t = -2.4 + 2.34. Let q = -8.9 - -9. Let i = 1380 - 1385. Sort q, -0.3, i, t.
i, -0.3, t, q
Let c = 0.1368 - 0.124. Let a = c + -0.2128. Sort -4/13, -3/2, a, 2/17.
-3/2, -4/13, a, 2/17
Let u be -1*1*(36/6 - 8). Suppose -u*l = -x + l - 9, 6 = 3*l. Put 3, 11, x in decreasing order.
11, 3, x
Suppose -s + 20 = 5*y, 0 = 130*y - 127*y + 2*s - 12. Let j be (2 - 1)/((-2)/10). Sort y, -4, j, -7.
-7, j, -4, y
Let r = 0.216 - -0.184. Let l = -0.081 - -3.081. Put -5, r, l in descending order.
l, r, -5
Let g = -5943 - -5942.98. Sort 1/7, g, -3/4 in descending order.
1/7, g, -3/4
Let v = 29 + -27. Suppose 31 = 4*h - 5*z, -3*h + 2*z + 26 = v*h. Let r be (-517)/44 + 7 + 2/(-8). Sort -6, h, r, -3 in descending order.
h, -3, r, -6
Let o(f) = -f**3 - 40*f**2 - 41*f - 68. Suppose -9 = a - 12, 4*k = 4*a - 168. Let n be o(k). Sort n, -1, -6 in decreasing order.
n, -1, -6
Suppose 3*g - 2*o = 21, 3*g + 2*o = -6 + 27. Suppose 0 = 4*l - 5*c + g, 3*l + c + 2 - 11 = 0. Sort -4, -3, l, 5 in decreasing order.
5, l, -3, -4
Let k(r) = 2*r - 16. Let z be k(10). Suppose v - 4 = -v + 2*s, 0 = -2*v - 3*s + z. Suppose 0 = -v*w - 26 + 16. Sort 2, w, 5 in ascending order.
w, 2, 5
Let s = -2/255 + 64/935. Let i = 319/835 + 3/167. Put i, 1/5, s in descending order.
i, 1/5, s
Let r = -39870 - -39922. Sort -5, r, -11 in decreasing order.
r, -5, -11
Let i be 18/36*(-10 - -4) - (-17)/6. Put 68, i, 0 in ascending order.
i, 0, 68
Suppose 2*y + 19 = -5*m, -y + 3*m - 89 = -96. Sort 15, 2, -4, y in decreasing order.
15, 2, y, -4
Let q = -2350.8 + 2350. Put q, 0.4, -3, 0, 4 in increasing order.
-3, q, 0, 0.4, 4
Let b = -930 + 2711/3. Let o = b + 389/15. Let h = 9 + -4. Put h, o, -0.06 in increasing order.
o, -0.06, h
Let h = -819.8 - -819.3. Sort 2, -0.7, 2/19, h in ascending order.
-0.7, h, 2/19, 2
Let q = -2 + 2. Let t be (0 + 1)*(q - 3). Suppose 3*h = -4*a + 12, 2*a = 4*a + 2*h - 8. Put t, -1, a, -12 in descending order.
a, -1, t, -12
Let b be ((-48)/32)/(3/(-4)). Suppose 0 = -6*h + 13 + 17. Suppose 5*y = -5*t - h, 24 = t - 2*y - 2*y. Put t, b, 5 in descending order.
5, t, b
Suppose -123*w = -31*w + 66*w + 177434. Sort w, 0, -1 in increasing order.
w, -1, 0
Suppose -5*a = 3*t - 43, 0 = -7*t + 4*t - a + 35. Suppose -t*b + 0*b - 253 = 0. Suppose 4*s = 3 + 13. Sort b, -1, 1, s in descending order.
s, 1, -1, b
Let x be ((-7)/6)/(12915/(-2460)). Let u be (4/30)/(2/(-6)). Sort u, -8/9, x, -5 in increasing order.
-5, -8/9, u, x
Let h = 10 - 19/2. Let w be ((-2352)/(-5586))/((-12)/(-38)). Put h, w, -2/5 in descending order.
w, h, -2/5
Suppose s = 5*g - 6, -5*s + 48 = -g + 6. Let d be 12/s*((-45)/6)/(-5). Let c be d/3*(-24 + 6). Sort 1, 5, c.
c, 1, 5
Let t = 485 + 128. Let g = t - 612. Let i = -4.6 + 5. Put -5, g, i, -4 in decreasing order.
g, i, -4, -5
Let i(b) = -b**3 - 10*b**2 + 15*b - 109. Let h be i(-12). Put h, -13, -18 in decreasing order.
h, -13, -18
Let k = -39.84 - -1.84. Put k, -2/11, -0.01, 0.1 in decreasing order.
0.1, -0.01, -2/11, k
Let h = 1.9 + -0.4. Let g = -2.5 - h. Let l = 680 - 680.2. Sort g, l, -2/13 in increasing order.
g, l, -2/13
Suppose -9231 = 251*r + 139612. Sort 2/13, 4, -2/5, 0, r in descending order.
4, 2/13, 0, -2/5, r
Let j(o) = -o**3 - 20*o**2 + 24*o + 64. Let v be j(-21). Sort -6, -5, v, 2.
-6, -5, v, 2
Let a be (2145 + 3)*35/224. Let g = 336 - a. Put -2/19, g, -5/8 in ascending order.
-5/8, -2/19, g
Let g be ((-44)/(-48) - 1)*(-1 - 1 - 0). Put -17, g, 0.2, 7/4, 1 in increasing order.
-17, g, 0.2, 1, 7/4
Let a be 13 + -7 + 1764/(-293). Sort -0.5, -1, a, 4/5.
-1, -0.5, a, 4/5
Let a = 4254.41 - 4253.91. Let y = 26 + -36. Sort y, a, 0.01 in ascending order.
y, 0.01, a
Let f = 4994 + -4992. Put f, 4, -475, -3 in descending order.
4, f, -3, -475
Let y be ((-4)/6)/((-3)/(-9) + 1). Suppose -6*i - 16 = -2*i. Let m be 15/i - 6/(-2). Sort 4, y, m in decreasing order.
4, y, m
Let f be 1/3 - 50/(-30). Let l = 11 - 7. Suppose 2*q - u + 6 = -f*q, 0 = 3*q - u + l. Sort 2/7, 0.12, q in descending order.
2/7, 0.12, q
Suppose 5*y = 17*y - 252. Suppose 0 = n - 3*b + 4*b + 6, -y = n - 4*b. Let h be (2 - 0)*20/10. Sort 0.5, h, n in ascending order.
n, 0.5, h
Let r(f) = 2*f - 12. Let j be r(6). Suppose j*p = 2*p - 18. Let g = -5 + p. Sort g, -0.04, 5 in decreasing order.
5, g, -0.04
Suppose 5*u - 40 - 35 = 0. Let x(i) = 425*i - 9756. Let a be x(23). Sort u, a, 5.
5, u, a
Let c be 5*(12 + -3)*1. Suppose -c*h + 10 = -50*h. Let l = 0 + -4. Put h, 4, l in increasing order.
l, h, 4
Let c = -0.36277 + 0.16277. Let m = 2 + -1.5. Put 0.2, c, -4, m in decreasing order.
m, 0.2, c, -4
Let r = -0.6 - -0.5. Let l = -216 + 217. Let m be l*-3*(0 + (-2)/(-4)). Sort 2/13, r, m, 4/3 in increasing order.
m, r, 2/13, 4/3
Suppose k = 4, -2*y + 18 = -602*k + 605*k. Suppose 1 = -3*z + 4. Sort 4, 0, z, y.
0, z, y, 4
Let x = 20 + -38. Let h = -58123 - -58122.6. Put h, x, 0 in decreasing order.
0, h, x
Suppose u = t + 3 + 4, -8 = u + 4*t. Let z = 5029.96 - 5030.1. Let b = -740/7 + 106. Put z, b, u, -3/4 in decreasing order.
u, b, z, -3/4
Suppose -57 + 21 = -96*q + 156. Sort -136, -3, 3, q, -4 in ascending order.
-136, -4, -3, q, 3
Let j(a) = -3*a + 71. Let s be j(20). Suppose s*d - 8 = 36. Sort 5, d, 2 in decreasing order.
5, d, 2
Let r = 3 + 1. Let d = -931 - -1153. Let u = d - 222.07. Put r, u, -2 in decreasing order.
r, u, -2
Let m be ((-11)/2)/(-11)*(-1)/4. Let z = 22 + -36. Let f = -16 - z. Put -8, f, m in descending order.
m, f, -8
Suppose -20*v - 144 = 96. Let q be 3/(-2*(-9)/v). Sort q, 2, -5, 13 in ascending order.
-5, q, 2, 13
Let v = 135/92 + -33/46. Put 2, v, 16, -1, -3 in increasing order.
-3, -1, v, 2, 16
Let h(x) = x**2 - 15*x - 130. Let y be h(-6). Sort y, 13/2, 5, 0.5, -11 in descending order.
13/2, 5, 0.5, y, -11
Let z = -14.596 + -1.404. Sort z, -0.29, -5.
z, -5, -0.29
Let q = 2309 - 2613.3. Let b = q - -304. Sort -0.2, -2, b, -1/2 in increasing order.
-2, -1/2, b, -0.2
Let i = 0.693 - 4.693. Put 3/7, 1/479, 2, i in decreasing order.
2, 3/7, 1/479, i
Let t = 3346 + -3346.5. Sort -0.12, t, -5, 3 in ascending order.
-5, t, -0.12, 3
Let l = -293 - -4397/15. Let d