der.
1, 0, r, -0.4, -2
Let q = 37.8 + 3.2. Let d = q - 41.1. Suppose -5*z - 8 = 3*h, -5*h + z = -h + 3. Sort d, 0, h.
h, d, 0
Let o = 6 - 3. Suppose 0 = 3*c - 4*y + 4322, -25 = -2*y - 3*y. Let g = 1433 + c. Put 2, o, -18, g in ascending order.
-18, g, 2, o
Let p be (-6 - 455/(-75))*-8*14/(-224). Let r = 4 + 1. Put -6, 0, r, p in decreasing order.
r, p, 0, -6
Let m be 1/(6/255)*6/5. Let n = m - 33. Suppose 0 = -4*r + 3*x - 15, 0*r = -2*r - 2*x - n. Put -1, 5, r, -5 in ascending order.
r, -5, -1, 5
Let j be ((-216)/(-57) + -4)/(0 + -22). Let u = 337 - 342. Put j, 2, u in decreasing order.
2, j, u
Let o = -1.4718 - -1.5718. Sort 29.6, -1, o in increasing order.
-1, o, 29.6
Suppose -f - 21 = -2*c - 29, 0 = c - 4*f + 25. Sort c, 33, -2 in increasing order.
-2, c, 33
Suppose 5*b + 91 = x, -32 = b + b + 4*x. Let h(g) = 2*g**3 + 34*g**2 - 34*g + 38. Let u be h(b). Sort 1, u, 20 in decreasing order.
20, u, 1
Let a = 1.1 + -0.1. Let m = -11 - -26. Suppose -m*k + 82 = 7. Sort 0.4, k, a, -4 in decreasing order.
k, a, 0.4, -4
Let f = -2855 + 2857. Put f, -0.5, 2/2897, 0 in descending order.
f, 2/2897, 0, -0.5
Suppose -38*a + 4*f = -34*a + 28, 0 = -7*a - 5*f - 13. Sort 2, 0, -5, 3, a.
-5, a, 0, 2, 3
Let c be 3/(-6)*(-4)/10. Let s = 1.8119 + -1.7779. Put s, 2, c in descending order.
2, c, s
Let m = -3.722 + 3.78. Let d = m - 0.088. Sort -2/9, d, -3, -5 in decreasing order.
d, -2/9, -3, -5
Let d = 30415.84 + -30416. Sort d, -23, -2/3.
-23, -2/3, d
Let b = 2327.4 - 2327.4. Sort 1.3, 2/13, b, 5 in decreasing order.
5, 1.3, 2/13, b
Let h = 261600/11 - 23782. Sort -5, -0.04, h, -23 in descending order.
-0.04, h, -5, -23
Let g = -1.9603 - -2.3603. Put 0.1, 11/5, 28, g, -0.1 in decreasing order.
28, 11/5, g, 0.1, -0.1
Let b be (10/3)/(4/6). Suppose -q + 0 + b = 0. Let o be (-1)/3 + (8/(-4))/(-6). Put q, o, 2, -1 in decreasing order.
q, 2, o, -1
Suppose -2*r - 3*x = -7, -x = 4*r + 15 - 4. Sort -3, 27, r, -2.
r, -3, -2, 27
Let l be -5 - ((-108)/(-126))/((-6)/(-28)). Let k be (l/126)/(2/4). Sort 4, -5, k in decreasing order.
4, k, -5
Let m be (45/(-6))/(4 + (-115)/30). Let g be (6 - m/(-6))*30/9. Put 1/5, g, -1/2 in decreasing order.
1/5, -1/2, g
Let p be (4 - (7 + -1)) + 4. Sort p, 65, 2/75.
2/75, p, 65
Let k = -261 - -263.03. Let r = 1.73 - k. Sort 0.078, r, -3/7 in descending order.
0.078, r, -3/7
Let w be 25/(-140)*4/(-3)*50/125. Sort -0.3, 0, w in increasing order.
-0.3, 0, w
Let r = -410 - -413. Put -4, 12, r, 1, -0.2 in decreasing order.
12, r, 1, -0.2, -4
Let c be (-1 - (-1)/(-3))/(39/(150 + -33)). Let t(z) = -z - 5. Let o be t(-5). Put c, o, -2, 1 in increasing order.
c, -2, o, 1
Suppose 0 = 17*v - 235 + 167. Let h be 1 + (-1 - (1 + 0)). Put h, 1, v in decreasing order.
v, 1, h
Let u(g) = g + 26. Let v(o) = -o - 27. Let z(d) = -6*u(d) - 7*v(d). Let k be z(-28). Sort k, -0.1, 9 in increasing order.
-0.1, k, 9
Let r = -16033 + 16042. Put -1, 0, -6, 3, r in decreasing order.
r, 3, 0, -1, -6
Let c = -9094 - -9150. Let g = 2.5 + 0.5. Sort g, c, 2.
2, g, c
Let z be -1*(-6 - (-121)/22). Suppose -w - 2*w = -9. Suppose -h - 4*q = 10 + 10, 0 = 5*h - w*q - 15. Sort z, h, 0.3 in decreasing order.
z, 0.3, h
Let z = 14563 + -14563. Put 3, -22, 5, -6, z in ascending order.
-22, -6, z, 3, 5
Let n(d) = d**2 + 1261*d - 6334. Let c be n(5). Let a = -6 - -11. Put 1, a, c, 3 in decreasing order.
a, 3, 1, c
Let h be (-4)/(-10) + 3434/(-85). Let u be -1*(28/10 + (-8)/h). Put 10, u, -4 in descending order.
10, u, -4
Let i(x) = -x**3 - 15*x**2 - 38*x - 25. Let v be i(-12). Suppose -8 - 12 = -4*w. Put w, -2, v, 3 in ascending order.
-2, v, 3, w
Let c be (106/48 - 2)/((-245)/(-196)). Put c, 1429, 1 in increasing order.
c, 1, 1429
Let o(n) = n**3 + 4*n**2 + 7*n + 12. Suppose 16*h + 5 = 13*h - 4*z, -h + 3*z = 6. Let y be o(h). Put 4, 2, y, -5 in descending order.
4, 2, y, -5
Let j = 0 - -0.2. Let a be 60/100 - 0*13/(-65). Let m = 206/7 - 29. Sort j, a, m, 0.5.
j, m, 0.5, a
Let g = -28 - -337/12. Let t = 56519 + -56515. Put g, -1.1, t in descending order.
t, g, -1.1
Let g = -0.408 + 0.928. Let b = g + -0.72. Sort -2, -21, b.
-21, -2, b
Suppose r - 230*p = -228*p + 13, -4*r + 37 = -5*p. Sort r, -10, -16 in decreasing order.
r, -10, -16
Suppose -42*x + 42 = 126. Sort x, -5224, -4 in descending order.
x, -4, -5224
Let f = -47 - -54. Let b be 4 - (f + 0) - 2 - 3. Sort -12, b, 2.
-12, b, 2
Let b = 5 - 5.2. Let a = 15361.5 + -15362. Put a, -4/13, 2, b in descending order.
2, b, -4/13, a
Let w = 9.66 - 6.66. Put 3.73, w, -1/7 in descending order.
3.73, w, -1/7
Let j be (-69)/23*12/9. Let y be j/1 + (10 - 8). Let b(g) = -g**3 + 8*g**2 - 8*g + 8. Let l be b(7). Sort y, 3, l, 4 in descending order.
4, 3, l, y
Let f = 30 - 19. Let k = f - 16. Let a be (135/(-63))/1 + 2/14. Put 3, a, k in increasing order.
k, a, 3
Let w = -14 - -250. Let c = w - 230. Sort 0, c, 0.5, 1.
0, 0.5, 1, c
Let u(i) = 4*i + 13 + 20 - 16. Let s be u(-4). Sort 3, 4, s, -10 in decreasing order.
4, 3, s, -10
Suppose 86*x = 91*x - 10. Suppose -x*r = -0*r - 8*r. Sort -4, -8, 3, r.
-8, -4, r, 3
Let p be ((-72)/(-90) - 4) + (-1)/(-5). Put -6, -10, p in descending order.
p, -6, -10
Let y(p) = p**3 - 5*p**2 + 7*p - 11. Let j be y(4). Let i(v) = -v**3 - 7*v**2 + 6*v + 1. Let h be i(-8). Sort j, 3, h.
j, 3, h
Let l = -4 + 4. Let i(w) = -64*w + 19. Let t be i(2). Let q = 111 + t. Sort q, 3, l.
l, q, 3
Suppose 12*j - 1322 = -1550. Sort 15, -4, j in increasing order.
j, -4, 15
Let h = -15 + 11. Let t = 462 + -460. Sort t, 5, h, -3 in decreasing order.
5, t, -3, h
Let w be (-3)/(-6) - 2/(-4). Suppose -2*b = 4*g + 6, w = -2*g + b - 0. Let l be (1 - 2) + 2 + -9. Sort -5, 0, g, l in ascending order.
l, -5, g, 0
Let q(l) = l**3 + 80*l**2 + 156*l - 12. Let p be q(-78). Put p, -3, 5, -4 in descending order.
5, -3, -4, p
Let i = 10276 - 113038/11. Put i, 3/7, 19, 0.076 in descending order.
19, 3/7, 0.076, i
Let p(c) = c**2 - 23*c + 124. Let j be p(7). Let u be -3 + ((-280)/j)/(-14). Put 78, u, 2, 0.5 in descending order.
78, 2, 0.5, u
Suppose 5*a = 2*f - f + 22, -6 = -4*a - 5*f. Suppose -5*o - 2*v + 35 = 0, 0 = 4*v + 24 - 4. Let d = -10 - -15. Sort 1, a, o, d in descending order.
o, d, a, 1
Suppose -349*u + 354*u + 13 = 2*o, 0 = -3*u - 4*o + 13. Let x be 1/4 + 37/(-4). Let w = x - -10. Sort u, -3, 3, w.
-3, u, w, 3
Let l = -30161/12 - -10047/4. Put 40, 13, -3, l in increasing order.
-3, l, 13, 40
Let g = 5762 - 17287/3. Sort -1, 1, 0.05, 1/7, g in decreasing order.
1, 1/7, 0.05, g, -1
Suppose -9*r = -879 - 1344. Suppose -256 = -3*y - r. Sort y, 1, -3, 157 in descending order.
157, y, 1, -3
Suppose 0 = l - 7. Suppose 5*c + 131 = -c + 143. Sort -3, -4, c, l in increasing order.
-4, -3, c, l
Let h = 767/154 + -119/22. Let k = 2.8 - 3.1. Put -8, k, h, 0.1 in descending order.
0.1, k, h, -8
Suppose -2525 = -25*i - 2625. Sort 7, -12, i, -6 in decreasing order.
7, i, -6, -12
Suppose -23*a = -38 - 77. Suppose 2*c - 5*m = 14, -2*c + 7*m + 2 = a*m. Put 0, c, 5 in increasing order.
c, 0, 5
Suppose -2*w = -5*z + 24, 0 = w - 4*w + 3*z - 18. Let j be (-2 + 0)*8/80. Let c = -0.14446 - 0.85554. Put w, -9, c, j in ascending order.
-9, w, c, j
Suppose 93*m - 35 = 21*m - 251. Put -4, -2, m, -5, -25 in descending order.
-2, m, -4, -5, -25
Let x = 24.5 + -24.1. Let y = -133 - -130. Sort 26, y, x in ascending order.
y, x, 26
Let k = 2440 + -2437. Put -5/2, -3, k, -1, -2 in decreasing order.
k, -1, -2, -5/2, -3
Let p = 495/1046 - -14/523. Let s = -20447/29 - -705. Sort p, 0.3, 4/7, s.
s, 0.3, p, 4/7
Let p = -5788/33649 - 30/3059. Let b = 0.7 + 0.3. Sort b, p, 14/13 in decreasing order.
14/13, b, p
Let d = -1 + 7. Let q(o) = 740*o + 129492. Let u be q(-175). Sort 1, d, -3, u in decreasing order.
d, 1, -3, u
Suppose 2*v + 19 = -3*y + v, 0 = -v - 4. Let x(c) = c**3 - 13*c**2 - 233*c - 33. Let w be x(-10). Put w, 95, y in ascending order.
y, w, 95
Let d(t) = t**2 + 58*t + 111. Let q be d(-2). Sort -26, -4, q, 5, 2 in ascending order.
-26, -4, q, 2, 5
Let n(i) = 2*i**2 + 156*i + 146. Let c be n(-77). Sort 5, -2, 7, c.
c, -2, 5, 7
Let a = 6044.5 + -6044. Sort -2/5, -7.6, a, 1/7 in decreasing order.
a, 1/7, -2/5, -7.6
Let b = -4 + 1. Let m(r) = 2511*r + 30127. Let q be m(-12). Sort -2, b, q, 10 in descending order.
10, -2, b, q
Suppose 4*z - r = r - 22, 2*r - 27 = 5*z. Let