 -4
Let w = 13.287 + -1.287. Let v = 1 - 0.9. Sort v, 0, w in ascending order.
0, v, w
Let x be 11/(385/(-14))*(-130)/78. Sort -3/44, -0.4, x in increasing order.
-0.4, -3/44, x
Let c = -5/319 + -573/4147. Let q be 27/(-18)*(-4)/21. Put c, 3, -0.1, q in ascending order.
c, -0.1, q, 3
Suppose -2*t = -5*z - 13, -4*t - 5*z - 43 = -54. Put t, -7, -1 in ascending order.
-7, -1, t
Let w be (3 - 2)*(6 + -4). Suppose -3*m = -3*g + 6, w*m - g + 5 = -0*g. Let l be 6/(-5)*20/6. Sort -2, -5, l, m in decreasing order.
-2, m, l, -5
Suppose -103 - 296 = -98*s - 7. Sort -1, -5, s, -4, 105 in decreasing order.
105, s, -1, -4, -5
Suppose 3 = 3*q - z + 7, 0 = 4*q + 3*z + 1. Suppose 2*n - y - 1 = 8, 3*n + 4*y + 14 = 0. Suppose -k = k + 4. Sort k, -3, q, n in decreasing order.
n, q, k, -3
Suppose -3*z = -2*z. Let f = -40.068 - -0.068. Let s = -39.6 - f. Sort s, 0.6, z in descending order.
0.6, s, z
Suppose -w = w - 10. Suppose -1333*y + 1143 = 51797. Sort w, -5, y in ascending order.
y, -5, w
Let t = -8.042 - -7.742. Sort -0.4, 0.3, -4, t, 3 in increasing order.
-4, -0.4, t, 0.3, 3
Let z = -9370 + 9367. Sort z, 63, -1/3, 0, 2 in decreasing order.
63, 2, 0, -1/3, z
Let f(p) = 12*p + 109. Let j be f(-9). Put 2, j, -5, -3, 4 in descending order.
4, 2, j, -3, -5
Let c = -8031 - -8035. Let f be ((-16)/(-12))/(4/(-6)). Put c, f, -1/9 in descending order.
c, -1/9, f
Suppose y + 66 = 64. Sort -1, y, -4, 364, 1.
-4, y, -1, 1, 364
Let d(v) = v**3 + 9*v**2 - 12*v + 7. Let x be d(-10). Let i be (36/x)/(2/6). Let u be (-144)/27 - (2 + i/(-3)). Sort 4, u, 2.
u, 2, 4
Let g be ((-2)/4)/(1/(-4)). Let k = 608 + -620. Let r be 1/(-2)*k/g. Put -2, -4, r in ascending order.
-4, -2, r
Suppose 0 = -a - b - 3, 2*b = -4 + 2. Let u = 134 + -134. Suppose 0*v = 4*v + 4. Sort u, v, a.
a, v, u
Let b = -184.8 + 183. Put 0.2, -4, b in increasing order.
-4, b, 0.2
Suppose -4*u - 4 = 4*l, -u = 3*l + 3 - 4. Let r = 575 + -608. Let a be 1/((-10)/44) - r/(-55). Put a, 3, l, -1 in decreasing order.
3, l, -1, a
Let r = -0.29541 - -0.09541. Put r, 2/15, 2.1 in increasing order.
r, 2/15, 2.1
Let q = -13725 - -13728. Sort q, 7, -3, -1, -13.
-13, -3, -1, q, 7
Suppose 4*d = -3*s - 62, 0*d + 90 = -5*s - 4*d. Let j = s + 18. Suppose -3*w = -0*w - 5*r - 35, -40 = -j*w + 5*r. Put -4, w, 1, 3 in decreasing order.
w, 3, 1, -4
Let s(k) = 2*k + 5. Let t be s(-5). Let f be -5*((-273)/(-35) - 7). Let r(b) = b**3 + 4*b**2 - 3*b - 4. Let y be r(f). Sort t, y, -4.
t, -4, y
Let t = 175.4 - 34.4. Let d = -128 + t. Sort 5, 6, d.
5, 6, d
Let k = -0.4648 + 0.0648. Put -0.3, k, -2/5439 in increasing order.
k, -0.3, -2/5439
Let u = -7/48 - 191/336. Let z = 36.8 - -113.2. Let i = 152 - z. Sort u, i, -0.4 in increasing order.
u, -0.4, i
Let k(w) = -w**3 - 6*w**2 + 5*w + 3. Let m be k(1). Suppose -7 = a - 6. Put 7, a, -3, m in decreasing order.
7, m, a, -3
Let w = 710.74 + -713.74. Let q = 0.1 - 0.3. Put q, 4, -1, w in decreasing order.
4, q, -1, w
Let a = 37/141 - 689/1551. Sort 4/7, -3/2, a in descending order.
4/7, a, -3/2
Let p be (-13 - -5)/(-4 + 2). Let s = -67/38 + 24/19. Put s, p, -3 in ascending order.
-3, s, p
Let g = 37042 + -37046. Put g, 185/2, -0.2, 3/7 in ascending order.
g, -0.2, 3/7, 185/2
Suppose 12 = -5*y + 3*o, -4*y - 3*o - 72 = -84. Put y, -42, 7 in decreasing order.
7, y, -42
Let p(a) = -a**2 + 16*a - 14. Let i be p(15). Let c(f) = 4*f**3 + 72*f**2 - 3*f - 58. Let x be c(-18). Sort i, x, -8 in ascending order.
-8, x, i
Let k(s) = -s**2 - 5*s + 4. Let j be k(-5). Let y(m) = m**2 - 25*m + 71. Let w be y(3). Sort j, -4, w, 6 in decreasing order.
6, w, j, -4
Let n be (-1441)/(-110) - (14 + -1). Put -5, 10, n in increasing order.
-5, n, 10
Let r(t) = 3*t**2 - 177*t - 175. Let k be r(60). Suppose j - 4*j - 3 = 0. Sort k, j, 4 in descending order.
k, 4, j
Suppose -89*r = -102*r + 39. Put -4, -5, r in descending order.
r, -4, -5
Let u = 1/1617 - 4405/1893507. Let x = u - -3527/8197. Sort -3/8, x, 2/27 in ascending order.
-3/8, 2/27, x
Let y = -12374 + 12362. Let q be 2/6*(-3 + 9). Sort 0, y, q in increasing order.
y, 0, q
Let v(c) = c - 6. Let f be v(6). Suppose -4*z + 0 + 16 = f. Suppose -4 = -2*i - 4*q, -q + 10 = -0*i - z*i. Sort i, -9, -1 in increasing order.
-9, i, -1
Let j be (-4 + 0)/((12 - 2)*97/(-485)). Sort -16, -12, j in decreasing order.
j, -12, -16
Suppose 3 = -i + 4. Suppose -2*r + 11*r = -90. Let s be (32/20)/(r/25). Put s, 5, i in descending order.
5, i, s
Let j be (-1)/(-16) + 5100/320 + -14. Sort 3, -3, -4, j, -2 in increasing order.
-4, -3, -2, j, 3
Let a be ((-4)/(-9))/(-25 + 2007/81). Let i = -1.13 - -0.13. Sort 1/2, i, a, -0.8 in increasing order.
a, i, -0.8, 1/2
Let l be 28/(-12)*(-2)/21. Let d be (-4)/6 + (-16)/(-33). Let c be ((8 + -9)*1)/(1*(-10)/8). Put d, 0.4, c, l in descending order.
c, 0.4, l, d
Suppose -3*m + 36*t - 39 = 33*t, -t + 19 = -4*m. Let w be 1*20 + -1 + 1. Put w, -3, m in descending order.
w, m, -3
Let u be 10/(-2) + (1 - 11)*-2. Let s = -0.2 - 0.8. Sort -1.3, 0, s, u in descending order.
u, 0, s, -1.3
Let c be -2*(-1 + -1 - -1). Let w(i) = i**3 + 9*i**2 - 27*i - 53. Let g be w(-11). Suppose -g*k = -85 + 65. Sort c, -5, k, -1.
-5, -1, c, k
Let y = 5020 - 5020. Put 0.01, -195, 5, y in descending order.
5, 0.01, y, -195
Suppose -3*z - l - 102 = 0, 3*z + 690*l - 691*l = -96. Put z, 13, -4, 1 in descending order.
13, 1, -4, z
Let i(k) = k**2 - 2*k - 6. Let u = -58 + 55. Let n be i(u). Let f be 22*2/12 + (-6)/n. Sort f, -5, 4, 2.
-5, 2, f, 4
Let f(l) = -14*l + 4. Let d be f(-1). Suppose -266 - 40 = d*q. Sort 5, q, 2/13, 1 in decreasing order.
5, 1, 2/13, q
Let x(i) = i**3 + 23*i**2 - i + 4. Let u be x(0). Let w be -1 - -3*(1 + 1). Suppose 0 = -s + w - 3. Put u, s, -4, 3 in ascending order.
-4, s, 3, u
Let u = -53.93 - -55.93. Suppose -4*v - 130 = -5*p + 2, 0 = p + 4*v - 12. Let q be (-2)/8 - (-78)/p. Put -5, q, u in descending order.
q, u, -5
Suppose -m + 8 + 1 = 0. Let k be 40/(-7) - (-16)/(-56). Let n be k/4*-2 - -2. Sort n, m, 3.
3, n, m
Let n be 22/(-3)*9/(-6). Let z be (n/33)/(1/(-3)). Let a(x) = 15*x - 251. Let l be a(17). Sort -4, -5, z, l.
-5, -4, z, l
Suppose 4455*m - 4454*m + 18 = -2*i, 4*m - 5*i = 32. Suppose w - 18 = 5*q, -2*w = 4*q - w + 18. Sort 0, -3/8, q, m.
q, m, -3/8, 0
Let s = -0.111 - 3.589. Let z = 4.89 - 5.29. Put -5, z, s in decreasing order.
z, s, -5
Let i = -9259 + 9259. Sort i, -36, 1, -11.
-36, -11, i, 1
Let h = 4354 - 4348. Sort h, -3/8, 0.06, 2/11 in ascending order.
-3/8, 0.06, 2/11, h
Suppose c - 150 = -3*i - 196, i = -5*c - 34. Sort i, -286, -1.
-286, i, -1
Suppose -4*w = 39*b - 40*b, -3*w + 5*b = -17. Let t = -24 + 25. Put w, 4, t, 0 in increasing order.
w, 0, t, 4
Let v be (-40)/(-12) + 3710/(-105). Put -3, v, -1, 4, -5 in increasing order.
v, -5, -3, -1, 4
Let m(z) = 19*z - 2. Let y be m(0). Let b be (-3)/2 - 28/(-8). Suppose 0 = -3*u - 134 + 146. Put y, u, b in decreasing order.
u, b, y
Let v(k) = k**3 - k + 4. Let d be v(0). Suppose -5*b - 5*t = 0, 2*b - 2*t + 6 = 6*b. Suppose -b*z + 12 = -6*z. Sort z, d, -9 in ascending order.
-9, z, d
Let p = 871 + -836. Let w be 5*p/25 + -3. Sort w, 8, 1 in descending order.
8, w, 1
Let a(y) = 201*y + 1369. Let q be a(-7). Put 0.1, q, -2, -1/11 in increasing order.
q, -2, -1/11, 0.1
Suppose -5*p = 9*p + 98. Suppose 5*m - 27 = -3*c, -4 - 9 = -3*m - c. Put m, p, -1, 1 in decreasing order.
m, 1, -1, p
Let p(t) = -t**3 - 7*t**2 - 7*t - 1. Let q be p(-6). Let k be (-37)/(-4) - (8/(-2))/(-16). Let l be (1*k)/(13/(26 + -13)). Put l, q, -1 in decreasing order.
l, q, -1
Let c = -21 + 32. Let o = 62.29 + -61.79. Put c, -4, o in decreasing order.
c, o, -4
Let b = 534.4 - 533. Let q = -4 + 9.4. Let j = q - b. Put j, 1/6, 3 in descending order.
j, 3, 1/6
Let q be 3/((-15)/(-25)) - 160. Let d = -158 - q. Put 8, d, 4 in descending order.
8, 4, d
Let a = -33 - -36. Let x = a - 3.2. Let z = x + -0.1. Put 2, z, -0.18 in decreasing order.
2, -0.18, z
Let a = 7.03 - 0.03. Let r = a + -5. Let l = -34797 - -34813. Sort l, -3, r, -5.
-5, -3, r, l
Let a be (-27)/18 - (-2739)/6. Let u = -450 + a. Put 9, 1, u, 2 in increasing order.
1, 2, u, 9
Suppose 4*f - 3*b - 36 = 0, -2*f + 28 = -2*b + 3*b. Let j = -6413/34 - -3266/17. Sort f, j, 0.4 in descending order.
f, j, 0.4
Suppose -20*x = 58*x. Let q = -4 + 3. Sort x, -3, q in descen