der.
10, 4, k, -2
Let h(d) = -5 + 4*d - d + 0*d. Let w be h(0). Put 4, 2, w, 0.3 in descending order.
4, 2, 0.3, w
Let c = -2.38 - 3.62. Put c, -2, 0.4, 4 in increasing order.
c, -2, 0.4, 4
Let y = 23.9 - 24.5. Let d = 2 - -2. Sort y, 2, d.
y, 2, d
Suppose -5*l + 9 = y + y, -5*y = -4*l + 27. Suppose 0 = 4*g - 2*g - 2. Sort 10, 2, y, g.
y, g, 2, 10
Let i = 2691 + -2696. Suppose 2*w = -3*w. Put 3, i, w, 2 in increasing order.
i, w, 2, 3
Let a = -176 - -180. Put a, 5, -2, -4 in ascending order.
-4, -2, a, 5
Let z = 1118 + -8945/8. Sort 1, -0.4, z, -0.02 in descending order.
1, -0.02, z, -0.4
Let j(o) = -o**3 + 8*o**2 + 5*o - 9. Let y be j(8). Suppose -3*d = y - 4. Put d, -4, 0 in descending order.
0, -4, d
Let x be 17/5 + 6/(-15). Let z = -5 + x. Suppose 0 = -191*y + 190*y + 4. Sort 5, z, y.
z, y, 5
Suppose 2*v + q + 0 = 15, -4*v + 2*q = -10. Suppose -36*z = -31*z + i + 10, 3*z - 4*i + 29 = 0. Sort v, z, 2 in descending order.
v, 2, z
Let g = -44 + 48. Suppose g*p + 4 = 6*p. Put -20, -3, p, 0 in descending order.
p, 0, -3, -20
Let s = -66 - -62. Let c = 10 - 6. Sort c, -3, s.
s, -3, c
Let u = -0.29 - 0.06. Let x = u - -0.64. Let h = x - 0.49. Sort 2/7, h, 2 in decreasing order.
2, 2/7, h
Let r = -21.77 + 7.77. Sort r, -0.11, -3.
r, -3, -0.11
Suppose -10 = 2*a - 5*q, -25*a - 3*q = -22*a - 27. Sort 3, -1, -11, a in descending order.
a, 3, -1, -11
Suppose 5*d + 3*t = 2, 0 = 5*d - d + 2*t. Let o(q) = -q**2 + 6*q - 5*q - 7 + 8 - q. Let s be o(d). Sort 1, 5, s.
s, 1, 5
Let r(o) = o**3 + 3*o**2 - 2*o - 10. Let w be r(-5). Let p be ((-1)/(-10))/(20/w). Sort -6, -3, p.
-6, -3, p
Let w = 288 + -288. Put 11, w, -3 in ascending order.
-3, w, 11
Suppose 2*b + 1 = 9. Suppose 3*y - n + 10 = 0, 25 = -b*y - 4*n + 3*n. Sort -1, 5, y in increasing order.
y, -1, 5
Let s = -194/11 - -721/44. Sort 3, 786, s, -0.3 in descending order.
786, 3, -0.3, s
Suppose -2 + 5 = d. Let j be -2 - (d - 4) - 2. Sort -4, 3, j in increasing order.
-4, j, 3
Let n be ((-80)/(-100))/((-4)/70). Put -1, 0, n in ascending order.
n, -1, 0
Suppose -25*h + 13 - 138 = 0. Put -2, -4, 4, h in ascending order.
h, -4, -2, 4
Let s(z) = -10*z - 5. Let l(v) = -v**3 + 4*v**2 + 7*v - 7. Let t be l(5). Let a be s(t). Let x = a - -28. Sort 0, x, -2 in descending order.
0, -2, x
Suppose -5*d = -3*z + 31, -4*z + 8 = -4*d - 20. Suppose -404 = -10*v - 524. Sort z, v, 1 in descending order.
z, 1, v
Let q = 775/21 - 256/7. Put q, -117, -3 in ascending order.
-117, -3, q
Let k be 2/4*(8 + 2). Let s = -42 + 27. Let t = -18 - s. Sort t, k, 3 in increasing order.
t, 3, k
Let i = 87.4 - -1.6. Let h = 89 - i. Let k = -1/189 + -53/189. Sort 2, h, k.
k, h, 2
Let z = 0.16 + -6.16. Let c = 396 - 402.5. Let v = c - z. Put 2/11, -3, v in ascending order.
-3, v, 2/11
Suppose 0 = 23*h - 28*h - 15. Sort -37, 2/3, h.
-37, h, 2/3
Suppose 41*u - 30*u = 99. Put -0.6, -6, 3, u in decreasing order.
u, 3, -0.6, -6
Let h = -4.62 - -4.02. Put h, -0.3, 0, 3 in increasing order.
h, -0.3, 0, 3
Let o(d) = d**2 - 7*d + 10. Let y(z) = z**2 - 7*z + 11. Let a(c) = -6*o(c) + 5*y(c). Let v be a(6). Put -1/4, -0.04, v in decreasing order.
v, -0.04, -1/4
Suppose 6*t + 12 = 2*t - 3*v, 0 = -2*t + 4*v - 6. Suppose -y + 6 = -2. Sort 2, t, y.
t, 2, y
Let z(v) = 22*v - 159. Let n be z(5). Put -2, n, -1 in decreasing order.
-1, -2, n
Let c be (0 - -2)/(-7 - -12). Let h = 0.1 - 0.1. Let y = -0.5 - h. Sort 0, c, y.
y, 0, c
Let k be ((-28)/(-8) - 4)/(1/10). Sort k, -2/11, -1, 4/7 in decreasing order.
4/7, -2/11, -1, k
Let f = -2 - -2. Suppose f*g = 2*g. Let b = 9 + -12. Put b, -5, g in ascending order.
-5, b, g
Suppose -2*n - 4*i = -6*n + 4, -2*n - i = 7. Sort 12, n, 5, 11 in increasing order.
n, 5, 11, 12
Suppose -26*o - 189 = -33*o. Put 0, 1, o in descending order.
o, 1, 0
Let a = 4 - 7. Let g = 116 - 115.6. Put a, g, 2, 0 in ascending order.
a, 0, g, 2
Let r = -12/1597 - -37871/151715. Let p = 16/19 - r. Sort 1, 0.5, -4, p in increasing order.
-4, 0.5, p, 1
Let y(v) = -v**3 - 9*v**2 + 10*v + 5. Let n be ((-9)/6)/(12/80). Let p be y(n). Suppose -p*z + 2*z = 3. Sort z, 1, -4.
-4, z, 1
Let y = -36.076 - -0.076. Let w = 37 + y. Let o = 1 + -2. Put w, o, -1/4 in decreasing order.
w, -1/4, o
Suppose -65 - 37 = -3*y. Let n be y/17 - (-7)/(-3). Put -4, n, -0.5 in increasing order.
-4, -0.5, n
Suppose b - 6 - 2 = 0. Sort -6, b, -4, 3 in descending order.
b, 3, -4, -6
Let j = -76 + 51. Let x be (-2)/(-5)*(j + 20). Let w be -2 + (-1 - -1) + 2. Sort x, 2, w in decreasing order.
2, w, x
Let p = 80.1 + -84. Let j = 13 - 16.8. Let s = j - p. Sort s, -0.4, -3.
-3, -0.4, s
Let y = -22 - -27. Suppose y*z = -3*j - 3 - 2, 4*z - j - 13 = 0. Put z, 5, 1 in descending order.
5, z, 1
Let i = -85.8 - -86. Let c = 1.1 - 0.1. Let p = c - 2. Put i, p, 2 in descending order.
2, i, p
Suppose -72*j = -78*j. Put 5, -2, j, 3 in decreasing order.
5, 3, j, -2
Let p be (0 - 1)/(2/6). Let n = 41 + -4. Suppose 3*h + 45 = 5*u, 2*u - h = 4*h + n. Put p, u, -1 in decreasing order.
u, -1, p
Let w be (8/(-6))/(4/54). Let h = 13 + w. Let l(b) = 2*b + 13. Let u be l(-7). Sort 0, h, u.
h, u, 0
Let w = 879 - 9662/11. Let s = -97 + 99. Put -0.1, w, s in increasing order.
-0.1, w, s
Let g be (-7)/(-84)*6*(3 - 9). Sort -2, 61, g.
g, -2, 61
Let z(h) = 16*h - 24*h + 11*h - 53 + 4. Let n be z(15). Put n, 0.1, -2/17, 1 in ascending order.
n, -2/17, 0.1, 1
Let m be -1*(-4)/(-9) + (-286)/936. Put -52, m, 1/3, -1 in ascending order.
-52, -1, m, 1/3
Let d = -8.728 + -0.072. Let i = 9.1 + d. Sort -3/5, i, 1 in decreasing order.
1, i, -3/5
Let w = 16 - -13. Let i = -0.8778 + -0.1222. Put -2, w, i in decreasing order.
w, i, -2
Let r be -72 - 5/((-25)/(-15)). Let z = -94 - r. Sort -3, 5, z in decreasing order.
5, -3, z
Let x be (-1)/4 + 27/12. Suppose 5 = -3*h + 14. Put h, 1, 4, x in decreasing order.
4, h, x, 1
Let v = -3111 + 3111.1. Let k = -2 - -3. Let g be (-5)/(-4) - (1 - 1). Put k, g, v in descending order.
g, k, v
Suppose 0 = 4*n - 5*m + 13, 5*n - 2*m + 19 = 8*n. Put -9, 4, n in ascending order.
-9, n, 4
Let r be (3*1)/((-1)/1). Let p(y) = y**3 - 6*y**2 + 5*y + 4. Let o be 2 + 3 - 3 - -3. Let a be p(o). Sort -7, a, r.
-7, r, a
Let a be (-80)/(-48)*6/5 + -52. Sort -2, -1, a, -3.
a, -3, -2, -1
Let m(v) = -5*v**2 - 2*v - 2. Let l be m(-1). Let n = -4 - 3. Suppose -4*j - 21 = -13. Sort n, l, j in ascending order.
n, l, j
Suppose -4*c = -5*h - 17, 12 = 4*c - 3*h - h. Sort c, -1, 4, 27.
c, -1, 4, 27
Let m = -2.6 + -0.2. Let k = -3.1 - m. Sort -1/10, k, 0.1 in decreasing order.
0.1, -1/10, k
Let n = -0.13 - 0.15. Let d = n + -0.02. Let o = 0 + d. Put -3, o, 1/3 in ascending order.
-3, o, 1/3
Suppose z = -z - 10. Let u(j) = -j**2 + 10*j + 16. Let d be u(11). Let w = d + -7. Put w, -4, z in decreasing order.
w, -4, z
Let s = -419 + 414. Put -46, s, 0 in ascending order.
-46, s, 0
Suppose -3*r = -w + 4*w - 96, 4*w - 103 = r. Let d = w + -29. Sort -1, d, 1.
d, -1, 1
Let s = -77 + 110. Let p = s - 34. Sort 2, p, -1/7 in descending order.
2, -1/7, p
Let h be 2*(-21)/(-12)*6. Let w be (-17)/(-4) - h/(-28). Sort 10, w, -2 in descending order.
10, w, -2
Let g = -368 - -372. Put 1, 3, 0, g in descending order.
g, 3, 1, 0
Let q = 17 + -16. Let z be (q/4)/((-4)/(-16)). Put z, 0, -1 in descending order.
z, 0, -1
Let b = -1068 - -1060. Put b, 3, 0, 4 in increasing order.
b, 0, 3, 4
Let u = 3.18 - 0.58. Let l = u - 2.2. Put -5, -0.3, 0.3, l in descending order.
l, 0.3, -0.3, -5
Let h(t) = -76*t - 304. Let r be h(-4). Sort 1, r, -4, 21.
-4, r, 1, 21
Suppose -2*n - q = -5, -4*n - 4*q = -0 - 4. Let t = n - 4. Suppose 0 = 17*k - 23*k - 24. Put t, 3, k in decreasing order.
3, t, k
Suppose -8 = m + 3*l, -2 = m + 113*l - 116*l. Sort 5, -23, -3, m in ascending order.
-23, m, -3, 5
Suppose -3*t - 2*i = 7, -2*i - 1 = 3. Let h be (t + 3)*(-1)/1. Let r(w) = -w**3 - 11*w**2 + 13*w + 12. Let f be r(-12). Sort f, -5, h in descending order.
f, h, -5
Suppose 2*z + 15 = -g + 21, 2*z - 2*g - 6 = 0. Sort 22, 0, -2, z.
-2, 0, z, 22
Let v = -7.4 - -7. Put -0.5, 4, -10, v in increasing order.
-10, -0.5, v, 4
Let i be (150/(-35) - -4)/(6/14). Let b = -10 + 7. Put 0.3, b, i in increasing order.
b, i, 0.3
Let b = -7 + 7.3. Let t = -1197.5 + 1198. Sort -10, t, b in descending order.
t, b, -10
Suppose -32*g - 23*g + 220 = 0. Sort -2, -1, 2/15, g in de