5*r = 10, r + h = 5*m + 5*r. Put m, y, 3 in increasing order.
y, m, 3
Let b = 74.94 + -75. Sort -3, -3/8, b, -1.
-3, -1, -3/8, b
Let g = -857 + 852. Put 2, -26, g, 2/15 in ascending order.
-26, g, 2/15, 2
Suppose y = -y + 2, 6 = -c + 5*y. Let w be c - ((-20)/(-18) - 2). Let i = -8.4 - -8. Sort i, -0.2, w.
i, -0.2, w
Suppose -2*f - 28 = 36. Let q = f + 31. Let i(b) = b. Let j be i(-2). Sort q, 2, j in decreasing order.
2, q, j
Suppose -2*x - 33 - 33 = 0. Let i = x + 37. Let j = -4 + 9. Put i, 1, j in decreasing order.
j, i, 1
Suppose 11 = 2*r - 7. Suppose 3*b + r = 2*q, -5 + 32 = -4*q - 3*b. Sort -1, 4, q.
q, -1, 4
Suppose 0 = 5*u - 3*u. Suppose 3*y + u*z - 3*z = 0, -4*z + 12 = 0. Suppose 2 = -c, -3*c + y = -g - 7*c. Sort 3, -3, g in ascending order.
-3, 3, g
Let t = -26 - 1. Let s = -26.6 - t. Sort 0, 5, 0.2, s in increasing order.
0, 0.2, s, 5
Let v = -0.88 + -0.12. Let q = -5/17 + 103/119. Put v, q, 0 in decreasing order.
q, 0, v
Let r = 3 + -2. Let b be ((-33)/2)/(18/(-12)). Suppose -10*t + b*t - 5 = 0. Sort t, r, 2.
r, 2, t
Let y = -2 - -5. Suppose 0*o - o = 3*o + 8*o. Put 4/9, o, -4, y in descending order.
y, 4/9, o, -4
Let l = 3/112 + -251/1008. Let x = -7 + 4. Sort l, x, 3 in increasing order.
x, l, 3
Let j be (-39)/(-26)*(-18)/243. Put -0.01, 1, -35, j in ascending order.
-35, j, -0.01, 1
Let i(z) = -7*z**3 - z**2 + 1. Let q be i(1). Let a be ((-6)/9)/(q - -5). Let y = -16/23 - -34/115. Sort y, a, 0.3 in decreasing order.
a, 0.3, y
Suppose -3*d - 102 = -99. Let z = 7 - 9. Put 1, z, d, -3 in increasing order.
-3, z, d, 1
Suppose 5*f = 3*i - 14, -16 = -2*f - 6. Suppose -6*w = -4*w - 2, -w = -2*o - i. Let n = 5.3 + -0.3. Put n, -3, o in descending order.
n, -3, o
Let p = -82.9 - -77.9. Put p, 0, 168/5 in decreasing order.
168/5, 0, p
Let c = -37 + 36.85. Let w = 0.35 + c. Put -4, w, 0.1 in decreasing order.
w, 0.1, -4
Let v = 7 - 7.3. Let f = v - -4.3. Let u(l) = -5*l**3 - 22*l**2 + 18*l + 14. Let p be u(-5). Sort f, -3, p in descending order.
f, p, -3
Let z(b) = -b**2 + 10*b + 5. Let h be z(11). Let p be 42/11 + h/(-33). Sort -2/11, p, 0.1, 0 in increasing order.
-2/11, 0, 0.1, p
Let m = -0.08 + 0.1. Sort -5, -1, m in ascending order.
-5, -1, m
Let k be -2 - (-8)/(-16)*2318/28. Let r = k - -177/4. Put 0.2, r, -3 in increasing order.
-3, 0.2, r
Let i = 1533 + -1529. Sort i, -23, -4.
-23, -4, i
Suppose -5*o - 5*a - 65 = 0, -4*o = -3*o + 4*a + 25. Let y(k) = k**3 + 8*k**2 - 12*k - 22. Let c be y(o). Put 3, -0.3, 5/2, c in decreasing order.
c, 3, 5/2, -0.3
Let z = -0.009 + 4.409. Let q = z - 4. Let m = 4 + -5. Sort -4, m, q in decreasing order.
q, m, -4
Let n = 3 + -3. Suppose 1025 = -3*w + 1010. Sort 4, n, w, 1 in decreasing order.
4, 1, n, w
Let f be 750/(-54) + 14 - (-514)/(-9). Put f, 5, -1 in decreasing order.
5, -1, f
Let p = -66 - -66. Put -31, p, 5 in descending order.
5, p, -31
Let r(j) = 6*j**2 - 12*j + 3. Let f be r(2). Put f, 2, -1 in decreasing order.
f, 2, -1
Suppose d - 2 = 0, 2*d + 5 - 37 = -4*a. Put 2, -0.1, -0.2, a in descending order.
a, 2, -0.1, -0.2
Let z be ((-2)/(-12))/(-1) + 35/714. Sort z, -3, 1.
-3, z, 1
Let r = -73 - -78. Let d = 20.1 + -19. Let u = 0.1 - d. Sort r, -5, u in decreasing order.
r, u, -5
Let l = 240 + -229. Sort 0.3, l, -4 in descending order.
l, 0.3, -4
Let g be 1018/(-8) - 2*(-2)/16. Let o = -133 - g. Suppose -3*v - 2*m + 3 = 0, -3*v + 8*m - 3*m + 3 = 0. Sort o, v, -3.
o, -3, v
Let t(o) = -14*o**2 + 5*o + 10. Let n be t(-2). Let v = 54 + n. Sort v, -3, 12, 0.
-3, v, 0, 12
Suppose 5*t + 3*m = 24, -t - 2*m + 3*m = 0. Sort t, -0.2, -3 in decreasing order.
t, -0.2, -3
Let i = -102 - -56. Let x = i + 45.2. Put 1, 0.2, x in decreasing order.
1, 0.2, x
Let z be (-7)/7 - 0 - 0. Sort -5, 5, -4, z in descending order.
5, z, -4, -5
Let x be (-53)/4 + (-7)/(-14). Let b = -13 - x. Let c be 10*((-5)/(-2) + -3). Sort c, b, -3 in descending order.
b, -3, c
Let z be 2/(-2 + 16/6). Suppose 14 + 1 = 5*a. Suppose -12 = -a*o + 3*i, 0*o + 3*o - 12 = -2*i. Sort 1, o, z in descending order.
o, z, 1
Let m = 907 + -899. Let n = -2 - -2. Suppose n = -g + 1 + 4. Sort m, g, -5 in descending order.
m, g, -5
Let d = -0.694 + 0.194. Put -0.4, d, 121, -2/13 in decreasing order.
121, -2/13, -0.4, d
Let f = 284 - 280. Sort 2, 18, f in increasing order.
2, f, 18
Let y = 383 + -378. Suppose 4*c - 8*c = -12. Put c, -1, y in decreasing order.
y, c, -1
Let k be (-17)/((-68)/168) - (1 - -3). Suppose 3*r + 3*o + 4 + k = 0, 10 = r - 5*o. Sort -3, 2, r in descending order.
2, -3, r
Suppose -1 = -a + 1. Sort a, -4, 5.
-4, a, 5
Let c = -1510 - -1508. Sort c, 195, 1 in descending order.
195, 1, c
Suppose 2*s = -o + 3 + 4, -4*o = -5*s - 2. Put o, -1, 16 in descending order.
16, o, -1
Let a = 626 + -604. Put 0, a, 3/5, 5 in descending order.
a, 5, 3/5, 0
Suppose -3*l = -4*o + 3, 0*o - o - 2*l - 2 = 0. Let n = -40 + 13. Put o, 3, n, -1 in decreasing order.
3, o, -1, n
Suppose 0 = 4*h + 5*v + 1, 0*h + 3*h = -5*v + 3. Let b be 2*(h + 1)/3. Suppose 0 = -15*w + 221 - 161. Put b, w, -3 in ascending order.
-3, b, w
Let y be 1*(-9)/(-30)*(-20)/(-24). Sort -2/9, -1/7, -1, y in ascending order.
-1, -2/9, -1/7, y
Let d = -6 - -3. Let g = -16/55 + -6/55. Put 2/5, d, g in decreasing order.
2/5, g, d
Let t be ((-26)/((-4680)/162))/(12/(-5)). Put -5/4, -2, 0.5, t in increasing order.
-2, -5/4, t, 0.5
Let w be -2 + -3 + 3 - 3. Let r(y) = 2*y - 9. Let m be r(7). Sort m, 4, w in increasing order.
w, 4, m
Let w(n) = n**2 + 7*n + 7. Let u be w(-5). Let g be (10/24 - 2/(-6))*16. Let m be (-1)/u + (-4)/g. Sort -5, m, -1/6.
-5, -1/6, m
Let k(a) = -a**3 + a - 16. Let x be k(0). Let u(w) = -w**2 - 17*w - 16. Let o be u(x). Let z = 3 + -2. Put 3, z, o in descending order.
3, z, o
Suppose -6*z - 20 = -z. Let j(o) = o**2 + 24*o + 63. Let h be j(-20). Sort h, z, 2 in decreasing order.
2, z, h
Let v(w) = -w**3 - 12*w**2 - 13*w - 12. Let d be v(-11). Let h = d + 2. Suppose -4 = -z, 5*r - 2*z + 0*z - h = 0. Sort 3, -3, r in ascending order.
-3, 3, r
Let q = -0.02 + 4.02. Let p = 3.7 - q. Let l(y) = -12*y - 97. Let f be l(-8). Sort p, f, 0.
f, p, 0
Let n = 210 + -214. Sort 5, 1, n, 2.
n, 1, 2, 5
Let q be (-6)/4 + (445/(-10) - 5). Sort q, -2, 6.
q, -2, 6
Let p = 26 - 26.14. Let z = 0.36 - p. Put z, -1, 0.2 in increasing order.
-1, 0.2, z
Let s = -13.2 + -0.6. Let g = s - -15. Let c = -0.8 - g. Put -0.1, c, -4 in decreasing order.
-0.1, c, -4
Let j = -2 + 19. Let y = -16 + j. Put 2, y, 5 in descending order.
5, 2, y
Let y(p) = -p**2 - 3*p + 3. Let n be y(-3). Suppose -g - 2 = 1. Sort n, g, 4 in increasing order.
g, n, 4
Suppose -18 = 4*j - d, 4*d = 4*j + 6*d + 12. Let z(u) = -26*u**3 + u**2 - 2*u. Let n be z(1). Let g = 22 + n. Put 0, g, j in descending order.
0, j, g
Let f = -14 - -10. Let v be 1*2 - (182/13 + -16). Sort 2, f, v in decreasing order.
v, 2, f
Let f = 87 - 18. Let o = -73 + f. Sort o, 5, 4, 3 in decreasing order.
5, 4, 3, o
Suppose -2*y - 10 = -4*n, 0 = -2*n - 2*y + 13 + 7. Suppose 202*j - 8 = 210*j. Sort 4, 1, j, n in decreasing order.
n, 4, 1, j
Let b be (-1)/4 + 3/6. Let f = 21/50 + 2/25. Let r = f - b. Sort -12, -2, r.
-12, -2, r
Let z be 4 + 1 + 5/(-1) + 0. Sort z, -0.04, 2 in decreasing order.
2, z, -0.04
Let a be 0*(-4)/(-32)*4. Suppose a = -3*l + 6*l + 3*x, 4*x - 25 = l. Let r = -0.2 - 2.8. Put r, -0.1, l in decreasing order.
-0.1, r, l
Suppose -n + k - 10 = 0, 4 + 13 = -2*n - k. Let c(t) = -t**2 - 12*t - 13. Let i be c(n). Let p be (-5)/((-25)/i) - 2. Put p, 1, 3 in ascending order.
p, 1, 3
Let x = 129.3 + -129. Let y = 25 - 29. Sort x, 1/2, y, -1 in decreasing order.
1/2, x, -1, y
Suppose -2*p - 7*v + 5*v = 6, -2*p - 4*v = 14. Suppose 0 = -8*n + 6*n - 4. Let w = -2 - -2. Sort n, p, w.
n, w, p
Let i = 4.65 + -0.65. Sort -28, i, -1 in increasing order.
-28, -1, i
Let y(w) = -52*w + 210. Let r be y(4). Sort 2.9, -4, r in ascending order.
-4, r, 2.9
Let x(b) = -11*b**2 - 66*b - 3. Let c be x(-6). Sort 3, 5, 0, c.
c, 0, 3, 5
Suppose -k + 2 = -3*k. Let b(h) = h**3 - 5*h**2 - 6*h. Let x be b(6). Let y be (x - -1)/(7/(-35)). Sort y, k, 1.
y, k, 1
Let y = 33 + -16. Let t(r) = 2*r - 33. Let i be t(y). Put 0.02, -0.1, i in ascending order.
-0.1, 0.02, i
Suppose -3*h + 4*h = 0. Suppose 6*p - 448 - 158 = h. Let k = -911/9 + p. Sort k, -0.1, -3 in ascending order.
-