 -2 in decreasing order.
g, 0.1, -2
Let o = 0.9 + -4.9. Let x(f) = 6*f**3 - 3*f**2 + f. Let s be x(1). Put o, -7, s in decreasing order.
s, o, -7
Suppose 111 = 4*c + 103. Suppose -3*k = 4*w - 6, 8 = -c*w + 7*w + 4*k. Let d(x) = -x**3 - x + 2. Let v be d(0). Put w, -2, v in increasing order.
-2, w, v
Let b = -21.1 + 21. Let m = b - 0.1. Let y = -0.06 + 3.06. Sort y, m, -0.4 in increasing order.
-0.4, m, y
Let l(s) = -26*s + 1. Let i be l(2). Let v = i + 52. Sort -2, v, -2/5, -1/6 in ascending order.
-2, -2/5, -1/6, v
Let g = -99 - -103. Let p(l) = -l**3 - 21*l**2 + 22*l - 1. Let n be p(-22). Sort g, -1/5, n, 5 in ascending order.
n, -1/5, g, 5
Let o be (2/4)/((-2)/16). Let z = -112 + 116. Put -2, o, z, -1 in ascending order.
o, -2, -1, z
Let g = -3 + 6. Let d be g + 0 + 132/(-48). Let b = -73 + 149/2. Sort -4/7, d, b in decreasing order.
b, d, -4/7
Let u = -1034 + 1038. Put -1/2, 3, -3, u in decreasing order.
u, 3, -1/2, -3
Suppose -7*s - 3 = -4*s. Suppose -40 = 5*z - 5*j, -6*j + 5*j - 12 = 3*z. Sort 1/2, s, z in decreasing order.
1/2, s, z
Suppose -9*a = -4*a - 25. Suppose a*i - 2*i - u - 6 = 0, -3*i + 4*u + 6 = 0. Sort 0, i, -4 in descending order.
i, 0, -4
Let o(n) = -6*n - 63. Let q be o(-10). Let k be -2*3/12*-2. Put 3, q, k in decreasing order.
3, k, q
Suppose 0 = -15*y + 218 - 248. Let s(v) = -v**3 + 4*v**2 - 2*v. Let k be s(4). Sort y, k, 0 in decreasing order.
0, y, k
Suppose 0 = -10*n - 46 + 16. Let x(z) = z**3 - 7*z**2 - 7*z - 6. Let w be x(8). Suppose -6*s + 5*s = 5*g + 25, 5*g + 4*s = -25. Sort w, n, g in ascending order.
g, n, w
Suppose 5*g - 8 = -4*z, 18*g + 26 = 13*z + 13*g. Sort -13, z, -2 in descending order.
z, -2, -13
Let u = 1706 + -1666. Put u, -2/11, 0.08 in ascending order.
-2/11, 0.08, u
Let d = 1027 - 1026. Let r = -559/4 - -139. Sort 2/9, -4, d, r in ascending order.
-4, r, 2/9, d
Suppose -5*b + 4*y + 38 = -13, b - 8 = 3*y. Suppose 46 - 2 = -b*w. Put 0, w, 1 in descending order.
1, 0, w
Let d be 18/(-15)*1*(1 - -4). Let r be (-15)/d*8/(-130). Sort 5, r, 3, -0.2 in decreasing order.
5, 3, r, -0.2
Let q be 16/(-7 + 3) - -8. Suppose -1 = q*n - 17. Let h be 2*1/2 + 2. Put h, 0, n in increasing order.
0, h, n
Suppose 0*q + q - 5*y + 28 = 0, 2 = q + y. Let i = 0 + q. Put -6, -4, i in decreasing order.
i, -4, -6
Let p be -10 - (-645)/135 - 5*-1. Sort 2/7, p, 29 in descending order.
29, 2/7, p
Let g = -55 + 57. Let o(c) = -c - 7. Let n be o(-3). Sort n, 4, g in decreasing order.
4, g, n
Let u = 96 + -97. Sort 0.14, -4, u in decreasing order.
0.14, u, -4
Let o = 0.2 - -2.8. Let b = -0.9 - -0.6. Let d = b - 0.7. Put 4, d, o in descending order.
4, o, d
Let l = -30 + 34. Let b = 100 + -104. Sort 5, 2, l, b in ascending order.
b, 2, l, 5
Let n = -2.9 - 0.1. Let t = 1446 + -1446.43. Put t, 2/7, n in decreasing order.
2/7, t, n
Let y be 1/3 - (36/27 - 0). Suppose 0 = 2*g - v + 6, -v - 2 = -g - 4. Put -3, g, y, 2 in increasing order.
g, -3, y, 2
Let p be 2/(-6)*10 - (-28)/(-42). Let q = 29 + -30. Put p, -16, q in decreasing order.
q, p, -16
Let j be 8/32*-2 - 5/(-2). Suppose 0 = j*i + 27 + 23. Sort i, 2, 1 in ascending order.
i, 1, 2
Let v = -0.6 - -0.1. Let a = 1521 + -1519. Put a, -0.4, v, 3 in descending order.
3, a, -0.4, v
Let n = 343.7 - 344. Sort 0.4, n, 14.
n, 0.4, 14
Let n be (-6 - -9)*(-1)/7. Let a = -4.34 - -4.21. Put 4, a, -4/9, n in descending order.
4, a, n, -4/9
Let n = -27 + 26. Let p(r) = r + 6. Let l be p(-8). Let y(s) = -s - 10. Let h be y(-7). Put l, h, n in descending order.
n, l, h
Let g = 63 - 63. Let f(j) = 4*j. Let o be f(1). Let y(v) = -8*v + 10. Let h be y(1). Put h, o, g in descending order.
o, h, g
Let a(v) = -v**2 + 3. Let i be a(9). Let y = i - -153/2. Sort 5, y, 17 in increasing order.
y, 5, 17
Let f be ((-3)/2)/(0 - -1). Let r = 3 - -2. Let s(g) = g**2 - 4*g - 3. Let v be s(r). Put f, v, 0.3 in decreasing order.
v, 0.3, f
Suppose 4*u - 8*u + 6 = 5*l, l + 5*u = -3. Let b be -5*(-2)/(-20)*8. Suppose 8*i - 601 = -561. Sort b, l, i in descending order.
i, l, b
Let o(n) = n**3 - 4*n**2 + n - 1. Let x be o(4). Suppose q - x*q = -6. Let z be (q/(-39))/(5/10). Put -4, z, -2 in ascending order.
-4, -2, z
Let w(d) = -d**2 + 6*d - 3. Let r be w(4). Suppose -r*q + 10 = -0. Let k be (-1 - 1)*(-120)/48. Sort q, -4, k in decreasing order.
k, q, -4
Let q = -0.8 + 0.3. Let g = 0.2 + q. Let n be ((-11)/(-6) + -2)*(-99)/44. Put g, n, -3 in increasing order.
-3, g, n
Let c = -2.04 - -0.04. Let i = 322 + -230. Let j = i - 462/5. Put -1, j, c in descending order.
j, -1, c
Let t(i) = i**3 - 10*i**2 + 7. Let z be t(10). Let j be (-12)/(-21) - (-3)/z. Let q be 0*(-1 + 0)*(-3)/(-6). Put q, 3, j in ascending order.
q, j, 3
Let b = 270 - 274. Suppose 2*g - 2*d = 10, -4*g - 2*d + 14 = -6. Put 2, b, g in increasing order.
b, 2, g
Let k be 4 + (-2)/2 - 4. Let n = -1 - k. Let a be (-3)/6 + 12/8. Sort -4, n, a.
-4, n, a
Suppose -3*y + 8 = -7*y. Let n be 0 - (-9)/(-5 + -4). Sort n, 7, y in increasing order.
y, n, 7
Let b(r) = 2*r + 2. Let d be b(-4). Let t be (-56)/24 - -2 - 8/d. Sort -2, t, -4.
-4, -2, t
Let u(v) = 3*v**2 + 34*v + 11. Let h be u(-11). Suppose -n + 3*n - 16 = 0. Let y = h - n. Sort y, 5, 2 in increasing order.
y, 2, 5
Let h = 2 - -4. Suppose z - q + 12 = -h*q, -z - 8 = 3*q. Sort 3, -3, z in decreasing order.
3, z, -3
Suppose -12*i = -15*i + 27. Suppose -i*q - 22 = -7*q. Sort q, 2, 5.
q, 2, 5
Let d = 2.09 + -1.89. Sort d, 4, -52, -5 in increasing order.
-52, -5, d, 4
Suppose 0 = -2*u - 2, 2*k + u - 14 = 3*k. Let f be k/54 + 6/(-27). Let t = 355/1267 + 1/181. Sort t, f, -5/3 in decreasing order.
t, f, -5/3
Suppose -2*s - 5*r + 2 = 0, 0*s - 4*r = 5*s - 39. Let z(u) = -u**2 - 16*u + 40. Let f be z(-18). Sort f, -1, s.
-1, f, s
Let t(q) = -4*q**3 - 45*q**2 - 13*q - 22. Let s be t(-11). Put s, 197, -5 in decreasing order.
197, s, -5
Let d(j) = j**2 - 6*j + 2. Let h be d(6). Let x be (1*3*1)/(531/(-885)). Sort -1, x, h in descending order.
h, -1, x
Let q(f) be the first derivative of f**4/4 - 5*f**3/3 + f + 2. Let a be q(5). Let z be 2 + -4 + 0 + 6. Sort z, -1, a.
-1, a, z
Let u = -2.8 + 3. Let q = -368 + 243. Let r = q + 122. Sort r, u, 7/4 in decreasing order.
7/4, u, r
Let j = -0.76 - -0.16. Let z = -33 + 33.53. Let a = z + j. Sort a, -1/5, 0 in descending order.
0, a, -1/5
Let b = -51 + 53. Let y = 8.8 + -9. Put y, b, -5 in increasing order.
-5, y, b
Let p be -9*(4 + (-76)/18). Suppose -p*t + 4*t = -10. Sort -0.3, t, -0.4 in descending order.
-0.3, -0.4, t
Let d be 55 + (7 - 12) + 6. Put d, 1, -4 in increasing order.
-4, 1, d
Suppose 5*z - 3*w - 20 = 0, -4*z + w - 3*w - 6 = 0. Let s(g) = -g**2 - 13*g + 45. Let p be s(-16). Sort -4, p, z, 5 in descending order.
5, z, p, -4
Suppose -40*w + 213 = 173. Let p = 1.2 - 1.38. Let h = 9.18 + p. Sort w, 5, h in decreasing order.
h, 5, w
Let t = -1.43 + 1.419. Put 2, 0.5, -5, t in ascending order.
-5, t, 0.5, 2
Let s be 80/(-36) + (-2)/(-9). Suppose 2*k = k + 3. Let z(o) = -o**2 - 20*o - 92. Let b be z(-12). Sort k, s, b in decreasing order.
b, k, s
Let k = -68 - -72. Sort k, 3, 2, -1.
-1, 2, 3, k
Suppose y + 4*y - 30 = 0. Let l be y/9 + (-1)/3. Let m(i) = -i**3 + 4*i**2 - 5. Let a be m(4). Put a, l, 0.3 in increasing order.
a, 0.3, l
Let h = 358/7 - 51. Put 4, h, -1, 0.065 in decreasing order.
4, h, 0.065, -1
Let s = -58.062 + 0.062. Let j = 58.1 + s. Sort -4/5, j, -0.4 in decreasing order.
j, -0.4, -4/5
Suppose 4*l + 26 = 3*q, -3 - 13 = l + 4*q. Let j = l + 12. Suppose 1 = i + 3. Sort i, 5, j in descending order.
5, j, i
Suppose 4*w = -2*b + 28, -4*w = b + 10 - 34. Suppose 0 = 4*c + w*r - 21, 10 = 2*c + c - 2*r. Sort 0, c, 1 in descending order.
c, 1, 0
Let x = -4.46 + 3. Let i = -0.38 + -1.12. Let t = i - x. Put t, -5, 0 in descending order.
0, t, -5
Let c = -8.47 - -7.9. Let t = -0.37 - c. Let s be (-4)/(-2)*(-65)/(-26). Put s, t, 1/6 in descending order.
s, t, 1/6
Let c(b) = b**2 + 10*b + 29. Let p be c(-4). Let k be (-2 - 2*-1)*1. Let w = k - -3. Sort w, p, 0 in descending order.
p, w, 0
Suppose -f - m - 1 = 0, -2*m - 8 = -2*f + 6*f. Sort f, 11, -9 in ascending order.
-9, f, 11
Suppose 8 = 16*d - 24*d. Put d, 0, -17, 3 in descending order.
3, 0, d, -17
Let v = -953 + 950. Let s = 7 + -6. Sort -2, v, s, 0 in increasing order.
v, -2, 0, s
Suppose -g + 4*w = -11, -6*w - 23