decreasing order.
v, -2, z
Suppose -6*h = -3*h - 6. Sort h, 1, 10 in increasing order.
1, h, 10
Let z = -94 - -96. Put 5, z, -9 in increasing order.
-9, z, 5
Let l = -19.1 + 0.1. Let q = l - -19.1. Sort q, -5, 0.3.
-5, q, 0.3
Let b = 0.04 + 0.06. Sort b, -5, -2/5 in descending order.
b, -2/5, -5
Let w be (2 - 0) + -4 + -2. Let g = 1.2 + -3.5. Let i = -2 - g. Put i, -1, w in descending order.
i, -1, w
Suppose 0 = -33*s + 30*s. Sort -4, -2, s, -16.
-16, -4, -2, s
Suppose 0 = -7*d + 3*d - 48. Let k be 28/16 + (-3)/d. Put -4, k, 4 in decreasing order.
4, k, -4
Let u be -10*(7/2)/(-7). Put 4, u, -2 in decreasing order.
u, 4, -2
Let c be 10/(-3) - (-4)/2. Let h = 114 + -114.6. Put h, c, -3/2 in descending order.
h, c, -3/2
Let z(h) = h**3 - 7*h**2 + 7*h + 2. Let a be z(6). Put -0.4, a, -1/2 in decreasing order.
a, -0.4, -1/2
Suppose -i + 4*l = -12, 2*l = -i + 3*i. Suppose 22*f + 14 = 8*f. Sort i, f, 1 in ascending order.
i, f, 1
Suppose -2*q + 5 = -q. Suppose -v = q*l - 21, 0 = -5*v + 2*l + 3*l - 45. Put v, -2, 3 in decreasing order.
3, -2, v
Let z = -69 + 67. Let f(m) = 2*m + 1. Let g be f(-1). Sort -0.3, g, z in decreasing order.
-0.3, g, z
Let z be (-6)/(-27) - (-86)/18. Sort -1, z, -4 in increasing order.
-4, -1, z
Suppose 80 = 2*z + 2*z. Let n be z/(-9) + (-4)/(-18). Let w = n - -1. Put -5, -4, w in decreasing order.
w, -4, -5
Let o be 35/(-28)*(1 + -5). Suppose 2*d = -3*p, 3*d - 1 = -10. Suppose 0 = 4*s + s. Sort o, p, s.
s, p, o
Suppose -4*m = -3*m. Suppose -3*w + 7*c - 5 = 9*c, 3*w - 3*c + 15 = 0. Put 7, w, m in decreasing order.
7, m, w
Let l = -16 + 12. Sort 2/9, 20, l in decreasing order.
20, 2/9, l
Let w = 7 - 9. Let n = -5 - w. Let l be (10/8)/((-2)/8). Put n, 0.3, l in descending order.
0.3, n, l
Let p(k) = 2*k + 3. Let v be p(-6). Let l(c) = 3*c - 3. Let a be l(v). Let m be (-8)/a*(-9)/6. Put m, -4, 1/4 in decreasing order.
1/4, m, -4
Suppose s = -3 - 4. Let i = s + 6. Let o be (16/24)/(-3 - i). Sort -4, 4, o in descending order.
4, o, -4
Let q = 19 - 9. Let g = -9 + q. Let h = 0.6 - g. Sort -1/2, 2/7, h in ascending order.
-1/2, h, 2/7
Let t = 0.14 + -0.1. Let s = t + -5.04. Let m = 0.3 - 0.8. Sort -3, s, m in ascending order.
s, -3, m
Let m = 5.8 - 6. Let d = -425/12 - -104/3. Put d, m, 0.4 in ascending order.
d, m, 0.4
Suppose 4*t + 31 = -t + 3*l, 2*t + 4*l + 2 = 0. Suppose -4*o + 4*u - 4 = -16, u + 23 = 5*o. Let a = t + o. Sort a, 3, 2 in ascending order.
a, 2, 3
Let k = -348 - -353. Let f be (-3 + -1)*3/(-4). Sort k, -4, f in increasing order.
-4, f, k
Let r be 2 - 2/(32/30). Let j = -0.9 - 0.1. Sort r, j, -2/9.
j, -2/9, r
Let b = -0.914 - 0.086. Sort b, -1/3, -5, 2/5 in decreasing order.
2/5, -1/3, b, -5
Suppose 3*q + 4 + 2 = 0. Sort 5/4, 9, q in decreasing order.
9, 5/4, q
Let i = -62/3 - -21. Sort 5, -1, -2, i.
-2, -1, i, 5
Suppose 4*f = 2*m - 4 - 2, 4*m = -4. Put -9, f, 3 in decreasing order.
3, f, -9
Suppose -2*q - 2*o = 0, -q - 8 - 4 = -5*o. Let a be 128/252 + q/9. Put a, 1/2, -3/2 in decreasing order.
1/2, a, -3/2
Let q = 22 + -25.5. Let c = -3.97 + -0.03. Let n = c - q. Sort n, 0.5, -4 in increasing order.
-4, n, 0.5
Suppose -6*y + 18 + 0 = 0. Sort -5, 1, y in decreasing order.
y, 1, -5
Let x = 31 + -43. Sort 1, -3, x.
x, -3, 1
Suppose -2*u + 11 = -12*o + 11*o, o + 14 = -u. Sort -5, o, 4 in descending order.
4, -5, o
Suppose 2*m - 28 = 30. Let n = m - 17. Suppose 0 = 3*u + u + n. Sort 4, -5, u in ascending order.
-5, u, 4
Let k = -11/42 + 3/7. Put -2, k, 3/5 in descending order.
3/5, k, -2
Suppose -2*d + 7*d = 4*v + 52, -102 = 5*v + 3*d. Let m = -15 - v. Put 4, m, 2 in decreasing order.
4, m, 2
Let i = -3 + 1. Suppose 2*k - 2*w - 3*w = 25, -25 = -5*k + 5*w. Let d = -12 - -16. Put k, d, i in decreasing order.
d, k, i
Suppose -3*g - 2 - 10 = 0. Sort 0, 2, g.
g, 0, 2
Let y = -6 - -5.6. Suppose -2*j + 5*l = -33, -l + 5*l + 32 = 3*j. Suppose -4*u + 18 = -j*t + 3*t, 2*t = 2*u - 12. Put t, y, 1/2 in descending order.
1/2, y, t
Let b(i) = 2*i**3 + 28*i**2 - i - 11. Let g be b(-14). Sort 4, 8, -2, g in descending order.
8, 4, g, -2
Let k = -2 - 3. Put 1, -2, k in decreasing order.
1, -2, k
Let m = -1724521/36570 - -4625/106. Let w = m + 78/23. Let j be (-1)/(39/33 + 12/(-66)). Sort 4, j, w in increasing order.
j, w, 4
Let p be 78/9 + 2/6. Suppose -p = 2*f - 5*f. Suppose 0*x = -f*x + 3. Sort 0, x, -1.
-1, 0, x
Let g = 2.8 - 9.8. Sort g, -2, -3/8 in decreasing order.
-3/8, -2, g
Suppose -p = -0*p - r - 3, 0 = 2*r - 4. Put -6, p, -4 in increasing order.
-6, -4, p
Let y = 0.01 + 2.99. Sort y, -5, 3/5.
-5, 3/5, y
Let c = -126 + 628/5. Put -5, 4/5, c in decreasing order.
4/5, c, -5
Let b = 453.93 + -451. Let c = b - -0.07. Put c, -0.5, 5 in ascending order.
-0.5, c, 5
Let w = -102 + 99. Sort 3, w, 0, 1.
w, 0, 1, 3
Let u = -8 - -7.2. Let x = 2.5 + -3. Let l = u - x. Sort l, -3, 2.
-3, l, 2
Let o = 81/8 - 373/40. Sort 0.2, o, 19 in ascending order.
0.2, o, 19
Let i = 3 - 8. Let q = -12 - i. Sort q, -5, 1/5 in increasing order.
q, -5, 1/5
Let k = 0.05 - 0.45. Suppose -3*g = u + 52, -2*g - 44 = 5*u - 2*u. Let c be 1/(-2*2/g). Sort -1, c, k.
-1, k, c
Suppose 2*t + 4 = 4*t. Let n = 7 + -8. Let w be -3 + n/(-2)*-2. Put w, 5, t in ascending order.
w, t, 5
Let p = -0.18 - -11.18. Let y = p - 10.9. Put 3, -5, y in ascending order.
-5, y, 3
Let c = 0.7 - -1.3. Suppose 5*h + 4 = 3*h. Sort -3, h, c in ascending order.
-3, h, c
Let y = -8 + 17. Let m(z) = 6*z**3 + z**2 + z + 1. Let r be m(-1). Let a = r + y. Sort a, -2, 0.5 in increasing order.
-2, 0.5, a
Suppose 0 = h - m - 3 - 0, -5*h - 9 = m. Let a = 0.17 - 0.07. Put -5, a, h in descending order.
a, h, -5
Let u(f) = -f**3 - 17*f**2 - 15*f + 15. Let b be u(-16). Sort b, 2, 3 in descending order.
3, 2, b
Let j be -12*(10/8 - 2). Suppose 1 + j = 5*b. Sort 8, b, -4 in decreasing order.
8, b, -4
Let m = 0.5 + -4.5. Let r be 19/15 + (-12)/18. Put -1, r, m in descending order.
r, -1, m
Suppose -2*l = -y + 2*l + 8, 4*y = 4*l + 32. Suppose -23 = -3*m - y. Put 0, 1, m in decreasing order.
m, 1, 0
Suppose 5*z + g = 5*g + 12, 0 = 4*z - 4*g - 8. Put -8, 2, -2, z in descending order.
z, 2, -2, -8
Let p = 61 - 61.5. Let g = 66 - 397/6. Sort g, -2, p in decreasing order.
g, p, -2
Let z = -45 - -43. Put z, 1/7, 2/11, 7 in descending order.
7, 2/11, 1/7, z
Let d = 16 - 83/5. Sort d, -0.2, -2/7 in descending order.
-0.2, -2/7, d
Let k(m) = 4*m**2 - 3*m**2 + m**3 + 3*m**2 + 1 - m**2. Let d be k(-3). Put -4, -1, d in decreasing order.
d, -1, -4
Let i be (-2)/1 + (-1 + 0 - -2). Let t = -8 + 4. Sort i, 5, t.
t, i, 5
Let y = -2.17 - -0.17. Sort -9, y, 4 in decreasing order.
4, y, -9
Suppose -4*j = -5*n - 38, 5*n = -5*j + n + 27. Let y = j + -10. Put -1, -4, y in increasing order.
-4, y, -1
Let l = 2 + 1. Suppose 0 = 2*k + n, 3*n = l*k + 6*n - 6. Let h be (0/1 - 0) + k. Sort 2, 5, h in ascending order.
h, 2, 5
Let l(t) = -3*t. Let g be l(1). Let d = -7 + 10. Sort g, d, 4.
g, d, 4
Let b be 2/(5 - 3) + 39. Suppose -b = -5*z - 10. Sort -1, -3, z in decreasing order.
z, -1, -3
Let n = -0.006 + -5.294. Let w = 5 + n. Put w, 1/3, 2 in decreasing order.
2, 1/3, w
Let u = 3.95 + -4. Let r = 9 - 6. Sort r, -0.5, u in increasing order.
-0.5, u, r
Let x = -8/21 - 2/7. Sort x, 1, -0.19 in ascending order.
x, -0.19, 1
Let q = 0.17 - 0.67. Sort q, 0, -0.1 in ascending order.
q, -0.1, 0
Let v = -4 + 2. Sort v, -5, 2 in decreasing order.
2, v, -5
Let b = 26 + -21. Sort -15, b, -5 in ascending order.
-15, -5, b
Let i be ((-36)/15)/(24/80). Put i, 5, -2 in descending order.
5, -2, i
Suppose 0 = 3*c - 2*a - 1, 5*a - 26 = -0*c - 2*c. Let g be 0/2 - 0/(-1). Put c, -1, g in ascending order.
-1, g, c
Let f = -673 - -16823/25. Let q be (3 + 36/(-10))/((-28)/(-20)). Sort 2, f, q.
q, f, 2
Let f = 15 + -15.1. Sort 5, -5, f.
-5, f, 5
Suppose 0 = -i - 0*i. Suppose a - 3*q = 0, 5*a - 5*q + i*q - 10 = 0. Sort -4, a, 2.
-4, 2, a
Let l = -4.2 + 4.6. Sort l, 5, 0.
0, l, 5
Let n(b) = b. Let m be n(-1). Sort 5, -4, m in increasing order.
-4, m, 5
Let r = 1568/17 + -92. Let y = -14/85 - r. Sort 0.3, y, -4 in increasing order.
-4, y, 0.3
Let i = 16 - 7. Let a = i - 11. Put a, 3, -1/2 in decreasing order.
3, -1/2, a
Suppose 5*s - 19 = r, 5*s + 6*r = r + 25. Suppose 4 = s*z - 0*z. Put 0, 3, z in decreasing order.
3, z, 0
Let k be -2 + (-1 - -6) - -8. Let b