, -0.07, l
Let h = -377 - -379. Sort -9, h, 4, -1 in decreasing order.
4, h, -1, -9
Let k = 11 - 13. Suppose t - 5 = -0. Suppose 2*c + 0 = -4*l + 12, -2*l + t*c - 6 = 0. Sort l, k, -5 in descending order.
l, k, -5
Let c(k) = 13*k - 8. Let s be c(1). Suppose -f - 4*y + 10 = -4*f, -s*f - 5*y - 5 = 0. Sort -3, -11/2, f, -0.2 in decreasing order.
-0.2, f, -3, -11/2
Suppose -d = d + 2. Suppose -3*m - 18 = -3. Let h = -27 - -29. Sort m, h, d in decreasing order.
h, d, m
Let z = 4 + -3.5. Let t = -388.4 + 388. Put -13, 2, t, z in ascending order.
-13, t, z, 2
Let a = 59.61 - 59.61. Let g(m) = m**2 + 2*m - 3. Let d be g(-4). Put 0.1, d, a in ascending order.
a, 0.1, d
Let v = 10.5 - 12. Let a = 1.4 + v. Let o = 1.9 - a. Put 0, o, -1 in increasing order.
-1, 0, o
Let n(v) = -v + 4. Let z be n(6). Let s = -2 + 5. Let l(h) = 2*h**2 + 13*h + 11. Let y be l(-5). Sort z, s, y.
y, z, s
Let v = -18 + 10. Let h be 4/v + 82/4. Suppose 0 = j - 6*j - h. Sort 5, j, 4.
j, 4, 5
Let s = 479 - 1919/4. Sort -0.4, 0.5, -2/21, s in increasing order.
s, -0.4, -2/21, 0.5
Let b be 0 + (-4)/(16/4). Sort b, -5, -4, -21.
-21, -5, -4, b
Let d = -102.87 - -104.87. Let w = 0.2 - 0.16. Sort 3, d, w in increasing order.
w, d, 3
Let d = 154 - 156. Put 3, 6, -20, d in decreasing order.
6, 3, d, -20
Let n = 59/6 + -9. Sort 3, -10, n.
-10, n, 3
Suppose -17 = -2*y - 3*c, y + 0*y - 5*c + 24 = 0. Suppose 3*s + 3 + y = -v, 9 = 3*v + 2*s. Let n = -3 + 2. Put n, v, -3/5 in increasing order.
n, -3/5, v
Suppose 0 = -4*r + 4*k, k = r - 2*r - 6. Suppose 7*p = 5*p + 4. Put p, r, 6 in increasing order.
r, p, 6
Let v = -5.14 - 1005.86. Let h = v - -1006.71. Let z = h + 0.29. Sort z, 1/2, 3.
z, 1/2, 3
Suppose w + w - 28 = 4*x, -5*x - 45 = -5*w. Suppose 4*j - j = 4*u + 35, 3*u + 27 = 3*j. Let k be 1/(1 - u/(-6)). Put x, 5, k in descending order.
5, k, x
Let f(c) = -3*c**2 + c + 1. Let m = 20 + -16. Suppose -w = w + 2*h + m, 3*w + 4*h + 7 = 0. Let u be f(w). Sort 1, u, -1 in decreasing order.
1, -1, u
Suppose 2*w + 10*g = 7*g + 4, 4*w - 4*g - 28 = 0. Put 101, 0, -3, w in increasing order.
-3, 0, w, 101
Let f = -0.376 + 0.676. Let l = 2 - 3. Put f, -2, l in descending order.
f, l, -2
Let r = 18.66 + 0.34. Let j = 20.57 + -1.97. Let n = j - r. Sort n, -4, 2/7 in descending order.
2/7, n, -4
Let a = 6 + -8. Let y be 2/8*a - (-1)/10. Let i be 0/(2*-1) + 1. Sort 2/5, y, i.
y, 2/5, i
Let d = -85.5 + 85. Let b be (-9)/(-6)*(-30)/(-9). Sort -1/7, d, b.
d, -1/7, b
Suppose -2*m = -3*m + 3*f, -4*f - 16 = 0. Let u be (-68)/18 - m/(-54). Let i = -4 - -6. Put i, 3, u in decreasing order.
3, i, u
Let a(o) = 3*o**2 - 32*o - 11. Let f be a(11). Put -4, f, 10 in decreasing order.
10, f, -4
Let g = 2.27 + -2.5. Let h = 0.87 - g. Let o = h - 1.1. Put o, 1, 1/2 in decreasing order.
1, 1/2, o
Let j = 0.3 - -0.7. Let l = -4996.5 - -4997. Sort j, -3/7, l in ascending order.
-3/7, l, j
Let v be (1 - 2) + 6 - 4. Suppose 9 = 3*j, -u = j - 0 + v. Sort u, -1/6, 0.4 in decreasing order.
0.4, -1/6, u
Suppose i + 0*u - 35 = -4*u, 0 = 3*i + 2*u - 55. Suppose -i*g + 25 = -10*g. Suppose 2*y + 3*y = -5. Sort g, -5, y in increasing order.
-5, y, g
Let n = -22 - -9. Let x = n + 9. Put x, -2, -16 in decreasing order.
-2, x, -16
Suppose -2*c + 1 = -5. Suppose c*z + 10 = 2*z. Let w(a) = 2*a**2 + 8*a - 23. Let r be w(-6). Sort -0.2, r, z in ascending order.
z, -0.2, r
Let q be 3*3/18*0. Let z(p) = p**3 - p**2 - p + 2. Let l be z(q). Suppose 7 - 3 = l*u + 2*k, 5*u - 5*k = 20. Sort u, -1/4, 1/5 in decreasing order.
u, 1/5, -1/4
Let m be (-2)/9 - 352/(-693). Sort -0.2, -5/2, m, -2 in ascending order.
-5/2, -2, -0.2, m
Let h = 47.016 + -47. Let r = h + -0.016. Sort 1/3, 4, r, -0.2 in descending order.
4, 1/3, r, -0.2
Let y be 16/24 - (-59)/(-3). Let w(g) = -g - 44. Let i be w(y). Let n = -24 - i. Sort 2, n, -4 in ascending order.
-4, n, 2
Let s be (12 + -10)/((-4)/2). Sort -16, 5, 1, s in ascending order.
-16, s, 1, 5
Let j(q) = -3*q**3 + 17*q**2 + 5*q + 1. Let v be j(6). Put -2, 5, 3, v in descending order.
5, 3, -2, v
Let c(n) = 4*n + n**2 - n - 5*n**2 + n**2 - 3. Let j be c(1). Put j, -4, 6 in decreasing order.
6, j, -4
Suppose -4 = v, -4*k - 2*v - 10 + 18 = 0. Put 5, -29, k, 3 in ascending order.
-29, 3, k, 5
Let z be 1*(-7 - 0/(-9)). Sort z, -0.52, 0.
z, -0.52, 0
Let x = -30.4 + 31.4. Sort x, 2, -4, 3/8 in ascending order.
-4, 3/8, x, 2
Let m = 511.2 - 511. Put -1.4, m, -1, -2 in ascending order.
-2, -1.4, -1, m
Let r(p) = 6*p - 17. Let h be r(3). Let m be 7/3 - 2/6. Let t be -1*(0 - m - -4). Sort -4, t, h in ascending order.
-4, t, h
Let x = -4/33 + -7/33. Put -2/7, 3, -0.1, x in increasing order.
x, -2/7, -0.1, 3
Suppose 3*w - 3*x - 45 = 0, -2 = -x - 3. Suppose p + 3 = u, u + w = -2*p - u. Sort p, 0, -4 in descending order.
0, -4, p
Let p = -21 + 108. Let i = p - 89. Let x = 0.4 - 0.38. Sort i, x, -0.4.
i, -0.4, x
Let n(f) = 41*f**2 - 2*f + 3. Let i be n(2). Let t = i - 1144/7. Let l be 4/(-26) - 8/(-728). Sort l, 5, t in descending order.
5, l, t
Let g = -2.93 + 3. Suppose -f - 8 = -6. Let s be f/(-12)*8/2. Put g, s, -0.1 in ascending order.
-0.1, g, s
Let f(r) = 5*r - 6*r**2 - 1 + 16*r**2 - 9*r**2. Let c be f(-6). Put 0, c, 1, 3 in increasing order.
0, 1, 3, c
Suppose 4*b = -q + 68 + 347, -440 = -4*b + 4*q. Let y = b + -104. Put y, -6, -3 in descending order.
y, -3, -6
Let w be 1 + 1*(-15)/21. Put w, 4, 1 in increasing order.
w, 1, 4
Suppose 25 = -o - 4*i, 5 = o - 4*i - 10. Put 1, -10, 0, o in ascending order.
-10, o, 0, 1
Suppose 184 = 6*p - 2*p + 2*h, 4*p = -5*h + 178. Suppose 6*d - p = -17. Put -0.3, 0.4, d in increasing order.
-0.3, 0.4, d
Let k(r) = 2*r - 9. Let i be k(6). Suppose -17 = i*z - 5. Sort z, -5, 3 in increasing order.
-5, z, 3
Let p = -0.07 + -8.93. Let b(x) = x**3 + 5*x**2 - 6*x + 1. Let i be b(-6). Let n = -120.1 - -120.2. Sort n, p, i in increasing order.
p, n, i
Let o = 287 + -288. Sort 2, o, -3 in decreasing order.
2, o, -3
Let s = 86/5 + -17. Let g = 7 - 7.06. Let d = -25.68 - -25.78. Put s, g, d in descending order.
s, d, g
Let z = 0.909 - 1.309. Put -3/8, -0.039, z, 2 in decreasing order.
2, -0.039, -3/8, z
Let m be (-99)/(-22) - (-1)/(-2). Let h = 13 + -13. Suppose g - 1 = -h*g. Sort g, m, 3 in decreasing order.
m, 3, g
Suppose 0 = -v - 5*m + 2, 5*v + 4 + 15 = 4*m. Let w = 12 + -13. Let u be (w - 0)/(4/8). Sort -5, u, v in decreasing order.
u, v, -5
Let q be 4/(-6) - 38/(-57). Suppose q = -2*m - 2*m - 8. Put m, -3, 0 in increasing order.
-3, m, 0
Suppose 2*f + 5*f + 14 = 0. Let p(k) = 6*k**2 - 2*k - 1. Suppose 7*q - 3*q + 1 = -5*a, q = -a. Let i be p(a). Put -1, f, i in descending order.
i, -1, f
Let f(r) = r + 7. Let w be f(-3). Let m = 695 + -690. Sort -1/5, w, m in increasing order.
-1/5, w, m
Let z = 0 - 1. Let p be -8 + 13 + 0 + z. Let x be 4 - (-2 + (-4)/(-1)). Put x, p, -4 in ascending order.
-4, x, p
Let n = 258 - 2065/8. Sort 0.2, n, -0.09 in descending order.
0.2, -0.09, n
Suppose 0*p + 2*p - 10 = 0. Let y be (-5)/30 - 404/24. Let g(d) = d + 20. Let l be g(y). Put p, 1, l in decreasing order.
p, l, 1
Let f be (-49)/3 + 3/9. Let j be f/6 + 6/3. Let q = -5.464 + 1.464. Sort j, q, 0.2.
q, j, 0.2
Suppose -2*i - 9 + 1 = 0. Let u be (7 - 3)*(-21)/84. Sort u, i, -6 in ascending order.
-6, i, u
Let q = -3 - 0. Suppose -3*w - 4*r - 22 = 0, 6*r + 491 = -2*w + 453. Sort w, 0, -7, q.
-7, q, 0, w
Let w = 3.05 - 3. Let u = 12/75835 + -198991172/834185. Let n = u - -238. Sort 1/5, n, w.
n, w, 1/5
Let p = 8.69 + -9. Let r = p + 0.21. Let a = 1.82 - -0.18. Put a, 4, r in ascending order.
r, a, 4
Let r = -989.8 + 990. Let l = 0 + -4. Let u = l + 1. Put u, r, -5 in increasing order.
-5, u, r
Let q be (-6 + 6)/(-1 + -1). Let x = q + 5. Suppose -j + x + 0 = z, 13 = 3*j + 2*z. Put j, -2, -5 in descending order.
j, -2, -5
Suppose -g - 5*u = -6 + 2, -2*u = -5*g - 7. Let i be (-2)/4*(3 + 1). Sort -3, i, g.
-3, i, g
Let y = 0.8 - 0.43. Let x = -0.2 + y. Put -5, x, -3 in descending order.
x, -3, -5
Let x = -127/40 + 33/10. Put -5.7, x, -2 in decreasing order.
x, -2, -5.7
Suppose 0 = -0*q - 2*q - u + 9, u = 5*q - 12. Suppose 4*t = 16 - 0, -q*t + 3 = 3*h. Put 5, h, -5 in decreasing order.
5, h, -5
Let v = 66 - 64. Suppose -4*j - 19 = a, -v*a - 7 = j + 3. Put -4, 5, a, -1 in descending order.
5, -1, a, -4
Suppose 93 = 11*s + 2