ng order.
f, x, -0.2
Suppose 0 = -v + 5*x - 7*x - 1, -3*v = -2*x - 5. Sort 31, 8, v, -4 in increasing order.
-4, v, 8, 31
Suppose -3*q + 9*c - 13*c + 12 = 0, q - 14 = -3*c. Let o = 16 - 28. Sort q, o, -3, 0.3 in decreasing order.
0.3, -3, q, o
Let h be ((-18)/(-12))/((-24)/(-28)) - 1. Sort 0, 4, h in descending order.
4, h, 0
Let j(c) = -c**3 - 3*c**2 + 10*c + 3. Let z be j(-5). Let d = -24 + 27. Suppose 2*k = k - 4*u + 1, 3*k - 3 = -d*u. Put -5, z, k in descending order.
z, k, -5
Let z be (-2)/((-14)/(-15 + 1)). Sort -3, -1, 1, 5, z in descending order.
5, 1, -1, z, -3
Let s = -4262 - -4267. Put 2, 0, -58, s in increasing order.
-58, 0, 2, s
Suppose 0 = 4*n - 3*f - 11, 74*n - 76*n + 6 = -2*f. Put n, 10, -1, -33 in decreasing order.
10, n, -1, -33
Let v(b) = -2*b**3 - 39*b**2 + 63*b. Let w be v(-21). Suppose 2 = u - 3. Put 4, w, u, -23 in ascending order.
-23, w, 4, u
Suppose -4*k = d + 211, -14*d + 16*d + k = -450. Sort d, 3, -2, 5 in descending order.
5, 3, -2, d
Suppose -2*o = 5*r + 14 + 23, 2*r + 10 = 4*o. Suppose -j + 4 + 1 = 0. Put j, r, -1/4 in decreasing order.
j, -1/4, r
Let k(n) = 2*n**3 + 31*n**2 + 11*n - 73. Let v be k(-15). Put 5, 2, 4, -3, v in ascending order.
v, -3, 2, 4, 5
Let a = -0.09 + 5.09. Let c = 73 - 345. Let b = c + 273. Sort a, b, 0, -2/3.
-2/3, 0, b, a
Let s = -13488 + 13599. Sort s, 3, -5, 1, 4 in descending order.
s, 4, 3, 1, -5
Suppose 12 = -w - 3*u, -w + u = -6*u - 38. Suppose 2*i + 9 = 17. Sort i, -1, 2, w in descending order.
i, w, 2, -1
Suppose -2*z = -w + 42, 2*w + 45 = -3*z - 11. Let i be (-1)/((-6)/(-8)*z/(-390)). Put 1, 0, i in decreasing order.
1, 0, i
Let a(f) = -9*f + 188*f**2 - f - 2*f - 28 - 186*f**2. Let b be a(8). Sort 10, 2, b.
2, b, 10
Suppose -9*i = h + 16250, 2*i - 9042 = 7*i - 3*h. Sort 0.5, 1/7, i in decreasing order.
0.5, 1/7, i
Let f(z) = 5*z - 24. Let y be f(5). Sort -5794, -3, y, 4.
-5794, -3, y, 4
Suppose 0 = -5*h - 5*g + 65, 13 = 3*h - g - 6. Suppose q + 22 = -4*v, -q + h = -5*q. Sort 22, 4, v in increasing order.
v, 4, 22
Suppose -150 = 4*n - 3*s - 219, -57 = -3*n - 3*s. Let y(d) = -d**3 + 4*d**2 + 5*d - 5. Let g be y(5). Put g, n, 5, 0 in decreasing order.
n, 5, 0, g
Let y be ((0 + 0)/3)/1. Let f be (-2)/4*y/1. Let n = 61.84 - 42.84. Put f, -1/3, 1/8, n in increasing order.
-1/3, f, 1/8, n
Let p = -2844 - -2843. Sort p, -13, 3, -8, 4.
-13, -8, p, 3, 4
Let z = -29410 - -29399. Sort z, 687, -4 in descending order.
687, -4, z
Let h = -2/89 - -374/801. Let k = -1.06 + -0.94. Let o be 64/72*81/18. Put h, 0.4, k, o in ascending order.
k, 0.4, h, o
Let v(b) = 6*b + 18. Let l(f) = -3*f - 114. Let i be l(-37). Let r be v(i). Sort -4, r, 11.
-4, r, 11
Suppose 3 - 17 = -2*s. Suppose -s*v - 1 = 13. Put v, 1/4, 54 in descending order.
54, 1/4, v
Let o(w) = -2*w**2 - 227*w + 3. Let c be o(0). Put -6, 1, 22, c in descending order.
22, c, 1, -6
Let d be -2*(0/(-2) + 1). Suppose 11305*q = 11291*q - 70. Sort 14, d, q, 5.
q, d, 5, 14
Suppose 2*y + 15 = 3*q, -39*q + 44*q - 3 = -4*y. Let f be (-46)/12 + (-9)/(-3). Put -2, q, 0, f in decreasing order.
q, 0, f, -2
Let q = 0.17202 + -0.07202. Put -0.04, q, -22 in descending order.
q, -0.04, -22
Let m(d) = 14*d - 83. Let w be m(5). Let j(k) = -10*k - 131. Let v be j(w). Sort 8, v, -3.
-3, v, 8
Let k(h) = 1 - 11*h**2 - 2*h + h**3 + 24*h**2 + 4*h + 10. Let o be k(-13). Let u be (o/2)/5*2. Sort u, 3, 5.
u, 3, 5
Let j(w) be the second derivative of -w**3/6 + 11*w**2 + 2*w. Let b be j(10). Let f be ((-6)/b)/((-3)/(-6)). Sort -5/6, 2/7, f.
f, -5/6, 2/7
Let i(u) = u**3 - 13*u**2 - 13*u - 16. Let j be ((-56)/(-3 - -7))/(-1*1). Let h be i(j). Sort -1, h, -25 in decreasing order.
-1, h, -25
Let z(m) = -3*m + 53. Let q be z(12). Suppose q*p + 0*p = 68. Sort -3, p, 0.
-3, 0, p
Let v(k) = k**3 - 3*k**2 - 52*k + 12. Let q be v(-6). Sort 3, q, 977.
q, 3, 977
Let w = -19 - -21. Let f = -6033 - -6031. Put f, w, 185 in decreasing order.
185, w, f
Let j be ((-12)/(-110))/(19/209). Let l = 2.94 + -2.94. Put l, j, -0.5, -12 in increasing order.
-12, -0.5, l, j
Suppose 11*b - 302 = 644. Suppose 0 = -91*l + b*l + 25. Suppose -5*m + 3*m = 6. Sort -2, m, l, -4 in descending order.
l, -2, m, -4
Let t = -101.1 - -101. Let q = -1.9 + -1.1. Sort q, 33, t in increasing order.
q, t, 33
Let y(i) = -18*i**2 + 8*i - 5. Let a be y(1). Let x = 730 + -727. Put -3, x, 5, a in increasing order.
a, -3, x, 5
Let v = -9243 - -9238. Put 2.4, 1, 2/19, v, -1 in increasing order.
v, -1, 2/19, 1, 2.4
Let w = 1151 - 1275. Put 2, w, 7, 5 in increasing order.
w, 2, 5, 7
Let v = 0.02923 + -3.02923. Sort 0.575, v, -5.
-5, v, 0.575
Let d(g) = 5*g + 261. Let s be d(-49). Suppose -2*x - 2 = -5*u, u + 3*u - s = -2*x. Put 4, u, -4, -2 in decreasing order.
4, u, -2, -4
Let w = 83/5 + -17. Sort 5, w, 1/100 in increasing order.
w, 1/100, 5
Let f(c) = -c**3 + 7*c**2 + 8*c + 5. Let j be f(8). Suppose j*s = -32 + 7. Let y be (-52)/(-11) + (-183)/(-671). Sort 3, 1, s, y in ascending order.
s, 1, 3, y
Let q be 252/20 + 3/(-5). Suppose -72*c = -67*c + 55. Let i = c + 13. Sort i, 5, q in ascending order.
i, 5, q
Let g = -11 - -10. Suppose 0 = -4*z + 2*o + 32, 3*z - o - 4*o = 24. Suppose 10*n = z*n - 8. Put n, -4/5, g in descending order.
-4/5, g, n
Let p = 4464 - 4460. Sort 0, -90, p in increasing order.
-90, 0, p
Let a = 1 - 1. Let u = -40533 + 40531. Sort 15, u, a in descending order.
15, a, u
Let s be 34/8 + 1230/(-984). Sort -2, 5, s in ascending order.
-2, s, 5
Suppose -87*j + 100*j - 780 = 0. Sort j, 5, 1, -4.
-4, 1, 5, j
Let g = -127/208 + 73949/120432. Sort g, 3, 11/5 in ascending order.
g, 11/5, 3
Let g = -3 + 5. Let l be ((-240)/(-45))/16*(-22 + 1). Let y(r) = -r**3 - 5*r**2 + 5*r - 59. Let f be y(l). Sort f, 0, g, 7.
0, g, f, 7
Let v(f) = 25*f - 1281. Let q be v(51). Sort -3, 31, q in decreasing order.
31, -3, q
Suppose -4*r + p = 7, -104*r - 2 = -105*r - p. Sort r, 3, -4, -3, 0 in descending order.
3, 0, r, -3, -4
Let g(l) = 2*l**3 - 34*l**2 - 41*l + 108. Let d be g(18). Sort d, 288, 3, 0 in decreasing order.
288, d, 3, 0
Suppose 6*b + 4*n + 20 = 8*b, 4*b - 5*n - 25 = 0. Suppose b = -80*t + 26*t - 108. Put t, -0.8, 0.07 in decreasing order.
0.07, -0.8, t
Suppose 0 = -5*c + y - 35, 0*c + y = 2*c + 17. Let p be (-1061)/15 - c/(-15). Let f = p + 71. Sort 1/3, 0, 3, f.
f, 0, 1/3, 3
Let g = -36.08 + 35.98. Sort 1, 2/3, g, 2/13 in ascending order.
g, 2/13, 2/3, 1
Let s(c) = c**3 - 7*c**2 - 19*c + 14. Let v be s(9). Let n = -12.5 + 2.5. Let g = -13 - n. Sort g, -1/4, v in increasing order.
g, -1/4, v
Let x = -178.56 + 182.56. Sort -90/7, x, -3, 0.4 in increasing order.
-90/7, -3, 0.4, x
Let k = 11045 - 11044. Sort -1/3, -136, k.
-136, -1/3, k
Let d = -27.36 - -27. Let r = -0.14 - 0.3. Let b = r + d. Put 3/7, -2, b in descending order.
3/7, b, -2
Let s = -16.041 - -20.741. Sort 2/11, 1/3, s, -2 in descending order.
s, 1/3, 2/11, -2
Suppose -3*w = 13*p - 40, -6295*p - 23 = -6300*p - 2*w. Let j = 6 - 3. Put 0, p, -0.5, j in descending order.
j, p, 0, -0.5
Suppose 13093*i = 13128*i + 700. Put -2, 59, i in ascending order.
i, -2, 59
Let u = -8.8 - -63.8. Let p = 58 - u. Put -3, -2, -0.4, p in decreasing order.
p, -0.4, -2, -3
Let z = -11 - -4. Suppose 34 = q - 3*c, -2*c - 4 = -92*q + 96*q. Sort 1, z, q, -1 in increasing order.
z, -1, 1, q
Suppose 2*d = 9*d + 35. Suppose 3*m + 2 = 26. Let r be ((-1)/(-2))/(4/24). Sort m, r, d in descending order.
m, r, d
Let s = -66.4 - 631.4. Let m = 697 + s. Sort m, -5, 4 in decreasing order.
4, m, -5
Let m be 2 - -4 - ((-6)/14 + 212/(-28)). Let t be ((-2)/(-3))/((-9)/(-27)). Put -1, t, m, 11 in increasing order.
-1, t, 11, m
Let y = -0.3 - -0.5. Suppose -3*d - 4 = -34*v + 36*v, -3*v - d = 13. Let z(o) = 4*o**2 + 23*o + 17. Let g be z(v). Sort y, g, -0.09 in descending order.
g, y, -0.09
Let w = 0 + 4. Suppose 170 + 22 = -w*n. Let l = 39 + n. Put l, -3, -5 in decreasing order.
-3, -5, l
Let u = -21532 - -21494. Put 1, -5, u, 2, -12 in decreasing order.
2, 1, -5, -12, u
Let f = 3968 - 3973. Let l = 3 - 1. Put f, 10, l in ascending order.
f, l, 10
Let s = 3318 - 3321. Sort s, -155, -4, 2, 5 in increasing order.
-155, -4, s, 2, 5
Let w = -106.85 + 117.85. Put 3, w, 1.98 in increasing order.
1.98, 3, w
Let d = 5543 + -5539. Sort d, -132, -3 in increasing order.
-132, -3, d
Let y(m) = -m**3 