1. Put u, 2, b in ascending order.
b, u, 2
Suppose -g - 5 = -5*p, 4*g + 2*p - 19 = 5. Let x = -7 - -10. Suppose -6*j + x*j + 9 = 0. Put 2, j, g in ascending order.
2, j, g
Suppose 5*m = -r + 10, -11 + 3 = r - m. Let l be 0/2*4/8*1. Put l, r, 2 in increasing order.
r, l, 2
Let m(u) = u**3 - 10*u**2 + 8*u + 5. Let w be m(9). Sort -23, 1, w.
-23, w, 1
Let q(k) = -k**3 + 15*k**2 + 15*k + 12. Let j be q(16). Sort -3, -1, j.
j, -3, -1
Let r(t) = t**3 - 3*t**2 - t - 3. Let a be r(3). Let j be 0 - (-3)/((-9)/a). Suppose 0 = -j*h - 3*h + 20. Sort h, -3/2, -5 in decreasing order.
h, -3/2, -5
Let p(z) = -z + 15. Let b be p(15). Suppose 4 = -2*r - 0. Sort b, r, 3.
r, b, 3
Let b = -0.61 - -0.31. Put b, 5, -1 in ascending order.
-1, b, 5
Let u be (-4)/14 + 460/483. Let h be 14/8*-1 + 1. Sort u, h, 4/9 in increasing order.
h, 4/9, u
Let s = -1.3 - 3.7. Let c = -8 - s. Let k = -2/235 - -492/2585. Sort k, 0.2, c in increasing order.
c, k, 0.2
Suppose 0 = 5*d + 4 + 1, -5 = 4*l + 5*d. Suppose -q + 0*q + 12 = l. Let m be (16/q)/(1/(-3)). Sort 5, 0, m.
m, 0, 5
Suppose -5*b - n = -2, 8*n = -2*b + 3*n + 10. Put b, -3, 4, 5 in descending order.
5, 4, b, -3
Let p = -3.5 - 0.5. Let y be ((-1)/3)/(48/72). Sort p, y, 1/11 in increasing order.
p, y, 1/11
Let f = 5 - 2. Suppose f*r = -2*n - 15, 5*n - 3*r - 10 = -r. Sort 1, 3, n in descending order.
3, 1, n
Let q(f) = f**2 - 7*f - 9. Let j be q(8). Let m(k) = -3*k - 1. Let x be m(-2). Put x, 2, j in ascending order.
j, 2, x
Suppose 0 = -r - v + 3, -2*r + 2 = v + 3*v. Sort -4, 6, -1, r in decreasing order.
6, r, -1, -4
Suppose 0*s = -2*s - 3*g - 2, 3*s - 5*g = -3. Let o be ((-6)/4)/(-3)*6. Let k = o + 0. Put 5, k, s in ascending order.
s, k, 5
Let m = 6 - 5. Let b be (1 - m) + -4 + 3. Let h = 8 - 7. Put b, -2, h in descending order.
h, b, -2
Suppose 2*u - 4*r - 1 = -15, -5*u - 5*r - 35 = 0. Suppose -2*w = w + 12. Let p = w - u. Put 0, p, -4 in decreasing order.
p, 0, -4
Let t be 4/(-6)*(-3 - 0). Let a = 451 - 453. Sort t, a, 3.
a, t, 3
Suppose -4*p + 2*x = -28, x + 3 + 1 = 0. Put 0, -7, p in descending order.
p, 0, -7
Let r(d) = -2*d - 11. Let v be r(-8). Put -3, 2, v in decreasing order.
v, 2, -3
Let n = 0.1 - -2. Let t = 0.3 - -1.7. Let x = t - n. Sort x, 2, -5 in descending order.
2, x, -5
Let k be -1 + 6/5 + -1. Let h(l) = -l - 7. Let f be h(-5). Let j be 8/(-18)*3/f. Sort k, j, 0 in decreasing order.
j, 0, k
Suppose 4*o + 0*o - 2 = 3*v, o - v = 0. Suppose -t - o*t - 12 = 0. Let q(w) = w + 1. Let c be q(3). Sort t, c, 5.
t, c, 5
Let o = -10.1 + 10. Let r = -2 + 3. Sort 1/3, r, o in decreasing order.
r, 1/3, o
Let d = 127 - 123. Put d, -5, 5, 2 in increasing order.
-5, 2, d, 5
Let f = 17 - 19. Put 1/10, -9, f in ascending order.
-9, f, 1/10
Let n = 4.9 + -5. Let t = -5 - -2. Put n, 2/9, t in increasing order.
t, n, 2/9
Let y = 8 + -11. Let f = -0.1 + 0. Let h = -3.9 + f. Sort h, y, 5 in ascending order.
h, y, 5
Suppose -y - 56 = -15*y. Suppose 0 = -4*r + 3*w - 3, 3*r - 2*w = -5*w + 3. Sort 2, r, y in ascending order.
r, 2, y
Let r = -39/2 + 20. Let u be 4/(-8)*-4 - 8. Let b = u + 10. Put r, b, 2 in increasing order.
r, 2, b
Let c(f) = 4*f - 3. Let n be c(2). Let l be 0/4*(-1)/2. Suppose -2*p - 2*p + 4*m + 4 = l, -p = -5*m - 13. Sort p, n, -4 in increasing order.
-4, p, n
Let a(v) = -v**3 - 13*v**2 - 14*v - 24. Let m be a(-12). Sort 4, m, -1, -4 in ascending order.
-4, -1, m, 4
Suppose 2*h - 4 = 2. Let d be (30/(-18))/(2/(-6)). Let t = -8 + d. Sort t, h, 2 in descending order.
h, 2, t
Suppose 4*d = -v - 124, 2*d - v + 86 = -d. Let q = 271/9 + d. Sort 0, 5, q.
0, q, 5
Let q = 32.5 - 33. Put -2/9, -4, q in descending order.
-2/9, q, -4
Let q = 12 - 14.8. Let u = 2.7 + q. Let j = 0 - -0.1. Put u, -0.5, j in decreasing order.
j, u, -0.5
Let w = -4 - -7. Suppose 7 = 5*t - w. Suppose -t = -d - 3. Put 5, d, -3 in descending order.
5, d, -3
Suppose -r = -2*r - 1. Let p(f) = -f**2 - 9*f - 4. Let h be p(-9). Let l be ((-4)/3)/h*1. Sort -4, r, l.
-4, r, l
Let n = -0.04 + 1.34. Let a = n + -1. Let g = 0 + a. Sort -1/3, -3, g in descending order.
g, -1/3, -3
Let f = -22.9 + 23. Let w(v) = 4*v**3 + 2*v**2 - v. Let o be w(1). Sort o, f, 1 in descending order.
o, 1, f
Let d be (-5)/2 - (-2)/4. Sort d, 0.03, 0.2 in increasing order.
d, 0.03, 0.2
Let w = 6 - 0. Sort -0.1, w, 0.4 in ascending order.
-0.1, 0.4, w
Let m = 1.5 + -4.5. Put 2/19, m, 4 in decreasing order.
4, 2/19, m
Suppose 0 = 3*r + 3 + 3. Suppose -5*y + 2*a = -10, -2*a + 2 + 0 = -2*y. Put 1, r, y in decreasing order.
y, 1, r
Let g be (-5 - -7) + 0 + -6. Let s(c) be the third derivative of -c**4/24 - 7*c**3/6 - c**2. Let x be s(-7). Sort -1, x, g in increasing order.
g, -1, x
Let n(h) be the second derivative of -h**5/20 + 3*h**4/4 - 3*h**3/2 + 3*h**2/2 - 5*h. Let b be n(8). Sort b, -2, -4 in decreasing order.
-2, -4, b
Let p(w) = -5*w - 2. Let d = -20 - -19. Let q be p(d). Put -3, -2, q in descending order.
q, -2, -3
Let m(y) = -y**2 + 3*y + 7. Let s be m(4). Sort 6, s, 0, -5 in ascending order.
-5, 0, s, 6
Let m = 0.8 - 0.3. Let a = -163 - -279. Let x = a + -1042/9. Put -1, m, x in increasing order.
-1, x, m
Suppose 0 = 3*d + d - 20. Let g be (2/2)/(55/d). Put 4, g, -0.2 in increasing order.
-0.2, g, 4
Let c be (-10)/(-4)*(-16)/(-10). Suppose 4*d = -5*p - 7, 3*d + c*p - 5*p + 10 = 0. Suppose -4*m + 3 = w - 1, -2*w - 4*m = 0. Sort -5, d, w in descending order.
d, w, -5
Let w = -2.2 + -0.8. Put w, 1/4, -0.1 in decreasing order.
1/4, -0.1, w
Let q(y) = -y**2 - 4*y - 3. Let g be q(-4). Sort -2, g, 4 in decreasing order.
4, -2, g
Let x(m) = 2*m**2 - 21. Let k be x(3). Let u be (-12)/(-5) - (-4)/(-10). Sort u, 1, k in decreasing order.
u, 1, k
Let n = 16 - 3. Put -5, 3, n in decreasing order.
n, 3, -5
Let i = -157/14 + 23/2. Sort 0.5, -5, i.
-5, i, 0.5
Let g be (-65 + 3)*7/(-4). Let o = g + -106. Put -0.5, -3, o in descending order.
o, -0.5, -3
Let b be 3/9*18/2. Suppose 0 = -a - 3 - 1. Put a, b, 5 in descending order.
5, b, a
Suppose -2*d + 1 = 4*m + 3, -d + 3*m = -14. Let b be (66/(-77))/((-2)/7). Suppose -b*g = -g + z - 6, 4*z + 28 = 5*g. Sort -2, d, g in increasing order.
-2, g, d
Let n be 5/((-25)/4) - (-152)/(-10). Sort 2, n, 0.
n, 0, 2
Suppose 0 = 2*z - 9*z + 28. Sort 15, z, 0 in descending order.
15, z, 0
Suppose 5*j = 5*b + 40, 2 = 3*b - 2*b + j. Put 4, 0, b, -0.5 in decreasing order.
4, 0, -0.5, b
Let z = 0.07 + -0.07. Sort -0.1, z, -5/6.
-5/6, -0.1, z
Let j be (0 + (-3)/2)/3. Let n = -0.2 + 0.3. Let m = 83/52 - 7/4. Sort j, m, n in descending order.
n, m, j
Let w = 34 - 29. Sort -2, -0.4, w.
-2, -0.4, w
Let l = 11 + -9. Let y be l + (-2 - (-1)/1). Put 3, y, -1 in descending order.
3, y, -1
Let l = 3 - 3. Suppose l = 3*c - c + 6. Let q = 0.35 - 0.15. Put q, c, 0.5 in increasing order.
c, q, 0.5
Let k = 0.5 - -1.5. Let g = 8 - 5. Suppose -2*v - g*v = -25. Put k, 1, v in ascending order.
1, k, v
Let s(y) = y**2 + 7*y - 6. Let x be s(-8). Suppose -x*g - 2*g = 8. Let k = 4 + g. Sort 1, -5, k in decreasing order.
k, 1, -5
Let x be (5/((-20)/(-6)))/(-9). Suppose -2*u + k = 4 - 15, 4*u + 5*k - 15 = 0. Suppose 4*s + u = o, o - 3*s = -o + 5. Sort o, 4, x in descending order.
4, o, x
Let l(i) = -i**2 + 10*i + 16. Let f be l(11). Sort -6, -4, f in decreasing order.
f, -4, -6
Let h(m) = m**3 - 3*m**2 - 3*m. Let w be h(4). Suppose 2*d + 10 = -w*f, 4*f - d = 3*d - 40. Put -3, f, 3 in increasing order.
f, -3, 3
Let c be 3*((-2)/3 + 1). Suppose -3*m + c - 4 = 0. Let r be -27 + 38 - (0 - -7). Sort -5, m, r in decreasing order.
r, m, -5
Let m = 122/3 + -40. Put 1, m, 0.4 in descending order.
1, m, 0.4
Suppose 3*o + 3*p = -12, -12 = -2*o + 3*p - 5. Suppose -7*g - 4 = -5*g. Sort g, 4, o in decreasing order.
4, o, g
Let h = 0 + 4. Suppose m - 3*v + 11 = -h, 3*v - 45 = 3*m. Let t = -10 - m. Sort 4, 2, t in increasing order.
2, 4, t
Suppose -28*b + 25*b - 6 = 0. Sort -4, b, 3.
-4, b, 3
Let y be 4/18 - (-84)/108. Let o(p) = p**3 - 4*p**2 - 6*p. Let a be o(5). Sort y, a, 4 in increasing order.
a, y, 4
Let p = 3.7 - 4.1. Put 1, -5, p in descending order.
1, p, -5
Let p(t) = t - 4. Let x be p(6). Suppose 5*u + 6 = -s + 2*s, -2*u = x*s + 12. Let y = -6 - -1. Sort y, 1, s in increasing order.
y, s, 1
Let t = 31 + -43. Put 0.5, t, -1/3 in ascending order.
t, -1/3, 0.5
Suppose 127 = -19*c + 32. Let