der.
p, a, 4
Let b be (-116)/348 - (-2)/(-3). Suppose 2*c + 35 = -5*c. Sort 2, -9, c, b.
-9, c, b, 2
Let f be (-2)/(-9) + 152/207. Let u = -382244 - -382244. Put f, u, -5 in decreasing order.
f, u, -5
Suppose -38*k - 228 = 38*k. Put k, -5, 5, 3 in decreasing order.
5, 3, k, -5
Let p(o) = o**3 + 5*o**2 - 6*o + 5. Let i be p(-6). Let f = -10 + i. Suppose 4*c = 4*a + 40, 12*c + 4 = -a + 7*c. Put a, f, 2 in increasing order.
a, f, 2
Let l = 4 - 19. Sort -29, 0, l in descending order.
0, l, -29
Let j = -5 - -0.3. Let q = 19.3 - j. Let x = -23.9 + q. Sort 0, x, 1/4 in descending order.
1/4, x, 0
Let l(v) = 18*v**2 - 4234 + 10*v + 14*v + v**3 + 4352. Let q be l(-17). Put -38, -3, q in decreasing order.
q, -3, -38
Suppose 5*a + d = 13, 3*d = 2120*a - 2124*a + 6. Put -4/7, 0, a, 0.1 in decreasing order.
a, 0.1, 0, -4/7
Let i = -9332 - -9319. Put 3, 0.37, -0.1, i in increasing order.
i, -0.1, 0.37, 3
Let w(t) = -53*t**2 + 529*t + 6. Let s be w(10). Put 322, 5, s in increasing order.
s, 5, 322
Let x = -0.11467 - 3.88533. Let h = -2 - 2. Let p be ((-14)/h)/((-2)/4). Put 0.4, 4, p, x in decreasing order.
4, 0.4, x, p
Let l(p) = -p**3 - 8*p**2 - 17*p - 10. Let w be l(-3). Put 4, 84, w in increasing order.
w, 4, 84
Let m = -7 - -13. Let j = -3.78313 - 0.21687. Sort -2, m, 3, j in increasing order.
j, -2, 3, m
Let o be -6 + 1 + -2 + 0. Let j(f) = f**3 + 8*f**2 + 7*f + 2. Let a be j(o). Put a, 4/3, 1.3 in increasing order.
1.3, 4/3, a
Let s = -32 - -32.4. Suppose 2*a + 183 = 185. Put s, a, -14 in decreasing order.
a, s, -14
Suppose -76*v = 17*v - 186. Sort 0.08, -47, v.
-47, 0.08, v
Let j = 0.4 - -0.1. Let i = 242.2 + -245.2. Put j, -5, -0.04, i in increasing order.
-5, i, -0.04, j
Suppose -2*i = -2*v - 60, -7*i = -5*v - 9*i - 136. Let o be v/(-16) + 135/(-36). Sort 8, -5, o, -3.
-5, -3, o, 8
Let x(h) = h**2 - 34*h + 208. Let a be x(26). Put 3/5, a, -4, 10, 0.2 in descending order.
10, 3/5, 0.2, a, -4
Suppose 1544*c - 26 = -5*u + 1542*c, c + 13 = 4*u. Sort u, -5, -1, 2, 14 in descending order.
14, u, 2, -1, -5
Suppose 4*t = -5*u + 28, 2*t - 18 = -3*u - t. Let k = 181 + -184. Suppose -o + 5*r - 8 = 0, 3*o - 4*r = -o. Sort o, u, k, 0 in decreasing order.
u, o, 0, k
Suppose 364*w - 3*f = 363*w + 3, 0 = 5*w + 5*f - 15. Put 5, w, 18, -3 in increasing order.
-3, w, 5, 18
Let v be (-10)/4*(-11 - (-472)/40). Put v, 3, 137 in increasing order.
v, 3, 137
Let i = -7454 - -7456. Sort i, -3, 1/6, -0.5, 4.
-3, -0.5, 1/6, i, 4
Let x be (-1310)/15*(3 + (-55)/30). Let l = -305/3 - x. Put -0.17, 0.2, l in descending order.
l, 0.2, -0.17
Suppose 64*h + 31*h + 40660 = 0. Put 0, 1, h, -5 in decreasing order.
1, 0, -5, h
Let l(d) = d**3 + 6*d**2 - 2*d - 13. Let i be l(-6). Let s(h) = 10*h**2 + 6*h. Let k be s(i). Let c = 18 - 18. Sort k, -4, 5, c in decreasing order.
5, k, c, -4
Let x = 361/4 - 3289/36. Let q = 149/126 + x. Let p be 14 - (36 + -13) - -10. Sort q, 0, p in ascending order.
0, q, p
Let o = 647.5 + -648. Suppose -15*z - 71 = 4. Sort -1/11, z, o, -11.
-11, z, o, -1/11
Let o = 1880 - 1868. Sort 62/5, 0.4, o, 0.3 in decreasing order.
62/5, o, 0.4, 0.3
Let w = -537/65 - -110/13. Let d = 0.07 + 3.93. Let a = -11.6 - -12. Sort w, d, a, -2/3 in increasing order.
-2/3, w, a, d
Let n = 0.127 + -0.409. Let u = -0.032 - n. Let o = 3.75 + u. Put 0, -5, o in increasing order.
-5, 0, o
Let z = 0.03584 + -4.03584. Put 0.2, z, 1.4, -0.5 in descending order.
1.4, 0.2, -0.5, z
Let i = 351 + -6667/19. Let j = 1146921637/651 - 1761785. Let b = j + 16/31. Sort i, 5, b in descending order.
5, i, b
Let t be 6*(-1)/4*(-16)/(-8). Sort 106, -16, t.
-16, t, 106
Suppose 5*g + z + 39 = 60, -z = -3*g + 11. Let o = 71.7 - 72. Sort o, g, 0.2, -2/3 in increasing order.
-2/3, o, 0.2, g
Let o = -372/41999 + 18982091/146828504. Let k = 2/437 + o. Sort -173, 3/7, k.
-173, k, 3/7
Suppose 0 = 11*j + 11 - 55. Suppose -75 = j*v + v. Put v, -2, 0 in increasing order.
v, -2, 0
Let p be ((-9 - 616/(-63)) + -1)/(3/27). Put -4, 2, -15, p, -14 in descending order.
2, p, -4, -14, -15
Let i = -8 + 11. Let n(q) = -2*q**3 - 98*q**2 + 205*q + 47. Let o be n(-51). Put -8, o, i in decreasing order.
i, o, -8
Let u = -2118 - -2132. Suppose -2*x - 9 = -3. Put x, u, 5 in decreasing order.
u, 5, x
Let o = -0.0966 + -0.4444. Let g = 39.541 + o. Sort 3, -3, g in decreasing order.
g, 3, -3
Let l = -2/351 - 644/10179. Let a = -1413 + 1409. Let p be -1 + 0 - 1*1/4. Sort p, a, l.
a, p, l
Let s = -9433 + 9439. Sort s, 30, -5, 5, 1 in increasing order.
-5, 1, 5, s, 30
Let x be ((-258)/(-27))/2 + 6/27. Suppose -146 = x*n - 3*a + 35, -3*a = 9. Sort 1, -1, n.
n, -1, 1
Let x be -2*-1*5*-1. Suppose -i = i + 5*j + 6, 0 = -i - 3*j - 4. Let c be ((-23)/(-23))/(i/(-6)). Put -2, c, x in ascending order.
x, c, -2
Let s(v) = 2*v**2 - 6*v + 4. Let d be s(4). Let u be 435/1560 - (-15)/((-1560)/16). Put 5, d, u in ascending order.
u, 5, d
Let g = 35/62 - 2/31. Let n be (3/(-1))/((-12)/(-8)). Let v be (4 + 6/(-3))/n. Put 5, 1/3, v, g in ascending order.
v, 1/3, g, 5
Suppose m = 684 - 645. Suppose 4*x = 16, 4*x - 3*x + m = -p. Sort p, -3, 2, -2 in ascending order.
p, -3, -2, 2
Let a be (-66)/99*30/4. Sort a, -2, 0, 3, 26.
a, -2, 0, 3, 26
Let j = -0.571 - -2.981. Let b = -1.41 + j. Suppose 0 = -2*q - 4, -2*z - 6 = 3*q + 2. Put z, b, 5/4 in ascending order.
z, b, 5/4
Let n = 1.4 - 1.4. Suppose 0 = f - 29 - 43. Suppose 0 = 19*u - 11*u + f. Sort n, -0.5, u in descending order.
n, -0.5, u
Suppose 5*y + 24 - 4 = 5*x, 20 = -4*y. Let g be (-368)/460*(2 - 7). Put x, g, -25 in descending order.
g, x, -25
Let z = -118 + -130. Let y = z + 175. Put -0.3, y, -3 in ascending order.
y, -3, -0.3
Suppose 0 = 5*i - 4*o + o + 4, -5*o + 16 = i. Suppose 17*j = -218 - 3. Let d be (-8 - -2) + (-10 - j). Sort d, -5, i in increasing order.
-5, d, i
Let n = 2.97 - -0.03. Let p = -2.9 + n. Let y(h) = 525*h + 6825. Let v be y(-13). Sort 4, 1/5, p, v in ascending order.
v, p, 1/5, 4
Let n(p) = -4*p + 507*p**3 - 506*p**3 + 2*p. Let c be n(2). Suppose 8 - 24 = -c*a. Put -2, a, 5 in descending order.
5, a, -2
Let s(q) = q**2 + 3*q + 7. Let w be s(-6). Suppose -2*g - 5*b = -10, 5*g - 8 + w = -2*b. Let d be (g/(-7))/(34/119). Put -5, 3, -0.3, d in ascending order.
-5, -0.3, d, 3
Suppose -1612*r - 88 = -1568*r. Sort r, 1, 289 in increasing order.
r, 1, 289
Let f = 7458.3 + -7532.186. Let z = -74 - f. Let g = z - 1.886. Sort g, 5, 0.3.
g, 0.3, 5
Let q = 2/363 + 1081/1452. Let k = 0.015127 + -6.015127. Sort -12, q, -1, k.
-12, k, -1, q
Let y(j) be the third derivative of -j**4/3 + 187*j**3/3 + j**2 + 56. Let h be y(47). Put -9, h, -5 in descending order.
h, -5, -9
Let u = -3957 - -3962. Sort 1, -1, u, -42, -4 in decreasing order.
u, 1, -1, -4, -42
Suppose 632*t - 2*y = 631*t - 1, -5*t = 2*y + 29. Let z be 2/6 + 28/6. Sort 3, z, 4, t in increasing order.
t, 3, 4, z
Let j be (0 + 11 - 8) + (2 - 11). Put -5, -3, -8, j, -2 in increasing order.
-8, j, -5, -3, -2
Let h = 3.9 - -43.1. Let j = 24 - h. Let r = 26 + j. Put 1/2, r, -5 in decreasing order.
r, 1/2, -5
Let a be ((-5)/(-15))/(4 - (-185)/(-30)). Put a, 12, -62 in increasing order.
-62, a, 12
Suppose -8754 + 9216 = 33*k. Put -5, k, 1, 84 in decreasing order.
84, k, 1, -5
Let p = 421 - 424. Suppose 4 = -2*b - 3*m, 5*b - 2*b - 2*m + 6 = 0. Put b, 5, 6, p in descending order.
6, 5, b, p
Let a = -0.43 - -0.03. Let b be 70/(-3)*(3 + 3). Let g be 144/b - 9/(-15). Sort -7, -0.5, g, a in decreasing order.
a, g, -0.5, -7
Suppose 0 = 3*r + 5*g + 163 - 56, 3*g + 111 = -3*r. Let u be (-39)/r*(-4)/(4 + -2). Sort -13, u, 4.
-13, u, 4
Let z = 2677 - 2646. Sort 1, 2/7, 1/4, z, -5 in ascending order.
-5, 1/4, 2/7, 1, z
Let o = -96.81 + 3.81. Let i = -72 - o. Sort i, -4, 0.4, 0.1 in decreasing order.
i, 0.4, 0.1, -4
Let t = 1233 - 1237. Sort -1/5, t, 0, 18 in decreasing order.
18, 0, -1/5, t
Let i be -5*(-1)/(30/9). Let u = 0.017244 - 1.017244. Sort -1/3, i, 7, u in decreasing order.
7, i, -1/3, u
Let p(v) = 254*v**2 - 26 - 256*v**2 - 12*v - 4*v. Let i be p(-5). Sort -27, -1, -5, i in descending order.
i, -1, -5, -27
Let k = -1757.3 + 1754.3. Put 5, k, 0.05, -1, -2/11 in decreasing order.
5, 0.05, -2/11, -1, k
Let i be (10/7 + 46/(-483))/(14/3). Sort -3, i, 209 in descending order.
209, i, -3
Let j be -3 - -2*22/16. Let d = 183 + -182.8. Sort j, 0.4, 