 h, 2, 7 in ascending order.
h, 2, 7
Suppose 0 = 3*u + 2*u + 4*y, 0 = 3*u + 2*y + 2. Let r be (u + 16)/4*1. Suppose 9 = r*a - 6. Put a, 1, 2 in ascending order.
1, 2, a
Suppose 0 = -2*w + 4*a - 2, 0 = -w - 0*w + 3*a - 4. Suppose -w*h + 0*h = -20. Let v(j) = 2*j - 5. Let y be v(1). Sort -2, h, y in descending order.
h, -2, y
Let m = -0.007 - -5.007. Put 7/4, m, 0.3 in decreasing order.
m, 7/4, 0.3
Let r be -6 + 2 + -1 + (-96)/(-2). Suppose -2*g - r = -3*b, 3*g = b + 4*g - 21. Sort -5, b, -2, -4.
-5, -4, -2, b
Let m = 2035 + -2038. Sort 1, 8, -5, m in decreasing order.
8, 1, m, -5
Let v = 369 + -365. Sort v, 16, 3 in decreasing order.
16, v, 3
Let s(m) = m**3 - 7*m**2 + 14*m - 15. Let v be s(5). Put -2, v, 17, 0 in descending order.
17, v, 0, -2
Let x be (-119)/(-11) - (-24)/132. Suppose 3*j = 5*i + x - 4, -i - j + 5 = 0. Suppose 4*w + 2*l - 3 = -i, 2*w - 5*l - 19 = 0. Sort 4, 0.1, w.
0.1, w, 4
Let k(o) = o**3 + 5*o**2 - 7*o - 6. Let a be k(-6). Suppose -4*f - 4 + a = 0. Suppose -x + 5 = 2. Sort x, f, 0.
f, 0, x
Let j = 797 - 772. Sort -5, 2, -1, j in increasing order.
-5, -1, 2, j
Suppose -2*j = -5*w + 6, -4*w - 4*j + 3 = -5*j. Sort w, 4, 60 in increasing order.
w, 4, 60
Let p be (-1)/((-3)/(-6)*1). Let l be (-156)/(-10) - (-6)/15. Suppose z + 3*z = -l. Put -1, z, p in descending order.
-1, p, z
Let t = -309.991 - -311. Let s = t - 0.009. Sort s, 2/17, -0.2, -1/3 in descending order.
s, 2/17, -0.2, -1/3
Let k(d) = 2*d**3 + 4*d**2 + 3*d + 2. Let q be k(-2). Let g be (-60)/210 + 38/(-14). Let p = 3.1 - 3. Sort p, q, g.
q, g, p
Let l = -431/6 + 72. Sort 1/2, -0.5, l, 2/19 in decreasing order.
1/2, l, 2/19, -0.5
Let l(m) be the first derivative of m**2/2 - 4*m - 22. Let q be l(8). Sort -2, 22, q.
-2, q, 22
Let k = -27.67 - -28.07. Put 4/5, -1, k, -2 in descending order.
4/5, k, -1, -2
Suppose -5*i - 4*n = -2*i + 12, -4*i = -n + 16. Let y be -1 - (i + (-365)/(-125)). Sort y, 0.2, 34 in descending order.
34, 0.2, y
Let y = -226 + 227. Put 3/5, y, 2/5 in descending order.
y, 3/5, 2/5
Suppose 0*p + p = 21. Let r(h) = -h**3 - h**2 + 3. Let y be r(0). Suppose u + k - 6*k = -p, 27 = 3*u + y*k. Sort -5, -3, u in decreasing order.
u, -3, -5
Let r(g) = g**2 - g - 3. Let k be r(-2). Suppose -3*d + 4*p = 14, -k*d + 3*p = p + 10. Let f = -3 - -4. Sort 0, d, f in ascending order.
d, 0, f
Let h = 0.7 + -0.44. Let i = -0.06 + h. Let s = -18.1 - -18. Put s, i, 1 in increasing order.
s, i, 1
Suppose -24*f + 28*f = -440. Let l = 113 + f. Sort 5, l, 1 in ascending order.
1, l, 5
Let y be (-1 + 5 - 2) + -3. Let r be (1/y)/((-7)/21). Sort -2, 0, r.
-2, 0, r
Let f be 21*(60/(-35) + 2). Let j be 7/((-84)/(-64))*f. Let a = 31 - j. Put a, 1, 0 in ascending order.
a, 0, 1
Let n = -240 - -244. Put n, 7, -2 in descending order.
7, n, -2
Let s be (3/3)/(174/(-46)). Let g = s + -2/29. Let u be (-12)/171*(-6)/(-4). Sort g, 2/11, u in descending order.
2/11, u, g
Let l = 15 - 3. Let o = -1243 + 1247. Sort 1, l, o in increasing order.
1, o, l
Let y be (-2)/(-14)*2/2. Let q = -119 - -122. Sort q, 0.4, y, -0.3 in descending order.
q, 0.4, y, -0.3
Let i(q) = q**2 - 9*q + 6. Let l be i(8). Let s(r) = 4*r**2 + 3*r + 2. Let f be s(l). Let g = -11 + f. Sort 5, g, -2 in decreasing order.
5, g, -2
Suppose 6*s - 2*s = -8. Suppose -4*y - 5*l = y + 65, -25 = 5*l. Let o be s + (-1)/5*y. Sort 4, o, -1.
-1, o, 4
Let k(f) = 84*f + 425. Let l be k(-5). Let q be (-5)/(-1 - 0)*-8. Sort l, q, -5 in increasing order.
q, -5, l
Suppose 15*o - 20*o - 19 = -k, -o + 9 = 3*k. Sort 1, 0, o, -2 in decreasing order.
1, 0, -2, o
Let g be (-6)/(-14)*(9 + (-23)/3). Sort g, -5, 17, 2/13 in increasing order.
-5, 2/13, g, 17
Let x be 2/7 - (-2600)/(-280). Put -3, -2, 5, x in increasing order.
x, -3, -2, 5
Let f = 125 - 122. Put -5, -50, f in ascending order.
-50, -5, f
Suppose 0 = -2*k - 14 + 6. Suppose 11*c - 5*c = 6. Sort k, 4, c in decreasing order.
4, c, k
Let z = 371.9 + -372. Put 5, 0, z in decreasing order.
5, 0, z
Suppose 3*b - 3 = 5*h, -h + 3*b = h + 3. Let d = 106 - 70. Let l = d + -32. Sort l, -2, h in descending order.
l, h, -2
Let k = 297.8 + -374. Let m = 76 + k. Put 1/8, m, 0, -1/3 in descending order.
1/8, 0, m, -1/3
Let v = -0.2 - -0.1. Let q = 3.9 - v. Let g = 5030/3 + -1677. Put g, q, -2 in decreasing order.
q, g, -2
Let j(i) = 2*i**3 - 6*i + 1. Let x be j(0). Put x, 308, -3 in increasing order.
-3, x, 308
Suppose 0 = 4*t - 2*c + 20, -5*t + c = 4*c + 14. Sort t, 9, 1 in descending order.
9, 1, t
Let x = 15 - 13. Suppose 16 = -16*k + 20*k. Sort 0, k, x, -5 in increasing order.
-5, 0, x, k
Let v(x) = x**3 - 8*x**2 + 2*x + 1. Let r be v(8). Put -3, 10, r in decreasing order.
r, 10, -3
Let p = -1.6 + 1.5. Let r = -8.42 - -29.42. Sort r, 4, p in increasing order.
p, 4, r
Suppose -9*a = 15 + 21. Let p = 1.7 + -1.6. Put 13, p, a in increasing order.
a, p, 13
Let p be 0 + (-1*2 - -6). Suppose -6*l + 131 = 35. Let s = l - 15. Put s, 5/2, p in decreasing order.
p, 5/2, s
Suppose -5*p + 15 = -5*u, 7*p + 9 = -3*u + 2*p. Put 4, u, 10, 2 in ascending order.
u, 2, 4, 10
Suppose -36*t - 4 = -35*t. Put t, 7, -1 in decreasing order.
7, -1, t
Let i = -122/7 - -638/35. Let p = 211/4 - 53. Put i, p, 0.2, 0.1 in descending order.
i, 0.2, 0.1, p
Suppose -s = -2*s - 4. Let i be (-22)/s + 39/(-26). Sort i, 2, -2, 1 in descending order.
i, 2, 1, -2
Let q = 113/20 - 25/4. Put q, 3, 29 in decreasing order.
29, 3, q
Suppose -2*q - 4*z + 56 = 0, -5*z = q - 32 - 5. Suppose 5*t + 29 = -j, 4*j + 2*t + q = j. Let i = -3 + 5. Sort i, 0, j in descending order.
i, 0, j
Let t = 1649.7 + -1649. Sort -1.4, 3/2, t.
-1.4, t, 3/2
Let u be (-17)/(-4) + 2/(-8). Suppose -18*c - 3 = -21*c - h, -4 = -4*c - 2*h. Sort u, -1, c, -25 in decreasing order.
u, c, -1, -25
Let s(g) = -2*g**2 + 14*g - 3. Let r be s(7). Let x be (((-8)/15)/4)/(r/15). Put 0.3, x, -4 in decreasing order.
x, 0.3, -4
Let y = -19 + 19. Let j(p) = -p**3 - 5*p**2 - p - 3. Let t be j(-5). Suppose 20 - 55 = 5*d + 5*v, -4*d + t*v = 34. Put -3, y, d in increasing order.
d, -3, y
Suppose -7*s = 10 + 4. Sort s, -3, 4, -7 in decreasing order.
4, s, -3, -7
Let r = -11 - 36. Let l = -20 - r. Let i = l - 25. Sort i, -1, -0.5 in ascending order.
-1, -0.5, i
Let s = -46.04 - -46. Sort 2, -10, s in decreasing order.
2, s, -10
Let m = 13 - 11. Suppose -6 = -m*q - 16. Let x(y) = -y**3 + y**2. Let g be x(0). Put g, 3, q in ascending order.
q, g, 3
Let d = 4.53 + -3.53. Sort -2/31, d, 4, -4 in decreasing order.
4, d, -2/31, -4
Let x = 33.1798 - 0.1798. Put 5, -1/4, 1, x in descending order.
x, 5, 1, -1/4
Let f = 105 - 128. Put -5, -2, f in increasing order.
f, -5, -2
Let t be (6 - 5 - 4) + 6. Put -38, t, -2 in decreasing order.
t, -2, -38
Suppose 5*x - 20 = -5*n, -3*n = 2*x - 9 - 4. Sort 4, -5, n, 2 in decreasing order.
n, 4, 2, -5
Suppose -35*w = 11*w - 184. Put 337, 2, w in decreasing order.
337, w, 2
Let b be 8/(-2) + (-24)/6. Sort 0, 2, b in increasing order.
b, 0, 2
Let c = -159 - -158. Sort -4, c, -10, -2.
-10, -4, -2, c
Let c(m) = -m**3 - 13*m**2 + m + 18. Let j be c(-13). Suppose 40 = -4*w - 5*s, j*s - 22 = 2*w - 2. Sort w, 2/15, 3 in decreasing order.
3, 2/15, w
Let s be -3*((-28)/(-12) - 1). Let c be ((1 - s) + -4)*-2. Put -9, c, -1, 4 in decreasing order.
4, -1, c, -9
Suppose 2*g + 1 - 3 = 0. Let l be ((-1)/(-3))/((-4)/(-60)). Let f = l + -6. Sort 4, g, f in ascending order.
f, g, 4
Let a be 4/(-35) - 6/21. Let d = 107.2 - 89. Let s = d + -18. Put -1, s, a in decreasing order.
s, a, -1
Suppose v + 0*v = -3. Let b(j) = -j**3 - 12*j**2 - 12*j - 15. Let i be b(-11). Sort v, i, 12 in descending order.
12, v, i
Let c = -5 - -2. Let y = -21 - -49. Suppose 0 = -0*n + 4*n + y. Put n, c, -2 in increasing order.
n, c, -2
Suppose 5*c + 20 = 45. Sort -1, c, 15, 3 in descending order.
15, c, 3, -1
Let o be ((-47)/6)/(8/48). Sort -2, o, 0.
o, -2, 0
Let g = -614 + 611. Put -17, 2, g in ascending order.
-17, g, 2
Let t = 17 + -33/2. Let q be (-4)/10*(-10)/16. Sort q, 1/7, -0.4, t in ascending order.
-0.4, 1/7, q, t
Let v = 36.8 - 36.5. Sort -51, v, -0.3 in ascending order.
-51, -0.3, v
Let k(v) = -2*v**3 + v**2 + 5*v + 4. Let j be k(-1). Let w = -16 + 16. Sort w, 7, j, -1 in increasing order.
-1, w, j, 7
Let k(m) = -m**3 + 6*m**2 + 7*m + 2. Let a be k(7). Suppose -a*p = -p + 1. Sort p, -3, 5.
-3,