34 = 3*u. Suppose u = 5*v + 5. Put y, -5, v in decreasing order.
v, y, -5
Let c = -54 - -45. Let x(f) = -f**3 + 4*f**2 + f + 2. Let u be x(3). Let a = c + u. Sort -1, -2, a in ascending order.
-2, -1, a
Suppose -p = -3*p + 4. Let w = -0.036 + -3.784. Let z = 0.18 - w. Put 1/5, z, p in decreasing order.
z, p, 1/5
Let n = -868 - -868. Sort n, 1/12, -1/2, 0.08 in ascending order.
-1/2, n, 0.08, 1/12
Suppose -3*c - 15 = -27, 0 = 4*k + 3*c + 4. Sort k, 5, 8 in ascending order.
k, 5, 8
Suppose -n = u + n - 6, 0 = -5*u + 5*n - 30. Sort 0, -23, -4, u in decreasing order.
0, u, -4, -23
Suppose 0 = -5*i - 3*k - 8, 5*i + 4*k - 20 = 6*i. Suppose -4 = 5*u + 11. Sort -2, u, i, 0 in decreasing order.
0, -2, u, i
Suppose -11*d - 21*d = 512. Put 0, -2, -1, d in decreasing order.
0, -1, -2, d
Let g = -2368 + 2372. Let v be 2/(((-3)/(-2))/(-3)). Put g, 1, -5, v in decreasing order.
g, 1, v, -5
Let c = -41 - -81/2. Sort 3/4, c, 2/13, 1/4 in decreasing order.
3/4, 1/4, 2/13, c
Let x(m) = -4*m + 263. Let d be x(66). Suppose q - 2*q = 0. Sort -5, 4, q, d in descending order.
4, q, d, -5
Let t = 13 + -11. Let q be 5*(t - -1 - (2 - 0)). Let k = -1 - -1. Sort -4, k, q in descending order.
q, k, -4
Let s = -1045 + 11493/11. Sort 0.1, s, -1, 4.
-1, s, 0.1, 4
Suppose -46*c - 21 = -39*c. Let j = 56 - 51. Sort c, 4, j, 3 in increasing order.
c, 3, 4, j
Let x = -417.95 + 438. Let d = x + -0.05. Let c = -19.6 + d. Put 0, c, -1 in decreasing order.
c, 0, -1
Let u = 360 - 374. Let p = -9.83 + -0.17. Let y = u - p. Sort 3/5, y, -2/3 in increasing order.
y, -2/3, 3/5
Let i be -2 + 2 + 3/(-3). Let c(x) = -2*x**2 - 13*x - 7. Let q be c(-6). Let z be (-2)/((-20)/12 - q) + -8. Sort 3, i, z in decreasing order.
3, i, z
Let f = -432 - -429.2. Put f, 2, -4 in decreasing order.
2, f, -4
Suppose 7 = 4*b - 2*b + s, b + 3*s - 11 = 0. Suppose 1 + 5 = b*v + c, 0 = c - 4. Let r = -5 + 8. Sort r, v, 0 in ascending order.
0, v, r
Let d = -14 + 32. Let u = 2 - d. Let r = u - -16.5. Put 1, -0.4, r in increasing order.
-0.4, r, 1
Let z be (-46)/644 + 34/(-14). Sort -0.16, 0.3, z in increasing order.
z, -0.16, 0.3
Let h = -3 - 2. Let t = h - -12. Suppose t*k + 18 - 4 = 0. Sort k, -11, 3 in decreasing order.
3, k, -11
Suppose 3*z = -4*s + 62, -3*z + 4*s = 2*z - 82. Let g = -16 + z. Suppose -g*q = -1 + 5. Put 6, -5, q in descending order.
6, q, -5
Let m be -9*3/(-9)*16/(-3). Let j = m + 14. Put -4, 3, j, -1 in ascending order.
-4, j, -1, 3
Suppose -g + 9 = 2*w - 0*g, 5*g - 17 = -3*w. Let n be 0 - 7/((-21)/9) - 5. Let j(a) = a - 1. Let k be j(1). Sort w, n, k in increasing order.
n, k, w
Suppose -494*c - 36 = -506*c. Sort 5, 0, c, -1.
-1, 0, c, 5
Let t = -1.34 - -4.34. Put -145, 0.5, 2/7, t in descending order.
t, 0.5, 2/7, -145
Let u = -40 - -38. Let j = -0.8 + 4.8. Sort -0.2, u, j in ascending order.
u, -0.2, j
Let h = 164 + -163. Put -3, h, 55 in decreasing order.
55, h, -3
Let k(z) = -z**3 + 14*z**2 - z + 14. Let y be 14 + (2 - 8/4). Let n be k(y). Sort n, -17, 2.
-17, n, 2
Let j be (6*(-3)/6)/(-6 + 11). Sort 1/4, 3/4, -2/13, j in ascending order.
j, -2/13, 1/4, 3/4
Let b = -473 - -473.1. Put b, -0.8, 0.2, -0.2 in decreasing order.
0.2, b, -0.2, -0.8
Suppose -5 = -2*i - 1, 0 = 4*v - 2*i + 24. Sort 14, v, -1, 2 in ascending order.
v, -1, 2, 14
Let r be 4*(-2)/4 + (-20)/(-15). Put r, 0.2, -0.2 in descending order.
0.2, -0.2, r
Suppose 5*v - 3*v - 90 = 0. Let y be -15*9/(v/(-2)). Sort 1, -5, y in descending order.
y, 1, -5
Suppose -d = 4*o - 0*d - 27, 4*o + 4*d - 12 = 0. Let x be (11/110)/((-2)/o). Put x, -5, 1 in descending order.
1, x, -5
Let t = 1623 - 1622.91. Let h = -315/8 - -39. Put h, t, -0.4 in decreasing order.
t, h, -0.4
Let q = 0.069 - 0.569. Put q, 4, -4 in ascending order.
-4, q, 4
Let p(u) = u - 14. Let t be 14/(-3)*198/(-77). Let w be p(t). Suppose 4*l - 4*b - 25 = -l, 2*l = 4*b + 22. Put l, -1, w in decreasing order.
l, -1, w
Let f be (1/(-2))/(5/30). Suppose -4492*a + 20 = -4487*a. Sort f, a, -2 in descending order.
a, -2, f
Let c(m) = -m**2 + m + 17. Let z be c(5). Put 3, 31, z, 11 in ascending order.
z, 3, 11, 31
Let b(c) = c**3 - 15*c**2 + 9*c + 63. Let g be b(14). Sort g, -2, 0 in decreasing order.
0, -2, g
Let u(o) = o + 6. Let b be u(-5). Let f(v) = -v**3 - 13*v**2 + v + 14. Let p be f(-13). Suppose 3 + p = -4*r. Put -3, r, b in ascending order.
-3, r, b
Let i(m) = -m**3 - 16*m**2 + 36*m + 1. Let h be i(-18). Sort 5, h, 9 in descending order.
9, 5, h
Let n = -555 - -555.5. Let h = 0 - -4. Put n, h, 6, 5/6 in decreasing order.
6, h, 5/6, n
Let b be ((-234)/(-36) + (-1 - 6))*10. Sort b, -2, 21, 4 in ascending order.
b, -2, 4, 21
Let w be (-10)/(-35) + (-318)/(-14). Suppose 0 = 5*d - 2*d - 27. Suppose n + 3*n = -3*v - w, -d = n + 4*v. Sort 1, n, -1 in decreasing order.
1, -1, n
Let u = 0.309 + -0.3. Let r = u + -0.409. Let j = -5 + 5. Put -1/4, r, j in increasing order.
r, -1/4, j
Suppose v + 137 = -5*l, -l - 1710 = 3*v - 1663. Let q = 4 + -6. Sort 3, l, 5, q in decreasing order.
5, 3, q, l
Let j be -3*(0 - -2)/6. Suppose -k + 77 = 4*l, 56 = 2*l + 4*k - 0*k. Let y = l + -14. Sort y, j, 0 in descending order.
y, 0, j
Let y = 89 + -54. Sort y, 5, 0 in increasing order.
0, 5, y
Let h = 17 - 21. Let q = -11 - -13. Sort h, -2, q, 6 in decreasing order.
6, q, -2, h
Let c(q) = -q**3 + 2*q - 3. Let m be c(-3). Let d be (-2)/m*3/2. Let o = 79515.4 + -79515. Sort 0.5, o, d in decreasing order.
0.5, o, d
Let w = 40 + -42. Sort w, 2, 0.4, -0.1.
w, -0.1, 0.4, 2
Let n = -17.2 + 17. Let t = 26.046 + -0.046. Let x = -26.4 + t. Sort 0.3, x, n in descending order.
0.3, n, x
Let l(o) = o**3 - 23*o**2 + 40*o + 38. Let a be l(21). Let d = -43 - -35. Put 0.1, 2/5, d, a in increasing order.
d, a, 0.1, 2/5
Let d = 17 - 10.2. Let o = d + -6.6. Sort 0.09, 0, o, -3 in decreasing order.
o, 0.09, 0, -3
Suppose 4*h - 24 = n, -2*h - n = -18 - 0. Let v be (0 + 4 + -3)/h*-3. Sort -0.1, v, -0.4, 2.
v, -0.4, -0.1, 2
Let u = -1771 - -1766. Let p = 4 - 2. Let j be (-18)/(-15)*20/(-6). Sort j, u, p in decreasing order.
p, j, u
Let a be (2 + 0)*41/82. Put -3, -184, a in increasing order.
-184, -3, a
Let r be (-1 - (0 - 0))*0. Let b be ((-920)/(-260))/23 + 152/26. Put r, b, 5 in ascending order.
r, 5, b
Let a(z) = -z**2 + 9*z - 17. Let n be a(7). Suppose 0*v - 2*v - y = -5, 3*y - 7 = 2*v. Let w be (n/(-6))/(v/10). Sort w, 4, 2 in decreasing order.
w, 4, 2
Let p = -246 + 141. Let g = 105.4 + p. Sort g, -0.03, -4 in descending order.
g, -0.03, -4
Suppose -4*f = -i - 8*f + 24, -2*f + 6 = -i. Sort -48, i, 0, -4 in ascending order.
-48, -4, 0, i
Let f(o) = -14 - 14 + o + 29 - 2*o. Let d be f(1). Put d, -1, 4 in decreasing order.
4, d, -1
Let j = -1.1 + 0.1. Let p = 203 - 203.2. Put -4, p, j in descending order.
p, j, -4
Let v = 0.33 + -0.03. Let o = -79 + 75. Let s be 2/o*5/((-30)/12). Sort v, -18, s in decreasing order.
s, v, -18
Let h = 766 + -765.89. Sort 4, 0.4, -0.3, h.
-0.3, h, 0.4, 4
Let i = 10 + 8. Let p = -14 + i. Let v = -4 + p. Put 3/4, 5, v in decreasing order.
5, 3/4, v
Let n = -19 + 19. Suppose 5*p + n*g + 5 = g, -p + g - 1 = 0. Let x(m) = -m**2 + 5*m + 8. Let s be x(6). Sort p, -2, s.
-2, p, s
Let o = 1.5 + -3.4. Let p = 1.9 + o. Let t = 0.2 + 0.8. Sort p, t, 3/8 in descending order.
t, 3/8, p
Let s(k) = k**2 + 3*k - 14. Let q be s(-6). Suppose -q*a - 5*v = 17, 2*a + v + 6 = -v. Put 4, -4, a in descending order.
4, a, -4
Let g = -436 - -208. Sort g, 1, -0.2.
g, -0.2, 1
Suppose 8*l - 13 = -21. Let z be 5*(-2 + (-24)/(-10)). Sort -4, z, l in decreasing order.
z, l, -4
Suppose 46*y - 3 = 47*y - n, 2*y + n + 12 = 0. Let f be (-10)/4 + (-2)/(-4). Put 3, f, 20, y in increasing order.
y, f, 3, 20
Suppose -4*r - 47 = -5*q, 14 = 4*q + r - 11. Suppose 0 = 6*g + 6 + 6. Sort q, 4, g in ascending order.
g, 4, q
Let y(q) = -q - 8. Let p be y(-9). Let f be (2/10)/(p/(-3)). Let k be (-2)/8 + (-68)/(-80). Sort f, k, -2/9 in decreasing order.
k, -2/9, f
Suppose 9 = -z - 0*z + 3*x, -4*z - 2*x = -6. Sort 2/9, -1/6, z.
-1/6, z, 2/9
Let d = -18 + 20. Suppose d = -0*a + 2*a. Suppose -w - 3*w - 12 = -4*v, 2*v + 4*w + 18 = 0. Sort a, v, -3 in decreasing order.
a, v, -3
Let q be ((-20)/18)/(82/(-369)). Put q, 2, -28 in ascending order.
-28, 2, q
Let d = -0.1572 + 0.0912. Sort 1/3, 2/3, d in descending order.
2/3, 1/3, d
Suppose 11