 decreasing order.
l, q, -5
Let i = -16 - -20. Let w = -5 - -5.4. Sort i, w, 5.
w, i, 5
Let d = 44 - 44.2. Sort 3/2, d, 0.1, 2/5 in decreasing order.
3/2, 2/5, 0.1, d
Let f = 0.1 - -0.1. Let j = -27.4 + 22.28. Let o = j - -0.12. Put f, 0.1, o in ascending order.
o, 0.1, f
Suppose 2*c - f + 1 = 0, 2*f = -4*c - 2*f - 32. Sort -1, 12, c in increasing order.
c, -1, 12
Let x = -8 + -10. Let y = 56/3 + x. Sort 0, 4, y in increasing order.
0, y, 4
Let n = -444.4 + 444. Let d = -3 - -1. Let u = 1 + d. Sort n, -4, u in ascending order.
-4, u, n
Let o(h) = -h**2 - 8*h - 15. Let p be o(-6). Suppose -r - 2*c + 2 = 8, 0 = 4*c + 8. Put r, 1, p in decreasing order.
1, r, p
Let w be ((-4)/(3 + -1))/(-1). Suppose -2 = -w*g + 4. Suppose g*i = 6*i - 9. Put i, -2, 2 in descending order.
i, 2, -2
Let h(n) = n**3 - 6*n**2 - 8*n + 1. Let f be h(7). Let s = -4 - -5. Let p be ((-3)/f)/(s/(-2)). Put 2, -3, p in decreasing order.
2, p, -3
Suppose 4*c = a - 6*a - 23, 4*a = 2*c - 34. Sort 2, -5, 0, a in decreasing order.
2, 0, -5, a
Let u(z) = -z - 4. Let i be u(-8). Suppose i*c + q = -1 - 6, 3*q = 3*c - 6. Let h be (2 + c)/(-3 - 0). Put h, -5, 5 in descending order.
5, h, -5
Let i(a) be the second derivative of -a**3/2 + a**2/2 + a. Suppose -1 = -7*s + 6*s. Let p be i(s). Sort -3, p, -5.
-5, -3, p
Let r(j) = -3*j - 20. Let m be r(-8). Sort 1, 0.5, -0.3, m in descending order.
m, 1, 0.5, -0.3
Let q = 0.5 - 0.3. Let t = -4 - -1. Let c = t - -3. Sort q, 5, c in descending order.
5, q, c
Let q(f) = 4*f**2 + f. Let u be q(-1). Sort 4, u, -3 in descending order.
4, u, -3
Let p = -3 - -6. Let n = p + -8. Let j = 54 - 808/15. Put 0.2, n, j in descending order.
0.2, j, n
Let v = -15.8 - -16. Put 7, 0, -3, v in increasing order.
-3, 0, v, 7
Suppose 5*s - 4*y + 300 = 0, 0 = -3*s - 2*s + 5*y - 305. Let c be 8/6*(-24)/s. Let b be (-1 - -2 - 2)*2. Put c, -3, b in decreasing order.
c, b, -3
Let c(d) = -5*d + 31. Let l be c(6). Put l, -11, -2 in descending order.
l, -2, -11
Suppose -2*d + 4*b + 5 = 33, 5*b + 4 = -4*d. Let l = d + 2. Suppose -3*s - 5*m - 3 = 1, -2*s - 4*m = 4. Sort l, s, -1 in increasing order.
l, -1, s
Let k(l) = -l**3 + 3*l**2 + l - 1. Let u be k(3). Suppose 4*w = -3*y - 31, -2*y + y + 3 = -u*w. Put 3, w, 0 in ascending order.
w, 0, 3
Suppose 0 = -70*o + 75*o + 75. Put o, 0, 4 in ascending order.
o, 0, 4
Let h be (-2)/4*2/(-3). Let q = -17/114 + 6/19. Let t be (-6)/(-15)*(-1 - 0). Sort h, t, q in increasing order.
t, q, h
Suppose -4*h + 2*y + 24 = -4, -3*y - 2 = 2*h. Let n be (1 - 2)/(1/h). Let l = -16 + 17. Sort -1, l, n.
n, -1, l
Let g = -868 + 54686/63. Let u = g - -19/63. Sort u, -2, 2 in increasing order.
-2, u, 2
Let v be -6 - (-13)/2 - (2 + -2). Put -2, v, 1/5, 0 in ascending order.
-2, 0, 1/5, v
Let d(t) = t**2 + 4*t. Let s be d(-5). Let i(a) = -a + 7. Let h(u) = u - 6. Let r(v) = -6*h(v) - 5*i(v). Let y be r(s). Put y, 1, 2 in decreasing order.
2, 1, y
Let i(r) = r**2 + 4*r - 3. Let y be i(-4). Let k be y*(-1)/(-2)*2. Sort 1, k, 4 in increasing order.
k, 1, 4
Let h = -0.12 - -0.1. Let s = h - 0.48. Sort s, -0.1, -1 in increasing order.
-1, s, -0.1
Let m = -0.09 - -0.99. Let z = -0.1 - m. Let n = -2 + z. Put 5/4, n, 5 in increasing order.
n, 5/4, 5
Let t = -133 - -128. Let u be (-8)/(-5) - 2/(-5). Let g be (0 + u)/(2 + -5). Sort g, t, -3/5.
t, g, -3/5
Let b = -19.2 - -3.2. Let t = b - -16.3. Put t, 0, -3/5 in decreasing order.
t, 0, -3/5
Suppose 0 = -l - 4*a, -l + a - 3*a = 6. Let t = 7 + l. Let v(b) = b**2 - 5*b + 5. Let w be v(4). Put t, -2, w in increasing order.
t, -2, w
Suppose 5*r + 4*k = -36, 0 = -5*r + 3*k + 2*k. Let o(t) = -t**2 - t - 1. Suppose 0*h + 5*h = 0. Let i be o(h). Sort 3, r, i in ascending order.
r, i, 3
Let a be (-6)/(-4)*138/9. Suppose 2*p = -4*c + 22, -5*c + 2*p + 6 - 1 = 0. Suppose c*b + 3*d + d + 13 = 0, 3*b - 5*d = a. Put 4, -5, b in decreasing order.
4, b, -5
Let n = 5 - 2. Suppose -3*c + 0*g = -n*g - 3, -2*g - 2 = 0. Suppose c = -4*j + 3*v + 29, 5*v - 3 = 4*j - 38. Sort -4, -5, j.
-5, -4, j
Let u = 19 - 18.62. Let a = -0.08 + u. Let l = -2/33 - 3/11. Sort l, 3, a in decreasing order.
3, a, l
Let h be -17*1/6 - -3. Let b be -3 + 5 - (-2 - -2). Let c = 4 - b. Sort 4, h, c in decreasing order.
4, c, h
Suppose 0 = 3*l - 1 + 10. Put l, 2/13, -2 in descending order.
2/13, -2, l
Let n = -0.3 + 0.4. Let f be 0*4/16 + -2. Let t be (-1)/f + 2/(-4). Put -2, t, n in decreasing order.
n, t, -2
Let i(l) = -4*l + 27. Let w be i(6). Sort -4, w, -1 in decreasing order.
w, -1, -4
Let r = -0.32 - -0.82. Put -0.04, r, -0.2, -1/3 in decreasing order.
r, -0.04, -0.2, -1/3
Let l = 24 + -34. Let o = -10.7 - l. Sort -2/17, o, 3/8.
o, -2/17, 3/8
Suppose 2*u - 9 = d, -u + 4*d = -7 - 1. Suppose -u*g = g + 10. Put 0.2, g, -0.5 in ascending order.
g, -0.5, 0.2
Suppose -4*w - c + 2*c - 9 = 0, -4*w - 19 = -3*c. Let m be ((-6)/(-8))/(w/(-4)). Suppose 5*z - 18 = 7. Sort -3, m, z in decreasing order.
z, m, -3
Let r = -5 - -5. Suppose 0 = 2*b - 2. Sort r, b, 0.05 in increasing order.
r, 0.05, b
Let v = -3 - -8. Sort -1/2, 4, v in descending order.
v, 4, -1/2
Suppose -12 - 3 = -3*w. Suppose -2*g + 5*n + 2 = -2, 0 = 4*n. Suppose -4 = g*z + 4. Sort w, 1, z.
z, 1, w
Let o = 21 + -33. Let a = o - -15. Sort 0, 2, a.
0, 2, a
Let n = 327 + -322.948. Let q = -0.048 - n. Let p = 0.1 + q. Sort -1, p, 4.
p, -1, 4
Suppose 2*f = 4 - 8. Put f, 61, -3 in descending order.
61, f, -3
Let a = 3 - 2. Let r(p) = -2*p**2 + 0 - 1 + 0*p**2 + 4*p**2. Let q be r(a). Sort 6/5, 2, q in ascending order.
q, 6/5, 2
Suppose 2*l - 53 = -5*j, 52 = 3*l - 2*j + 1. Put 0, l, -3 in increasing order.
-3, 0, l
Let a = -225 + 222.23. Let v = 0.23 - a. Sort 0.2, v, 2/3 in descending order.
v, 2/3, 0.2
Let w(f) = 7*f - 10. Let x(i) = i - 1. Let p(n) = -w(n) + 6*x(n). Let a be p(3). Let c = -30 + 29. Sort c, a, -2.
-2, c, a
Let r(z) = z**3 - 6*z**2 - 5*z - 10. Let m(i) = i**3 - 8*i**2 + 8*i. Let w be m(7). Let a be r(w). Put 5, -7, a in decreasing order.
5, a, -7
Let v be 0/(0/(-3) - 2). Suppose 4*d = d - 3. Sort 4, v, d in decreasing order.
4, v, d
Suppose l - 6 = -l + s, 0 = l + s - 9. Suppose 0 = p - l + 4. Suppose 15*w = 46 - 16. Sort w, p, 0 in descending order.
w, p, 0
Let q = 3 - 3.2. Let y = -0.1 - q. Let m be ((-8)/(-28))/(6/(-28)). Put y, m, -1 in ascending order.
m, -1, y
Let f(l) = l**3 - 11*l**2 + 7*l + 34. Let u be f(10). Sort 7, u, -1/7, 1/4.
-1/7, 1/4, u, 7
Suppose 2*n + 4 = 3*n. Let c be (-99)/(-22) + (-2)/(-4). Sort c, n, 3 in ascending order.
3, n, c
Let b be (3/(-2))/((-13)/78). Put 2, 5, b in decreasing order.
b, 5, 2
Let q = 0 - 6. Let b = q - -10. Put -4, -3, b in increasing order.
-4, -3, b
Let i = -0.1 - -0.2. Let v = -12 - -26. Suppose -v = 3*s - 5. Put 0.3, s, i in decreasing order.
0.3, i, s
Let v = 0 + 4. Let q be (-4)/(-14) - 6/21. Suppose -k - v*k - 20 = q. Sort 5, k, -2/5 in decreasing order.
5, -2/5, k
Let u = 0.03 - -0.07. Let k = -1 - -1.4. Let y = 0.2 - k. Put 1, u, y in descending order.
1, u, y
Let z(w) be the third derivative of w**5/60 + w**4/6 - w**3/2 - 7*w**2. Let k = -4 - 1. Let m be z(k). Sort -5, m, -1.
-5, -1, m
Let j = -18 + 15. Sort j, 5, 0, -25 in descending order.
5, 0, j, -25
Suppose k - 2 = 1. Suppose k*n - 7*n = 20. Let r = 114 - 109. Put r, n, 0 in increasing order.
n, 0, r
Let u(f) = -f**3 + 4*f**2 - 4. Let q be u(3). Let n = 5 - 10. Let a = n - -3. Put a, 1, q in increasing order.
a, 1, q
Suppose 2*x + 27 = 3*h, x + 33 = 3*h - 3*x. Let t = h - 7. Sort 1, 4, t in decreasing order.
4, 1, t
Suppose 0 = 11*v - 13*v - 8. Sort 2, v, -1.
v, -1, 2
Let s = 0.05 - 0.1. Let c = -4.55 + 7.5. Let p = c - s. Put -1/7, p, -2/9 in descending order.
p, -1/7, -2/9
Let d = -5 + 6. Let x be (-15)/6*8/10. Put d, x, 4 in descending order.
4, d, x
Let g be -2 + 2/(-1 - -2). Let i = -0.262 + 0.062. Put -1/6, i, g in descending order.
g, -1/6, i
Let d = -8.6 - -2.5. Let c = -6 - d. Let n = 8 - 3. Sort -1/6, c, n.
-1/6, c, n
Let q(x) = x**2 - 7*x - 10. Let r be q(8). Sort 5, 3, r.
r, 3, 5
Let r = 23 - 18. Suppose 2*s - s = r. Put -4, -1, s in descending order.
s, -1, -4
Suppose -2*m + y - 3*y = 0, m = -3*y. Suppose 0 = 3*c - 0*c - 15. Sort c, m, -5 in increasing order.
-5, m, c
Let a be (-3 + 0)/(3 + 16/(-6)). Put a, 5, -5 in decreasing order.
5, -5, a
Let v(o) = -5*o**3 - o**