13, u in ascending order.
u, 2/13, o
Suppose 0*y = -5*y + 120. Let o be (y/20)/(-3) - 0. Let f = 0.3 - -0.7. Put o, f, 0.2 in decreasing order.
f, 0.2, o
Suppose 5*h - 41 = -2*w, -h - 16 = -4*w + 33. Sort -18, 4, w in descending order.
w, 4, -18
Suppose t + 8*q = 4*q + 34, t - q - 44 = 0. Let n be 1/28 + (-12)/t. Put 0.3, 2/3, n in decreasing order.
2/3, 0.3, n
Suppose -12 = -3*t, 3*l - l - t - 6 = 0. Sort l, 2, -2/7, -0.4 in decreasing order.
l, 2, -2/7, -0.4
Let j = 3.37 - 2.87. Put j, 0.04, -1, 0 in increasing order.
-1, 0, 0.04, j
Let n(j) = 10*j + 156. Let k be n(-15). Put 9, k, 2 in ascending order.
2, k, 9
Let m = -1129 - -1128.8. Let t = -2 + 2. Sort 2, m, t, 1/3 in descending order.
2, 1/3, t, m
Let l(f) = -f - 11. Let w be 2 + 1 + -2 - 8. Let h be l(w). Suppose 5*o = 3*o + 6. Sort -3, h, o in decreasing order.
o, -3, h
Let d be (-80)/(-36) - (-2)/(-9). Suppose d*x = -3*x + 35. Let r = -2 + x. Sort r, 0, 5/6.
0, 5/6, r
Let w = -0.633 - 3.367. Let a(s) = 2*s - 3. Let p be a(4). Put 1/4, w, 2/9, p in ascending order.
w, 2/9, 1/4, p
Let q = -819 - -818. Put 3, q, -29 in descending order.
3, q, -29
Let v = -50 + 49. Let q = -20 - -30. Put q, v, 3 in decreasing order.
q, 3, v
Let q = -2.74 - -2.34. Put -1, q, -16 in increasing order.
-16, -1, q
Let u(a) = a**2 - 12. Let l be u(-4). Sort -5, -8, l, 3 in ascending order.
-8, -5, 3, l
Suppose -4 = 6*m - 6*i + 2*i, -12 = -3*i. Let q = -346 + 6576/19. Put -0.01, m, q in descending order.
m, q, -0.01
Let q = 26 + 33. Let l = q + -58. Put -0.5, l, -1/4, 6/7 in increasing order.
-0.5, -1/4, 6/7, l
Suppose 5*i + 4*l + 25 = 3*l, 4*l = 2*i + 10. Let p = -607.9 - -607.5. Put 9, p, i, -2 in increasing order.
i, -2, p, 9
Suppose -6*q - 5*j = -4*q - 24, 0 = -5*q + j + 6. Sort 3, q, 4, -38 in decreasing order.
4, 3, q, -38
Let f = 43 + -38. Put 0, -3, -4, f in decreasing order.
f, 0, -3, -4
Suppose 2*q = 3*q - 3, -5*q = 3*r - 27. Suppose 40 = -12*m - 8. Let a be 0 + (25/(-40))/(m/32). Sort a, r, -4.
-4, r, a
Let z(f) = -3*f + 1. Let x be z(1). Suppose u - 23 = 5*v, 4*u + 2*v = 5 - 1. Sort 9, x, u in ascending order.
x, u, 9
Let t = 24167/9401 + 1/1343. Sort 0.06, 1/3, t in increasing order.
0.06, 1/3, t
Let y = -97.09 + 97. Sort y, 2, -0.5 in decreasing order.
2, y, -0.5
Let n be ((-1)/3)/(4/48). Let o be n + 7/(84/32). Let k = 0 - -0.5. Sort o, 0.8, k.
o, k, 0.8
Let b = -0.6 + 3.6. Let w = -0.031 - 0.269. Sort -2/19, w, b in increasing order.
w, -2/19, b
Suppose 0 = -3*o + 8*g - 3*g - 19, 0 = -o + g - 3. Let k = 3.6 - 3. Put k, 0.2, o, 4 in descending order.
4, o, k, 0.2
Suppose 9 = -5*v - 6. Let x be 14/6*(-3768)/44. Let f = -200 - x. Sort f, 5, v.
v, f, 5
Let g = 282 - 286. Sort -8, -0.5, g, 1.
-8, g, -0.5, 1
Let o be 1/((-1)/(-9 - 0)). Let m = o + -14. Let y be (-84)/(48/(-4)) + -5. Sort m, y, -3 in ascending order.
m, -3, y
Let i(x) = -2*x - 12. Let b be i(-6). Let n be ((-20)/12)/(2/(-12)). Suppose 4*r + n = -2*a - 0, a + 3 = -r. Sort 2, r, b in increasing order.
r, b, 2
Let d = 43 - 50. Suppose 2*j - 10 = -0. Put d, -3, j in decreasing order.
j, -3, d
Let y = -9/22 - -1/2. Suppose r - 8 = -r. Sort y, -5, r in increasing order.
-5, y, r
Let x(h) = -3*h. Let s be x(-4). Let o(t) = t**3 - 10*t**2 - t - 5. Let u be o(10). Let p = s + u. Sort 11, 0.3, p.
p, 0.3, 11
Let x be -1*1*(4 - 1). Let a(m) = 183*m + 915. Let c be a(-5). Sort -12, c, x, -5.
-12, -5, x, c
Let u(o) = o**3 - 7*o**2 + 10*o - 12. Let j be u(6). Suppose j*d = 5*d + 21. Sort -3, 4, d in descending order.
4, d, -3
Suppose -4*i = -2*v + 58, -2*i + 72 = 3*v - 5*i. Sort 0, v, -9, -1 in ascending order.
-9, -1, 0, v
Let p = 1.622 + -2.022. Sort p, 2/5, 0 in increasing order.
p, 0, 2/5
Let h = 5.52 + -5.62. Sort -2/5, 5, 0.5, h.
-2/5, h, 0.5, 5
Let w = -1828.8 - -1829. Sort 0.5, 0.93, w in decreasing order.
0.93, 0.5, w
Suppose 0 = 2*a + 3*i - 33, 4*a - 43 = -3*i + 20. Let j be (6/4 - -1)*(-18)/a. Sort 0, -4, j, 3.
-4, j, 0, 3
Let k be 44/10 - 338/845. Put -13, -7, k in descending order.
k, -7, -13
Let i = 117.1 + -117. Sort 10/13, 2/3, i in increasing order.
i, 2/3, 10/13
Let z be (-5 - 18/(-4))*0. Let v be -2 + 7*(1 + 0). Suppose -q + 3*q - 3*d + 1 = 0, -5*d = -2*q - 7. Sort z, v, q in ascending order.
z, q, v
Suppose 2*m = -89 + 101. Suppose 5 = -4*r - 7. Sort r, -1, m in increasing order.
r, -1, m
Let g = -47/2 + 241/10. Let t = -60815/9 - -6775. Let d = t + -18. Put d, g, 1/4 in ascending order.
d, 1/4, g
Let s(j) = 2*j**3 - 4*j**2 + 3*j - 2. Let w be s(2). Suppose 0 = 32*r + 55 + 41. Put -1, w, r in decreasing order.
w, -1, r
Suppose -4*a = 5*p - 418, -30 + 24 = 2*a. Sort 5, p, -2, -4 in decreasing order.
p, 5, -2, -4
Suppose -2*q + 2 - 26 = 0. Let l be (q/(-14))/((-7)/98). Let s be 2/4 + (-6)/l. Sort s, 0, 2 in ascending order.
0, s, 2
Let u = 46 - 93/2. Let w = 11 - -12. Let n = 29 - w. Sort u, n, 5 in ascending order.
u, 5, n
Suppose -2*p = -2*k, 5*p - 2*k + 4*k + 7 = 0. Sort 1/4, p, -4, -0.3.
-4, p, -0.3, 1/4
Let x(f) = 3*f**2 - 2*f + 1. Let u be x(2). Suppose 0 = -5*c + u - 4. Let t(o) = -o + 2. Let g be t(3). Sort -6, c, g in descending order.
c, g, -6
Suppose 7*c - 48 = -153. Let w = c + 17. Sort 6, w, 5, -2.
-2, w, 5, 6
Let t(f) = -f - 1. Let k be t(0). Let l = -5522 + 5526. Put 0, k, l in descending order.
l, 0, k
Let r be -101 - (-1)/(3*3/9). Let g = r + 103. Put 5, 8, g, 4 in decreasing order.
8, 5, 4, g
Let f be 2 + (-5)/(5/6). Let i(l) = l**2 - 9*l - 47. Let h be i(13). Put f, -1, -3, h in ascending order.
f, -3, -1, h
Let h = -5.466 - 0.534. Suppose 4*u = -12 - 0. Sort 2/7, h, u.
h, u, 2/7
Let t = 69 - 100. Let z = t - -156/5. Let j = -703 + 703.5. Sort z, -5, j in descending order.
j, z, -5
Let x(a) = a**2 - 10*a - 21. Let h be x(12). Sort 6, 5, h, -2 in descending order.
6, 5, h, -2
Let s = -1 + 1. Let c be (33/(-33))/((-2 + 1)/2). Let w = 9 + -6. Put c, s, w in ascending order.
s, c, w
Let f be 2 + 1 + -2 - 37. Sort f, 2, 5 in ascending order.
f, 2, 5
Let c(i) = -4*i**2 - 2*i - 1. Let x be c(-1). Let a be ((-7)/((-252)/(-27)))/((-1)/4). Put a, x, -4 in decreasing order.
a, x, -4
Let d(h) = -h**2 - 10*h - 1. Let q be d(-10). Sort q, -14, -3, 3.
-14, -3, q, 3
Let h = 144 - 203. Sort h, 5, -0.5, 4.
h, -0.5, 4, 5
Let z = 2 - -1. Suppose 3*y = -7 - 5. Put 2, y, -2, z in descending order.
z, 2, -2, y
Suppose -16 + 10 = -2*j. Put -5, j, -2, -1 in ascending order.
-5, -2, -1, j
Suppose -5*h - 5 = 0, -b - h = 3*b + 97. Let s = 47/2 + b. Let p = 0.178 - 1.478. Sort -3, p, s.
-3, p, s
Suppose a - 2*n - 7 = -4*n, -2 = -n. Suppose 0 = h - 2*o + 5, 4*h = -0*o + a*o - 30. Put 4, -5, h in ascending order.
h, -5, 4
Suppose -33*q + 2*q = 124. Put 5, q, -5 in increasing order.
-5, q, 5
Let k be (-48)/(-30) + -2 - (-12)/15. Put 3/26, k, -1 in increasing order.
-1, 3/26, k
Suppose -7*w = 4*w - 264. Suppose 5*x + p = -w, 5*x - 7*x = 4*p + 24. Let l(f) = f - 3. Let s be l(4). Sort s, x, 2 in descending order.
2, s, x
Let k(s) = -s**2 - 116*s - 334. Let m be k(-3). Sort -23, -39, m in descending order.
m, -23, -39
Let q be 4/16 - (-1 + 1). Suppose 0 = s + 5*c - 19, -11 = -5*s + 3*c. Suppose -1 = -4*i + s*k - 13, -2*k + 5 = -3*i. Put i, q, -5 in decreasing order.
i, q, -5
Let a(b) = 6*b + 52. Let c be a(0). Let w be (-21)/(-18)*c/273. Put w, -2/9, -0.5 in increasing order.
-0.5, -2/9, w
Suppose -i + 60 = -7*i. Let f be 48/i + (-72)/(-90). Let b = 2 + -2.2. Sort b, 4, f in increasing order.
f, b, 4
Let p = -30 + 29. Let z = -22.6 - -23. Sort 2/19, p, z in increasing order.
p, 2/19, z
Let x = -11 + 13. Let y be (-1)/((-33)/(-15) + -2). Let j(n) = 7*n**2 - n + 1. Let q be j(1). Sort x, q, y.
y, x, q
Let k = 4.8 + -5. Let y = 0.523 + -0.123. Sort -5, -1, y, k in increasing order.
-5, -1, k, y
Let r be (1/(-6))/(9/27)*-2. Sort -3, 4, 49, r in descending order.
49, 4, r, -3
Let m = -8 + 7.9. Let j = -26.3 + 26. Put -1/3, m, j, 3 in increasing order.
-1/3, j, m, 3
Let q = -0.617 - -0.117. Sort 2/7, q, 3/7, -3 in descending order.
3/7, 2/7, q, -3
Let s = -18 - -27. Let a be s/(-2)*6/9. Suppose 0 = 5*u + 21 - 1. Sort a, u, -2 in descending order.
-2, a, u
Let w(u) = 2*u**2 - 27*u + 55. Let x be w(11). Suppose 2*h + 15 = 5*h - 2*l, 2*h - l = 10. Sort h, x, 2, 3 in decreasing order.
h, 3, 2, x
Let m = -1.5 + 7.5. Let n = -802 - -797. Let p = -20 + 20.