2 in decreasing order.
m, -2/5, -2
Suppose p = -0 + 3. Suppose 0 = 5*v + 20, -2*u - 4*v - p - 7 = 0. Put -4, -2, u in decreasing order.
u, -2, -4
Let v = -10.6 - -10.1. Let c = 0 + -0.1. Let q = c + -0.1. Sort 0.3, q, v in increasing order.
v, q, 0.3
Let h = -6 + 3. Let a be h/2*3/9. Let n = 10 - 6. Sort a, 2/11, n.
a, 2/11, n
Let g = -4.2 + 0.2. Let q = -0.63 + -0.07. Sort -5, q, g.
-5, g, q
Let d = 19/8 + -7/8. Let a be 18*1*(-7)/(-3). Let i = 209/5 - a. Sort d, 5, i in descending order.
5, d, i
Suppose 3*k + 7 = -4*k. Put 4, k, 3 in descending order.
4, 3, k
Let g = -2 - -1.97. Let o = 0.13 + g. Suppose -8 = -5*w + 3*s, 2 = 5*s - 18. Sort -4, o, w in descending order.
w, o, -4
Let k(x) = -x**3 - 9*x**2 - 9*x - 7. Let y be k(-8). Put -3, y, 3 in ascending order.
-3, y, 3
Let f = -132 + 134. Let u = 3 + -3.5. Let w = u + 0.2. Put f, w, 1/2 in descending order.
f, 1/2, w
Let z = -1 - -6. Suppose -b = 4*s - 4, -2*s - 4 = 3*b - b. Put z, b, 0.4 in decreasing order.
z, 0.4, b
Let s be (45/(-10))/9*-10. Let p = 2.3 + 0.9. Let z = -0.8 - p. Sort z, 3/5, s in descending order.
s, 3/5, z
Let d be (42/(-35))/((-6)/(-20)). Suppose g + 3*k = 6*g - 26, -g + 8 = -2*k. Suppose -5*s = -g*s - 2. Sort 0, d, s in ascending order.
d, 0, s
Let v = 1.5 + -2. Put 0, -2/9, v in ascending order.
v, -2/9, 0
Let k = -535/117 + 37/9. Put k, -2/3, -0.4 in descending order.
-0.4, k, -2/3
Let a be 2*((-6)/(-4))/3. Suppose -4*u - 7 = a, -5*r - 12 = u. Suppose 1 = 2*q + 9. Put r, q, -3 in ascending order.
q, -3, r
Suppose 2*n = 5*x - 146, 0*x - 5*n + 160 = 5*x. Suppose 2*i = c - 6*c - x, -4*i - 5*c - 40 = 0. Sort 1, i, -4.
i, -4, 1
Let k = 6 + -10. Let b = 7.01 - 7. Let a = 0.09 + b. Sort a, -0.1, k in ascending order.
k, -0.1, a
Let n(v) = -v + 5. Let s be n(5). Suppose s = -5*j + 6 + 9. Let p be (-2)/(-4)*2*j. Put p, 4, -3 in increasing order.
-3, p, 4
Let x be (3 - 0)/((-30)/20). Let z(k) = k**2 + k + 2. Let o be z(x). Suppose s = -2*s. Put s, -2, o in descending order.
o, s, -2
Suppose 4*a - 2 = 5*t, 0*a + 6 = -2*t - a. Let k = 1 - -2. Let y = t - k. Sort y, 0, -1.
y, -1, 0
Let w = -2.77 + -0.23. Put -4, -0.4, w in ascending order.
-4, w, -0.4
Let h = 0.07 + -0.17. Sort -22, 1/3, h in descending order.
1/3, h, -22
Let v = 36 + -37. Put -4, 2, v, 0 in decreasing order.
2, 0, v, -4
Let p(s) = -2*s**2 - 12*s - 1. Let v be p(-6). Sort -5, v, 4, -2 in decreasing order.
4, v, -2, -5
Suppose 0 = -2*a - 1 + 3. Sort -5, 5, -4, a.
-5, -4, a, 5
Suppose 0*f = -4*f + 40. Let v = f + -15. Let x be -1*(-1)/(-1 + 2). Put v, 0, x in increasing order.
v, 0, x
Let j = -4 + 6. Let b = -50 + 47. Sort j, 5, b in ascending order.
b, j, 5
Suppose -g + 33 = -2*g. Let o be 72/g + 2/11. Sort 0, -4, o in descending order.
0, o, -4
Let s be 120/(-32) - -1*1. Let o = -13/4 - s. Sort -2/7, o, 4 in decreasing order.
4, -2/7, o
Let y = -7 - -4. Let r = y + 3. Put r, 1/3, 1 in decreasing order.
1, 1/3, r
Suppose 5*s + 0*s - 100 = 0. Suppose o = 3*o + s. Let q = -8 - o. Sort 1, q, 5.
1, q, 5
Let x = 4 + -1. Let m be x + (-1192)/198 - -3. Let y = -85/693 + m. Sort y, -4, 0.2.
-4, y, 0.2
Let l = -0.28 + 0.38. Put 5, l, 0 in descending order.
5, l, 0
Suppose 0 = x + 2*x + 5*p - 8, 3*x = 2*p + 43. Let o be (16/10)/(2/(-20)). Let c = o + x. Put c, -1, 4 in ascending order.
c, -1, 4
Let p(k) = k**3 - 10*k**2 - 11*k. Let v be p(11). Let i(q) = q**2 - q - 1. Let d be i(v). Sort 4, 3, d in ascending order.
d, 3, 4
Let r = 2693/13 - 207. Let x = -223/5 + 45. Let l = 2.8 + -3. Put x, l, r in ascending order.
l, r, x
Let d = 435/4 - 110. Sort d, -3/4, -0.1 in descending order.
-0.1, -3/4, d
Let x = 293/505 + 2/101. Let k be (-9)/2 + 2/4. Put x, k, 4 in decreasing order.
4, x, k
Let x(p) = 27*p - 1. Let j be x(1). Let u = j + -128/5. Sort 2/23, u, -2 in increasing order.
-2, 2/23, u
Suppose 8 = -4*u - 8. Let o(h) = -h**2 + 12*h - 13. Let m be o(11). Put -1, m, u in decreasing order.
-1, m, u
Let s be (-3)/3 - -2*1. Let r be -3*(-6)/45*-5. Sort 2, r, s in decreasing order.
2, s, r
Let s(l) = -l**2 + l + 2. Let w be s(0). Let h(u) = u**2 + 5*u. Let y be h(-5). Sort y, w, 3 in descending order.
3, w, y
Let l = 0 + 1. Sort 3, 16, l in descending order.
16, 3, l
Let h = 4 + -4. Let k be h - ((-243)/(-120) - 2). Let f = k + -1/10. Sort 2/7, f, 5 in increasing order.
f, 2/7, 5
Suppose -5 - 25 = -5*q. Put q, -2, 0 in decreasing order.
q, 0, -2
Let f = -20 + 21. Sort 11, f, 1/6.
1/6, f, 11
Let d = -0.05 + 0.45. Sort 4, 0.01, d in increasing order.
0.01, d, 4
Let i be 0 - 3 - -1 - 4/(-3). Sort i, -1, -0.5 in descending order.
-0.5, i, -1
Let k = 20 - 24. Put k, -2, -5 in descending order.
-2, k, -5
Let q = -9 - -4. Let m be ((-2)/(-5))/((-1)/5). Let s be m/q*(2 + -7). Put s, 1, 5 in decreasing order.
5, 1, s
Let k be 1 + ((-4)/(-1))/2. Let g = 92 - 97. Put k, -2, g in decreasing order.
k, -2, g
Let l = 39 + -28. Suppose -4*d - l = o, o - 4 - 3 = 2*d. Put 4, o, 3 in descending order.
4, 3, o
Let s(l) be the third derivative of -l**4/24 + 13*l**3/6 + 3*l**2. Let z be s(8). Let m be (-1)/2*2 + z. Put 0, m, 3 in decreasing order.
m, 3, 0
Let a = -1 + 4. Suppose 10*w - 25 = 5*w. Sort w, a, 2/5 in increasing order.
2/5, a, w
Let x = -0.01 + -0.02. Let h = -0.03 - x. Put -3/8, 0.1, h in ascending order.
-3/8, h, 0.1
Let n = 85 - 84.988. Sort 3, n, 0.1.
n, 0.1, 3
Let g = 14 + -10. Let h = g + -2. Put h, 5, -3 in descending order.
5, h, -3
Suppose 4*g - 5 + 1 = 4*f, -g = -2*f - 6. Sort g, -2, 2.
g, -2, 2
Let b = -0.1 + -2.9. Let y = 2 - 9. Let m = y - -6.9. Sort 1, b, m in decreasing order.
1, m, b
Suppose -u - 10 = i + 2*i, -3*i - 2 = -u. Put i, -3, 17 in increasing order.
-3, i, 17
Let v = 2.8 + -1.8. Let a = 8.1 - 8. Sort -2, a, v in descending order.
v, a, -2
Let v = 0.31 + 0.09. Let k = -61/3 - -20. Sort v, 0.5, k in ascending order.
k, v, 0.5
Suppose 2*q + 2*q = a + 19, q - 10 = 2*a. Let h be (1*0/2)/(-1). Let c = 3 + -2. Sort q, h, c in ascending order.
h, c, q
Suppose -r = 3*i - 7, -2*i = r - 4 + 1. Sort r, 1, -2 in increasing order.
r, -2, 1
Let d = -2 - -1.9. Let l = -3.2 + 2.3. Let n = l + 1. Sort n, 2, d in decreasing order.
2, n, d
Let q(t) = -t**3 - 8*t**2 - t - 7. Let m be q(-8). Sort m, -2, 3 in descending order.
3, m, -2
Suppose 6 + 4 = l. Let d = 9 - l. Sort d, 1, 3.
d, 1, 3
Let v = -22/7 + 169/56. Sort -0.5, v, 1/5 in increasing order.
-0.5, v, 1/5
Let q be ((-1)/(-3))/((-1)/15). Let l be q/(-150) + 1/(-6). Sort l, 0.5, -4.
-4, l, 0.5
Let b be (30/175)/((-4)/(-10)). Let q = 2.89 - -0.11. Sort -2/15, b, q.
-2/15, b, q
Let q be (-1)/1 + (3 - -2). Suppose -3*c - q*p + 0 = -1, 3 = c + 2*p. Sort c, 5, 2.
c, 2, 5
Let v = -0.64 + 0.14. Put -1, v, -1/4 in increasing order.
-1, v, -1/4
Let y(w) = w**2 - 6*w. Let d be y(5). Let o = -101 - -98. Put -1, o, d in descending order.
-1, o, d
Let h(z) = -z - 15. Let r be h(-10). Put -2, 1, 4, r in ascending order.
r, -2, 1, 4
Let z = 17.44 + -17. Let a = -0.06 - z. Put a, -0.1, 4 in increasing order.
a, -0.1, 4
Suppose 25 = -4*o + 4*t - 71, 4*t = -2*o - 42. Let n = -22 - o. Sort n, 0, 5 in ascending order.
0, n, 5
Let z(v) = v - 4. Let q be z(6). Let k = -1115/7 + 159. Let f(n) = -n**2 + 7*n - 5. Let x be f(6). Sort x, q, k.
k, x, q
Let y = 4 - 6. Let w = y + -2. Suppose -3*s = 2*v, -v - 9 = 2*v. Sort s, w, -5 in descending order.
s, w, -5
Let b = -33.13 - -33. Let k = -0.17 + b. Sort -10, k, 1 in increasing order.
-10, k, 1
Suppose -4*q + 19 = 3*d, d = -2*q + 5*q - 11. Suppose -12 = -0*c - q*c. Sort -1, c, -2 in descending order.
c, -1, -2
Let l be (-1*2)/(0 - 1). Suppose -l - 18 = 5*d. Let t = 3 + d. Sort -4, t, 5 in decreasing order.
5, t, -4
Let o = -0.04 + 0.14. Let g = o + -5.1. Sort g, -1/8, 4 in increasing order.
g, -1/8, 4
Let n = -7 + 4. Put -2, -0.1, n in ascending order.
n, -2, -0.1
Suppose -20 = -g + 5*m, -3*g = -7*m + 3*m - 5. Sort -2, -27, g in decreasing order.
-2, g, -27
Let r be (-1 - 2/(-6))*9/30. Put r, -5, 2/3, -0.06 in increasing order.
-5, r, -0.06, 2/3
Let p = -15 + 15.2. Sort -0.2, 3, p in ascending order.
-0.2, p, 3
Let m = -243619657/395 + 616758. Let j = m + 2/79. Let a = 8 + -8. Put a, -5, j in decreasing order.
a, j, -5
Let x be (-10)/(-6) - (-3)/9. Suppose 4*j = x*k + 8, 1 = -4*k - j + 3. Suppose -3*m + 5 = -1. Sort 3, m, k.
k, m, 3
Let c(u) = -u**