, 0 in descending order.
w, 0, -0.2, -9
Let i = 18.96 - 15.96. Let h = -7 - -18. Sort i, 0.5, h in ascending order.
0.5, i, h
Suppose -15 + 5 = -5*p. Sort 4, p, 10, -3.
-3, p, 4, 10
Suppose i - 5 = 3*x, -i + 2*x = -3 - 0. Let n(z) = z - 16. Let m(t) = 1. Let l(y) = -m(y) + n(y). Let p be l(12). Sort i, 5, p.
p, i, 5
Let w = -12.8 + 15.8. Put 8, w, 0.2 in decreasing order.
8, w, 0.2
Let g be (1 - 3/2)/(44/(-264)). Suppose 5*h - 15 = -5*f, -24 = 3*f - 3*h - 3. Let a = f - -3. Put g, a, 4 in descending order.
4, g, a
Let z = 2.94 - -0.06. Suppose -o + 5*t + 10 = -0*o, 0 = 3*o - 4*t - 8. Suppose o = -3*y + 5*y + 5*a - 22, 0 = 5*a - 20. Put z, y, -0.4 in descending order.
z, y, -0.4
Suppose 0 = -60*o + 4060 - 5020. Let g = 2/227 + 448/681. Put 3, o, -2, g in decreasing order.
3, g, -2, o
Let t(g) = -g - 7. Let v be t(-7). Suppose 5*r - 3*j - 33 - 7 = v, 25 = -5*j. Suppose 0 = -0*w - w + r. Sort -1, w, 3.
-1, 3, w
Suppose -5*z = 5*v - 20, 2*z - v - 4 = z. Suppose -2 = 10*h - 22. Sort z, 1, -34, h in increasing order.
-34, 1, h, z
Suppose 14*r - 36 = -8. Put r, -4/7, 46 in increasing order.
-4/7, r, 46
Let a = 31.5 - 32. Suppose 1 = -2*r + 3*d - 9, -5*r = 5*d. Let x(l) = -3*l - 1. Let z be x(1). Put a, r, z in ascending order.
z, r, a
Let i be (-33)/18*(-15)/220. Suppose -4*r = -6*r - 10. Sort i, 2, -2/3, r.
r, -2/3, i, 2
Suppose -2*x - 2 = 4*m, -16 - 17 = -4*m + 5*x. Let y = 523 - 526. Let o = m - y. Sort o, -2, 4/3 in decreasing order.
o, 4/3, -2
Let g be 1 + -8 + 7 - (-3)/(-22). Sort g, -2/3, 5, -2/17 in ascending order.
-2/3, g, -2/17, 5
Let i = -0.048 + -0.352. Suppose 5*r = 5*v - 10, -2*r + 2*v = 4*v + 8. Put i, 2/17, r, -0.2 in ascending order.
r, i, -0.2, 2/17
Let h = -4 + 8. Let r = 1309.8 + -1310. Sort 3, r, h in decreasing order.
h, 3, r
Let c = 1/101 - -1201/1111. Sort -2, -4, c in descending order.
c, -2, -4
Suppose -16*x = 11*x - 108. Sort 0, -251, x in increasing order.
-251, 0, x
Let o = -16.05 - -19.05. Put o, -0.12, -3/5, -4 in descending order.
o, -0.12, -3/5, -4
Let m(b) = -2*b**3 - 17*b**2 - 3*b + 43. Let p be m(-8). Let c = -4 - -10. Put c, p, 0 in descending order.
c, p, 0
Let c = 13 + 4. Let z = c - 12. Let f = -0.2 + 0.1. Sort 3/4, f, z in descending order.
z, 3/4, f
Let s be (-10)/(-4)*68/(-170). Sort 0, -5, 6, s in ascending order.
-5, s, 0, 6
Let u = -12.72 + 13. Let a be 6 + (-3 - (-7 - -8)). Put -0.1, u, a in decreasing order.
a, u, -0.1
Suppose j + p - 7 = 10, -3*j - 5*p + 55 = 0. Let m = 20 - j. Suppose -6*n + 15 = -3*n, -5*c - m*n = -5. Sort 3, 5, c.
c, 3, 5
Let f be (-11 - (0 - 2))/(-1). Suppose -q + 3*h - 2*h = -f, 0 = -2*q + 3*h + 22. Suppose q*g = 8*g. Sort -3, g, 2.
-3, g, 2
Let n(s) = 3*s + 12. Let a(b) = -2*b - 12. Let o(d) = -4*a(d) - 3*n(d). Let x be o(14). Sort x, -3, 3.
-3, x, 3
Suppose -43 - 69 = 4*t. Sort -1, t, -5 in decreasing order.
-1, -5, t
Let g = -156 - -1406/9. Put 2, g, -5, -3 in decreasing order.
2, g, -3, -5
Let l = -4 + 2. Suppose 0 = -2*g + 4*u - 26, 0*g + 3*u - 37 = 5*g. Sort 1, l, g.
g, l, 1
Let d = -3 - -3. Let j(f) = 2*f**2 + 35*f + 18. Let b be j(-17). Sort b, -1, 2, d.
-1, d, b, 2
Let c = 77 + -36. Let y = -161/4 + c. Let r be 4/(-12) - (-50)/15. Put 3/2, y, r in ascending order.
y, 3/2, r
Let j be 3 + (-4)/((-4)/(-7)). Let b be (-6)/(-10)*(7/1 + -12). Sort -2, -1, j, b in ascending order.
j, b, -2, -1
Let l = -40 - -45. Let j = 0 - l. Put -1/6, j, 0.4 in ascending order.
j, -1/6, 0.4
Suppose -168 = -21*u - 63*u. Put u, 3, 197 in descending order.
197, 3, u
Let o be (-6 + 96/9)/((-4)/(-6)). Suppose -o*x - 12 = -3*x. Put 3, x, -2, 0 in ascending order.
x, -2, 0, 3
Let d(y) = y**3 - 2*y**2 - y - 2. Let i be d(-2). Let z be (-1)/(((-32)/112)/(8/(-14))). Put z, -3, i in decreasing order.
z, -3, i
Let r(g) = 21*g - 184. Let v be r(9). Sort -10, v, -5, -3 in decreasing order.
v, -3, -5, -10
Let t be 11 - ((1 - -9) + -4). Let o(m) = m + 11. Let i be o(-10). Let x be i/((-15)/(-6) + -3). Put t, 8, x in descending order.
8, t, x
Let p = -353 + 356. Sort p, -2, 0.
-2, 0, p
Suppose d - 15 = 3*q, -5*d - 5*q - 7 = 18. Sort 1, d, 5.
d, 1, 5
Let r = -3 + 5. Let a = 4933/7 - 709. Let v = 173/42 + a. Sort -2, v, r in decreasing order.
r, v, -2
Let r = 0.1629 + -0.2629. Put 2/17, r, -0.02 in increasing order.
r, -0.02, 2/17
Suppose -7 + 7 = -3*y. Let x(n) = n**3 - 4*n**2 + 5*n - 4. Let q be x(3). Suppose h - q = -y. Put h, 4, -3 in ascending order.
-3, h, 4
Let h = -0.087 - 0.913. Let j(q) = 2*q + 8. Let o be j(-3). Sort h, o, 2/17 in decreasing order.
o, 2/17, h
Let o = 451.2 + -451. Sort -3, o, 1/4, 4 in descending order.
4, 1/4, o, -3
Let j = 4 - 1. Suppose -j*v = 9 + 3. Sort v, 0, 4, -2 in decreasing order.
4, 0, -2, v
Suppose 0 = -w - 5, -w = -2*n + 3*w + 20. Suppose -2*j - 8*j + 10 = n. Let i be -1 + (-2 - (-12 - 0)). Sort j, i, 5.
j, 5, i
Let x be (10 + 168/(-18))*(-9)/(-2). Sort -5, x, 11.
-5, x, 11
Let r be 12/(-5)*60/24 + 8. Put 0, r, -8 in decreasing order.
r, 0, -8
Let t be 1/(-2 - 43/(-22)). Let f be 23/(-69) + t/(-30). Let x = -0.55 + 0.05. Put -3, x, f in descending order.
f, x, -3
Suppose 0 = 459*s - 455*s + 16. Sort -3, 5, s, 2 in ascending order.
s, -3, 2, 5
Let r = -1719 + 1719.1. Put -0.6, r, 2, 0.6 in increasing order.
-0.6, r, 0.6, 2
Let g be ((-8)/14)/(-10 - -12). Sort 1, -5/3, g, -0.04.
-5/3, g, -0.04, 1
Let q = 91 - 124. Let i = q + 31. Suppose 5*m = -2*r + 14, -15 = -4*m + 5*r + 16. Put -3, i, m in increasing order.
-3, i, m
Let y(m) = -m**2 + 14*m - 1. Let k be y(15). Suppose -141 + 41 = 5*l. Let i = l - k. Sort -2/7, i, -1 in increasing order.
i, -1, -2/7
Let u = -950 + 955. Sort -5, 1, u, -1 in increasing order.
-5, -1, 1, u
Suppose 4*a - 8 = -0. Suppose -22*c + 229 = 207. Sort c, -2, a, -6 in ascending order.
-6, -2, c, a
Let z = 71 + -72. Let f = -9 - -2. Let r = -4 - f. Sort r, -3, z in descending order.
r, z, -3
Let b = 1343 - 1357. Put 4, 3/4, 3, b in increasing order.
b, 3/4, 3, 4
Let c = -117 + 116.961. Let s = 3.039 + c. Sort 1, -1/3, s, -0.3 in decreasing order.
s, 1, -0.3, -1/3
Let g be 2/(-10) - 2166/(-30). Suppose -6*y - g = -10*y. Let c be (12/(-8))/(y/(-48)). Sort 0.2, c, -3 in increasing order.
-3, 0.2, c
Let h = -1 - -2. Let f be -1 + 1/h + 5. Suppose 3*g - 22 = 5*m, -2*m - 8 + 1 = -3*g. Sort 0, g, f.
g, 0, f
Let q(o) = 12*o**2 + 6 - 11*o**2 - 6*o - 1. Let f be q(6). Suppose 2*l - f*v - 4 = 31, -v - 5 = 0. Put l, -3, -5 in descending order.
l, -3, -5
Let h = -2/471 + 320/1413. Sort 5/4, h, 4, -0.5 in descending order.
4, 5/4, h, -0.5
Let i = -7862 + 7863. Let n = -4.1 - 0.9. Sort n, -0.01, i, -1.
n, -1, -0.01, i
Suppose 2*p - 98 = -5*p. Let g(l) = l - 14. Let u be g(p). Put 8, 4, u in decreasing order.
8, 4, u
Suppose -2 = f, -5*f + 3 = 3*h + 13. Sort -7, 3, 4, h in increasing order.
-7, h, 3, 4
Suppose 6*s - 3*s = 24. Let i be (s/(-2) - -1) + 4. Suppose -t - 2*a - 12 = i, 4*t + 4*a = -52. Put t, 3, 5 in increasing order.
t, 3, 5
Suppose 7*b = r + 3*b + 4, 3*b - 2 = r. Suppose -4*o = -4*d + r, 0 = o - 5*o + 5*d. Suppose 94*f - 14 = 108*f. Sort -1/4, o, f.
o, f, -1/4
Let m be (-3)/(-9) - (-7)/(-3). Suppose -3*f + 18 = 3*f. Sort f, -4, m, -6 in ascending order.
-6, -4, m, f
Let y = 11/8 + -7/8. Sort y, -52, -3, -1/4.
-52, -3, -1/4, y
Let a = -0.149 - -0.249. Put 1, a, -0.1, -2/7 in decreasing order.
1, a, -0.1, -2/7
Let z = -63 + 65.3. Let s = -2.7 + z. Let u be (-9)/(-3) + 1 + -1. Sort u, 0, s in descending order.
u, 0, s
Let z = 0.1 - 0.1. Let m be 8/(-40) - ((-504)/(-15))/(-3). Put 0.3, z, m in decreasing order.
m, 0.3, z
Let s(t) = -t + 2. Let z be s(2). Suppose -x + 2 = -z*x. Let y be (5/15)/((-62)/(-12)). Sort x, y, 0.3 in decreasing order.
x, 0.3, y
Let h(o) = -o**2 + 6*o + 9. Let t be h(7). Suppose j = -4*a + 41, a - 2*j = 15 + t. Let m = 14 - a. Sort -1, -2, m in increasing order.
-2, -1, m
Let n = 48 - 48.4. Let w = 0.14 - 0.75. Let p = -0.6 - w. Put n, p, 3/7 in descending order.
3/7, p, n
Let u = -295/2133 - -8/79. Let m = 29/45 + 1/45. Put -0.1, u, m in decreasing order.
m, u, -0.1
Let f = 2501 - 2510. Let x be 11/20 + (-4)/(-20). Sort -5, f, x, 2/13.
f, -5, 2/13, x
Let x = 2.255 + -0.255. Sort -1/7, 3/8, x, -1/2 in decreasing order.
x, 3/8, -1/7, -1/2
Let x = 18 - 23.1. Let n = 4 - 9. Let g = n - x. Put g, 4/7, -1 in descending order.
4/7, g, 