der.
y, r, -3
Let a = 115 + -120. Let k be (5/3)/(a/15). Sort k, 4, -2, 2 in descending order.
4, 2, -2, k
Let f = -38 + 34. Sort f, 1, -0.2, 4 in decreasing order.
4, 1, -0.2, f
Suppose b = 12 - 9. Suppose -b*x + 7 = -8. Suppose 0 = r - x*r + 24. Sort 3, r, -5.
-5, 3, r
Let h = -16 - -21. Let u(y) = -y**2 - 4*y + 7. Let x be u(2). Sort -1, h, x, -3.
x, -3, -1, h
Let n(z) = z**3 - 14*z**2 + 11*z + 26. Let l be n(13). Suppose 5*m + 21 = a, -a = m - 5*m - 17. Put m, -2, 5, l in decreasing order.
5, l, -2, m
Suppose -h - 11 = -4*g, 0*h + 5 = h + 4*g. Sort -5, 2, h, -2 in increasing order.
-5, h, -2, 2
Suppose -20 = -5*r, 0 = -5*v + 2*v - r + 10. Let m = 68 + -68.05. Put m, v, -1 in decreasing order.
v, m, -1
Let p = 0.05 - -0.25. Let b = 61 - 57.7. Let r = p - b. Sort 0.5, r, 1/3 in ascending order.
r, 1/3, 0.5
Let g = 92 - 551/6. Let d = -0.2777 + 2.2777. Put d, -3/7, g, 2/3 in ascending order.
-3/7, g, 2/3, d
Let w = -0.7831 - -0.2831. Put 0.06, w, 0, -1/12 in descending order.
0.06, 0, -1/12, w
Let i = 11 + -5. Let h be i/(-8) - 12/(-16). Let y = 15 + -14. Put h, y, 6 in descending order.
6, y, h
Let a = 3.55 + -0.61. Let x = a - -0.06. Let o = -44 + 44. Put -0.2, x, o in increasing order.
-0.2, o, x
Let f = 0.78 + -1.18. Let m = 0 + 0.6. Let p = f + m. Put p, -0.3, -2/7 in decreasing order.
p, -2/7, -0.3
Let f = -1.16 - -1. Let j = -0.08 - f. Let m = j + -0.18. Sort m, 1/6, 2/3 in descending order.
2/3, 1/6, m
Let s = 0.252 + -5.252. Sort -1, -1/8, -6, s in descending order.
-1/8, -1, s, -6
Suppose 104*a - 168 = 20*a. Sort -2, 56, a in descending order.
56, a, -2
Let h = 4225/3 + -1407. Put -2, h, 3, -109 in ascending order.
-109, -2, h, 3
Let u = -3.72 + 3.92. Put -0.13, u, -4, -3/8 in decreasing order.
u, -0.13, -3/8, -4
Let w(s) = 16*s + 2. Suppose 0*r - 4 = -4*r. Let z be w(r). Put z, 5, 3, -4 in ascending order.
-4, 3, 5, z
Let b = 0.167 - 0.567. Let z = 0.19 - 0.09. Put b, z, -1/4, -2/7 in decreasing order.
z, -1/4, -2/7, b
Let i be (-1)/((-9)/(-33)) - (-66)/33. Put -15, i, 2/19, -0.2 in increasing order.
-15, i, -0.2, 2/19
Let n be (6/4)/(45/(-60)). Let w be (9 - 10)/(n/(-24)). Sort 1, 3, w in decreasing order.
3, 1, w
Let f be 12/32*4/3. Let o = 9 - 7.9. Let u = 2.9 + o. Put f, 3, u in decreasing order.
u, 3, f
Suppose 7 = 2*a + 3*s, 0 = -3*a + a - 2*s + 6. Suppose -u + 1 - a = 0. Let m(r) = 3*r**3 + 2*r + 1. Let o be m(-1). Put 3, u, o in ascending order.
o, u, 3
Let x(u) = -5*u + 193. Let s be x(39). Sort -4, s, -5/199, -3 in decreasing order.
-5/199, s, -3, -4
Let b be ((-56)/(-35))/((-2)/5). Suppose 10 = j + 5*q - 23, q - 21 = -2*j. Let x = j + -5. Put b, -2, x in decreasing order.
x, -2, b
Suppose 4*y + 468 - 488 = 3*i, 0 = -2*i. Let v = 271/2 + -130. Let p = v + -5. Put p, -5, y in decreasing order.
y, p, -5
Suppose 5*q + 5*h + 10 = 0, -q - 2*h + 8 = -6*h. Let c = -14 + 23. Put q, 1, c in increasing order.
q, 1, c
Let f = 655 - 655. Put 1, -109, f in increasing order.
-109, f, 1
Let d = 69 - 75.2. Let z = -4 + -2. Let v = d - z. Sort -2, -4, v.
-4, -2, v
Let x = -1.2 + 0.2. Let k = 4 - x. Let r be 182/52 - 4/2. Put 3/4, r, k in decreasing order.
k, r, 3/4
Let x = -30 + 39. Put -2, -5, 1, x in ascending order.
-5, -2, 1, x
Let i be 20/6*159/106. Put 4, 10, 7, i in descending order.
10, 7, i, 4
Let x = 2 + -7. Suppose -8 = -11*d + 7*d - 4*p, 3*d = -p - 2. Put 5, -4, d, x in increasing order.
x, -4, d, 5
Suppose 28 + 8 = 6*f. Let a = -11 + f. Sort a, 4, -2 in decreasing order.
4, -2, a
Let z = -8.05 - -0.55. Let h = z - -4.5. Let p be (1/5)/(1 + -2). Sort p, h, -2/5 in ascending order.
h, -2/5, p
Let b = -4 + 2. Let r = -139 - -199. Let i = 60.07 - r. Sort i, b, -0.4 in increasing order.
b, -0.4, i
Suppose -2 = -8*v - 10. Let r(k) = k**3 + 5*k**2 - 5*k + 4. Let z be r(-6). Sort v, -4, 12, z in decreasing order.
12, v, z, -4
Let f = -4 + 3.6. Let w be ((7/2 + -5)*1)/(-3). Suppose -3*i + 5*g - 5 = 0, 11 = 2*i + i - g. Sort f, w, i.
f, w, i
Let a = 285 - 191. Suppose 3*x = -0*x - w - 58, -5*x = w + a. Let s = -18 - x. Sort 1, s, -2 in ascending order.
-2, s, 1
Let g(p) = -3*p. Let a be g(-3). Let d = a + -4. Suppose -43*y - 27 - 48 = 11. Sort d, -1, y in ascending order.
y, -1, d
Suppose 5*g + 3*j = 20, 3*g - 3*j + 3 = -9. Sort -17, 0, g.
-17, 0, g
Let l = 1.4 + 5.6. Let k = 7/45 + -73/180. Sort -0.3, l, k in descending order.
l, k, -0.3
Suppose -4*s + 2*d + 0 = -4, 3*s + 2*d = 3. Let u be (-1 - (27 + -4)) + 3. Sort -3/2, s, u.
u, -3/2, s
Suppose -4*j + m = -4 + 1, 4*j + m - 5 = 0. Suppose -12*o = -11*o + 3. Sort j, o, 4, -1 in descending order.
4, j, -1, o
Let g = 512 + -511.7. Sort 3, g, -60 in descending order.
3, g, -60
Suppose 25 = 10*h - 15*h, 0 = 4*a - 3*h + 5. Let s be (4/10)/(10/(-200)). Sort s, 2, a, -3 in descending order.
2, -3, a, s
Let s(d) = 10*d - 49. Let h be s(6). Suppose 3*l = v - h, l - 6*l - 13 = v. Let p = 10 + -7. Sort l, 2, p in decreasing order.
p, 2, l
Let l be (4 - 4)*(-3 + 4). Let b = l - -5. Sort b, 0, 2 in ascending order.
0, 2, b
Let b be 5/10 - (-9)/(-14). Let i = -27.5 + 0. Let o = -28 - i. Put o, 2/9, b in ascending order.
o, b, 2/9
Let p be ((-1)/3)/(8/(-30)). Put -4, -0.39, p in decreasing order.
p, -0.39, -4
Suppose 14*y - 294 - 14 = 0. Put -10, 5, y, 3 in descending order.
y, 5, 3, -10
Let r = -0.7 + -4.3. Let l be (1 - -3) + -7 - 33/(-9). Put 0.1, r, l in decreasing order.
l, 0.1, r
Let z = 94 + -52. Let a = 41.83 - z. Let g = 3.17 + a. Sort -1, g, -2/9.
-1, -2/9, g
Let g be ((-2)/8)/(-1) - (-8673)/(-84). Let z = -100 - g. Put 2, 4, z, -2 in ascending order.
-2, 2, z, 4
Let w(g) = -g**2 + 5*g + 1. Let p be w(4). Let q be (-7)/(-9) + (-2)/(-9). Let j be (-3 - -3) + (-1 - -1). Put q, j, p in ascending order.
j, q, p
Let a = 71 + -44. Put -0.1, a, 4 in decreasing order.
a, 4, -0.1
Let p be (-5)/(-6) - (-2465)/(-510). Sort -11, 130, p.
-11, p, 130
Let p = 8.59 - 8.29. Sort -0.053, -0.2, p, -2/9 in descending order.
p, -0.053, -0.2, -2/9
Let v = 969 - 968. Put v, 6/5, -4, -1/3 in decreasing order.
6/5, v, -1/3, -4
Let t = -639 - -485. Sort t, 0, 0.2 in ascending order.
t, 0, 0.2
Let z = 1234 - 1235. Sort 46/9, z, -0.1 in increasing order.
z, -0.1, 46/9
Let j = 74502917/281789140 - 2/506815. Let b = j - 2/139. Let r = 6 - 0. Put r, b, -2 in decreasing order.
r, b, -2
Let h = -133/3 - -44. Let j be (4/6)/(10/(-30)). Suppose -2*m - 9 = 1. Sort m, h, j in decreasing order.
h, j, m
Let w = -129 + 125. Suppose 4*f - 6 = 7*f. Let t be f/(-4)*(6 + -4). Sort -2/7, w, t in ascending order.
w, -2/7, t
Let u = -0.78 + -0.12. Let a = u - -1.9. Let v = a - 9. Sort -3, v, 0.5.
v, -3, 0.5
Let t = -251/11 + 23. Let n = -0.3 - -0.1. Let d = -43/124 + 3/31. Put d, n, t in decreasing order.
t, n, d
Let y be 2/2 - (-30)/10. Let s be (28/(-21))/((-1)/(-3)). Put 5, s, y in ascending order.
s, y, 5
Suppose 33*y + 440 = 25*y. Sort 2, y, -3 in decreasing order.
2, -3, y
Let r be (-2)/(-7) + (1 - (-6)/28). Sort r, 19/4, -1 in decreasing order.
19/4, r, -1
Suppose 14 = -2*n + 2*x, 3*n - 2*x + 23 = 8. Let y(m) = -2*m. Let j be y(-1). Sort n, 0, j, 9 in ascending order.
n, 0, j, 9
Let k = 9 + 0. Suppose 27 = 408*z - 417*z. Put k, -2, z in increasing order.
z, -2, k
Let u be 37 + 315/42*(-4)/(-6). Put u, 3, 0, -4 in increasing order.
-4, 0, 3, u
Let r = -240 + 241. Sort 6, 2/11, r.
2/11, r, 6
Let q = 3008 + -3011. Let h = -4 + 9. Let s be 4/10 - 12/h. Sort -1/6, q, s in increasing order.
q, s, -1/6
Suppose -94*t = -23 - 823. Suppose -5*c = -c - 3*f + 31, -2*c - f - 3 = 0. Put t, 1, c in ascending order.
c, 1, t
Let k = -13 + 15. Let n = 648 + -653. Put k, -29, n, -1 in increasing order.
-29, n, -1, k
Suppose 0 = -g + 5, -3*d = -8*d + 3*g - 170. Sort 2, d, -3 in decreasing order.
2, -3, d
Let x(g) be the second derivative of 0 + 1/6*g**3 - 11/2*g**2 + g. Let r be x(9). Put r, -1, -4 in decreasing order.
-1, r, -4
Let c(d) = d**2 + 10*d - 5. Let r be c(-10). Let g = -0.2 - 0.1. Let v = g - -1.3. Sort 1/3, v, r.
r, 1/3, v
Let v = 83 + -81.92. Let y = v - 0.08. Sort y, -2/13, 0.5 in descending order.
y, 0.5, -2/13
Let v be (-3)/6*-10 + -2. Let s = -117 - -113. Sort 2, s, v in descending order.
v, 2, s
Let r = -0.076 - -0.276. Let f = -2.1 - -2.2. Let k = -0.1 - -1.1. Put k, f, r in decreasing order.
k, r, f
Let u = 1.19 - 4.19. Le