p be t(-10). Sort p, 3, v in descending order.
3, p, v
Suppose -2*v + 3*m + 6 = 0, -6 = -0*v - 2*v + 5*m. Put 7, v, -1, 0 in ascending order.
-1, 0, v, 7
Let x = 45/28 + -7/4. Let b = 0 - -0.03. Let i = b - -3.97. Sort -1/4, x, i.
-1/4, x, i
Let i be 15/(-9)*9/10. Let j = 0 + 0. Sort i, j, -3.
-3, i, j
Let q = 0.7 - 0.71. Let w = q - -0.51. Let b = -0.5 - -0.2. Put b, -2/3, w in descending order.
w, b, -2/3
Suppose 2*g - 8 = -0*g. Let x = -3 + g. Sort 0, x, -2 in decreasing order.
x, 0, -2
Let w(h) = h**3 + 7*h**2 - 9*h - 7. Let i be w(-8). Let v be i + ((-3)/(-1) - 2). Suppose -u + z = 0, 0*z = -3*u + 4*z + v. Put 1, u, 2 in increasing order.
u, 1, 2
Let j = 0.1 - 0.2. Put 1, j, 3 in ascending order.
j, 1, 3
Suppose -4*m = -16, -r + 175 = 4*m + 804. Let y be (r/16)/((-3)/(-12)). Let p = -162 - y. Put p, -0.1, 4 in descending order.
4, -0.1, p
Suppose -16*c + 13*c - 15 = 0. Put -3, -2, 0, c in increasing order.
c, -3, -2, 0
Let s = 56 - 54. Sort 6, s, -2, 5 in descending order.
6, 5, s, -2
Let q be ((-1)/2 - 1)*2. Let m be (3 - 0) + (3 - 1). Let c be 1*(2 - (-30)/(-14)). Sort c, q, m.
q, c, m
Let z = 4 + -6.6. Let b = z + 3.7. Let x = b + -0.7. Put 0, -2/13, x in decreasing order.
x, 0, -2/13
Let z(d) = -d**2 - 11*d - 1. Let x(o) = o**2 + 11*o + 1. Let g(m) = 4*x(m) + 3*z(m). Let y be 638/(-55) + 6/10. Let c be g(y). Sort -3, 3, c.
-3, c, 3
Let m(j) = -4*j. Let w be m(1). Suppose -5*l - 2*l = -21. Sort w, l, -2.
w, -2, l
Let w = 2.73 + -3.73. Let p = 137/6 + -23. Put w, 2, p in increasing order.
w, p, 2
Let c = 8.1 - 8.6. Sort 0, c, 12.
c, 0, 12
Let o = -8 - -8. Suppose 0 = -m + 4 - 1. Suppose -5*h + 4*z + 6 = 0, -4*z + 12 = -2*h - 6*z. Sort o, h, m.
h, o, m
Let q(l) = -l**3 + 4*l**2 + l - 1. Let z be q(4). Suppose -8*u = 62 + 10. Sort u, z, -4.
u, -4, z
Suppose -5*g = -0 + 20. Let u(q) = 4*q**2 - 1. Let r be u(-1). Let s = r - 8. Put s, g, 2 in ascending order.
s, g, 2
Let m = 9 - 13. Let r = 0.31 - 7.31. Sort r, 5, m in descending order.
5, m, r
Suppose -5*f - u + 20 = 0, -2*u = 3*f + f - 22. Put 2, f, 1 in descending order.
f, 2, 1
Suppose 5*x + 5 = -2*j, 2*x + x + 4*j = -3. Sort x, 1, -2, 3.
-2, x, 1, 3
Let k be 4/12 + (-4)/3 + 2. Let g be (-2 + (-1 - -8))*-1. Put g, k, 5 in decreasing order.
5, k, g
Suppose -4*g + 0*g - 4*q = -68, 2*q - 16 = -g. Let o be (-2)/(-12) - 93/g. Let k = 41/85 - -2/17. Put k, o, 0.4 in ascending order.
o, 0.4, k
Let l = 114 + -801/7. Sort -2, -5, l.
-5, -2, l
Let h = -5 - -9. Suppose -h*q - 4*c = q - 4, 0 = 5*q - 3*c + 3. Suppose q = -y - 2*j + 8, -3*j + 3 = -3. Put 0, y, -2 in decreasing order.
y, 0, -2
Let r = -2.6 - -3. Let d = -2 + 4. Sort d, 2/9, r in descending order.
d, r, 2/9
Let p(g) = g**3 + 6*g**2 + 6*g + 3. Let a be p(-5). Let i(f) = -f**3 + 3*f**2 - f. Let j be i(2). Put a, j, -1 in decreasing order.
j, -1, a
Let x = 12 + -27. Let o be 5*(-1)/(x/(-6)). Suppose -2*g - 8 = g + z, -5*g - z - 14 = 0. Sort o, g, 1 in ascending order.
g, o, 1
Let m = 188 - 190. Put -10, m, -1 in ascending order.
-10, m, -1
Suppose -u = 2*u. Sort -1, 3, u in ascending order.
-1, u, 3
Let c = -2.6 + 2. Let l = 0.066 - -0.034. Let f = c + l. Put 3, -4, f in increasing order.
-4, f, 3
Let y(b) = -b**3 + b. Let s(j) = -j**2 - 9*j - 9. Let m be s(-8). Let o be y(m). Put o, 5, -1 in descending order.
5, o, -1
Suppose 3*o - 2*o = 2. Suppose w + 4 = o. Sort 3, w, 2.
w, 2, 3
Suppose 8*l - 2 = 6. Put -0.08, -3, l, -0.5 in descending order.
l, -0.08, -0.5, -3
Let p = -6 + 9. Suppose -p*q = 7 + 2. Let h = 0.48 + -0.28. Put q, h, -2/9 in ascending order.
q, -2/9, h
Let u = -9 - -15. Let k = 2 - u. Let h = -1 - k. Put h, 5, 1/5 in descending order.
5, h, 1/5
Let l(g) = -g**3 + 3*g**2 + 4*g + 3. Suppose -3*b + 17 = 2*u, 0*u + 2*u = -4*b + 20. Let w be l(u). Sort w, -2, -5 in decreasing order.
w, -2, -5
Suppose -2*d = d - 42. Suppose -3*z + z - d = -4*h, 0 = 3*h - 5*z - 14. Sort -1, h, -0.5.
-1, -0.5, h
Suppose -2*d = 3*n, -5*d = 5*n - 0*n. Suppose -25 = -n*k + k. Let h be 6/(-10) - 115/k. Sort h, -4, -3.
-4, -3, h
Let i be (-1)/(-1 - 42/(-4)). Let d = 4.92 - -0.08. Let r = -9 + d. Sort r, i, 0.5 in decreasing order.
0.5, i, r
Suppose 10 = -17*z + 12*z. Sort 4, z, 2 in decreasing order.
4, 2, z
Let t = -45.6 + 42. Let u = 4 + t. Sort u, -2, 1 in decreasing order.
1, u, -2
Suppose -6*c = -2*c - 8. Suppose 4*b + u = -0*b + 7, -5*b = -3*u - 13. Let d be ((-1)/b)/(3/(-24)). Sort 0, c, d in descending order.
d, c, 0
Suppose 20 = -5*w + 5*m, -4 = 3*w - 5*m - 0. Put 4, w, -5 in increasing order.
w, -5, 4
Let c = -89 + 265/3. Put c, 0.3, -2/7 in decreasing order.
0.3, -2/7, c
Let k be (-12)/15*(-10)/4. Let q be (-1 + 0)/k*-6. Let p = 5 - 1. Sort q, 2, p in decreasing order.
p, q, 2
Let v = -3.56 - -0.56. Let g be -5*(-5)/(10/4). Suppose 2*h = -4*d + g, 3*h + 40 + 0 = 5*d. Put d, v, 4 in decreasing order.
d, 4, v
Let m = -20957/55 + 381. Let g = m - 4/11. Sort 0.5, -1, g in descending order.
0.5, g, -1
Let b = -0.1 - 0.4. Let s = -0.8 - 1.2. Let q be (-3)/(-9)*1*15. Sort s, q, b.
s, b, q
Let k(d) = -d**3 - 5*d**2 + 6*d - 8. Let p be k(-6). Let q = p + 8. Put q, -3, -1 in increasing order.
-3, -1, q
Let t = 7.1 - 15.1. Let l = -4.9 + 0.9. Sort 0, l, t.
t, l, 0
Let q be 1*(-1)/(-2)*-2. Let s be 6/(1 - q) + 1. Put 2, s, -5 in descending order.
s, 2, -5
Let l = 17 - 13. Suppose -5*q + 2*o = -19, q + 3*o - 7 = 7. Put l, 0, q in descending order.
q, l, 0
Let a be 7/2 - (-2)/(-4). Suppose -4*d + 1 = -5*c + 6, 0 = -3*c - d + 3. Sort c, a, 0.
0, c, a
Suppose 4*f - 6 - 6 = 0. Suppose -5*m - 25 = 5*a, -2*m - 2*a + 18 = -7*a. Let c be (15/(-12))/(m/4). Put c, -2, f in decreasing order.
c, f, -2
Let i be (-1)/(-1)*(4 + -4 - 1). Put i, 22, 3 in descending order.
22, 3, i
Suppose -3*d + 2 = 14. Sort d, 0, 1 in ascending order.
d, 0, 1
Let k be ((-3)/(-6))/(-1)*8. Put -2, k, -1, -3 in descending order.
-1, -2, -3, k
Let k(c) = -c**3 - 2*c**2 - 4*c - 5. Let m be k(-2). Sort 7, m, -5.
-5, m, 7
Let y = 170 - 1192/7. Let h = 1/12 - -1/12. Sort -3, h, y in increasing order.
-3, y, h
Let r = 2 - 1. Let j(z) = -z**3 - 7*z**2 - 2*z - 9. Let m be j(-7). Let o(w) = w**2 - 5*w - 1. Let i be o(m). Put -5, i, r in ascending order.
-5, i, r
Let b = 23 + -70/3. Let t(q) = -q + 4. Let r be t(5). Sort b, -5, r in descending order.
b, r, -5
Let j = -1/2 - -1/3. Let w = -0.28 - 0.02. Sort j, -3/4, w in increasing order.
-3/4, w, j
Let b be 2/(-4) - (-20)/(-8). Sort 2, b, 5.
b, 2, 5
Let k be (-8)/6*(-3)/(-5). Let l = -38 - -42. Let x = -1 - -0.5. Sort l, k, x.
k, x, l
Let u = -58 + 62. Sort -3, -1, u in descending order.
u, -1, -3
Suppose -2*s + 20 = 4*x - 0*x, -2*s - 2*x + 16 = 0. Let a be (-1 - (-3 + 3))*(-7 - -6). Sort a, -3, s in increasing order.
-3, a, s
Let d = 25.16 - 23.1. Let m = d + -2. Sort 0, m, -3 in ascending order.
-3, 0, m
Let f be 4*1*(-5)/(-20). Let b be (f*-4)/(-4 + 5). Let m be 1 + (-3)/(-1)*-1. Sort 4, m, b.
b, m, 4
Let c = -0.17 - 14.83. Let i = c - -10. Let z = 1.4 - 1. Put -2, z, i in ascending order.
i, -2, z
Let o = 8 + -3. Suppose 0 = 2*x - 6 - 0. Suppose x*n + 3*i = 3, o*n + 3*i = 6*i + 37. Put -1, 3, n in increasing order.
-1, 3, n
Let j = -1 + 6. Let z = -0.6 - -0.2. Sort 0.2, z, j in ascending order.
z, 0.2, j
Let m(g) = -4*g**3 - g**2 - g. Let p be m(-1). Let o be (-6)/(-4)*p/(-3). Sort -3, 3, o in decreasing order.
3, o, -3
Suppose 6*o = 3*o. Sort 2, o, -4.
-4, o, 2
Let p be (-2)/3*(-12)/28. Put 3, 0.1, p, 1/8 in decreasing order.
3, p, 1/8, 0.1
Let o = -3.4 - -8. Let g = o + -5. Let z be (-8)/10*10/(-28). Put z, g, 0 in increasing order.
g, 0, z
Suppose 0 = -m + 3*i - 17, 3*m = -m - 5*i. Put 1, m, -8 in descending order.
1, m, -8
Suppose 10 = -0*c + 5*c. Suppose 3*j - c*a + 2 = -15, 4*a - 16 = 0. Put -5, 2, j in increasing order.
-5, j, 2
Let g = 46.4 + -46. Let w = 0.6 - 0.1. Sort w, 2/9, g in decreasing order.
w, g, 2/9
Let f be (39/21 + -2)/(15/45). Sort -4, 0.4, 5, f in decreasing order.
5, 0.4, f, -4
Suppose 6*n = 3*n - 36. Let h be (6/n)/((-1)/(-2)). Let t(k) = k**3 - k**2 - 2*k - 1. Let a be t(h). Sort 4, a, -2 in descending order.
4, a, -2
Let w = -2.97 - 0.03. Let b = 2.06 + -0.06. Put b, 1/3, w in descending order.
b, 1/3, w
Suppose 2 = 3*v - 5*v. Sort -3, 0, v in increasing order.
-3, v, 0
Let m = -0.17 + 0.26. Let c = m - -0.01. So