, 10 = -3*f - 5*n. Sort 5, r, f in ascending order.
f, r, 5
Suppose -x + 5 = -2*y + 6, -x - 3 = -y. Suppose 5*j = 72 + 88. Let h = -35 + j. Sort 0, h, y in increasing order.
h, y, 0
Let q = 3.5 + -4. Let j = -4 - q. Let i = 3 + j. Put 4, -3, i in descending order.
4, i, -3
Let z = 0.26 + -0.06. Let k be (-1 - (-6)/4)*2. Put k, z, 0.5 in decreasing order.
k, 0.5, z
Let p(b) = -274*b - 3. Let y be p(0). Sort 2, 366, y in ascending order.
y, 2, 366
Let o(z) = -z**3 + 7*z - 12. Let u be o(-3). Put u, -8, -2 in descending order.
-2, u, -8
Suppose 220*u + 257 = 40*u + 77. Suppose 2*n - 8 = -3*x, 0*x + 3*x - n - 5 = 0. Put -5, u, -3, x in increasing order.
-5, -3, u, x
Let p = 1222 - 1253. Let v = -28.7 + -2.3. Let g = v - p. Put -2, g, -0.8 in descending order.
g, -0.8, -2
Let x = 44 + -42. Let z be ((-1)/5)/((-3)/15). Let r be 1*(2 + -3) + z. Put r, 1/7, x in descending order.
x, 1/7, r
Suppose -41*u = -45*u + 3*l - 28, -u = l. Sort u, 3, -20, 5 in increasing order.
-20, u, 3, 5
Let v = 1383.8 - 1384. Sort 0.1, 18, v, 1/4 in descending order.
18, 1/4, 0.1, v
Let a = -0.0649 + -0.4351. Sort a, 1, -0.1, 0.5.
a, -0.1, 0.5, 1
Suppose 2*c - 11*c = 9. Put c, 26, -5 in decreasing order.
26, c, -5
Suppose 248*w - 291*w = -602. Let o = -10 + 14. Put o, w, 2 in decreasing order.
w, o, 2
Let m(q) = q**3 + 11*q**2 + 11*q + 14. Let v be m(-10). Suppose 5*i = -v*a + 27, 4*a - 21 = a - 4*i. Sort -3, -5, a in ascending order.
-5, -3, a
Let k(v) = -v**2 + 56*v + 375. Let y be k(62). Sort -28, -9, y in descending order.
y, -9, -28
Suppose s = a - 3*s - 5, 4*s = -5*a - 23. Let y be 4/(1403/138 + 2/(-12)). Sort y, -0.5, a, 0.2 in ascending order.
a, -0.5, 0.2, y
Let q(z) = -5*z**2 - z - 1. Let m be q(-1). Let j = 978 + -976. Put -3, j, m in decreasing order.
j, -3, m
Let n = 918 + -913. Put n, 2, 8 in descending order.
8, n, 2
Let a(m) = -m**3 + 2*m**2 - 125. Let o be a(0). Let j = o + 128. Let i be ((1 - 2) + 10)*1. Put j, i, -3 in ascending order.
-3, j, i
Let u = 5.12 + -5. Let a(q) = 6*q**2 - 18*q - 2. Let b be a(3). Sort b, u, 0.4 in ascending order.
b, u, 0.4
Let k be 68*((7 - 5)/4)/1. Put k, 2/13, -5, -3 in increasing order.
-5, -3, 2/13, k
Let s = 22 - 28.5. Let c = -32 + 25. Let m = s - c. Put -1/4, -1, m in ascending order.
-1, -1/4, m
Suppose s - 31 = -5*x - 2*s, -2*s - 6 = -2*x. Let i = 21 + x. Suppose 4 = f - 5*w, -w - i = -0*f + 4*f. Put 5, f, -1 in increasing order.
f, -1, 5
Let v = 17 + -14. Suppose 0 = -3*p + 21 - 6. Sort -3, p, v in descending order.
p, v, -3
Let m = -3359 + 3358.5. Let u = -38 + 113/3. Sort u, -4/5, m.
-4/5, m, u
Let t = -874 - -886. Sort -3, 4, t.
-3, 4, t
Let r = -376 - -379. Sort 2, r, 84.
2, r, 84
Suppose -2*k = 3*l - 3*k + 14, -5*l - 24 = -2*k. Put 5, 26, l in descending order.
26, 5, l
Let h(v) = 3*v**3 - 3*v**2 + v**2 - 2*v**3 + 3*v**2. Let a be h(-1). Sort -6, a, -1 in decreasing order.
a, -1, -6
Let m be -2 + 0*(-1)/2. Let f(j) = 6*j + 108. Let s be f(-15). Suppose 0 = -3*a - 9, 0 = 2*h + 4*a - 4 + s. Put 4, m, h in descending order.
4, h, m
Suppose 13 = -f + 7. Let d = -30 - -25. Sort f, -4, d in increasing order.
f, d, -4
Suppose 0 = -2*u + 2*f - 26 + 30, -2*u + 3*f = -8. Suppose 0 = -r - 2*r + 3*j, j = -4*r. Sort 4, u, r, 5 in decreasing order.
5, 4, r, u
Let j = 17 - 22. Suppose -2*u + 3*u = 6. Let k = u + -2. Sort 5, j, k.
j, k, 5
Let a be (-2)/(-6)*(20 - -1). Suppose -4*r - 20 = -0*o + 2*o, a = -o - r. Let b be 3/(-2)*(-10)/(-3). Put 0, o, b in descending order.
0, o, b
Suppose i + 0 = -6. Sort -2, -4, i, 3 in decreasing order.
3, -2, -4, i
Let z = -244.2 + 244. Let r = 62.92 + -63. Put r, 3/5, z in descending order.
3/5, r, z
Suppose -4*w = -0*w + 20. Suppose -4*g - 7 - 34 = -5*t, -5*t + 7*g + 53 = 0. Suppose c - 4*c = 0. Sort t, w, c in descending order.
t, c, w
Let a(p) = -p**2 - 29*p + 496. Let v be a(-41). Let f = -2 + 4. Put v, 1/5, f, 0.1 in decreasing order.
v, f, 1/5, 0.1
Suppose 5*b = 11 - 1. Suppose -4*s + 2*z = 5 + 11, -s + 6 = b*z. Sort -3, s, 5 in decreasing order.
5, s, -3
Let q = 0.241 + 0.159. Let p be -3 + 1 + 14/6. Sort -7, q, p, 1 in decreasing order.
1, q, p, -7
Let c be (-6)/27*3 + 20/(-42). Let l = c - -47/35. Sort l, -2/15, 5 in ascending order.
-2/15, l, 5
Suppose 10 = -2*r + 4. Let n be (-10)/(-4)*r/15. Sort n, 2/3, -0.07 in descending order.
2/3, -0.07, n
Let t = 0.02 - 4.02. Let h = -135 - -128. Sort t, 1, h in ascending order.
h, t, 1
Let k = 529 - 470. Sort 5, 0, k, 1.
0, 1, 5, k
Let j be (54 - 55)/(-1 + 2). Sort j, 6, 0, -4 in descending order.
6, 0, j, -4
Let d(f) = 2*f**2 - 1. Let p be d(-1). Let y be (2/(-6))/((-17)/153). Suppose 0 = -2*z + y*z. Sort 2, p, z.
z, p, 2
Suppose 59*s - 215 - 80 = 0. Sort -16, s, -7, 4 in decreasing order.
s, 4, -7, -16
Let x = -165 - -167. Sort -2, -8, x in increasing order.
-8, -2, x
Let b = 177 + -177. Sort -0.08, b, 4.
-0.08, b, 4
Let l = 179.7 + -180. Sort 0.01, l, 2/5, 1/3 in ascending order.
l, 0.01, 1/3, 2/5
Suppose -2*c + 1 = -3. Let n be 0/((-30)/(-9)*(-12)/(-20)). Let f = c - n. Put f, -1/5, -1/4 in ascending order.
-1/4, -1/5, f
Suppose -2 = 2*a + 3*s, 4*s - 3*s - 2 = 0. Put -2, a, -3, -5 in ascending order.
-5, a, -3, -2
Let v = 1.34 - 0.34. Put -5, 0.5, v in ascending order.
-5, 0.5, v
Let n(h) = h**3 - 10*h**2 + h + 65. Let r be n(9). Put r, -6, 4, 3 in increasing order.
r, -6, 3, 4
Let i = -3.7 + 0.7. Let x = -0.32 - -0.02. Let k = -23 + 21. Put i, x, k in increasing order.
i, k, x
Suppose -5*a - 5 = -20. Suppose -4*g - 39 = -a*l, -5*l - 4*g = 18 - 83. Sort 0, l, -5.
-5, 0, l
Let f be ((-74)/(-4))/(9/18). Let a = f - 27. Sort a, -3, 2 in decreasing order.
a, 2, -3
Suppose 0 = -2*v - 4*q + 62, -8*q + 31 = v - 5*q. Suppose v - 11 = -5*a. Let i be (2 + a)/(4/2). Sort -3, -6, i in descending order.
i, -3, -6
Suppose -3*o - 2*o - 5 = 0, -j - 5*o - 1 = 0. Suppose j*c - 8 = 2*c. Suppose -i = 4*k - c, 3*k + 10 = -2*i + 4*k. Sort 3, i, -3 in descending order.
3, -3, i
Let d = 7 - 7.3. Let k be -5*((-114)/36 - -3). Put k, d, -2/3 in increasing order.
-2/3, d, k
Let v(w) = -4*w**2 + 19*w - 25. Let z be v(2). Sort 808, z, -1 in descending order.
808, -1, z
Let w = 0.33 - 0.63. Let c = -15.29 - -0.29. Let v = -12 - c. Put v, w, 0.1 in ascending order.
w, 0.1, v
Suppose 3 = -3*q - 9. Let n(m) = -m**2 - 103*m - 2. Let x be n(0). Put x, 4/7, q in descending order.
4/7, x, q
Suppose 0 = -j + 5*j. Put -2, 8, j in decreasing order.
8, j, -2
Suppose 27*a = 26*a - 3. Sort 6, -5, 5, a in descending order.
6, 5, a, -5
Let i = -179.9 - -179. Sort i, -4/9, 1/2.
i, -4/9, 1/2
Let m be (-2 + 1)*(3 - 2). Let d be m - (9/(-6) + 1). Let i = 79/2 - 39. Sort d, i, 4 in descending order.
4, i, d
Let w = -1621 + 1621.2. Let l = -4 - 0. Sort l, -0.01, -3, w.
l, -3, -0.01, w
Let b be (-28)/70 - (-96)/(-10). Let l be (4/b)/(1/10). Suppose -3 = -2*j + 5*m + 5, 2*m - 1 = 5*j. Sort -7, l, j in descending order.
j, l, -7
Let o(v) = v**3 + 11*v**2 + 10*v + 2. Let c be o(-10). Suppose 2*n = -27 + 19. Put n, 8, c, 0 in descending order.
8, c, 0, n
Let f(g) = 4*g - 3. Let r be f(7). Suppose -4*o + 5*b - 10 = r, -4*o - 8 = 4*b. Let h = -5 + 2. Sort -8, h, o in decreasing order.
h, o, -8
Let x = -378 - -374. Suppose 0 = 2*m + 2*m + 12. Sort m, -2, x in decreasing order.
-2, m, x
Suppose 2*y - 2*n + 6*n = 14, -3*n + 30 = -5*y. Put y, -5, 4, -4 in increasing order.
-5, -4, y, 4
Suppose -80*a = -75*a. Put -2, 5, a in descending order.
5, a, -2
Let y be (-6)/(-27) - (-4)/(-18). Let m be (44/8 - 3) + (-6)/4. Let j be -1 - -4 - 2 - 2. Sort y, j, m in decreasing order.
m, y, j
Let w = 7.8 - 8.11. Let v = -0.21 - w. Put -0.1, -0.03, v in decreasing order.
v, -0.03, -0.1
Let k = -1/162 + -319/810. Sort 5, -1/9, k.
k, -1/9, 5
Let k be (-7)/(-35) - 87/(-15). Suppose 3*y - k = -3. Let u(g) = -2*g. Let z be u(-1). Sort z, y, 4 in increasing order.
y, z, 4
Let t(y) = 5*y**3. Let x be t(1). Suppose 22 = -3*s - 2*r, x*s + 11 = s + r. Let b(q) = q**3 + 3*q**2 + 2*q + 2. Let g be b(-2). Sort s, 1, g.
s, 1, g
Suppose -10 - 11 = -3*j. Let w = j - 3. Suppose -w = -3*b - 1. Sort b, 0, 5 in ascending order.
0, b, 5
Suppose j + 0*f = 2*f + 5, -32 = -4*j - 4*f. Let u = 11 - j. Suppose 17 = -u*y + 9. Sort y, -5, 1 in ascending order.
-5, y, 1
Let z = 0.33 + -0.27. Let a = z + -2.66. Let i = 0.4 - a. Sort i, 