n descending order.
4, 2, h
Let i = -3 - -1. Let o be 7/5 - (-6)/(-15). Sort o, 3, i in decreasing order.
3, o, i
Let k(n) = -2*n + 22. Let c be k(11). Put 1, c, -3, -2 in increasing order.
-3, -2, c, 1
Suppose 3*q + 52 = q. Sort -2/5, 1/6, -1, q in decreasing order.
1/6, -2/5, -1, q
Suppose g = 4*g + 15. Suppose 3 = -3*o + 15. Sort g, -3, o in increasing order.
g, -3, o
Let l be (-1 + 0)/(1/3). Let o(s) = s**2 + 17*s + 20. Let u be o(-16). Sort 0, l, u in decreasing order.
u, 0, l
Let s = 2.5 + -2. Let q = 1.6 - 1.8. Suppose 2 = 3*o + 5. Sort q, o, s in ascending order.
o, q, s
Let i = -8 + 3. Let t = i - -8. Suppose -t = 2*v - 3*r, -2*r = -5*v + 2*r - 4. Sort -4, v, -3 in descending order.
v, -3, -4
Let m = -41143 - -40685.93. Let r = 453 + m. Let c = -0.07 - r. Sort c, -2/5, 1.
-2/5, 1, c
Let k be 14/35*5/(-9). Let f = -0.4 + 0. Let u = 2 + -1.8. Put f, k, u in ascending order.
f, k, u
Let o be (-2)/14*-3*2. Put -5, o, 2/9 in descending order.
o, 2/9, -5
Suppose 0*y - 2*y = -6. Suppose -23 = 4*s + y*q, 0 = -4*s + 3*q + q + 12. Let f = s + -1. Put f, -5, 0 in descending order.
0, f, -5
Let u(s) = -s + 12. Let t be u(14). Sort -1, 1, t in decreasing order.
1, -1, t
Let p = -0.05 + -0.05. Sort 1/5, 1, p in increasing order.
p, 1/5, 1
Let o = -8 + 5. Let x = 3.03 + -3. Let y = x - -4.97. Put o, 3, y in decreasing order.
y, 3, o
Let m be 1/3 + (-4)/3. Suppose 2 = -2*j + 3*j. Let y be -1 - 5/7 - -2. Put m, j, y in descending order.
j, y, m
Let z = -32 + 27. Sort 0, 0.4, 0.2, z in ascending order.
z, 0, 0.2, 0.4
Let c be 3*(4/12 - 1). Let o be (-5)/(-25) + 1 + c. Suppose -n + 4 = -1. Put 2, n, o in decreasing order.
n, 2, o
Let g = -757/36 - -85/4. Let t = 12 + -11.7. Sort -3, t, g in ascending order.
-3, g, t
Suppose -88*y = -82*y - 6. Put -3, -7, y in descending order.
y, -3, -7
Let g = -69/425 - -7/25. Sort g, -43, -3/8, -3/4 in decreasing order.
g, -3/8, -3/4, -43
Let h be (144/6*1/3)/2. Put -5, 5, h, -2 in descending order.
5, h, -2, -5
Let o = -4 + 9. Let p = 4.8 - o. Let l = -3.5 + 0.5. Sort p, l, 2/3 in increasing order.
l, p, 2/3
Let p = -8 - -29. Let c be (12/14)/((-3)/p). Let k(u) = -u - 5. Let j be k(c). Sort -5, j, 4.
-5, j, 4
Let b = 6 + -2. Let t = 5 - b. Suppose 0 = -2*g - 3*g + 3*u - 11, -2*g = -4*u - 4. Sort g, 0, t in ascending order.
g, 0, t
Let m be (-1)/3*(1 - -2). Let r = m + 4. Suppose 3*a = -4*v - 11, 3*v = -6*a + a - 22. Put r, -5, v in decreasing order.
r, v, -5
Suppose -3*g + 2*q + 3*q - 20 = 0, -8 = g - 2*q. Suppose g = -2*l - 2*l - 12. Let r = 2 - 2. Sort l, 1, r in decreasing order.
1, r, l
Let v(z) = -46*z - 505. Let x be v(-11). Suppose -2*t - 3*y + 2*y = -3, -y = 5*t. Sort x, -4, t in decreasing order.
x, t, -4
Suppose -u = 3*t + 20, -u + 4*t + 18 = 3. Put u, 4, 5 in descending order.
5, 4, u
Let g be 1 + 6*(-3)/(-9). Put g, 2/3, -0.16 in descending order.
g, 2/3, -0.16
Let o = 4.16 + 0.04. Let b = o - 4. Sort 1/8, -5, b in decreasing order.
b, 1/8, -5
Let d = -7.03 - -7.13. Let t = 0.1 + -0.1. Let h = -6 + 2. Put h, d, t in decreasing order.
d, t, h
Suppose -5 = -g + k + 3, -2*g = 3*k + 9. Let n = g - 3. Sort n, 5, 2 in ascending order.
n, 2, 5
Let i = 2/3 - 1/6. Sort -4, i, 2/3 in ascending order.
-4, i, 2/3
Suppose 4*q - 8 = 0, 2*g - q = 1 + 7. Put -1, -3, g in descending order.
g, -1, -3
Suppose 10 = -5*l - 0, -t + 2*l = -9. Let a = 11 - 12. Sort 2, t, a in descending order.
t, 2, a
Let l = -0.18 + 0.48. Sort l, -4, 11 in decreasing order.
11, l, -4
Suppose 2*z + 3*z = -2*v + 21, 0 = -3*z + 15. Let w = -9 - -9. Suppose -x + 4 = -w*x. Sort x, v, 5 in ascending order.
v, x, 5
Suppose 3*a - r + 2*r - 11 = 0, -2*a + 4*r = 16. Sort 1, a, -29 in descending order.
a, 1, -29
Let c be 14/(-21)*(1 - 4). Sort 0.2, -3, c in decreasing order.
c, 0.2, -3
Let r = -30 - -34. Suppose -5*x = -0*x. Sort r, 3, x in descending order.
r, 3, x
Let v(f) = -f**2 - 8*f - 10. Let k be v(-7). Put -1, k, 2 in increasing order.
k, -1, 2
Let n = 42 + -39. Suppose b - v = 9, n*v = -0*b + b - 19. Suppose -5 + 17 = 4*j - 4*o, -j = -3*o - 5. Sort -2, j, b.
-2, j, b
Let a be 1*(-5 + 0)/(-1 + 2). Put 4, 3, a in decreasing order.
4, 3, a
Let v = 9 - 7. Let d = -24 - -35. Let i = d + -7. Put v, -1, i in ascending order.
-1, v, i
Let x be (-1)/4 + (0 - 0). Let g = -167/237 - -3/79. Put g, x, 1/2 in ascending order.
g, x, 1/2
Let l = -14 + 19. Suppose -l*v = 4*p + 3, 4*v + 0*v + 27 = 5*p. Suppose 4*n + 36 = -4*g, -g + 2 = -n + 3. Put p, 2, n in decreasing order.
p, 2, n
Let o = -84 - -80. Put 0.1, o, -1/4, 4 in ascending order.
o, -1/4, 0.1, 4
Let g = 339.21 - 345. Let o = g - 0.21. Put o, -1, 0 in descending order.
0, -1, o
Suppose -40 = -2*h - 6. Sort 2, h, -4, -1 in ascending order.
-4, -1, 2, h
Let w be (-32)/(-12)*3/60. Sort -4, w, -1 in decreasing order.
w, -1, -4
Let i(m) = -m**3 - 4*m**2 + 2*m + 6. Let c be i(-4). Sort 2/9, -0.4, c in ascending order.
c, -0.4, 2/9
Let g = 6 - 6.3. Let q be (-8)/198 + (-4)/22. Sort q, g, 4.
g, q, 4
Let p be -4 + 2/1 - -1. Let s be (3/((-6)/10))/p. Sort 0, -4, s in increasing order.
-4, 0, s
Let g be 0 - 45/((-9)/3). Let h be -6*(g/(-9) - -1). Let d = h - 0. Put d, -3, 3 in ascending order.
-3, 3, d
Let x = -0.5 - -0.3. Let z = 0.13 - 9.13. Let k = -6 - z. Sort k, -3, x.
-3, x, k
Let b be -3 - -2*4/8. Sort b, -3, -4, -1 in increasing order.
-4, -3, b, -1
Let r = 22 - 21. Let f = r + -0.7. Let g = 2 + -2. Sort g, f, 1/4 in decreasing order.
f, 1/4, g
Let q = 97/2 - 49. Let h = 4.1 - -0.9. Put q, h, 4 in descending order.
h, 4, q
Suppose 30 = 2*p + 3*l + l, -p + 5*l - 13 = 0. Let m be 6 - 5 - 8/p. Sort 1, m, -0.1 in descending order.
1, -0.1, m
Let d = 2 - 5. Let v be ((-4)/(-2))/((-6)/(-9)). Let c be (-5)/(v/(-1) + 2). Put d, c, 2 in decreasing order.
c, 2, d
Let s = -0.3 + -1.7. Sort -1/5, s, 5/3.
s, -1/5, 5/3
Let a = 10 - 5. Suppose 0 = -2*w + 3 - 1. Let g be 2 + (2 + 0)/w. Put g, 2, a in descending order.
a, g, 2
Let x be 3/6 - (-35)/14. Sort 2, x, -3, 1 in ascending order.
-3, 1, 2, x
Let x = -2 + -1. Let o be (-9)/(-21) - 96/(-21). Sort 2, o, x in ascending order.
x, 2, o
Let s = -10 + 5. Let v = 0.07 + -4.07. Sort -2, v, s in increasing order.
s, v, -2
Suppose -a = 3*c + 150, -a = 4*c + 2*a + 200. Let j = c + 448/9. Sort -0.3, -2/11, j in descending order.
-2/11, j, -0.3
Let o = 0.4 + 2.6. Put o, 1, -5 in ascending order.
-5, 1, o
Let a(t) = -t**3 + 6*t**2 - 5*t - 10. Let m be a(3). Let c = -3.2 - -3. Sort m, 2/9, c in decreasing order.
m, 2/9, c
Suppose -4*o + 5*u = 51, -17 = -o + 2*o + 3*u. Let b be (-17)/35 + (-4)/o. Suppose -2*l = 8, 2*i - 5*l = -0*i + 20. Put i, b, 1/9 in increasing order.
b, i, 1/9
Let b = 0.19 - -0.01. Let o = 219/8 - 27. Put 4, b, o in increasing order.
b, o, 4
Suppose -4*n - 5 = n. Suppose 2*l + 3*q = -15 - 6, 4*l = -2*q - 22. Sort n, l, 0 in ascending order.
l, n, 0
Let u = 8 + -6. Suppose -4*d + u*d = 0. Sort -4, d, -5 in increasing order.
-5, -4, d
Suppose x - 5*x = -8. Let l be 2/(x - (3 + 1)). Sort l, 4, 0 in descending order.
4, 0, l
Let s = 68 - 71.7. Let j = 4 + s. Sort j, -0.2, 3.
-0.2, j, 3
Let a = -12 - -17. Suppose 0 = -5*b + 9 + 1. Suppose b*x = 4*m + 10, m + 3 = -x + 2*x. Sort a, -2, x in decreasing order.
a, x, -2
Suppose 3*y - 5*c + 10 = 0, 3*c - 10 = -y + 2*c. Let w(f) = f + 10. Let a be 3 - (-3)/((-3)/11). Let q be w(a). Sort q, 4, y in decreasing order.
y, 4, q
Suppose 3*v - 8*v = -35. Suppose 2*c = -s - v, -5*c = s - 2*s. Sort -1, 2, s in increasing order.
s, -1, 2
Let r(j) = j - 7. Let k be r(-5). Let d = k + 7. Sort -2, 5, d in decreasing order.
5, -2, d
Let i be (2/(-3))/((-1)/6). Let v(g) = -g - 1. Let t be v(3). Suppose 0 = -5*r - 25, -5*h = -0*r + 5*r + 30. Sort h, t, i.
t, h, i
Let s = -2 + -3. Let c = 104.4 - 104. Sort s, c, 1 in descending order.
1, c, s
Let d be 3 - 6/((-12)/(-14)). Sort -1/5, 8, -3, d in increasing order.
d, -3, -1/5, 8
Let y(u) = 4*u - 59. Let s be y(19). Put -2, 0, s in decreasing order.
s, 0, -2
Suppose -4*d - 25 = -3*o + 4*o, -2*o = d + 15. Sort o, -4, 0 in increasing order.
o, -4, 0
Let v = 1 - 2. Let i = 2.9 + 0.1. Sort -4, i, v in decreasing order.
i, v, -4
Let b = -1/71 - 131/781. Let r = 9.9 - 10.7. Sort b, r, 1 in descending order.
1, b, r
Let j = 5 + -8. Let c be 15*((-20)/(-6) + -3). Let q be 32/(-8)*(-1)/(-1). Sort 