0. Put 4, u, 1, 3 in ascending order.
1, 3, 4, u
Suppose 0 = -n + 27 + 7. Suppose 4*u - 3*f = 35, 42*u - 41*u - 10 = f. Put n, -4, 3, u in decreasing order.
n, u, 3, -4
Suppose 0 = 4*a - 20, 2*y = -y + 5*a - 25. Suppose -3*d + 3 + 0 = y. Let v = -0.038 + 0.138. Sort v, -2, d.
-2, v, d
Let y = -2 + 2. Suppose 5*u + 5 + 5 = y. Suppose 9*z + 1 = b + 5*z, 0 = -5*b - z - 16. Put b, u, -1 in decreasing order.
-1, u, b
Suppose -23*v + 42 = -16*v. Sort -2, v, 17, -5.
-5, -2, v, 17
Suppose 5 = 5*s - 10*s. Let a = -0.672 + -4.138. Let l = a + -0.19. Sort 0.4, l, s.
l, s, 0.4
Let q = -26.2 - 1.8. Let g = -29 - q. Let m = -3 - -5. Sort g, m, 5 in decreasing order.
5, m, g
Suppose 4*y - 42 = i, i - 2*y = 3*y - 43. Let j = i + 43. Put -1/3, 1, j in descending order.
j, 1, -1/3
Let u = 11 - 10.5. Let i be 39/(-12) + (-2)/(-8). Let w = 0 + -4. Put u, i, w in ascending order.
w, i, u
Let i be (-2)/8 - 50/(-8). Let w be 6 - 4/i*3. Suppose 0 = -21*c + 44 - 2. Put w, 1, c in descending order.
w, c, 1
Suppose -2*l = -2*t - 2, 3*t - 29 = l + 8*t. Sort -3, l, -1, 15 in descending order.
15, -1, -3, l
Suppose 1 = -z, 32*z + 7 = 3*r + 37*z. Suppose -2*v - 3*v + 19 = -4*g, 4*v = 12. Let c = 4 + -3. Put c, g, r in decreasing order.
r, c, g
Let u be 5/((3/(-3))/2). Let y(h) = -8*h**2 - 4*h + 2. Let d be y(-1). Put u, d, 1 in descending order.
1, d, u
Suppose 7*q = 31 + 18. Suppose -q*j - 42 = -0*j. Put j, -5, 0 in increasing order.
j, -5, 0
Let k = 139 - 153. Sort -4, 0, k.
k, -4, 0
Let h = -0.003 + 0.003. Let m = 375 + -1879/5. Put m, h, -3 in descending order.
h, m, -3
Let q = 22 - 6. Suppose -44 = 3*i + q. Let m be ((-6)/(-8))/(5/i). Put 1, m, 0.4 in ascending order.
m, 0.4, 1
Let f(m) = -4*m**2 + 22*m + 15. Let p be f(6). Sort -11, p, 1 in descending order.
p, 1, -11
Suppose 0 = -5*w + 5*t + 25, -94*t = -93*t + 5. Let c be 1/1 - (-14)/(-10). Let a = 0.6 + -0.3. Put w, c, a in decreasing order.
a, w, c
Let c = 9.5 - 9.4. Suppose 0 = -0*n + 5*n + 25. Sort 3, n, c in decreasing order.
3, c, n
Let n(s) = -s**2 + 7*s - 3. Let x be n(5). Let z = x - 2. Suppose 6*u + 3*m = 2*u - 14, 5*m + 15 = -z*u. Put -4, u, -1 in ascending order.
u, -4, -1
Suppose -2*c + 20 = 3*c. Suppose c*t - 22 = 10. Let m = t + -12. Put m, 4, 2 in decreasing order.
4, 2, m
Let h(a) = a**2 - 16*a + 65. Let i be h(11). Put i, 5, -1, -5 in ascending order.
-5, -1, 5, i
Let j = 5.9 + 2.1. Let x = 13.3 - j. Let n = x + -1.3. Sort 3/7, -2/5, n in decreasing order.
n, 3/7, -2/5
Let k = -18 + 14. Let l = k - 3. Put 2/5, l, 4 in decreasing order.
4, 2/5, l
Suppose a - 2 = 0, -5*r - 6*a + 108 = -2*a. Suppose -10*n + 8*n + 6 = 0. Suppose 0 = n*g + 2*g - r. Put -4, -3, g in decreasing order.
g, -3, -4
Let c(y) = y**2. Let d be c(2). Suppose d*m - 18 = -2*m. Suppose 3*v - m = 0, v - 9 = 2*l - 6*l. Sort -4, 3, l in decreasing order.
3, l, -4
Suppose 0 = -6*s - 8*s + 6*s. Sort -4, s, -3, 3.
-4, -3, s, 3
Suppose -29*c - 86 = 14*c. Sort -32, c, 5 in descending order.
5, c, -32
Suppose -5*g - 3*r + 17 = 0, g + 19 = -0*g + 5*r. Sort 14, g, 2, -4 in descending order.
14, 2, g, -4
Let y(d) = -3*d - 38. Suppose -10 = 4*v + 34. Let a be y(v). Put a, 4, 2 in decreasing order.
4, 2, a
Let o = 8 - 13. Let z = 1355 - 1348. Sort o, z, -1 in decreasing order.
z, -1, o
Let u be -12*(6/9*-6)/(-3). Let r = u - -7. Put 2, 3, r in decreasing order.
3, 2, r
Let k(z) = -z**2 - 7*z + 10. Let c(f) = f**2 - 1. Let h be c(-1). Suppose 0 = 4*g + 4, -5*u + h*u + 5*g - 35 = 0. Let o be k(u). Sort -3, o, -4.
-4, -3, o
Let g = -4.473 - -0.473. Put -1, 0, g, -2/7 in decreasing order.
0, -2/7, -1, g
Let s = 345 - 195. Let v = 147.1 - s. Put 1/6, v, -0.4 in descending order.
1/6, -0.4, v
Let h be 16/(-18)*366/488 - (-22)/6. Suppose 0 = -5*k - 23 + 3. Put 5, h, k, -1 in ascending order.
k, -1, h, 5
Let g(l) = l + 3. Let c be g(-4). Let t be (((-9)/15)/c)/(-1). Let p be (3/6)/(14/4). Sort t, p, 1 in increasing order.
t, p, 1
Suppose 3 = -3*f - 15. Let s = -89 + 177. Let v = s + -92. Put f, v, 5 in decreasing order.
5, v, f
Let c be (-12)/(-7) - 14/(-49). Let v be (3/c)/((-1)/(-2)). Suppose 10*k = 15*k - 20. Sort v, k, -2 in decreasing order.
k, v, -2
Let c = -7 + 17. Let q = -2 - c. Let y be (-12)/q + (-1 - -4). Put -1, y, -4 in decreasing order.
y, -1, -4
Let l(g) = g**2 - 10*g - 14. Let y be l(11). Suppose 21*r - 15*r + 24 = 0. Sort 2, r, y in descending order.
2, y, r
Let v be ((-90)/(-150))/(1/10*-2). Sort -537, 5, v in descending order.
5, v, -537
Let p be (-7)/(-2) - (0 - 4/(-8)). Suppose -p*y - m = 5, -5*y + m = -0*y + 11. Suppose -w + 5 = 3*l - 2*w, 2*l - 6 = -2*w. Put l, y, 5 in ascending order.
y, l, 5
Let r = -718 + 722. Suppose y - 6 = -4. Let a(m) = -m**2 - 2*m - 1. Let h be a(-2). Sort r, h, y.
h, y, r
Let i = 0.0662 - 3.0662. Let x = 9 - 14. Put 3.3, i, x in descending order.
3.3, i, x
Let u(y) = -y + 10. Let v be u(7). Suppose r + 3*o - 1 = 2*r, v*r = o - 3. Let j = 476 + -471. Put r, 3, j in decreasing order.
j, 3, r
Let q(g) = -g - 10. Let r be q(0). Let f = 14 + r. Let j(p) = p**3 - 8*p**2 - 13*p + 33. Let s be j(9). Put f, s, -1 in descending order.
f, -1, s
Let m = 1/66 - 205/462. Let q = 29/35 + m. Sort 0.2, -1/3, q, 4.
-1/3, 0.2, q, 4
Let m = -254/15 + 84/5. Let q = 413/138 + -65/23. Sort q, m, -2/35.
m, -2/35, q
Let f be 7/35 + (-21)/5. Sort 1, f, -273, 3 in decreasing order.
3, 1, f, -273
Let b(v) = -v**3 - 9*v**2 + 11*v + 15. Let j be b(-10). Sort 1, j, 2, -5 in ascending order.
-5, 1, 2, j
Let b = 6 - -4. Let w be (4 + -4)/(-1 + 2). Put 0.2, -0.1, w, b in descending order.
b, 0.2, w, -0.1
Let d = 0.64 - 0.7. Let c = 4.06 + d. Let l = 5228 - 5223. Put l, -5, c in decreasing order.
l, c, -5
Suppose -10*h = -14*h + 920. Let o be (h/(-69))/((-2)/3). Suppose f - 2*f - 5*r - 14 = 0, 6 = -4*f + 5*r. Put o, f, -1 in increasing order.
f, -1, o
Let w = -3928/15 + 262. Let j = -512/133 - -84/19. Let r be (-16)/44*2/4. Sort r, w, j in increasing order.
r, w, j
Let k(n) = -186*n - 4. Let g be k(2). Let b = -5642/15 - g. Put -1, b, -2 in decreasing order.
b, -1, -2
Suppose 3*c + 2 - 5 = 0. Let u be (-1 + 1 - 5)/(-1). Sort c, -10, u in descending order.
u, c, -10
Let a(z) = -z**3 + 3*z**2 + 2*z + 4. Let d be a(4). Suppose 0 = l + l - 16. Suppose 0 = 5*p + 5*g - 15, l = -5*p - 3*g + 21. Put d, p, 1 in descending order.
p, 1, d
Suppose -5*l - 25 = -u - u, -2*l - 16 = -2*u. Let s = 16 - 16. Suppose s = 6*z + 5 + 19. Put 3, z, l in ascending order.
z, l, 3
Suppose 0 = g + 3, 4*y = g + 3*g + 28. Sort y, 1, 26 in descending order.
26, y, 1
Let p be (1 + 7)*(-6 + 7). Let w(v) = v**3 - 9*v**2 + 8*v - 2. Let y be w(p). Let k = 7 + -6. Put y, k, -4 in descending order.
k, y, -4
Let c = 118 - 123. Sort c, 10, 2.
c, 2, 10
Let m be 3*3/18*1. Let g = 10.8 + -11. Sort g, m, -4, -0.5.
-4, -0.5, g, m
Let v be (-45)/405 - (-1 + 1). Let c = -0.03 + -1.97. Suppose 2*b + 4 = -2*b. Sort c, b, v in increasing order.
c, b, v
Let d = 8.4 - 5.4. Sort 21, d, 5 in ascending order.
d, 5, 21
Suppose -14 = -3*r + r. Put 4, 13, r in ascending order.
4, r, 13
Suppose 10 = h + h. Let z = -1404.1 - -1404. Put h, -0.3, z, -2 in increasing order.
-2, -0.3, z, h
Suppose 2*c - 7*c - 10 = 0. Let b be (36/3 - 1) + -16. Put -3, c, b, -1 in descending order.
-1, c, -3, b
Suppose -18 = 4*l - 2*l. Suppose -5*r + 7 = -18. Suppose -r = 5*m - 15. Put m, 5, l in ascending order.
l, m, 5
Let p be 265/(-1)*(-112)/420. Let w = p - 71. Put w, -4, 1/5 in ascending order.
-4, w, 1/5
Let w(l) = -2*l**2 + 3*l + 4. Let d be w(4). Let x = 95 + -119. Let s be 8/6 + d/x. Put s, -3, -2 in increasing order.
-3, -2, s
Suppose 0 = 4*w + 5*a + 27, -2*w - 21 = 4*a - 3. Put w, -1, -456 in decreasing order.
-1, w, -456
Let o = 2.6 - -0.4. Suppose 5*z - 25 = 4*s + 6, -15 = 3*z. Let l = s + 29/2. Sort o, -0.1, l in decreasing order.
o, l, -0.1
Let y = 1402 - 1402. Put y, -4, 103 in descending order.
103, y, -4
Let t = 40 + -45. Sort t, 2, -1, 5 in descending order.
5, 2, -1, t
Let r = 2 - 9. Let f = -0.04 - -10.04. Let z = f + r. Put 0.4, -2/11, z in ascending order.
-2/11, 0.4, z
Let i = -2888 - -2893. Sort 9, 0, i in ascending order.
0, i, 9
Let b(z) = z**3 + 7*z**2 + 7*z + 3. Let i be b(-5). Let r be ((-9)/i)/((-2)/(-24)). Sort -4, 4, r in decreasing order.
4, -4, r
Let t = -479292 + 194112718/405. 