2*u. Let m be q(-5). Sort -4, 0, m in descending order.
m, 0, -4
Suppose 7*u + 6*u - 832 = 0. Let a = u + -60. Put -2, -12, a in decreasing order.
a, -2, -12
Let k = 6371 + -6374. Let m be (-38)/(-5) + (-6)/(-15). Put -4, -2, m, k in decreasing order.
m, -2, k, -4
Let a(r) = -r - 4. Let m be a(-6). Suppose m*y - 3 = 5*y. Sort 0, -3, y, 24 in ascending order.
-3, y, 0, 24
Let x(u) = u - 211 + 211. Let s be x(0). Suppose s = -2*r - 2*f - 46, 0 = f + 1 + 3. Put r, -5, -4 in ascending order.
r, -5, -4
Let d be (-304)/133 + (-1)/(14/(-4)). Sort d, 2, 5.
d, 2, 5
Let v = -306 - -192. Let s = -110 - v. Sort s, -26, 1, 5 in decreasing order.
5, s, 1, -26
Let t = -69 - -158. Let p = 92 - t. Put -4, 1/3, 4, p in increasing order.
-4, 1/3, p, 4
Let o = 2 + -1. Let c = 1.84 + -2.04. Let r = 0.1 - 0.16. Sort r, c, o in descending order.
o, r, c
Let s = 400 + -399.7. Sort -0.1, 6, 10, s in descending order.
10, 6, s, -0.1
Let g(s) = -6*s + 38. Let v be g(6). Put v, 0, -1 in ascending order.
-1, 0, v
Let i = 8 - 10. Sort -1, i, -19 in increasing order.
-19, i, -1
Suppose -13*b + 141 = 89. Sort -3, b, 1, -4 in descending order.
b, 1, -3, -4
Suppose 0 = -y + 3*y. Let n be (6/2 - 0)*(-4)/(-12). Suppose l = -5*q + n, 3*l + 0*q - q = -13. Put y, 1, l in increasing order.
l, y, 1
Let x = -83 + 83. Suppose x = 36*f - 34*f - 6. Sort 15, f, 0.3 in ascending order.
0.3, f, 15
Let f(h) = 3*h**2 - 49*h - 35. Let x be f(17). Put x, -3, 5, -2 in increasing order.
-3, -2, x, 5
Suppose 21*r + 40 = -65. Suppose -2*h + 2 = -0*h + p, 5*h + 8 = 4*p. Sort r, -2, h, 1.
r, -2, h, 1
Let t be (-1)/((54/(-4))/(-3)). Let h = -2 - -5. Let k = h + 1. Put -5, k, t in descending order.
k, t, -5
Let r = -3.7 - 0.1. Let h = -14.2 - -13. Let c = r + h. Put c, 2, -3 in increasing order.
c, -3, 2
Suppose 2*t = -2*x + 5 + 3, 0 = 4*x - 20. Let o = 52 + -49. Put 5, -5, t, o in decreasing order.
5, o, t, -5
Let s = -2.1 - -1.4. Let b = s - -0.2. Put 4, -3, b in decreasing order.
4, b, -3
Let k(o) = 2*o**2 + o - 6. Let w be k(2). Sort 2.6, -2/13, w in increasing order.
-2/13, 2.6, w
Let c(k) = 2*k**2 + 17*k + 32. Suppose -2*g = -3*o - 8, 2*g - 49 = 4*o + 7*g. Let a be c(o). Sort 0, a, -4.
-4, 0, a
Let a = -1.2 - -0.2. Let m = a - -0.9. Let g = -3777 - -3781. Sort 2/5, g, m in descending order.
g, 2/5, m
Let l be 15/(-18) + 10*(-5)/(-20). Put 5, 85, l, 0.1 in ascending order.
0.1, l, 5, 85
Let r = 14.64 + -16. Let d = -1.3 - r. Let z = 0.05 + 1.95. Put 4, z, d in increasing order.
d, z, 4
Let c = -0.1949 - 1.1051. Sort 0, 2/7, c in increasing order.
c, 0, 2/7
Suppose -13 + 5 = f - 2*c, 5*f + 2*c - 8 = 0. Let z(r) = -r**3 + r**2 - r + 5. Let m be z(f). Sort -3, 2, -5, m.
-5, -3, 2, m
Suppose 6 = 6*n - 4*n. Suppose 4*o - 1 = -4*v - 9, 0 = -4*o + 3*v - 1. Put n, 0, o in ascending order.
o, 0, n
Suppose 32 = 4*d - 3*n, -7*d + 2*d - 5*n = -5. Suppose -d*v - 1 = -1. Put 5, -2, v in increasing order.
-2, v, 5
Let g = -426 - -10648/25. Let u = -62 + 40. Let r = u - -20. Sort r, 2, g in decreasing order.
2, g, r
Let b = -15691/6408 - -3/712. Let a = -172/63 - b. Sort 3/2, a, -2 in ascending order.
-2, a, 3/2
Let h = -1983 + 1982. Sort h, -5, -4.
-5, -4, h
Let s(m) = 8*m**3 - m + 1. Let z be s(1). Let j be ((-25)/(-20))/((-2)/z). Sort j, 2, -2 in increasing order.
j, -2, 2
Let u(b) = 3*b + 1. Let p(r) = 10*r + 3. Let c(q) = -2*p(q) + 7*u(q). Let k be c(-5). Let t be (24/60 - 0)/(1/15). Put k, 3, t in ascending order.
k, 3, t
Suppose -8 = -b - b. Let i = 0.1 - -0.3. Let r = -0.7 + i. Put b, 0.1, r in increasing order.
r, 0.1, b
Let m(u) = 22*u - 539. Let s be m(24). Sort -4/5, -2, -2/23, s in ascending order.
s, -2, -4/5, -2/23
Let b be ((-1389)/(-312) - (-1)/(-2)) + -4. Let t = -11/26 - b. Put t, 0, -1/4, -4 in increasing order.
-4, t, -1/4, 0
Let z = -8 - -5. Let q = 19 - 27. Let r = q - z. Put -4, 0.1, r in decreasing order.
0.1, -4, r
Let q(z) = 3*z - 1. Let b be q(1). Suppose 89 - 92 = -a, -2*h = -3*a + 3. Sort 0, h, b, 1 in descending order.
h, b, 1, 0
Let k = 16.34 - 16.84. Sort -4/3, 4, k, 0.47 in decreasing order.
4, 0.47, k, -4/3
Let p = -7 - -3. Let a = -0.95 - -0.25. Sort p, 5, a.
p, a, 5
Let s = -1380 - -1379.7. Sort -3, -153, -0.1, s in descending order.
-0.1, s, -3, -153
Suppose 39*z = -4283 - 2815. Put -1, z, 4 in decreasing order.
4, -1, z
Let r be (183/6)/(1/(-2)). Let j = -245/4 - r. Let g = 0.18 + -0.2. Put g, j, 0.3 in ascending order.
j, g, 0.3
Let z = -13.1 + -56.6. Let t = z + 75. Let r = t - 6. Sort -0.3, r, -2/7 in ascending order.
r, -0.3, -2/7
Let g(c) = -2*c**3 - 9*c**2 + 15*c + 50. Let o be g(-5). Let x = -18 + 13. Put -12, o, x in descending order.
o, x, -12
Let g = 4.0436 - 0.0236. Let l = g + -4. Let s = l - -0.03. Sort -0.5, s, -3 in ascending order.
-3, -0.5, s
Let d(x) be the first derivative of -x**3/3 + x**2 + 6*x + 9. Let o be d(3). Suppose -3 = -p - 2*p. Sort o, p, 5.
p, o, 5
Let v = 0.02 + 1.98. Let d = 138 + -222. Let b = d + 254/3. Sort 4, b, v.
b, v, 4
Let o = 247 - 249. Sort -3, 3/4, o in descending order.
3/4, o, -3
Suppose 5*x + 20 = 3*h, -h - 12 = 2*x + x. Sort -7, -3, h, -2 in decreasing order.
h, -2, -3, -7
Suppose -7*n - 10 = 4. Let r be n*(-3)/(-60)*-6. Sort r, -3, -4 in decreasing order.
r, -3, -4
Let i(p) = -p**2 + 4*p + 21. Let u(q) = -2*q**2 + 7*q + 43. Let r(g) = -5*i(g) + 2*u(g). Let o be r(8). Let w = 1 + 4. Sort o, w, -5 in decreasing order.
w, o, -5
Let n = -6.64 + 0.24. Let i = 12.4 + n. Let l = -0.04 + 2.04. Sort l, -5, i in ascending order.
-5, l, i
Let b = -648 - -653. Sort -23, 2, b, 3 in ascending order.
-23, 2, 3, b
Let a be (-265)/20 + 1*(-4)/(-16). Sort -5, a, 0.
a, -5, 0
Let g be 1/(-1)*1*3. Suppose -2*p + 45 = -2*n + 9, 2*p = 5*n + 42. Put p, g, 2 in increasing order.
g, 2, p
Suppose 26*p + 91 = 19*p. Sort 3, -3, p in increasing order.
p, -3, 3
Let l = 13/12 - 137/60. Let j = 1.94 - -0.06. Sort j, l, 1 in ascending order.
l, 1, j
Let m = -4.6 + 4.7. Let i = -1.98 - -0.18. Let j = -0.2 + i. Put 8, j, m in ascending order.
j, m, 8
Suppose -10 - 11 = -f - 4*r, -4*r + 41 = 5*f. Suppose -2*y = 3*y + 10. Let p = -1 - y. Put p, f, 3 in descending order.
f, 3, p
Let m = 3 + -7. Let j = -7 + 5. Let n = 0.21 + -0.61. Sort m, n, j.
m, j, n
Let v be 10/18*(-72)/(-30). Let a = 6.3 + -6.7. Sort -4/3, a, v in ascending order.
-4/3, a, v
Let u be -3 + 1 + 13 - (-39 + 36). Sort u, 4, 1 in ascending order.
1, 4, u
Suppose 5*p - 6*f = -9*f - 17, -f = 4*p + 8. Sort p, 5, 6, 16 in increasing order.
p, 5, 6, 16
Let p(q) = 8*q - 2. Let s be p(1). Let h = -80/3 - -134/5. Sort h, -1, s in ascending order.
-1, h, s
Let t(s) = -8*s + 539. Let q be t(66). Sort 0, q, 5.
0, 5, q
Let k = -10 - -21. Let m = 8 - k. Let g = -0.13 + -0.07. Sort g, -0.4, m in descending order.
g, -0.4, m
Let g = 0.2014 + 0.0986. Put g, 224/9, 1 in ascending order.
g, 1, 224/9
Let h = -6 + 5. Suppose -i + 7 = 6*i. Sort 5, h, i in decreasing order.
5, i, h
Suppose -193*k + 198*k = -45. Suppose -9 = -7*i + 4*i. Let b(y) = y**3 - 2*y**2 - y - 4. Let v be b(i). Sort -1, v, k.
k, -1, v
Let b be (-161)/39 + (2 - -2). Let p = b + -7/13. Sort 2/13, 0.4, p in ascending order.
p, 2/13, 0.4
Let d be 122/14 - 4 - (-10)/(-2). Let f = -0.08 + 5.08. Let u = f - 5.4. Sort u, -4, d.
-4, u, d
Let z be 20/(1 - -4) - 3. Let f be (-8)/(-32)*z*-3. Let l = 1.9 + -13.9. Put 0.1, f, l in decreasing order.
0.1, f, l
Suppose 5*c + 33 = 6*v, v + 0*c = -c. Sort 4, -1, v, -8 in increasing order.
-8, -1, v, 4
Let f = -247/2 - -122. Put 1, 1/2, -6, f in decreasing order.
1, 1/2, f, -6
Let g = -2.55 + 4.55. Sort 0, g, 0.2, 5 in descending order.
5, g, 0.2, 0
Let i be (-8)/2 - 3*(-748)/51. Sort i, -1, 3.
-1, 3, i
Let b be 8*(-4 - 21/(-6)). Let q be (b/6)/(18/(-135)). Suppose 11 = q*s + 3*n, 4*n + 3 = -3*s - n. Sort s, -8, -1 in ascending order.
-8, -1, s
Let z be (-94)/(-6) + 2/(-3). Suppose -4*j = -9*j + z. Let s be 32 - (-354)/(-11) - (-1)/(11/(-42)). Sort s, 1, j in decreasing order.
j, 1, s
Suppose 0 = -3*t + p + 133, -5*p + 39 = t - 0*p. Let w be (-8)/(-44) + -2 + 212/t. Sort w, -3, 18, 1/3.
-3, 1/3, w, 18
Let x = 4 + -1. Let s be 1/(-4)*(-1 - (-3 + -10)). Put x, 5, s in increasing order.
s, x, 5
Let q = 25.1 - 25.2. Sort q, 37/4, -5 in ascending order.
-5, q, 37/4
Let h be (-6 + 9 - (2 - 1)) + 3. Let d = 2 - 7. Sort