 -3*h + 3*v = -8*h - 13. Sort 4, h, 58 in increasing order.
h, 4, 58
Suppose 465 = 8*a + 433. Suppose -5*l - 1 = -6. Put l, a, 7 in ascending order.
l, a, 7
Suppose 251 = 5*b + 261. Put b, 1, 2, 3 in ascending order.
b, 1, 2, 3
Let d = -29 + 29.04. Let u = 0.34 - d. Put -4, 4, u in decreasing order.
4, u, -4
Let p be 12/28*(476/(-12))/(-17). Put p, 13, 4 in ascending order.
p, 4, 13
Let b be 76/114 - (-20)/6. Put b, 4/23, -1 in increasing order.
-1, 4/23, b
Let j = -19/39 + 1/3. Put j, 10, 4/9 in increasing order.
j, 4/9, 10
Let a(z) = -8*z**2 - 3*z + 3. Let r be a(1). Sort -5, -12, r in increasing order.
-12, r, -5
Let a = -0.73 - 0.27. Let s = -63 - -63.2. Sort -1/2, a, s, 2/5.
a, -1/2, s, 2/5
Let q(v) = v**3 + 4*v**2 - 11*v + 11. Let k be q(-6). Sort -3, 3, k, 4 in increasing order.
-3, 3, 4, k
Let w(g) = g**3 - 5*g**2 - 6*g. Let n be w(6). Let i = 5824 - 5826. Put 3, 4, n, i in decreasing order.
4, 3, n, i
Let m = 4 - -3. Let p(w) = -3*w**2 - 6*w - 15. Let h(y) = -5*y**2 - 12*y - 29. Let o(c) = m*p(c) - 4*h(c). Let i be o(8). Put -2, i, 0.5 in descending order.
0.5, -2, i
Let a(j) = 3*j - 6. Let m be a(7). Suppose -2*z + 0*z + 3*b + 19 = 0, -5*b - m = 0. Let i be 2/(16/(-6) + 2). Sort -5, z, i in descending order.
z, i, -5
Let y be (-87)/24 - (-44)/11. Sort y, -1/4, 0.7, -5.
-5, -1/4, y, 0.7
Let g = -4 - -20. Let m = 212 - 212.103. Let z = m - -0.103. Put g, z, 3/4 in decreasing order.
g, 3/4, z
Let g(z) = z**3 + 7*z**2 + 6*z + 2. Let a be g(-6). Suppose p = -5*c + 17, -c + 2 = -2*c - 2*p. Suppose 4*t - t - 23 = -c*k, 2*t - 27 = -5*k. Sort k, a, -5.
-5, a, k
Suppose -4*o - 6 = -2*m, 0 = 2*m + m + 4*o + 1. Suppose 8*a - 3*a + 25 = 0. Let z = 6410 + -6411. Sort a, z, m in descending order.
m, z, a
Let k be 99/15 + (-4)/(-10). Let f be -6*((-21)/6)/k. Let o be (-1 - (2 - 1))/f. Sort -0.2, 5/2, o in descending order.
5/2, -0.2, o
Let p(i) = -21 - 3*i - 7 + 9. Let o be p(-7). Put o, 0.3, 4 in descending order.
4, o, 0.3
Let i = 9 - 9. Sort i, -20, -1, 3 in descending order.
3, i, -1, -20
Let r(i) = -i**2 + i + 3. Suppose -t - 2*x + 2 = -3, 4*t - 2*x = 0. Suppose 0 = n - 2 - t. Let w be r(n). Put w, -12, 1 in increasing order.
-12, w, 1
Let c = 454 - 449. Put -4, -2, c, 12 in descending order.
12, c, -2, -4
Suppose 9*o - 398 = -344. Put 0, o, -5 in descending order.
o, 0, -5
Let r be 2/((-16)/(-6))*-4. Suppose 3 = 4*p - p + 2*w, 3*w = -p + 8. Let v be (-2)/(-6) + (-4)/(-6) + p. Put v, r, 5 in ascending order.
r, v, 5
Let q be (-1340)/(-45) - 2/(-9). Suppose 5*b + q = 5*s, -5*b = 5*s - s + 21. Suppose 163 + 107 = 54*g. Sort s, 4, g in ascending order.
s, 4, g
Let t = 11 + -7. Let w be -4 - (-32)/t - -1. Let u = w + -7. Sort 5, -3, u in descending order.
5, u, -3
Suppose 3*b - 12 = -3. Let u = 6 + b. Let q = 5 + -3. Put u, q, 0 in decreasing order.
u, q, 0
Suppose t - 3*t = -6. Suppose -t*f = 5*j - j - 11, -5*f + 3*j = 1. Suppose -5*c + 6 = f. Sort 5, 0, c.
0, c, 5
Let b = -80 + 80. Put -1/3, 2/5, b, 0.3 in increasing order.
-1/3, b, 0.3, 2/5
Let v(f) be the second derivative of -f**4/6 - 2*f**3 - 7*f**2 - 34*f. Let g be v(-5). Sort -9, 4, g, -3.
-9, g, -3, 4
Let q(h) = h**2 + 10*h + 26. Let j be q(-5). Sort j, 29, -1 in increasing order.
-1, j, 29
Let x(s) = 3*s - 22. Let h = 7 + -1. Let l be x(h). Sort 0, l, 8, 3 in decreasing order.
8, 3, 0, l
Let b = 2053/3 - 685. Sort -6/23, -1/2, 3, b.
b, -1/2, -6/23, 3
Suppose 0 = -16*l + 8*l - 1192. Let v = 1041/7 + l. Put v, -1, -6 in descending order.
v, -1, -6
Let l = -3.07 - -0.27. Let u = l + 1.7. Let x = 0.7 + u. Sort -3, x, 3 in increasing order.
-3, x, 3
Let a(i) = -i**3 + 5*i**2 + 8*i - 9. Let z be a(6). Suppose -12*q + 75 = -273. Put z, -3, q in descending order.
q, z, -3
Let l be (-385)/(-20) - 50/40. Put -1, 1, l, -4 in descending order.
l, 1, -1, -4
Let q = 4.6 + -4. Let z = 93.3 - 93. Let p = q - z. Sort -3/2, -1, p.
-3/2, -1, p
Let z(l) = l**3 + 24*l**2 + 44*l + 5. Let j be z(-22). Let o = -3 + 2. Let r = o + 1. Put r, -4, j in ascending order.
-4, r, j
Let k be 4/(-2)*(-5)/(-14). Suppose -12 = -q - 3*q. Suppose q = -3*o - 9. Sort o, k, -0.4.
o, k, -0.4
Let x = -9.4 + 8.75. Let r = -0.15 - x. Sort -3/2, -5, r.
-5, -3/2, r
Let m = -17 - -16.91. Put m, 3, 0.5, -1 in descending order.
3, 0.5, m, -1
Let n = -23 + 23. Let d(r) = 4*r + 5. Let p be d(-2). Sort -2, p, n in decreasing order.
n, -2, p
Let o = 2 - 7. Let z be ((-4040)/(-165))/(-8) - -3. Let y = 1/12 - -1/6. Put z, o, y in descending order.
y, z, o
Suppose 0 = -27*c - 11*c - 114. Put c, 29, -6 in increasing order.
-6, c, 29
Let n be 2 - 7 - (4 - 10). Sort n, 18, 1/9.
1/9, n, 18
Let a = 944 - 954. Let f be -2 - 2*(-28)/26. Put f, 0.1, a in descending order.
f, 0.1, a
Let g = 0.065 - -25.935. Let i = g - 26. Put -4, -2, i in decreasing order.
i, -2, -4
Let l = 70 + -72. Put 0.12, l, 2 in decreasing order.
2, 0.12, l
Let a = -47 - -43.6. Let w = a + 8.4. Sort -0.3, w, -2/7 in increasing order.
-0.3, -2/7, w
Let f = -359 + 361. Put f, 2/11, 1, -1/3 in ascending order.
-1/3, 2/11, 1, f
Let f be (-52)/(-6) - (-10)/(-15). Suppose -x + f = -3*x. Suppose h - 111 + 111 = 0. Put 1, x, h in descending order.
1, h, x
Suppose 40 = -5*r + 5*p, p - 3 = 1. Let l = -7 - r. Put -1, -4, l in descending order.
-1, l, -4
Let f = -324 - -326. Let h = 492 + -27061/55. Let m = h + 277/110. Put m, -0.4, f in descending order.
m, f, -0.4
Suppose 5*d + 0*d = 15. Suppose 35*f - 6 = 32*f. Put 4, f, d in ascending order.
f, d, 4
Let z be 2162/141*3/(-2). Sort z, -3, -5 in decreasing order.
-3, -5, z
Let c = -70 - -40. Let t be 4/5*(-25)/c. Let r = 0.5 + -4.5. Sort r, 2, t in increasing order.
r, t, 2
Let z(i) = -4*i**3 + 3*i**2 + 3. Let y be z(3). Let t be 12/y + 186/195. Sort -1, t, -4.
-4, -1, t
Suppose -j - 1 = -4, 2*n + 5*j = 23. Suppose -492 = -5*w + 223. Suppose -47 = n*k - w. Sort 4, 5, k in decreasing order.
k, 5, 4
Let w = -261 - -262. Sort 4, w, 79, -0.1 in ascending order.
-0.1, w, 4, 79
Let c = 0.118 + -0.218. Put 1/6, c, -0.05 in descending order.
1/6, -0.05, c
Let f = -309.2 - -311. Let o = 9.5 - 9. Sort 5, o, f.
o, f, 5
Let w(c) = -c**2 + 8*c + 52. Let q be w(12). Put -25, 0, -0.5, q in decreasing order.
q, 0, -0.5, -25
Suppose 4 = -j + 9. Let p(d) = d**2 + 3*d - 14. Let i be p(3). Sort i, j, 1 in increasing order.
1, i, j
Let k = 145 + -111. Sort -1/4, k, 3/7 in increasing order.
-1/4, 3/7, k
Let q = 176 - 176. Suppose 4*z + 6 + 2 = 0. Let x be (z - -3)*(1 - -3). Sort q, x, -1.
-1, q, x
Let a(p) = p**3 - 9*p**2 + 6*p + 19. Let j be (-5 + (-1 - 2))*-1. Let d be a(j). Sort 1, -1, d.
-1, 1, d
Let m(y) = 2*y**3 + 24*y**2 - 26*y - 5. Let u be m(-13). Put 5, -8, u, -4 in descending order.
5, -4, u, -8
Let k = 271 + -1619/6. Let a be 15/4*4/(-10). Let g = a + k. Sort g, -5, 16.
-5, g, 16
Let b(l) = 7*l + 6. Let j be b(-2). Let h = -592/2451 + 4/129. Let u = 25/152 - h. Put j, u, 0.3 in decreasing order.
u, 0.3, j
Suppose 11*r - 2*r + 882 = 0. Let l = r + 94. Sort 5, -8, 3, l.
-8, l, 3, 5
Let l = -9 - -8.6. Let n = l - -0.6. Sort 0.01, n, -0.2.
-0.2, 0.01, n
Let h(c) be the second derivative of -c**4/12 - 3*c**3/2 - 2*c**2 - 2*c. Let s be h(-6). Let p be s/56 + 22/(-24). Sort 6, p, 0.1 in descending order.
6, 0.1, p
Let n(o) = -2*o**2 - 19*o + 17. Let i(x) = -x**2 - x - 1. Let v(k) = -3*i(k) + n(k). Let y be v(15). Put -4, y, 7 in increasing order.
-4, y, 7
Let r = 172/5 - 34. Suppose -5*t + 9*t - 24 = 0. Suppose t = 3*u + 3. Sort u, r, -2 in decreasing order.
u, r, -2
Let l = -71 - -111. Let y = -39.9 + l. Sort 0, 5, y, 2 in decreasing order.
5, 2, y, 0
Let t be 2090/(-15950) - (-4)/(-58). Sort 3, t, 33.
t, 3, 33
Let i = -1332 + 1330. Put -5, -4, -6, i in ascending order.
-6, -5, -4, i
Let n(c) = 2*c**3 - 7*c**2 + 2*c - 2. Let k(p) = 5*p**3 - 15*p**2 + 5*p - 4. Let d(h) = -3*k(h) + 7*n(h). Let v be d(-4). Put v, 0, -4 in decreasing order.
v, 0, -4
Let s = 75 + -72. Let b = -10 + 7. Put s, b, -3/8, 3/2 in ascending order.
b, -3/8, 3/2, s
Suppose 0 = 55*n - 51*n + 36. Sort -7, n, 0, 5 in descending order.
5, 0, -7, n
Let p be 99/(-119) - -1 - (-156)/(-546). Sort p, 5, -1, 2.5 in decreasing order.
5, 2.5, p, -1
Let h(g) = 6 - 3 - 3*g + 2*g. Let v be h(3). Put v, 7, -4 in ascending order.
-4, v, 7
Let q = -1755 + 1758. Let n = -3 + 1. Put -1, q, n, 1 in des