t o = -16 + 15. Sort o, 1, 4 in ascending order.
o, 1, 4
Suppose -2*l + b = -0*b, -4*b = 5*l. Let v be (-1 - (3 + -2))/1. Put l, v, 3 in increasing order.
v, l, 3
Let z(y) = -y**3 - 7*y**2 - 3*y - 17. Let o be z(-7). Sort 0, o, 10, 5 in ascending order.
0, o, 5, 10
Let a be 26/6 - (-5)/(-15). Suppose 6*g = 3*g. Sort a, -4, g in descending order.
a, g, -4
Let h(o) = 3*o - 63. Let f be h(21). Let l be (-1)/1*2*1. Put f, 2, l in descending order.
2, f, l
Suppose -m + 1 = 4*w + 25, 0 = -2*m + 4*w + 12. Put 4, 2, m in decreasing order.
4, 2, m
Let j = -5.2 - -5.5. Sort -2/5, j, 2.
-2/5, j, 2
Suppose -4*u = -3*y - 7, -3*u - 1 = 3*y - u. Put 0, 2, y in ascending order.
y, 0, 2
Suppose 2*o = 2*l - 6, 3*l = -4*o - 0*l + 16. Sort o, 2/13, 2/3, 2 in increasing order.
2/13, 2/3, o, 2
Let k = -3 + 5. Let y be -2*(1 + k)/(-6). Let t be y*2*(-10)/(-5). Put 5, 1, t in increasing order.
1, t, 5
Let d(t) = -t**3 - 3*t**2 - 3*t - 10. Let j be d(-3). Sort j, 1, -4 in descending order.
1, j, -4
Let z = 4 + -2. Let v = -20 + 14. Let x = v - -9. Put -2, x, z in decreasing order.
x, z, -2
Let w = 15/8 + -99/40. Let v be (3/(-4))/(7/28) - -1. Put v, -0.3, w in decreasing order.
-0.3, w, v
Let m(t) = -t**3 - 2*t**2 + t - 7. Let c be m(-3). Suppose 3 - 1 = 2*l. Suppose j - l = -4. Sort c, j, -5 in increasing order.
-5, j, c
Let p = 3.4 + 1.6. Let n = -9 + p. Sort n, 0.1, 0.4 in ascending order.
n, 0.1, 0.4
Let m = -91.3 + 91. Let p = -0.3 + 0.5. Put 1/10, p, m in decreasing order.
p, 1/10, m
Let x be 36/(-77) + (-2)/(-7). Let h = -0.05 - -3.65. Let g = 4 - h. Sort g, -2, x in ascending order.
-2, x, g
Let s be 40/(-21) + 12/(-126). Let n = 7 + -10. Put 1, n, s in decreasing order.
1, s, n
Let i be (3 - -2)/(1 + 3). Let k be (-10)/35 + 33/42. Sort k, -4, i in ascending order.
-4, k, i
Suppose 0 = -5*h - 4*i + 14 + 31, 3*h - 25 = -2*i. Let n = 1.2 + -1. Sort n, 1/2, h in decreasing order.
h, 1/2, n
Let q(l) = l**2 + 2*l + 3. Let c be q(-2). Sort c, 7, -5 in decreasing order.
7, c, -5
Let j = -4 + 3.93. Let h = 4.93 - j. Let a = h + -3. Put 1, a, 0.4 in increasing order.
0.4, 1, a
Let z = -1 + 0.9. Sort -1, 1, z in descending order.
1, z, -1
Suppose -17 = -q - 3*m, 8*m - 20 = 4*m. Suppose -2*i = q*i + 16. Sort 2, i, -1 in descending order.
2, -1, i
Let j = -905.815 + 909. Let w = 0.195 - j. Let m = 0.01 - w. Put m, -2/5, -3 in ascending order.
-3, -2/5, m
Let b = -0.2 - -0.2. Let z = 8 - 3. Let a = b + z. Sort a, 0.1, 0.5 in ascending order.
0.1, 0.5, a
Let c(m) = 7*m + 25. Let k be c(-4). Put k, -0.4, -4, 3 in ascending order.
-4, k, -0.4, 3
Let q = -3.6 - -3. Let o = -1 - q. Let x = -1.1 + 1. Sort x, o, -5 in decreasing order.
x, o, -5
Let k(b) = -b + 8. Let q(j) = -8*j - 1. Let o = -1 - 0. Let g be q(o). Let m be k(g). Put m, 5, 2 in decreasing order.
5, 2, m
Let v(i) = 2*i + 2. Let c be v(-2). Let d = 4 + -5. Sort d, c, 1 in increasing order.
c, d, 1
Let z = 0.4 + -4.4. Let s = z + 5. Let c = s + 2. Put 3/7, 1, c in descending order.
c, 1, 3/7
Let l = -7 + 12. Let t = -72 + 76. Let b = -0.7 - -0.3. Put l, t, b in decreasing order.
l, t, b
Let t = -5.99 + -0.01. Let g = -6.5 - t. Put g, -0.3, -0.1 in ascending order.
g, -0.3, -0.1
Let t = 67 - 63. Put t, 5, 3 in descending order.
5, t, 3
Let w be (4/6)/((-12)/(-54)). Sort 39, 1, w in decreasing order.
39, w, 1
Suppose 0 = -3*s, 0*w + s = 2*w + 2. Sort 5, w, -3, -5 in decreasing order.
5, w, -3, -5
Suppose -8 = 5*q + 12. Let z(u) = -2*u**2 + 15*u + 2*u**2 + u**3 - 19*u - 3 - 3*u**2. Let m be z(4). Sort q, 3, m in decreasing order.
3, m, q
Let k be (-5)/(-2)*14/35. Let n be 1/(k - -2)*-15. Suppose -3*r = -4*r + 4*d, -2*d = 4*r + 18. Sort -1, r, n in increasing order.
n, r, -1
Let z = -34502/3 - -11643. Let j = 141 - z. Sort j, -4, 0.2 in descending order.
0.2, j, -4
Let x = 149 + -144. Sort x, 2, -8 in descending order.
x, 2, -8
Let z(l) = -l**3 + 7*l**2 + 9*l - 3. Let a be z(8). Suppose -5*t + 15 = -0*t. Sort a, t, 0 in decreasing order.
a, t, 0
Let h(w) = -2*w - 4. Let b be h(-3). Let k(n) = n**3 + 2*n**2 - n - 2. Let p be k(b). Suppose 0 = x + 4*l + p, -4*l - 12 = -3*x. Sort 1, x, 3.
x, 1, 3
Suppose -7 + 0 = -7*u. Put -4, u, 3 in increasing order.
-4, u, 3
Let r = 3 + -2. Put r, 2, 0 in ascending order.
0, r, 2
Suppose 0 = -2*d + 8*d. Put 1/4, d, 1, -3 in ascending order.
-3, d, 1/4, 1
Let s = -12 - -16. Sort 5, -6, s in descending order.
5, s, -6
Let t = -67.5 - -67. Sort -5, t, -6 in ascending order.
-6, -5, t
Suppose -2*p + 6 = 4*w, p + 3*w = -p + 4. Sort -4, p, 3 in descending order.
3, p, -4
Let b(u) be the first derivative of u**3/3 + u**2/2 + 4*u + 3. Let z be b(0). Sort z, -3, -2 in descending order.
z, -2, -3
Suppose 3*n + 0 = 9. Suppose 4*t + n = 19, 4*g + 3*t + 4 = 0. Sort g, 5, 4 in descending order.
5, 4, g
Let v = -10.5 - -11. Sort v, 1, 3/7 in ascending order.
3/7, v, 1
Let l(h) = -2*h + 2. Let b be l(3). Let r be (0 - -3) + -6 + 8. Sort b, 2, r in descending order.
r, 2, b
Let i = 1.1 + -1. Let w = -4.7 - -4.9. Let f be (3/(-7))/1*-1. Sort w, i, f in descending order.
f, w, i
Suppose 2*q = 4*q + 5*i + 21, -2*q = -5*i - 9. Let b be -1 + q*3/(-9). Sort b, 4, -3 in increasing order.
-3, b, 4
Let o be (-2)/9 + 12/(-189). Let u = 7 - 8. Sort -5, o, u in increasing order.
-5, u, o
Let q = -25 - -20. Put 4, q, -2 in increasing order.
q, -2, 4
Let l = -0.7 - -1.2. Let h = -5 - -3. Sort l, -0.2, h.
h, -0.2, l
Suppose -15 + 1 = w. Let u = 9 + w. Sort u, -3, -2 in descending order.
-2, -3, u
Suppose -4*f = -0 + 8. Let y = f + 3. Sort 5, -4, y in decreasing order.
5, y, -4
Let t = 0.2 + -0.1. Let y = -3 + 2.7. Let n = y + 1.3. Put n, t, -3/2 in increasing order.
-3/2, t, n
Let p = -17 + 24. Let b = p - 7. Sort 5, -1, b.
-1, b, 5
Let k = 5 - 4. Let w = 2.96 + 0.04. Let s = 1 - w. Sort k, s, 1/4 in descending order.
k, 1/4, s
Let r = -0.6 - -0.65. Let h = 0.15 - r. Sort h, 5, 0 in descending order.
5, h, 0
Let j = 3.739 - 0.039. Let x = -1.2 + 0.5. Let m = x + j. Put 4, 0.1, m in decreasing order.
4, m, 0.1
Let a be 9/2*(-12)/18. Let y = -1.5 - -1. Sort y, a, 1/4.
a, y, 1/4
Let d = -1.17 + 0.97. Sort d, 2, -1 in decreasing order.
2, d, -1
Let f = -13.5 + 14. Suppose -18*i + 13*i - 25 = 0. Let n be 0 - (2 + (-8)/6). Sort f, i, n in descending order.
f, n, i
Suppose -2*k + 6*k = 16. Sort 2, k, -2, -1 in descending order.
k, 2, -1, -2
Let g = -233/1089 - 1/121. Put g, 3, 2/3, 3/2 in ascending order.
g, 2/3, 3/2, 3
Let x(p) = -p - 10. Let g be x(-8). Put 5, 3, g in increasing order.
g, 3, 5
Let f = 3 - 1. Suppose f*o + o - 15 = 0. Let v be 3/4*2/6. Put o, -0.1, v in ascending order.
-0.1, v, o
Let f = 0.378 - -0.022. Sort -1, f, -2/7, 2/3 in increasing order.
-1, -2/7, f, 2/3
Let r = -3 - 0. Sort r, 5, 4 in ascending order.
r, 4, 5
Let m(h) = -h**3 + 11*h**2 + h - 8. Let d be m(11). Suppose -1 = -4*y + d. Sort 2, y, -5.
-5, y, 2
Let v be (9/3)/(((-4)/(-2))/2). Let l = 2.37 - 0.17. Let g = 2 - l. Put -5, g, v in increasing order.
-5, g, v
Let h be -4*(1/(-1) - 0). Suppose 6*p = p - 5. Let i be -2 + 3 + p + -5. Put -4, h, i in increasing order.
i, -4, h
Let m be 1/(2/(-4)*2). Suppose -2*w = -3*t, -3*w - 2 = 7. Sort m, t, 1.
t, m, 1
Suppose -z - 30 = -6*z. Suppose -2*l = -z*l + 12. Sort 4, 2, l in descending order.
4, l, 2
Let g = 2 - 1. Suppose 2*a - 2 = -2*w, -w - 10 = -2*a + 4. Let i be (-3)/(a/(40/6)). Sort -3, i, g in increasing order.
i, -3, g
Suppose 6*m = 5*n + 2*m + 1, -n + 7 = m. Put -2.3, -5, n in decreasing order.
n, -2.3, -5
Let r = 143 + -143. Suppose -o + 0*o + 5 = 0. Sort o, r, -2.
-2, r, o
Suppose 2*l = 5*l - 3. Put 5, 2, l in increasing order.
l, 2, 5
Let d(u) = -u**3 - 8*u**2 + 10*u + 12. Suppose 0 = -3*l + 9, -2*l + 14 = -2*q - 10. Let n be d(q). Put -3/7, n, 3/4 in descending order.
n, 3/4, -3/7
Let l = 1.3 - 0.8. Let o = -0.2 - 0.8. Put l, -0.3, o in descending order.
l, -0.3, o
Let x = -29.9 + 30. Let n = -0.3 - -0.1. Put x, n, 4 in decreasing order.
4, x, n
Let g = -2 - -4. Let b(v) = 2*v**2 + 2*v**2 - 5*v + g + 0*v**2 + v**3. Let n be b(-5). Sort n, -5, -1 in ascending order.
-5, -1, n
Let u = -140/3 - -46. Let q = -9.5 - -8. Let a = q + 1. Sort -2, a, u in descending order.
a, u, -2
Suppose -2*k = 2*k + 8. Let m be (-1*(1 + k))/(-1). Let l be 220/35 + -4 + (-4)/14. Put l, m, 4 in descending or