v(3). Sort h, 5, -11, 6 in decreasing order.
6, 5, h, -11
Suppose 0 = 5*m + h + 4, -3*h + 64 = -1089*m + 1085*m. Suppose 4*u + 0*u - 28 = 0. Put m, u, -1, 3 in decreasing order.
u, 3, -1, m
Let o(t) = -t**2 - t + 8. Let r be o(0). Suppose 0 = -4*j - 120 + r. Let x be j/32*-4*-2. Put -3, 0, x in ascending order.
x, -3, 0
Let w = 12190/71 + 40134/1207. Let n = w - 205. Sort -1/3, 0, n, 0.4 in descending order.
0.4, 0, n, -1/3
Let i = -466 + 70.7. Let p = -395 - i. Sort p, 2.6, 2/17.
2/17, p, 2.6
Let b = 36541 - 36540.6. Sort -4, b, -12/19, 1.3, 3 in ascending order.
-4, -12/19, b, 1.3, 3
Suppose -3*c = -c + 28. Let j be ((-435)/609)/(2/c + 0). Suppose 12 = -5*t + 2*t + 2*r, 4*t - 3*r = -16. Put j, t, -3, -5 in decreasing order.
j, -3, t, -5
Let m = -0.11358 - -0.01358. Sort m, -2/5, 0.0148.
-2/5, m, 0.0148
Suppose 101*f - 1380 = 193*f. Suppose 0 = -0*o - 3*o. Put -1, o, -5, f in ascending order.
f, -5, -1, o
Suppose l = 5*k - 27, -k - 12*l + 15 = -11*l. Suppose 5 = -s, -3*s - 11 = n - s. Sort n, 6, k, -2.
-2, n, 6, k
Let v be ((-637)/(-78) + -8)/((-5)/(-113010)). Put v, 3, 0 in increasing order.
0, 3, v
Let j = -89.1 + 88.6. Sort -19, -0.13, j, 3 in descending order.
3, -0.13, j, -19
Suppose -917*s + 924 = -851*s. Sort -9, s, 7.
-9, 7, s
Suppose -25*x = -28*x + 18. Suppose 0 = t - 8 + x. Let y = -37/2 + 19. Sort t, y, 14 in decreasing order.
14, t, y
Let a(b) = 19*b - 129. Let f be a(-20). Let r = f + 504. Sort -3, r, -9, -2.
-9, r, -3, -2
Let u = -3840 + 587519/153. Sort -0.1, -0.2, 5, u, -0.11 in increasing order.
-0.2, -0.11, -0.1, u, 5
Let a be 5 + -2 + -5 + (-2)/(-1). Let x be -5 + a/(6 - 11). Sort 6, 3, x, 0.4.
x, 0.4, 3, 6
Let q = 23 - 26. Let o = -328 - -465. Let k = o - 139. Sort k, q, 3 in increasing order.
q, k, 3
Let x = -54 - -49.15. Let v = -0.15 + x. Suppose l = c - 4, -3*l - 2*c + 6*c = 10. Put l, v, 3/5 in ascending order.
l, v, 3/5
Let b = -13.07668 - -0.07668. Let f = -10 + 12. Put 0, b, f in decreasing order.
f, 0, b
Suppose -26*l - 153 = 25*l. Sort l, -71, 3, 1 in increasing order.
-71, l, 1, 3
Let j = -5 - -1. Suppose -33*r + 246 + 1 = 148. Sort j, r, -3, -8.
-8, j, -3, r
Let u = -13 + 2. Let l be -5 + 11 - 3 - (9 - 3). Suppose -3*k + 2*b = 22, -2*k - 2*b - 13 = -3*b. Put l, u, k in descending order.
l, k, u
Suppose -n - 2*k + 27 = 16, -k = 2*n - 7. Let s = -43 - -40. Sort n, 4, s, 3 in descending order.
4, 3, n, s
Let b = -57.892 - 0.108. Let t = 135 + -75. Let d = b + t. Put -0.2, d, -0.04 in ascending order.
-0.2, -0.04, d
Let u be 1/4 + (3600/64)/(-9) + 14. Sort -1, 80, u, 0 in ascending order.
-1, 0, u, 80
Suppose -1842*k + 1620*k = -444. Put k, -1, 23, -3 in decreasing order.
23, k, -1, -3
Let l(v) = 2*v**2 + 2*v - 85. Let o be l(7). Let a be 0/2 + (22 - o). Put 5, a, -80 in ascending order.
-80, a, 5
Suppose -8 = -4*i + 3*s, -2*i - s = 2*s - 22. Let d = 4119 - 4119. Sort d, i, -1 in decreasing order.
i, d, -1
Suppose 5*m - 2*n + 1235 = 3*n, 4*m + 970 = -5*n. Let v = m - -241. Suppose -a + 5 = 5*k, 5*a + 6 = -3*k - 13. Sort k, v, 1.
v, 1, k
Suppose n - 2*d + 4 = 5, 5*d + 5 = 0. Let c be (-2)/4 + 8/((-80)/295). Let x be (1/3)/(c/(-90)). Put x, n, 3 in descending order.
3, x, n
Let i = 7092 + -7097. Sort -2/23, 5, -14/5, i in increasing order.
i, -14/5, -2/23, 5
Suppose 26*b + 32*b + 30 = 61*b. Sort -2, b, 0, -4 in decreasing order.
b, 0, -2, -4
Let l be -5 + -2*(-3)/6. Suppose -p - 23 = -5*f, 4*p - 33 + 5 = -4*f. Let s = -0.0993 + 0.4993. Put 4, s, f, l in descending order.
f, 4, s, l
Let x be -5 - 341/(-66) - (-10)/12. Let n(t) be the second derivative of -t**3/3 - 5*t**2 - 5*t. Let r be n(-5). Put -1, x, r in increasing order.
-1, r, x
Let m(t) = t**3 - 42*t**2 - 4*t + 167. Let f be m(42). Sort f, 3, 12.
f, 3, 12
Let a = -20615 - -20615. Sort -164, a, -7, 3, 2 in decreasing order.
3, 2, a, -7, -164
Suppose -3*q + 21 = 4*z + 43, -z - 5*q = 14. Sort 1, z, -1, -3, -11.
-11, z, -3, -1, 1
Suppose -57*x + 2172 = 2457. Sort 11, 669, x in increasing order.
x, 11, 669
Let o = -4.0413 - -0.0413. Sort 2/9, 27/4, o.
o, 2/9, 27/4
Suppose 389*q - 1220 = 84*q. Put -223, -5, q, -3 in ascending order.
-223, -5, -3, q
Let p = 283 + -282.5. Let b(z) = -6*z - 10. Let q(g) = -g**2 - 4*g - 3. Let l be q(-4). Let u be b(l). Put 2/7, p, u in descending order.
u, p, 2/7
Let x = 6656 - 26625/4. Sort x, 0.08, -0.3 in descending order.
0.08, x, -0.3
Suppose -31 = 2*x - 5. Suppose -15 = 3*g - 3*f + 6, -g + 5*f = 11. Let d(y) = y**3 + 7*y**2 + 8*y + 8. Let i be d(g). Put x, 5, i in decreasing order.
5, i, x
Suppose f + 16 = -0*y + 4*y, -3*y = f - 5. Let c be ((-8)/(-4))/((-5)/190*4). Sort y, c, 1 in descending order.
y, 1, c
Let q(t) = -t**3 + 3*t**2 + 4*t - 5. Let v be q(4). Let s = 82814 - 82817. Let n be 6/4 + 2/4. Put 4, v, s, n in decreasing order.
4, n, s, v
Let d be ((-38)/19 - (-7)/2)*-2. Sort d, -0.023, -2.
d, -2, -0.023
Let o(x) = x**2 - 4*x - 12. Let z be o(6). Let p(l) = 35*l**2 - 31*l. Let w be p(1). Put 5, w, 2, z in increasing order.
z, 2, w, 5
Let b = 325 + -330. Let q(n) = -n**3 + 5*n**2 + 13*n + 9. Let u be q(7). Sort -6, 5, b, u in ascending order.
-6, b, u, 5
Let w = 0.9 - 4.1. Let v = w + 3.4. Let b(n) = n**3 + 8*n**2 - 9*n + 2. Let l be b(-9). Sort v, l, -2/9, 1 in decreasing order.
l, 1, v, -2/9
Let a = 43 - 151. Let y = 70 + a. Let j = 35 + y. Put 0.3, 1.1, j in descending order.
1.1, 0.3, j
Let t(s) = -s**3 + 10*s**2 - 23*s - 3. Let b(x) = -x - 2. Let o be b(-6). Let z be t(o). Put z, -3, -8 in decreasing order.
z, -3, -8
Suppose 4*o - 3*l = -111, 6 = l - 3*l. Let n = o - -34. Sort 11, n, 0.1 in decreasing order.
11, n, 0.1
Let y = 33501 + -33480. Sort -3, 91, y, -1, 0 in decreasing order.
91, y, 0, -1, -3
Suppose 0 = -1819*m + 653*m - 6996. Suppose -3*r + 2*f = 2*r - 5, 0 = 5*r - 5*f - 20. Put 5, m, r in descending order.
5, r, m
Let p = -1164 + 1161.2. Put 0.2, 5, p, 0.1 in increasing order.
p, 0.1, 0.2, 5
Let s = 4.156 - -3.844. Put 3/4, s, 4/7, 5 in descending order.
s, 5, 3/4, 4/7
Let q(z) = z - 3. Let f be q(0). Suppose -k + 4*l + 16 = -6*k, -22 = 5*k - 2*l. Sort f, 5, 37, k.
k, f, 5, 37
Suppose -143 + 77 + 74 = -4*u. Let c = 16 + -12. Let x = 6 - c. Sort u, x, 17 in ascending order.
u, x, 17
Let n(x) = 2*x**2 + 17*x - 12. Let r be n(-9). Let u be ((-10)/1 + -1 - -2) + r. Sort 3, u, 4 in decreasing order.
4, 3, u
Let d be -5*1 + (-24444)/(-112). Let z = d - 213. Put 1/2, -4, 1/6, z in increasing order.
-4, 1/6, z, 1/2
Let m(a) = -2*a**2 - 13*a - 30. Let v be m(-6). Let w = v + 22. Let l be (w/(-4))/((-12)/120). Sort l, -5/4, -1 in decreasing order.
-1, -5/4, l
Let j = 505 - 501. Let v(l) = l**2 - l + 1. Let c(p) = 2*p**2 - 7*p + 4. Let r(s) = c(s) - 4*v(s). Let o be r(-2). Sort 1, o, j in increasing order.
o, 1, j
Let j = 9 + -10. Suppose 2*n = 2*k + n - 20, 10 = k + 2*n. Suppose 8*m + k + 6 = 0. Sort j, -5, m in ascending order.
-5, m, j
Let k = 7396 - 7360. Sort k, -0.1, -16, -2/3 in descending order.
k, -0.1, -2/3, -16
Let c = -2104 + 33661/16. Sort 0.4, 2, 1, c in increasing order.
c, 0.4, 1, 2
Let x = -45259/5823978 + -1/11442. Sort 0.5, x, 0 in descending order.
0.5, 0, x
Suppose r = -3*n - 9, 9 = -4*n + 1. Let y = 2735 + -2735. Let d be 1 + r - (y - (-3)/(-1)). Put 3, 6, d in descending order.
6, 3, d
Suppose -3*w - 6*a + 11*a = -1058, -4*a = -2*w + 702. Let b = w - 356. Sort -5, b, -7.
-7, -5, b
Let p(h) = -h - 1. Let q be p(-4). Suppose 0 = -4*u + 4743*c - 4742*c + 3, 0 = -4*u + 4*c - 12. Sort -1, u, q.
-1, u, q
Suppose -5*a + 15 = 0, -5*d + 15 = -3*a + 69. Sort -2, d, 4, 0 in increasing order.
d, -2, 0, 4
Suppose 2*i = 4*l - 32, -64 + 44 = 3*i - 2*l. Put -4, 58, i, 5 in descending order.
58, 5, i, -4
Let l(i) = -i**3 - 8*i**2 - 3*i - 23. Let w be l(-8). Suppose 3*z + 10 = 4*a - 15, -5*z = a + 11. Let d = 159 - 160. Sort w, z, -7, d in descending order.
w, d, z, -7
Suppose 8 = -4*k - 16. Let a be (2 + -1)/((-2)/k) + 1. Suppose -a*o + 0*o + 8 = -b, 2*o = -4*b + 22. Put -4, 2, o in decreasing order.
o, 2, -4
Let m = -2754 - -2753. Sort 3, -518, m in decreasing order.
3, m, -518
Let c be 2/11 + 0 - (-4)/(-22). Let r = 147 - 146. Sort r, 2, c, 8 in decreasing order.
8, 2, r, c
Let y = 2266 - 2256. Sort -4, 1/9, y, 9 in increasing order.
-4, 1/9, 9, y
Let z be (72/(-1))/(5*5/100). Let v be 1/12 - 264/z. Sor