 = -10 - -10. Put 4/5, t, w in ascending order.
t, w, 4/5
Let s = 24.3 + -24. Let g = 1 - -3. Put 3, s, g in decreasing order.
g, 3, s
Suppose -4*v + v + 2*g + 13 = 0, -4*g = -3*v + 17. Let i = -8 + 8. Suppose i*h + 9 = -v*h. Sort 3, -5, h in increasing order.
-5, h, 3
Let t = -0.066 + -0.434. Sort t, 2/9, -0.25 in ascending order.
t, -0.25, 2/9
Let l be -8*(3/(-2) - -1). Suppose -l*h + 3*h = -3. Let q be 1/4 + (-15)/(-4). Sort 5, h, q in decreasing order.
5, q, h
Let t(y) = y - 11. Let l be t(15). Suppose -l*j + 14 + 2 = 0. Put 1, j, -1 in decreasing order.
j, 1, -1
Let z = 1 - 1. Let v = -0.3 - -0.1. Let k = z + v. Put 3, k, 1 in decreasing order.
3, 1, k
Let x = -6.5 + 11.4. Let b = 8.6 - 3.6. Let l = x - b. Sort l, -0.5, -2/7 in increasing order.
-0.5, -2/7, l
Let n = 0.05 + -3.05. Let d = -14 + 29. Suppose 0 = -4*v + l + 15, -4*l = -2*v - l + d. Sort v, 0, n in descending order.
v, 0, n
Let b be ((-6)/8)/(63/24). Sort -2, 0, b in decreasing order.
0, b, -2
Let v = -4 + -4. Suppose m + 2*m - 20 = -n, 30 = 4*m + 3*n. Let l = m + v. Sort 3, -4, l in increasing order.
-4, l, 3
Let l = 45 + -48. Suppose 1 = n - a, -5*a + 1 = -3*n + n. Suppose u = y - 1, -n*u = u + 3*y - 15. Sort 0, l, u.
l, 0, u
Let r be (-72)/(-90) - 2/(-10). Let w(s) = s**2 - s - 2. Let g be w(2). Sort 2, g, r in increasing order.
g, r, 2
Let n(u) = -2*u**2 + 3*u - 1. Let x be n(2). Suppose 0 = a + 2*a - 27. Suppose -a*i = -4*i. Sort i, 1, x in descending order.
1, i, x
Suppose 37 = -5*o - 4*g, 2*o + 2*g + 3*g = -25. Sort 0, o, -11 in increasing order.
-11, o, 0
Let u be (-20)/(-1)*2/8. Let b be (6/4)/3*-6. Sort b, u, 4 in ascending order.
b, 4, u
Let b = -14 + 15. Sort -2/19, 0.1, b in decreasing order.
b, 0.1, -2/19
Let j = -6 - -6.4. Let f = j + -0.9. Put f, -5, 0.1 in ascending order.
-5, f, 0.1
Let i = -3.5 - -3. Let y = i - 1.5. Sort 5, y, 2 in descending order.
5, 2, y
Suppose 0 = 3*c - 2*c - 4. Suppose c = -3*n + 1. Let k be (3/2)/(1/2). Sort n, -5, k in decreasing order.
k, n, -5
Suppose -4*b + 3*b - 2 = 0. Put 5, -4, b in ascending order.
-4, b, 5
Suppose 5*b + 10 = -d, 35 = 2*b - 5*d + 12. Let u be (3/(-5) - b)*-5. Let p be ((-2)/(-6))/((-2)/(-12)). Sort u, p, -1.
u, -1, p
Let q = 0 + 0. Let h be (2*2/(-4))/1. Let b = h + -1. Sort b, 3, q.
b, q, 3
Let s = -12 - -5. Let h = -12 - s. Sort -3, h, 1.
h, -3, 1
Suppose 4*n - n - 15 = 0. Sort n, 2, -0.2.
-0.2, 2, n
Let q(b) = b**2 + 3*b + 1. Let m be q(-3). Let t be 1*2 + 0 + m. Let a = 15 + -19. Sort t, -2, a in descending order.
t, -2, a
Let l = 0 + -2.8. Let t = 0.1 - 0.3. Let r = l + t. Put -2, r, 1/3 in decreasing order.
1/3, -2, r
Let q = -3 - -2. Let x(m) be the first derivative of -5*m**3/3 + 2. Let y be x(1). Sort q, y, 0 in ascending order.
y, q, 0
Suppose 5*d + n + 0*n - 30 = 0, -3*d = -5*n + 10. Sort d, 3, -4 in descending order.
d, 3, -4
Let h = -2902/11 - -264. Let b = 0 - 6. Let v = b - -6.2. Put h, v, 6 in decreasing order.
6, v, h
Let k be 2/(-2)*(-3 - -2). Suppose 2*i - 3 = -i. Let n be (10/15)/(i/(-3)). Sort k, 0, n in ascending order.
n, 0, k
Suppose -10 = -w - 3*b + 5*b, 2*b = -10. Sort -11, -3/2, w in decreasing order.
w, -3/2, -11
Suppose 5*o = o. Sort 1, o, -4 in ascending order.
-4, o, 1
Let a = -0.13 - 1.87. Let n(m) = 3*m**3 + m**2. Let w be n(1). Let s(d) = d + 1. Let j be s(w). Sort -5, j, a.
-5, a, j
Let l = 1.05 - 1.1. Put 0.2, l, 4 in decreasing order.
4, 0.2, l
Let q be 5/(-1)*((-12)/(-15) + -1). Let b(l) = l**2 - 5*l + 4. Let u be b(4). Sort q, -5, u in ascending order.
-5, u, q
Let l = -5.6 - -3.6. Sort 2, l, 0.4 in ascending order.
l, 0.4, 2
Suppose -3*f = -3*q - 6, -q = -5*q - 2*f + 4. Suppose q = 2*k - 5*k. Suppose -t = -4*d - 2, -d - t - 3 = -k. Put 5, 0, d in increasing order.
d, 0, 5
Let i(u) = -u**2 + 3*u + 23. Let d be i(7). Sort d, 0, 3, 5.
d, 0, 3, 5
Let z be (-120)/(-64) - (-4)/(-2). Let q be (-3)/11*(-4)/(-6). Put q, z, 0.4 in ascending order.
q, z, 0.4
Suppose 4*o + v + 21 = 0, -5*o - 10 = 4*v + 19. Put o, 2, -1 in decreasing order.
2, -1, o
Let o = -0.17 - -0.67. Sort -4, -5, o in decreasing order.
o, -4, -5
Suppose -5*a - 4*d = 15, -a = -0*d + 5*d + 24. Put a, 3, 0 in decreasing order.
3, a, 0
Let r = -0.5 + 0.3. Let t = -0.2 - r. Let a = 0.1 + t. Sort -3, a, -0.5 in ascending order.
-3, -0.5, a
Let i = -72 + 62. Sort i, 3, -2, 0.
i, -2, 0, 3
Let y be 8/2 + (3 - 5). Sort 0.1, y, -2/9 in decreasing order.
y, 0.1, -2/9
Suppose -5*k + k + 2*d + 10 = 0, -5*k + 32 = 4*d. Suppose 0 = -l + 5*v + 10, -3*v = -2*l + 3 - 4. Put k, l, -4 in descending order.
k, -4, l
Let h = 113 + -107. Let b = 5 + -2. Sort b, h, 0.
0, b, h
Suppose -5*a = 39 + 1. Let f be 0/((a/1)/(-4)). Sort 6, f, 2.
f, 2, 6
Suppose 0 = -4*c + 10 - 2. Let p(a) = a**2 - 5*a + 2. Let x be p(5). Let w be x/(-1*(-2)/5). Sort c, -2, w.
-2, c, w
Let q be 1 + -2 - (1 + -1). Let k(r) = 3*r**2 + 3*r - 2. Let b be k(-2). Sort 5, q, b in increasing order.
q, b, 5
Let i = -0.2 + -0.3. Let y = i - 1.5. Let m = y - -1.6. Put -3, 3, m in descending order.
3, m, -3
Let q = -24 + 14. Let j(v) = -v**2 - 9*v + 7. Let t be j(q). Let n be ((-5)/(-2))/(1/2). Sort n, t, -1/4 in increasing order.
t, -1/4, n
Let k = 4 - -1. Suppose u + 2 = 4*a + 7, 5*u = k*a + 25. Let j = 0.06 + 0.24. Sort 2/7, j, a in decreasing order.
j, 2/7, a
Let z be 1*(-1 - -4) + 0. Suppose 3*h = 4*h + 2. Let r = 6 + h. Put r, z, -5 in decreasing order.
r, z, -5
Let h = 0.1 + -0.5. Let y = 0.6 - h. Let b = y + 2. Sort b, -0.4, -0.2 in descending order.
b, -0.2, -0.4
Let g = 1 - 0. Suppose 9*a = 5*a - 16. Let x = 7 + a. Sort g, x, 2 in increasing order.
g, 2, x
Let m = 3 - 3. Let q = m - -4. Let s(n) = -n**2 - 6*n + 5. Let j be s(-7). Sort q, j, 0.
j, 0, q
Let r(x) = 2 + 2 - x**3 + 2 - 2 + 6*x**2. Let p be r(6). Sort 7, 3, p.
3, p, 7
Let i = -1 + 3. Let x = 1/91 - -25/91. Put -5, x, i in increasing order.
-5, x, i
Let c(m) = -2*m. Let o be c(-3). Let b be -5*(-2)/o*3. Let y = 0.3 - -0.2. Sort 1/6, b, y in decreasing order.
b, y, 1/6
Let n(q) = -4*q**2 + 2*q + 3. Let r be n(-2). Sort -2, -5, r.
r, -5, -2
Let a be ((-28)/9 - -3)*3. Sort a, -5, 0.5 in decreasing order.
0.5, a, -5
Let k = 5 + -3. Suppose -6*z + 4*z - 2 = 0. Let r be 1 + (5 - (3 + z)). Sort r, k, 0.
0, k, r
Suppose 9*f + 3*f - 60 = 0. Sort -1, 3, f in descending order.
f, 3, -1
Let t = -0.05 + -0.05. Put t, -2/11, -0.3 in ascending order.
-0.3, -2/11, t
Let j = 2.1 + -2.1. Put j, 1/6, -0.3 in descending order.
1/6, j, -0.3
Suppose 5*n + 5 + 0 = 5*z, -n - 3*z - 13 = 0. Put 2, -1, 5, n in descending order.
5, 2, -1, n
Let h be -3 - (-2 + (-15)/13). Sort 2/21, h, -0.5.
-0.5, 2/21, h
Let s = -3 - 3. Sort 5, s, -2 in decreasing order.
5, -2, s
Let c = -0.06 - 1.94. Put -4, -3, -0.3, c in descending order.
-0.3, c, -3, -4
Let b(z) = -z**2 - 10*z - 5. Let s be b(-7). Let p be s/(-4)*-1 + -7. Put -2, -5, p in decreasing order.
-2, p, -5
Suppose n + 12 = -2*n. Suppose 0 = 3*o - 3*s - 18, 0 = 2*o - s - 13 + 5. Let z be ((-2)/n)/((-5)/o). Sort 0.2, z, 4/9.
z, 0.2, 4/9
Let q be (153/26)/(-9) + 3/6. Put -4, -3, 0.4, q in decreasing order.
0.4, q, -3, -4
Let h = 23 - 23.4. Sort 4, 12/11, h in ascending order.
h, 12/11, 4
Let m be 0 - 1 - 0/1. Suppose -6 = -2*u, -2*y - u = 3 - 10. Suppose -13 = 3*j - 0*j - y*r, 7 = -3*j - r. Sort 4, m, j.
j, m, 4
Suppose 2*y = -m + 5*m - 38, m - 5*y = 14. Let o = m - 5. Put o, -1, 2 in increasing order.
-1, 2, o
Let l(c) = 3*c**3 + 12*c**2 - 8*c + 23. Let i(a) = -2*a**3 - 8*a**2 + 5*a - 15. Let t(v) = 8*i(v) + 5*l(v). Let m be t(-4). Put 0.2, m, 3 in descending order.
3, 0.2, m
Let m = 29 + -34. Let s be (0 - 4)/((-2)/2). Put m, 3, s in descending order.
s, 3, m
Suppose -4*j = -9*j. Suppose j = -3*v + 2*v. Suppose v = 2*z - 5*z. Sort 5, z, -3.
-3, z, 5
Suppose 4*r + 2*z - 1 = -z, r - 2*z + 8 = 0. Let s be (-2)/((-3)/((-15)/r)). Let h be -5*(-2 + 6/s). Put h, -1, -5 in ascending order.
-5, -1, h
Let p = 1 - 3. Let v be (-1 - -1)/(1 + -3). Sort p, -4, v.
-4, p, v
Let x = -9 + 7. Let y = x - -2.2. Put y, 3/4, 0 in increasing order.
0, y, 3/4
Let s be (-1)/(-7) - (-8)/(-56). Suppose -o + 2*t + 10 = -1, -4*t - 4 = 4*o. Sort o, 4, s in decreasing order.
4, o, s
Let a be 1 + 2 + -1 + 2. Suppose -a*i = -i. Let t = 13 - 9. Put i, t, -3 in descending order.
t, i, -3
Let y(q) = q**3 - 2*q**2 - 