der.
d, -1/1414, 0
Let u = -10095 + 10100. Put u, 0, 287, -1, -3 in decreasing order.
287, u, 0, -1, -3
Let s = -102 - -72. Let q be ((-36)/s)/(6/(-15)). Sort -37/2, 3, q.
-37/2, q, 3
Let k = 4274 + -12824/3. Let b = 103 + -71. Put 1/4, k, b, 0.6 in decreasing order.
b, 0.6, 1/4, k
Let w be ((-58)/174)/((-1)/9). Let l be 2/8 - 136/288. Sort l, 5, w, 2/5 in ascending order.
l, 2/5, w, 5
Suppose 11*x + x - 204 = 0. Suppose -s = 5*o + x - 0, 0 = 4*o - s + 10. Sort -1, o, 0.16 in descending order.
0.16, -1, o
Let c = 33 + -65. Let d = 2045 - 2045. Sort -1/2, c, d.
c, -1/2, d
Let k be (2 - 2142/1056)/(3/6). Let w = k - 141/616. Let h = 914/7 - 131. Sort w, -20, h in decreasing order.
w, h, -20
Suppose 3*f - 23*f = -2*f - 72. Put -31, -3, f, 0.07 in increasing order.
-31, -3, 0.07, f
Suppose 0 = 3*x - 7 - 5. Let r be 0/(12/x + -4). Let l be (-70)/(-21)*24/20. Sort r, l, -3 in decreasing order.
l, r, -3
Suppose -13 = -2*f - 1. Suppose 0 = f*p + 20 - 50. Put 6, 3, p in ascending order.
3, p, 6
Let x = 77/69 + -195/161. Sort -1, x, 3/2, -0.3, 4 in decreasing order.
4, 3/2, x, -0.3, -1
Let i(c) = -2*c**2 - 7*c + 6. Let s be i(5). Let b = 82 + s. Put -11, b, 1, 2 in ascending order.
-11, 1, 2, b
Let n(j) = -3*j + 20. Let z be n(8). Let a be (9/z)/((-24)/(-16)). Let l = 0.85 - 0.9. Sort l, a, -0.3, -1 in decreasing order.
l, -0.3, -1, a
Let p = -749 - -747. Let s be ((-6)/4)/((-1)/2). Suppose 0 = 3*m + 6, 3*m + 1 = -s*l + 10. Sort l, -3, p in decreasing order.
l, p, -3
Let t = -0.469 - 0.268. Let c = -0.263 + t. Sort c, 0, 44 in decreasing order.
44, 0, c
Suppose 12 = -2*n - 3*n + 3*g, 3*n = 4*g - 16. Suppose -15 = -3*a, n = -m + 11*a - 9*a + 17. Suppose 28*k - m*k + 2 = 0. Put k, -5, -6 in decreasing order.
k, -5, -6
Let y be 312/130*(-350)/(-7). Sort 0, y, -1 in increasing order.
-1, 0, y
Let o(y) = 9*y - 16. Let r be o(2). Suppose -7*s + 2*s = -10. Suppose -s*j + 2*c + 1 + 3 = 0, -r*c = 4*j + 10. Sort 2, 4, j in descending order.
4, 2, j
Let y = -416 - -372.8. Let w = y - -44. Let c = 0.9 - w. Sort -0.4, 2/5, c in increasing order.
-0.4, c, 2/5
Let a be 0*((-33)/(-42) + (-2)/7). Suppose -g = -3*v - a*g + 2, -6 = -2*v - 4*g. Sort v, -4/3, 3/4, 4.
-4/3, 3/4, v, 4
Let j = -0.5357 - -0.4357. Put 0.2, -0.2, -1, 8, j in ascending order.
-1, -0.2, j, 0.2, 8
Let m = 13739 - 13742. Put 2, m, 722, 4, 1/4 in descending order.
722, 4, 2, 1/4, m
Suppose -21*h + 4*h - 130*h = 37*h. Sort 139, h, 3, 4 in ascending order.
h, 3, 4, 139
Let a = -1.5 + 0.6. Let q = -0.6 - a. Suppose -94*c = -89*c + 20. Put 35, q, c in ascending order.
c, q, 35
Let l = 0.477 - 0.098. Let f = l + -3.379. Put -2/7, 1, f in decreasing order.
1, -2/7, f
Let m = 6611 + -6615. Sort 5, -2419, m in decreasing order.
5, m, -2419
Let n be -6*(-5)/30*-9. Let d(t) = -t**2 + 24. Let u be d(n). Sort 4, -5, -3, u in ascending order.
u, -5, -3, 4
Let r(l) = 3*l**2 - 13*l + 3. Let m be r(4). Let u = -116 + 112. Put -5, m, 1, u in ascending order.
-5, u, m, 1
Let c = -4672 - -4675. Sort 10, 2, 17, c in descending order.
17, 10, c, 2
Let k = 22277 - 22275.8. Put k, 0.21, 1/4 in decreasing order.
k, 1/4, 0.21
Let y(t) = 2*t**3 - 5*t**2 + 17*t - 1. Let b be y(-4). Let q = -272 - b. Put 28, 0, q, 3 in decreasing order.
28, q, 3, 0
Suppose -3*y + 3*g + 585 = 0, 3*y - 798 = -2*g - 198. Put 1, -5, y, 3, 5 in ascending order.
-5, 1, 3, 5, y
Suppose 0 = -23*x + 11*x - x + 39. Sort 2, 300, x in increasing order.
2, x, 300
Let a(k) = -k**3 + 13*k**2 - 28*k - 16. Suppose -3*j - 5*b = -30, -6*b + b = 0. Let v be a(j). Put 1/7, 10, 5/3, v in descending order.
10, v, 5/3, 1/7
Let g = -0.43 - 0.07. Let y = 1440 - 1439. Put g, -1.3, y in decreasing order.
y, g, -1.3
Suppose 273*x + 2480 = -411 + 707. Sort 4, x, 2/29.
x, 2/29, 4
Let n = 84 + -167/2. Let l = -200 - -211.1. Let c = l + -6.1. Sort -0.5, -5, n, c in descending order.
c, n, -0.5, -5
Suppose 1 = 2*m - w, -w - 1 = -2. Let z(l) = 8 + 3*l**2 - 4*l - 4*l + 3 - 3. Let k be z(1). Sort 1/2, -3, m, k in increasing order.
-3, 1/2, m, k
Let v be ((-133)/14 - -10)*5/10. Sort -0.48, 1, -1/8, 0.5, v in decreasing order.
1, 0.5, v, -1/8, -0.48
Suppose -2*g - 324*i = -321*i - 8, -18 = g - 4*i. Let t(h) = 0*h + 4*h - h**2 + 6 + 0*h. Let l be t(5). Put 4, g, l in ascending order.
g, l, 4
Suppose -2*x = 8*y - 6*y + 10, x + 21 = -5*y. Let b be -3 + -4*(-35)/20. Sort x, -3, -22, b in increasing order.
-22, -3, x, b
Suppose -2*y + 4*y + 1358 = 1358. Suppose 4*t = 5 + 7. Let h be (y - 1/t)*(-15)/10. Put 2, h, -1, 17 in descending order.
17, 2, h, -1
Suppose -23 = -5*c + 3*h - 31, -2*c - 1 = h. Sort 0.6, c, 0 in descending order.
0.6, 0, c
Let t = 112 + -112. Suppose 2*i - 5*r + 21 = t, 4*i + 24 = -4*r - 60. Let k = 79 + -235/3. Sort i, k, -0.4 in descending order.
k, -0.4, i
Let r(k) = 8797*k + 114354. Let b be r(-13). Suppose 0 = 3*p + 2*p - 20. Let z(v) = v**2 + v - 1. Let s be z(-3). Sort b, -2, p, s in decreasing order.
s, p, -2, b
Suppose 0*w + 3*w = 2*z - 21, -2*z = w - 1. Let o be (-20)/35*-1*12/(6600/(-175)). Sort 0.3, z, o, 2/19 in ascending order.
o, 2/19, 0.3, z
Let w = -25 + 28. Suppose -9*b = -w*b - 42. Suppose -2*m + b*m - 40 = 0. Sort m, -5, 4 in decreasing order.
m, 4, -5
Suppose 5 = -3*d - 2*d. Let h = 313585/7 - 44901. Let b = 103 + h. Put d, 1/3, b in decreasing order.
1/3, b, d
Let j = -168 + 2. Let k = j - -165.9. Let c = -15.94 + 16. Sort 4, k, c in descending order.
4, c, k
Let q(j) = -2 - 1 - 10*j - 1 - 2. Let h(y) = -y**3 - 13*y**2 - 10*y + 23. Let t be h(-12). Let c be q(t). Sort c, 0, -1, -5 in decreasing order.
c, 0, -1, -5
Suppose -r + 3 = 8. Let t(o) = o + 31. Let a be t(-27). Let b be (20/(-3))/(-2) - a. Sort 0, b, -1/4, r in decreasing order.
0, -1/4, b, r
Let u = 209 - 758. Let f = u - -546.1. Sort -0.3, -0.4, f in decreasing order.
-0.3, -0.4, f
Suppose 23*p - 29*p = -1278. Let v = p + -209. Put v, -5, -3, -2 in descending order.
v, -2, -3, -5
Suppose 30 = -5*l + 2*z, 0*z = 2*l + 2*z - 2. Suppose 3*j - 132 + 12 = 0. Suppose -j = -o - 7*o. Put 1, o, l, 0 in decreasing order.
o, 1, 0, l
Let t be -2 + (30/(-14))/(144/(-672)). Sort t, -1/6, 4, -4 in increasing order.
-4, -1/6, 4, t
Let k = -118 - -118.99. Let x = k + -0.49. Sort 0.3, 1, x, -13.
-13, 0.3, x, 1
Let j be 42/8 - (-42)/56. Let t = 50 + -36. Suppose t*g - 2*g = -48. Sort -3, j, g in increasing order.
g, -3, j
Suppose -329*r + s = -332*r - 64, 5*r + s = -104. Let b = 13 + -16. Sort b, 5, 3, r in descending order.
5, 3, b, r
Let v = -1.855 - -1.855. Let d be (-3)/2*(-70)/3. Let f be (-1)/(-2) + d/(-30). Sort f, v, 1.
f, v, 1
Suppose 17*n + 16 - 251 = -30*n. Sort 1, -20, n in descending order.
n, 1, -20
Let l(v) = v**3 - 7*v**2 - 8*v + 8. Suppose 5*x = 7*x - 16. Let w be l(x). Suppose w*o - 4*o = 0. Put -5, o, -2 in ascending order.
-5, -2, o
Let m = -902 + 712. Let o = 219 + m. Sort -0.5, o, -1 in ascending order.
-1, -0.5, o
Let p be ((-1)/(-2))/(-19*36/2736). Sort -4, -393, -1, p.
-393, -4, p, -1
Suppose -2*j - 2810 = -12*j. Suppose 0 = 13*g - 109 - j. Suppose 0 = 3*z - 13*z + g. Put 0, 5, z in decreasing order.
5, z, 0
Let v = 210 + -209.815. Let q = 0.385 - v. Put q, 0.04, -3/7 in increasing order.
-3/7, 0.04, q
Let r = 5.422 + -0.422. Let b = 0.61 + 4.99. Let u = b - 7.6. Put u, 2/9, r in descending order.
r, 2/9, u
Let l be (-4 - (15 - 25)) + -7. Sort -3, -60, l in descending order.
l, -3, -60
Suppose -3*a - 53 = 4*f, -5*f + 55*a - 56*a - 69 = 0. Put -1, f, 2, -7, 5 in descending order.
5, 2, -1, -7, f
Suppose 4*j - 69 = -308*p + 309*p, 2*p - 2*j + 126 = 0. Put -15, 0, p, 2 in increasing order.
p, -15, 0, 2
Let h = 642 + -637. Suppose -4*d + 27 = -h*w, w = 2*d + 26 - 35. Sort d, 11, 16.
d, 11, 16
Let t be (-14*3/(-98))/(-1 + 29/14). Put -0.5, t, 4, -1/33, -4 in descending order.
4, t, -1/33, -0.5, -4
Let m = 15 + -19. Suppose -4*f = q + 92, q + 6*f = 3*f - 96. Let i = -109 - q. Put -3, m, 2, i in descending order.
2, i, -3, m
Let b = -11 - -38. Let m = 49 + b. Let g = -232/3 + m. Put g, 1, -5 in decreasing order.
1, g, -5
Let k = 0.05 - -0.09. Suppose -5*q = c - 5, -4*c - 50 = -30. Sort -0.19, k, q.
-0.19, k, q
Let l = 13 + -13. Suppose c - v - 71 = 6*c, l = 2*c - 2*v + 38. Let f(u) = u**2 + 16*u + 11. Let d be f(c). Sort 5, 0, d in descending order.
5, 0, d
Suppose -p - 278 = -4*d, -2*