 = -13*h - 64. Put 0.054, h, -3 in increasing order.
h, -3, 0.054
Let j be 126/54 - (-10)/6. Sort j, 0, 2 in descending order.
j, 2, 0
Let d = -103 - -103.08. Put -2/3, d, 3 in descending order.
3, d, -2/3
Let v = 1 + -3. Let d(g) = -g + 10. Let i be d(7). Suppose -a + 10 = -i*a. Sort v, a, 0 in ascending order.
a, v, 0
Let k(j) = 5*j + 7. Let g be k(-5). Let s be 1/(-3) - (-534)/g. Let v = s - -35. Put -5, -4, v in increasing order.
-5, -4, v
Suppose -9 = -5*q + 6. Suppose -4*k + 8 = -0*w - q*w, 0 = -w + 4*k. Sort 0, -5, w in increasing order.
-5, w, 0
Let l = -0.119 + 0.219. Sort l, -9/5, -0.5 in increasing order.
-9/5, -0.5, l
Suppose 197*t = 204*t. Sort 1, t, 0.2, -9.
-9, t, 0.2, 1
Let m = -497.985 - -498. Put -4, 5, m, 1/5 in increasing order.
-4, m, 1/5, 5
Let l = -51/563 - 468826/1689. Let v = l + 280. Let q = v - 5/6. Sort q, 1, 2/3.
2/3, 1, q
Let n = -1736 - -1732. Put 0.2, -1/4, n, -0.2 in descending order.
0.2, -0.2, -1/4, n
Let z = 72 + -77. Let c = 61 - 65. Sort -1, c, z in descending order.
-1, c, z
Let m = 18.6 + -2.6. Let w = m - 19. Sort -1, 12, w, -0.2 in decreasing order.
12, -0.2, -1, w
Let c = -0.397 + -4.603. Put 1/7, c, -1, 1.2 in increasing order.
c, -1, 1/7, 1.2
Let v be 1 - (51/(-27) - -3). Let y be 1/9*276/184. Sort -3, y, v.
-3, v, y
Let x = -3.8 + 4.4. Let f = 0 + -0.1. Let v = x + f. Sort v, 0.4, 5.
0.4, v, 5
Let o = 9215/4 - 2408. Let j = -105 - o. Put -53, 3, j in increasing order.
-53, j, 3
Suppose -7*v - 15 = -3*v + 5*r, -5*v = -5*r + 30. Let s = 5.63 - 5.43. Put -3/8, s, v in descending order.
s, -3/8, v
Let h = 42 - -14. Put 0.2, h, -5 in decreasing order.
h, 0.2, -5
Suppose 0 = 111*a - 110*a + 4. Sort -17, -5, -3, a in decreasing order.
-3, a, -5, -17
Let x be (496/(-24))/(4/6). Let i = 7 + x. Let q be i/132 + (-26)/(-22). Sort 2, q, 0.
0, q, 2
Let r = 1879/9 - 209. Put r, 0.2, 15, -3 in increasing order.
-3, r, 0.2, 15
Let o be (6 + (-36)/8)*(-2)/3. Sort -2, 93, o.
-2, o, 93
Let n = -5.0953 + 0.0953. Put 0.4, 2, n, 4 in increasing order.
n, 0.4, 2, 4
Let d be 52/208 + (-14)/(-40). Sort 5, -16, -3, d in ascending order.
-16, -3, d, 5
Suppose -4*h + 1 = -4*r - 3, -41 = -4*r - 5*h. Let g = -2576 + 2565.13. Let a = g + 11. Put 1/4, r, a in descending order.
r, 1/4, a
Let j(f) = -2*f**2 + 3*f - 1. Let x be j(3). Sort -1, -4, x, 2.
x, -4, -1, 2
Let d be -7 + (-3)/(-6)*10. Let g be 0 + -3 - (d + 33/(-15)). Sort -2/5, -4, -2, g in decreasing order.
g, -2/5, -2, -4
Let q = 30.7 + -10.2. Let r = 21 - q. Sort 3, -4, r in decreasing order.
3, r, -4
Let t be (-2)/4 + (-174)/(-12). Suppose -23 - 4 = -3*d. Let x = t - d. Sort 1, x, -1 in increasing order.
-1, 1, x
Let a(x) = -x + 1. Let z be a(-2). Suppose -6*y + 2*y - z*h = -8, 2*y + 2*h - 6 = 0. Let q = 0.08 - -4.92. Sort -5, q, y in increasing order.
-5, y, q
Suppose 5*v = -6*h + h + 85, v - 3*h - 1 = 0. Put 0, 8, v in ascending order.
0, 8, v
Let b = -0.8 + 0.9. Let c be (30/20)/((-9)/8). Let d = 297/4 + -75. Sort d, c, b in decreasing order.
b, d, c
Let o = -0.0565 + -33.2435. Let m = o - -33. Let q = -0.16 + 1.86. Sort -2, q, m in descending order.
q, m, -2
Suppose -5*a = -0*a. Let i = 510 + -511. Sort -3, i, a in increasing order.
-3, i, a
Suppose 8*m = -2*c + 6*m + 128, 0 = 4*m. Sort 1/2, -4, c, 1/3 in descending order.
c, 1/2, 1/3, -4
Let h = -3 + 1. Let p = h - -2. Suppose -2*y + 8 = 3*u - u, -4*u = -3*y - 9. Sort y, p, -2 in descending order.
y, p, -2
Suppose 45 = -10*s + 5*s. Let o = -4 - s. Sort o, -7, 2.
-7, 2, o
Let s(r) = -2*r**3 - 11*r**2 + 5*r - 4. Suppose 18*g - 12*g + 36 = 0. Let h be s(g). Put h, -5, -1/7 in increasing order.
-5, -1/7, h
Let o = 8.32 - 3.32. Sort o, -0.1, -9 in ascending order.
-9, -0.1, o
Let p = -1.6157 + -0.3653. Let f = 0.019 - p. Sort 3/4, -5, f in decreasing order.
f, 3/4, -5
Let v = -11 + 18. Let z = 19 + -15. Sort -3, -2/7, v, z in decreasing order.
v, z, -2/7, -3
Suppose -3*f + 8 - 6 = q, 30 = 4*q + f. Let u = -6 - -11. Sort u, 0, q, -4 in decreasing order.
q, u, 0, -4
Let v be -1 + 20 - (1 + 0). Suppose 21*d + 89 = 89. Put v, -3, 4, d in decreasing order.
v, 4, d, -3
Suppose 3*h = a + 2*h + 22, -3*h + 15 = 0. Let c = 16 + a. Suppose 3*b - 2 = r + 2, -3*r = -5*b + 12. Put c, -4, b in descending order.
b, c, -4
Let p be (((-252)/2)/6)/((-2)/6). Let l be (-2)/(p/27*(-6)/(-4)). Sort 2/7, -2/3, l, 2 in increasing order.
-2/3, l, 2/7, 2
Let q = 67/280 + -4/35. Sort -2, -8, q in decreasing order.
q, -2, -8
Let s(g) = g - 6. Let h be s(5). Let p be h*((0 - -1) + -4). Suppose 0 = -p*l + 4*o - 13, l + 5*o - 2 + 0 = 0. Put 1, l, -1 in decreasing order.
1, -1, l
Let d(h) = -14*h**2 + 2*h + 6. Let n be d(-2). Let v = 57 + n. Put 0, 8, v, 2 in increasing order.
0, 2, v, 8
Let z = 50 + -199/4. Let r be 2/((32/(-12))/4). Let c = r - 2. Put -6, z, c in decreasing order.
z, c, -6
Suppose 4*m - 43 + 44 = a, 5*a - 4*m = -11. Put -2, -133, a in descending order.
-2, a, -133
Let y = -23.4 + 3.4. Let f = y + 8. Let n = f + 16. Put -4, n, 7 in ascending order.
-4, n, 7
Let j = 634.4 - 634. Put j, 0.2, -25, 1 in decreasing order.
1, j, 0.2, -25
Let d = -0.03 - 0.07. Let v = 2.9 - d. Let a = 136 - 137. Put a, 2, v in decreasing order.
v, 2, a
Suppose 5*s = -1 + 21. Suppose 3*m + 4 = 4*m, -s*m = -4*z - 88. Sort -3, z, 3, -2 in increasing order.
z, -3, -2, 3
Let t be (-10)/2 - (16 + -17). Sort 17, 3, 0, t in increasing order.
t, 0, 3, 17
Suppose 2*o = -2*a - 2*a + 4, -5*a = -3*o + 28. Let z = 5 - 2. Sort 0, z, o.
0, z, o
Let n be (3/(-21))/((-2)/4). Put 4, 3/7, n in increasing order.
n, 3/7, 4
Let m = -3 + 6. Let b(r) = -r**3 + 11*r**2 + 11*r + 13. Let n be b(12). Let o be n/20 - 5/20. Sort 0.1, o, m.
o, 0.1, m
Let t = 0.1 + 0.4. Let s = 653 + -660. Put t, 0.1, s in decreasing order.
t, 0.1, s
Suppose -f - 8 - 1 = 0. Let y be (-6)/(-12) + f/(-2). Put y, 4, -5, -1 in ascending order.
-5, -1, 4, y
Suppose 3*g - 5*y = 5, 5*g + 4*y + 106 = 65. Put 80, 2, g in descending order.
80, 2, g
Suppose -10 + 1 = 3*s. Let t = -364 + 367. Sort s, -10, t in increasing order.
-10, s, t
Suppose -2*m = 3*g + 23, m - g + 4 = -0*g. Suppose -2*w - h - 46 = 0, 9*w = 10*w - 4*h + 32. Let d = w + 27. Sort m, d, 5 in ascending order.
m, d, 5
Let k(q) = -12*q**2 + 3*q. Let z(g) = -4*g**2 + g. Let s(i) = 4*k(i) - 11*z(i). Let c be s(-1). Sort c, 2, 0.
c, 0, 2
Let v be (8/32)/(1/(-4)). Sort v, 1, -16, 0 in descending order.
1, 0, v, -16
Let s = -1328 + 1368. Put s, -0.06, 4/5 in decreasing order.
s, 4/5, -0.06
Let u be (30/210)/(10/14). Sort 1, -5, u, -4 in decreasing order.
1, u, -4, -5
Let o(q) = 4*q + 125. Let r be o(-34). Let n = -9 - -3. Let v = r - n. Put 3, 0, v in ascending order.
v, 0, 3
Let b(c) = -41*c + 741. Let j be b(18). Let p = 36 - 22. Sort -1, j, p in descending order.
p, j, -1
Let f be (2/(-6))/(3/(-36)). Suppose r + 0*s - 15 = -4*s, 5*r = -f*s - 5. Let w = 0 + 2. Put w, 1, r in decreasing order.
w, 1, r
Let k = -884 + 893.98. Let z = -10 + k. Let p = -0.48 + z. Put p, 0.2, 0.4 in ascending order.
p, 0.2, 0.4
Let s = -2 + 1.2. Let u = 0.7 + -1.2. Let d = u - s. Sort d, -0.3, -3.
-3, -0.3, d
Let p = 21 - 18. Suppose m - 6*m + 25 = -p*z, 5*z - 2*m = -29. Put z, -6, -2 in decreasing order.
-2, z, -6
Let p = 47/20 + 3/20. Sort 38, p, 0.5 in decreasing order.
38, p, 0.5
Let q = 9 + -6. Let j be 155/(-15)*(7 - 4). Sort -2, j, q.
j, -2, q
Suppose -4*y - y + 10 = 0. Let l = 1 - y. Suppose 5*o = g - 14, g - 3 = -3*o - 13. Sort l, o, -2.
o, -2, l
Let x = 2 + -2.5. Let o(j) = j**3 + 2*j**2 - j. Let w be o(0). Let d = 0.4 - 0.3. Sort x, d, w in increasing order.
x, w, d
Let o = -587 + 586.67. Put -2/5, o, -4, 10 in decreasing order.
10, o, -2/5, -4
Let t = 133 + -137. Let n be 6/8*(5 - -3). Let h be (2 - (-10)/(-4))*n. Sort t, h, 4 in ascending order.
t, h, 4
Let j = 1823 + -1826. Put 590, 1, j in descending order.
590, 1, j
Let s = -41 + 54. Suppose 21*q = 22*q - s. Sort -1, q, 0 in descending order.
q, 0, -1
Let d(s) = s**3 + 7*s**2 - 5*s + 5. Let i be d(-8). Let t = -16 - i. Let k(a) = a**3 + a**2 - a + 5. Let f be k(0). Sort f, -2, t in increasing order.
-2, t, f
Let p = 71 + -70.9. Sort p, -0.11, 1/5, 0.5 in ascending order.
-0.11, p, 1/5, 0.5
Let s = -651 + 669. Sort 4/3, s, 0.4.
0.4, 4/3, s
Suppose -v - 5*a + 17 = 0, -2*v - 113 = -6*v - 5*a. Let m = v + -20. Su