easing order.
v, n, 0
Let s be (-3)/(1 + 28/(-16)). Put 1, s, -2 in descending order.
s, 1, -2
Let f = 1294849/35 + -37008. Let w = 63/5 + f. Sort -5, 0, w.
-5, 0, w
Let z = 102 + -106. Let g = 2 - 3. Put z, 1/2, g in descending order.
1/2, g, z
Let g be 193/(-13) + 12/(-78). Let t be (-8)/4 - g/6. Put t, -3/5, -2/7 in increasing order.
-3/5, -2/7, t
Let a be 1/((4/(-6))/(-2)). Sort -2/3, a, 0 in descending order.
a, 0, -2/3
Let d = 7 + -11. Suppose 2*l - 5 = -5*y, 2*y = -y - l + 3. Sort d, 2, y in ascending order.
d, y, 2
Suppose l = 2*y - 0*l + 6, 5*y - 2*l = -14. Suppose -2*q - 10 + 32 = -3*j, q + 15 = -5*j. Let t = -74 + 78. Put y, t, q in decreasing order.
q, t, y
Let z be 1/(-1) - (-4 + 3). Sort 1, z, -3 in descending order.
1, z, -3
Let t(i) = 2*i**3 + 3*i**2. Let c(y) = -y**3 - y**2. Let l(s) = 5*c(s) + 2*t(s). Let q be l(2). Put -1, 0, q in descending order.
0, -1, q
Let f be 8/(-6)*(-15)/2. Let t(l) = f - 10 - 3*l. Let q be t(-1). Sort -2, -1, q in descending order.
q, -1, -2
Suppose 0 = 3*s + 2*s + 25. Suppose 2*v = 4 + 4. Suppose -15 = -6*f + 11*f. Sort v, f, s.
s, f, v
Let t = 130 - 644/5. Let y = -1367/13 - -105. Put t, y, -1/3 in increasing order.
-1/3, y, t
Suppose -f = -3*f - 5*k + 9, 8 = 2*f + 4*k. Sort 3, f, -4 in increasing order.
-4, f, 3
Suppose 0 = 2*k - 3*k + 3. Put 8, 1, -3, k in decreasing order.
8, k, 1, -3
Suppose 0 = 4*p - 0*p - 8. Suppose -p*g + 6*g - 4 = 0. Sort 3, g, -2/3.
-2/3, g, 3
Let t be (-3)/((9/3)/3). Put t, 3, 1, 6 in descending order.
6, 3, 1, t
Let g = 0 + 0.5. Let v = g + -1.5. Let x be 27/18 - (-14)/(-8). Sort 0.5, x, v in decreasing order.
0.5, x, v
Let o be 18/(-4) + (-15)/(-10). Let v = -9 - -11. Sort o, -1/4, v.
o, -1/4, v
Suppose -3 = -3*n + 6. Let f(a) = 2*a - 1. Let w be f(n). Let o(p) = -p**2 + p - 4. Let r be o(0). Sort r, w, 0 in descending order.
w, 0, r
Let s = -15 + 10. Sort 5, s, -2 in increasing order.
s, -2, 5
Let h = -0.022 - -0.122. Suppose -2*i - 5 = 3. Put i, -0.5, h in decreasing order.
h, -0.5, i
Let a = 2 - 2.3. Let h = 0.2 + a. Let w be (-2)/(-7) + 24/14. Put h, w, 4/7 in decreasing order.
w, 4/7, h
Let s = 0.063 - 4.063. Put 3, s, -83 in descending order.
3, s, -83
Let n be 2/17 - 1890/170. Put -2, n, 0 in descending order.
0, -2, n
Suppose u + 8 = 13. Put u, -2, -5 in decreasing order.
u, -2, -5
Let c = 6 + -4. Suppose 12 = -2*v - c*v. Sort -4, v, -5 in decreasing order.
v, -4, -5
Let h = -6.4 + 3.7. Let m = h - 0.3. Sort m, -0.4, 3/5.
m, -0.4, 3/5
Suppose -10*z + 12*z = 8. Put z, 5, 2 in decreasing order.
5, z, 2
Suppose -2*l = 2*d - 12, -3*l + 12 = d + 2. Suppose 8 = y - l*r, -2*y = 4*r - r + 5. Sort -5, y, 3 in ascending order.
-5, y, 3
Let i = 4 - 9. Sort i, -0.1, -0.3.
i, -0.3, -0.1
Suppose 4*b - 9 - 7 = 0. Suppose 0 = -n - 1 - b. Sort n, 1, 3 in ascending order.
n, 1, 3
Let u(i) = -i**2 - 5*i + 1. Let l(f) = 2*f**2 + 6*f - 1. Let c(s) = -5*l(s) - 6*u(s). Let d be (2 + -1)/(-1) + 0. Let j be c(d). Sort -2, j, 0.
j, -2, 0
Suppose -5*l + 5 = -20. Suppose 2*g + 8*g - 20 = 0. Sort l, g, -5 in decreasing order.
l, g, -5
Suppose 3 = -0*k - k. Let i = 11 - k. Suppose -3*p - i = 1. Sort -1, p, 5.
p, -1, 5
Let n(z) = z**3 - 8*z**2 + 3. Let y be n(8). Let m be 2/(-2) + 1 + -2. Let r = m + y. Put r, 5, 3 in descending order.
5, 3, r
Let r = 127 + -126.8. Sort 4/5, 1, 0.4, r in ascending order.
r, 0.4, 4/5, 1
Let w = 4.06 + -4. Let y = w + 0.14. Let u = -0.18 + 0.2. Put y, u, 2 in descending order.
2, y, u
Let k = -22.5 + 23. Sort 2/7, k, -4/5 in increasing order.
-4/5, 2/7, k
Let f = -0.8 + 0.4. Let q = 0.03 + 3.97. Let v be -1 + (-2 + 5)/(-9). Sort f, q, v in increasing order.
v, f, q
Let m be (3/2)/(9/(-12)). Let g = -0.5 - 0. Let d = -2.922 + -0.078. Sort d, m, g in ascending order.
d, m, g
Let a be (6/12)/((-2)/8). Put -4, a, -1 in descending order.
-1, a, -4
Let c = 20 - 22. Sort c, 4, -4 in ascending order.
-4, c, 4
Suppose -y - 2 = -0*y. Let v = -4 - y. Let d = -1 - -5. Sort d, v, 1 in increasing order.
v, 1, d
Let n = 2 - -1. Let o be (n/(-2))/((-5)/10). Let c = o - 2. Sort -4, c, -2/7 in descending order.
c, -2/7, -4
Let h be ((-36)/90)/(3/5). Put 6, h, 2 in ascending order.
h, 2, 6
Let z = 17/100 + 2/25. Let f be 4/(-6) + 49/(-21). Put -0.1, z, f in ascending order.
f, -0.1, z
Let q be 0*(-3)/6 - 3. Let o = 0 + q. Let c(z) = -2*z - 2. Let b be c(o). Sort 1, -5, b in descending order.
b, 1, -5
Let y = -0.2 + -0.8. Let m = 3.2 + 0.8. Let r = m + 0. Sort -3/8, y, r in increasing order.
y, -3/8, r
Let z(f) be the third derivative of -f**4/24 + f**3/2 + 2*f**2. Suppose 2*m = 3 + 7. Let s be z(m). Sort -3, 1, s in increasing order.
-3, s, 1
Suppose -5*r = 3*v + 14, 5*v - 4*r = v + 24. Put v, -12, 1 in increasing order.
-12, 1, v
Let i = 39 - 37. Sort i, 0, 5 in descending order.
5, i, 0
Let k = 7 - 8. Let y be (0 - 9/(-3)) + 24. Suppose 2*l + 3*g = 2 - 15, -5*g - y = -2*l. Sort 3, l, k in increasing order.
k, l, 3
Let h be (3 - (-28)/(-15)) + (-6)/45. Sort h, 5, -6, 4.
-6, h, 4, 5
Let m be (-7)/(7/(-2)) + 1. Let y be (m - 39/14)*-2. Put -0.4, -4/3, y in increasing order.
-4/3, y, -0.4
Suppose 0 = 12*p - 21 + 9. Put -1, -9, p in decreasing order.
p, -1, -9
Let k be 14/(-5) + (-3)/15. Let q = k + 4. Put -4, -3, q in increasing order.
-4, -3, q
Let t = -18.015 - -0.015. Sort t, 1/5, -5, 5 in decreasing order.
5, 1/5, -5, t
Let a(j) = j**2 - 8*j - 1. Let c be a(8). Sort c, 0, 1 in decreasing order.
1, 0, c
Let w(t) = -t**3 - 4*t**2 - 1. Let k be w(-4). Sort 7, k, 1 in decreasing order.
7, 1, k
Let o be 4*(2 - (-15)/(-6)). Let a = -0.3 - -0.4. Put -0.1, o, a in decreasing order.
a, -0.1, o
Let k = -119.4 + 119. Sort 3, 1, k in descending order.
3, 1, k
Let j(h) = -h**2 - 5*h - 4. Let l be j(-3). Let g be l + -3 - 4/(-1). Suppose -7 = -2*c - g. Sort 0, c, 1.
0, 1, c
Let l = 16/3 + -5. Suppose -2*n + 3*n - 4 = 0. Suppose -n*z + 7*z = -6. Sort z, -0.4, l in decreasing order.
l, -0.4, z
Let l be (-6)/27 - 39/(-54). Let a = -0.11 + 0.51. Put 2/7, l, a in ascending order.
2/7, a, l
Suppose 16 = 3*i - 14. Sort -4, i, 5 in ascending order.
-4, 5, i
Let m(d) = d**3 - 8*d**2 + 14*d + 3. Let k be m(4). Put k, -3, 32 in descending order.
32, -3, k
Suppose 4*f + 26 = 2*l, 4*l - 32 = 3*f - 0*l. Sort -1, -6, f in descending order.
-1, f, -6
Let h be 13/3 - 4/12. Suppose b - 14 = -4*c + 4*b, -2*c = -h*b - 2. Let y be (-4)/(-6)*3 - 0. Sort y, -4, c.
-4, y, c
Let a = -1031/7 + 147. Let x = 8 - 8.3. Let f = -17/5 + 4. Put x, f, a in increasing order.
x, a, f
Let c be (2 - 1)*(-1 + -2). Let t be (-3 - 0)/c*3. Suppose -7 = h + t*m, -1 = h - 4*m - 15. Sort 0, h, 1 in decreasing order.
h, 1, 0
Suppose 18*t = 16*t. Sort -1/4, t, 1/3.
-1/4, t, 1/3
Let r be (-4)/(-18) - (-94)/(-18). Let s = -0.46 - 0.04. Let h = 6 - 4. Sort r, h, s in decreasing order.
h, s, r
Let b = -27 + 25. Sort 2, -4, b in descending order.
2, b, -4
Let m = 14.74 - -0.26. Let l = m + -7. Let t = 12 - l. Sort 0.3, 2, t.
0.3, 2, t
Let g be (0/(-6))/(2 - 1). Put 0.21, 2/15, g in decreasing order.
0.21, 2/15, g
Let v = -45 + 34. Put v, -3, -2, -4 in increasing order.
v, -4, -3, -2
Let b = 0 + -0.1. Let o = 2.16 + -0.16. Put -8, b, o in increasing order.
-8, b, o
Let z be (1/2)/(34/51). Put 0.1, -3, z in ascending order.
-3, 0.1, z
Suppose 3*n + 4*l = 2, -5*n - 3*l = -l - 8. Suppose 9*k = 4*k + 20. Sort 3, k, n in decreasing order.
k, 3, n
Let t be 10/((-2)/(-1)) - 0. Sort 14, 2, t, 1 in increasing order.
1, 2, t, 14
Let g = 5.2 - 0.2. Sort -0.2, 2, g.
-0.2, 2, g
Let y(n) = n**2 - n - 2. Let i(f) = f + 5. Let x be i(-7). Let k be y(x). Suppose -3*b - 4*w + 5 = -9, k*w = 4*b. Sort 6, -3, b in ascending order.
-3, b, 6
Suppose 5*k - 15 = 5*v - 0, -4*v + 33 = 5*k. Let x be (15/6)/k - 0. Sort -5/4, 1/4, x.
-5/4, 1/4, x
Let i = 0.389 + -0.089. Sort -0.4, 24, -5, i in ascending order.
-5, -0.4, i, 24
Let z = -1.12 + 0.12. Sort 3, 0.2, z.
z, 0.2, 3
Let c = 0 - 0. Let v = -5 + c. Sort v, 1, -0.3.
v, -0.3, 1
Let s = -5 + 4.9. Let y = s - -0.12. Let f = 0.42 - y. Sort 3, f, 3/2 in ascending order.
f, 3/2, 3
Let u(z) = -z + 3. Let j be u(0). Let d(o) be the second derivative of -o**3/3 + 2*o**2 + o. Let w be d(j). Sort 1, w, 0.3 in ascending order.
w, 0.3, 1
Suppose -5*w - 5*z - 2 = -3*z, -5*w - 4*z = 4. Suppose 2*s = -2*s - 3*n + 19, 0 = 5*s - n