pose 0 = 75*f - 63*f + 48. Put 5, f, 4, -160 in descending order.
5, 4, f, -160
Let c = -0.2905 + 659.2905. Sort -3, -4, c, 4.
-4, -3, 4, c
Let y = 6/3061 + -82731/42854. Put -4/9, y, -2, -0.4, 1/4 in ascending order.
-2, y, -4/9, -0.4, 1/4
Let b = 1448 - 1432.27. Let v = 0.27 + b. Let z = v + -16.2. Put z, 0, 2 in ascending order.
z, 0, 2
Let g(a) = a**2 + 25*a - 116. Let c be g(4). Suppose 0*v + 3*v = 4*p - 5, 4*p + 2*v + 10 = 0. Sort p, 3, c in increasing order.
p, c, 3
Suppose 0 = -3*t + 4*b - 5, 5*t - 15*b + 20*b = -20. Sort t, -7, 244 in descending order.
244, t, -7
Let r = -7136 + 7139. Sort -3, r, -12, -5, 17 in decreasing order.
17, r, -3, -5, -12
Let o = 205 + -213. Let d = -12 - o. Sort 76, 1, d in descending order.
76, 1, d
Let o = -52 - -48. Let y be ((-6)/o)/(3/((-120)/50)). Put -5, 22, y in decreasing order.
22, y, -5
Let w = -92 + 92. Let l(j) = -j**2 + 6*j - 4. Let u be l(4). Let i(z) = -z**2 + 2*z + 3. Let y be i(u). Sort y, w, 1.
y, w, 1
Let u be (-40)/42 - (-2)/3. Let a = 215/4 + -54. Let y = 0.030301 + 3.969699. Put a, y, -2, u in descending order.
y, a, u, -2
Let w(a) = a**2 - 8*a - 3. Let o be w(8). Let z be (-8)/6*(-141)/94. Suppose -z*l - 33 = -29. Sort -25, o, l in increasing order.
-25, o, l
Suppose 4*u = u + 5*v + 26, 2*u + 2*v = -4. Let t = 52 + -59. Let l be (-5 - t)*3/(-6). Sort l, -2, u.
-2, l, u
Let j = -0.998 + 364.998. Sort 0.2, 4/7, j.
0.2, 4/7, j
Suppose v + 5 = 3*o, 2*o = -4*v + 7*o + 1. Let l = -3.9 + -1.1. Sort -0.4, v, 0.3, l in decreasing order.
v, 0.3, -0.4, l
Suppose 0 = -5*g + 50 - 10. Let j be (-207)/63 - (36/21 + -2). Let n be 9/j*((1 - -1) + -3). Sort g, 4, n in ascending order.
n, 4, g
Let m = 2 - -1. Let w = 40 + -30. Let s be (-3)/3*(-10)/(3 + -13). Sort s, w, m.
s, m, w
Let x = 0.3 + -0.3. Let q = 69.985 + -70.085. Put x, 0.21, q in ascending order.
q, x, 0.21
Let u = -396 - -246. Let g = u + 144. Put 5/6, 0.1, g, -0.4 in decreasing order.
5/6, 0.1, -0.4, g
Let v be 18/(-15)*(-60)/18. Sort v, 2, -15, 9 in increasing order.
-15, 2, v, 9
Let c(t) = -2*t**2 + 333*t + 674. Let u be c(-2). Put u, 8, 5, 2, 3 in increasing order.
u, 2, 3, 5, 8
Let w be ((-5)/5 + 1)/(-1). Let x = -1/1237 + 1241/4948. Put 66, x, w in descending order.
66, x, w
Let y(n) = 11*n**3 - n**2 - n. Let m be y(-1). Let c = 1667.45 + -1667.05. Put c, -2/17, m in increasing order.
m, -2/17, c
Let r be -5 + -1 + (6 - -4). Suppose r*t + 1 = -a - 6, -2*a = -3*t - 19. Put t, -4, -5, -2 in increasing order.
-5, -4, t, -2
Let w(f) = -496*f - 14. Let k be w(0). Sort 11, -10, k in ascending order.
k, -10, 11
Let c = -250 - -236. Let u be (800/140)/(4/c). Put 0, u, -5 in increasing order.
u, -5, 0
Let f be 4/14 - 80/35. Let z = 2 - 1.6. Put 4, z, f in descending order.
4, z, f
Let h = -18 - -10. Let k = 0.53 - 69.53. Let c = 69.5 + k. Put -3/7, -2/5, c, h in increasing order.
h, -3/7, -2/5, c
Let s = 1297 + -1296.9. Put -0.5, s, 13, 3, -1/4 in decreasing order.
13, 3, s, -1/4, -0.5
Let d = -585 - -585. Let x be ((-3)/6)/(6/(-33)). Sort 0.2, x, d, -0.1 in decreasing order.
x, 0.2, d, -0.1
Let p(f) = f**2 + 6*f + 4. Let r be p(-5). Let b = -10866 + 10874. Let i(w) = w**3 + 4*w**2 + 3*w + 1. Let v be i(-2). Sort v, b, r in decreasing order.
b, v, r
Let q be (-270)/(-234) + 4/(-26). Let h be ((-8)/(-4 + 8))/(-2)*q. Let b = -0.06 + -1.94. Sort h, 0, b.
b, 0, h
Let c = -112 - -204. Suppose -39*n = 287 - c. Put 4, -4, 5, n in descending order.
5, 4, -4, n
Let i(h) = -33*h**3 - h**2 - 2*h - 1. Let f be i(-1). Let a = -31 + f. Let w be 27/5 - (-78 + 83). Sort -8, -5, w, a in decreasing order.
a, w, -5, -8
Let h = 34 + -33.38. Let b = 47.62 - h. Let o = 47.3 - b. Sort o, 2/5, 1/5, -0.4 in ascending order.
-0.4, 1/5, o, 2/5
Let a = -3/104 - 407/312. Let m = -998.857 - -998. Let p = m + -0.143. Sort a, 3, p.
a, p, 3
Let k be (((-4)/24)/((-2)/16))/((-56)/42). Put 2, 0, 63, k, 1 in decreasing order.
63, 2, 1, 0, k
Let g(q) = -q**3 - 10*q**2 + 24. Let b be g(-10). Sort -1, 5, -3, b in increasing order.
-3, -1, 5, b
Let y be (-223)/(-138) + -2 + (-1099)/(-942). Put 0, y, -4/7 in decreasing order.
y, 0, -4/7
Let q = -2414 - -2381. Sort 3, 2, q, 38.
q, 2, 3, 38
Let k = -6.6 + -8.4. Let y = 10.03 + -9.83. Sort 5, y, k in descending order.
5, y, k
Let u = 29 + -28. Let h = 6 + -4. Suppose -h*x = -2*a - 4, 1 = -x - a - 3. Put x, u, 2, 0 in decreasing order.
2, u, 0, x
Suppose 1 = 9*d - 10*d. Let p(k) = -4*k**3 + 116*k**2 - k + 26. Let c be p(29). Put 0, 6, c, d in descending order.
6, 0, d, c
Let m(x) = -x**3 - 29*x**2 - 67*x - 358. Let d be m(-27). Put 6, d, 0.2 in decreasing order.
6, 0.2, d
Let a(d) = 8*d**2 - 91*d - 42. Let v be a(23). Put v, 2, -1 in descending order.
v, 2, -1
Suppose 19 = 3*t + z + 3, 0 = 4*t + 5*z - 36. Let o = -156 - -175. Sort o, t, -4 in descending order.
o, t, -4
Let f = -227 + 153. Let m = f - -73. Sort 144, -5, m in decreasing order.
144, m, -5
Suppose -30 + 5 = -5*u - 3*v, 0 = 5*u - 4*v + 10. Let s be 1 - 4 - (u + (-132)/28). Put -2/21, -1, s in descending order.
-2/21, s, -1
Let y = -2745 + 2741. Let s be ((-1)/(-3))/(2/60). Put -3, y, s in ascending order.
y, -3, s
Let n = -815.9 - -815. Sort 8, n, -2/9 in ascending order.
n, -2/9, 8
Let w = 1.054 + -0.954. Let z = -4.72 - 0.28. Put w, z, 5, -3/2 in ascending order.
z, -3/2, w, 5
Let g = -463 + 462.6. Let r = -2 - -2. Let z = 13/49 - 3/196. Sort g, -0.1, r, z.
g, -0.1, r, z
Let b(i) = i**3 - 70*i**2 + 1130*i + 620. Let y be b(44). Let w = -3 + 6. Sort 10, y, w, -5 in ascending order.
-5, w, y, 10
Suppose -t + 4*k - 10 = 0, 2*t = -5*k + 26 - 59. Sort t, 3, -7, -1 in decreasing order.
3, -1, -7, t
Let r be (-162)/108*24/9. Sort 7, 1/24, r, -2 in increasing order.
r, -2, 1/24, 7
Let x = 566745 - 566749. Let h = 102 + 53. Put -1, h, x in decreasing order.
h, -1, x
Suppose -3*m - 2*m - 55 = 0. Let s(c) = c**3 + 10*c**2 - 8*c - 14. Let y be s(m). Let t = y - -44. Put 1, t, -2 in decreasing order.
1, -2, t
Let q(h) = -h**3 + 19*h**2 - 13*h - 81. Let g be q(18). Sort 1, g, -0.1, -2 in descending order.
g, 1, -0.1, -2
Let z = 540.09 + -535. Let r = -5.29 + z. Let i = 0.3 + -0.4. Put -5, i, r, 2/9 in descending order.
2/9, i, r, -5
Let j = 4963 + -4958. Put 1, -2, -3, -4, j in descending order.
j, 1, -2, -3, -4
Suppose 165*a + 572*a + 2211 = 0. Sort 0, a, -5, -12, -23.
-23, -12, -5, a, 0
Suppose -16797 = 8*l - 16765. Suppose 4*j + 2*n + 3*n + 8 = 0, 3*n = -4*j. Let a = j + 0. Put a, l, 2 in descending order.
a, 2, l
Let o = 9207 + -9196. Sort o, 19, -5, -2 in descending order.
19, o, -2, -5
Let k = 4726 + -4724. Put -69, -0.2, k, 3/4, -2/13 in ascending order.
-69, -0.2, -2/13, 3/4, k
Let b = 402 - 450. Put b, -4, 5 in ascending order.
b, -4, 5
Let m be ((-9)/5)/((-378)/(-1260)). Suppose -4*r - 5 = l, 6*r = 2*r. Let f be m/(-4 - (3 + l)). Put -5, f, -2, 1 in ascending order.
-5, -2, 1, f
Let v be -6*((-4)/6 + 0). Let x = -3 + v. Suppose 6*b = 12 - 12. Put x, b, 4 in ascending order.
b, x, 4
Let s = -98.5 + 99. Put s, -4, 3, -16/9 in descending order.
3, s, -16/9, -4
Suppose 4*r + 0*r + t = -8, 0 = t - 4. Let b = -30317 - -30313. Sort b, r, -42 in ascending order.
-42, b, r
Let q(s) = 2*s + 3. Let z be q(-5). Suppose 4 = -4*g + 5*j + 3, -j = 2*g + 11. Let o = g - z. Put 0, o, 46 in increasing order.
0, o, 46
Suppose 1224 = 402*c - 426*c. Put -2, c, 19 in descending order.
19, -2, c
Let i(v) = -2*v - 9*v - 21 + v**2 - 7*v + 8*v. Let c be i(12). Put c, -4, 4 in descending order.
4, c, -4
Let l = -1373 - -1372. Let n be (4/(-3 - -2))/(-1). Let f(d) = -d**2 + 46*d - 483. Let c be f(16). Sort -4, n, c, l in ascending order.
-4, c, l, n
Let p = 66 - 384. Let b = p + 1273/4. Put 0.4, 0.03, 1, b in descending order.
1, 0.4, b, 0.03
Let n = -4 - 1. Suppose c - p = -7, 837*p = 841*p - 4. Sort c, -2, n in increasing order.
c, n, -2
Let c = -80 + 79. Suppose x = 5*v - v + 6, -x = -5*v - 8. Sort c, x, 4 in decreasing order.
4, c, x
Let t(l) = -5*l**2 - 19*l + 59. Let w(f) = -6*f**2 - 19*f + 60. Let q(h) = -7*t(h) + 6*w(h). Let v be q(15). Sort 0, 2, v, 4.
0, 2, 4, v
Suppose -46*p = 34*p - p - 158. Sort 11, -8, -4, p, -1 in increasing order.
-8, -4, -1, p, 11
Suppose 64*i - 60*i = 376. Let y = i - 94. Suppose y = -5*z + z + 12. Sort -6, -2, z.
-6, -2, z
Let y be 4/6 - (7944/792 + -9). Put y, -0.