ending order.
x, -1, -4
Let n = -7 + 2. Let m = 13 - 21. Let j = m - n. Put -5, 0, j in increasing order.
-5, j, 0
Let m = 129 + -132. Put m, 3, -2, -6 in ascending order.
-6, m, -2, 3
Let q = -5 + 0. Let w = q + 3. Let r = w - -7. Sort 1/4, r, -1 in decreasing order.
r, 1/4, -1
Let r = -112 - -106. Sort r, 1, -5.
r, -5, 1
Suppose j - 1 = 6. Let k be 6/3 + (2 - j). Let r(w) = -w**2 + 8*w - 7. Let x be r(6). Sort x, 1, k in decreasing order.
x, 1, k
Suppose s - 3*y = -6*y, -4*y - 2 = 2*s. Let i = s + 2. Sort i, -5, -3.
-5, -3, i
Suppose 2*d + 2*b + 1 = -5, -d + 4*b = 8. Let i(s) = -s**2 - 5*s - 1. Let x be i(d). Put 5, -5, x in decreasing order.
5, x, -5
Let o be (27/6)/3*(-2 + 4). Sort -4, 4, 2, o in descending order.
4, o, 2, -4
Suppose -4*n + 4*s - 16 = -4, -3*s = -n - 13. Sort n, 3, -5 in ascending order.
-5, n, 3
Let p be 3 + (20/(-12) - 2). Sort -5, -0.2, p in increasing order.
-5, p, -0.2
Suppose v - 2*v - 1 = 0. Sort v, -4, -3 in descending order.
v, -3, -4
Let d = 0.3 - 0.1. Suppose 0 - 36 = -4*s. Let f = -6 + s. Sort f, -2, d.
-2, d, f
Let g(w) = -w**2 - 10*w - 17. Let y be g(-8). Sort 2, 3, y in increasing order.
y, 2, 3
Let f(k) = k**3 + 4*k**2 + 2*k + 1. Let h be f(-2). Let a = -0.069 - -0.469. Put 1, a, h in descending order.
h, 1, a
Let p(x) = x**3 + 6*x**2 + 5. Let s be p(-6). Put 1, 4, s in ascending order.
1, 4, s
Let x = -10 + 18. Suppose -2*h - 3*i = -44, 5*h - 96 + x = -2*i. Let z be (2/(-20))/((-4)/h). Put 3, z, 0.1 in decreasing order.
3, z, 0.1
Let n = 5 - 2. Let r(q) = 3*q - 1. Let l be r(-1). Put -3, l, n in decreasing order.
n, -3, l
Suppose 0 = b + b - 6, 3*x = -2*b + 15. Put 5, x, 4, 2 in descending order.
5, 4, x, 2
Let b = 0.3 - -0.2. Let u(x) be the third derivative of -x**5/30 + x**4/4 - 2*x**3/3 + 10*x**2. Let k be u(3). Sort k, b, 1 in ascending order.
k, b, 1
Let j = -1/3 + 10/21. Put j, -0.5, -3 in descending order.
j, -0.5, -3
Let s be (8 - 11) + (-30)/(-9). Sort 1/6, 0.4, s, -5 in decreasing order.
0.4, s, 1/6, -5
Let h = 0 - -4. Let v = 21.4 + -19. Let p = 2 - v. Put h, 0.2, p in descending order.
h, 0.2, p
Suppose 6 = c - 2*d, 0 = -2*c - 4*d - 1 - 3. Sort -2, 4, c, 5 in increasing order.
-2, c, 4, 5
Let x(d) = -d**2 - 3*d - 1. Let u be 56/(-16) - (-1)/2. Let y be x(u). Sort y, 4, 3 in decreasing order.
4, 3, y
Let o be 6 + -2 + 22/(-5). Put 0, -3/4, 0.5, o in descending order.
0.5, 0, o, -3/4
Let l(k) = -k**3 + 7*k**2 - 7*k + 2. Let b be l(6). Put -1/2, 1, b in ascending order.
b, -1/2, 1
Let k be 7*(0 + -3 + 2). Let r = k - -12. Suppose -4*n + 3*g - 7 = -0, -5 = n - 4*g. Sort n, r, 2.
n, 2, r
Let k = 199/42 - 32/7. Sort k, 2, -2/5 in decreasing order.
2, k, -2/5
Let q be 2/6 + (-2)/(-3). Suppose 0 = -10*j + 9*j - 24. Let y be (-1)/(-5) - j/5. Sort q, y, -1.
-1, q, y
Let t = 42 + -41.89. Sort -2/5, 1/6, t in descending order.
1/6, t, -2/5
Let h = -55/6 + 21/2. Put 3/8, -0.3, 2/9, h in increasing order.
-0.3, 2/9, 3/8, h
Suppose 9*g = -12 - 6. Put 3, 5, -4, g in increasing order.
-4, g, 3, 5
Let g be -7 - (0 - (-1 + 2)). Let i be ((-1)/g*1)/(-1). Let b = 4/77 + -1/7. Sort i, b, 5.
i, b, 5
Let q = 13.1 - 14. Let p = q - -1.1. Let z = -2.9 - -3. Put p, 0, z in ascending order.
0, z, p
Suppose -f + 1 = 5. Suppose -5*v + 4*u - 8 = 0, -v - 3*v - 4*u + 8 = 0. Let n be 1/1 + v - 4. Sort f, n, -1.
f, n, -1
Let t(b) = b**3 - 5*b**2 + 5*b - 6. Suppose 1 + 5 = -m + 5*h, -26 = -5*m - 3*h. Let a be t(m). Put -1/4, a, -6 in descending order.
-1/4, a, -6
Let p = -1 + -1. Let n be 1/2*(-7 + 13). Put 0, p, n in decreasing order.
n, 0, p
Suppose 5*j - 1 = 4. Let d(b) = b**3 + b**2 - 1. Let z be d(j). Put 4, z, -0.1 in descending order.
4, z, -0.1
Suppose -2*z = 3*v - 10, -2*v - 4*z + 5*z - 5 = 0. Sort v, -5, -4 in descending order.
v, -4, -5
Suppose -11*i - 5*a + 22 = -12*i, 3*a = 4*i + 20. Let n be 2/(-4) - 6/(-20). Let d = -1.3 + 1. Sort n, d, i.
i, d, n
Suppose 37 = -2*k - 143. Let g be (-8)/k*(-5)/(-2). Let o = 1 + -0.8. Sort o, g, -0.5 in descending order.
g, o, -0.5
Let q be (-1 + -4)/(-1 + 0). Let i = -9.7 - -0.3. Let v = i - -9. Sort -0.3, q, v.
v, -0.3, q
Let p = -3.1 - -1.1. Let k be -1 - 93*2/(-190). Let n = -8/19 - k. Sort 2, n, p in decreasing order.
2, n, p
Let t be 2/(-1 - 4/16*-2). Suppose -j = 3*j + 12. Sort t, -5, j.
-5, t, j
Let o(q) = -q**2 - 3*q + 3. Let l be o(-4). Let r be 2*((-6)/15 - 58/(-20)). Put r, 2, l in ascending order.
l, 2, r
Let t(h) = h - 6. Let v be t(5). Let b be ((-3)/18*-3)/((-8)/(-48)). Sort v, b, -5 in descending order.
b, v, -5
Suppose 0*b - 15 = -5*b. Let l(a) = a + 16. Let g be l(0). Let i = -11 + g. Put i, b, 2 in decreasing order.
i, b, 2
Let t be (1 + -9)*(-12)/24. Let u = -3 + 4. Let m(d) = d + 12. Let w be m(-7). Sort u, w, t in increasing order.
u, t, w
Let n = -77 + 74. Put 4, n, 17, 5 in increasing order.
n, 4, 5, 17
Let a(z) = -2*z - 2. Let d be a(-3). Suppose o + 14 = -o. Let l be (-2)/o + 33/7. Put l, 2, d in decreasing order.
l, d, 2
Let x = -5 - -5. Let j = 18 + -22. Sort -0.3, x, j in decreasing order.
x, -0.3, j
Let w = -7 - -4. Let d = -143/261 + 3/29. Put d, -2/7, w in descending order.
-2/7, d, w
Let r = -9 + 9.2. Let j = -0.8 - r. Sort -2/15, j, 1/3 in descending order.
1/3, -2/15, j
Let a be (16947/28)/(485/2). Let c = 2/485 + a. Sort 2/9, c, 2/11.
2/11, 2/9, c
Let k be 6/(-15) - 17/(-30). Let o be (0 - -1)/((-70)/(-56)). Sort o, k, 1 in decreasing order.
1, o, k
Let r be 1 + (-2)/(-2) - -1. Let g(j) = -j**2 + 4*j + 6. Let t be g(5). Put r, -5, t in increasing order.
-5, t, r
Let u(t) = -2*t + 22. Let a be u(0). Put 0, a, 2 in decreasing order.
a, 2, 0
Let l be ((-60)/126)/(-10)*6. Put l, 0.09, -2 in ascending order.
-2, 0.09, l
Suppose -27 = -4*y - 11. Put 3, y, 0 in decreasing order.
y, 3, 0
Let c = -16 - -22. Let g = c - 5.6. Let v = 0.3 - g. Sort 0, 2, v in descending order.
2, 0, v
Let z = -1/7 - -1/105. Sort -1, 5, z in ascending order.
-1, z, 5
Let n(g) = g**2 - 5*g - 15. Let u be n(7). Let l = -8 + 5. Sort u, 3, l in increasing order.
l, u, 3
Let b = -3.2 + 6.2. Put -2, 1, b in decreasing order.
b, 1, -2
Let d(r) = -r**2 - 3*r + 2. Let f be d(-4). Let u be f - 2/6*-10. Let l = 0.06 + -4.06. Sort u, l, -3 in descending order.
u, -3, l
Suppose 4*n - 20 = 5*u + 10, 5*n = -3*u + 19. Suppose 4*c - 20 + 8 = 2*q, -4*q - 3*c - 2 = 0. Let s be (-6)/(q/((-1)/(-1))). Put s, u, -3 in descending order.
s, u, -3
Let v = 3 + -1. Let x be ((-1)/1)/(v/(-6)). Suppose x + 3 = 3*o. Put o, 5, 3 in decreasing order.
5, 3, o
Let d = -1 + 4. Put 0, 2, d in ascending order.
0, 2, d
Suppose 3 + 5 = 2*s. Suppose q = 3*q + k + 5, 0 = -5*q + s*k - 6. Sort -5, q, -3.
-5, -3, q
Let r = 14 - 14. Put r, -0.4, -4 in descending order.
r, -0.4, -4
Let p be 0 + 1 - (1 + 0). Let u be ((p + 1)*1)/(-1). Suppose 0*m + 4 = -2*m. Put -5, u, m in ascending order.
-5, m, u
Let h = -891/10 + 89. Put 2, h, 0 in ascending order.
h, 0, 2
Let c = 0.17 - 0.07. Let u = 0.1 - -0.4. Sort c, u, -4 in descending order.
u, c, -4
Let s = 19 + -27. Let x = s - -8.3. Sort 1/2, -5, x in descending order.
1/2, x, -5
Let r be ((-16)/132)/((16/(-6))/(-4)). Sort 0.3, -0.1, r, -2/21 in descending order.
0.3, -2/21, -0.1, r
Suppose 0 = -3*r - 2*r. Suppose 19*h - 5 = 14*h. Suppose -b = g + 7, -g - 3*b - 2*b - 23 = 0. Put g, r, h in increasing order.
g, r, h
Let v = 2 - -1. Let c be (-68)/16 - v/4. Sort 2, 0, c.
c, 0, 2
Let s be (-1 - (-6)/(-3)) + -3. Let l = 5 + s. Let y = 4 + l. Put -1/2, -1, y in decreasing order.
y, -1/2, -1
Suppose 0*y - 6 = 2*y. Sort 4, 3, 0, y in decreasing order.
4, 3, 0, y
Let r = 9 - 14. Let l = 3 + 0. Suppose -l*v - 16 = d - 2*d, v = 5*d - 10. Sort 0.3, d, r in descending order.
d, 0.3, r
Suppose -12 = 2*a + 2*c, 2*a + 14 = -3*a - c. Put -4, a, -1/3 in decreasing order.
-1/3, a, -4
Let f = -2 - -4.2. Let v = f + -0.2. Sort -2, v, 1 in ascending order.
-2, 1, v
Let n(f) = 3*f - 3. Let s be n(2). Suppose 0 = -0*r + s*r + 3. Let k be (-5 - -6) + (r - 1). Put 4, -2, k in descending order.
4, k, -2
Let c(s) = s**3 - 7*s**2 - s + 8. Let h be c(7). Suppose -3*y + 5 = -4*y. Sort h, y, 0 in decreasing order.
h, 0, y
Let b(g) = g**3 + 7*g**2 - 9*g - 7. Let z be b(-8). Let k(i) = i**3 + 3*i**2 - 9*i + 10. Let n be k(-5). Put -4, z, n in increasing order.
-4, z, n
Let m = 6 - 8. Let p = 30 - 37. Let