 -4 in increasing order.
-4, v, 7
Let t = 25 - 12. Let q(v) = -v**3 + 12*v**2 + 12*v + 15. Let d be q(t). Let h be 0 + d + 64/(-40). Put h, 4/7, -3 in descending order.
4/7, h, -3
Suppose 39 + 91 = 13*p. Put -3, 0, p in decreasing order.
p, 0, -3
Suppose 3*r = 3 - 12. Let w(n) = n**3 + 4*n**2 + 5*n + 2. Suppose q - 5*q - 12 = 0. Let v be w(q). Put r, -5, v in ascending order.
-5, v, r
Suppose 2*a = -4*p + 34, -5*p + 5*a - 17 + 82 = 0. Sort 4, -3, p, 0 in descending order.
p, 4, 0, -3
Suppose -2*k - 24 = k. Put k, 4, -7, -3 in increasing order.
k, -7, -3, 4
Let r = 0.4 + 0. Let f = 3.6 + -3.67. Let l = f + -0.13. Sort l, r, 3.
l, r, 3
Suppose -1 + 7 = -t. Let b = 27 + -32. Sort b, t, -2.
t, b, -2
Suppose 41*k - 9*k = 384. Put -7, k, -3 in increasing order.
-7, -3, k
Let o = -78/175 + 4/25. Put -0.5, o, 3, -7 in descending order.
3, o, -0.5, -7
Suppose -28*v - 2 = 54. Sort -7, 0, 2, v in descending order.
2, 0, v, -7
Let s = 38 + -44. Let z = -28 + 33. Sort z, -5, s in descending order.
z, -5, s
Let v(h) = 2*h**2 - 28*h + 86. Let g be v(10). Sort -3, g, 0 in decreasing order.
g, 0, -3
Let f = 125 + -121. Let a be ((-14)/f - -1)*(-336)/(-210). Put 5, 4, -3, a in decreasing order.
5, 4, -3, a
Let c = 0.3 - 0.27. Put c, 1, 5 in decreasing order.
5, 1, c
Suppose 3*y - 26 = 2*s, 4*s - 4*y = 2*s - 28. Let r = -1.204 + 0.204. Sort r, s, 1 in ascending order.
s, r, 1
Let m = 190.4 - 190. Let d = -5.1 + 5. Sort 3/7, d, -0.3, m.
-0.3, d, m, 3/7
Suppose 0 = -205*j + 216*j - 44. Let z be 2/(-5) - (-54)/(-15). Sort j, 0, z in decreasing order.
j, 0, z
Suppose 0 = -u + 12*c - 9*c + 14, 5*u + 4*c = 13. Let a = 7 + -7. Put u, a, -1 in descending order.
u, a, -1
Suppose s + 3*v = -15, 2*s + 596*v - 2 = 598*v. Let h(g) = g**2 - 5*g + 3. Let o be h(5). Put s, o, 2, 0 in increasing order.
s, 0, 2, o
Let q = -72.7 + -1.3. Let n = -73.7 - q. Put n, 0.4, -3 in ascending order.
-3, n, 0.4
Let r = -370.21 + 388. Let g = -0.21 - r. Let t = 18.5 + g. Put -0.3, -2, t in descending order.
t, -0.3, -2
Let z = -228/595 + -2/119. Let q = 78 - 78.5. Sort -0.8, q, -1, z in descending order.
z, q, -0.8, -1
Let r(n) = n - 3. Let g be r(5). Suppose j = -2*w + 7 + g, 6 = 5*j - 3*w. Let t = 5 - 8. Put t, -4, j in ascending order.
-4, t, j
Suppose 0*j + 35 = 7*j. Let a(l) = -l**3 + 7*l**2 - 6*l + 5. Let k be a(6). Let g = k - j. Sort g, -5, -1/2 in increasing order.
-5, -1/2, g
Suppose 0 = -3*x + 5*c - 22, x - 45*c + 43*c + 9 = 0. Put -2, x, 4, 37 in increasing order.
-2, x, 4, 37
Let h be 9/18*(2 - 7). Let k = 23.22 - 23. Let z = -0.02 + k. Sort z, 4, h.
h, z, 4
Let c = -28.16 + 28. Let l = c + -1.24. Let d = l - 2.6. Put -5, d, -1 in decreasing order.
-1, d, -5
Let l(c) = 10*c**2 - 52*c + 11. Let k be l(5). Sort 6, k, 4 in increasing order.
k, 4, 6
Suppose -2 - 2 = -4*k. Suppose 2*f + 2 = 3*v, v + 3 = -2*f + k. Let n be ((-4)/6)/((-1)/(-3)). Sort n, f, -5 in descending order.
f, n, -5
Let f(m) = -13*m**3. Let z be f(1). Let n = z - -8. Let c be 1 - (3 - (-3)/(-1)). Put c, -2, n in descending order.
c, -2, n
Let z(k) = k**3 - k**2 - 4*k + 1. Let p be z(3). Let g be ((-315)/(-12))/p - 4. Sort -1, -3/4, g in descending order.
g, -3/4, -1
Suppose 3*y + 6 = 6*y. Let k = 73 - 73. Suppose -2*m - 5*c + 3*c - 10 = k, c + 2 = 2*m. Put y, m, 2/3 in descending order.
y, 2/3, m
Let l be -6*-3*(-12)/54. Suppose 4*r = -4*h - 4, -5*h + 4 + 0 = -4*r. Put -2, h, l, -5 in decreasing order.
h, -2, l, -5
Let o be ((-2)/5)/((-9)/180). Suppose 4*t = o*t - 5*i - 30, -i = 2. Let z(n) = -n - 3. Let x be z(-7). Sort t, x, -5 in descending order.
t, x, -5
Suppose 25*i = -5*d + 26*i + 14, 2*i = 3*d. Suppose -m + 2 = -3*l - 4, -4*m = -3*l - 15. Sort -22, l, d, 0.
-22, l, 0, d
Let b(c) = -c. Suppose 2*q - 8 = -m, 4*q + 3 = m + 7. Suppose 6 + m = -2*s. Let f be b(s). Sort -3, f, 1 in ascending order.
-3, 1, f
Let v be 3/2*120/9. Suppose 3*a = -v + 5. Sort 3/5, 0.1, a.
a, 0.1, 3/5
Suppose 18 = 4*p + 2*j, j = -2*p + 3*j. Suppose 4*s = -p*w + 9, -3*s - 3 = -w - 0. Sort 3, 4, s in decreasing order.
4, 3, s
Let k be 6/(-10) - ((-6606)/560 - -8). Let p = -25/7 + k. Sort p, -5, -2/7 in descending order.
-2/7, p, -5
Let n be 12/(2 - -2) - -4. Let r be n/3*3 + 0. Sort r, -4, -2.
-4, -2, r
Suppose -1 + 3 = 2*o. Let d be (-6*3 - 2)*o. Let r be (d/(-25))/(0 - 1). Put r, -0.3, 0 in increasing order.
r, -0.3, 0
Let w(z) = -4*z - 115. Let p be w(-29). Sort p, 0, -5.
-5, 0, p
Let s = 285 - 290. Put 5, 4, s, -32 in decreasing order.
5, 4, s, -32
Let y = 49/10 + -461/90. Put y, -0.2, 0.4, -1/64 in ascending order.
y, -0.2, -1/64, 0.4
Let o = 156 - 156.2. Sort -3, 0.02, o in ascending order.
-3, o, 0.02
Suppose -4 = -2*w + 4*r, -11 = 4*r - 3. Suppose -38 - 34 = v. Let p = v + 74. Sort p, 0, w.
w, 0, p
Let f be ((-3888)/810)/(2 - (-8)/(-5)). Put -2, 5, f, 9 in decreasing order.
9, 5, -2, f
Let j be (3*3/18)/(6/12). Sort 2, j, -3/8.
-3/8, j, 2
Suppose -5*k = -5*q + 695, k = 2*q - 7*q - 133. Let n be ((-23)/k)/(1 - 7/10). Sort -5/2, 0.2, n.
-5/2, 0.2, n
Let z = 0.226 - 0.126. Put -1/7, z, 3, -0.07 in decreasing order.
3, z, -0.07, -1/7
Let t(h) = -h**2 + 5*h + 1. Let o(m) = m**2 - 5*m. Let p(r) = -6*o(r) - 7*t(r). Let k be p(6). Sort -4, 4, k in descending order.
4, k, -4
Let b = -21.1 - -48.1. Put 2/3, b, -2, -0.4 in decreasing order.
b, 2/3, -0.4, -2
Let v = -24.765 + 25. Let z = -0.035 + v. Let a = -0.7 + 1. Sort 4, a, z in descending order.
4, a, z
Let y(j) = -j**2 - 3*j - 1. Let v be y(-4). Let p = -6 - v. Let s = -41 + 38. Put s, p, 0.1 in descending order.
0.1, p, s
Let z = -2180 - -6539/3. Sort -0.5, 2/3, z, 0.24 in decreasing order.
2/3, 0.24, z, -0.5
Let y = 264.9 - 265. Put 0.2, y, -1, 21 in increasing order.
-1, y, 0.2, 21
Let x = 1422 - 4261/3. Sort 9, -0.5, x in descending order.
9, x, -0.5
Let x be -1 - (-1 + 1 + -6). Sort 1, 28, 2, x in decreasing order.
28, x, 2, 1
Let k = 27 + -78. Let v = 46 + k. Sort v, 2, 0 in descending order.
2, 0, v
Let u = 8 + -7.5. Let x = -296 - -293. Sort u, 0.1, -1/14, x in increasing order.
x, -1/14, 0.1, u
Suppose 0 = -3*b + 2 - 17. Let a = b - -7. Let t = 95 - 1139/12. Put a, t, -0.4 in decreasing order.
a, t, -0.4
Let f = 0.3 - 1.3. Let j be (-5)/(25/(-585)) - (3 + -2). Let s = -929/8 + j. Sort s, f, 0.3 in increasing order.
f, s, 0.3
Let n(m) = -5*m - 7. Let s be n(-6). Let j = s - 47/2. Let q be 3/(-1*(-1 + 2)). Sort j, q, 0.3 in descending order.
0.3, j, q
Suppose 0 = 5*c - 5*w + 30, 5*w - w = 4. Suppose 5*d + 16 = 2*p, -6*d + d = 0. Suppose p*a - 4*a + 12 = 0. Sort 2, c, a in descending order.
2, a, c
Suppose -5*w + 764 = 4*y, -7*w + 2*y = -12*w + 772. Sort 3, w, 0, 5 in decreasing order.
w, 5, 3, 0
Let q be (-520)/(-1100) - (-6)/(-22). Let i = -3.7 + 0.7. Sort q, -2/7, i in decreasing order.
q, -2/7, i
Let t be 12/(-14) - 82/(-14). Sort 4, t, 0, -1.
-1, 0, 4, t
Let p(q) = -2*q**3 + 17*q**2 - 29*q + 2. Let t be p(6). Sort -1, 4, t in descending order.
t, 4, -1
Let c = 0.558 - 0.058. Sort 70, -0.1, -1/2, c in ascending order.
-1/2, -0.1, c, 70
Let v = 632.93 + -633. Put 1/4, -1, v in decreasing order.
1/4, v, -1
Let q = 443 + -443. Put 4, q, -12, 3 in descending order.
4, 3, q, -12
Suppose 3*w + 516 = 543. Let x = 0.8 - 4.8. Sort w, x, 0.2 in descending order.
w, 0.2, x
Let t = 3646/5 - 729. Let u be (5 + -2)*2/(-3). Sort t, u, 3 in descending order.
3, t, u
Suppose -24*p + 44 = -28. Sort 1, 9, -1, p in decreasing order.
9, p, 1, -1
Let u be (-4 + 0 + 3)*0. Suppose 2*s + 0*n - 8 = 3*n, 2*s = 5*n + 16. Put s, u, -4 in descending order.
u, s, -4
Suppose 4*b - 1 = 4*q + 11, 23 = b + 4*q. Sort 3, b, 5 in descending order.
b, 5, 3
Let v = 147 + -146. Suppose -3*w + 26 = 2*g, -w - 4*g + g = -18. Let h = w - v. Put 2, h, -5 in increasing order.
-5, 2, h
Suppose 15*l + 9 = 6*l. Sort -4, l, 55 in ascending order.
-4, l, 55
Suppose 0 = -4*m + 3*m. Suppose m = 2*d - 3*q + 1, -4*q + 7 = d + 2*d. Put d, 3, 2 in descending order.
3, 2, d
Let h = -160.7 + 163.7. Sort -0.14, h, 0.5, 3/5 in increasing order.
-0.14, 0.5, 3/5, h
Let a = -4.5 + 18. Let p = a + -14. Let y = -0.1 - 0. Sort p, 1, y in descending order.
1, y, p
Let r = 2.2 + 0.1. Let w = r + -0.3. Sort w, 4, 0 in descending order.
4, w, 0
Suppose -19*w = -8*w. Sort -1, w, 1, 128.
-1, w, 1, 128
Suppose 5*a - 3*h = -28, 2*a + 128*h + 22 