 (-7520)/15 + (-737)/201. Sort p, -1, -2 in decreasing order.
-1, -2, p
Let g = 1/9 + -25/63. Let n = 596 + -342. Let l = n - 254. Sort 7, l, 0.4, g in descending order.
7, 0.4, l, g
Let q be -3 - 0 - 128/(-64). Suppose -4*s + s = -15. Suppose 9 = -s*a - 6. Sort q, a, 5.
a, q, 5
Suppose -776 = -28*k - 692. Sort -2, -1, -3, 19, k in increasing order.
-3, -2, -1, k, 19
Suppose 3*t + 24 = -t. Let g be (-1)/(3/(3 + 0)). Sort g, 0.07, t in increasing order.
t, g, 0.07
Let l(r) = r**2 - 15*r - 52. Let a be l(18). Let o be 7/a*10/(-25)*-5. Sort -1/6, -1, o.
-1, -1/6, o
Let r = 84.4 + -84. Let i = 8 - -20. Sort 4, r, i, -3/5 in ascending order.
-3/5, r, 4, i
Suppose 229*n = 215*n + 70. Sort n, -5, -0.4, -2/11, -3/46 in increasing order.
-5, -0.4, -2/11, -3/46, n
Suppose 302*b - 224*b = -484*b - 562. Let m(y) = -y**3 + 7*y**2 - 5*y - 2. Let t be m(6). Sort t, 3, -4, b in decreasing order.
t, 3, b, -4
Suppose -24*s + 1344 = -12*s. Let u = s + 150. Sort 5, u, -1, 3 in increasing order.
-1, 3, 5, u
Let n = -6 + 15. Let l be (-56)/576 - (-2)/n. Let u = 2.327 - 0.327. Sort -0.2, u, l, -4.
-4, -0.2, l, u
Let a = 97 - 85. Suppose -3*z = a + 3. Put z, -3/7, -2/3, -3 in decreasing order.
-3/7, -2/3, -3, z
Let b be (2 + 8 + -11)*-1*3. Let x = 10 + -5. Sort 11, b, x in decreasing order.
11, x, b
Suppose -338 - 67 = -27*z. Let d be (-30 - -28) + 32/z. Let s(x) = x**3 + 6*x**2 + 2*x + 8. Let y be s(-6). Put 12, -0.2, d, y in ascending order.
y, -0.2, d, 12
Let p = -0.067 - -0.567. Let r(g) = -g + 2. Let u be r(1). Let k be (u/9)/((-4)/(-6)). Sort k, -1, p in decreasing order.
p, k, -1
Let n = 1745 + -1910.2. Let v = n - -165. Sort v, 4, 0.5, 5 in decreasing order.
5, 4, 0.5, v
Suppose -2*y - d - 11 = -12, -5*d - 19 = 4*y. Sort -4/135, 3, y, 0 in decreasing order.
y, 3, 0, -4/135
Let b = -0.03 + -1.97. Let r = 8 + -3. Let w = 2.9817 - 2.8817. Sort r, w, b, 0.4 in descending order.
r, 0.4, w, b
Suppose 0 = 5*t - 2*t. Let x = -1/3 + t. Let c = -1.1681 - -3.1681. Sort c, x, -2, 2/7.
-2, x, 2/7, c
Let a = -2.25 + 2.75. Put a, -1.8, 12/7 in decreasing order.
12/7, a, -1.8
Let v = 5142 + -5137. Sort -4, v, -3, -35, 1 in decreasing order.
v, 1, -3, -4, -35
Suppose 7*i = 11*i - 9*i. Let z = -14201 + 14203. Let p be (-3)/((-6)/(-4))*-2. Sort -5, p, i, z in descending order.
p, z, i, -5
Suppose -3*q = 4*j - 7, -11 = 4*q + q + j. Suppose 0 = -5*i - r + 376, 0*i - 4*r = -i + 92. Let w = 71 - i. Put 5, q, w in decreasing order.
5, q, w
Let n = 4388 - 4390. Sort 2/9, 4, 3/7, n.
n, 2/9, 3/7, 4
Let l = -1.1 - -3.8. Let a = -3.6 - 0.4. Let v = -9493.1 + 9493. Sort -0.4, l, v, a.
a, -0.4, v, l
Let u = 917 + -430. Let j = 491 - u. Put -3/13, j, 0 in descending order.
j, 0, -3/13
Let x = -3 - -2. Suppose -37 = 5*k + 7*z - 10*z, 3*z + 3 = 0. Let a be 221/(-476) - (-2)/k*-3. Put a, x, 2, -5 in descending order.
2, a, x, -5
Let l be 33/(-4) + (-5661)/(-1332). Suppose 1 = 3*d - 2*d. Sort d, l, -29 in descending order.
d, l, -29
Let a = -1722 - -1733. Sort a, 43, -4 in ascending order.
-4, a, 43
Suppose -f + 8 = 0, i = -f - 5 + 59. Put -20, i, 1, 4 in descending order.
i, 4, 1, -20
Let v = -50 - -247/5. Let g = -1.97 - 0.03. Let q = -174.01 - -173.61. Put v, g, -2/9, q in decreasing order.
-2/9, q, v, g
Let n be -9*(13 + 36/(-3)). Put -89, 4, n in ascending order.
-89, n, 4
Let y = -1458 - -1454. Put y, 52, 3 in ascending order.
y, 3, 52
Let x be ((-35)/490)/((-6)/(-12)). Sort -2/15, 4, 2/77, -0.3, x in decreasing order.
4, 2/77, -2/15, x, -0.3
Let c = -6.57 + 6.97. Let g(k) = -k**3 + 3*k**2 + 5*k - 3. Let p be g(4). Let a be (-1)/2*(-1 + p). Put c, a, -0.03 in descending order.
c, a, -0.03
Let f = -47 + 67. Let m be f/5 - 2*9/6. Let i = -156.4 + 157. Sort i, -0.1, m in decreasing order.
m, i, -0.1
Let f = 0.17977 + 0.32023. Suppose -p - 2*p - 3 = 0. Sort f, 4, 13, p.
p, f, 4, 13
Let n = -2303/5 + 460. Let h = 0.301 + -0.501. Sort h, -0.4, n in decreasing order.
h, -0.4, n
Let s = 59691/2 + -298451/10. Let i = 0.18 - 0.2. Let w = -0.42 - i. Put w, -0.5, s in ascending order.
-0.5, w, s
Suppose 6*a = -24*a + 6*a - 2424. Put -4, -3, a, 3 in descending order.
3, -3, -4, a
Suppose 0*f = -f + 31. Let s = f - -30. Let o = -56 + s. Sort 0, o, -4.
-4, 0, o
Let k(p) = -51*p - 7135. Let z be k(-140). Sort z, 0, -5, 2, 18.
-5, 0, 2, z, 18
Let o(u) = -u**3 - 13*u**2 - 36*u + 19. Let r be o(-5). Put 16, 5, 0, 1, r in descending order.
16, 5, 1, 0, r
Let z(s) = -675*s + 2705. Let l be z(4). Sort -5, 3, l, 8 in decreasing order.
8, l, 3, -5
Let g = 1.79 - -3.21. Sort g, 0.1, -5, -4 in descending order.
g, 0.1, -4, -5
Let x = -438.1 + 438.6. Sort -2, x, 37 in decreasing order.
37, x, -2
Suppose 4 = -9*l + 10*l. Suppose -18*g + 841 - 913 = 0. Suppose -5*t + 5*s - 15 = 0, -3*s + 5 = -t - 4. Sort g, t, 1, l in descending order.
l, 1, t, g
Let t(u) = -2*u + 14. Let q be t(6). Suppose 10 + 52 = -q*j. Let s = 51 + j. Sort -1, 5, s.
-1, 5, s
Let i = 335 + -164. Let l = 170.7 - i. Sort 0.6, -0.4, 3, l in descending order.
3, 0.6, l, -0.4
Let y = 0.647 - 58.647. Let q = -246 - -241. Put y, q, 3 in decreasing order.
3, q, y
Suppose -d + 6 = -4*v + 6*v, -3*v = d - 7. Let a = 39450 - 39458. Sort v, -2, a in decreasing order.
v, -2, a
Suppose 0*v + 3*v = 0. Let j = 1/4 + v. Let q = -245 - -244.9. Put 1, q, j, -3 in ascending order.
-3, q, j, 1
Let q be ((-6)/27)/(-24 - 651/(-27)). Sort -27, q, 1, -4, 5.
-27, -4, q, 1, 5
Let d = -319 + 548. Suppose 0 = 17*b - 26 - d. Sort b, -4, -1.
-4, -1, b
Let x be (13/(-26))/((-1)/2). Let t(g) = -g**3 + 6*g**2 + 43*g - 35. Let s be t(10). Sort -3, 4, x, s in descending order.
4, x, -3, s
Let d = -1443 + 1444. Suppose 8 = 2*j + 4*x, 5*j = 10*j + 4*x - 50. Sort d, j, 3.
d, 3, j
Suppose -m - 2*m + 6 = 0. Suppose -3*s + 11 = m*x - 1, 0 = -4*s + x + 16. Let o = -8 - -10. Put s, o, -3 in ascending order.
-3, o, s
Suppose -5*s - 85 = -5*n, 12*s - 68 = -4*n + 9*s. Suppose 58 = -n*b - 10. Sort 3, b, -19, 2 in descending order.
3, 2, b, -19
Let z = 0.1333 - -0.1667. Sort -1, -15, -0.5, -2/3, z in decreasing order.
z, -0.5, -2/3, -1, -15
Suppose -172*r = -65*r + 321. Sort 20, -35, r in descending order.
20, r, -35
Let a = -0.06679 - 0.03321. Let c = -0.94 - 0.06. Sort c, -4, a, -1/7 in ascending order.
-4, c, -1/7, a
Let k be 1/(10*(3/(-1))/12). Put 4/5, k, -36, -0.3 in descending order.
4/5, -0.3, k, -36
Let b = -15 - -18. Let x(m) = -3*m**3 - 6*m + 4*m**b + 2 - 3*m**2 + 3*m + 2*m**2. Let q be x(-2). Sort q, 6, -1, 5.
q, -1, 5, 6
Suppose -z + 5*b + 96 = 0, 3*z - 172 = -b + 20. Put 2, z, 2/3, 4 in decreasing order.
z, 4, 2, 2/3
Suppose -24*h + 113*h = -56*h. Let a be (-4 + 28)/(1 + -2). Let p be 2/(-12) - 124/a. Put 3, h, p in descending order.
p, 3, h
Let v = 5/14 - 3/28. Let q = 2 + -2.5. Sort v, q, 1, -0.9 in decreasing order.
1, v, q, -0.9
Let l be 4 + (324/10)/(-9) + 2/(-5). Sort 3, l, -1, 56, -4 in increasing order.
-4, -1, l, 3, 56
Suppose 3*x = 7*x - 284. Suppose -68*l = -x*l + 138. Let r = -46 + l. Sort 3, -18, r in decreasing order.
3, r, -18
Let o = -7482 + 7482.2. Put 112/5, 3, o, 16 in decreasing order.
112/5, 16, 3, o
Suppose 5*t = 307 + 48. Let r = -65 + t. Suppose -r*l = -l - 140. Sort 4, l, -1 in ascending order.
-1, 4, l
Let s = 4 - 8. Let t = -117.09 - -120.09. Put t, 1.4, s in descending order.
t, 1.4, s
Let x be (0*1/4)/(56/(-42)*3). Sort -2, -1, x, -4 in descending order.
x, -1, -2, -4
Let i be ((-1)/(-12) - (-143)/156)/(5/25). Sort i, 10141, 0.
0, i, 10141
Let j = 37.1 + -37. Let l(v) be the first derivative of -2*v**3 - 15*v**2/2 + 4*v + 42. Let z be l(-3). Sort -1, j, z.
z, -1, j
Let k = 152/15 - 31/3. Let p = 453.98 - 451.98. Sort 52, p, -2, k in decreasing order.
52, p, k, -2
Let x = -1996 + 1637. Let u = x + 364. Let d = -0.6 + 0.2. Sort 1, u, d.
d, 1, u
Suppose 5*d = -3*h + 1207, 0 = -54*d + 55*d + 3*h - 227. Sort d, -0.1, 2/3, 0.5, 2 in decreasing order.
d, 2, 2/3, 0.5, -0.1
Suppose -l - 3*l - 5*d = 1688, 0 = -3*l + 3*d - 1266. Put 0, l, 1 in decreasing order.
1, 0, l
Suppose 29 = 10*v + 109. Let d = 955 + -958. Sort d, 3, v.
v, d, 3
Suppose 5*r = 2*y - 25, 5*r + 25 = -2*y + 7*y. Suppose -3*o - 5*u = -24 + 1, 0 = 3*o - 3*u + 9. Sort -5, y, o, 3 in decreasing order.
3, o, y, -5
Suppose 0 = -2*t + 2*w + 4, 0 = -0*w + 3*w. Suppose -2*x + t*i + 6 = 0, -4*x + 19*i