 = -3*v + h, 2*v = 2*h - 3 + 5. Suppose k = -5*p + 8, -2*k - 10 + 0 = -3*p. Let t = 6 - 9. Put p, t, v in decreasing order.
p, t, v
Let n be (-1 - 0)/1 + 0. Let o be (121/22 + -7)/(3/(-4)). Put n, 4, o in descending order.
4, o, n
Suppose -5*v = 4*h + 5, h + 4*v = -5 + 12. Let i = 3 + -1. Put 4, h, i in descending order.
4, i, h
Suppose -5 = -5*n + 5. Suppose n + 2 = 4*h. Suppose -5*v - 23 = 3*l + 2, -5 = 2*l + v. Put l, h, -4 in decreasing order.
h, l, -4
Let p(t) = -t**2 + 1. Let w be p(0). Suppose -g + 4*k = 5*k - 11, 0 = 3*g + 4*k - 38. Let o be g*((-15)/12 + w). Put o, 0, 0.2 in decreasing order.
0.2, 0, o
Suppose 6*c - 8 = 2*c. Suppose c + 4 = w. Sort 1, 4, w in ascending order.
1, 4, w
Suppose 0 = -3*v + a - 5, 5*v - a = -7 - 2. Put 5, -5, v in descending order.
5, v, -5
Let p = -1 - -6. Let c = -292 + 292. Suppose -2*d = d + 12. Put p, d, c in decreasing order.
p, c, d
Let q = -6 - -2. Let g = -4 - -6. Let c = -7 + g. Put 5, q, c in ascending order.
c, q, 5
Suppose -5*w + 3*w = -8. Suppose -2*x - 4*q = -14, -2*q = w*x + q - 23. Put -3, x, -1 in ascending order.
-3, -1, x
Let i be (-38)/8 + (-1)/4. Let w = -10 - -10. Suppose 16 = -4*v - w*v. Put v, 4, i in ascending order.
i, v, 4
Let o = 18 + -14. Suppose -o*v - 16 = 0, 4*m + 20 = v - 2*v. Put 2, m, -6/5 in increasing order.
m, -6/5, 2
Suppose 3*t + t = 20. Let g = -2 + t. Suppose -g*w + 2*c + 5 = -2*w, 5*c + 5 = -5*w. Sort 2/7, 2, w.
2/7, w, 2
Let h(y) = -y**3 - 10*y**2 - 10*y - 8. Let u be h(-9). Let z = -6.4 + 6. Put z, u, 3 in descending order.
3, u, z
Let f = -1.3 - -0.3. Let p = 42 - 42. Sort 2, f, p in descending order.
2, p, f
Suppose -l = 2*i + 3*l + 6, -2*i = -2*l + 12. Let z = -10 - i. Sort 5, z, 3 in descending order.
5, 3, z
Let b be (-3*8/12)/2. Sort 2, 1, b.
b, 1, 2
Let k = -7/3 + 8/3. Let y be (-4)/10 - (-18)/20. Sort k, 3/7, y in descending order.
y, 3/7, k
Let w(u) = -u + 5. Let v be w(8). Let i be (-3 + 8)*(-16)/(-10). Let j = -13 + i. Sort v, j, -2 in ascending order.
j, v, -2
Let s = -5 + 10. Let u = 0 + 0. Suppose u = 3*n - 9. Put n, s, -2 in descending order.
s, n, -2
Let s be (-32)/40 - 0 - (-61)/70. Sort -4/9, 3, s in ascending order.
-4/9, s, 3
Let s be ((-6)/21)/(1/(-7)). Put 1, s, 4 in ascending order.
1, s, 4
Let g = -9 + 14. Let z = 5 - 3. Suppose -q + z*u = -4, -4*q + 0*u = -u - 23. Put g, q, 3 in descending order.
q, g, 3
Let d = -64 - -59. Put d, -3, 1 in decreasing order.
1, -3, d
Let p be (-34)/28 + 2/(-7). Let r = 0 + -7. Let s = 5 + r. Put -3, p, s in decreasing order.
p, s, -3
Let m = -4.5 - -4. Let t = 0.2 - 0.2. Let h = m - t. Sort h, -1, 0.3 in ascending order.
-1, h, 0.3
Let k(h) = -h**3 - 28*h**2 - 76*h - 23. Let u be k(-25). Let b be 3 - -2 - (2 - 1). Suppose -4*z + 0 = b. Sort z, 0, u.
z, 0, u
Let d = 14.1 + -14. Sort -4, d, -1/4 in descending order.
d, -1/4, -4
Let r(x) = -x**2 + 8*x - 17. Let p be r(6). Let a(i) = -2*i**2 - 3*i - 1. Let w be a(-2). Put p, w, -2 in increasing order.
p, w, -2
Let l be (-2)/7 - 2/(-7). Let o be -4 + 2 + (-4)/(-1). Put l, -2, o in decreasing order.
o, l, -2
Let t be (-6)/10 - (-39)/15. Suppose -t*j = j. Sort -4, j, 5 in descending order.
5, j, -4
Let y = 0.2 + -0.4. Let a = -87 - -19. Let q be 2/9 - a/(-144). Sort -5, q, y.
-5, q, y
Suppose 0 = -v - 4*c - 17, c - 4 + 3 = 5*v. Sort 0, v, -27 in ascending order.
-27, v, 0
Let p = 18 - 17.9. Put 1, -1, p in decreasing order.
1, p, -1
Let k = 17 - 12. Let s be 0*(-3 + 4)/(-2). Sort s, k, 3 in decreasing order.
k, 3, s
Let q(p) = p - 23. Let r be q(19). Sort r, -5, -8.
-8, -5, r
Suppose -3*l - 35 = -4*d, -3*d + l = -2*l - 30. Put 0, -3, -4, d in descending order.
d, 0, -3, -4
Let r(m) = -2*m - 16. Let i be r(-6). Put -1, -3, i in decreasing order.
-1, -3, i
Suppose 0 = -4*v - v + 20. Suppose -2*s + 0 - v = 0. Let h(a) = a**3 + 4*a**2 + 4*a + 2. Let w be h(s). Sort -0.4, w, 0.4 in decreasing order.
w, 0.4, -0.4
Let k = 34 - 84. Put 3, k, 1 in increasing order.
k, 1, 3
Let o = -0.26 - 0.74. Put 0.3, 0.1, o, -0.2 in decreasing order.
0.3, 0.1, -0.2, o
Let i be -1*(-10 - 1) - -1. Let t be 3/i - (-2)/(-4). Let g = 1.1 + 2.9. Sort 1, g, t in descending order.
g, 1, t
Let r = 0.2 - 0.1. Let f = 0.1 + r. Let u = 0.084 + -4.084. Put -1/6, f, u in descending order.
f, -1/6, u
Suppose -8*o + 5 = -27. Put -3, 5, -5, o in decreasing order.
5, o, -3, -5
Let a = 13.6 + -15.8. Sort a, 3/4, 1/2 in ascending order.
a, 1/2, 3/4
Let f = 65 - 63. Suppose -4*s = -4*y + 4, 3*s - 2*s + 4 = -2*y. Sort f, 0, s.
s, 0, f
Let u = 0 + 0.05. Let n = -0.03 + u. Let c = -0.32 + n. Put 2/15, c, 3 in increasing order.
c, 2/15, 3
Let n(t) = -t**2 - 5*t - 4. Let q be n(-4). Let f be 3/9 - 2/(-3). Let h(p) = -p**3 - p**2 - p + 1. Let k be h(f). Put 1, q, k in ascending order.
k, q, 1
Suppose -3*r + 2*d = 2, -2*r + 4*d - 3*d = 3. Let x = 1 - -1. Suppose x = -2*o - 8. Put r, o, 2 in ascending order.
o, r, 2
Let y = 54.9 + -55. Sort y, -0.3, 0.3 in increasing order.
-0.3, y, 0.3
Suppose -5*k - 2 = 33. Let f be k*1 - -2*1. Suppose y + 5 = 2*y. Sort y, -1, f in decreasing order.
y, -1, f
Suppose 3*o = -o + 20. Let b = o - 9. Suppose -4*m + 7 = -1. Put b, -3, m in decreasing order.
m, -3, b
Suppose -r + 2*r = 0. Let m = 3 - 5. Let g = 1 + 1. Sort g, m, r in descending order.
g, r, m
Suppose -6*a + a - 20 = 0. Let v be (-16)/(-60) - a/(-6). Sort v, 2, 1.
v, 1, 2
Let y(l) = l**2 - 2*l. Let x be y(2). Suppose 2*p - 4*w = -22, -4*w + 2 = 3*p - 15. Let u be p*(0 + (-2)/(-9)). Sort x, -4, u.
-4, u, x
Let f(k) = 2*k - 5. Let r be (-4)/14 + 120/28. Let v be f(r). Sort -2, v, -2/5 in decreasing order.
v, -2/5, -2
Let v be (1/(-4))/(99/234). Let u = v + 1/11. Sort -4, u, 0.4.
-4, u, 0.4
Let b = -7/12 - -11/60. Let m = 9.19 + -0.19. Let l = -13 + m. Sort b, 0.3, l.
l, b, 0.3
Let i be (-9)/2*12/(-10). Let c = -113/20 + i. Sort 1, c, -3/5 in decreasing order.
1, c, -3/5
Let d = -779/7 - -111. Sort d, 12, -3 in decreasing order.
12, d, -3
Let c = -2.2 - -2.6. Sort 0, 0.1, c.
0, 0.1, c
Suppose 4*y - 4*z = 9*y - 4, -5*y - z + 1 = 0. Let f be -2 + (-3)/9*y. Sort f, -1, -4 in descending order.
-1, f, -4
Let n = -22 + 31. Let b = n + -13. Let x = 30/13 - 262/91. Sort b, x, -2/9 in decreasing order.
-2/9, x, b
Let w(q) = -q**3 - 5*q**2 - 4*q + 4. Let l be w(-4). Suppose -5*h = -3 - 2. Suppose -2*k = -x - 2*x - 5, 3*k + x + 9 = 0. Sort l, h, k.
k, h, l
Let p be (-44)/(-12) - 3 - (-57)/9. Put p, -5, 4 in decreasing order.
p, 4, -5
Let v(a) = -5*a - 69. Let w be v(-13). Sort -3, w, -8 in decreasing order.
-3, w, -8
Let y = 3 + -3. Let x(n) = 1 + n + 3*n + y. Let w be x(-1). Put 5, w, 1 in decreasing order.
5, 1, w
Let o be (9/6)/(3/4). Let h be (o/21)/(8/12). Let z be (-220)/(-425) - 4/10. Put z, -1, h in increasing order.
-1, z, h
Let w be 2/(-7) - 89/7. Put 2, 5, w in ascending order.
w, 2, 5
Suppose -30 = -3*s - 3*s. Let t(l) = l**2 - 7*l + 1. Let p be t(6). Sort s, p, -1.
p, -1, s
Let q(k) = k**2 - k - 1. Let p(y) = 2*y**2 + 11*y. Let a(n) = p(n) - q(n). Let v be a(-12). Sort v, 2, -1 in ascending order.
-1, v, 2
Suppose -y + 1 + 2 = 0. Suppose -9 = y*g + 6. Let x = 7 + -6. Sort g, -3, x in decreasing order.
x, -3, g
Let c = 3/32 - 11/32. Let x = 1650109/33 + -49999. Let s = 40/11 - x. Sort c, -1, s.
-1, s, c
Let w = -70 + 71. Sort -2, w, -3, 3 in descending order.
3, w, -2, -3
Let v(h) = -3*h + 4. Let w be v(3). Suppose 0 = 4*o - 1 + 13. Sort w, 5, o.
w, o, 5
Suppose 0 = 2*c - 3*c - 3. Suppose -14 = 6*g - 80. Put g, c, 5 in decreasing order.
g, 5, c
Let b = -1.9 - 0.1. Let y = 31 - 31.3. Sort 2/19, y, b.
b, y, 2/19
Let q = 19.1 - 19. Put 3, 2, q in ascending order.
q, 2, 3
Let b = -9 + 4. Let h = -0.052 + -3.948. Let j be -1 + (-2)/14*-6. Put j, b, h in descending order.
j, h, b
Suppose 0*x + x = -5. Let f be 5/2*(x + 3). Sort f, 3, 4 in ascending order.
f, 3, 4
Let o = 1.2 + -0.2. Let i = o + 2. Let z = -0.9 + 1.3. Sort z, 4, i in descending order.
4, i, z
Let d = 0.6 - 1.6. Let z = 0 + d. Sort 4, z, 3 in decreasing order.
4, 3, z
Let k(n) = 2*n + 0*n**2 - 10*n + 0*n**3 + 9 - 6*n**2 + n**3. Let w be k(7). Put w, 1, -0.1 in descending order.
w, 1, -0.1
Let d(w) = -3*w - 2. Let j be d(-2). Suppose 4*n - v - 2 = -5, -v = -2*n - 3. Suppose 4*u + u = n. Sort -2, j, u.
-2, u, j
Let d(x) = -x**2 - 7*x - 3. Let s be d(-7). Let 