t h = 0.27 + -0.27. Put h, -1.3, 2 in increasing order.
-1.3, h, 2
Suppose 2 + 3 = -x. Suppose -4*n + 4*r - 12 = 0, 0 = 2*n + n + 3*r - 21. Let f be -2 + n - (-4 + 2). Sort x, f, 0.
x, 0, f
Suppose 0 = -2*s + 16. Suppose 2*c = s - 2. Let l be -5 - (2 + -1 - c). Sort 3, -2, l.
l, -2, 3
Suppose 4*g + 17 = d, 0 = -3*d + 7*d + 2*g + 22. Let j be 860/(-48) + 1/d. Let r = j - -18. Put r, 3, 0.2 in descending order.
3, 0.2, r
Let n be ((-6)/3)/(4/6). Sort n, -4, -1/3 in ascending order.
-4, n, -1/3
Let g(w) = w**2. Let i be g(-2). Suppose t + t = i. Put -3, 4, t in descending order.
4, t, -3
Let q be 2*(3/2 + 1). Suppose -q*j = -5*i + 1 + 4, 22 = 4*i + 2*j. Sort -5, i, 5 in increasing order.
-5, i, 5
Suppose -r - 8 = 2*r - a, 3*r - 2*a + 4 = 0. Put -6, -3, r, -2 in increasing order.
-6, r, -3, -2
Suppose 5*n + 3*t - 52 = 0, 4*n + 2*t - 46 = 4*t. Let p be (-1 + 10)*n/(-33). Sort -2, p, -1.
p, -2, -1
Let k = -0.06 - -0.06. Sort 4, 0.1, k in decreasing order.
4, 0.1, k
Let g be (3*1)/(-7 - (3 - 11)). Sort -5, g, -10, 0 in decreasing order.
g, 0, -5, -10
Let f = -7 - -12. Let b(q) be the third derivative of -q**6/120 + q**5/10 + q**4/4 + 3*q**3/2 + 6*q**2. Let j be b(7). Sort -3, f, j.
-3, j, f
Let h(q) = 2*q + 9. Let b be h(-7). Sort b, -3, 1.
b, -3, 1
Let u = -5 - -2.5. Let c = 0.5 + u. Let j = -2 - -1.5. Sort j, 4, c in decreasing order.
4, j, c
Let d = 11 - 7. Let v = 0.1 - 0.5. Let q = 10 + -10. Put d, v, q in descending order.
d, q, v
Let v(y) = y**2 - 6*y - 2. Let n be v(0). Sort n, 39, -3, -4 in descending order.
39, n, -3, -4
Let b = 27 - 22. Sort b, 1, 2 in increasing order.
1, 2, b
Let i(g) be the second derivative of -g**4/4 - g**3/3 - g**2/2 + g. Let y be i(-1). Let q = 11 + -12. Sort q, y, 2.
y, q, 2
Let n(u) = u + 6. Let w be n(-8). Sort -12, w, 0.2.
-12, w, 0.2
Let j = 37 - 42. Suppose 2*l + 3*x = 8, -4*l + 5*x = -0*l - 16. Suppose 0 = a + 2*a + 3. Sort l, j, a.
j, a, l
Let k(z) = z**2 + 3*z + 2. Let d be k(-4). Let a = d - 9. Sort a, -4, -1.
-4, a, -1
Let j(b) = b**2 + b - 3. Let u be j(0). Suppose 2*i - i = 0. Suppose i*d - 5*d = -10. Put d, u, -1 in ascending order.
u, -1, d
Let m = 53 + -53.3. Let j = 0.3 - -0.2. Sort j, m, 0 in descending order.
j, 0, m
Let u = -11 + 16. Put -4, u, -5 in increasing order.
-5, -4, u
Suppose o = 5*o. Put -1, -2, o in decreasing order.
o, -1, -2
Suppose -i - 6 = -3*i. Let x = -3 + -1. Sort 5, i, x.
x, i, 5
Let f = 2 + -2.4. Let n = -0.8 - f. Let s = -1.4 - -0.4. Put n, -0.5, s in decreasing order.
n, -0.5, s
Suppose -5*d + 97 - 11 = -4*v, 0 = -3*d - v + 38. Let l be (62/56)/(12/d). Let u = l - 5/8. Put u, -0.2, -4 in increasing order.
-4, -0.2, u
Let u(t) = -t**2 - t - 3. Let s be u(0). Let n = 5 + -2. Suppose c = -n*c - 20. Sort c, s, -4 in ascending order.
c, -4, s
Suppose 3*y + 3 = -0*y. Suppose r = 4*r - 15. Suppose 0 = r*j - 9 - 6. Sort y, 2, j in ascending order.
y, 2, j
Suppose -4*s = -f + 14, s - 4*s = f + 14. Put s, -1/3, -2/13 in increasing order.
s, -1/3, -2/13
Let u be (-1)/(-5) - 69/(-5). Suppose g - 5*a - 10 = 6, 0 = 2*g - a - u. Suppose c + c = g. Put -1, 2, c in decreasing order.
c, 2, -1
Let p(u) = u**3 - u - 2. Let v be p(0). Let o be (v/(-20))/(4/24). Sort 0, o, 2/5 in decreasing order.
o, 2/5, 0
Let m = -8.6 - -8.5. Sort 3, m, -1, 21 in decreasing order.
21, 3, m, -1
Suppose z - 20 = -3*z, -2*z = 4*d - 6. Put -3/7, d, 3 in ascending order.
d, -3/7, 3
Let j = -27 + 30. Sort -2/7, 1/5, 0.4, j in decreasing order.
j, 0.4, 1/5, -2/7
Let l = -11 + 10. Let h = l + -2. Put h, -2, 3 in decreasing order.
3, -2, h
Let f be 0/2*1/(-2). Let o = f - -3. Suppose 4*u + b + 17 = -1, 4*u = -2*b - 20. Sort o, u, -1 in descending order.
o, -1, u
Let i(b) = b**3 + 5*b**2 - b. Let s be i(-5). Let g be (10/2 + -3)/2. Sort s, -1, g in descending order.
s, g, -1
Let p = -6 + 10. Suppose 3*w - 3*x = -x - 23, 0 = -w + x - 8. Let s = w - -8. Sort p, 0, s.
0, s, p
Let k be (-22)/6 - 2/(-3). Let w = -5 + 10. Put 4, k, w in ascending order.
k, 4, w
Let y(c) = -c**2 - 13*c + 6. Let w be y(-12). Let v = w - 12. Suppose 2*o - 18 = 4*a - 8*a, o + a - v = 0. Sort -4, o, 5 in descending order.
5, o, -4
Let n = 1.6 - 4.6. Sort -0.3, n, 3/2 in descending order.
3/2, -0.3, n
Suppose 6 = 2*h + 2. Suppose -21 = 5*k - g, k = -0*k - 4*g. Sort 5, k, h.
k, h, 5
Let i be ((-4)/3)/(6/(-9)). Suppose -4 = -i*h - 2. Let w be 3 - h - 1*-3. Sort -3, -2, w.
-3, -2, w
Let m be (-2)/13 - (-486)/117. Suppose 4*s - 2 = 18. Sort m, -4, s in decreasing order.
s, m, -4
Let k = 0.3 + -0.2. Let q = -67/5 - -14. Sort -5, k, q.
-5, k, q
Let l be 2/(-6) + (-190)/(-300). Let u = l + 1/2. Let p = -0.26 + 0.3. Sort p, -1/3, u in ascending order.
-1/3, p, u
Let y = -4 - -5. Let d(j) = j**2 - 6*j + 1. Let k be d(6). Suppose -k - 3 = 4*l. Put y, 5, l in descending order.
5, y, l
Suppose 32 + 0 = 8*c. Suppose 0*i - 4*i - 8 = 0. Suppose -2 = -4*a - 6. Put c, i, a in decreasing order.
c, a, i
Suppose 0 = 3*y + i + 7, -2*i = 5*y + 7 + 5. Suppose -7*h + 27 = 6. Sort 1/8, h, y in decreasing order.
h, 1/8, y
Let u = 0.3 - 0.1. Let c = -0.2 + u. Let t = 0.299 - -0.101. Put c, t, -4 in descending order.
t, c, -4
Let r(a) = -a**3 + 5*a**2 - 3*a - 4. Let j be r(4). Sort 5, 2, -3, j.
-3, j, 2, 5
Let o be (-40)/(-10) - (-7)/(-2). Put 3/5, 0, o in increasing order.
0, o, 3/5
Let l be -5 + 141/21 - 2/(-7). Suppose 5*r + 7*v = 3*v + 19, 2*r = -4*v + 10. Put 5, r, l in ascending order.
l, r, 5
Let f be 6 + 0/(16/4). Let m be ((-2)/f)/(8/8). Put m, -1/6, 1/6 in descending order.
1/6, -1/6, m
Let b be (-204)/(-54) + (-2)/(-9). Sort 0, b, 2 in descending order.
b, 2, 0
Let o be 1/(-2)*1*-4. Suppose o*s + 3 = 1. Let t(x) = -x**3 - 5*x**2 - 8*x - 13. Let f be t(-4). Sort f, 0, s in decreasing order.
f, 0, s
Let w(r) = 7*r - 6*r - 1 + 3. Let f be w(-6). Let q(u) = u**2 - 3. Let g be q(0). Sort g, f, 1.
f, g, 1
Let c(u) = -u**2 - 3*u - 3. Let n be c(-2). Sort n, 0, -2, -5.
-5, -2, n, 0
Let w = -2 + 5. Let o = 3 - 2.7. Let v = o - 0.1. Sort w, -3, v in decreasing order.
w, v, -3
Let x be ((-285)/(-25))/(8/(-85)). Let h = x + 121. Let n = 0.7 + -0.2. Put -5, h, n in descending order.
n, h, -5
Let r be (-14 + 2)*8/24. Let g(z) = -z**3 - 5*z**2 + 5*z - 1. Let u be g(-6). Sort u, r, -3 in decreasing order.
u, -3, r
Let z = -11 + 15. Suppose -z*h = -h + 15. Sort h, -3, 5 in decreasing order.
5, -3, h
Let x be (-4)/(-6) + 8/(-12). Let n = x + 2. Suppose 0 = l + n*l + 9. Put 3, l, -1/4 in ascending order.
l, -1/4, 3
Let r = -0.005 + 1.005. Sort -0.5, 1/12, r.
-0.5, 1/12, r
Let c = -0.65 + 1.63. Let k = c + 0.02. Sort -4, k, -0.3 in decreasing order.
k, -0.3, -4
Let t(i) = 18*i**2 + i - 1. Let f be t(1). Let z be ((-2)/20)/(3/f). Let r = -26 - -21. Sort z, 2/11, r in decreasing order.
2/11, z, r
Let o be (-2 - -1)*(0/(-3) - 1). Let y be 66/8 - (-1)/(-4). Suppose -4*x + 5*w = -y, 5*x - 3*w + 1 = -2. Put o, -5, x in descending order.
o, x, -5
Let v = 3 - 3. Let q be (-214)/(-6) - (-6)/(-9). Suppose 0*x = 2*x - 5*d - q, -2*x - 2*d = v. Put x, -1, -5 in ascending order.
-5, -1, x
Let g be (-1)/1*1*4. Let d = -39 - -36. Let r be 4/6 + 2/6. Sort r, g, d.
g, d, r
Let w = -6971/40 - -1247/5. Suppose 3*h + 57 = -t - 170, 0 = -h + 5*t - 65. Let a = h + w. Put a, -1, -2 in descending order.
a, -1, -2
Suppose -w = 2*w + 15. Put w, -2, -1.1 in increasing order.
w, -2, -1.1
Let p(y) = 2*y**2 - 4*y + 7. Let k be p(3). Put k, 5, -1 in decreasing order.
k, 5, -1
Let d = -411.3 - -393. Let v = d + 18. Sort v, -0.03, 4.
v, -0.03, 4
Let k = -0.11 + 5.11. Let h = 4 - 7. Let s = 7 + h. Sort 2/7, k, s.
2/7, s, k
Suppose -2*z + 8 = 0, 4 = 3*a + 3*z - 23. Suppose -p + 10 = 5*v, 3*p + p - a*v = 15. Suppose -5*t + 6*t = p. Put -2, t, 3 in increasing order.
-2, 3, t
Let z = 8 - 5. Let a = -9 + 12.8. Let l = -1.2 - a. Sort -4, l, z in descending order.
z, -4, l
Let g(f) = -f**3 - 3*f**2 - f + 1. Let m be g(-2). Let l be m*1*(4 + -8). Let t = 2 + -5. Sort 5, l, t in descending order.
5, l, t
Let j = -221/5 - -45. Sort -0.4, -3/2, j in decreasing order.
j, -0.4, -3/2
Let n(c) = 7*c**2 - 13*c + 25. Let o(z) = 4*z**2 - 6*z + 13. Let d(b) = 3*n(b) - 5*o(b). Let r be d(8). Put -1, r, -5 in decreasing order.
r, -1, -5
Let t(c) = c - 3. Let z be t(5). Suppose 0 = -n - z - 1. Let m = -130 + 129. Put n, m, 5 in descend