decreasing order.
j, d, -1
Suppose 0 = d - 5*d + 8. Suppose -3*b - d - 10 = 0. Let w = -24 + 21. Put w, -6, b in descending order.
w, b, -6
Let w be 6/4*4/3. Suppose 2*m = -w*m + p + 17, -3*m + 29 = -4*p. Suppose 4*v - 23 + 7 = 0. Sort v, m, -5 in decreasing order.
v, m, -5
Let s be (3 + 33/(-9))*2. Sort -5, s, -12 in decreasing order.
s, -5, -12
Let y(d) = d + 15. Let u be y(-12). Sort 5, -2, u.
-2, u, 5
Let t = 10 - 12. Let h be 6 + -3 + (3 - 3). Put h, -1, t in decreasing order.
h, -1, t
Suppose 5*s - 2*n - 42 = 0, -s + 4*s - 5*n = 29. Let t = 3 - s. Let w = -1 + 0. Put t, -3, w in increasing order.
t, -3, w
Let h(i) = 2*i**2 - 1. Let a = -4 - -3. Let n be h(a). Let u be (-3)/(((-9)/(-3))/(-3)). Sort u, -1, n in decreasing order.
u, n, -1
Let l = -5.06 - -0.06. Suppose -2*o - k + 3 = -0*k, 3*o = -5*k - 13. Put o, l, 0 in decreasing order.
o, 0, l
Suppose 0 = -2*j + j - 2. Let m = -5.5 - -6. Put j, -1, m in descending order.
m, -1, j
Suppose 4*a = 12 + 8. Let w = 18 - 15. Let d be 1*(-2)/((-2)/(-3)). Sort w, a, d in ascending order.
d, w, a
Let u be 22/(-6) + (-2)/(-3). Suppose i = 7 - 4. Let n = i + -1. Sort 1, n, u in increasing order.
u, 1, n
Suppose -15*b = 216 + 159. Put -5, b, 1 in ascending order.
b, -5, 1
Let s be ((-4)/21)/(14/(-7 - 0)). Put -6.1, s, 3/4 in descending order.
3/4, s, -6.1
Suppose 0 = 3*m + 1 - 16. Put m, -2, -5 in increasing order.
-5, -2, m
Let g = -0.97 + 0.77. Let f = -3 + 3.5. Sort g, f, -1 in descending order.
f, g, -1
Let m(f) = f**2 - 5*f - 18. Let q be m(7). Put 0, q, 1, 3 in decreasing order.
3, 1, 0, q
Let t = -8 + 0. Let c be t*(-2)/4 + -2. Sort c, 1, -1 in descending order.
c, 1, -1
Let h = 5 + -5. Suppose 5*w - 2*w - 12 = h. Suppose -4*a + 2*c - w*c = 24, -c - 7 = a. Put 3, -1, a in descending order.
3, -1, a
Suppose 5*b + 59 = -4*w + 2*b, -2*w = -b + 27. Put w, 1, 3 in increasing order.
w, 1, 3
Let r = -18 - -22. Let c = 0 - 1. Put r, c, 3 in descending order.
r, 3, c
Let h = 0.12 + -0.1. Let p = 2.98 + h. Put 4, -0.5, p in decreasing order.
4, p, -0.5
Let f = 0.3 + -5.3. Put -0.1, f, 2/13 in ascending order.
f, -0.1, 2/13
Suppose 5*h = -1 - 14. Sort 1, 4, h, -6 in ascending order.
-6, h, 1, 4
Let h = 109/10 - 21/2. Put -3, h, -1, -2/17 in descending order.
h, -2/17, -1, -3
Let q be 1/(1/((-8)/(-20))). Put -5, -3, q in ascending order.
-5, -3, q
Let p be ((-2)/6)/((-8)/48). Sort -3, 5, p.
-3, p, 5
Let g(q) = -q - 9. Let n = 13 + -20. Let r be g(n). Sort 3, r, 0.
r, 0, 3
Let h = -6 - -2. Let n = 9 + h. Let u = -73/2 - -523/14. Put n, u, -3/7 in descending order.
n, u, -3/7
Suppose -4*n + 3 = -1. Let s be 3*n/3*-5. Suppose 6*f = 2*f. Sort s, f, 1 in decreasing order.
1, f, s
Let o be 1*-2*14/28. Put 5, -4/3, o in decreasing order.
5, o, -4/3
Suppose 6*d + 9 = 3*d. Sort d, -2, -1.
d, -2, -1
Suppose 5*v - 15 = 5*x, -3*x + 2 = -2*x + 4*v. Let q be -4*(2 - 1) - (-1)/(-1). Sort x, 0, q in increasing order.
q, x, 0
Let a = -319 + 320. Let v(m) = 2*m**2. Let f be v(1). Suppose -r - 16 = 3*r. Put f, r, a in ascending order.
r, a, f
Suppose r - 2 = -0*r. Let u(i) be the second derivative of -i**5/20 + i**4/12 - i**3/6 - 2*i**2 + i. Let n be u(0). Put r, n, -1 in descending order.
r, -1, n
Suppose 3*p - 5 = -2*p. Sort p, -3, 3 in descending order.
3, p, -3
Let u(j) = j + 1. Let l(a) = -a. Let i(n) = 7*l(n) + 6*u(n). Let z(q) = -q**2 - 5*q + 1. Let y be z(-3). Let s be i(y). Put -2, s, -5 in decreasing order.
s, -2, -5
Let h = -3/2 - 0. Put 1/5, -0.2, 3, h in decreasing order.
3, 1/5, -0.2, h
Let n(l) = l**2 - 10*l + 12. Let d = 17 + -9. Let m be n(d). Put m, 1/3, -0.2 in descending order.
1/3, -0.2, m
Let y = 55/84 + 2/21. Sort 11, 2/3, 0.1, y in descending order.
11, y, 2/3, 0.1
Let w = -28/17 + 230/119. Put w, 1, 5, -4/3 in increasing order.
-4/3, w, 1, 5
Let r = 0.97 + -1.17. Sort -3, r, -1.
-3, -1, r
Let w be (3/(-6))/((-2)/(-4)). Let r = 2 + w. Let j be 24/5 + 2/10. Sort 4, r, j in decreasing order.
j, 4, r
Suppose -k - 3*d - 10 = 0, 0 = 9*k - 7*k + d + 10. Sort 3, 1, k, -2.
k, -2, 1, 3
Let u = -17 - -12. Suppose -5*r - 14 = 3*k - 64, -r + 3*k - 8 = 0. Let c = r + -2. Sort 1, c, u in ascending order.
u, 1, c
Let n(x) = x**2 + 3*x - 7. Let k be n(-5). Let c(y) = -2*y**3 - y - 1. Let s be c(-1). Sort -1, k, s in ascending order.
-1, s, k
Let t = 0.1 + 0.1. Let g = t - 0.2. Let y = -0.5 + g. Sort 3, 0.5, y in decreasing order.
3, 0.5, y
Let g = 4.34 + -0.34. Let c = 129/310 - 1/62. Put c, g, 1/5 in ascending order.
1/5, c, g
Let t be (-2)/5 + (-84)/(-135). Put 3, -16, t in increasing order.
-16, t, 3
Let b = -1 + 1. Let j = -2 + 6. Sort j, -4, b in descending order.
j, b, -4
Let d = 15.7 - 16. Let s = 46/3 + -15. Sort s, -1/11, d in descending order.
s, -1/11, d
Suppose -11*v + 4*v = -8*v. Sort -4, 2, v, -2 in decreasing order.
2, v, -2, -4
Let y be 5/3 - (-2)/(-3). Sort y, 5, 0 in decreasing order.
5, y, 0
Let c = 2 - 3. Let m = 0 - 0. Put c, 2, m in descending order.
2, m, c
Let i(x) = -x - 6. Let h be i(-5). Suppose -5*z - 2*r = 3*r + 5, -2 = 5*z + 4*r. Let c be 2/3 + (-2)/(-6). Sort z, h, c in descending order.
z, c, h
Let y be (-6)/(-4)*(0 + 2). Let o = 21 + -21.4. Sort o, y, 0.3 in decreasing order.
y, 0.3, o
Let w = 0.83 - 4.83. Put 4, w, 3/13 in descending order.
4, 3/13, w
Suppose -b - 25 = -4*v - v, -2*b = 3*v - 15. Let f(c) = c**2 - 2*c - 1. Let d = 2 - -1. Let u be f(d). Sort u, -5, b in decreasing order.
u, b, -5
Let f = -683/5 + 137. Put -4/5, f, 0, 2 in ascending order.
-4/5, 0, f, 2
Suppose 0 = -5*z + z + 4*j + 24, 9 = -2*z - 5*j. Put 11, 0, z in ascending order.
0, z, 11
Let b(v) = v**3 + 2*v**2 - 2. Let d be b(2). Suppose 5 = -3*l + d. Let a be 1 - 2/4 - 11/(-22). Sort 0, a, l.
0, a, l
Suppose 10 = 2*z + 2*q, z - 2*q - 5 = 3*q. Let o = -39 + 192/5. Put z, o, 0 in descending order.
z, 0, o
Let d = 67/60 - 11/12. Let c = 4 + -7.06. Let x = 0.06 + c. Sort x, d, 2/9.
x, d, 2/9
Suppose 4*j = -3*z + 8*z - 27, 4*z + 3*j - 3 = 0. Suppose 11 = 2*w + z. Suppose -t - 3*n = -2*n + 7, -2*n - 11 = t. Put w, 1, t in decreasing order.
w, 1, t
Let l be 15/60 + 1/8. Put -3, 3, l in descending order.
3, l, -3
Let o be 3/(-4) - (-10)/(-8). Let g be -7 - (2 + (1 - 3)). Let b = 11 + g. Sort b, o, -4.
-4, o, b
Let z(u) = -u - 13. Let t be z(-7). Put t, 2/3, 0 in descending order.
2/3, 0, t
Let c = 21 + -23. Let z(v) = 5*v**3 - v. Let j = -2 + 1. Let t be z(j). Sort c, t, -1.
t, c, -1
Let c = -7 + 10. Let f = -1 + 5. Sort f, c, -4 in descending order.
f, c, -4
Let q = -11 + 11.4. Let o = -54 - -51.7. Let b = o + 2. Sort b, 2, q.
b, q, 2
Let o be (15/(-6))/((-2)/12). Let h be 6*(-2 + o/6). Sort -5, 1, h in descending order.
h, 1, -5
Let t(f) = f**3 + 5*f**2 + 5*f + 1. Let q be t(-4). Let x = -4 + 4.5. Let w = -4 - 1. Put w, q, x in descending order.
x, q, w
Let b(t) be the first derivative of -t**4/4 + 2*t**3/3 + 2*t**2 - 3*t + 1. Let m be b(3). Let x be 14/(-4) + 2/(-4). Sort x, -5, m in ascending order.
-5, x, m
Suppose 6 = -2*j + 2. Sort 2, -0.3, j in ascending order.
j, -0.3, 2
Suppose -j - 2*b = 3, -j - 4*b = 2*j + 15. Let w = -4 - j. Let f = -11 + 6. Sort f, 0.2, w in ascending order.
f, 0.2, w
Suppose -y = -3*y + 2. Let c(a) be the second derivative of -a**3/6 + a. Let l be c(y). Put -0.1, 5, l in descending order.
5, -0.1, l
Let j = -148 - -147. Put 5, 4, j in ascending order.
j, 4, 5
Let s(c) = 4*c**3 + 6*c**2 + 4*c - 1. Let u be s(-1). Sort -4, u, 0, -7.
-7, -4, u, 0
Let u = 22 + -28. Sort u, -5, -4/7 in decreasing order.
-4/7, -5, u
Let i be 3/(4 - (-57)/(-12)). Let k = i - -4. Let y = -1 + -1. Put y, -3, k in decreasing order.
k, y, -3
Let o(r) = r**2 + 2*r. Let t be o(-2). Let s be -2*(-2)/(-22) + 0. Sort s, 2/11, t in ascending order.
s, t, 2/11
Let r = -17 + 17.9. Let b = -5.5 + 6. Let u = b - r. Sort u, 1/4, 0 in increasing order.
u, 0, 1/4
Let w(t) = -t + 9. Let s be w(7). Put -2, -1, s in descending order.
s, -1, -2
Let d be 4/(-6)*3/(-2). Let v be (-3)/(-2)*(-1 + 3). Suppose -a + 4*f = 0, -a + v*a - 9 = -f. Put a, d, -4 in ascending order.
-4, d, a
Let m(t) = t**2 + 13*t + 24. Let h be m(-11). Sort -1, h, -2 in decreasing order.
h, -1, -2
Let a = 14 - 16. Let i = 5 + a. Let k be 3/2 - 1/(-2). Sort i, -4, k.
-4, k, i
Let q = 5 - 5. Let l = 6 + q. Suppose p + l = 2*f + 2, -5*f + 24 = p. Put p, -3, 