-5*b - 3*v, 0 = 2*b + 2*v + 2. Let h be (-63)/(-12) - 1/b. Let a = -9 + 6. Sort 2, h, a in decreasing order.
h, 2, a
Let t be -4 + 60/8 + -3. Let v = 1 - 1. Put 3, t, v in ascending order.
v, t, 3
Suppose t - 1 - 3 = -2*n, -4*n + 36 = -5*t. Let p be (2*2/4)/1. Sort n, p, 0.
0, p, n
Let y(p) = -7*p**3 - p**2 + 1. Let d be y(1). Let m be 1*(d/(-9) + -1). Let f = 6 + -11/2. Sort -5, f, m in ascending order.
-5, m, f
Let d be (-4)/(-22) + 27/33. Put -2, d, -3 in ascending order.
-3, -2, d
Let r be (-25)/10 - 3/2. Suppose 3*q = -5*i + 3 + 1, -3*i = -q - 8. Put i, r, -1 in increasing order.
r, -1, i
Suppose -4*r = 3*p - 2 - 8, r - 4*p + 7 = 0. Let x be (-8)/(-48) - 19/6. Sort r, 5, x in ascending order.
x, r, 5
Let p = 2.7 + -3. Let h(o) = 3*o**2 + 101*o - 39. Let n be h(-34). Let a = -266/3 + 88. Sort p, n, a in increasing order.
n, a, p
Let d be (-4 - -3)*(-1)/(-1). Let i(n) = 2*n + 1. Let h be i(1). Let p be (-50)/(-15) + 2/h. Put -3, d, p in ascending order.
-3, d, p
Let t = -35 + 34.9. Put 0.09, t, -1/2 in ascending order.
-1/2, t, 0.09
Let k(l) = 3*l**2 + 7*l - 10. Let b(g) = 2*g**2 + 3*g - 5. Let u(s) = 5*b(s) - 3*k(s). Let h be u(5). Let v = 18 - 23. Put h, v, -3 in increasing order.
v, -3, h
Let p = 0.13 + 0.15. Let o = -0.12 - p. Put 3/4, 1/3, o in decreasing order.
3/4, 1/3, o
Suppose -4*g - 9 - 15 = 0. Suppose 0*n = 2*n - 3*x + 19, 0 = 3*x - 15. Put g, n, 0 in ascending order.
g, n, 0
Let b = 3 - -2. Put b, 1/4, -5 in decreasing order.
b, 1/4, -5
Let v(y) = -y. Let f be (-3)/7 - 44/28. Let w be v(f). Put 5, 0, w in increasing order.
0, w, 5
Suppose 2*f - 13 + 0 = -3*l, 0 = l - 2*f + 9. Let q be 10 + 1 - (l - 0). Let o be (-12)/q - 1/(-5). Put -5, o, 5 in decreasing order.
5, o, -5
Suppose -4*m - 17 = w, 0 = 3*w + 5*m + 17 + 13. Let x = -31 + 35. Sort w, x, 14 in ascending order.
w, x, 14
Let w be (-30)/(-3)*((-4)/(-2))/(-4). Sort 2, w, -4.
w, -4, 2
Let u be 1/(-6)*3/2. Suppose s = 2 - 0. Suppose s*x = z + 2, -z + 0*z - 8 = 4*x. Put 0.1, x, u in ascending order.
x, u, 0.1
Suppose -7*h - 3*w + 10 = -2*h, -w = -4*h + 25. Let q(m) = -2*m + 1. Let t be q(2). Put t, 2, h in descending order.
h, 2, t
Let n = 359/22 + -33/2. Put 5, n, 1/6 in decreasing order.
5, 1/6, n
Let k = -3 + 15. Let r = -7 + k. Put 0.5, r, 1/5 in decreasing order.
r, 0.5, 1/5
Suppose -2*j + 5 + 11 = -4*h, -3*h = 4*j - 21. Let s = j - 11. Let d = 0.85 + -0.65. Put s, d, -2/17 in decreasing order.
d, -2/17, s
Let i = -0.4 + 0.5. Let r be (32/(-280))/((-39)/(-21) + -1). Put r, i, -3 in decreasing order.
i, r, -3
Let a = 0.5 - 0.4. Let o = 0.03 - -0.27. Let h = o + 0.2. Sort h, 2/11, a in ascending order.
a, 2/11, h
Let z(s) = s**2 + 11*s + 27. Let b be z(-6). Put -2, b, -4, 0 in decreasing order.
0, -2, b, -4
Suppose -17 = -3*b - 2, 3*b = -4*w + 35. Put 0, -4, w in decreasing order.
w, 0, -4
Let o = 0.08 - -0.62. Let k = -172 - -177. Sort o, 3, k.
o, 3, k
Let t = 18 - 19.7. Let o = t + -1.3. Sort -0.1, 2, o in descending order.
2, -0.1, o
Let m = -52788 + 2956257/56. Let n = -23/8 + m. Sort n, -0.5, -5.
-5, n, -0.5
Let x be -1*(-2)/3*3. Suppose 8 = 4*m + g, -2*m + 8 = x*m + 5*g. Let h be (m/(-4))/((-3)/(-12)). Put 4, -5, h in ascending order.
-5, h, 4
Let l = -4 - -6. Let z = 1.7 - l. Put -4, z, 1 in decreasing order.
1, z, -4
Let p = -147 - -142. Sort 7, 4, p in descending order.
7, 4, p
Suppose -9*y + 7*y = -8. Suppose 16 = -2*t + 4*n, 4*t + 2 + 6 = -y*n. Let m = 235 + -2583/11. Sort t, m, 1/2 in descending order.
1/2, m, t
Let a be ((-4)/(-33))/((-10)/(-15)). Sort a, 0.2, -1.
-1, a, 0.2
Suppose -1 = 4*k + 7. Suppose -3 = -4*x - 7. Let z(y) = -y**2 - 3. Let l be z(0). Sort l, x, k in decreasing order.
x, k, l
Let i be (11/(-5))/((-48)/30). Let s = 1/27945 - 1704701/1564920. Let h = s + i. Put h, 0.2, 4 in ascending order.
0.2, h, 4
Let w(v) = -v**2 + 5*v - 2. Let h be w(5). Put h, -3, 3 in increasing order.
-3, h, 3
Let i(p) = -p**2 - 6*p + 6. Let w(g) = -g**3 - 5*g**2 + 6*g - 7. Let t be w(-6). Let k be i(t). Let c be -1 + 1*2/(-1). Sort k, 2, c in decreasing order.
2, k, c
Let s = 55 + -54. Sort -1, s, 4 in descending order.
4, s, -1
Let y(c) = -c**2 + 11*c - 12. Let u(k) = -4*k - 6. Let l be u(-4). Let r be y(l). Put 5, r, 4 in ascending order.
r, 4, 5
Let t = 29 - 27. Put -4, t, 5, -1 in increasing order.
-4, -1, t, 5
Let v be (-14)/8 + 3/(-12). Put -3, -1, v in descending order.
-1, v, -3
Suppose 3*t - 10 = 2. Let s be (-2 - (0 - 2))/(-2). Sort t, s, -2 in descending order.
t, s, -2
Let w = 0.58 + -0.88. Sort -2/11, -0.1, -1.7, w in decreasing order.
-0.1, -2/11, w, -1.7
Let m be (-44)/(-154) - 26/(-56). Sort -3, m, 9 in descending order.
9, m, -3
Let c(j) = j**2 - 6*j + 3. Let t be c(6). Let x(s) = s**2 - 6*s - 5. Let y be x(6). Sort 1, t, y in increasing order.
y, 1, t
Let a = -0.6 - -0.8. Suppose c + 2 = 4*n - 0, 0 = -5*n + 3*c - 1. Let s be 9/20*(-15)/(-18). Sort n, s, a in increasing order.
a, s, n
Suppose -3*c = 1 - 10. Put c, -2, 1 in descending order.
c, 1, -2
Let a(h) = h**2 + 12*h + 15. Let w be a(-11). Sort 0, -6, w in ascending order.
-6, 0, w
Let c(p) = -p - 3. Let y be c(2). Put 1, 5, -2, y in descending order.
5, 1, -2, y
Suppose -4*y + 36 = -y. Put 3, -4, y in decreasing order.
y, 3, -4
Let a be (-5 + 3)*20/8. Sort a, 1, 2.
a, 1, 2
Let f = 7 + -11. Let n = 1 - 1. Suppose 3*k = -18*k - 21. Put n, f, k in ascending order.
f, k, n
Let q = -1 - -0.5. Let c = q - -1. Let n = 0.2 - c. Sort n, -1/5, -1/6 in decreasing order.
-1/6, -1/5, n
Let b = -2 + 1.5. Let i = 0.4 - -0.6. Let y = b + i. Sort 2, -0.2, y in descending order.
2, y, -0.2
Let p = 0.17 - 0.57. Put p, -0.5, 0 in decreasing order.
0, p, -0.5
Let h = 12 - 16. Put -5, 3, h in ascending order.
-5, h, 3
Let h = 0 + -1. Suppose -u + 5*i - 1 = -17, 0 = -u + 4*i + 14. Let y be 1 - (-1)/u*-4. Put h, y, 0.3 in decreasing order.
y, 0.3, h
Let q be 2/(-70) - 10/25. Let g = -0.09 - 14.91. Let l = g + 11. Sort l, q, 3/7 in decreasing order.
3/7, q, l
Let n = -384 - -183. Let b = 1411/7 + n. Sort 0.5, 4, b in increasing order.
0.5, b, 4
Let q = -0.276 - -0.276. Let o = 0 - 1. Sort o, 1, q in descending order.
1, q, o
Suppose 0 = 2*n + 231 + 65. Let o = n + 1630/11. Let t = -0.7 + -0.3. Put o, 4, t in decreasing order.
4, o, t
Let j = -90 + 126. Let s be 1/6 + 66/j. Put 3/5, s, 12 in ascending order.
3/5, s, 12
Suppose -2*p + 8 = -0*p. Sort p, -5, -3 in ascending order.
-5, -3, p
Let s = 17 - 17.4. Put s, -2/3, -4 in decreasing order.
s, -2/3, -4
Let h(c) = 3 + 1 - 4 - c**2 + 2. Let g be h(0). Sort -5, 5, g.
-5, g, 5
Let n = 1 - 1. Let t = n - -1. Let h(x) = 2*x + 3. Let i be h(-3). Sort i, 1/2, t in ascending order.
i, 1/2, t
Let f = -1.003 - -0.003. Sort -3/7, f, 1/4 in descending order.
1/4, -3/7, f
Let z = 6.8 + -6. Let w = z + -0.3. Let c = -0.6 - -0.7. Sort w, c, 0.3.
c, 0.3, w
Suppose 0 = -2*v + v + 3*j - 15, 3*j = 3*v + 15. Suppose -5 = 6*y - y. Put 5, y, v in ascending order.
y, v, 5
Let j = 54 - 56. Put j, -3, 5, -13 in decreasing order.
5, j, -3, -13
Let c be (-4)/((-8)/4) - 0. Suppose 2*o + 0 = -5*i - c, -4*o = i - 14. Sort -3, i, -5 in increasing order.
-5, -3, i
Let c = -3.99 + 4. Let y = c + -0.31. Sort y, -3, 3 in decreasing order.
3, y, -3
Let f = 0 + 2. Let j be (-3)/(-5) - f/(-5). Put -2, -4, j in ascending order.
-4, -2, j
Let i(p) = p**3 - 10*p**2 - 12*p + 9. Let b be i(11). Sort -3, 5, b in ascending order.
-3, b, 5
Let o = 4 + -3.91. Let s = o - -2.91. Put 1/6, s, 4 in increasing order.
1/6, s, 4
Let v = -90 - -90. Put 2/9, -6, v, -0.1 in increasing order.
-6, -0.1, v, 2/9
Let n = 153 + -165. Put 5, n, 0 in descending order.
5, 0, n
Let m = 2.1 - 2.1. Put 3, m, -0.7 in ascending order.
-0.7, m, 3
Let n = -2 + 4. Let z = -24.03 - -24. Put n, z, -0.4 in decreasing order.
n, z, -0.4
Let d = -5 - -3. Let o(r) = -r - 5. Let q be o(-7). Let w be (-9)/(5 + -2) - q. Put d, w, -4 in ascending order.
w, -4, d
Let s = 709/10 + -71. Sort -4, s, 2, 0 in decreasing order.
2, 0, s, -4
Let c be 2/(-32)*(-62)/6. Let o = c + 1/48. Put -0.1, -1/2, o in ascending order.
-1/2, -0.1, o
Let v be -1 - (-44)/16 - 1/(-4). Let y be (-4)/(-10) - 17/55. Let n = -1 + -1. Put v, y, n in descending order.
v, y, n
Let w be (-2)/9 - (-20)/9. Let s(y) = y**2 + 10*y + 14. Let j be s(-10). Suppose 0 = 4*a + 2*q + j - 44