in descending order.
z, -1, -2
Let g be (-2*1)/(0 + -1). Let y = 2 + g. Sort 5, -5, y in decreasing order.
5, y, -5
Let m = 805/11 + -73. Sort -2/9, -2, -0.1, m in decreasing order.
m, -0.1, -2/9, -2
Suppose 0 = 5*r + 9 + 1. Suppose 2*w + 3*w = -5. Let a be (-2)/(-2) + (1 - 0). Sort r, w, a in increasing order.
r, w, a
Let x = -5 + 4. Let d = -2 + -2. Sort 2, x, d in increasing order.
d, x, 2
Let p = 26 + -15. Let j = p - 15. Let k(b) = 2*b**2 + 12*b + 5. Let w be k(-5). Put j, 4, w in decreasing order.
4, j, w
Let a be -3 - ((-2)/(-1) + -5). Suppose 1 = 2*f - g, -5*f - 3*g + a*g + 19 = 0. Put 5, -5, f in ascending order.
-5, f, 5
Let r be 76/232*(-6)/9. Let f = r - 1/261. Put f, -0.4, 1 in increasing order.
-0.4, f, 1
Let l = 3 - 1. Let c = -5 + l. Sort 1, c, -1.
c, -1, 1
Let a = 23 + -24. Let b = 0.02 + -0.72. Let t = 0 - b. Put 3, t, a in ascending order.
a, t, 3
Suppose -5*s - 2*y - 19 + 5 = 0, -s + 3*y = 13. Let o = 0.313 + 0.087. Put o, s, 0 in decreasing order.
o, 0, s
Suppose 5 = 7*m - 2. Sort m, 3, -2, -5 in decreasing order.
3, m, -2, -5
Let w(o) = -1 - o**2 + 10*o - 6 - 1. Let i be w(9). Sort i, -1, 5 in descending order.
5, i, -1
Let y = -1 - -1. Let z(t) = -t**2 - 4*t - 3. Let s be z(-4). Let n be s/2 - 2/4. Sort n, y, -3 in decreasing order.
y, n, -3
Suppose 0*a = 4*a + 24. Let r be (-15)/a*1*2. Put 3, 0, r in decreasing order.
r, 3, 0
Suppose 0 = 6*q + q + 14. Sort 3, 4, q, -3 in decreasing order.
4, 3, q, -3
Let t be 4/22 - (-84)/22. Suppose -t*s = 2*w + 2*w, -3*s + 12 = -w. Sort -4, s, -0.5.
-4, -0.5, s
Suppose -39 = -5*g - 14. Let v be 4/(-14) - 37/(-7). Suppose -2 = -v*q + 4*q. Put q, g, -0.4 in descending order.
g, q, -0.4
Let t = 0.2 + -0.2. Let y = -46 - -51.7. Let s = -6 + y. Put t, s, -1 in increasing order.
-1, s, t
Let a = 0.056 + -0.156. Let v = -2 + 4. Sort v, -4, a in descending order.
v, a, -4
Let x(j) = j - 2. Let w be x(2). Suppose 6*m = 2 - 32. Sort m, 1, w in descending order.
1, w, m
Let w be -3*(1 - 2/6). Let c = -220 + 217. Sort -1, c, w in increasing order.
c, w, -1
Let g = 40 + -36. Sort 0.3, -6, g in increasing order.
-6, 0.3, g
Let s be (-5 - -2)*6/(-9). Suppose 4*i - 7 + 7 = 0. Sort i, 4, s in decreasing order.
4, s, i
Let v be ((-1 - -4) + -3)/1. Suppose -3*h + 13 = 3*i - 5, v = 3*i + 5*h - 28. Put i, -3, 4 in increasing order.
-3, i, 4
Suppose 60 = -5*i + 15. Let a be (3/i - -1) + -1. Sort -3, -4, a.
-4, -3, a
Suppose 4*q - q + 5*i - 13 = 0, 5*q + 4*i = 0. Let o be (2 + -5)/3 + q. Put -0.1, -1.1, o in decreasing order.
-0.1, -1.1, o
Suppose 5*m - 1 - 44 = 0. Let f(d) = -11*d - 85. Let g be f(-8). Sort m, g, 0 in ascending order.
0, g, m
Suppose -4*t = -y + 4*y - 25, 3*y = 2*t + 1. Let q be ((-5)/4 + 1)*-4. Suppose -4*u = 3 + 1. Sort t, u, q in ascending order.
u, q, t
Suppose -3*q + 12 + 3 = 0. Sort -8, q, -4.
-8, -4, q
Let b be 3/(-18)*(-9)/4. Let z = 9 - 8. Let h = -1 + z. Sort 1, b, h in increasing order.
h, b, 1
Let c = -8.3 + 1.3. Let r = -2 - c. Let x = 0.3 - -0.2. Sort -1/7, x, r in ascending order.
-1/7, x, r
Suppose -h + 5 = 3. Sort 12, h, 3 in descending order.
12, 3, h
Let l(w) = -w**3 - 4*w**2 + 4*w - 4. Let x be l(-5). Sort -2, -5, x.
-5, -2, x
Let n be 3 - (-2 + 0 + 5). Suppose 4*b + n = -5*r + 1, 3*b = 12. Put 1, r, -5 in increasing order.
-5, r, 1
Suppose 4*a = 3*w + 7, -5*w - 35 = -0*a + 5*a. Suppose 23 = x + 4*n, 0*x - 3*x = -4*n + 11. Let d = x + -2. Sort w, 2, d in decreasing order.
2, d, w
Let d(t) = -2*t**2 - 57*t + 23. Let l be d(-29). Put l, 0, -3, 2/3 in decreasing order.
2/3, 0, -3, l
Suppose -41 = 2*k - 5*b, b = k + 3*b + 16. Let h = k + 19. Sort 5, h, -2.
-2, h, 5
Let c = 0.3 - 0.6. Sort 2, 4, c.
c, 2, 4
Let q be ((1 + 0)*-2)/(-6). Sort q, -1/3, 5 in ascending order.
-1/3, q, 5
Let d = 629/15 + -124/3. Sort 0.4, 1, -12, d in decreasing order.
1, d, 0.4, -12
Suppose -6*i = -3*i - 9. Let n = 187 - 182. Sort i, n, 2 in ascending order.
2, i, n
Let x be (-17 + 16)/(2/(-8)). Let t(f) = -f**3 + 6*f**2 + 3. Let s be t(6). Suppose 7*h - x = s*h. Sort 5, 4, h.
h, 4, 5
Let k = -1.6 - -2.8. Let a = 0.9 - k. Sort a, -2, 4 in decreasing order.
4, a, -2
Let i be 6/2*4/(-3). Let v be (-3)/(-6) + (-18)/i. Suppose -5*x - 25 = -0*x. Sort x, -2, v in decreasing order.
v, -2, x
Let q = 23/35 + -6/7. Let k = 6 - 6. Sort -0.5, q, k.
-0.5, q, k
Suppose -5*x - 36 + 1 = -5*b, -4*b = -5*x - 33. Let j be (1 + 6/(-4))*2. Let r(z) = -z**2 - 17*z + 18. Let c be r(-18). Sort j, x, c.
x, j, c
Let l = 15 - 18. Put -4, -1, l in decreasing order.
-1, l, -4
Let a = 1.37 + 0.63. Suppose -4*b - 20 = -8*b. Suppose -5*p - 2*o = -21, 4*p - 11 = -2*o + b. Sort p, 0, a in ascending order.
0, a, p
Let l = 5 + -5.1. Let w = l - -0.5. Let x be 5*((-2 - -1) + 2). Sort w, x, -0.1 in ascending order.
-0.1, w, x
Let i = 0 + 0.1. Let v = -0.9 - i. Let b = -0.1 + 4.1. Put b, 1/9, v in ascending order.
v, 1/9, b
Let p = -31468 + 1258803/40. Let a = -11/5 + p. Sort a, 4, -5 in descending order.
4, a, -5
Let r = -10 - -15. Let j(g) = g**2 - 3*g - 2. Let q be j(r). Suppose -3*a - q = 7. Sort a, -2, -3 in ascending order.
a, -3, -2
Suppose -16 = -m + 3*m. Let a = 7 + m. Put -2, a, 1 in descending order.
1, a, -2
Let i be 6/9 + 2/(-3). Let r be (-2)/8 - 6/(-8). Sort r, -5, i.
-5, i, r
Suppose b - 4 = 2. Put -1, 1, b in decreasing order.
b, 1, -1
Let d = 7 - 5. Let g = 4 - d. Let m be (-4 + (-18)/(-4))*(-24)/18. Put -1/2, g, m in descending order.
g, -1/2, m
Let k be (0 + 2 + -2)/1. Sort 5, 4, k in decreasing order.
5, 4, k
Let s = -80 - -79.9. Sort -4, -12, -0.3, s in ascending order.
-12, -4, -0.3, s
Suppose 15*i = 11*i - 12. Sort i, 1, 7, -1 in decreasing order.
7, 1, -1, i
Let z = -8.3 + 9. Let y = -1.67 + 0.77. Let j = z + y. Sort 1/11, 1, j.
j, 1/11, 1
Let c = -1492214/7 - -213535. Let v = c - 361. Put -0.1, v, 0.2 in descending order.
v, 0.2, -0.1
Let m be (14/6)/(2/6). Suppose 3*n - 3 = -z, 5*n + m*z - 9 = 4*z. Suppose -5*f = 12 - 2. Sort f, -1, n in decreasing order.
n, -1, f
Let t = -20.03 - -20. Let s = -2.03 - t. Put s, -0.11, 0.3 in decreasing order.
0.3, -0.11, s
Suppose -6 = -3*v + 3. Suppose -15 = 2*m - v*z, -2*m - m - 70 = 5*z. Let r be (0 + (-6)/m)*10. Put 1, r, -4 in decreasing order.
r, 1, -4
Suppose -5*m = 3*x + 1, m - 2*m = -4*x - 9. Sort m, -5/2, 2 in decreasing order.
2, m, -5/2
Suppose -4*c + 5*c - 2*w + 4 = 0, 3*c + 34 = -5*w. Let z be (-81)/(-21) - 3/(-21). Let q = z + c. Sort 2, q, 3.
q, 2, 3
Let v = 0.2 - 4.2. Let o = -8/33 - 1/11. Put o, -1, v in decreasing order.
o, -1, v
Suppose 2*j - 4 = j. Let i = 4 - 8. Put -5, j, i in decreasing order.
j, i, -5
Let x = -3 - 2. Suppose -2 = t, 5*v + t + 14 = -t. Sort -1, v, x in increasing order.
x, v, -1
Let o(i) = i**2 + 4*i + 4. Let n be o(-3). Suppose -19*d = 111 + 3. Sort d, -1, n.
d, -1, n
Let t = 25.8 + -26. Put -2, 2, 0.1, t in increasing order.
-2, t, 0.1, 2
Suppose 3 = -4*o - 13. Suppose -5 = j - 2*j. Sort o, j, 0.
o, 0, j
Suppose 0 = -4*r - 4 - 4. Let q be (3 + (-7)/2)*r. Let b be 6/(((-18)/4)/3). Sort q, b, 3 in increasing order.
b, q, 3
Let p be (-11)/(-9) + 3*2/(-27). Sort 52, p, -2.
-2, p, 52
Let i(j) = -6*j**2 + j + 1. Let h be i(-1). Suppose 8 = 4*f - 4. Let v be ((-1)/f)/(h/4). Put v, 2/15, -1 in ascending order.
-1, 2/15, v
Let i = 16 + -16. Put -0.02, -4, i in descending order.
i, -0.02, -4
Suppose 13 = 3*l + 2*a, -2*l + 19 + 8 = 5*a. Sort l, 5, -4, -7.
-7, -4, l, 5
Let c(z) = z**3 - 9*z**2 + z - 5. Let o be c(9). Let d be 2 + -7 + 2/1. Put 0, d, o in ascending order.
d, 0, o
Let c = 0.06 + 1.94. Let r = -1.5 + c. Sort -2, r, -4 in descending order.
r, -2, -4
Let t = 0.5 + -0.3. Let f be 9/45 + 88/10. Let w be (3/f)/((-1)/(-3)). Put 0.5, t, w in decreasing order.
w, 0.5, t
Let w = -17 + 13. Let m = 10.6 - 7.5. Let f = 3 - m. Put -2/3, w, f in descending order.
f, -2/3, w
Let z = 1 + -0.8. Let b = 33 + -37. Put b, -5, z in descending order.
z, b, -5
Let r = -2.56 - -0.56. Let j = -0.6 - -0.1. Sort j, r, 2/9 in ascending order.
r, j, 2/9
Let v = -25/48 - -3/16. Put 2/15, 0.5, v in ascending order.
v, 2/15, 0.5
Suppose -5*z = 0, 2*v - 5*z - 4 = -0. Sort -5, -4, v in decreasing order.
v, -4, -5
Suppose m + 5*q = 5, m + q + 8 = -m. Let h be (6/15)/(1/m). Suppose 2*x + 3 = -5. Sort x, h, 0.
x, h, 0
Let y = 137 - 1509/11. Let t = -0.6 + 0.56. Le