ending order.
q, 1, 3
Suppose 0 = t + 4*h - 4, -51 = -3*t + h - 0*h. Let y be 6/(-4) - (-4)/t. Let o = 0 - 3. Put o, 0, y in decreasing order.
0, y, o
Let a be (4/3)/((-4)/(-6)). Put -2, 0, a in decreasing order.
a, 0, -2
Let k = 0.9 + -17.9. Let y = 12 + k. Sort 2/5, y, 5 in decreasing order.
5, 2/5, y
Let v(u) = -u**2 - 15*u - 47. Let w be v(-10). Let y = 1 - 6. Put w, 4, y in ascending order.
y, w, 4
Let j = -1.3 - 1.7. Let y = -23.9 - -24. Let i = -1 + -4. Put j, y, i in decreasing order.
y, j, i
Suppose -4*o + 5*f - 16 = 0, -2*o + 0*f + 6 = f. Sort 2/15, 2/5, o in decreasing order.
o, 2/5, 2/15
Let n be (-1 + -3)*(-3)/6. Suppose -n*q + 7*q = -10. Put -1, q, 4 in increasing order.
q, -1, 4
Let i = -3 - -1. Let v(o) = o**2 - 5. Let k be v(0). Put i, k, 1 in descending order.
1, i, k
Suppose -5*l = -2*s + 22, -l + 2*l + 5*s - 1 = 0. Let r = 8 + l. Sort -4, r, 3 in decreasing order.
r, 3, -4
Let w(c) = c**2 + 8*c - 12. Let f = -1 - 8. Let d be w(f). Sort d, 2, 0 in decreasing order.
2, 0, d
Let a = 3 + -1. Let r(y) = 5*y + 2*y**2 - 7*y**a + 2*y**2 - y**3 + 5. Let j be r(-4). Sort -1, j, 2.
-1, j, 2
Suppose 46*p + 25 = -159. Suppose 2*r - 4 = 3*r, -2*r - 7 = t. Put t, -2, p in increasing order.
p, -2, t
Let j = 73 + -1023/14. Put 2/13, -0.4, j in ascending order.
-0.4, j, 2/13
Let b = 7 + -4. Suppose 1 - 136 = -5*k. Let m be (-3)/2*4/k. Sort m, 0.4, b.
m, 0.4, b
Let g = -0.8 - -0.3. Let z be 5/6*30/(-75). Put -2/7, z, g in descending order.
-2/7, z, g
Let l = 0.29 - 1.29. Let o = 317/8 - -809/24. Let j = 72 - o. Sort -3, j, l in decreasing order.
l, j, -3
Let c(l) = l**3 + 7*l**2 + 13*l + 3. Let t be c(-4). Let g = 0.1 + -1.1. Let f = -1 + g. Put f, 0.4, t in descending order.
0.4, t, f
Let c be (-6 + 6)*1/2. Sort -3/7, -3/5, 2/13, c in decreasing order.
2/13, c, -3/7, -3/5
Let f = -20.567 + 0.067. Let d = f - -21. Put 0.4, d, -2 in descending order.
d, 0.4, -2
Let i = 2.01 + -0.01. Let n = 1.7 - 1.4. Put -0.5, n, i in ascending order.
-0.5, n, i
Let l = 0 - -0.3. Let z = -51.5 - -51. Put -5, z, l in decreasing order.
l, z, -5
Let r = -9 + 8.9. Let u be (-2)/4 - 35/10. Let d = 0.5 - 0.3. Sort d, u, r in decreasing order.
d, r, u
Suppose 0 = -5*n - 7 - 8. Let b = n + 7. Suppose 0 = m - 0*m + 5. Put 5, b, m in increasing order.
m, b, 5
Let s = 4.3 - -2.1. Let a = -7 + s. Let t = -0.5 - a. Sort -3/7, t, -4/3.
-4/3, -3/7, t
Let d = -2 - -10. Let a = 3.07 - 0.07. Let i = a - d. Put -4/3, i, -0.4 in descending order.
-0.4, -4/3, i
Suppose -b - 4*b + 3*w = 0, -4*b = -w + 7. Let p be (1 + -1)/(1 + 0). Let s(y) = -5*y**2 - 2*y - 1. Let c be s(-1). Sort p, b, c in descending order.
p, b, c
Suppose 4*j - 2 = 78. Suppose 4*w - j = -2*p - 76, -5*p = w + 149. Let u be (-4)/p*2*3. Sort u, 3, -4.
-4, u, 3
Suppose z + 2*o = -4, -2*z = -5*o - 14 - 14. Put 6, z, 2 in decreasing order.
6, z, 2
Suppose -3*s + 3 = -j - 4, -s + j + 1 = 0. Sort s, -0.5, 21.
-0.5, s, 21
Suppose 12 - 3 = -3*r. Let t be r + (-2 - -2) - -1. Let o = 2 + -3. Put o, -5, t in increasing order.
-5, t, o
Suppose 0 = 3*k - v - 6, -2*k + 9 = 7*v - 6*v. Put -1, k, -14 in ascending order.
-14, -1, k
Let g = 3 - 0. Let r be 2*(6/3 + -4). Put g, r, 0 in descending order.
g, 0, r
Let v(t) = -2*t**2 + 49*t - 26. Let j be v(24). Put j, -16, -4 in increasing order.
-16, -4, j
Let c(z) = -z**3 + 7*z**2 - z - 3. Let s be c(3). Put -1, s, -3, 2 in descending order.
s, 2, -1, -3
Let p = 102 + -104. Sort 1, p, -0.02, -4 in descending order.
1, -0.02, p, -4
Let o = 63/2 + -32. Let x be (-90)/(-48)*(-4)/6. Sort x, o, -2 in descending order.
o, x, -2
Let r(z) = z**3 + 4*z**2 + z - 1. Let x be r(-3). Sort 3, x, -3 in descending order.
x, 3, -3
Let m be ((-6)/(-8) + -1)*-1. Let a = 5 + -12. Let o = a + 3. Sort o, m, 2.
o, m, 2
Let w be (-12 + 11)*0/(-2). Sort 1/5, -0.4, w in decreasing order.
1/5, w, -0.4
Suppose -2*q - 2*m - 6 = 0, q - 4*m + 0*m = -3. Sort -2, q, -8.
-8, q, -2
Let f = 643 + -638.83. Let h = -0.43 - f. Let o = -5 - h. Sort 3, 2, o in ascending order.
o, 2, 3
Let g = -1 + 8. Let x be (-2)/7*g/(-1). Put 3, 1, x in decreasing order.
3, x, 1
Let v = 1.025 - 0.025. Sort v, 1/7, 0, -2/15.
-2/15, 0, 1/7, v
Suppose -3*u = -u - v + 1, -1 = -5*u - v. Put u, 5, -4 in decreasing order.
5, u, -4
Suppose 4*l - 3*l + 4 = 0. Sort -1, 2, l in increasing order.
l, -1, 2
Let u be (9/4)/(9/24). Let j = u - 7. Let w = -4 - 1. Sort j, w, -2/7 in decreasing order.
-2/7, j, w
Let b = -1 + 1. Let s(n) = -n**3 + 7*n**2 - n - 29. Let r be s(6). Let f be (3 - 21/6)*-6. Sort f, b, r in descending order.
f, r, b
Let i = 479/5 + -96. Put 2, i, 4, -1/11 in decreasing order.
4, 2, -1/11, i
Let i be (-16)/(-6) + 3/9. Suppose 3*c - 221 = i*d + 121, -5*d - 570 = 5*c. Let x be (-1)/(-2) + d/276. Sort 0.2, x, -4 in descending order.
0.2, x, -4
Let h be (2/2)/(4/(-8)). Let z be 2/(-11) - 4/99. Let p = 0.51 - 0.11. Put p, z, h in descending order.
p, z, h
Let f = 7/5 - -1/10. Suppose -2*w + 0*w - 34 = 0. Let s = -33/2 - w. Sort -0.2, s, f.
-0.2, s, f
Let h = 8 + -7. Sort -4, -5, -1, h in increasing order.
-5, -4, -1, h
Suppose 0 = -4*x - x - 3*b + 25, x - 5 = b. Let p(z) = -z - 13. Let l be p(-12). Put 12, l, x in ascending order.
l, x, 12
Let k = -0.2 + 0.3. Let s = -2/13 + -415/91. Let i = s - -125/28. Sort 3/2, k, i.
i, k, 3/2
Suppose -4*w - 7 = -19. Put w, 1, -3 in descending order.
w, 1, -3
Let k = 0.05 + -0.15. Let r = -2 + 2.5. Sort 0.06, k, r in descending order.
r, 0.06, k
Let v = -235/3 + 79. Suppose 9*f + 6 = 6*f, -3*f + 3 = 3*l. Sort l, v, -1 in ascending order.
-1, v, l
Let x be ((6 + -5)*1)/(-1). Sort -2, 5, x in decreasing order.
5, x, -2
Let s be (-1 - 1)*5/(-2). Suppose 3*c + s - 17 = 0. Put -1, -5, c in decreasing order.
c, -1, -5
Let s = 13 + -12.6. Sort -1/2, -1, s in decreasing order.
s, -1/2, -1
Let a be ((-3)/(-2))/(15/(-20)) - -7. Put 0, -1/7, -2/11, a in ascending order.
-2/11, -1/7, 0, a
Let p = 109 + -219/2. Sort p, -0.1, 3.
p, -0.1, 3
Let b(w) = -w**2 - 6*w - 1. Let d(f) = -f + 1. Let i(g) = -b(g) - d(g). Let h be i(-7). Sort -3, 5, h in descending order.
5, h, -3
Let c = -11 - -12.5. Let y = -1.1 + c. Put y, 3, 4 in ascending order.
y, 3, 4
Suppose 3*b + 6 = 2*b. Let r(c) = -9*c - 117. Let s be r(-13). Put -1, s, b in decreasing order.
s, -1, b
Let t = 0.21 - 3.21. Let c = 3.07 - 0.07. Sort 0.2, t, c.
t, 0.2, c
Suppose -4*a - 3*w = 11, -a - 8 = w - 2*w. Let v be 9*4/(-6) + 3. Let q = 6 + v. Sort a, 2, q in descending order.
q, 2, a
Let i = -548/11 + 50. Sort i, 0, 9.
0, i, 9
Let q = -0.04 + -2.46. Let n = q - 1.5. Sort n, -0.2, 4 in ascending order.
n, -0.2, 4
Let o be (-2)/(-3) + -2 + 1. Let x = -2 - -3. Let w = x - 1. Sort 0.5, o, w.
o, w, 0.5
Let g = 49 - 48.73. Let x = g - -0.07. Let s = x + 0.06. Put -3, s, 3 in descending order.
3, s, -3
Let f = 109/120 + -8/15. Put 0, -1, f, -3 in decreasing order.
f, 0, -1, -3
Let s = 22.4 + -18. Let v = 0.4 - s. Let p = v - -4. Put p, -1, 3 in descending order.
3, p, -1
Let r = 2 + -2. Let b = 2 + r. Suppose 3*l - 2*l - i = 0, -i + 4 = -3*l. Put b, l, 4 in descending order.
4, b, l
Let t(n) = -n**3 - 14*n**2 + n + 15. Let x be t(-14). Let u = 12 - x. Put u, -4, -5 in decreasing order.
u, -4, -5
Suppose -5*h = l - 11, 0 = 7*h - 5*h + 2*l - 6. Suppose 3*g = -g - 16. Put g, h, -3 in descending order.
h, -3, g
Let a be (-15)/5 - (1 - 15). Let z = a + -7. Suppose -5 = -z*n - 1. Sort n, -2, -5 in decreasing order.
n, -2, -5
Let a be (-1)/(6/4*(-4)/42). Put a, 4, -5 in decreasing order.
a, 4, -5
Let n(q) = 3*q**2 + 3*q - 1. Let a be n(1). Suppose a*c + 31 = 6. Put c, -2, 5 in descending order.
5, -2, c
Let w be 1/4 - (-44)/16. Suppose w*p - 2*p = 9. Suppose p*u - 10 = 4*u. Put 5, u, -3 in descending order.
5, u, -3
Let o = -16 - -15. Put 0.1, -5, -1/3, o in ascending order.
-5, o, -1/3, 0.1
Let p = 2 - 2. Suppose p*j - j - 3*f - 2 = 0, -2*f + 27 = -5*j. Put j, 4, -4 in decreasing order.
4, -4, j
Let v(z) = z - 1. Let i be v(-4). Suppose -2 = -p - 0*p, -m = 5*p - 12. Put 1, m, i in descending order.
m, 1, i
Suppose o = 18 - 20. Suppose 17 = 4*l - y, -2*y - 1 = l + 2*l. Sort o, -3, l in descending order.
l, o, -3
Let x = -10.7 + 7. Let c = -1.35 + 0.05. Let g = c + x. Put g, 0.1, -1/4 in descending order.
0.1, -1/4, g
Let a(x) = 2*x + 1. Let m be a(2). Sort -2, m, -5.
