 -3, p in descending order.
p, -2, -3, -34
Let y = -402 - -677. Sort y, -0.4, -1/11, 0.3 in increasing order.
-0.4, -1/11, 0.3, y
Suppose 3*y + 24 = 6*y. Let u be y*2/8*2. Suppose 0 = -u*t + 17 + 3. Sort 1, 4, t in ascending order.
1, 4, t
Let j = 15 - 11. Let d = 857.51 - 862. Let u = d + -0.51. Put u, -2/15, j in increasing order.
u, -2/15, j
Let r be 1*9 + -55 + 43. Put 3, r, -1, 1 in descending order.
3, 1, -1, r
Let i(f) = -f**3 + 4*f**2 + 42*f - 147. Let c be i(7). Sort -23, c, -4 in increasing order.
-23, -4, c
Let f(m) = m**3 + 9*m**2 + 11*m + 214. Let z be f(-10). Put z, 9, 55 in ascending order.
z, 9, 55
Suppose -14 = -4*u + 6. Suppose -21 - 34 = 11*i. Let b be -4 + -3 + 10 - (0 - i). Sort u, 1, b in decreasing order.
u, 1, b
Suppose 0 = -3*z - 5*m + 4 - 17, 14 = -3*z - 4*m. Let h(d) = 3*d + 20. Let q be h(z). Put 4, -1, q in decreasing order.
4, q, -1
Let b be ((-24)/(-21))/((-72)/(-84)). Let o = 1.3 - 1.23. Let y = 0.27 - o. Sort b, 4, y.
y, b, 4
Let n = -73 + 49. Let p = n + 21. Suppose 4*u - 2*m + 0 = -6, 0 = -3*u + 3*m - 3. Sort u, p, 2.
p, u, 2
Let o = 0.3 - -0.3. Let s = o - 4.6. Sort s, -1, -0.2 in ascending order.
s, -1, -0.2
Let s = -24.65 - -22.496. Let u = s - -0.154. Let c = -2 + -3. Put c, 0.4, u in ascending order.
c, u, 0.4
Let a = -1 + -2. Suppose -764*i + 315*i = 449. Let o = -204 - -1017/5. Sort i, o, a in ascending order.
a, i, o
Let v be (-2)/8 + 8/16. Let g = 15 - 103/7. Suppose -2*h - 4*i + 16 = 0, -3*i = -2*h - 0*h + 2. Sort v, h, g in ascending order.
v, g, h
Let m = 4.93 - -0.07. Let b = -4.7 - -9.7. Let p = -5.5 + b. Put 1/12, p, m in decreasing order.
m, 1/12, p
Let l = 36.1 + -36. Let f = l - -4.9. Put f, 2, -3 in descending order.
f, 2, -3
Suppose -2*w = -5 + 1. Let j = w + -12. Suppose -13*u + 3 = -b - 17*u, 3*u = 5*b - 31. Sort -5, b, j in increasing order.
j, -5, b
Let o be -4 - (4 - 470/65). Let p = o - -196/221. Sort p, 0.1, 0.
0, 0.1, p
Let u = -0.9 + -6.1. Let a = -35 + 21. Let i = u - a. Sort 1/2, i, 0.3 in ascending order.
0.3, 1/2, i
Suppose -28*i - 2 = -29*i. Put 0, 5, i in decreasing order.
5, i, 0
Let k be ((-8445132)/69)/(2 - -12). Let b = k + 8742. Let m = -2/23 - b. Put 0.5, m, -2/11 in descending order.
0.5, m, -2/11
Suppose -3*b + 0*b + 3 = 0, -5*b = 3*m + 1. Put 0.3, m, -3, 0.1 in descending order.
0.3, 0.1, m, -3
Suppose 2 = 5*i - 4*n, 4*i - 3*n - 21 = -20. Sort 0, -7, i, 1.
-7, i, 0, 1
Let i be (-1)/(-2)*3*16. Suppose -4*n = b + i, -3*b = -n + 7 - 0. Let x = -3 + -2. Put x, b, 2 in decreasing order.
2, b, x
Let v = -1 + 1. Suppose v = -3*x - x - b + 17, x = 3*b - 12. Suppose -138*r - 163 - 183 = -70. Sort x, r, 6 in increasing order.
r, x, 6
Let u = 742 - 739. Sort 32/7, u, 0.2, -1/5 in descending order.
32/7, u, 0.2, -1/5
Let i = -0.292 - 0.708. Sort -0.2, i, -17 in descending order.
-0.2, i, -17
Let x = 6 + -6. Let z = 0.18 + -0.19. Put z, x, 1/3 in descending order.
1/3, x, z
Let n = 3328 + -3330.293. Let a = 0.007 - n. Let p = a - 4.3. Sort 0.4, p, -1 in descending order.
0.4, -1, p
Let w(l) = -l**2 - 6*l - 3. Let s be w(-4). Suppose -6*j = -j - 5. Let y be 5/(-10) + -6*(-15)/(-20). Put y, j, s in descending order.
s, j, y
Suppose -52 = 6*l - 82. Suppose -12 = 4*i - i. Suppose 20*y - 16*y - 28 = 0. Put i, y, l in descending order.
y, l, i
Suppose -4 = 4*a, 34*x - 5*a = 29*x + 15. Suppose -5*f = -l + 19, 15 = -4*f + 4*l + 3. Sort 4, f, 1, x in descending order.
4, x, 1, f
Let p be (-3)/((-3)/(-5))*(-113)/113. Sort 4, 33, p.
4, p, 33
Let a = 1913 + -1915. Sort -1, a, -370 in decreasing order.
-1, a, -370
Let k(w) = w**2 - 3*w - 2. Let f be k(4). Let u be ((-2)/8)/(4/16) + -3. Put u, f, -5 in descending order.
f, u, -5
Suppose 0 = -20*a + 26*a - 120. Suppose a = 4*f - 0. Sort 2, -1, -4, f in descending order.
f, 2, -1, -4
Let a = -7 + 12. Let r = -12 + a. Let z = -3 - r. Sort z, 4/5, -0.1 in increasing order.
-0.1, 4/5, z
Let f = 383 - 384. Put 1, f, -2, -0.073 in decreasing order.
1, -0.073, f, -2
Let c = 2.79 - 3.19. Put -1, c, 1/5, -1/26 in ascending order.
-1, c, -1/26, 1/5
Let q(i) = -2*i**2 + 2*i + 107. Let t be q(-7). Sort 137, t, 3, -2 in descending order.
137, 3, -2, t
Let s be 36/(-12) + (1 - -2). Suppose s = 6*u + 4*u. Put u, -0.1, -5 in increasing order.
-5, -0.1, u
Let a(m) = -2*m**3 + 2 - 4*m - 7*m**2 - 9 + 3*m**3 + 2*m**2. Let r be a(6). Sort -4, r, 2.
-4, 2, r
Let d = 137 + -135. Let c(b) = -b**2 - 8*b. Let r be c(-6). Let u be (-23)/(-4) - (-3)/r. Sort u, d, 3.
d, 3, u
Suppose -3*f - f = -3*q - 11, -3*q + 2*f - 1 = 0. Let z(n) = -2*n**2 - 22*n + 7. Let r be z(-11). Sort q, r, 2 in decreasing order.
r, q, 2
Let f be (25/50)/(18/4 - 3). Sort f, -4, -0.4, 0.07 in descending order.
f, 0.07, -0.4, -4
Suppose 29*i = 204 - 581. Put i, -0.4, 5 in decreasing order.
5, -0.4, i
Let u(s) = 3*s**2 - 4*s + 6. Let z be u(4). Let q be (2 + z/(-20))*2. Let d = -0.0033 - 0.4967. Put d, 4, q in descending order.
4, q, d
Let v be 2*-1 + (-35)/(-7). Suppose -3*b - 26 = -5*o, 2*o + 3*o = 2*b + 24. Suppose -2*q - 2*d - 3*d - 10 = 0, 3*q + 5 = -5*d. Sort v, q, b in decreasing order.
q, v, b
Let s = -3452 - -3454. Suppose z - 4*w = -1 + 18, -z - 2*w = 13. Let u = -5 - z. Sort s, -2/5, u in increasing order.
u, -2/5, s
Let h = 0.3954 + 0.0046. Put 0.2, h, 0.9, -5 in ascending order.
-5, 0.2, h, 0.9
Let s = 0.0428 - -5.9572. Sort s, -2, 17/5 in descending order.
s, 17/5, -2
Let j(z) = z**2 - 6*z - 1. Let q be j(6). Sort 1, -4, q, -2 in increasing order.
-4, -2, q, 1
Let c = -5 + 7. Let w(s) = 10*s + 108. Let r be w(-11). Sort 3, 0, r, c in ascending order.
r, 0, c, 3
Let u = -209 + 634/3. Put -0.5, u, 1.1 in increasing order.
-0.5, 1.1, u
Let b = 16 + -4. Let a = 5720 + -5725. Sort 5, a, -4, b in increasing order.
a, -4, 5, b
Let d = -3.1 - 0.9. Let g be ((-18)/(-225))/(6/(-10)). Put g, d, 0.3 in descending order.
0.3, g, d
Suppose 4*c - 3*c - 5 = 0. Let m(a) = -c + 2 + 3 - a. Let p be m(-2). Put p, 1, -3 in increasing order.
-3, 1, p
Suppose -3*h - 12 = h. Let w(v) = v**2 + 21*v - 42. Let q be w(-23). Put 13, h, q in descending order.
13, q, h
Let t = -26 + 53/2. Put 31, t, 2, 0.4 in decreasing order.
31, 2, t, 0.4
Let g = 508.9 + -509. Sort -16, g, -5/3, 3/8 in descending order.
3/8, g, -5/3, -16
Let g = 6.198 + -1.198. Put g, 4, 2.2, 0 in descending order.
g, 4, 2.2, 0
Let r = 6 + -12. Let p = r + -1. Put 3, p, -2 in descending order.
3, -2, p
Let d = -965 - -1675.3. Let w = d + -744. Let x = w - -33. Sort x, -2/13, 0.5 in decreasing order.
0.5, -2/13, x
Let y = -63 + 72. Put -2/7, 3, y in ascending order.
-2/7, 3, y
Let u be (6/35)/(22/(-154)). Put -2/9, 4, 3, u in increasing order.
u, -2/9, 3, 4
Let w = 641 - 644.3. Let z = -0.027 - 2.673. Let p = w + z. Put 4, p, 1 in increasing order.
p, 1, 4
Suppose 0*n - 12 = 3*n. Let a = 90.11 - 103.1. Let t = 13 + a. Sort n, t, 0 in ascending order.
n, 0, t
Let x = 574.01 - 570. Let m = x + -0.01. Suppose -3*s - 1 = -4*s. Sort m, s, -0.1 in increasing order.
-0.1, s, m
Let h(n) = -3*n**3 + n**2 - n. Let i be h(-2). Suppose -5 = -5*k - i. Let b be (-2)/(-12)*9*(2 + 0). Sort b, -2, k in ascending order.
k, -2, b
Let v(z) = z**3 - z**2 - 11*z + 3. Let t be v(-3). Let o be -2 - -2 - (-22)/2. Suppose o = r - 0. Sort t, 4, r in ascending order.
t, 4, r
Let h = 354 - 356. Put h, 0.1, 0.05 in increasing order.
h, 0.05, 0.1
Let r(y) = y**3 - 2*y**2 - y + 4. Let o be r(0). Let j(w) = w**3 + 10*w**2 + w + 12. Let x be j(-10). Suppose o = x*u - 2. Put 0, -3, u in descending order.
u, 0, -3
Let u = -0.8 + -12.2. Let l = 8 + u. Let f = l + 4.8. Put 4/7, f, 2 in increasing order.
f, 4/7, 2
Let q be (16 + -15)*0/1. Suppose q*o = 4*o + 8. Let j be (-18)/22 + o/11. Put 0, -3, j in ascending order.
-3, j, 0
Let f = 5.19 - 5. Put -5, 3, -0.5, f in increasing order.
-5, -0.5, f, 3
Let s(h) = 5*h**3 + h + 3. Let p be s(-3). Let f = 1083/8 + p. Put -2, f, -4, 0.3 in increasing order.
-4, -2, 0.3, f
Let m = -656 + 583. Put -4, 5, m, 2 in increasing order.
m, -4, 2, 5
Suppose -30*g - 16*g + 184 = 0. Put -2/5, g, 12 in descending order.
12, g, -2/5
Let n = 40.3 - 42.3. Sort 6/11, n, 2/3, -0.003 in descending order.
2/3, 6/11, -0.003, n
Let p = 3.96 + 0.04. Let b = 243 + -240. Sort -0.3, b, p, -1 in increasing order.
-1, -0.3, b, p
Let y be 6/(-12)*-2*1. Sort y, -16, 5.