 order.
u, 1/11, -2, -7
Let y = 0.11 - -0.09. Let a = 0.04 - 11.04. Let u = a + 11.5. Sort -1, u, y.
-1, y, u
Suppose 0 = -3*t + 4*t - 30. Suppose -3*w + t = 2*w. Let h be 341/(-572) - w/(-8). Put h, -5/4, 5 in increasing order.
-5/4, h, 5
Suppose -2*y + 2*g + 16 = 0, 0 = 5*y - 3*g - 9 - 25. Put y, -7, -0.2, 12 in ascending order.
-7, -0.2, y, 12
Let t(d) = 50*d - 86. Let y be t(2). Put -12, -4, y in increasing order.
-12, -4, y
Let n = 22.6 + 2.4. Let s = 25.03 - n. Sort s, -1/5, 5 in descending order.
5, s, -1/5
Let w = -120 + 120.2. Sort -0.35, w, 1/3, 3/5 in descending order.
3/5, 1/3, w, -0.35
Let h = -7 - -24. Suppose -5*k + 4*q + 21 = 0, 13*q - 12*q + 6 = 2*k. Sort -5, k, h in ascending order.
-5, k, h
Let w = 432 - 427. Let a = 4 - 2. Put -2, 0, w, a in descending order.
w, a, 0, -2
Let y = 102 + -916/9. Let r = -1164 + 6985/6. Let k = -0.1 - 0. Sort y, r, k in descending order.
y, r, k
Suppose -u - 6 = -3. Sort u, 0.1, -4, 4.
-4, u, 0.1, 4
Let n be (-675)/90*(-1)/(-20). Sort 15, -0.5, n in increasing order.
-0.5, n, 15
Suppose -5*r = -6 - 4. Suppose -2*u = r*u. Suppose 0 = -3*j - 6*j + 36. Sort 5, j, u in increasing order.
u, j, 5
Let x(a) = -4*a**2 - 29*a + 168. Let n be x(-11). Suppose 4*c - 16 = -0*c. Sort c, 5, n, -5 in ascending order.
-5, n, c, 5
Suppose 0 = 8*v - 0 - 8. Let l be -2 + ((v - 1)/2)/2. Sort l, -0.3, 4, 0.3 in increasing order.
l, -0.3, 0.3, 4
Let s(q) = 2*q + 13 - 11 + q - 4*q. Let p be s(5). Put -1/4, -2/9, p in ascending order.
p, -1/4, -2/9
Let c be 10/(-8) - 18/(-24). Let i = 0.474 + -0.274. Put -4, -9, i, c in decreasing order.
i, c, -4, -9
Suppose -8*m = -14*m + 12. Suppose -3*a = y - 0 - m, 2*a - 8 = -4*y. Sort a, -16, -1 in descending order.
a, -1, -16
Let w be (-72)/24 + (-6)/(-2) - 1. Put w, -4, -12 in increasing order.
-12, -4, w
Let y be 6/(-40) - 2/8. Let t = -325 + 320. Let h = 2.02 - 0.02. Sort t, y, h in ascending order.
t, y, h
Suppose -16 = -4*k, 2*d - k - 96 = -4*k. Put d, 4, -1 in decreasing order.
d, 4, -1
Suppose -6*t = -t - 5. Suppose 4*q = 13 + 7. Let w = q - t. Put -1, -5, w in descending order.
w, -1, -5
Suppose 5*g - 29 = -2*f, -f + g + 10 - 13 = 0. Put f, -2, -80 in increasing order.
-80, -2, f
Let s be 72/(-60)*(3/2)/3. Put -8, -1, s, 3 in descending order.
3, s, -1, -8
Let x be (-6)/(-33) + 75/11. Let m be ((-26)/(-5))/(x/(-35)). Let s = -26 - m. Put -5, s, -4 in increasing order.
-5, -4, s
Let v = -13 + 17. Sort v, 0.3, 0.11 in increasing order.
0.11, 0.3, v
Let s = -0.435 + 0.68. Let h = s - 0.045. Sort h, 0.01, -1/3.
-1/3, 0.01, h
Let r = 2538 - 2539. Let z = -9 + 6. Sort r, z, 4 in decreasing order.
4, r, z
Let t = -267 - -262. Put -9, 0, t in descending order.
0, t, -9
Let a(n) = -n**3 - n + 1. Let p be a(1). Let u(h) = 21*h. Let v be u(1). Let y be (p/v)/((-1)/6). Put -4, 2, y in increasing order.
-4, y, 2
Let x = -22 - -39. Let t = -0.64 - -0.34. Sort -6/5, t, x in descending order.
x, t, -6/5
Let m(j) = j**2 - 14*j + 2. Let g be m(5). Let w = g - -45. Let k be 8/(-3) - (-1)/(-3). Sort 0, k, w.
k, 0, w
Let b(x) = -2*x + 36. Let w be b(15). Let k be 4 - ((-24)/w)/4. Sort k, -8, -3 in increasing order.
-8, -3, k
Let d(j) = -j - 8. Let i be d(-8). Suppose 3 = -u + 2*q, i = 4*u - 2*u - q - 3. Let s be (u/(-12))/(9/8). Sort s, -5, -4 in descending order.
s, -4, -5
Let t be 3/(1*(-6)/4). Suppose y + 16*w - 18*w - 9 = 0, -19 = -3*y + 2*w. Sort y, t, -3 in descending order.
y, t, -3
Let c = 4 - 5. Let j be (2/(-32))/(9/54). Let t = 1.9 + -2. Sort c, t, j in ascending order.
c, j, t
Suppose 5*v - 3*w - 30 = 0, -5*w - 7 = -2*v + 24. Suppose 28 = -57*y - 29. Sort y, 5, -5, v in increasing order.
-5, y, v, 5
Let k be (-9)/2*(-6)/108. Suppose 2*u = 0, 2*p - 3*u = -0*p + 10. Let x = -0.1 + 0. Sort p, k, x in ascending order.
x, k, p
Suppose 5*z + 4 = -2*u - 0, -z - 10 = 5*u. Let i be (-3 - 0 - -3) + -2 + z. Put -2/3, -5, 7/2, i in descending order.
7/2, -2/3, i, -5
Let v = -230 + 231. Sort v, 2, 0 in decreasing order.
2, v, 0
Let f = 272 - 284. Sort -5, 2/5, f in increasing order.
f, -5, 2/5
Let j(o) = 6*o**2 + o + 9. Let d(s) = 3*s**2 + 4. Let n(y) = -9*d(y) + 4*j(y). Let i be n(2). Let p be (-4)/10 + 52/(-20). Put i, p, 5 in ascending order.
i, p, 5
Let o(b) = -b + 2. Let i be o(-2). Let c(w) = 2 - 8 + 8*w + 0*w**2 + 0*w - w**2. Let q be c(7). Put q, -2, i in increasing order.
-2, q, i
Suppose -3*i = -6*i + 15. Suppose -i*s - u - 17 = 0, 5*u = 2*s - 3 - 1. Put s, -1, 3 in descending order.
3, -1, s
Suppose -23*f = -31*f + 16. Let u = 2 + 1. Sort f, u, -1 in increasing order.
-1, f, u
Let l(c) = 2*c**3 - c**2 - 54*c + 7. Let i be l(-5). Sort 5, i, -12, 34 in decreasing order.
34, 5, i, -12
Suppose -3*x - 5*a + 6 = 0, -x = x + 5*a - 9. Let b be ((-2)/(-4))/((-1)/10). Let y = 134 - 130. Sort y, x, b in decreasing order.
y, x, b
Suppose 5*s + 6 = -4*l - 39, 0 = -2*l - 4*s - 30. Suppose 10*y - 7*y = -9. Let j be (-578)/(-51) + 1/y. Sort 1, l, j in ascending order.
l, 1, j
Let b be 3 + (20/(-3) - -2). Let n = 5 + -4. Let u = b + n. Sort 3, u, 1 in ascending order.
u, 1, 3
Let w be (-6)/(-1) - 21/((-231)/22). Let f(h) = h - 13. Let s be f(17). Suppose 2*d + d - 6 = 0, -6 = 4*p - 3*d. Sort w, s, p in descending order.
w, s, p
Let g = -356 - -364. Sort 14, g, 0 in ascending order.
0, g, 14
Suppose 0 = 2*r - 4*r - 4. Suppose -5*j = -3*j + 4. Let d(i) = -i**3 - 3*i**2 + 5*i + 16. Let p be d(j). Sort 8, p, r.
r, p, 8
Let q = 411 + -278. Let g = -128 + q. Sort -6, g, -4, -3 in descending order.
g, -3, -4, -6
Let h = -341327/12 + 28473. Let t = 29 - h. Sort t, 1/10, -1/4, -5.
-5, -1/4, t, 1/10
Let d = -58 + 59. Sort -0.3, d, -10.
-10, -0.3, d
Let o = 26 + -27. Let m be 1/((0 - o)*(-2)/2). Sort -11, -3, m, 5 in decreasing order.
5, m, -3, -11
Let r be (-3)/(-21)*5 + (-1)/1. Sort 0.6, 4, r, 0.3.
r, 0.3, 0.6, 4
Let n(z) = -z**2. Let c be n(-2). Let k be -3*c/(-9)*-3. Put 5, k, -1, 8 in descending order.
8, 5, k, -1
Let s = 2 - 7. Let d = 9 + s. Let r = 295 + -298. Sort d, -1, r.
r, -1, d
Suppose 0 = -5*m + m - 5*n + 3, 4*m + 21 = 3*n. Let c be ((-70)/(-21))/(2/m). Suppose -6*z + z = 2*b - 3, -17 = 5*z - 3*b. Put z, c, 5 in ascending order.
c, z, 5
Let v(r) = 2*r**2 + 4. Let l be v(6). Let m = -1142/15 + l. Sort -3/8, 7, m.
-3/8, m, 7
Let w = -3/59 + 183/118. Sort 4/5, -6/13, 4, w in increasing order.
-6/13, 4/5, w, 4
Suppose 0 = -4*s - 20, 5*p = -2*s + 1 - 16. Let x be 3/(-5) - p/(-10)*4. Put -5, 2, 0, x in increasing order.
-5, x, 0, 2
Let x(g) = 13*g - 4. Let j be x(0). Sort j, -0.3, -19 in ascending order.
-19, j, -0.3
Suppose 7 = -5*q - 8, 0 = -4*r - 5*q - 3. Suppose m = -4*j - 4, -3*m + 7 = -j + 6. Put 2, j, 4, r in descending order.
4, r, 2, j
Suppose 3*l + 2*l = 30. Let z be 42/8 - l/24. Suppose k = -5*c - 23, -5*c - 4*k - z - 12 = 0. Put c, -6, 4 in ascending order.
-6, c, 4
Suppose 10*t - 44*t + 585 = 31*t. Let l be 1 - (-1 - (-1)/1). Put l, t, 4 in decreasing order.
t, 4, l
Let h be 96/22 - (-48)/(-12). Put h, 4, -4 in decreasing order.
4, h, -4
Let c(w) = w**3 + 5*w**2 + 4*w + 3. Let g be c(-4). Suppose 23*i - 21*i - 20 = 0. Suppose -23*k - i = 59. Put k, 5, g in increasing order.
k, g, 5
Let i = 3.333 + -3.533. Suppose 3*w + 1 = 3*g + g, -4*w - 16 = 2*g. Sort 2/15, w, 0.5, i in decreasing order.
0.5, 2/15, i, w
Let l be ((-1)/11)/(-4 + 3). Suppose 0 = 3*a + 61 - 49. Let q = 0.51 + -0.01. Sort a, l, q.
a, l, q
Let x = -0.8 + 8.8. Let j = 2.5 - x. Let k = -6 - j. Sort k, 3, -3.
-3, k, 3
Suppose 0*h = -5*k - h + 15, 0 = -4*h - 20. Suppose u = k - 0. Let p be 7/(-10) + u/8. Sort -3, -0.1, p in descending order.
-0.1, p, -3
Let f(s) = -s**2 - 14*s - 49. Let i be f(-7). Let z be ((-5)/2)/((-2)/(-4)). Sort z, i, 1.
z, i, 1
Let l(m) = -70*m + 38 + 34*m - 5 + 34*m. Let p be l(17). Put 2, -4, 4, p in descending order.
4, 2, p, -4
Suppose -3*z = 2*k - 7, -435*z + 433*z = 2*k - 4. Suppose -t - 2*t = 3. Sort t, -5, z in ascending order.
-5, t, z
Suppose -2*q + 19 = 3*i - 0*q, 0 = -5*i + 2*q + 5. Sort i, -3, -5 in increasing order.
-5, -3, i
Let n = -9.7 + 10. Sort -8, 3/2, n, 4 in descending order.
4, 3/2, n, -8
Suppose -22 + 6 = -2*g. Suppose 51 = -g*h + 11. Sort 0.6, -0.3, h.
h, -0.3, 0.6
Suppose 7 = 5*y + 3*h, -y - 12*h + 11 = -9*h. Let c = -3 + 1. Put y, c, -5 in ascending order.
-5, c, y
Let k = -1