in decreasing order.
t, l, -5
Let x = -32/5 + 143/20. Let o = 7.2 - 1.2. Let s = o + -8. Sort s, -1, x in decreasing order.
x, -1, s
Let i = 27.3 + -27. Put -2, i, 0.4, 4 in ascending order.
-2, i, 0.4, 4
Let m(o) = o**2 + 9*o - 11. Let n be m(-10). Suppose 9 = 2*x - 5*z, 2*z - 5*z - 7 = -2*x. Sort 4, x, n in ascending order.
n, x, 4
Suppose 5*v - 2*t + 35 = 3*t, 3*v + 19 = 4*t. Let o be v/3*8/(-6). Sort -2, 5, o.
-2, o, 5
Let b = -11.78 - -12. Let t = -4.78 - b. Sort t, 5, -2.
t, -2, 5
Let w = -4 + 9. Suppose -w*r + 8 = -r. Sort 0, -2, r in decreasing order.
r, 0, -2
Let l be 0 + (4 - 8 - 0). Let n = 5 - 0. Sort n, l, -1 in descending order.
n, -1, l
Let t(h) = -2*h + 6. Let s be t(5). Let b = -10 - -10. Sort s, 3, b in decreasing order.
3, b, s
Suppose 2*h = b - 8, -b = -3*h - 6 - 4. Suppose 4*t = b - 20. Put -2, -5, t in increasing order.
-5, t, -2
Suppose -5*j + m - 5 = 0, m - 2*m + 5 = 0. Suppose -6*k + k = -30. Suppose -2*v + s = 7, -3*v + 1 + k = 2*s. Put -2, j, v in descending order.
j, v, -2
Suppose -40 = 3*q + q. Let b be 2/8*(-8)/q. Let j = -30 - -29.7. Sort b, -2/3, j in decreasing order.
b, j, -2/3
Suppose -2*g - 3 - 5 = 0. Let i = 14 - 11. Sort i, -1, g in decreasing order.
i, -1, g
Let z be 4/6*(-3)/(-2). Suppose -2*r - z = 7, -r = 4*m + 16. Sort -4, 6, m in increasing order.
-4, m, 6
Let h be 2/4*10/55. Let i = -5 - -4. Put h, i, 3 in ascending order.
i, h, 3
Suppose -g + 0*g = 0. Suppose 4*q = 4 - g. Let l = -0.2 + 0.2. Sort 0.2, l, q in descending order.
q, 0.2, l
Let f(u) = -7*u + 8. Let p be f(1). Sort 20, p, 3 in increasing order.
p, 3, 20
Let i(l) = 2*l**2 + 11*l - 3. Let p be i(-6). Put 0.3, -5, -1, p in descending order.
p, 0.3, -1, -5
Let d be (12/(-8))/3*0/(-1). Sort d, -3, 1 in ascending order.
-3, d, 1
Let v be -2 + 0 + 0 + (40 - 36). Let h be 2/5 + (-22)/5. Let i(b) = -b - 1. Let z be i(h). Put v, z, 5 in descending order.
5, z, v
Let c = 1.2 - 1.5. Sort c, -5, 0 in decreasing order.
0, c, -5
Let y = -10 - -9.2. Let p = 2.2 - y. Put -2/13, p, 1/4 in decreasing order.
p, 1/4, -2/13
Let q(b) = b**2 - 8*b + 8. Let s(i) = -i**2 + 10*i + 7. Let y be s(10). Let g be q(y). Let x = 16 + -31/2. Sort x, 3, g.
x, g, 3
Let r(h) = -h**3 - 4*h**2 + 4*h + 5. Let n be r(-4). Let x = n - -6. Sort x, 7, -4 in decreasing order.
7, -4, x
Let y(o) = -o**3 - 6*o**2 + 6*o - 3. Let a be y(-7). Suppose 3*f = 5*f + a. Put -2/5, f, -5 in increasing order.
-5, f, -2/5
Let p = -2 + 5. Suppose -3 = 4*q - 5*q - b, 39 = 5*q - p*b. Suppose -20 = -q*t + t. Sort -4, 0, t in decreasing order.
t, 0, -4
Let i be -20*-1*(3 - 2). Suppose 3*y + i = -y. Sort 0, 3, y.
y, 0, 3
Let q(n) = 3*n - 15. Let v be q(7). Sort 1, v, -4.
-4, 1, v
Let x = -72.2 - -62. Let p = -10 - x. Suppose 4*t = 2*t. Sort p, t, 2/11.
t, 2/11, p
Let c = 31 + -31. Put -1, 2/5, c in decreasing order.
2/5, c, -1
Let o be 2*1*(-2)/(-6). Let t = -5 - -5. Let i = -1 + 1.1. Sort i, o, t.
t, i, o
Let z = -1 + 4. Suppose z*a - 5 = 8*a. Let i be 0 - (a - 6/(-4)). Put 4, 0.3, i in decreasing order.
4, 0.3, i
Let y = 0 - -2. Put -0.1, y, 3/8 in decreasing order.
y, 3/8, -0.1
Let c = -1 - -0.6. Let g(t) = -2*t**2 - 16*t - 1. Let p be g(-8). Sort -0.2, c, p in decreasing order.
-0.2, c, p
Let a = -6 - -11. Let d = a - 4.5. Let i = -0.22 - 0.08. Put 1/4, i, d in increasing order.
i, 1/4, d
Let n be (-4)/(-5)*3/(-6). Put n, -0.5, 2/69 in descending order.
2/69, n, -0.5
Let i be ((-4)/(-18) - 0)*3. Let w = -0.34 - -3.34. Let l = 3 + -1. Put w, l, i in decreasing order.
w, l, i
Let l(n) = 8*n**2 - 3*n + 3. Let x be l(2). Let d = x + -19. Suppose -6*q = -z - 2*q + d, 2*z = 4*q + 8. Put 0, z, 2 in ascending order.
z, 0, 2
Let g be (-3)/(-4)*2/(-2). Let v be (-13)/4 + -5*7/(-140). Sort v, -4, g.
-4, v, g
Let f = -20 - -19. Sort 3, f, 0.2, -0.3 in decreasing order.
3, 0.2, -0.3, f
Let p = 5 + -2. Put p, 6, 2 in descending order.
6, p, 2
Suppose 0 = -4*f - 5*q + 4 - 36, -f - 5*q = 8. Let m be (12/8)/((-6)/f). Sort 4, m, 0 in increasing order.
0, m, 4
Suppose 0*t - 3*t + 6 = 0. Suppose 0*i + 3*j = -i + 14, 2*i - 26 = -5*j. Suppose 4*p + z = 8, -3*p - t*z - i = -7*p. Sort -1, p, -3.
-3, -1, p
Let b(w) = -w**3 + 14*w**2 - w + 19. Let d be b(14). Let s = 10 + -7. Put s, d, -2 in increasing order.
-2, s, d
Let g(n) = n**3 - 3*n**2 - 4*n + 5. Let x be g(4). Let r = -8 + 7. Sort 3, r, x.
r, 3, x
Let j be ((-1)/(-14))/((-1)/(-6)). Let u = 6.4 + 5.2. Let s = u + -12. Sort j, s, -1 in increasing order.
-1, s, j
Let b = 0.569 + -0.079. Let v = b + -0.09. Put -7, v, 2/9 in decreasing order.
v, 2/9, -7
Suppose 4*y - 5*y = -5*y. Sort -1, 7, y.
-1, y, 7
Let s = -3151 - -18973/6. Let w = s - 38/3. Let k be 1/3 + (-42)/45. Sort k, w, 0.2 in descending order.
0.2, k, w
Let g be 119/35 + (-2)/5. Sort -1, g, -21.
-21, -1, g
Let d = 2 + 3. Put 9, d, 2 in descending order.
9, d, 2
Let r(g) = g**3 + 7*g**2 + 7*g + 7. Let x be r(-6). Let b be 2/(-8)*-15 - (-13)/52. Suppose f - 13 = 5*i, x - b = 3*i + f. Sort 3, i, 1/6 in decreasing order.
3, 1/6, i
Let a = 476.06 + -481. Let s = a + -0.06. Let z = 3 + s. Sort -3, z, -5 in descending order.
z, -3, -5
Let q = 40/261 + 2/29. Put q, 0.2, -4 in increasing order.
-4, 0.2, q
Let u be 2*1 - (0 + -1). Let b(p) = 2*p - 39. Let k be b(22). Put -2, k, u in decreasing order.
k, u, -2
Let b = 14 + -11. Put 4, 5, -2, b in decreasing order.
5, 4, b, -2
Let s = 1.5 - 1.6. Put -0.5, -4/7, s in decreasing order.
s, -0.5, -4/7
Let d = -6 - -7. Sort -3, d, 0 in ascending order.
-3, 0, d
Let j(b) = b - 19. Let o be j(14). Put 2, o, -4, 1 in decreasing order.
2, 1, -4, o
Let u = 9 + -8. Let g be -2*(0 + 1)/u. Put -3, 5, g in increasing order.
-3, g, 5
Suppose -3*w = 4*f - 24, -3*f - w - 3*w + 25 = 0. Let u(h) = 0 + 6 - 3 + h. Let k be u(-2). Put f, 4, k in increasing order.
k, f, 4
Suppose 0 = 2*z + 4*z - z. Let p be 2 + -1 + (0 - 6). Let a = 10 + -5. Put z, a, p in decreasing order.
a, z, p
Let o = -8.6 - -8. Sort o, -4, -0.1 in decreasing order.
-0.1, o, -4
Let v be 0/(-1) + 2/(-2). Let t = 0 - 1. Let y be t/(-4)*(17 + -13). Sort y, -3, v.
-3, v, y
Suppose -w - 12 = 3*w. Put w, -0.5, 3 in increasing order.
w, -0.5, 3
Let j(f) = -f**2 - 4*f + 6. Let r be j(-6). Let v be 12/(-3) - (-1 - -1)*1. Put r, v, -1 in descending order.
-1, v, r
Let t(y) = 3*y**2 - 6 - 6*y + 3 - 4*y**2. Let d be t(-6). Suppose 7*w + 25 = 18. Sort d, w, -6.
-6, d, w
Let u be (-16)/(-28)*2/(-4). Let q be 20296/(-66) + (-4)/6. Let l = q - -308. Put u, -2/9, l in decreasing order.
l, -2/9, u
Suppose -5*h = 17 + 3. Let v = -0.3 - 0.4. Let p = 1 + v. Sort p, h, -1 in decreasing order.
p, -1, h
Let w = -7 + 13. Let u be (18/(-15))/(w/(-20)). Put 3, u, 0 in decreasing order.
u, 3, 0
Let d(s) = -s**2 + 3*s + 35. Let f be d(8). Sort 3, -1, f.
f, -1, 3
Let b be ((3 + 3)*-1)/(-14). Let g(r) = -r**2 + 6*r + 2. Let h be g(6). Put 4, b, h in decreasing order.
4, h, b
Let q = 47 + -50. Put -5, -6, -1, q in ascending order.
-6, -5, q, -1
Let c = -18 - -13. Sort c, 11, -1.
c, -1, 11
Suppose 10 - 8 = 2*z. Let w be (2 + 4)*(-2)/4. Put 2, z, w in descending order.
2, z, w
Let g = 0.03 - -0.37. Let b be (3/(-8))/(3*-1). Sort g, b, 0.5 in descending order.
0.5, g, b
Let k = 0.095 + 0.205. Suppose 2*b + 1 = -r + 3*b, -4*r - 4*b = 36. Sort r, k, 1/9 in descending order.
k, 1/9, r
Suppose -2*a - a = -b + 13, 5*b = 3*a + 17. Let i be (-3)/((-12)/32*a). Sort 0, -3, i.
-3, i, 0
Let x = 58 + -86. Let s = x - -28. Let m = -0.1 + -0.1. Put m, s, -1 in descending order.
s, m, -1
Let j = 15 + -12. Let n be 2 + 2 + j + -4. Put -4, -5, n in decreasing order.
n, -4, -5
Let z be 6*-2*-1 - 1. Sort 2, -2, z in descending order.
z, 2, -2
Let r = 1 - 2. Let z be 1 - 1/(-3 + 2). Let m be 2/(z/(-7)) - -2. Sort r, 0, m.
m, r, 0
Let a = -6 + 4. Sort 3, a, 1.
a, 1, 3
Let q = -8 + 8.5. Let x = -1/134 - -2213/268. Let a = -8 + x. Sort a, q, -0.4 in decreasing order.
q, a, -0.4
Let v = -47 - -47. Put -0.5, v, 3 in decreasing order.
3, v, -0.5
Let w be ((-7)/63)/(1/4*-2). Sort w, 22, -3 in descending order.
22, w, -3
Suppose -j + 5 = -2*h, -h - 2*j + 10 = h. Suppose h*q - 20 = 4*q. Put -2, q, -4 in ascending order.
q, -4, -2
Let u be 0*(2 + -2 + -1). Let w = 6 - 11. Sort u, 1, w.
w, u, 1
Let x(w) = w - 2. Let m(v) = v - 2. Let n(p) = 3*m(p) - 4*x(p). Let l be n(4). Let k be 