creasing order.
3, 0.3, g, -3/2
Let t = 3.6 - -1.4. Sort 4/5, -0.06, t, 2/5.
-0.06, 2/5, 4/5, t
Let u = -5311/21 + 253. Sort -0.4, -1/4, u in descending order.
u, -1/4, -0.4
Suppose 0 = 8*q - 3*q + 25. Suppose 4*y + 5*n - 2*n = -17, 4*y + 2*n + 14 = 0. Sort 1, q, y in descending order.
1, y, q
Let w = -2.2 - -1.9. Put -0.2, w, 2/19 in decreasing order.
2/19, -0.2, w
Let c(s) = -2 + 4 - 5*s**2 - 1. Let x be c(-1). Suppose -2*l = l - 9. Sort -3, l, x in increasing order.
x, -3, l
Let h = 146/5 - 29. Let c(r) = 2*r - 10. Let i be c(5). Sort i, h, -2.
-2, i, h
Suppose -3*t + 3*i - 7*i - 4 = 0, -5*t + i + 1 = 0. Sort t, -1/9, 1/4 in ascending order.
-1/9, t, 1/4
Let w = 38 + -34. Suppose 4 + 26 = 5*f. Suppose -5*p = -2*p - f. Put w, -2, p in increasing order.
-2, p, w
Let r = -11.8 - -12. Suppose w + 9*g + 1 = 4*g, -2*w - 2 = -2*g. Let z(x) = 3*x**2 - x. Let s be z(w). Put r, s, -1/2 in decreasing order.
s, r, -1/2
Let k = 1.4 - 1. Put 3/5, k, 0.3 in decreasing order.
3/5, k, 0.3
Suppose 0 = t + 6 - 7. Put 4, -7, t in descending order.
4, t, -7
Let h = -80 + 163/2. Let b = 0.2 + -0.2. Sort h, b, 1.
b, 1, h
Suppose 8 = 2*j - 4*g - 10, 5*j = -5*g. Suppose j*n = -0*n + 3*k + 18, 3*k - 22 = -5*n. Put n, -5, 0.4 in descending order.
n, 0.4, -5
Suppose 2*v = 4*v. Suppose -5*m - 1 + 6 = v. Let r be (15/25 - 1)/(4/10). Sort m, r, 0 in descending order.
m, 0, r
Let n = 0 - -5. Let c = -3 + 2.6. Put n, c, -3 in decreasing order.
n, c, -3
Suppose 2*j = 4, -3*m + 145 = -8*m + 5*j. Let z be (-3 - 87/m)/(-2). Sort -0.1, z, -0.2 in ascending order.
-0.2, z, -0.1
Let c = -58 - -291/5. Sort -3, c, 5, 1 in decreasing order.
5, 1, c, -3
Let s = 4 + 1. Suppose 0*p + 19 = 3*p - 4*z, 5*p - 25 = s*z. Let k = -1229/5 + 245. Put p, k, -0.3 in descending order.
p, -0.3, k
Let w be 4/26 - (-5868)/(-39663). Let k = 664/2373 + w. Put k, 3/5, -4 in increasing order.
-4, k, 3/5
Let g = 1 - 7. Let a = -6.3 - g. Suppose n - 12 = -3*n. Sort n, a, -1/6 in ascending order.
a, -1/6, n
Let j(q) = q**3 - 2*q**2 + 2*q - 1. Let b be j(1). Let h = -9 - -12. Put h, b, 5 in increasing order.
b, h, 5
Let d(v) = -v**2 - 6*v - 2. Let h be d(-5). Let j be (((-256)/12)/(-8))/(2/(-3)). Sort -1, j, h in decreasing order.
h, -1, j
Suppose 6 = -9*j + 11*j. Let k be -1*(2/(-1) - -3). Put 2, k, j in increasing order.
k, 2, j
Let d = -11 + 1. Let s = d - -14. Let f = 3.8 - s. Put -2, 0.3, f in descending order.
0.3, f, -2
Let v = -10.2 + 10. Let t = 12 - 15. Sort 4, t, v in increasing order.
t, v, 4
Suppose -i - 28 = 3*l - 3*i, 3*i = l + 21. Let m(t) = t**3 - t**2 - t - 1. Let r be m(0). Put -4, l, r in ascending order.
l, -4, r
Suppose 0 = -3*b - 0*b + 9. Suppose 0 = b*n - 0 - 6. Suppose 4 = 2*g + 2*l, -g - n*l - 2 + 7 = 0. Sort -4, -2, g.
-4, -2, g
Suppose 3 = -t + 5. Suppose 2*g + t = -0*g. Let p = g - 0. Put 3, -1/2, p in descending order.
3, -1/2, p
Let s = -3 - -8. Suppose -5*j + 3*q + 14 = 0, -5*j + 2*j + 5*q = -2. Suppose j*a - 6*c + 14 = -4*c, -29 = 4*a + 3*c. Sort a, -2, s in descending order.
s, -2, a
Let u = -12 + 3.1. Let q = -9 - u. Put q, -0.4, -5 in ascending order.
-5, -0.4, q
Suppose 3*y + 4 = 7*y. Sort y, 2, -3 in descending order.
2, y, -3
Suppose v = -a - 5, 5*v - 20 - 19 = 3*a. Suppose -4*o + 5 = 4*x - 19, 2*x - 9 = -o. Sort a, -4, x.
a, -4, x
Let j = 3 - 1. Let b(l) = l**j + 8 - 12 - 2*l - 2*l - 2*l. Let u be b(7). Put -4, 2, u in ascending order.
-4, 2, u
Let i = -154 - -143. Sort i, 0, 2 in increasing order.
i, 0, 2
Let f(d) = 3*d**3 + d**2 - 2*d + 3. Let c be f(-4). Let k be ((-20)/c)/((-2)/3). Put 4/3, -1/3, k in decreasing order.
4/3, k, -1/3
Let f = -0.006 + 0.016. Put -0.1, f, 3 in descending order.
3, f, -0.1
Let y = -36 + 44. Put -2/9, y, -3 in descending order.
y, -2/9, -3
Let t = 2 + -10. Let a be (-2)/t*10*2. Put 1, -1, a in ascending order.
-1, 1, a
Let d = -0.3 + 4.3. Let t = 21.2 - 21. Put t, 0.5, d in descending order.
d, 0.5, t
Suppose 3*m + 4 = 5*v, v + 4*m - 6 = 2*v. Let f be 20/8 + v/(-4). Put f, -3, 5 in decreasing order.
5, f, -3
Suppose -10 = 5*f - 0*f. Let j(z) = z**3 - 6*z**2 + 3. Let t be j(6). Suppose 16 = -4*y - 4*d, 1 = t*y - 4*d - 15. Put y, 1, f in descending order.
1, y, f
Let v = -5.2 + 0.2. Sort 1/4, v, 0.5.
v, 1/4, 0.5
Let j be (-38)/(-19) + 2/2. Let d = -3.44 - -0.04. Let z = d - -0.4. Sort -0.4, j, z in decreasing order.
j, -0.4, z
Suppose 3*z = -0*z + 12. Suppose -4 = -z*q + 8. Let o = -7 + 7. Sort q, 4, o in descending order.
4, q, o
Let r be 10/(-65) + (-33)/39. Let c(q) = -q - 12. Let a(o) = -2*o - 13. Let b(x) = 3*a(x) - 4*c(x). Let j be b(6). Sort r, -4, j.
-4, j, r
Suppose 6*a - 3 - 21 = 0. Put 9, a, -1, -4 in descending order.
9, a, -1, -4
Let m = -0.1 - 0.4. Suppose -t = -9*v + 11*v - 8, 2*t - 2 = 3*v. Sort m, -1/7, t in descending order.
t, -1/7, m
Suppose 20*p = 21*p - 5. Suppose -7 = -x - 5*i + 11, -6 = -p*x - 4*i. Sort x, -4, -3.
-4, -3, x
Suppose 2*m + 9 = -m. Sort -5, 0, m.
-5, m, 0
Let b(r) = -r**3 - 7*r**2 + 2*r + 10. Let j be b(-7). Let u be (j/6)/(10/6). Sort 1/4, u, 0.2 in descending order.
1/4, 0.2, u
Let a(n) = -n**2 + 5*n - 2. Let f be a(3). Suppose -13 - 7 = -f*s + 2*t, 5*s - 25 = 2*t. Suppose -r + 16 = -3*r + 3*y, 0 = -3*r - 3*y + 6. Sort 2, s, r.
r, 2, s
Let o = -35 - -33. Put 0.4, 2/7, o in descending order.
0.4, 2/7, o
Let f(t) = 2*t**2 + 1. Let a be f(1). Let o = -4 + 3. Let g = a - o. Put g, 1, -1 in increasing order.
-1, 1, g
Suppose 0 = -2*t - 3*b + 2*b - 5, 5*b - 35 = 2*t. Sort t, 2, -3 in decreasing order.
2, -3, t
Suppose 4*o = 2*s + 10, 0 = 2*s - 1 + 11. Let z(w) = w**2 - 7*w - 1. Let m be z(7). Put m, o, -2 in descending order.
o, m, -2
Let a = -6/5 + 29/20. Let v = 0 - -0.1. Put v, -2/9, a in decreasing order.
a, v, -2/9
Let n be ((-3)/3)/(2 + -1). Put 0, n, 5 in ascending order.
n, 0, 5
Let z(y) = -y**2 - 3*y + 2. Let w be z(-3). Let p be 1 - 8/(-4) - 0. Put w, -1, p in descending order.
p, w, -1
Let x be 6/(-3) + 65/25. Let b(c) = -c - 2. Let w be b(-6). Sort w, x, -1 in descending order.
w, x, -1
Let i = 6/5 + -7/10. Let k(o) = -o**2 - 5*o + 1. Let x be k(-4). Sort 0, i, x in descending order.
x, i, 0
Suppose -2*b + 0*b - 10 = 0. Suppose 0 = 2*q + 4*r, 3*q = 4*q - 3*r. Let k(i) = -i. Let v be k(q). Put v, b, -3 in descending order.
v, -3, b
Let i be ((-88)/5)/(2/(-10)). Let j = 529/6 - i. Sort -5, j, 4 in increasing order.
-5, j, 4
Let m = -3.8 + 4. Let i(v) = -v - 5. Let r be i(-4). Let k = 3.1 + -3. Sort k, r, m in decreasing order.
m, k, r
Suppose 2*x = 2, -x + 6 = 4*s - 3*s. Sort 3, 1, s in descending order.
s, 3, 1
Suppose -7*h + 9*h = 0. Put -1, 1, -2, h in decreasing order.
1, h, -1, -2
Let l = -125 + 122. Let t = -6 + 2. Let w(c) = -c**2 - 3*c + 3. Let i be w(-3). Sort i, t, l in ascending order.
t, l, i
Let o = -171/4 + 43. Let w be (-1)/10*(-5)/6. Put w, o, -0.3 in decreasing order.
o, w, -0.3
Let y = 1.6 + -2. Let j = -11 - -24.5. Let f = j + -13. Put y, f, 0 in ascending order.
y, 0, f
Let p = 3.08 + -0.08. Let z = -5/7 - -17/14. Let f be 13/(-20) + 4/10. Sort f, z, p.
f, z, p
Let u(t) = -t**3 + 10*t**2 + t - 8. Let l be u(10). Suppose y + 2*y = -6. Sort -5, y, l in ascending order.
-5, y, l
Let n(v) = 1 + 13*v**2 - 8*v - 5*v**2 + 9 - v**3. Let d be n(7). Let s(w) = -w**3 + 2*w**2 + 4*w - 4. Let u be s(d). Sort 2, 1, u.
u, 1, 2
Let u = -15 + 11. Let w = -3 - u. Put 2/9, 0, w in increasing order.
0, 2/9, w
Let v(l) = 12*l**2 + 2*l - 4. Let t be v(1). Put 4, 3, t, 2 in increasing order.
2, 3, 4, t
Suppose -2*g - 3*k = -6*k - 24, -4*g = 2*k - 16. Let z(a) = a**3 - 7*a**2 + 5*a + 1. Let m be z(g). Put -1, 2, m in increasing order.
m, -1, 2
Let t be (-2)/(-6) - (-85)/(-165). Let r be 3/(330/64) + (-6)/33. Let k = -6 - -4. Put k, r, t in decreasing order.
r, t, k
Let g(p) be the first derivative of p**4/4 + p**3/3 + 3*p**2/2 + 2*p + 4. Let l be g(-1). Put 4, l, 6 in descending order.
6, 4, l
Let i = 21.2 + -19. Let c = i + 0.8. Let g be 6/(-39) + 200/(-52). Put c, -3/7, g in descending order.
c, -3/7, g
Let j be 4 + (-1 - 36/8). Sort 2/17, -0.1, j.
j, -0.1, 2/17
Let g be 0/(-4)*3/(-6). Let p(l) = -l**3 - 8*l**2 - 9*l - 13. Let y be p(-7). Sort y, -4, g in ascending order.
-4, g, y
Suppose -16 = -10*z + 14. Put -0.05, 4, z, -0.3 in decreasing order.
4, z, -0.05, -0.3
Let i = 10 - -20. Let u be 