 = 3 + -7. Let t be -2*(15/6)/(-5). Let k(x) = -3*x**2 + x. Let y be k(t). Sort y, 2, u.
u, y, 2
Suppose 0 - 52 = -4*u. Suppose -u = v - 2*b - 2*b, 1 = -v + b. Put -4, 0, v in ascending order.
-4, 0, v
Let o = -142/205 + 12/41. Put o, 2, -3, 4 in ascending order.
-3, o, 2, 4
Let g = 17 + -15. Suppose s - 5*u - 7 = 0, 28 = g*s + 2*s + 5*u. Sort s, -2, -3 in increasing order.
-3, -2, s
Suppose 0 = 53*k - 50*k + 69. Sort 2, k, -4 in descending order.
2, -4, k
Suppose -5*u = -31 - 14. Let f = 7 - u. Put 5, f, 0 in ascending order.
f, 0, 5
Let c = -1.3 - -0.3. Let f = -12.5 + 11. Let w = f - c. Sort w, 1, 1/5 in descending order.
1, 1/5, w
Let s = -5 - -5.06. Let z = -0.34 - s. Put -1, 0.02, z in increasing order.
-1, z, 0.02
Let x = 35 + -12. Let h = 23.1 - x. Put -0.5, h, -4/7 in increasing order.
-4/7, -0.5, h
Let f be (-5 - (-480)/95)*2. Put f, -1/4, 1/9 in decreasing order.
1/9, f, -1/4
Suppose -3*g - 5*s + 14 = 0, g - 14 = -3*s - 4. Let p be g/(-10) + (-2)/10. Put p, -3, -0.3 in increasing order.
-3, -0.3, p
Let q = 0.9 + 4.1. Let a = q + -2. Let n = 0.3 - 2.3. Sort -1, n, a in decreasing order.
a, -1, n
Suppose 0 = i - 2*t - 7, 4*t + 5 + 15 = 0. Sort 3, i, 1 in descending order.
3, 1, i
Let s be 1/(0 - 1)*5. Sort 2, -3, s in increasing order.
s, -3, 2
Let z = 391 + -395. Let u = 1 - 3. Sort u, z, 5.
z, u, 5
Let w = -5 + -1. Let p be (-32)/(-6) - (-2)/w. Suppose 0 = -t + 1, 5*b + 3*t - 4*t = -21. Sort p, b, 3.
b, 3, p
Let d = -34 - -34. Put -1/4, -0.5, d, 3 in descending order.
3, d, -1/4, -0.5
Suppose 4*t + 4*g - 8 = 6*g, -4 = t - 2*g. Put -8, 0, t in ascending order.
-8, 0, t
Let j = -25401 - -126563/5. Let r = -88 - j. Sort r, -0.2, -0.3 in descending order.
r, -0.2, -0.3
Let k = 27.1 - 26. Let c = 1 - k. Sort -5, 0.1, c in ascending order.
-5, c, 0.1
Suppose -3*f = -2*w - 79 - 30, -4*f + 149 = w. Suppose -5*i - 3*d = -f, 10 = -i + 5*d - 5. Let o = 0 - -0.2. Put i, o, 0.5 in descending order.
i, 0.5, o
Let a be ((-10)/(-6))/((-6)/(-18)). Let s be (1 - 1/1)/(-2). Sort 1, s, a in descending order.
a, 1, s
Let k = -1.1 + -4.6. Let i = -6 - k. Put i, 0.1, 5 in ascending order.
i, 0.1, 5
Suppose 20*r + 35 = 27*r. Put -4, -34, r in descending order.
r, -4, -34
Let z = 17 - 15. Sort -2, -3, z in decreasing order.
z, -2, -3
Let d = 3.89 + 0.11. Let g = 4 + -5. Put d, g, -4 in ascending order.
-4, g, d
Let m = -146 - -2480/17. Put -5, 2, m, 1 in decreasing order.
2, 1, m, -5
Let i = 0.15 + 5.85. Let x = i + -6. Let v(j) = 4*j**3 - 2*j**2 + j. Let y be v(1). Put 3/2, x, y in increasing order.
x, 3/2, y
Let k be -6*(-9)/((-243)/6). Put 0.12, k, 4 in decreasing order.
4, 0.12, k
Suppose 5*l = r + 9, -87 = 3*r + 2*l + 3*l. Let a = r + 23. Put -3, a, 2 in increasing order.
-3, a, 2
Suppose 3*j = -0*n - 3*n - 6, 0 = 2*n + 4. Put j, 4, -1, 1 in descending order.
4, 1, j, -1
Let k(j) = 2*j**3 - j**2 + 1. Let g be 2/1*(-14)/(-4). Suppose 2*p = m + g, -p - 3 = -3*m - 19. Let n be k(p). Sort -1, n, 4 in ascending order.
-1, n, 4
Let r = -0.98 + -0.02. Sort -0.3, r, -2/7 in decreasing order.
-2/7, -0.3, r
Let c be 0/2 + (0 - -1). Suppose -4*z + 6 = -6. Sort -2, z, c in descending order.
z, c, -2
Let a be ((-2)/(-5))/(3/(-5)). Let k = -43 - -42. Sort 3/2, a, k.
k, a, 3/2
Let b be (-1)/2*((0 - 0) + 1). Put -11, -3, -1, b in descending order.
b, -1, -3, -11
Let r be 156/(-21) - -5 - 4/7. Sort 5, r, -5, 6 in descending order.
6, 5, r, -5
Let z = 156 + -148. Sort z, 5, -1, -4 in decreasing order.
z, 5, -1, -4
Let w(h) = h**3 - 7*h**2 - 2*h + 11. Let p be w(7). Sort p, 2, -1, 0.
p, -1, 0, 2
Let c = 8.2 + -8. Let v be 1/(-4) + (-15)/4. Sort 1/4, c, v.
v, c, 1/4
Let a be (-2)/(-12) - (-3)/((-90)/(-145)). Sort 4, a, 1.
1, 4, a
Suppose -34*r + 39*r + 5 = 0. Sort -3, r, 2, -4 in descending order.
2, r, -3, -4
Let g = -4 - -8. Suppose -2*o + 0*o + g = 0. Sort 1, 3, o in ascending order.
1, o, 3
Let v = 0.066 + -5.066. Sort 4/5, -2, 2, v.
v, -2, 4/5, 2
Suppose 5*m = -5, -6*j + 3*m - 17 = -j. Sort -7, j, 2, 4 in decreasing order.
4, 2, j, -7
Suppose 3*t - 2*t + 2 = 0. Let s(l) = -2*l + 8. Let b be s(6). Sort 2, t, b.
b, t, 2
Suppose 2 = c - 3. Suppose -2*y = -4*l - 16, l + 3*y = -3*l + 4. Let u be l - (9 - -1)/(-2). Put 1, c, u in descending order.
c, u, 1
Suppose 1 + 23 = -2*i. Let f = i - -8. Let w be (-2)/((8/6)/2). Put w, -1, f in decreasing order.
-1, w, f
Let s(m) = 45*m. Let h be s(2). Put -1, h, 3 in decreasing order.
h, 3, -1
Let g = -38 - -38. Sort -11/3, g, 2, -0.5.
-11/3, -0.5, g, 2
Suppose -z - 5 + 6 = 0. Sort z, -4, -9 in descending order.
z, -4, -9
Let n = 0.05 - 4.05. Let w = -4 - 1. Sort n, -3, w in descending order.
-3, n, w
Let s = 3 - 0. Put 6, 0.4, s, 0.02 in descending order.
6, s, 0.4, 0.02
Let q be (-51)/(-15) - 4/10. Suppose -7 + 1 = q*b. Put b, -4, 4 in descending order.
4, b, -4
Let v(w) = w**2 - 13*w + 7. Let q be v(12). Sort q, 2, -3.
q, -3, 2
Suppose -g + 5*y = 1, -3*y + 15 = -0*g + 3*g. Suppose 0 = -3*l + 10 - 1. Sort l, g, -2/11 in decreasing order.
g, l, -2/11
Let i be (-2)/(-3 + 18 - 0). Let c = -85/438 + 2/73. Sort i, c, 5 in ascending order.
c, i, 5
Let w = 0.12 - -0.08. Put w, -5/7, -1/4 in decreasing order.
w, -1/4, -5/7
Let p = -2 + -2. Let v be (p/6)/(2/(-6)). Suppose 0 = 3*u + v*u. Sort -2, 2, u in descending order.
2, u, -2
Let m = -1663/9 - -185. Suppose 0*q = -q + 5. Sort m, -3, q.
-3, m, q
Let i = 36 - 37. Sort 7, i, 0.
i, 0, 7
Let v = -0.01 - -7.01. Let b = 133.3 - 140. Let z = v + b. Sort -3/5, z, 0.2 in increasing order.
-3/5, 0.2, z
Let n = -929/5 + 186. Put 3, -14, n in descending order.
3, n, -14
Let r = 4 + -4. Let q be (r + 5 + -3)/2. Suppose s + 5*x = -4 - 8, x = -4*s + 9. Sort -4, q, s.
-4, q, s
Let k(n) = -n**3 - 7*n**2 - 7*n - 9. Let t be k(-6). Sort t, 3/4, 2/11, -13 in decreasing order.
3/4, 2/11, t, -13
Let g = -0.2 + 1.9. Let u = g + -0.7. Put u, -1/6, -2/11 in decreasing order.
u, -1/6, -2/11
Suppose -2*q + 5 = 4*v + 1, 2*q - 24 = v. Sort q, -1, 5 in ascending order.
-1, 5, q
Let x = -49 - -51.7. Let m = -3 + x. Let r = -0.6 - 1.4. Sort 0.1, m, r in descending order.
0.1, m, r
Let t = 0.038 - 0.138. Let d = 43 + -29. Let l = d + -21. Sort t, l, 1/4 in decreasing order.
1/4, t, l
Let l be 2/(-11) + 3652/121. Sort 5, l, -2 in decreasing order.
l, 5, -2
Suppose -p = 4*p + c - 24, 0 = 4*p + 5*c - 36. Sort p, 2, -3 in decreasing order.
p, 2, -3
Let d be 1/(-12) + 3 + -3. Let z = d - 1/4. Put z, 0, -5 in decreasing order.
0, z, -5
Let z(a) = a**2 + 7*a + 11. Let g be z(-6). Put 3, g, 0, -26 in decreasing order.
g, 3, 0, -26
Let w = -2.9 - 0.1. Let f = -6 - w. Sort -1/6, -2/7, f in decreasing order.
-1/6, -2/7, f
Suppose -4*z = 3*t - 20, -4*z + 20 + 0 = t. Put t, -1, -3, -2 in increasing order.
-3, -2, -1, t
Let u be 34/(-66) + (-3)/(-9). Put -3, -4, u in descending order.
u, -3, -4
Suppose d - 6*d + 10 = 0. Put 4, 3, d in increasing order.
d, 3, 4
Let v = -18 - -52/3. Let g be 36/(-19) + -3 + 5. Put g, v, -0.3 in increasing order.
v, -0.3, g
Let n = -0.1 - -1.9. Let h = 2 - n. Sort h, -3, -1 in decreasing order.
h, -1, -3
Let j be (-2)/3*(-12)/(-8). Let o = 122/3 - 40. Sort o, -2/7, j in ascending order.
j, -2/7, o
Let n = 20 - 2. Let a = n + -16. Let c be -1*(3 + -1)*2. Sort -5, c, a.
-5, c, a
Let a = -24 - -43. Let b = a + -19.5. Put b, 0.4, -1 in descending order.
0.4, b, -1
Let r = 0.024 - 10.024. Sort -3, -0.4, r in increasing order.
r, -3, -0.4
Let r = 0 + -4. Suppose 10 = 2*x, 5*n = n + 4*x - 24. Let t = -1/2 - n. Sort r, t, -2/13 in increasing order.
r, -2/13, t
Let r = 16.3 + -16. Sort 3, r, -2, -3/2.
-2, -3/2, r, 3
Suppose -3*o - 4 - 2 = 0. Put -3, -5, o in descending order.
o, -3, -5
Suppose 4*t = -0*t + 16. Suppose 2*k = -4*o + 2, -5*k + 4 = t*o - 7. Let j be ((-1)/k)/(21/(-18)). Put 0.2, j, 3 in decreasing order.
3, j, 0.2
Let d = -116 - -113. Let o = 9 - 5. Sort 3, d, o in increasing order.
d, 3, o
Let v = 3.5 - -1.5. Put v, 0.05, 3 in descending order.
v, 3, 0.05
Let a = -17.44 - -18. Let u = a + -0.06. Sort u, -3/2, 2/5 in descending order.
u, 2/5, -3/2
Let n be (7 - 1)/(0 + -2). Suppose 6*p - 35 = -p. Sort 4, p, n in descending order.
p, 4, n
Let i = 48 - 48. Sort 3, i, 0.5 in ascending order.
i, 0.5, 3
Let c(h) = -3*h - 4. Let k be c(-4). Let g be ((-18)/24)/(2/k). Sort 1, -5, g in decreasing ord