. Put y, 5, h in decreasing order.
5, h, y
Suppose -2*t = -t - 5. Let u = t + -3. Suppose -2*n + 7 = 11. Put n, 4, u in increasing order.
n, u, 4
Let l(o) = 2*o + 17. Let d be l(-9). Sort 2, d, 4 in descending order.
4, 2, d
Suppose n + 3 = -s, 6*n + 15 = s + n. Let m(b) = -b**2 + 9*b - 5. Let j be m(8). Let q = -1 + j. Put s, q, 3 in descending order.
3, q, s
Let a = -0.3 + 0.4. Let g = -97 - -96. Sort -5/2, a, g in increasing order.
-5/2, g, a
Suppose 5*o - 4*q - q = 25, -2*o + 4*q + 12 = 0. Suppose -5*m = -4 + 19. Sort o, -5, m in decreasing order.
o, m, -5
Suppose 0 + 32 = -4*c. Sort -2/7, c, -0.4 in descending order.
-2/7, -0.4, c
Let d = 104 + -109. Sort 1, 6, d in increasing order.
d, 1, 6
Let a be ((-8)/(-50))/((-12)/(-30)). Sort -2/7, a, 0.3.
-2/7, 0.3, a
Let a(c) = c**3 + 5*c**2 + 2. Let m be a(-5). Suppose 4*i - w = -4, 3*i + 0*w = -2*w + 8. Suppose i*g + 4 = -4*g. Sort 0, m, g in ascending order.
g, 0, m
Let d = -2.5 + 3. Sort 3/16, 2/9, d.
3/16, 2/9, d
Let d = 1.2 - 1.4. Put 1, d, -0.3 in decreasing order.
1, d, -0.3
Suppose 1 - 4 = q - c, 4*q - 28 = -4*c. Let o(x) = 4*x - 3. Let w be o(2). Sort q, 1, w in decreasing order.
w, q, 1
Let m = 0.096 - 6.396. Let g = m - -6. Let q be 6/33 + (-46)/(-110). Sort g, q, 5.
g, q, 5
Let v(o) = o**3 - 3*o**2 + 4. Suppose 0*j + 3 = j. Let g be v(j). Let n be (-2)/(-4)*g/9. Sort -0.3, n, 5 in ascending order.
-0.3, n, 5
Let g = 0 + 3. Let r be (10/10)/(2/(-10)). Suppose -n + 9 = -4*n. Sort n, g, r in increasing order.
r, n, g
Suppose v = -3*v - 8, -4*b = 2*v + 20. Let a = -7 + 11. Put b, 2, a in descending order.
a, 2, b
Let f = 4 + -1. Suppose f*d + 0 = -18. Let o = d - -8. Sort 5, o, -3 in descending order.
5, o, -3
Suppose 14*j - 12*j + 6 = 0. Put j, 13, 0 in descending order.
13, 0, j
Suppose -3*v + 1 = -2*p, 5*p - 5 = 3*v + 6. Put v, 4, 5 in increasing order.
v, 4, 5
Let d = -1 - -2. Put -1/2, d, -4 in decreasing order.
d, -1/2, -4
Suppose -2*h + 3 + 7 = 0. Suppose 0 = 4*a + a - h*s - 10, 3*s = -3. Put 0, a, -5 in decreasing order.
a, 0, -5
Let o = -88 - -86. Sort 1, o, -48 in increasing order.
-48, o, 1
Suppose -w + 0*w + 3*x = 0, -2*w + 4*x = 0. Let k be 4647/28 - 4/16. Let g = -166 + k. Sort g, -2, w in decreasing order.
w, g, -2
Let k = -15 + 21. Let w = -6.3 + k. Let v be (-37)/7 - 2/(-7). Sort 1/8, v, w in increasing order.
v, w, 1/8
Let q(p) = 3*p + 1. Let s be q(3). Suppose -y + 4*o - s = 8, -5*y - 2*o = -20. Sort y, 5, -2 in increasing order.
-2, y, 5
Let s = 91 + -127. Let z be (-4)/(-26) + s/(-104). Sort 0, 5, z.
0, z, 5
Let v = -10 - -10.6. Let z = v + 0.4. Let k = 0.8 - z. Sort 0.3, k, -0.5 in descending order.
0.3, k, -0.5
Suppose -2*h = t - 7, 5 = 2*t + h - 3. Sort -4, t, -1 in increasing order.
-4, -1, t
Suppose 0*a + 3*y = 4*a - 22, 4 = 2*a + 2*y. Suppose 20 = a*v - 0*v, -3*v - 5 = 4*g. Let k(p) = p**2 - p. Let w be k(2). Sort g, 0, w.
g, 0, w
Let c be (-28)/1*12/(-48). Suppose -5*w = -c - 3. Sort w, 5, -1 in descending order.
5, w, -1
Let t be -1 - 1/((-2)/(-8)). Let n(b) be the second derivative of -2*b**3/3 - 3*b**2/2 + 2*b. Let d be n(-2). Sort 1, d, t in increasing order.
t, 1, d
Let l = 37 + -36.96. Put -0.3, l, 0.3, 4 in ascending order.
-0.3, l, 0.3, 4
Let m = 2 - 1.8. Let p = 0.59 - 0.09. Let h = m - p. Put h, -0.5, 0.4 in increasing order.
-0.5, h, 0.4
Let u = 0.48 - -2.52. Sort u, -1/4, 0 in decreasing order.
u, 0, -1/4
Let u = -13 - -6. Let c = u - -2. Sort -4, c, 1 in descending order.
1, -4, c
Let n(s) = -s**2 + 4*s + 1. Let r be n(4). Let z be (-1 - 1) + (r - 4). Let w = 8 - 5. Sort 4, w, z in ascending order.
z, w, 4
Let h(q) = q**3 - 4*q**2 - 5*q - 4. Let s be h(5). Let w = 4.3 + -4.3. Put w, s, 3 in descending order.
3, w, s
Suppose 2*a - 5*i + 0*i + 35 = 0, 4*a + 2*i + 10 = 0. Sort -4, 4, a in descending order.
4, -4, a
Let j be 3/(-3) - (-6)/4. Sort 5, j, -0.3 in descending order.
5, j, -0.3
Let y = 7 + -5. Suppose 4*f = y*h + 16, 5*f - 5 - 1 = -h. Suppose -25 = 5*a - 0*a. Put -1, f, a in increasing order.
a, -1, f
Let u(p) = -p**2 + 4*p - 15. Let q be u(3). Sort 0, q, 3 in ascending order.
q, 0, 3
Let c = -5 + 8. Put c, 1, 4, -4 in decreasing order.
4, c, 1, -4
Let s be ((-40)/25 + 2)*10. Sort -5, s, -19 in ascending order.
-19, -5, s
Let a(t) = -3*t**2 - 7*t - 8. Let o(l) = -4*l**2 - 7*l - 9. Let y(p) = 5*a(p) - 4*o(p). Let m be y(7). Let g = 13 - 8. Sort m, g, 2 in ascending order.
m, 2, g
Suppose -2 = 5*r - 27. Suppose -4*u - r = u. Put 5, u, 1 in decreasing order.
5, 1, u
Let x = -17 - -25. Suppose x - 16 = -4*m. Sort -1, m, 4 in increasing order.
-1, m, 4
Let y = 1 - 1.1. Let h = y - -0.3. Let n = 5/4 - 41/20. Sort 4/3, h, n in ascending order.
n, h, 4/3
Let f = 0.03 + 0.07. Let l = -5.9 + 2.9. Sort l, f, 0.
l, 0, f
Let t = 8 - -45. Let y = t - 25. Suppose 0 = 4*j - g - 15, g + y = 5*j + 9. Sort -2, 1, j in increasing order.
-2, 1, j
Let p be -2*3 + 25 + -17. Put p, -0.5, -0.9 in descending order.
p, -0.5, -0.9
Let p = -10 - -10.4. Let j = -1489/10 - -149. Sort p, j, -6 in descending order.
p, j, -6
Let l be 1 + -1*(0 - 1). Suppose -r = -l*r + 1. Sort -1, r, 4 in descending order.
4, r, -1
Suppose 2*r = -r. Suppose -3 = -3*i - r. Sort -2, i, -0.2 in ascending order.
-2, -0.2, i
Let y be (1/2)/((-1)/10). Let v be 1 + 20/4 - 3. Suppose 4*x = -o - 14 - 2, -x - 3 = 0. Put v, o, y in descending order.
v, o, y
Let x be 1/6 + (-5)/30. Let g be 4/6 + (-120)/207. Sort g, x, -0.2.
-0.2, x, g
Let f(t) = -3*t**2 + t. Let s = -5 - -4. Let x be f(s). Sort 1, x, 2 in increasing order.
x, 1, 2
Suppose 4*c + 15 = 7. Sort -3, 2, 0, c in descending order.
2, 0, c, -3
Let m = 94007/139230 + 4/1547. Let f = m + -9/10. Let w = 12.5 + -13. Sort 3, f, w in ascending order.
w, f, 3
Let c = -3.1 + 1. Let t = 2.1 + c. Sort -2/3, 1/5, t in decreasing order.
1/5, t, -2/3
Let q = 0 - 1. Put -7, 5, q in ascending order.
-7, q, 5
Suppose 12 = 5*y + 32. Let o = -5 + 2. Put o, 1, y in increasing order.
y, o, 1
Let f = 1.04 + -0.94. Put f, -4/3, 2 in ascending order.
-4/3, f, 2
Suppose 4*q = u - 2, 5*q - 5 - 3 = -4*u. Sort u, -3, -5 in decreasing order.
u, -3, -5
Let w = 1.1 - 9.1. Let p = 7.7 + w. Put -3, 0, p in decreasing order.
0, p, -3
Let b(h) = h**2 - 4*h + 5. Let o be b(4). Suppose -2*q - 7 = 3. Let k = 8 + -12. Put o, q, k in increasing order.
q, k, o
Let m = -443/560 + -1/112. Let p = 0.3 - -0.7. Sort p, 3, m in decreasing order.
3, p, m
Let u = 6.7 - 6.2. Put 1/4, 0, u in descending order.
u, 1/4, 0
Let g(v) = v**3 - 7*v**2 + 6*v - 2. Suppose 10*l - 18 = 7*l. Let b be g(l). Sort -9, b, 4 in decreasing order.
4, b, -9
Let w be (-2)/(-4)*(3 - -11). Let b = -7 - -4. Sort w, b, -2 in increasing order.
b, -2, w
Let j = 3.1 + 0.9. Let y = -2 + j. Let z be (48/8)/6 + (-26)/18. Put y, z, -2 in increasing order.
-2, z, y
Let l(y) = 2*y**2 + 4*y + 2. Let h be l(-2). Suppose 0*z = -h*z. Let p be 4/((1 - z)*-1). Put 0, -5, p in descending order.
0, p, -5
Let v(r) = r**3 + r**3 - 5*r - r**3 + 2 + 2*r - r**2. Let d be v(2). Put -5, d, -6 in descending order.
d, -5, -6
Let y = 9 - 8.1. Let x = 0.14 + 0.36. Put -0.4, y, x in descending order.
y, x, -0.4
Let k be ((-84)/(-70))/(11/5). Sort k, 4, -2/3 in decreasing order.
4, k, -2/3
Let w = 0 + -0.1. Let f = 0.07 + -12.07. Let z = f - -12.3. Sort -3, w, z.
-3, w, z
Suppose -2*d - 17 = -2*k + 7*k, -4*k + 5*d = 7. Put -0.4, -0.01, k in increasing order.
k, -0.4, -0.01
Let k = 0.6 - 1. Let h be (-2 - -4)*10/(-4). Sort h, 0.4, k in ascending order.
h, k, 0.4
Let c = 316889 - 24400934/77. Let p = c - -64/11. Put p, -5, -0.3 in increasing order.
-5, p, -0.3
Let t = -39/35 + 12/7. Let p be (1/3)/((-7)/(-63)). Put -0.3, p, t in ascending order.
-0.3, t, p
Let o = 17.1 - 19. Let k = o - -2. Put -2/15, k, 1 in increasing order.
-2/15, k, 1
Let w(d) = -d + 8. Let f be w(5). Let g be (3 + -1)*(-1 - 0). Sort -3, f, g.
-3, g, f
Let h be (2 - 3) + 2 - 1. Suppose -7*r = 16*r - 46. Sort h, 4, r in increasing order.
h, r, 4
Let t be 5 + -2 - (-3 + 2). Suppose -4*w + 0*w = 12. Put t, w, 3 in ascending order.
w, 3, t
Suppose -4*a + 9 = r - a, -8 = -2*r - a. Let d be ((-5)/3)/(5/15). Sort 2, r, d in decreasing order.
r, 2, d
Let s = -14 + 33. Let u = s - 17. Sort u, 1/3, 0.2.
0.2, 1/3, u
Suppose 7 = -2*v + 5. Sort 2, -5, v in decreasing order.
2, v, -5
Su