 = 36 + -32. Put 2, x, -6 in descending order.
x, 2, -6
Suppose -3*s = -10*s + 7. Let q(t) = -t**3 - 6*t**2 + t + 8. Let n be q(-6). Suppose -n*m = -3*m - 4. Put 5, m, s in increasing order.
m, s, 5
Let k = 0 + -4. Let t = 5 + k. Let f = -1 - -6. Sort f, 0, t in decreasing order.
f, t, 0
Let b = -3 - -2.94. Let u = 0.46 + b. Put -2/9, u, 1/3 in decreasing order.
u, 1/3, -2/9
Let j = -14 + 15. Put j, -2/7, -2 in descending order.
j, -2/7, -2
Let x = 4 + -3. Suppose -3*a = w - 1, 7*a - 4*a = 3*w + 21. Put 4, w, x in ascending order.
w, x, 4
Let x = -13 + 12. Let g be 5/(1 + (-2)/1). Put x, g, -1/9 in increasing order.
g, x, -1/9
Let q be 2*(-6)/54 - (-64)/45. Put 0.3, 4, q, 2 in descending order.
4, 2, q, 0.3
Suppose 320 = 5*c - 0*c. Let z = c - 190/3. Suppose 2*t = o - 3 - 2, 4*t + 2*o = -6. Sort t, z, 0.2 in ascending order.
t, 0.2, z
Suppose 2*b + 2*b + 20 = 0. Sort b, 3, 4.
b, 3, 4
Let n = -15 + 10. Let r = 20 - 22. Let l = 1 + 1. Put n, r, l in decreasing order.
l, r, n
Let x = -588613/770 + 7679/10. Let o = x - 35/11. Put o, 3, 0.5 in increasing order.
o, 0.5, 3
Let u = -194 + 196. Suppose 1 = 4*w + 21. Let i(r) = -r**3 - 7*r**2 - 6*r + 5. Let c be i(-6). Sort w, u, c in decreasing order.
c, u, w
Let s = -73 - -217/3. Sort -1, -2, s in descending order.
s, -1, -2
Suppose g = -g - 14. Let u be 2 + (-1)/g*-17. Put u, -2, 1 in descending order.
1, u, -2
Suppose 2*h - 6 = 4*w, 2*h - 24 = -4*w - 2*h. Let m = 5 - 1. Suppose 0 = -m*f - 9 - 3. Put w, -1, f in decreasing order.
w, -1, f
Let m = -0.08 - -0.28. Let h = -0.27 + -0.03. Sort -0.4, m, h in ascending order.
-0.4, h, m
Let v = -143 + 139. Sort 2/3, 0.3, 0, v in decreasing order.
2/3, 0.3, 0, v
Let o be -3 + (3 - -1) + 0. Put 4, 5, -1, o in descending order.
5, 4, o, -1
Suppose -53*v + 48*v = -5. Sort 0, v, -2, -1 in descending order.
v, 0, -1, -2
Let z(h) = -h**3 + 6*h**2 + 4*h + 10. Let f be z(7). Let m(k) = k**3 + 11*k**2 + k + 8. Let w be m(f). Sort w, -1, 0.
w, -1, 0
Let h be -2 + 2 - (-12)/3. Suppose -2*w + 0*w - 6 = 0, 3 = h*v - w. Let j = 4 - -1. Sort -5, j, v.
-5, v, j
Let q(w) = w**2 - 7*w - 5. Let m be q(8). Suppose -m*g - 5 = -2. Sort 1, -4, g.
-4, g, 1
Let g(u) = -2*u + 9. Let z be g(7). Suppose -4*o - o = -5. Put 4, o, z in decreasing order.
4, o, z
Let f = -0.1 + 2.9. Let n = 0.2 + f. Suppose 0 = 2*k - 3*k - 2. Put -0.5, n, k in descending order.
n, -0.5, k
Let k = -1 + 3. Let r be (-22)/(-42) - k/(-14). Sort -0.5, r, -0.3 in decreasing order.
r, -0.3, -0.5
Let j = -0.4 + 0.1. Let h = -63/2 + 32. Sort -2, j, h.
-2, j, h
Let x(u) = 2*u - 5. Let f be x(4). Let a = 9.7 - 14.6. Let k = a + 5. Put f, -5, k in ascending order.
-5, k, f
Let p = 1.8 - 1.8. Let q = 4.8 + 0.2. Let i = 8 - q. Sort i, p, -4 in decreasing order.
i, p, -4
Suppose 3*d - 4*r = -9*r + 16, -2*r = -d - 2. Let j be (0 - 1)*-9*1. Suppose 3*k + 0*k = -j. Put k, d, 3 in increasing order.
k, d, 3
Let u(g) = g**3 + 4*g**2 + 2*g - 2. Let d be 2 - (-1)/(2/(-10)). Let c be u(d). Suppose -w + c + 0 = 0. Sort 4, -4, w in decreasing order.
4, w, -4
Suppose 4*q - 6 = 26. Let h = -2 + -3. Sort q, 2, h in decreasing order.
q, 2, h
Let k = -2.04 - -0.04. Let q be (-2130)/(-28) + (-1)/(-2). Let o = q + -76. Put -3/2, o, k in decreasing order.
o, -3/2, k
Let l(w) = -w - 3. Let r be l(-6). Let i = 8 - r. Sort 2, i, -3 in descending order.
i, 2, -3
Let r(m) = -m**3 - 2*m**2 - 2*m. Let j(f) = f**3 + 2*f**2 - 2*f - 1. Let k be j(-2). Let i be k*((-8)/3)/4. Let b be r(i). Sort b, -2, 1 in descending order.
b, 1, -2
Let i(s) = -s**2 + s + 1. Let l be i(0). Let g = -296 - -1771/6. Put -0.1, l, g in decreasing order.
l, -0.1, g
Suppose 10*m = 8*m - 10. Suppose -2*v - i + 4 = 0, 4*i + 6 = v + 2*v. Sort -4, v, m in decreasing order.
v, -4, m
Let x = 5.3 - 5. Let t = -13 + 12.6. Put t, x, 1 in descending order.
1, x, t
Suppose -5*v = 3*p - 15, 4*v + 4*p - 9 - 3 = 0. Let q be 3*1 + 4130/(-1275). Let a = 2/51 + q. Put v, a, 1 in descending order.
v, 1, a
Suppose -5*o = o. Let u(i) = i**2 - 4*i - 4. Let m(x) = x. Let d be m(4). Let q be u(d). Sort 2, q, o.
q, o, 2
Let s = -17 - -35. Let d = -17.8 + s. Sort -1, 0, d in decreasing order.
d, 0, -1
Let u = -1.3 - -4.3. Suppose 5*v = 3*t - 13, -6*t + 2*t = 5*v + 6. Sort -2, t, u.
-2, t, u
Suppose h - 28 + 9 = 4*q, 0 = -3*q - 4*h. Put q, 5, -1 in ascending order.
q, -1, 5
Let p = -0.1 + 0. Let a = 0.23 + 0.23. Let m = -0.04 - a. Sort p, m, 2.
m, p, 2
Let q(m) be the third derivative of -m**5/60 + m**2. Let n be q(-1). Put 7, 2, n in increasing order.
n, 2, 7
Let c(g) = -g - 9. Let l be c(-9). Sort -1, l, 2 in descending order.
2, l, -1
Suppose -3*s + 5 = -4*y, -2 - 8 = -4*y - 2*s. Let p be 52/(-84) + y/3. Sort -4/3, p, 3 in decreasing order.
3, p, -4/3
Let y be (-35)/40 - (-2)/(-16). Sort y, 4, -5 in increasing order.
-5, y, 4
Let i(x) = x. Let a be i(8). Let c = -5 + a. Put -3, c, -5 in ascending order.
-5, -3, c
Let c = 139 + -139.3. Put c, 3, 10 in descending order.
10, 3, c
Let w = -338 + 2362/7. Sort w, -0.07, 5 in ascending order.
w, -0.07, 5
Let n be -2*(-2 + 1)*2. Suppose -n*s = -s + 3. Sort s, -5, 4 in descending order.
4, s, -5
Let k = 3.684 + 0.016. Let d = k + -4. Sort -3, d, -0.5 in decreasing order.
d, -0.5, -3
Let u(j) = j - 5. Let f be u(5). Suppose f = 5*q - 6 - 9. Suppose q*o + 3 + 0 = 0. Sort o, -2, 2 in descending order.
2, o, -2
Let t = -70 - -488/7. Let k = 70.1 - 65. Let s = k - 0.1. Sort t, s, -1 in descending order.
s, t, -1
Let b = -62 - -65. Put -4, b, -5, 5 in descending order.
5, b, -4, -5
Let f = -6.1 - -10.1. Put 1, 6/5, f, -4 in descending order.
f, 6/5, 1, -4
Let z = -0.3 + -0.1. Let o = 1/2 - 1/6. Sort z, 6, o in descending order.
6, o, z
Let t be (5/(-15))/((-2)/12). Suppose 0 = 5*v - 2*v + 15. Suppose 0 = 5*h + 2*x, -4*x = -5*x + 5. Put h, t, v in increasing order.
v, h, t
Let k(a) = -4*a - 7. Let y be k(-3). Suppose 0 = y*h - 4*h + 4. Put -3, h, 1 in ascending order.
h, -3, 1
Let o = 0.3 + 0.65. Let w = o + 0.05. Let p = 0.07 - 1.07. Put 4/5, p, w in ascending order.
p, 4/5, w
Suppose 4*k = -k. Sort k, 5, -2.
-2, k, 5
Suppose -k + 24 = 2. Let y be 70/(-22) + 4/k. Put y, 0.5, -0.3 in descending order.
0.5, -0.3, y
Let a = 49.1 + -49. Sort 1/5, a, -0.2, -2/9.
-2/9, -0.2, a, 1/5
Let z = -32 - -22. Let t = 10.9 + z. Let f = -0.4 + t. Put 0.3, f, -1/4 in descending order.
f, 0.3, -1/4
Let p = 23 + -26. Let x = -0.1 - -0.1. Sort -1, p, x.
p, -1, x
Let z(r) = -r - 3. Let f be z(2). Sort f, 2, 0.
f, 0, 2
Let s = 0.03 + -5.03. Let o = 5.6 + -6. Sort o, 2, s.
s, o, 2
Let j be 74/14 - (-4)/(-14). Let b(r) = r**2 + 5*r + 2. Let a be b(-4). Put j, -5, a in descending order.
j, a, -5
Let z = -10 - -12. Suppose -g + z*g = -4. Sort 1, 4, g in descending order.
4, 1, g
Let i = -0.96 + -0.04. Let g be 2/4 + 10/12. Put i, 5, g in descending order.
5, g, i
Suppose k - 8 = -f - 2*f, -3*k - 20 = -2*f. Suppose -f*z - 8 = -2*z. Let c = 4 + z. Put -2, -5, c in ascending order.
-5, -2, c
Let j be (1 + 0)/(-1 - -2). Let p(y) = -y**3 + 5*y**2 - 6*y + 5. Let z be p(3). Put j, -1, z in increasing order.
-1, j, z
Let i(b) = b**3 + b + 8. Let a be i(0). Let r = a - 13. Suppose h - 8 = -3*z, 5*h - z - 4 = 4*h. Sort r, 0.2, h.
r, 0.2, h
Let o = -0.9 - -5.9. Let f be (-6)/(-4)*(-8)/(-9). Sort 2/9, f, o in decreasing order.
o, f, 2/9
Let w be (-6)/(-9)*(-6)/(-12). Sort 2, w, -2/3 in decreasing order.
2, w, -2/3
Let o = -6.2 - -1.2. Let x = -1 - o. Put 5, -5, x in increasing order.
-5, x, 5
Let z be ((-40)/16)/(1/2). Let t be z/(-2)*(-30)/(-25). Suppose 5*d + 20 = 2*h, -4*h - 4*d - d + 10 = 0. Sort h, 0, t.
0, t, h
Let u = -109/36 + 13/4. Sort -2, u, -6/7, -1/10.
-2, -6/7, -1/10, u
Suppose 0 = 4*d + 12, -3*r - 2*r + 13 = 4*d. Suppose -r*q - 20 + 6 = -2*a, 0 = -2*a - q + 2. Put -3, -5, a in decreasing order.
a, -3, -5
Let a be 21/7 + 3/(126/(-122)). Sort a, -1/2, -2/7, 0.1.
-1/2, -2/7, a, 0.1
Suppose -m + 2 = -0. Sort m, -0.3, 3/5.
-0.3, 3/5, m
Let f(j) = -j**2 + j + 4. Let c be f(3). Let g be (-3 - -1 - 2)/(-6 - -4). Sort c, g, 4 in decreasing order.
4, g, c
Let h(d) = d + 4. Let k be h(0). Put 1, -5, k in increasing order.
-5, 1, k
Let p be 3/(-8) + (-1 - -1). Put p, 2/7, -0.4 in descending order.
2/7, p, -0.4
Let x be (1*-1)/(1 + -2). Let h be -1 - (-6 - (-3 + (6 - 3))). Sort -3, x, h in des