/1785 + -1/357. Let t = 0.04 - -0.96. Put 0, t, z, -4 in descending order.
t, z, 0, -4
Suppose 60*c - 86*c = -26. Suppose 12 = 2*o - 4*o. Sort c, -5, 0, o in descending order.
c, 0, -5, o
Suppose -6*u + 7*u = 21. Let f be (-58)/(-6) + (-14)/u. Let h be (-1)/(f/(-6))*-3. Put 3, -5, h in descending order.
3, h, -5
Let j = 18 + -15. Suppose 4*n - 4 = j*n. Put 5, n, -1 in descending order.
5, n, -1
Let p = -144.9 - -145. Suppose -3*m = -3*v + 24, -5*v - 2*m + 56 = 9. Let b = 26/3 - v. Put 0.5, b, p in descending order.
0.5, p, b
Let o = -1167.07 - -1167. Put 0.3, o, 0, 0.05 in decreasing order.
0.3, 0.05, 0, o
Let w = 3 + -2.9. Let j = -1.6 - 0.8. Let s = j - -2.4. Sort -5, s, w.
-5, s, w
Let b = -31 + 36. Let d be -2 + (-2 - 3)/b. Sort d, -6, -2 in increasing order.
-6, d, -2
Let x = -393 + 390. Put 2, x, 4, -2 in ascending order.
x, -2, 2, 4
Let t = -856 - -841. Put 0.3, t, 0.4 in increasing order.
t, 0.3, 0.4
Suppose -2*o + 0*o = 2*z - 60, 4*z - 123 = -5*o. Let s = -31 + z. Sort -2, s, 0 in descending order.
0, -2, s
Suppose -16*v = -51 + 195. Let p(d) = 3*d**2 - d + 1. Let a be p(1). Let i = a - 3. Put v, i, 4 in descending order.
4, i, v
Let o be (1/(-3))/(2/(-18)). Let z(a) = a - 4. Let n be z(o). Let h be 0*(-3)/18*3. Sort n, h, 2.
n, h, 2
Suppose -8*z - 57 - 7 = 0. Put -7, z, 5 in descending order.
5, -7, z
Let i = 361 + -358. Sort -10, i, 2 in descending order.
i, 2, -10
Let v = 0.0748 - 0.5748. Sort v, -0.3, 4, -0.06 in decreasing order.
4, -0.06, -0.3, v
Let d = -71/25 - -1347/175. Let w = -143/28 + d. Let g = -8 + 4. Sort g, w, -2 in increasing order.
g, -2, w
Suppose -7*z = -3*z - 16. Let p be (-1 + 16/20)/(z/(-20)). Let o be (-1 - -1)/(2 - 1). Sort 3, p, o in descending order.
3, p, o
Let c be 4/(-14) - 115/(-35). Suppose -c*w + 2 - 3 = 5*y, 8 = -3*w + 2*y. Sort w, 3, 18.
w, 3, 18
Suppose v + 2 + 6 = 0. Let l = 7 + v. Let a = -7 + 10. Sort 4, a, l in decreasing order.
4, a, l
Let r(u) = -u**2 - 46*u - 47. Let t be r(-45). Let x be 6/12 - 10/(-4). Suppose 1 - x = -2*n. Sort -4, n, t in descending order.
n, t, -4
Suppose 4*r = 2*r + 22. Suppose 0 = 3*v - r - 1. Sort v, 0, -7 in decreasing order.
v, 0, -7
Let c be ((-4)/(-16))/((-3)/(-24)). Let w be c/7 - (-1)/(-28). Sort 0, w, 4 in increasing order.
0, w, 4
Let r = -15 - -11. Let i be -1*14/((-1344)/16). Put r, i, 1/3 in increasing order.
r, i, 1/3
Let w be -1 - (-13)/12 - (-435)/1260. Sort w, 6.7, 2.
w, 2, 6.7
Let k be 1/4 - 207/12. Sort -5, 2, k in increasing order.
k, -5, 2
Let c = -2.19 - 1.81. Let x = -0.4 - -2.4. Put x, c, 1 in ascending order.
c, 1, x
Suppose -155*t + 157*t - 55 = -3*n, -5*n + 3*t + 60 = 0. Sort -5, n, 54.
-5, n, 54
Suppose -3*u + 3*a = 6 + 9, -u - a = 1. Let s(o) = -o**3 - 2*o**2 + o - 2. Let m be s(u). Let b be m - 3 - (-10)/(-14). Sort b, 4, -3 in decreasing order.
4, b, -3
Let w = 146 - 153. Let m = -0.04 - -3.04. Let r = w + m. Put -0.5, r, 1/2 in decreasing order.
1/2, -0.5, r
Let x(v) = v**2 - 10*v + 3. Let y(z) = -z**2 + 9*z - 4. Let q(l) = 3*x(l) + 4*y(l). Let o be q(5). Let u be (-2)/4 - 2/(-4). Sort 1, u, o in increasing order.
o, u, 1
Let s be 2/(-7) - 111/(-21). Suppose 28 = 4*y + 3*n + n, 8 = 2*y + 5*n. Suppose -s*j + 10 = -2*z, 4*j - 2*z - y = 1. Sort 1, -5, j.
-5, j, 1
Let s(c) = c**3 + 6*c**2 - 6*c + 11. Let p be s(-7). Let o = 5 - 3. Sort -3, o, -5, p.
-5, -3, o, p
Suppose -2*d + 0*d - 12 = 0. Let s be (-3)/d + (-3)/(-2). Let q be s/((-16)/(-36)*-6). Sort -0.5, -4, q in decreasing order.
-0.5, q, -4
Let n = 0 - -0.1. Let g = -0.064 + 26.064. Let j = -26 + g. Sort n, 1, j in decreasing order.
1, n, j
Let c = -52 - -35. Let t = 24 + c. Let y = t + -8. Put 0, y, 5 in descending order.
5, 0, y
Suppose -5*u = -3*u - 10. Suppose 0 = -2*h + s - 6, -h - s - 17 = -u*s. Let f be h*(2 - 1) + 3. Sort 0.1, 0.05, f in increasing order.
0.05, 0.1, f
Let l be (-2)/2 - -2*60/104. Let p = -3.07 - -0.07. Put p, 2/5, l in decreasing order.
2/5, l, p
Let b(h) = 37*h + 2. Let n be b(1). Let l = -38 + n. Let x(m) = -m**3 - m**2 + m. Let u be x(l). Put 3, u, 4 in ascending order.
u, 3, 4
Let o = 1.225 - 1.625. Sort -5, -8, o.
-8, -5, o
Let l = -28 + 30. Suppose 5*y - 14 = -2*v - 0*v, 3*y - 2 = l*v. Put y, -1, 1 in increasing order.
-1, 1, y
Let x(v) be the first derivative of 3*v**2/2 - 10*v - 1. Let j be x(4). Let k = j + 3. Sort 0, k, 6 in decreasing order.
6, k, 0
Suppose 0 = i + j - 6, j - 6 = -2. Suppose -i*y = y + 21. Let g = y + 5. Put 2, -5, g in ascending order.
-5, g, 2
Let m(n) = -5 + 4 - 2 + 2 + 10*n - 2*n**2. Let x be m(5). Sort 35, x, -2 in descending order.
35, x, -2
Let o be 24/2 - 3 - 5. Put 2, -2, -32, o in increasing order.
-32, -2, 2, o
Suppose m + 12 = -2*m, -2*m + 8 = 4*o. Suppose 0 = w - o*w. Suppose w = 2*l + 7 - 1. Sort l, -5, 3/5 in descending order.
3/5, l, -5
Let a = 60 - 58. Put -4, -2, a, -35 in decreasing order.
a, -2, -4, -35
Let j be (0 + 2)/(114/(-14) + 8). Sort 0, -4, j.
j, -4, 0
Let s = -0.1 - 4.9. Let z = 6.644 - -0.356. Put z, -10, s in increasing order.
-10, s, z
Let l(n) = n**2 + 32*n + 78. Let c be l(-28). Put 1, -3, 0, c in ascending order.
c, -3, 0, 1
Let a be (-3)/(-6)*(-1 - -9). Let t(k) = k**2 + 5*k - 108. Let c be t(-13). Put a, -34, c in descending order.
a, c, -34
Let m = 239 + -239. Sort 6, 3, m.
m, 3, 6
Suppose 25 + 0 = -10*r + 45. Let d be 2/(3/((-27)/6)). Let s = 0.1 - 2.1. Sort s, r, d in decreasing order.
r, s, d
Suppose 4*s + s - 45 = -5*o, -2*o + 30 = 5*s. Suppose -12 = -s*v + 8*v. Sort 1, -5, v in decreasing order.
1, v, -5
Let d = -794 - -792. Sort -3, -3/5, 13, d.
-3, d, -3/5, 13
Let x = -81 - -86. Put x, -3, -4, -2 in increasing order.
-4, -3, -2, x
Let s = -2.8 + 3. Let q = -0.3 + s. Let p = -0.577 + 0.677. Put q, 4, p in decreasing order.
4, p, q
Let c = -644 - -641. Put c, 1.49, 3/2, -4 in descending order.
3/2, 1.49, c, -4
Let c = 0 + 3. Let g = -952 + 6644/7. Let j = g - -166/63. Sort c, j, -2/7.
-2/7, j, c
Let p = 2623 + -2599. Sort p, -4, 2, 1 in decreasing order.
p, 2, 1, -4
Let m = -1.73 - -1.63. Put m, -0.5, -3/5, -2 in decreasing order.
m, -0.5, -3/5, -2
Suppose -6*s + 2*s + 3*y = 19, 0 = 5*s - 5*y + 30. Put 23, s, -2 in increasing order.
-2, s, 23
Let t = -546 - -551. Sort -1, -5, 3, t.
-5, -1, 3, t
Suppose -2*m - 2*t - 16 = 4, -2*m - 3*t = 23. Let s(u) = 2*u + 11. Let o be s(m). Let w be 2 + -3 - (-1 + 0). Sort -4, o, w in decreasing order.
w, o, -4
Suppose -7*w + 11*w + 2*y - 14 = 0, -w + 14 = -3*y. Sort w, 1, 22, 3.
1, 3, w, 22
Let q be (-3 - 1 - 0) + 7. Suppose -2*b = -q*b - 2. Let y = 3 - 0. Put 0, y, b in descending order.
y, 0, b
Suppose -2*g + 4 = -12. Suppose 3*u = g*u + 25. Let l(c) = 3*c**2. Let y be l(1). Sort u, y, -1 in descending order.
y, -1, u
Suppose 2*o - 3*t - 15 = 0, -12 = 4*t + 8. Let k = 6 - o. Let g = k - 5. Sort 3, -4, g in increasing order.
-4, g, 3
Let t(o) = o + 1. Let h be t(-1). Let n = -45093 - -45088. Sort -4, h, n in increasing order.
n, -4, h
Suppose 5*m + 6*m = 88. Sort -2, m, 1, 2.
-2, 1, 2, m
Let o be -28 + (-16)/(-4) + -6. Let x = o + 30. Sort 3, -5, x.
-5, x, 3
Suppose -7*x + 10*x = 0. Let l be -14*(-3)/(6 - x). Suppose -3*j = l + 5. Sort 1, j, -1 in increasing order.
j, -1, 1
Let y = 3 + 12. Suppose -5*l + 0*l - y = -5*z, 2*l = z - 8. Suppose o + 5 = -3*p + 5*o, 2*p + 3*o = 25. Put p, z, -5 in decreasing order.
p, z, -5
Suppose 0 = -41*v + 51 + 359. Suppose 0 = -2*n - 10, -m + 3*m - 13 = n. Let t = 6 - m. Sort v, 5, t in ascending order.
t, 5, v
Let a(z) = 15*z - 210. Let r be a(13). Sort r, 1, 10 in decreasing order.
10, 1, r
Let s = -2.9 + 3. Let h = -181 + 1271/7. Put 2/5, s, h, 0.3 in descending order.
h, 2/5, 0.3, s
Let g = 4.0187 - 0.0187. Let b = -517/60 - -35/4. Sort -0.5, g, b in decreasing order.
g, b, -0.5
Let m = 0.094 - 56.094. Let h = m + 59. Put 4, -0.3, h in decreasing order.
4, h, -0.3
Let i = 24 + -24. Suppose 2 = -f + 2*f + 3*r, -5*r + 5 = i. Put 2, 1, f, 3 in increasing order.
f, 1, 2, 3
Let i(f) = f**2 + 39*f - 39. Let s be i(1). Put -8/11, s, -2/5 in descending order.
s, -2/5, -8/11
Let g = 214 - 217. Sort 0.6, g, 3/25.
g, 3/25, 0.6
Let w be -3 - (-6)/(-12)*-78. Let v be (-8)/w + (-34)/(-72). Put 2/17, -2, v, 1 in increasing order.
-2, 2/17, v, 1
Let s = 5.7 + -6.2. Let o = s + 0.9. Let g be ((-4)/3)/(4/(-6)). Put g, -4, o in incr