der.
p, 2, d, -16
Let q be (321/1712)/((-2)/(-12)). Sort 13, -0.06, q in descending order.
13, q, -0.06
Suppose x + 8 = 5*x. Let p be (-56)/(-70)*(-25)/10. Put 3, x, -4, p in ascending order.
-4, p, x, 3
Suppose -14 = -2*b - 5*j - 10, 9 = -b + 3*j. Put b, 1, -21 in ascending order.
-21, b, 1
Let g = 2541.1131 - 2541. Let u = g - -0.0269. Sort -9, 0.5, u, 5 in decreasing order.
5, 0.5, u, -9
Let w = 7 - 8.66. Let p = w - -1.6. Let l(c) = -c**3 - 11*c**2 - 2*c - 2. Let g be l(0). Sort 0, g, p in ascending order.
g, p, 0
Let a = 13500 - 13579.29. Let y = 0.71 - a. Let f = 80.1 - y. Sort f, -0.2, 0, 0.5.
-0.2, 0, f, 0.5
Suppose -4*r - 10*i + 28 = -6*i, 4*i = 16. Suppose -5*c + j - 22 = 0, -8*c = -r*c - 3*j + 26. Sort c, -28, -1.
-28, c, -1
Let s be ((-15)/((-225)/(-510)))/(8/1324). Sort 4, 1, s in decreasing order.
4, 1, s
Let f be (3/((-18)/(-24)))/(2/(-4)). Let b be (-45)/(-120) + 35/f. Let r be (-6 - b)/(-2 - -4 - 0). Put r, -5, -53 in ascending order.
-53, -5, r
Let m be (7 + (-20)/3)*126. Let s = m - 37. Put s, 16, 2 in decreasing order.
16, s, 2
Let h = 173.11 - 172.91. Let m = 0 - -2. Let n = -5 + m. Sort 2/9, n, h in decreasing order.
2/9, h, n
Let t = 0.1466 + 0.9534. Put -1/6, t, -5/4, 4 in descending order.
4, t, -1/6, -5/4
Let r = -53.8 - -75.8. Sort 4, 0, r.
0, 4, r
Let v = -19.73 - -13.73. Sort -4/9, 1/3, 1, v, -0.6 in ascending order.
v, -0.6, -4/9, 1/3, 1
Let j = 729.1 - 729.4. Sort j, -0.1, -7, -0.5 in ascending order.
-7, -0.5, j, -0.1
Suppose -2*y + 17 = 3*o, -2*y - 183 = 2*o - 197. Let d = 2 - 0. Put 0, d, 4, o in ascending order.
0, d, o, 4
Let o = -35 - -111. Suppose 2*g - 4*n + o = -0*g, -2*g - 41 = 3*n. Let q = 931 + -932. Put q, 3, g in ascending order.
g, q, 3
Let w = -83.57 + -0.43. Let s = w - -83.6. Sort s, -2/15, -4, 4 in ascending order.
-4, s, -2/15, 4
Let y = -0.3569 - -0.3369. Sort -5, 0.1, y, 2/9, 0 in ascending order.
-5, y, 0, 0.1, 2/9
Let b = 2.593 - 0.593. Sort 1, b, 0, -1.2, -0.5.
-1.2, -0.5, 0, 1, b
Let s = 26 - 132/5. Let r = -39 - -31. Let u be ((-6)/(-24))/(9/r). Put s, -5, u, 0.4 in increasing order.
-5, s, u, 0.4
Let m be (-6 - (-9 + 3))/2. Let k be (-3)/(-6)*(5 + 1). Put 1, -1, m, k in ascending order.
-1, m, 1, k
Let x = 56.73 + -56.23. Sort 4, -17, x, -1, -2 in descending order.
4, x, -1, -2, -17
Let z = 13.45 - 13.65. Sort 2/5, 0.1, z, 138 in descending order.
138, 2/5, 0.1, z
Suppose -5*c = 4*o + 524, -c - 151 = 5*o + 504. Let r = 130 + o. Let z be -3*5*(-3)/(-9). Sort r, z, 12 in decreasing order.
12, r, z
Let t(j) = 8. Let n(x) = -x. Let g(w) = n(w) - t(w). Let z be g(4). Suppose 37*f + 37 = -0*f. Sort -5, z, 0, f in increasing order.
z, -5, f, 0
Let x = 19.14 + -16.14. Sort 6, 0.015, x, -1.
-1, 0.015, x, 6
Let h = 2078 + -2077.7. Sort -0.1, h, 0.02, 2, 5 in descending order.
5, 2, h, 0.02, -0.1
Let g be 2/9 - 100814/(-342). Let j = g - 293. Sort j, -16, 3 in descending order.
3, j, -16
Let j = -134.605 - -134. Let c = j - -0.505. Sort 0.06, -3/14, c in descending order.
0.06, c, -3/14
Let z = 8 + -18. Let v be (-1*(-2)/6)/((-5)/20 + 176/2112). Sort z, v, 5 in descending order.
5, v, z
Suppose -5*s - 16 = 3*l, 0 = -2*s - 26*l + 25*l - 5. Sort 4, 366, -1, s in descending order.
366, 4, s, -1
Let t = 23 - 35. Let a(m) = m**3 + 11*m**2 - 7*m + 11. Let l be a(t). Let k = l + 53. Sort 0.04, -0.06, k in increasing order.
-0.06, 0.04, k
Let w(o) = 3*o - 4. Let x be w(3). Suppose n + 17 = x*n - j, -2*n + 4*j - 2 = 0. Let c = -35879 + 35877. Put n, c, 4, -1 in increasing order.
c, -1, 4, n
Let p = 3972 + -3972.3. Let o = -18 - -17.5. Put o, p, 2/31 in decreasing order.
2/31, p, o
Let l(w) = -w - 5. Let j be l(0). Let m be (1 + -1)*(15 - 1357/92). Let q be (-1)/(2*(-2)/20). Put m, j, q in descending order.
q, m, j
Let s = -4 - 42. Let m = s - -42. Let g = -45 + 51. Sort -2, g, m.
m, -2, g
Suppose -274*n + 29*n = 735. Let y = -50 - -72. Put y, -1, n in descending order.
y, -1, n
Suppose 84*n - 517852 = -251*n + 763188. Put n, -5, 0 in increasing order.
-5, 0, n
Let p(n) = 2*n**2 + 50*n + 307. Let i be p(-12). Sort i, -2/3, -2, -4 in increasing order.
i, -4, -2, -2/3
Let q = 1192606.0534 + -1192904. Let y = q + -0.0534. Sort -0.4, 0.5, 1/4, y in increasing order.
y, -0.4, 1/4, 0.5
Let m = -5.597 - 0.103. Let i = m - -5.5. Let h = -85 + 257/3. Put -1, h, i in descending order.
h, i, -1
Suppose -2*w + u = 0, 2*u = -2*w - 3*u. Let x = 398 - 398. Suppose -q + 2*j + 2 = x, 24*q + 11 = 25*q - 5*j. Sort -8, w, q in ascending order.
-8, q, w
Let m = 181 - 172. Suppose 23*s - 20*s - m = 0. Put 4, 0.4, s in decreasing order.
4, s, 0.4
Let t = -861 + 865. Sort 8, 2, 3, 1, t in decreasing order.
8, t, 3, 2, 1
Let y(b) = 19*b**2 - 18*b + 2. Let t be y(2). Suppose f + t = -5*f. Put f, -2, -4 in decreasing order.
-2, -4, f
Let j be (-1)/(57/30 + -2). Let y(q) = q**3 - 11*q**2 + 14*q - 34. Let a be y(j). Suppose 10*n + a = 4*n. Put n, 3, -14 in increasing order.
-14, n, 3
Let v = 27760.124 - 27760. Sort 0.5, 0.2, 3, -0.7, v in decreasing order.
3, 0.5, 0.2, v, -0.7
Suppose -12*z = 59 - 95. Suppose -9 = 4*s - 5. Sort z, 1, 4, s in ascending order.
s, 1, z, 4
Let s = -578.5 + 733. Let h = -154 + s. Put -5, h, -0.3, -16 in increasing order.
-16, -5, -0.3, h
Let k(b) = -b**2 + 7*b + 3. Let v be k(7). Let l = 0.2 + -0.3. Let a = -1516 + 1515.6. Put l, a, v in increasing order.
a, l, v
Let r(u) = -u**3 - 13*u**2 + 80*u - 21. Let h be r(-15). Let w = -769 - h. Sort w, 1, 3, -4 in decreasing order.
3, w, 1, -4
Let u be (-11)/(-12) + 1970/(-1182). Put -1, -2/3, u, 2/13 in descending order.
2/13, -2/3, u, -1
Let h(t) = 6*t**2 + 40*t + 74. Let w be h(-2). Let l = -6 + 1. Suppose 0 = 3*q - q - 0*q. Sort w, l, q.
l, q, w
Let k(f) = 21*f + 4. Let w be k(1). Suppose -26*n + 2 = -w*n. Suppose -n = -2*q - 5*t, 6 = 5*q - t + 1. Sort q, 4, 5 in ascending order.
q, 4, 5
Let d be (-3)/(((-18)/60)/((-7)/35)). Sort -16, d, 4, 5 in descending order.
5, 4, d, -16
Let v = -56.1 + 56.07. Sort -4, -1/4, -25, v, -3 in increasing order.
-25, -4, -3, -1/4, v
Let k = -5624 + 5627. Sort 1/3, -0.01, 0, k, 8 in descending order.
8, k, 1/3, 0, -0.01
Suppose -21*g = 8*g - 1015. Suppose 2*k - 41 + g = -4*z, -k + 6 = 3*z. Put 3, k, -5, -1 in increasing order.
-5, k, -1, 3
Suppose -v = v + 2. Suppose 70*y = 69*y + 16. Let b be y/(-5)*(-30)/(-12). Put b, v, -2 in descending order.
v, -2, b
Let f = 7413 + -7411. Sort 0.2, 5, 15, -1.3, f in descending order.
15, 5, f, 0.2, -1.3
Let k = -0.344 - -0.444. Let f = 16 + -5. Let v = 10.8 - f. Sort v, -10, k.
-10, v, k
Let n(r) = -34*r - 6 + 0*r**2 - r**3 + 29*r - 5*r**2 + 0*r**2. Let j be n(-4). Let a = -3 + 5. Put j, a, 4 in decreasing order.
4, a, j
Suppose 5*d = 76*l - 74*l + 48, 0 = -3*l + 2*d - 28. Suppose -3*f + f = 20. Let k = 7 + f. Sort k, l, -0.4.
l, k, -0.4
Let d be 12*(-8)/(-864)*-9. Sort d, 28, 10.
d, 10, 28
Suppose -22*t - 20*t - 25*t + 67 = 0. Sort -5, 27, 6, t.
-5, t, 6, 27
Suppose 6*t - 2*t = 20. Let v = -16599 + 16602. Sort t, -1, v.
-1, v, t
Let c(z) = -z**3 + 86*z**2 - 164*z - 339. Let v be c(84). Suppose -5*i + 4*s - 15 = 0, 25 = -4*i + 9*i + 4*s. Sort v, 4, -9, i in descending order.
4, i, v, -9
Suppose 3*w + 5*q + 27 = 65, 3*w - 2*q - 10 = 0. Let g(u) = -20*u**2 + w + 3 - 13 + u + 2*u**3. Let x be g(10). Put -1, -3, x in decreasing order.
x, -1, -3
Let t = -2 + 2. Let w = 49418 + -49416. Sort -4, 5, w, t in decreasing order.
5, w, t, -4
Suppose 857 = 18*p - 79. Let x be p/(-78) - (0 + 4/3). Let d be (12/(-7))/2*-7. Sort d, x, 2 in decreasing order.
d, 2, x
Let s be (1 - 2)*170/(-1105). Sort -0.4, s, 8, 2 in increasing order.
-0.4, s, 2, 8
Let f be (234/(-90) + 3)*10/353. Sort -1, 0.3, f in descending order.
0.3, f, -1
Let t = 566 - 675.1. Let m = 117 + t. Let f = 7.4 - m. Put -4, f, -3, 4 in descending order.
4, f, -3, -4
Suppose -3*b = 5*f + 3, 8 - 11 = -4*f + 3*b. Let t = 24.006 + -0.006. Let y = t - 27. Sort y, 5, 2, f.
y, f, 2, 5
Suppose 5*a + 5315 + 1472 = 3*i, 0 = -2*i + 8. Sort a, -1, -4 in descending order.
-1, -4, a
Suppose -j + 2*y + 3*y - 17 = 0, 3*j = -2*y. Put j, 0.17, -1/12 in decreasing order.
0.17, -1/12, j
Let j = -10 - -9.7. Let l = -4440 + 4493. Sort -5, j, l in descending order.
l, j, -5
Suppose 5*a + 2*u = 1 + 3, -2*a - 5*u + 10 = 0. Let c be (-1 + a)*-1*28/4. Put c, 8, -0