. Sort -0.1, -1/7, i, 0 in decreasing order.
0, -0.1, -1/7, i
Let l = 21 - 17. Put l, 3, 2 in descending order.
l, 3, 2
Let s be ((-28)/(-63))/((-4)/(-6)). Sort 1/5, 1, s.
1/5, s, 1
Let x = 14.1 - 14. Sort 2, x, -1 in increasing order.
-1, x, 2
Let u(s) = s**2 - 4*s + 7. Let g be u(5). Let v be (-3 - g)*(-4)/12. Put v, -1/3, 3 in decreasing order.
v, 3, -1/3
Suppose n - 5*c - 6 = 0, -5*n + 3*c + 2 + 6 = 0. Sort -4, 3, 2, n.
-4, n, 2, 3
Let c = -8 + 8. Let i = -4 + c. Sort i, -3, -1 in descending order.
-1, -3, i
Let i = -0.09 - 0.31. Put -0.2, 1, -1/2, i in descending order.
1, -0.2, i, -1/2
Let g = 6/11 - 76/99. Sort -4, g, -3 in descending order.
g, -3, -4
Suppose 3*m + 6 = 4*m. Suppose -j + m = t, -9 = j - 2*j - 2*t. Let l = j - 0. Sort 0, 2, l in increasing order.
0, 2, l
Let r = -18 - -16. Put r, -4, -3 in ascending order.
-4, -3, r
Let w = 1 - 6. Let u = -133 - -133.5. Sort -8, w, u.
-8, w, u
Let m(a) = -a**2 + 3*a + 6. Suppose 3*g = -g - 3*p + 32, 3*g = p + 11. Let k be m(g). Let x = -3 - -3.4. Put k, x, -0.2 in descending order.
x, -0.2, k
Let c = 0.88 + 10.12. Sort 2/5, 0.2, c in descending order.
c, 2/5, 0.2
Suppose 0 = w - 393 + 397. Let o = -1 - 0. Sort -2, o, w in decreasing order.
o, -2, w
Let x = 14 + -17. Suppose -3*o - 2 = -o. Put x, 0, o in descending order.
0, o, x
Let t = 0.008 + 2.292. Sort t, 0.5, 1 in increasing order.
0.5, 1, t
Let d be 105/(-450) + 1/(-6). Sort d, 2, -5/3 in decreasing order.
2, d, -5/3
Let h = 5 + -7. Let j be 1 - (0 - (-5 - h)). Put j, -1, -4 in descending order.
-1, j, -4
Let b be 2/(-4) + (-4)/(-8). Let g(l) = 3*l**3 + b*l - 2*l**3 + 6*l**2 + 0*l**3 + 8 + 2*l. Let k be g(-6). Sort k, 1, -3.
k, -3, 1
Suppose -29 = -5*w - 104. Put 5, -0.2, w in descending order.
5, -0.2, w
Let t be 39/2 + (-12)/(-24). Suppose -2*r - 16 = 2*r - 2*s, -5*r - t = 4*s. Put r, -2, 3 in increasing order.
r, -2, 3
Let h = 36.09 + -34.1. Let i = h - -0.01. Let c = -64 - -62. Sort c, 1, i in decreasing order.
i, 1, c
Let s(i) = i**2 - 4*i - 1. Let b be s(2). Let r be ((0 - 0) + 3)*(-7 - -8). Put b, 4, r in ascending order.
b, r, 4
Let s = 21 - 10. Let y be (1 - s/12)*-2. Let i = 8 + -17/2. Sort -0.3, i, y.
i, -0.3, y
Let m = -2.07 + 0.07. Let i = 0.2 - -0.8. Sort m, i, 0.3.
m, 0.3, i
Let l = -12 - -7. Let m = 4.28 + -7.29. Let j = m - -0.01. Sort l, 2, j in increasing order.
l, j, 2
Let x(z) = z. Let q be x(-5). Let g = q - -5. Let l(c) = 3*c - 2. Let j be l(2). Sort g, -3, j in descending order.
j, g, -3
Suppose y - 5*o + 14 = 0, 0 = 5*y - 3*o + 3 - 21. Suppose -3*u + 0*n + 21 = -3*n, 0 = -4*u - 3*n + 21. Suppose 0 = 7*g - 10*g - u. Sort 3, y, g.
g, 3, y
Let x = 69 + -209/3. Put x, -1/8, 2 in descending order.
2, -1/8, x
Suppose 3*g - 9 - 17 = -4*u, 3*u - 7 = 4*g. Sort -5, 0, u in descending order.
u, 0, -5
Suppose 6*c = -c + 35. Sort c, 4, -1 in descending order.
c, 4, -1
Suppose 2*b + 7 - 1 = 0. Suppose 3*t + 6 = 2*t - a, 2*a = -10. Sort b, t, 4.
b, t, 4
Let q be ((-4)/(-16))/(3 - 7). Sort 2/5, -5, q.
-5, q, 2/5
Let o(g) = -2*g - 18. Let q be o(-8). Sort q, 3, -1.
q, -1, 3
Suppose 4*s = 11 - 3. Suppose 0 = 5*y + 2*z, 0 = -5*y - z + 6*z. Sort y, -3, s in descending order.
s, y, -3
Suppose 0 = 18*r - r - 34. Sort 1, -57, r, 5 in descending order.
5, r, 1, -57
Suppose 2 = -4*k - 3*u + 5, 3*k + 4*u + 3 = 0. Put -3, k, 0, 8 in ascending order.
-3, 0, k, 8
Let u be 1*-2 + (-3 - 103). Let b = 758/7 + u. Let n = 0.152 - -0.048. Sort b, n, 3/4 in decreasing order.
3/4, b, n
Let l = -0.104 + 2.104. Sort 0.2, 3, l, -5 in descending order.
3, l, 0.2, -5
Suppose 5*s + 5 = -0. Let w = s - -4. Let x = 1 + 3. Put 5, w, x in descending order.
5, x, w
Let i = -4 - -13. Suppose 0 = 3*r - i + 3. Sort 0, r, -3.
-3, 0, r
Suppose 2*f = -1 - 7. Put f, -1, 2 in decreasing order.
2, -1, f
Let q = 51 - 60. Sort -4, 0, q in decreasing order.
0, -4, q
Let s = -8.8 - -9. Sort -3/2, 0.02, s, 5.
-3/2, 0.02, s, 5
Suppose 6*o = o + 25. Suppose 3*g + 4*x + 19 = -0*x, 0 = 2*g + 2*x + 10. Let p(v) = -2*v**2 + 4*v - 2. Let b be p(2). Put b, o, g in decreasing order.
o, g, b
Let h = -35 - -60. Let l be (1/7)/(30/h). Let g = l - 139/462. Sort -1, 4, g in descending order.
4, g, -1
Suppose 0*b + 5*b = 0. Suppose b*m = m + 2*q - 5, 0 = -3*q + 6. Sort 5, -2, m in ascending order.
-2, m, 5
Suppose -3*u = -2*l + 10 + 3, 4*u + 19 = l. Suppose -g + 2*g = 0. Sort l, -3, g in increasing order.
-3, l, g
Let y be (-3)/(0 - -2 - 1). Let a be (-4)/3 + 2/y. Put a, -5, -3 in descending order.
a, -3, -5
Let w = 0.8 - 1.1. Let x = w - -0.6. Sort -3, x, 4/5.
-3, x, 4/5
Let k = -23 - -26. Put k, -2/5, 4 in decreasing order.
4, k, -2/5
Suppose g + 2*f = -f + 61, 5*g - f = 337. Suppose 5*z = -3*u + g, -2*z + 15 = u - 9. Suppose 0*p = q - 4*p + u, p = q + 5. Put q, 2, -1 in increasing order.
q, -1, 2
Let k(g) = -g**3 + 4*g**2 + 5*g - 7. Let v be k(5). Let o be v - (3/3 - 3). Let r = o - -3. Sort -4, r, -5 in descending order.
r, -4, -5
Let z = -9 - -14. Let j be (1/1)/(z/(-10)). Suppose -o = -2*o - 5. Put j, o, -1 in descending order.
-1, j, o
Let i = 42 + -39. Put 1, i, 0 in decreasing order.
i, 1, 0
Suppose 5*s - 4*s = -14. Let a = 11 + s. Put a, -0.5, -1 in descending order.
-0.5, -1, a
Let y = 6 - 3. Sort y, -1/3, 6 in decreasing order.
6, y, -1/3
Let a be 10/8 + 2/(-8). Put 3, -5, -3, a in decreasing order.
3, a, -3, -5
Suppose -4*s + 0*v + 3*v = -7, v = -3*s + 2. Suppose 4*r + 5 = -3. Let h be r - 2*(-3)/(-6). Sort s, h, 2 in descending order.
2, s, h
Let c(v) = v**3 - 2*v**2 - 4. Let t be c(3). Suppose 5*g - g - 5*k = -16, 4*g - 4*k = -12. Sort t, g, -2.
-2, g, t
Let m(t) = -t**3 - 12*t**2 - 11*t. Let z be m(-11). Suppose -2*p + 5*d - 25 = z, d + d - 10 = 2*p. Sort p, 5, 4 in increasing order.
p, 4, 5
Suppose -4*f = -3*w + 2 - 1, 0 = -3*f + 5*w + 13. Let v be f*-5*4/(-16). Suppose 0 = 5*n - 4*g - 16, 0*n - 4*n = -g - 15. Sort v, n, 1 in increasing order.
v, 1, n
Let t = 0 - 0. Suppose -36 = -t*i - 3*i. Suppose 0 = 5*r + 3*d + i, r = 4*r - 5*d + 14. Sort 0, r, 5.
r, 0, 5
Let f = -2 + 2. Let z be f + (-5)/(75/6). Suppose -1 + 13 = 4*m. Sort m, z, -2.
-2, z, m
Let o(p) = -p**3 - 3*p**2 + 2*p - 5. Let u be o(-4). Suppose -5*z - u = -13. Put z, 5, -3 in descending order.
5, z, -3
Suppose -4*s - 4*x = -16, -6*s + 2*s - 5*x + 18 = 0. Sort 0, 1, s.
0, 1, s
Suppose j + 2*n - 8 = 0, 5*n - 17 = -4*j + 6. Suppose 2*p + 5*y - 4 = 0, 5*p = j*p - y - 7. Suppose -5*f + 8 = -17. Sort 1, p, f in descending order.
f, 1, p
Let h be (-4)/(-14)*(0 + 1). Put h, -0.3, 6 in descending order.
6, h, -0.3
Suppose -2*q - 2*q - 8 = 0. Suppose 28*h = 26*h - 10. Put h, q, 0 in decreasing order.
0, q, h
Suppose 2 = 4*v - 10. Sort 2, v, 1, -4 in decreasing order.
v, 2, 1, -4
Let n = 0 + 4. Let u be (5/2)/(2/n). Sort 2, u, -2 in increasing order.
-2, 2, u
Suppose 2*b + 4 = -3*y, -2*y + 2*b + 0*b = 6. Let c(v) = -v**3 + 6*v**2 + 6*v + 8. Let x be c(7). Put x, 2, y in descending order.
2, x, y
Let r = 5 - 5.4. Let c be -1 - 2/(-16)*6. Put 3/4, r, c in ascending order.
r, c, 3/4
Suppose r + 5*a - 31 + 9 = 0, -5*r = 4*a - 5. Let x be (-3 - -1)/(-2 - 3 - -4). Put 3, r, x in descending order.
3, x, r
Suppose -3*r - r = -8. Sort 0, 3, r.
0, r, 3
Let h = -0.1 + 0.6. Let b = -1.8 + 2.2. Put -4, h, b in ascending order.
-4, b, h
Let o be (0 - 1)*2*1. Let x be 2/(12/5 + o). Let n be (-15)/15*((-6)/(-3) + 1). Sort n, x, 0 in descending order.
x, 0, n
Suppose 3*f + 0 = -6. Let t be 11/(-10) + (-3)/f. Put 0.3, -1/4, t in ascending order.
-1/4, 0.3, t
Suppose -5*t + 3*n + 3 = 13, 5*n + 30 = -t. Let m(h) = -h**3 + 10*h**2 + 10*h + 8. Let s be m(11). Sort t, s, 0 in ascending order.
t, s, 0
Let m = 14 - 11. Let h = -0.3 - 3.7. Put -2, m, h in descending order.
m, -2, h
Let q = 5/12 - 89/156. Sort -5/4, q, 3/2 in descending order.
3/2, q, -5/4
Let q be -7 + -3 + 5 - (-5 - -1). Put -4, 0.2, q, -2 in descending order.
0.2, q, -2, -4
Let t(c) = -5*c + 22. Let a be t(6). Sort 2/17, 0.5, a.
a, 2/17, 0.5
Suppose 2*h + 12 = -h. Sort -2, -2/21, h in ascending order.
h, -2, -2/21
Suppose 3*n = -2*n - 10. Suppose 2*k = -2, -4*k - 1 = o - 3*k. Let w be 0 + -1 - o/1. Sort w, n, -4.
-4, n, w
Suppose 3*j - 1 - 5 = 0. Let n be (-4)/(2 - 4) - 1. Sort j, -4, n in decreasing order.
j, n, -4
Let t = 763142/7 - 108835. Let v = -185 + t. Let k =