 5 in ascending order.
p, -0.3, 0.5, 5
Let v = -3 + -1. Let p be v + 11 + 2*-1. Suppose p*w - n + 9 = 0, -4*n + 2 = -3*w - 0*w. Sort -5, 3, w.
-5, w, 3
Let u(r) = -r**2 + 5 + 4*r - 2*r + 5 + 5*r. Let d be u(8). Let k be (-2)/10*5/(-4). Put k, 0, d in ascending order.
0, k, d
Suppose 6 = -5*b - 4. Sort 5, b, -58 in descending order.
5, b, -58
Let d = -7 + -5. Let o = 6 - 5. Put d, -2/7, o in descending order.
o, -2/7, d
Let h(p) = p**2 - 17*p + 18. Let q be h(16). Put 5, q, 0 in descending order.
5, q, 0
Suppose 25 = 5*f - 60. Suppose 3*g = -15, -5*m + 18 = -5*g - f. Sort 3, m, -0.1 in decreasing order.
3, m, -0.1
Suppose -5*y = -3*t + 58, 0 = 2*t - 4*y - 11 - 31. Sort 0, t, -5 in increasing order.
-5, 0, t
Let w = 7 + -11. Suppose -y + 5*s = -9 - 0, 2*y + 5*s - 3 = 0. Suppose -y*i + 3 = -13. Put i, -5, w in increasing order.
-5, w, i
Let r be (0 + -2)/((-56)/18). Let w = r + -73/70. Sort 3, w, 4 in ascending order.
w, 3, 4
Let w = -32/5 + 251/40. Let c = 0.57 - 0.5. Let h = c - 4.07. Sort h, w, 5 in decreasing order.
5, w, h
Let v = -1 - -0.88. Let a = v + -4.88. Let k = -62.3 + 62.4. Sort k, 0.2, a in descending order.
0.2, k, a
Suppose 9*h - 4*h + 5 = 0. Sort h, 0, -3.
-3, h, 0
Let q be 1/(-5) - (-214)/920. Let b = 353/460 + q. Sort -1/3, b, 2 in decreasing order.
2, b, -1/3
Suppose 7 = 3*t - 4*f, -t - f - 2*f + 24 = 0. Let z be -6*(1 - 24/t). Suppose z = y + y. Sort 0.4, -1, y in ascending order.
-1, 0.4, y
Let w be ((-7)/14)/(2 - 142/72). Sort -5, -4, w.
w, -5, -4
Let m be 1 + -5 + (20 - 15). Put m, 3, -1 in ascending order.
-1, m, 3
Let n = 0.1 + 8.9. Let p = -7 + n. Let o = -1.95 + p. Sort -0.4, 4, o in increasing order.
-0.4, o, 4
Let o = 5.03 + -0.03. Let j = -5.1 + o. Let a be (-12)/7*2/4. Sort 4, a, j in decreasing order.
4, j, a
Let m = 3 + -3.5. Let f = 2 - 1.8. Put f, m, 0 in increasing order.
m, 0, f
Suppose -3*s + 15 = -2*p - 0, -3*s - 5*p + 15 = 0. Let h = -11 - -15. Put 2, s, h in descending order.
s, h, 2
Suppose -m = -5*h + 25, -h = 4*m - 2*h + 24. Let a be (m/2)/(2/4). Let s = 4 - 3. Put s, a, 0 in descending order.
s, 0, a
Let w(m) = -2*m - 4. Let n be w(-5). Let d = -4 + n. Put 0, 1, d in descending order.
d, 1, 0
Let j = 4 - 4. Let b be j/((3 - 0) + -1). Sort b, 2, -1 in increasing order.
-1, b, 2
Let r = 4 + 2. Let k(l) be the first derivative of -l**4/4 + 2*l**3 + 5*l + 2. Let o be k(r). Put 3, o, -2 in decreasing order.
o, 3, -2
Suppose 4*a = 25 - 9. Let h = 0 + -0.3. Suppose 3*i - 5 = -3*d - 32, 0 = -d - 4*i - 24. Put d, h, a in decreasing order.
a, h, d
Suppose -10 = 2*j - 0, y + 9 = -2*j. Sort 3, 15, -1, y in ascending order.
-1, y, 3, 15
Let p be 4/(1/(15/50)). Sort 3/2, p, 1.9 in ascending order.
p, 3/2, 1.9
Let q = -2.8 - -6.5. Let i = q - 0.7. Let c = 2 + -2.5. Sort i, c, 0 in ascending order.
c, 0, i
Suppose m - 3*m - 4 = 0. Let o be (8*-4)/(m/(-4)). Let d be o/34 - 4/(-2). Put d, -3, 1/4 in decreasing order.
1/4, d, -3
Let v = -0.2 + 1.2. Let q be 238/(-26) - 13/(338/(-4)). Sort q, v, -4.
q, -4, v
Let s be 26/(-10) + (-14)/35. Let o(i) = 2*i**2 + 5*i + 2. Let c be o(s). Sort -2, 1, c in ascending order.
-2, 1, c
Let j = 206 - 206. Let n be 1*(1 + 0)*3. Suppose n*x + 0 - 12 = 0. Sort j, -3, x in descending order.
x, j, -3
Suppose 0 = 2*u - u + 5. Suppose c = -2*f - 2, -2*f - 2*c + 0*c = 6. Sort f, -4, u in increasing order.
u, -4, f
Let z = -19 + 18.68. Let x = -0.08 + z. Sort -2, x, 2/9 in descending order.
2/9, x, -2
Let u = -4 - -2. Sort u, -3/4, -10 in increasing order.
-10, u, -3/4
Let h = -1.3 - -0.3. Let r = h + 5. Let o = r + -8. Sort o, -0.1, 4/3 in descending order.
4/3, -0.1, o
Suppose 22 = 3*i + 7. Suppose -b + 0 = -4. Suppose x - b*x - 15 = 0. Put i, x, -3 in descending order.
i, -3, x
Let g(q) = -q + 9. Let c be g(7). Suppose 3*k = 2*k + 2. Suppose 0 = -u - k*u + 15. Put c, 0, u in decreasing order.
u, c, 0
Let m(p) = -p**3 + 6*p**2 - 5*p - 2. Let l be m(5). Let f = -5 + 6. Let c = f - -2. Sort c, 0, l in ascending order.
l, 0, c
Let a = -2 + 1.9. Let l = 1 + 2. Sort a, l, -5.
-5, a, l
Let o be 6/(-8)*(-8 + 0). Let q be (8/140)/(o/(-29)). Let r = q + -2/35. Sort 0.4, 2/13, r in increasing order.
r, 2/13, 0.4
Let f = 68 + -72. Sort f, -45, 1, -2 in increasing order.
-45, f, -2, 1
Let r = 0.8 + 0.2. Let z be (-2 - (54/(-8))/3)/(-1). Put 2, r, z in decreasing order.
2, r, z
Suppose -4*c + 13 - 5 = j, 2 = -2*c + j. Let v be c/(-3) + 7/3. Let y(i) = i**3 + 10*i**2 + 22*i + 10. Let p be y(-7). Put v, p, -5 in decreasing order.
p, v, -5
Suppose u + 5*v - 3 = -3*u, 3*v = -4*u + 13. Let z(y) = 5*y + 6. Let g be z(u). Suppose 5*r = g - 16. Sort -1, r, 4/3 in increasing order.
-1, 4/3, r
Let q = -5 - -4. Put q, 2, 1, -5 in descending order.
2, 1, q, -5
Suppose -4*u = 3 - 11. Let t be 34/8 + (-48)/(-64). Put 1, u, t in increasing order.
1, u, t
Let l be (-3)/9*(2 - -1). Let y be 12/(-8)*(2 - 4). Suppose -w = 1 + y. Put 1/4, w, l in ascending order.
w, l, 1/4
Let p = -1/17 - -19/34. Put -3, 0, p in increasing order.
-3, 0, p
Suppose w + 5*l = 30, 5*w + 0*l = l + 20. Suppose -w*x = 4 - 24. Suppose -s = -5*p, -x*p = -0*p + 4*s - 24. Sort 5, p, -4 in ascending order.
-4, p, 5
Let x(l) = -l - 2. Let d be (-1 - 5)*2/(-6). Let y be x(d). Sort y, 4, 0 in ascending order.
y, 0, 4
Let d be 10/14*((-75)/18 - -3). Sort d, -5, 1.
-5, d, 1
Suppose -s - 2 = -0, -3*m - 3*s = 0. Suppose -3*o = -m*o + 5*h + 15, 4*o = -5*h - 15. Sort -1, o, 3.
-1, o, 3
Let j be -4*(-1)/((-4)/(-3)). Suppose 0 = -u + 2*s - 7*s - 15, 3*u - 3*s - 27 = 0. Put u, j, -7 in ascending order.
-7, j, u
Let z(m) = -m**3 + m**2 + 3*m + 2. Let s be z(0). Put s, -4, -3 in decreasing order.
s, -3, -4
Let j = -1 - -0.8. Let r = 0.1 + j. Put 2, r, 2/5 in descending order.
2, 2/5, r
Suppose 0 = -0*x + 2*x - 6. Sort x, 5, -5 in decreasing order.
5, x, -5
Let c be -2 + 1 + 4 + -2. Let x(u) = -u**2 - 7 - c + 7 - 5*u. Let w be x(-5). Sort -5, w, -2/13 in decreasing order.
-2/13, w, -5
Let s = 3.06 + -0.06. Let g = s - 2.8. Let z be 2 - (210/22)/5. Sort -0.3, g, z in increasing order.
-0.3, z, g
Let i = 0.29 + -5.29. Let t(u) = 3*u**2 - u + 1. Let f be t(1). Sort i, f, 2/11 in ascending order.
i, 2/11, f
Suppose -4*g - 36 = -124. Let k be 2/(-10) + g/10. Let z be (k/(-3))/((-21)/9). Put z, 1, 0 in increasing order.
0, z, 1
Let v be (1 + 1 + 1)/(1 + 2). Sort -2, -4, 0, v in ascending order.
-4, -2, 0, v
Let n = 1/29 - 179/145. Let u = -15 + 14.93. Let x = 4.93 - u. Sort x, n, -2.
-2, n, x
Let a = 7 - 4. Sort -3, a, 4 in decreasing order.
4, a, -3
Let x = 1.3 - 0.3. Let z = x + 10. Let v = 11.5 - z. Sort -0.2, v, -3 in decreasing order.
v, -0.2, -3
Suppose -3*f - 5*r - 1 = -0*r, 0 = 5*r - 5. Let a be (-2)/(f + -7 + 2). Let b be -1 - (100/(-24))/5. Sort b, -5, a in decreasing order.
a, b, -5
Let c be 4/(-10) + 28/20. Let m(f) = -f**2. Let i be m(c). Let a be 4 + -3 + (-2 - -1). Sort -2, i, a in decreasing order.
a, i, -2
Let u = -185 + 188. Let b = -106/5 + 21. Put b, u, -2/23 in descending order.
u, -2/23, b
Suppose 0 = 5*o + 4*t + 120, 2*o - 4*t = -o - 72. Let n be 4/12 - (-734)/o. Let c = -30 - n. Sort 3, c, -1/9.
-1/9, c, 3
Suppose 5 = 2*c - 3. Suppose -21 = 4*m - m + 4*l, -5*m + 2*l - 35 = 0. Let h = 2 + m. Put c, 1, h in increasing order.
h, 1, c
Let m be -6*(-6)/(-4) + 4. Suppose 1 = j - 4. Suppose -j*p = -3 - 17. Sort -4, p, m in decreasing order.
p, -4, m
Let d = -1238 - -102752/83. Let s = 8/81889 - -12771364/33983935. Let v = s - d. Sort -0.4, -3, v in descending order.
v, -0.4, -3
Suppose -2*p + 11 = 2*o + 7, 26 = -2*o + 4*p. Sort 3, 7, o in ascending order.
o, 3, 7
Let j be 74/(-14) + (-2)/(-7). Sort -4, j, -1 in ascending order.
j, -4, -1
Suppose 2*r - 6 = -0*r. Suppose 14*d - 2 = 12*d. Sort -1, r, d in ascending order.
-1, d, r
Let j(z) = -2*z**3 - 2*z**2 + 1. Suppose -2*t - 7 = -b, 3 = -t - 1. Let o be j(b). Put 3, o, 0 in descending order.
3, o, 0
Let w = 51 + -52. Sort 2, w, -16 in descending order.
2, w, -16
Let j be 160/(-76) + (0 - -2). Sort 0.1, -0.06, j in decreasing order.
0.1, -0.06, j
Suppose -2*d = y - 8, 0 = 2*y - 2*d - 0*d - 4. Let x be 5/(-3)*6/(-2). Let p = x - 0. Put p, y, 2 in descending order.
p, y, 2
Let c = -0.2 - 15.8. Let r = c - -16. Sort r, -0.5, 5.
-0.5, r, 5
Let o = 16 - 4. Let t be (-3)/10*o/6. Suppose 5*k + i = 19, 0 = -k