-3 = -4*o + 3*t, -x = 4*o - 5*o - 5*t. Sort o, 4, f in increasing order.
o, 4, f
Let w be (-1)/(-3) + 1 + 10/(-12). Put 2, 0.4, w in descending order.
2, w, 0.4
Suppose 5*u - u + 9 = -z, 0 = -5*z - 5*u. Put -3, 5, 0, z in decreasing order.
5, z, 0, -3
Let k(w) = -w**2 + 7*w + 11. Let n be k(8). Put n, 0.1, -0.3 in ascending order.
-0.3, 0.1, n
Suppose 3*u = -0*u + 5*c + 28, -4 = -4*c. Let q = -2.5 + 3. Put q, u, -5 in descending order.
u, q, -5
Let m = -800.37 - 14.63. Let x = 810.91 + m. Let i = x + 0.09. Sort -1, 0.5, i in descending order.
0.5, -1, i
Suppose -7*k + 2*k = 10. Sort -5, -2/3, k in descending order.
-2/3, k, -5
Let j = 0.3 + 0. Let k = j - 0. Sort -0.4, k, 2/7 in increasing order.
-0.4, 2/7, k
Let p = 1 - -2. Let y(g) = g**3 - 4*g**2 + 5*g - 4. Let i be y(p). Sort i, 3, -3 in ascending order.
-3, i, 3
Suppose 0 = -m + 5*y + 13, 19 = -3*m + m - 5*y. Let f be (2/m + 0)*-1. Put f, 4, -3 in descending order.
4, f, -3
Let x = 6 + -6.1. Let i = 8 + -5. Let j = 3.3 - i. Sort 1, x, j in increasing order.
x, j, 1
Suppose -4*m + 3*c = -m - 6, -2*c - 18 = -4*m. Let p = m + -6. Let y = 1 + p. Sort y, -3, -2 in ascending order.
-3, -2, y
Suppose -3*h - 22*h + 75 = 0. Suppose 12 = -4*d - 0*d. Put d, 9, h in ascending order.
d, h, 9
Let a = -4 + 2. Let z = 0.34 + -0.23. Let j = z + -1.11. Put 4, a, j in ascending order.
a, j, 4
Suppose -2*w + 30 = 4. Let c be 1/(-4) + w/4. Suppose -c*g = 3 + 3. Sort 0, g, 3 in ascending order.
g, 0, 3
Let d(l) = -3*l + 31. Let f be d(10). Let o be 0 - 2 - 7*-1. Put -4, f, o in ascending order.
-4, f, o
Let l = -0.08 + 5.88. Let j = l - 6. Put 5, -5, j in decreasing order.
5, j, -5
Let o = -3.2 - -3. Sort o, 0.2, -0.1.
o, -0.1, 0.2
Let w = -40 + 41. Sort -3/10, -0.2, w.
-3/10, -0.2, w
Let h = -0.12 - -0.2. Let c = 5.08 - h. Let z = c + -6. Put 0.4, 1/6, z in decreasing order.
0.4, 1/6, z
Let a = 31 + -32. Sort 2, -4, -12, a in increasing order.
-12, -4, a, 2
Let c(n) be the first derivative of -n**2/2 - 4. Let u be c(-4). Put u, -3/8, -2 in descending order.
u, -3/8, -2
Suppose 3*d = 52 + 2. Suppose -2*m - m = -d. Let h = m + -8. Sort 3, -5, h in descending order.
3, h, -5
Let d = 17 + -17. Suppose -2*z - 3*z + 2*s = -22, d = z + 4*s. Put z, 3, -1 in decreasing order.
z, 3, -1
Let a = -2 - -8. Let w be -2 + 0 - (-2)/2. Let v = w + a. Sort -2, v, -4 in decreasing order.
v, -2, -4
Suppose 0*q - 45 = -9*q. Sort 2, 0.8, q in decreasing order.
q, 2, 0.8
Let t be (3 - 2)/(100/48). Let u = -158/225 + t. Put -1, u, -2/3 in increasing order.
-1, -2/3, u
Suppose -2*d + 0*d + 2 = 0. Let h be (3 - 0) + 1/d. Suppose r = -3*r - 8. Sort r, h, 2 in decreasing order.
h, 2, r
Let x = 21 - 20.8. Suppose -5*j + 5*y - 10 = 0, y + 4*y - 4 = -j. Sort x, j, -3 in descending order.
x, j, -3
Let n = -1.6 - -1.9. Put n, -14, -0.4 in increasing order.
-14, -0.4, n
Suppose 0 = 4*x + x - 15. Let m = 0 - -0.2. Let o = 0.6 + -0.2. Sort x, o, m in decreasing order.
x, o, m
Suppose -2*t - 2*l + 18 = 0, 6*t = t + 2*l + 24. Suppose 2*w = 4*w - t. Let v = -1 + -1. Sort 2, w, v in ascending order.
v, 2, w
Let d = -8 - -19. Sort -3, d, 3 in decreasing order.
d, 3, -3
Suppose -2*v = v + 9. Put -2, 1, v in decreasing order.
1, -2, v
Let d be 2/(-5) - (-144)/60. Suppose p = 2 + d. Sort p, 0.1, -2/7 in increasing order.
-2/7, 0.1, p
Let a be (-3)/(-12) - (-1)/(-4). Let w = -24 + 15. Let j(q) = q**3 + 9*q**2 + q + 7. Let b be j(w). Put a, 2, b in ascending order.
b, a, 2
Let z be (4/(-5))/(4 + 1 + -11). Suppose 2*y = -0*y - 4. Put y, 2/3, z in decreasing order.
2/3, z, y
Let x(z) = -z + 2. Let d be x(2). Let b(q) = -q**2 + 7. Let o be b(d). Suppose o*p = 5*p - 4. Sort -1, 2, p.
p, -1, 2
Let u be 4/(1 + -5 + (-9)/(-3)). Sort 5, -5, -3, u in decreasing order.
5, -3, u, -5
Let m(v) be the second derivative of -v**5/20 + v**3/6 - 3*v**2/2 + 3*v. Let b be m(0). Let l be 42/9 + (-1)/b. Sort -3, 1, l in decreasing order.
l, 1, -3
Let w = 0.5 + -1.2. Let a = w - -0.9. Sort 5, a, -2 in increasing order.
-2, a, 5
Suppose -17 = l + 5*u, -l + 3*l = -5*u - 19. Let p be (-94)/(-6) - l/6. Suppose 0*z - p = -4*z. Sort -3, -5, z in ascending order.
-5, -3, z
Let t = -3 - -5. Suppose h = -5*b - 8, h - 6 = 3*b + 2. Let x be b/8 + 26/8. Sort x, t, 4 in increasing order.
t, x, 4
Let j = -2.34 - -3.34. Let u = 11/23 - 193/115. Sort j, u, 0.2 in ascending order.
u, 0.2, j
Let d(h) = -h**3 - 7*h**2. Let t be d(-7). Let f = 12 + -7. Put t, -1, f in descending order.
f, t, -1
Let f(j) = j + 3. Let v be f(-5). Let k = 2 + -3. Put k, v, -5 in increasing order.
-5, v, k
Suppose 0 = 5*o + 25 + 10. Let r(x) = x**3 + 7*x**2 + 5. Let d be r(o). Sort 4, -2, d in descending order.
d, 4, -2
Let u be (-4)/1*(-1)/2. Suppose 0 = 2*r, -k + u*r = 7*r - 5. Put 2/5, -0.4, k in increasing order.
-0.4, 2/5, k
Let g(k) = -1 - 3*k**3 - 2 + 5 - 9*k**2 + 4*k**3. Let m be g(9). Put m, -1, -3 in descending order.
m, -1, -3
Suppose -5*h + h = 44. Let d = -16 - h. Put 2, d, -2 in ascending order.
d, -2, 2
Let n = 17 + -9. Let u be 14/n*(-20)/(-5). Let t be 2/(4/u) - 1. Put t, -2/23, 3 in decreasing order.
3, t, -2/23
Let n be ((-12)/(-8))/1*(-20)/6. Sort n, -3, 2/7.
n, -3, 2/7
Let v = 0.1 - -0.7. Let a = v - 1.1. Let m = -0.36 - 0.04. Sort a, -3, m.
-3, m, a
Let h = -0.3 - -0.6. Let v be -3*(-1 + 11/12). Sort v, -5/4, h.
-5/4, v, h
Suppose 4*r - 12 = -0*r + 5*s, 4*s - 6 = -2*r. Put r, 1, -10 in increasing order.
-10, 1, r
Suppose -14 = -0*q - 2*q. Let v(w) = w**2 - 7*w - 2. Let m be v(q). Put 3, m, 2 in descending order.
3, 2, m
Let p = 29 + -19. Sort 4, p, -1 in descending order.
p, 4, -1
Let o be (-6 - 0)/((-6)/(-9)). Let j = 5 + o. Let f = 18 - 15. Sort -3, f, j in ascending order.
j, -3, f
Suppose -4*y - 7 - 5 = 0. Sort -5, 4, y in increasing order.
-5, y, 4
Suppose 6 = 3*z - s, -3*z + z + 4*s + 14 = 0. Suppose 0*u = u - 1. Let w = u - 1. Sort z, w, -4.
-4, w, z
Let o = 37 + -40. Put -6, 1, o in descending order.
1, o, -6
Suppose -h - 2*y = 5, 0 = -y - 0 - 1. Let l = -17 + 12. Suppose -5*u - 5 = 4*x, -2*u + 4*x - x = -21. Sort u, l, h in decreasing order.
u, h, l
Suppose -2*r + 7 = -3. Let p(l) be the third derivative of l**5/60 + l**4/8 - 7*l**2. Let y be p(-3). Put 2, r, y in ascending order.
y, 2, r
Suppose 0*r - 4*r = i + 28, -4*i - 24 = 5*r. Let o = r + 10. Sort o, -4, -5 in ascending order.
-5, -4, o
Let a(s) = s - 1. Let u be a(0). Let z(n) = 3*n**2 - 2*n - 1. Let q be z(u). Sort -1, q, -5.
-5, -1, q
Let b = -0.8 - 0.2. Let i = -15.5 - -15. Sort b, i, 2.
b, i, 2
Let s be (15/18)/((-3)/(-6)). Sort s, -0.1, 3 in descending order.
3, s, -0.1
Let x = 8 - 0. Suppose x*b = 3*b. Let f be b/6 + (-2)/(-5). Sort 5, 0.1, f.
0.1, f, 5
Let x = 0.11 - 3.11. Let n = x + -1. Put n, -1/7, -0.3 in descending order.
-1/7, -0.3, n
Suppose 2*z - 6*z - 8 = 0. Put -3, z, 0.1 in decreasing order.
0.1, z, -3
Let w = -0.3 - -0.3. Suppose -v + 2 = 3*y - 0, 4*v = 5*y + 25. Let l(a) = a**3 + 17*a**2 + 67*a + 13. Let i be l(-11). Sort i, w, y.
y, w, i
Let m = 0.5 + -0.3. Put 3, m, -2 in descending order.
3, m, -2
Let a = -2.9 - 17.1. Let u = 20.4 + a. Let z = -0.3 - 0.7. Sort z, u, 0.2 in descending order.
u, 0.2, z
Suppose t - 1 - 3 = 0. Let f be 6/(-24) - 11/4. Put t, 2, f in increasing order.
f, 2, t
Suppose 0 = -5*g + 5*k + 15, 5*g - 25 = -5*k - 0*k. Sort g, 1, -2, -23 in ascending order.
-23, -2, 1, g
Let y be (-1)/(-1)*3/(-1). Let k(c) = c**3 - 16*c**2 - c + 21. Let s be k(16). Put s, -2, y in descending order.
s, -2, y
Suppose -4*z - 7 = 3*l, -l = 2*z - 4*l + 17. Suppose 7 = 4*g + 3. Sort -5, z, g in increasing order.
-5, z, g
Let z(u) = u**2 + 4*u - 3. Let c be z(-5). Let q = c + 2. Let y be (-102)/(-54) + -2*1. Sort q, y, 0 in ascending order.
y, 0, q
Let j = 14.96 + 0.04. Let g = -15.1 + j. Put g, -3, -1/2 in decreasing order.
g, -1/2, -3
Let s = -2.3 - -0.3. Sort -11, s, 1/4 in decreasing order.
1/4, s, -11
Let i(z) = -z**2 + 6*z + 10. Let y be i(7). Suppose 21 = -3*n + y*r, 2 - 14 = -3*r. Sort 4, -4, n in decreasing order.
4, n, -4
Let w = 1.991 - -0.009. Sort -1, -2/3, w, 0 in descending order.
w, 0, -2/3, -1
Let h = -18.6 - -19. Put 5, h, -3 in decreasing order.
5, h, -3
Let l = -6 + 8. Let h = 6 - l. Put -4, 2, h in ascending order.
-4, 2, h
Suppose 2*m = 4*m + 4. Let s = m - -7. Suppose -2*h = 3*h - s. 