et s be 4/5 - 144/30. Put -1, 4, s, 1 in increasing order.
s, -1, 1, 4
Suppose -m = 3*m - 16. Let b = -3 + m. Put 4, b, 0 in increasing order.
0, b, 4
Let p = -1 - -0.8. Sort 2/11, 2, p, -8.
-8, p, 2/11, 2
Let i be (-4)/1*(6 - 2). Sort 0, i, 1 in increasing order.
i, 0, 1
Suppose 0 = -4*c + 4*l - 4, -1 = -5*c - 2*l - 27. Let z be 3 + (-12)/(-8) + c. Let m = -3.1 + -0.9. Sort m, 1/4, z.
m, 1/4, z
Let u(c) = c**3 - 4*c - 3. Let k be u(-2). Let q(h) = 2*h + 1. Let g be q(2). Suppose 0 = 5*w + f + 12, -f + g*f = 4*w. Put w, k, -1 in decreasing order.
-1, w, k
Suppose -7*v + 37 = 2. Sort -2, 0.06, v in decreasing order.
v, 0.06, -2
Let q = 9.932 - 0.232. Let t = q + -10. Let h = 143 + -577/4. Sort t, h, -2.
-2, h, t
Let t = 3 + -2. Let r = -1.02 + 0.62. Put r, -6/11, t in descending order.
t, r, -6/11
Let g be -1 + (2*4)/(-2). Let v = -4 - -3. Let y be v + ((-6)/(-3) - -3). Put 1, g, y in descending order.
y, 1, g
Let f(l) = -l**2 + 6*l + 7. Let r be f(7). Suppose r = k + 1 - 0. Sort 3, k, 5.
k, 3, 5
Let x(a) = 10*a**2 - 22*a + 16. Let c(b) = -7*b**2 + 15*b - 11. Let r(y) = -7*c(y) - 5*x(y). Let j be r(3). Let m = 0 - 2. Put m, j, -5 in decreasing order.
j, m, -5
Suppose 3*r + 37 + 14 = 0. Let k = -10 - r. Sort k, 3, 2 in descending order.
k, 3, 2
Let c = -76 + 76. Let l = -3 - -6. Sort 5, c, l in ascending order.
c, l, 5
Let l = 0 - 0.2. Let n = -0.7 - l. Suppose 7 = -4*y + 4*v - 5, -2*y + 5*v = 6. Put -4, y, n in descending order.
n, y, -4
Let t(r) be the first derivative of r**4/4 - r**3/3 - r**2/2 + 5*r - 3. Let v be t(0). Let n = 1 - 1. Sort v, -3, n in ascending order.
-3, n, v
Let t be (-3 + 5 + -2 - -1)*-3. Sort t, 5, -8 in decreasing order.
5, t, -8
Let k(o) = o**2 - 3*o - 21. Let g be k(0). Sort -2/5, -0.5, g in descending order.
-2/5, -0.5, g
Suppose -g - 12 = 3*r, r - 6*r - 20 = -g. Sort r, 1, 2 in ascending order.
r, 1, 2
Let t be 3 + 0/((-4)/(-2)). Let b(r) = -2*r**2 + 4*r - 1. Let w be b(2). Put t, -2, w in decreasing order.
t, w, -2
Let d = 7.94 + -8. Let w = d + 0.46. Put 0.5, w, -0.03 in ascending order.
-0.03, w, 0.5
Suppose 2*w = -2*h - 10, -4*h = -0*w + w + 17. Suppose -2*s + 4 + 0 = 0. Suppose -s*y + 3 = -y. Sort h, -5, y in decreasing order.
y, h, -5
Let m(l) = -1 + 0 + 1 - 3 + l. Let q be m(6). Suppose -c + q - 2 = 0. Sort 5, 2, c in descending order.
5, 2, c
Let y = 9 + -8.9. Sort y, 0.2, -1 in descending order.
0.2, y, -1
Suppose -2*q + 7*t - 153 = 2*t, -5*t = -3*q - 222. Let a be q/195 - (-3)/15. Put a, -4, -2 in ascending order.
-4, -2, a
Let c(a) = a**3 + 7*a**2 + a + 7. Let w be 8/2*21/(-12). Let f be c(w). Suppose -5*d = -f*d. Sort -0.5, d, -4 in ascending order.
-4, -0.5, d
Let u = 45 + -46. Put u, -5, 5 in decreasing order.
5, u, -5
Let z = 3 - 3.5. Let w = -1.99 - 0.01. Let i = w + 6. Sort -3, i, z in descending order.
i, z, -3
Let d be 6/12*(1 - -3). Suppose 14 = d*u + 4. Suppose 7*w - 5*f = 2*w + 5, -5*f = u. Put -4, w, 4 in descending order.
4, w, -4
Let i(o) = -o**3 + 3*o - 5*o**2 + o**2 + o**2 - 4. Let g be i(-4). Sort 0.5, -2/15, g in descending order.
0.5, g, -2/15
Let l be (1/2)/(4/24). Let q = -1 + 1.3. Sort l, 2/3, q.
q, 2/3, l
Let a be -4 + (0/(-3) - -3) + 1. Sort 3/4, a, 0.1 in descending order.
3/4, 0.1, a
Let z(l) = l**3 + 9*l**2 + 7*l + 4. Let x be z(-8). Let t be (x/(-90))/((-2)/(-20)). Let a = 0.02 + 3.98. Put a, -1, t in decreasing order.
a, -1, t
Let h be 18/12*(-4)/(-2). Suppose -2*t = -0*t - h*i + 1, -3*t + 15 = i. Suppose -3*c = -t*c. Put -0.3, c, -5 in increasing order.
-5, -0.3, c
Let o(r) = -3*r**3 - 3*r**2 - 3*r + 1. Let a be o(-1). Put 6, a, -2 in increasing order.
-2, a, 6
Let u be (-2 - -1)/(1/(-1)). Let x(c) = -c**3 - 8*c**2 + 9*c + 4. Let o be x(-9). Let s = o - u. Put s, -5, 1 in descending order.
s, 1, -5
Suppose -4*g + 4 = -4. Let t = -1 + 1.4. Put t, g, -5/3 in ascending order.
-5/3, t, g
Let l(n) = -n - 2*n**2 + 2 - 2 + 1. Let o = -1 + 2. Let r be l(o). Sort r, 0, 4 in decreasing order.
4, 0, r
Let j = -8 + 5. Let n = -0.2249 - -0.0249. Sort -2, j, n.
j, -2, n
Let r be (-44)/5 + (-9)/45. Sort -3, -2, r.
r, -3, -2
Suppose -4*z + 3*z - 4 = 0. Put -1, z, -3, 6 in descending order.
6, -1, -3, z
Let w = 152/7 - 22. Put -2, 0.4, w, 0.1 in ascending order.
-2, w, 0.1, 0.4
Let f(y) = -12*y**2 + 5*y + 2. Let x be f(-2). Let c be (-2)/x - 8/28. Sort 0.5, c, -2/5 in descending order.
0.5, c, -2/5
Let i(j) = -2*j - 10. Let c be i(-5). Put 5, c, -1 in descending order.
5, c, -1
Let t = 5 + -2. Suppose 4*u + 4 = 2*g, 7*g - 6*g - 2 = t*u. Suppose -5*c = 2*x - 27, -24 = -3*x - 4*c - 1. Put g, -2, x in descending order.
g, x, -2
Let o be (3/(-6))/((-5)/50). Let n = 10 - 6. Put o, n, 1 in decreasing order.
o, n, 1
Suppose 0 = 2*q - 483 + 153. Let c be (2/(-3))/((-22)/q). Sort -2, 4, c in descending order.
c, 4, -2
Let w = 8 + -4. Suppose -w - 4 = -2*y. Suppose -2*n = -4*c, 0*c + 5*n = -4*c. Sort -1, c, y in decreasing order.
y, c, -1
Let b = 3.96 + 0.04. Let q be 6/15 - 16/(-10). Suppose 2*j + f = 0, 0 = j - q*f + 3*f. Sort -1, j, b in increasing order.
-1, j, b
Let r = -61 - -57. Let b be (-1)/2*5*-2. Put r, -2, b in decreasing order.
b, -2, r
Let v = -89 + 92. Sort -2, v, 2, -3.
-3, -2, 2, v
Suppose -3*z = -1 - 2. Let x = -86.5 - -86. Sort -5/3, z, x in increasing order.
-5/3, x, z
Let p = 5 + -15. Let g = 9 + p. Put -4, g, 3 in decreasing order.
3, g, -4
Let b = -96 + 674/7. Suppose -4 = 3*x - 1. Let m be 0 - x - 6/4. Sort b, m, 0.4 in descending order.
0.4, b, m
Suppose 2*x = -2*x - 8. Let m be 0/x + (-7)/(-28). Let t = 49/55 + -12/11. Sort -0.5, m, t in ascending order.
-0.5, t, m
Let l = -1 + -3. Let h = 9 + l. Sort 3, -2, h in ascending order.
-2, 3, h
Let y = -0.334 + 0.034. Sort -5, y, -0.05.
-5, y, -0.05
Let f = 53 + -57. Sort f, -6/11, -0.06.
f, -6/11, -0.06
Suppose -2*n + k - 8 = -1, -n + 3*k = -4. Suppose 5*b - 4 = 4*b. Sort -3, n, b.
n, -3, b
Let a = 11 + -6. Let k = -96.7 + 92. Let j = 5 + k. Put a, -2/9, j in decreasing order.
a, j, -2/9
Let j be 0 + ((-183)/410)/3. Let s be (4/328)/(2/(-8)). Let f = s - j. Sort 1/3, f, 0.2.
f, 0.2, 1/3
Let p(b) be the first derivative of b**5/10 - b - 1. Let o(v) be the first derivative of p(v). Let f be o(1). Put -5, f, -4 in descending order.
f, -4, -5
Let c be -1 + 4 + 4/132. Let z = c + -26/11. Put 3, z, 4 in ascending order.
z, 3, 4
Let h be 3 + 2/(84/(-82)). Let d = h + -4/3. Sort -0.5, d, -0.3 in descending order.
d, -0.3, -0.5
Let v = 0.4 + 2.6. Let r = 97.3 - 105. Let j = 8 + r. Sort j, -5, v in decreasing order.
v, j, -5
Let l = -76 - -71. Let z be ((-4)/(-6))/2 - 0. Sort l, z, 0 in descending order.
z, 0, l
Let g be 1 + 3/1 + -3. Let k = 9 - 14. Let x be (50/12)/k + g. Sort x, 0.5, -0.5.
-0.5, x, 0.5
Let z = 0 + 0. Suppose z = 5*r + 2*u + 2 - 1, 2*r - 4 = -3*u. Sort 0, r, -2 in decreasing order.
0, r, -2
Let u = -178/5 - -36. Let x = -0.2 - -0.2. Sort u, x, 3 in ascending order.
x, u, 3
Let t be (-12)/(-14)*(-56)/(-12). Suppose -b - 16 = 4*j, -t*b + 2 = -j - 2. Sort j, -2, 5 in ascending order.
j, -2, 5
Let f = 2 - 0. Let q = 9 - 16. Let a = 11 + q. Put 3/5, f, a in increasing order.
3/5, f, a
Suppose 3*c + 0 - 4 = 4*b, 2*c = -3*b + 14. Suppose 4*g = k - 13, -c*k - 4*g = g + 11. Let f = -6 - -3. Put 3, k, f in decreasing order.
3, k, f
Suppose 3*z = z - 6. Put -1, -5, 1, z in decreasing order.
1, -1, z, -5
Let j be (0 - (0 - 0))/(-1). Put j, -5, 2 in increasing order.
-5, j, 2
Suppose -3*s + 5*s + 10 = 0. Let a = s + 9/2. Put a, 0.4, 5 in descending order.
5, 0.4, a
Let w be ((-2)/(-7))/((-2)/(-14)). Let d = 0 - -3. Put d, 0.5, w in decreasing order.
d, w, 0.5
Let i(g) = 0 + 1 - g + 5. Let q = 10 + -3. Let b be i(q). Sort 2, b, -3.
-3, b, 2
Suppose 4*z + 6*m = 2*m - 4, 2*z + 4*m = -10. Let y(o) = -o**3 - 3*o**2 + 2*o + 6. Let h be y(-4). Let l = -10 + h. Sort -2, l, z in decreasing order.
l, z, -2
Let v = 7 + -7. Let g(f) = -f**2 + f + 0*f**2 + 1 + 0*f + 0*f**3 - f**3. Let a be g(0). Put -1, a, v in descending order.
a, v, -1
Suppose 4*d = -4*u, 4*d - u = 4*u + 45. Sort -4, d, 3 in descending order.
d, 3, -4
Suppose 5*q = 10, -q + 11 = 4*o - 11. Let z be ((-198)/(-9))/((-2)/2). Let w be 2*(8/z)/(-4). Sort 2/7, o, w.
w, 2/7, o
Let g = -2 - -3. Let a(t) = -4*t + 1. Let k be a(g). Let b = 14 + -13.9. Put b, -0.3, k in decreasing order