 + r + o = 0. Put v, -4, 0 in decreasing order.
0, v, -4
Let q = 8.4 + 2.6. Let y = 8 - q. Sort 1/3, 3, y in descending order.
3, 1/3, y
Let r(y) = 2*y - 5. Let g be r(0). Let u = g + 6. Put u, -3, -4 in decreasing order.
u, -3, -4
Let p be (4/6)/((-2)/(-9)). Let o = p + -5. Sort o, 5, -4 in descending order.
5, o, -4
Let s be (-6)/(-5 + (6 - 3)). Suppose -2*m = -3*u + m, -s*u - 20 = 2*m. Let v be -3 - -1 - (-2 - -3). Sort 1, v, u in descending order.
1, v, u
Let y be -16 - -19 - 2*2. Sort y, 2, -4 in ascending order.
-4, y, 2
Let u = 0 + -0.1. Let g = 22.9 - 22. Let t = g + -1.2. Sort t, u, 2 in decreasing order.
2, u, t
Let m = 1117 - 777. Let x = 343.97 - m. Let f = -0.03 - x. Put f, 3/8, -3 in descending order.
3/8, -3, f
Let i be 1/(-3)*(7 - -8). Put i, 2, 5 in increasing order.
i, 2, 5
Suppose 12 = -5*s + 2*r - 8, -3*s = -3*r + 12. Let c(x) = x - 3. Let v be c(-6). Let h = s - v. Sort h, 2, -3 in descending order.
h, 2, -3
Suppose -p = -2*s, -2*p + 0*p - 2*s - 12 = 0. Suppose -5*k = 2*x - 5, -3*x = 7*k - 2*k - 10. Sort 1, p, k in increasing order.
p, k, 1
Let d be (2 + 67)*(-33)/(-13). Let n = 175 - d. Put 1, 3, n in decreasing order.
3, 1, n
Let l = 7 - 2. Suppose 0*s - 3 = 3*s. Let h = l + s. Sort -5, h, 3.
-5, 3, h
Let k be 4/14 - 95/(-35). Suppose -27 = -a + 3*f - 11, -2*f = 4*a + 6. Let u be -11 + 7 + (4 - a). Put u, 5, k in decreasing order.
5, k, u
Suppose -2*q + 4 = -20. Suppose 0 = -5*p - q + 2. Suppose -10 = -3*b + b. Sort b, p, -1 in increasing order.
p, -1, b
Let b = 107 - 747/7. Let w = -6.4 - -6. Sort w, b, 0.3.
w, b, 0.3
Let v(h) = h**2 - 5*h - 8. Let b be v(6). Put -3, b, -4 in descending order.
b, -3, -4
Suppose -2*r = -t, -t = -3*r - 0*t - 2. Put 4, r, -5, 1 in ascending order.
-5, r, 1, 4
Let p be 1/(-1) + 21/15. Let g = 304 - 13985/46. Let x = -89/138 + g. Put 3, x, p in increasing order.
x, p, 3
Let w = -4 + 9. Let a = -1.6 + 6.4. Let c = a - w. Sort c, 0.3, 1.
c, 0.3, 1
Let a = -2.1 + 1.7. Let o = 1.1 + -0.8. Put o, 0, a in descending order.
o, 0, a
Let z be (2/(-6))/((-2)/(-6)). Let m = 0 - z. Suppose l + 5*u + 7 + 4 = 0, -u = -2*l. Sort 3, m, l.
l, m, 3
Let y = 0.31 + 5.69. Sort -2, 4, y.
-2, 4, y
Let d(h) = -h**3 + 5*h**2 + 5*h + 8. Let b be d(6). Suppose -5*p + 14 = -6. Let m = p + -7. Put 0, m, b in decreasing order.
b, 0, m
Let t be (4/(-10))/(3/(-15)). Let v be (-30)/(-9)*(-3)/t. Sort 0.2, 2/17, v in descending order.
0.2, 2/17, v
Suppose 4*d = 3*d. Let a be (-3)/(-2)*(5 + -7). Sort 7, d, a in decreasing order.
7, d, a
Let a be ((-532)/(-12) + 4)*-3. Let k be 6/15 - a/(-175). Let m = 2 - 3. Sort k, m, 3.
m, k, 3
Let y = -22 + 43. Suppose -4*g - 6 = 3*a, -y - 2 = 5*g - 4*a. Put -5, g, -2 in increasing order.
-5, g, -2
Let r be 0/(-3) - 4/14. Let x be 9800/(-38) + -3 + 2. Let y = 259 + x. Sort r, y, 0.1.
r, 0.1, y
Let v(r) = 17 + 0*r - 5*r + 3*r + 3*r. Let n be v(-16). Let m be (-2 - 1)*(-15)/9. Sort m, n, -4.
-4, n, m
Let z = 81.5 - 82. Sort 1.6, z, 0.4 in descending order.
1.6, 0.4, z
Let o be (-7)/(-4) + (0 - 1). Sort -0.3, 0.2, 5/2, o.
-0.3, 0.2, o, 5/2
Suppose 4*z = x - 340, x - 2*z - 555 = -209. Let c = 9353277/13 + -719131. Let j = c - x. Put 3/2, -1/6, j in descending order.
3/2, j, -1/6
Suppose 1 = -r, 0*j - 11 = -2*j + r. Suppose -2*d = -j*d. Sort -5, 1, d in decreasing order.
1, d, -5
Let x = -3.1 - -2.22. Let d = x + 0.18. Sort d, -5, -0.1 in increasing order.
-5, d, -0.1
Suppose -2*o = -i + 1, -5*o - 3*i + 0 + 3 = 0. Let h = 1 - o. Suppose j = -4*l + 20, 4*l + 3*j - 19 = 9. Put h, l, -3 in increasing order.
-3, h, l
Suppose -24 = 3*h - 0*h. Sort h, 2, 4 in increasing order.
h, 2, 4
Let s be 4 + ((-3)/(-1))/(-3). Suppose -3*p - 2*p = 0. Put s, p, -4 in increasing order.
-4, p, s
Let z be ((-12)/24)/(6/20). Sort z, 0.2, -1/5 in decreasing order.
0.2, -1/5, z
Suppose 0 = -u - 3*b - 7 + 1, u - 4 = 2*b. Sort u, 2/9, 0.3, 0.1 in ascending order.
u, 0.1, 2/9, 0.3
Let s be (-9)/(-6) + 163/(-110). Let b = s - 113/165. Put b, -3, -0.04 in decreasing order.
-0.04, b, -3
Let d = -2 + 2. Let q be 4*(-4)/(-8)*2. Put d, -2, q in descending order.
q, d, -2
Let q = 0.6 + -1. Let y be (-2)/3 + 3/18. Sort q, y, 2/7.
y, q, 2/7
Let y be (-4)/38 - 207/(-342). Sort 1, 0.1, y in decreasing order.
1, y, 0.1
Suppose 5*s + 2*r - 4*r = 82, 4*s + 5*r = 92. Suppose 5*x - s = -8. Suppose x*o = -o - 15. Put -1, o, 2 in increasing order.
o, -1, 2
Let o = -0.1 + 0.2. Let x = 2.9 + o. Put x, 0.1, 4 in ascending order.
0.1, x, 4
Suppose 0*q = 2*q - 10. Suppose -15 - q = -5*g + 3*r, -5*r = 0. Sort -1, g, 1 in descending order.
g, 1, -1
Let y be ((-12)/(-10))/(30/(-100)). Put y, 0, 5 in descending order.
5, 0, y
Let s = 58 - 59. Sort -10, s, 1 in descending order.
1, s, -10
Let k be (-3)/9 + (-7)/(-3). Let h = -6 - -4. Sort -5, k, h in ascending order.
-5, h, k
Suppose -5*k = 5*n - 2*k - 4, -3*n + 4*k = -14. Suppose 2 = -g - n. Sort g, 1, 4 in decreasing order.
4, 1, g
Let d = 34 - 35. Let n = 0.6 - 0.1. Put 0.3, d, n in increasing order.
d, 0.3, n
Let r = -1 + -1. Let q be 3/(1 + -2) + r. Let u be 60/(-27) + 2/9. Put 4, u, q in decreasing order.
4, u, q
Let y(f) = f**2 + 4*f - 9. Let r be y(-6). Suppose 0 = -g + 2 - 7, -2*g - 8 = w. Sort w, -4, r in decreasing order.
r, w, -4
Let k = -0.14 + 0.54. Let d(r) = -r - 7. Let w be d(-6). Sort w, 5, k in descending order.
5, k, w
Let b = -22 + 29. Sort 5, 4, b in increasing order.
4, 5, b
Let q = -0.1 + 0. Let g = 58 + -63. Put g, q, -2 in increasing order.
g, -2, q
Suppose 5*f + 5*m - 40 = 0, -4*m = -4*f - 0*m. Suppose -1 + 7 = 3*w. Suppose -2*q - 2*t = 4, 3*q = f*q + w*t + 5. Put -2, -5, q in decreasing order.
q, -2, -5
Let q = 5 - -3. Suppose -2*o - 10 = 3*k + 3*o, 5*k - 20 = -o. Sort 4, k, q in increasing order.
4, k, q
Let o = -0.6 + 0.7. Let f = o + 0.3. Sort -4/7, 5, f in decreasing order.
5, f, -4/7
Let v(j) = j**3 + 6*j**2 + j + 8. Let o be v(-6). Suppose 3 = o*g - 3. Sort 5, 2, g in descending order.
5, g, 2
Let t be (1/1)/((-1)/5). Suppose -3*j + 3 = 9. Let a = t - j. Sort 5, 2, a.
a, 2, 5
Let l = -10 - -22. Suppose 5*t - 3 - 12 = g, 4*t - l = 4*g. Suppose -t = i + 1. Sort 5, i, 4 in increasing order.
i, 4, 5
Let x = -0.01 - -0.41. Let v = -8.1 - x. Let z = -8 - v. Put z, 5, -2 in ascending order.
-2, z, 5
Let x = 8 - 19. Let t = x - -7. Put -5, -3, t in decreasing order.
-3, t, -5
Let q(v) = -v - 20. Let z be q(-15). Put -8, -4, z in ascending order.
-8, z, -4
Let i = -60 + 61. Sort 3, i, -4/3 in descending order.
3, i, -4/3
Let x = 4 - 1. Let s(u) = -u**3 - 17*u**2 - 17*u - 19. Let y be s(-16). Let z be 0*(-7 - y)/(-12). Sort x, 5, z in ascending order.
z, x, 5
Let k be 6/(-4)*8/3. Let j = -3 - -6. Suppose d = 3*z - 13, d - 5*d + z = -j. Sort -1, k, d in descending order.
d, -1, k
Suppose 5*z + 5*p - p + 24 = 0, 3*z + 9 = 3*p. Let d = 0.1 + 0. Put z, -1/2, d in ascending order.
z, -1/2, d
Suppose 4*i - 2*u + 6 = -4, -3*i + 5*u - 18 = 0. Let o be (-1 + 1)*3/(-6). Suppose -2*m - 1 = -5. Sort o, i, m in ascending order.
i, o, m
Let r be -3*(-4 - -7)*-1. Sort 1, r, 3.
1, 3, r
Suppose 8 = 24*n - 26*n. Suppose 0 = -s + 3*s - 4. Sort 0.4, n, s in descending order.
s, 0.4, n
Let w = 35 + -37. Sort -29, w, -2/11 in descending order.
-2/11, w, -29
Let l be 8 + (-548)/56 + (-4)/(-14). Sort 0.1, l, -30, 3/4 in decreasing order.
3/4, 0.1, l, -30
Let y be -4*4/8 - -9. Put y, 0, 3 in decreasing order.
y, 3, 0
Suppose 2*z = -j + 2*j - 5, 5*z + 45 = -4*j. Put -4, j, -0.1, 1.1 in descending order.
1.1, -0.1, -4, j
Let n be ((-1)/(-1))/((-2)/(-22)). Let z = n + -10. Sort 5, -0.1, z in descending order.
5, z, -0.1
Let b = 0.02 + 4.98. Let z = 3.33 + -0.33. Sort b, -0.1, z.
-0.1, z, b
Let s(w) = -w**3 - 4*w**2 + 6*w + 7. Let n be s(-5). Suppose f = -4*m + 33, -2*f + 121 = 3*f - n*m. Let i = f + -224/9. Sort i, -3, 1/3.
-3, i, 1/3
Let j be (5/1 - -3) + -3. Suppose 3*a - 19 = -s, -4*s + 41 = -0*a + j*a. Sort a, 3, -2 in descending order.
a, 3, -2
Suppose 5 = -5*u, 4*l - 4 = -0*u - 4*u. Let g be 1/3 + (-40)/12. Put 8, g, l in descending order.
8, l, g
Let w(t) = 2*t**2 + 6*t + 5. Let n be w(-2). Let r be n/(-5) + 21/5. Sort -1, r, 5.
-1, r, 5
Let p be 30/9 + (-4)/(-6). Let n = -44 + 175/4. Put p, 2/9, n in decreasing order.
p, 2/9, n
Let u be 6/2*(-7)/(-3). Put 4, u, 3, -2 in descending order.
u, 