 Suppose 0*p = -2*p + d. Put 1, -3, p in decreasing order.
p, 1, -3
Let m be -1*(-1)/(1/2). Suppose 6*j - 3*j - 14 = -4*n, -2*j = -2*n. Suppose n*h + t = -h - 3, -5*t = -h + 15. Put m, -3, h in decreasing order.
m, h, -3
Let g be 2/(-3)*(2 + -3). Sort -1/7, g, 2/11, 4.
-1/7, 2/11, g, 4
Let v = 1.2 - 0.2. Let a = -8 + 8.5. Put v, 0.3, a in ascending order.
0.3, a, v
Let t(k) = -k + 1. Let z be t(3). Put -7, z, -1 in descending order.
-1, z, -7
Suppose -5*u = -0*u. Let j be (-2)/(-4) + -1 + u. Suppose 3*q = -q + 4. Put j, -0.2, q in descending order.
q, -0.2, j
Let b = -6 - -2. Let i = -3.5 - -7.2. Let m = i + b. Sort m, -3, 0.5 in decreasing order.
0.5, m, -3
Let t = 10 - 7. Let j = -5 + -2. Let f = j + t. Put f, 2/19, -2 in decreasing order.
2/19, -2, f
Let v(m) = m**2 + 11*m + 13. Let n be v(-9). Sort -1, n, 23 in descending order.
23, -1, n
Let t(v) = -v**3 - 11*v**2 + 11*v - 13. Let z be t(-12). Put -2, z, -6 in descending order.
z, -2, -6
Let f(h) = h**3 - 10*h**2 - 11*h + 22. Let c be f(11). Put c, 5, 2 in ascending order.
2, 5, c
Let z = 0.9 + -0.6. Let q = z + 0. Put 5, q, -0.1 in ascending order.
-0.1, q, 5
Suppose 3*y = -18 + 60. Sort -2, 3, y in decreasing order.
y, 3, -2
Let q(c) = c**2 - 7*c + 1. Let k be q(6). Let i = k - -7. Suppose -i = -g - 0. Put -1/7, 0, g in ascending order.
-1/7, 0, g
Let b be (-46)/22 - (-1 + -1). Let a = -5 - -4.5. Put b, 1, a in decreasing order.
1, b, a
Suppose 0 = -5*r - 2 + 22. Let i be r/18 + 40/(-18). Sort -1, i, -4.
-4, i, -1
Let u(o) = -o + 1. Suppose 0 = 7*c - 3*c. Let n be u(c). Let r be 1*-3*4/(-3). Sort n, r, 5 in descending order.
5, r, n
Let d = -880 + 889. Let u be (-1)/1 + 6/10. Put d, 0.2, u in increasing order.
u, 0.2, d
Let y = 19.1 - 19. Sort -1/7, -4, 5, y.
-4, -1/7, y, 5
Let p = -4.9 - -3.2. Let f = 1.3 + p. Sort -1, 0.4, f in ascending order.
-1, f, 0.4
Suppose 0 = -5*n - 0*m + 2*m - 5, -17 = -n + 4*m. Let t be ((-15)/(-20))/(2/16). Let b be (t/(-9))/((-1)/(-6)). Sort n, 0.2, b.
b, n, 0.2
Let r(t) = t**2 + t - 10. Let b be r(0). Let c be (b*3/6)/(-1). Suppose -c*l + 10 + 10 = 0. Put -1, 0, l in ascending order.
-1, 0, l
Suppose -61 + 16 = 9*m. Put -0.4, 0, -4, m in descending order.
0, -0.4, -4, m
Suppose -4*z = 5*z - 3*z. Let s be -1*1 + (0 - -5). Suppose -2*o - q - 9 = 3*o, -5*o - 21 = s*q. Sort z, -5, o in decreasing order.
z, o, -5
Suppose -y + 2*j - j = -5, -2*y = 3*j - 15. Suppose 0 = v - y*v. Sort 2, v, -3.
-3, v, 2
Let z be ((-2)/2)/(4/8). Suppose 3*o = -0*o - 3*i + 12, 2 = 3*o + i. Put o, z, 5 in decreasing order.
5, o, z
Let p = 0.9 - 1.5. Sort -3, -1, p.
-3, -1, p
Let a(m) = m + 5. Let g be a(0). Let n(x) = -2*x - 2. Let c be n(-5). Let o = g - c. Sort 4, o, 1/5 in ascending order.
o, 1/5, 4
Let m = 85 + -89. Sort -9, 2, -5, m in decreasing order.
2, m, -5, -9
Let o = -79 - -77. Put o, 0, -60 in ascending order.
-60, o, 0
Suppose -w + 2*d = 1, -d - 6 + 2 = -2*w. Suppose w*f = -3, -4*m - 5 = 3*f - 18. Suppose 0 = 8*l - m*l. Sort 0.2, l, -0.5 in ascending order.
-0.5, l, 0.2
Let a be ((-6)/8)/((-45)/826). Let i = a + -68/5. Let x = -6.8 + 7.3. Sort i, -1/2, x in ascending order.
-1/2, i, x
Let u be 62/12 - (6 + -5). Let n = 23/6 - u. Sort -0.3, -2, n in descending order.
-0.3, n, -2
Let t = 5/182 + -12/2093. Let c = -95/138 + t. Sort 4, c, 2 in descending order.
4, 2, c
Suppose -3*m = -5*j + 4, -m + 3*j = j + 2. Suppose 0 = v - 0*v + m. Let a = 1 - v. Put 2, 4, a in decreasing order.
4, a, 2
Let x = 12 + -8. Suppose -x*p = -3*p. Put p, -3, -2/11 in descending order.
p, -2/11, -3
Suppose -m = 2*m - 6. Let t(p) = p - 9. Let w be t(7). Put m, w, -4 in descending order.
m, w, -4
Suppose -2 = 2*b + 8, -5*o - 2*b + 205 = 0. Let a = o + -173/4. Put -5, 0.2, a in decreasing order.
0.2, a, -5
Let b be 4 + -2*(-10)/(-5). Sort 2, b, -30.
-30, b, 2
Let p = -0.22 + 0.3. Let x = p + 4.92. Let h = x + -3. Sort -3/2, 0.3, h in decreasing order.
h, 0.3, -3/2
Suppose -r - 8 = 3*d, 10 - 2 = r - d. Let c(f) = f**2 - 7*f + 5. Let s be c(8). Let u = -12 + s. Sort u, r, -1.
-1, u, r
Suppose 2*c + 0*c - 20 = 4*d, c - 5*d - 25 = 0. Let n be -1 + 2 + 2 + 0. Put c, n, -3 in ascending order.
-3, c, n
Let x = 15 + -17. Sort -4/7, 3, x in increasing order.
x, -4/7, 3
Suppose -3*r = -4*b + 20, 7*r = 4*b + 2*r - 20. Suppose -2*x - 20 = 3*j, -2*x = -3*j - 0 - 4. Let d = b + j. Put 5, 0, d in decreasing order.
5, d, 0
Suppose i + 10 = 6. Sort -7, i, 5.
-7, i, 5
Let d = -0.092 + -0.908. Let f = -64 - -446/7. Put f, d, 3 in increasing order.
d, f, 3
Let s = 36.2 - 36. Sort s, -1, -5 in decreasing order.
s, -1, -5
Let q(j) = 6*j**2 + j - 7. Let z(l) = -l**2 + 1. Let v(s) = -q(s) - 5*z(s). Let w be v(-2). Let c be ((-8)/12)/(3/18). Sort w, c, 1 in descending order.
1, w, c
Let h = -0.83 + 0.83. Sort 0.9, 4, h in increasing order.
h, 0.9, 4
Let a = -4/15 - -2/15. Sort 0.5, -15, a in ascending order.
-15, a, 0.5
Let p = -2 + 3. Suppose -5*v = -3*g + 62, -2*v - 2*g + 7 = 19. Let i be 0 - v/(2 + -4). Sort i, -0.1, p.
i, -0.1, p
Let d be (-5 + 2)*(-92)/(-6). Let i be d/14 + (-4)/(-14). Let f be i/(-6) - (-2)/(-4). Put f, -2, 2 in decreasing order.
2, f, -2
Let r = -0.28 + 0.26. Sort 0.2, r, 0.4 in ascending order.
r, 0.2, 0.4
Let k = -29 + 32. Sort -4/5, k, -2/11 in increasing order.
-4/5, -2/11, k
Let d = 2 - 0. Let b = 26 - 29. Sort -0.1, d, b in decreasing order.
d, -0.1, b
Let p be -6*(-3)/27*-6. Sort -2, -1, p in descending order.
-1, -2, p
Suppose 0*g = 2*g. Let u be 3/2*4*28/(-42). Sort u, g, 1 in increasing order.
u, g, 1
Let m = -2 - -3. Let u = 0.265 + 0.035. Put u, -4, m in decreasing order.
m, u, -4
Suppose 0 = 2*s - 15 - 43. Let c = s - 27. Sort 1, c, -1 in increasing order.
-1, 1, c
Let b(w) = w**3 + w**2 + 4. Suppose 0*a = -a. Let x be b(a). Sort -2, -1, x in ascending order.
-2, -1, x
Let g(c) = c**3 - 6*c**2 + 2*c - 7. Let b be g(6). Suppose o = -3*n - 4, -o - 2*n + b - 6 = 0. Let j be (o/(-20))/((-1)/4). Put 5, -1, j in ascending order.
-1, j, 5
Let f = -10 - -12. Let z be 2/f*(-12)/(-3). Sort z, 5, -1 in increasing order.
-1, z, 5
Let b = -169 + 169.2. Sort -4, -5, b in decreasing order.
b, -4, -5
Let w = 84 - 82. Put 9, 6/7, w in increasing order.
6/7, w, 9
Let b be (1 + -1*3)*-1. Let s = -27 - -40. Let o = -12 + s. Sort b, -4, o in decreasing order.
b, o, -4
Let z(f) = -f**2 - 8*f + 23. Let t be z(-10). Let b = t - 1. Sort 1, b, -5 in descending order.
b, 1, -5
Let d = -4.148 - -0.148. Sort 0.5, 3/7, 3/4, d.
d, 3/7, 0.5, 3/4
Suppose -2*t - 28 = 3*m, -5*t = -5*m - 8 - 22. Let x be 241/(-4) - m/(-4). Let k = x - -62. Sort 0.3, k, 0.1 in decreasing order.
0.3, 0.1, k
Let x = -0.2 - -0.2. Let s = -15 - -10. Let c be (4/(-18))/((-8)/6). Put c, s, x in ascending order.
s, x, c
Let y(h) = 1 - 4*h + 5*h - 2. Let g be y(-4). Sort 4, 1, g in increasing order.
g, 1, 4
Let k = -0.35 + 0.05. Let p = -6.4 + 1.4. Let j = 3 - 0. Put j, k, p in increasing order.
p, k, j
Let j = -55 + 54. Sort j, 9/5, 0.3 in ascending order.
j, 0.3, 9/5
Suppose 5*u - 4*r - 12 = 0, -6*u + 4*u + 3*r + 2 = 0. Let n = -1/22 + 47/66. Put 5, u, n in descending order.
5, u, n
Let f(l) = -l + 4. Let t be f(12). Sort t, 1, 2, -4 in decreasing order.
2, 1, -4, t
Let w be 9/(1/7 + 0). Let j be (-14)/w - (-100)/126. Sort -0.2, j, -2/9 in ascending order.
-2/9, -0.2, j
Let s = -309 + 314. Suppose -4*z - 4 = 20. Put s, z, 3 in decreasing order.
s, 3, z
Let g = -1 - 0. Suppose 9 = 18*m - 9. Put g, m, -4 in descending order.
m, g, -4
Let q = -3.01 + 0.01. Let f = 9.5 + -6.45. Let w = -0.05 + f. Sort -0.1, q, w.
q, -0.1, w
Suppose 35 = 16*p - 23*p. Sort p, 5, 4 in ascending order.
p, 4, 5
Let o(x) = 2*x - 1 - 2*x - x. Let k be o(-5). Suppose -5*q = -3*q + 8. Sort 2, q, k in decreasing order.
k, 2, q
Let z(j) = -j**3 + 8*j**2 + 10*j - 5. Let x be z(9). Suppose -5*v = x*r - 20, 0*v - 12 = 2*r - 3*v. Put 1, 2, r in increasing order.
r, 1, 2
Suppose 4*s = a + 16, -s = -3*s - 5*a + 30. Sort s, 1, -5, 0 in decreasing order.
s, 1, 0, -5
Suppose s - 2*g - 3*g + 17 = 0, 4*s = 4*g - 20. Suppose -42 = -24*d - 138. Sort d, 3, s in descending order.
3, s, d
Suppose 4*y = x - 3*x - 8, 0 = -5*x - 5*y. Let w be (-2)/7 + 18/14. Put w, -2, x in decreasing order.
x, w, -2
Let v be (-1)/4*-2 + -1. Let d = 8 - 5.6. Let k = d + -0.4. Sort v, -2/3, k in descending