 Sort 2, -5, y in decreasing order.
y, 2, -5
Let b = -8 + 8. Sort -2, b, 2, 4.
-2, b, 2, 4
Let t(o) = -o**2 + 14*o - 4. Let u be t(14). Suppose 1 = -5*c - 14. Let g be 0 - ((-1 - -2) + -3). Sort g, c, u.
u, c, g
Let l = 0.02 - 0. Let h = l + 0.18. Sort h, 5, 0 in decreasing order.
5, h, 0
Let a = -5 + 2. Let h be a - 0 - (-69)/21. Sort -4, -0.1, h in descending order.
h, -0.1, -4
Suppose z + 9 = 11. Suppose 0 = 2*h - 3*s + 3, -4*s + 3 = -3*h - 2. Let p be z/(1*(-2 + h)). Sort -3, 1/2, p in descending order.
1/2, p, -3
Suppose 4 = -x + 2. Suppose w - 14 = -5*v, 2*w = -3*v - 4 + 11. Suppose k - 4 = -3*k. Put k, w, x in ascending order.
x, w, k
Let u = -0.01 + 5.01. Let q = 88 - 63. Let y = 25.3 - q. Put u, -1/2, y in ascending order.
-1/2, y, u
Let a be 1/(-6) - (-5)/(-6). Sort -2, a, 2.
-2, a, 2
Suppose 8 = 2*w - 2. Put 2, w, -2 in descending order.
w, 2, -2
Let n be (1 + 35/(-34))*4. Let a = 0.94 + -2.98. Let g = a - -0.04. Sort g, -0.3, n in decreasing order.
n, -0.3, g
Suppose -3*y = 4*c - 7*y - 28, -2*c - 6 = 2*y. Put -5, 5, c in descending order.
5, c, -5
Suppose 5*j + 2*m - 165 = 0, 0 = -0*j + 3*j + 5*m - 99. Let a(x) = -x + 6. Let d be a(-7). Suppose -d = 5*s - j. Put -3, s, 1 in increasing order.
-3, 1, s
Let p = 0.8 - 0.4. Let k = -3/7 - -36/35. Let l be ((-4)/(-5))/((-6)/10). Put k, p, l in ascending order.
l, p, k
Suppose -44 = 3*k - 2*p, 0 = 4*k - p - 3*p + 56. Sort 5, -2, k.
k, -2, 5
Let v be 11 + 4/(-6 - -2). Let m(r) = -r**3 + 5*r**2 - 4*r - 2. Let q be m(4). Sort q, -1, v in increasing order.
q, -1, v
Let f = 1.78 + -1.9. Let c = -0.62 - f. Suppose -2*w = 3*b - 4, 0*b - 14 = -2*w + 2*b. Put w, 2/5, c in decreasing order.
w, 2/5, c
Let y(k) = 5*k + 32. Let h be y(-7). Let x be ((-1)/2)/((-1)/3). Put h, x, -4 in descending order.
x, h, -4
Let a = 7.1 - 11. Let g = -0.1 + a. Let k = -2 + 3. Sort k, -6/5, g in descending order.
k, -6/5, g
Let n be ((0 - 0) + -1)/(-1). Let i be 1*-2*n - 0. Sort -4, i, -3.
-4, -3, i
Suppose 10 + 5 = -5*k. Let z(r) = 2*r + 5. Let f be z(-5). Sort f, 3, k in increasing order.
f, k, 3
Suppose 4 = -2*m + 5*m - c, -2*m - 5*c + 31 = 0. Let n = 327 - 330. Sort 5, n, m in decreasing order.
5, m, n
Suppose -6 = 2*v + 6. Suppose -2*z = -0*z + 4. Let x = v - z. Sort 4, x, 2.
x, 2, 4
Let z = 1.6 - 0.6. Let f = -290 - -3768/13. Sort z, f, 0.1 in decreasing order.
z, 0.1, f
Let h = 19 + -21. Let f = -3.4 + 0.4. Sort -1/2, h, f in descending order.
-1/2, h, f
Let r = 6 - 10. Let f = -0.31 - -16.31. Let y = f + -11. Sort y, r, -1 in descending order.
y, -1, r
Let h = 3 - 2. Let z = -107 + 104. Put h, 2, z in ascending order.
z, h, 2
Let x be 3 - (-1 - (1 + -1)). Put 5, x, -1 in decreasing order.
5, x, -1
Suppose 19 = -5*l - 1. Let w = -0.1 - -0.2. Let s = -0.3 - w. Sort l, -2, s in ascending order.
l, -2, s
Let f be 6/3 - (5 - -1). Suppose -4*h - 3*y = -25, -h + 17 = h + 3*y. Let a(s) = s + 10. Let m be a(-5). Sort m, h, f in decreasing order.
m, h, f
Let r = 101 + -97. Sort r, -9, 3 in descending order.
r, 3, -9
Let g = 4.452 + -0.052. Let m = -0.4 + g. Suppose 0 = 2*p - 7*l + 4*l - 7, 5*p - l = 11. Sort -2, p, m in ascending order.
-2, p, m
Let t = 0.08 - -4.92. Let b = -3 - -3. Let l = b + -5. Sort 1/3, l, t.
l, 1/3, t
Let l = 0.26 + -0.36. Sort -3, l, 2, 2/11 in descending order.
2, 2/11, l, -3
Suppose 2*d - 2 = -0*d. Suppose -d = -2*y - 3. Suppose -5*c = -0*c + 15. Put 4, c, y in decreasing order.
4, y, c
Let h = -32 + 31.9. Put -3/4, h, 3 in descending order.
3, h, -3/4
Suppose 5*b + 6 = -4*y - 1, -3*y + 4*b = -18. Let j be (-2)/(-6) + 22/6. Put j, y, 3 in descending order.
j, 3, y
Let u = 17 - 65/4. Sort u, -1, -3 in ascending order.
-3, -1, u
Suppose 4*q - 2*m = -10, 8 = 2*q - 4*q + 2*m. Let p = -10 - -5. Let b be 1/4 + 4/(-16). Put b, q, p in increasing order.
p, q, b
Let f(o) be the second derivative of o**4/2 - o**2/2 - o. Let x be f(-1). Put -4, x, 4 in descending order.
x, 4, -4
Let c = 3 + 0. Suppose -6*g - c*j + 8 = -2*g, 5*g - 3 = -2*j. Sort 0, -2, g in increasing order.
-2, g, 0
Let g = -0.024 - -1.024. Sort 5, g, -0.1, -0.4.
-0.4, -0.1, g, 5
Let d = 5 + -2. Suppose -5*n = -d*g - 11, 0 = -5*g + 4*n - 8 - 6. Let y be -5 - 1*(0 + -2). Put y, g, 3 in decreasing order.
3, g, y
Let j = -50 + 49.51. Let g = j - 0.01. Put g, -0.2, -5/2 in descending order.
-0.2, g, -5/2
Suppose 15 = 4*b - 3*x, 6 - 2 = -4*x. Let f(u) = u + 4. Let z be f(0). Suppose k = -5*m + 8, 3*k + 0*k = 4*m - 14. Sort z, b, k in descending order.
z, b, k
Suppose 0*n + 4 = -3*q - n, -q - 8 = 2*n. Sort -1, -0.2, q.
-1, -0.2, q
Let i = 39 + -40. Put -0.4, 3/2, i in increasing order.
i, -0.4, 3/2
Let h be (1 + (-2 - -1))/2. Suppose -j - 4 = -0*j. Let b(t) = t**2 - 3*t - 1. Let q be b(4). Sort j, h, q in increasing order.
j, h, q
Let p = 93 + -467/5. Sort 3/4, -0.2, p in increasing order.
p, -0.2, 3/4
Let d = 284/5 + -58. Let h be (-11125)/45 - (0 - 1). Let c = h - -246. Sort -5, c, d in descending order.
c, d, -5
Let w = -101 - -805/8. Suppose 42 = -5*n - 5*c + 2, 0 = n - c. Sort w, -5, n in decreasing order.
w, n, -5
Suppose 7*l - 4*l = 126. Let i be 52/(-14) - 12/l. Put 4, -1, i in decreasing order.
4, -1, i
Let y = 8 - 6. Suppose 0 = -y*c - 4*d + 28, -2*d - 33 = -2*c - 7*d. Let t = 0.21 - 0.41. Put t, c, 1/7 in decreasing order.
c, 1/7, t
Let b = 18 - 22. Let a be (-3 - -5)*(-9)/(-6). Put 2, b, a in ascending order.
b, 2, a
Let s = 7 - 5. Suppose 4 = -3*q - s*c - 3, -2*q = 2*c + 6. Let b be q*(0 - 0)/(-2). Sort 2, -4, b in ascending order.
-4, b, 2
Suppose 3*u - 2*u = 4. Let p be u - 4/(-2)*-1. Sort p, -5, 4 in descending order.
4, p, -5
Let m be 2/7 + 8/((-448)/(-40)). Sort m, 3, -3.
-3, m, 3
Let b = -1.45 - -1.05. Put -4/7, b, 0.1 in decreasing order.
0.1, b, -4/7
Let d be 327/924 - (-1)/(-4). Let m be 2/3*(-6)/14. Let n = m + d. Sort 3, 0.1, n in descending order.
3, 0.1, n
Let r(b) = 2*b**2 + 19*b + 7. Let o be r(-9). Put 0, o, 15 in descending order.
15, 0, o
Let a = -5.9 - -5.4. Let m = -159/7 - -1445/63. Put -4, m, a in descending order.
m, a, -4
Let b be (-1 - -11)*(-5)/20. Let k = -0.2 - -0.4. Let u = 0.3 + k. Sort 0.3, b, u in increasing order.
b, 0.3, u
Let q = -4 - -2. Let l = 76 + -76. Suppose -5*g + 4*g - 5*v + 14 = 0, 12 = 5*g - 4*v. Sort g, q, l in decreasing order.
g, l, q
Let v = 112 + -80. Let n = v - 31.7. Let w = 0 + -0.1. Sort 0.4, n, w in decreasing order.
0.4, n, w
Let z = 8 - 4. Let i(p) = 2*p**3 + 11*p**2 - 7*p - 9. Let f be i(-6). Sort -2, z, f in decreasing order.
z, -2, f
Let a = -2.16 + 2.3. Let g = a + -5.14. Let l be (1 - 1)/(0 + -1). Put g, l, 3 in decreasing order.
3, l, g
Let p(i) = -i**2 - 6*i - 4. Let b be p(-4). Put 6, -2, b in increasing order.
-2, b, 6
Let o be 6*1/3 + -2. Let r = -0.2 + 0.6. Let s = r + -0.7. Put s, o, 4 in decreasing order.
4, o, s
Suppose 0 = -2*m + 6*m + 20. Let n = m + 4. Sort n, -5, 1 in increasing order.
-5, n, 1
Suppose -3*r + 0*r = -9*r. Put -2, r, 2 in decreasing order.
2, r, -2
Let x be ((-24)/32)/((-1)/4). Suppose 0 = s - x*s + 6. Put s, -4, -5 in descending order.
s, -4, -5
Let o = 5 + -3. Let x = -2 + 1. Let y = x - -2. Sort -0.4, y, o.
-0.4, y, o
Let a = -4 + 8. Suppose -4*u + 6*u = -a. Sort 1, u, -5 in increasing order.
-5, u, 1
Let o(n) = 6*n + 1. Let u be o(-1). Let b = -21 - -23. Let l be (-111)/(-21) + b/(-7). Sort -4, l, u in descending order.
l, -4, u
Suppose -c + 15 = 4*c. Let g be ((-4)/(-10))/((80/25)/(-4)). Put g, c, 2 in decreasing order.
c, 2, g
Suppose -3*k = -2*h + 2, -4*h + 7 = 5*k + 47. Put 1, 3, k in descending order.
3, 1, k
Let c = 0 + -3. Let u(y) = -y**2 - 2*y + 4. Let l be u(c). Sort 5, -5, l in descending order.
5, l, -5
Let g(k) = k**2 + 7*k - 14. Let q be g(-9). Put q, 2, -0.2 in ascending order.
-0.2, 2, q
Suppose 5*q - 624 + 9 = 0. Suppose -c - q = -47. Let r be c/(-176) + (-1)/4. Sort 0.2, 0.1, r in decreasing order.
0.2, r, 0.1
Let u = 418/5 - 84. Put u, -4, -1/5 in increasing order.
-4, u, -1/5
Suppose 0 = -4*n + 3 + 9. Let t be (-8)/28 + 40/42. Let r be 1*2*(-2)/(-44). Put n, t, r in increasing order.
r, t, n
Let j = -20.1 - -21. Let v = j - 0.5. Sort 0.2, v, 1 in increasing order.
0.2, v, 1
Let w = -6.6 + 0.6. Let z = w + 1. Put z, -6/5, -3 in ascending order.
z, -3, -6/5
Let u = 99/322 - 1/46. Let p be 6/(-45)*-9*(-80)/12. Sort u