w be (0*(-2 - -3))/v. Put w, 1, -2 in descending order.
1, w, -2
Let q = 8.14 - 8. Let r = q - 4.14. Let o be (10/8)/((-2)/(-8)). Put r, -0.3, o in ascending order.
r, -0.3, o
Let g = 5 + 5. Suppose g = 4*a + 2. Sort -3, a, 0 in ascending order.
-3, 0, a
Let h = 25 - 25.2. Sort 4, 2, h in decreasing order.
4, 2, h
Let d(o) = 4*o + 4*o**3 - 3*o**3 + 0 - 1 - 1 - 4*o**2. Let v be d(3). Sort -2, 0, v in ascending order.
-2, 0, v
Let x = 0 + 2. Let h = 1 + x. Let m = -7.7 + 8. Put h, m, 1 in increasing order.
m, 1, h
Let k = 80 - 77. Put k, -52, 0 in decreasing order.
k, 0, -52
Suppose w + 3 = -2*o - 0*w, -w = -5. Put o, 0, 1 in descending order.
1, 0, o
Let r = -14 - -16. Put -3, 5, r in decreasing order.
5, r, -3
Let o = 31 - 30.9. Put 0, o, -5 in descending order.
o, 0, -5
Suppose 4*b - 15 = 7*b. Sort b, 5, 2 in descending order.
5, 2, b
Let z = -16 - -23. Let t = z - 8. Let k = 0.7 - 0.3. Put t, -3, k in descending order.
k, t, -3
Let a = 0.1 - -0.9. Suppose 5*f - 3*k = 25, -4*f - 4*k + 6 = -14. Put a, f, -2 in ascending order.
-2, a, f
Let u = -3566/57 - -188/3. Sort -5, -1, u in increasing order.
-5, -1, u
Let o = -1/82 - 39/164. Sort -2/13, o, -1 in ascending order.
-1, o, -2/13
Suppose -3*u + 5*q + 28 = 0, u = 3*u + 3*q + 13. Let o be -4 - -3*u/(-3). Sort 3, o, -1 in descending order.
3, -1, o
Let r(x) = x**2 - 11*x - 4. Let p be r(11). Sort p, -3, 0.1, -2/5 in ascending order.
p, -3, -2/5, 0.1
Suppose 6 = 2*p + p, 0 = 2*l + 4*p - 12. Let t = 2 + -1. Sort t, l, 0.1 in increasing order.
0.1, t, l
Let i(g) = -g**3 + 7*g**2 - g + 10. Let v be i(7). Put v, 2, 4 in decreasing order.
4, v, 2
Suppose 0*q + 5*q - 20 = 0. Suppose 0 = -j - 3*j. Suppose b + j*h - 13 = -4*h, 0 = -3*b + h - 13. Put -4, q, b in increasing order.
-4, b, q
Let g = -0.7 - -3.7. Put -4, g, 0.41 in decreasing order.
g, 0.41, -4
Suppose 5*i - 5 = -0*c - c, 3*i - 2*c = 16. Sort i, 7, -2 in descending order.
7, i, -2
Let v = -0.01 + 0.21. Let w = -219 - -1091/5. Let f(h) = h**2 + 2*h + 3. Let p be f(-2). Put w, p, v in descending order.
p, v, w
Let t = 55 + -387/7. Let x be (1*-2)/(2 + 0). Let h be (2 - (-33)/(-21))*x. Sort h, t, 0.5.
h, t, 0.5
Suppose 0 = -5*z - 0*z. Let c = -1/39 - -14/39. Put z, -1/4, c in ascending order.
-1/4, z, c
Let h(m) = -1 + 4*m - 3*m + 2. Let p = 3 + -5. Let b be h(p). Put b, 3, 4 in increasing order.
b, 3, 4
Suppose 10 = 2*c + 2. Suppose 2*p - 4*z + 2 = 0, -3*p + 7 = -3*z + 13. Sort c, 5, p.
p, c, 5
Let b = -1 + 3. Let v be 1/((b/(-1))/4). Let w be (-2 - 0)/v + -3. Sort -5, -1, w in decreasing order.
-1, w, -5
Let y(m) = 4*m**2 - m - 1. Let t be y(-1). Let z(b) = b**2 - 4*b - 4. Let f be z(5). Sort t, f, 1/3 in descending order.
t, f, 1/3
Suppose 9*z = 6*z - 3. Put -2, z, -9 in decreasing order.
z, -2, -9
Let j be ((-3)/(-2))/((-6)/(-8)). Suppose 2*a = -0 + 4. Let o be -1*(a - 5/3). Sort j, -4/3, o.
-4/3, o, j
Suppose 5*o - 3*i - 12 = 0, o = -3*o - 3*i - 12. Let c be 0 - (1/1 + o). Let v be 2/6 + (-20)/6. Put c, v, -4 in increasing order.
-4, v, c
Let o(k) = 74*k - 1. Let n be o(-1). Let h = n + 230/3. Let x be 2 - ((-3)/5 - -2). Put -3/2, x, h in increasing order.
-3/2, x, h
Suppose 0 = -5*c + 10, 0*i + 8 = 3*i + c. Suppose -i*u + 1 = 9. Put u, -3, -8 in ascending order.
-8, u, -3
Let v = -4 + 4. Let a be (3 + -5)/(15/6). Let m = -0.8 + 1. Put v, a, m in descending order.
m, v, a
Let f be (-224)/(-330) + (-6)/45. Put 2, 5/4, f, -4 in descending order.
2, 5/4, f, -4
Let w = -193 - -195. Let u = -10 + 15. Sort w, -1, u in ascending order.
-1, w, u
Suppose 0 = -a - 4*a. Sort a, -4, 5 in descending order.
5, a, -4
Let d = 0.06 + -0.76. Let b = 0.4 + d. Let k = -6 - -11. Sort -1/4, b, k.
b, -1/4, k
Let n = -35 + 31. Sort -5, 6, n.
-5, n, 6
Let l be (3 + 1)*(-1)/(-1). Suppose -6 = -4*h - 34. Let t = 12 + h. Sort l, t, -1.
-1, l, t
Let b be (-3)/(-2)*(-60)/(-18). Suppose b*d + 0*d - 25 = 0. Let y be ((-9)/(-3) - -2)/(-1). Sort y, 0, d in descending order.
d, 0, y
Let p be (3/(-3))/(15/3). Put 2/5, 1, p in increasing order.
p, 2/5, 1
Let t = 2.5 - 2. Let p = -0.7 - -0.84. Let h = 0.06 + p. Put h, 2, t in decreasing order.
2, t, h
Let k = 32 + -32. Sort -5, 36, 1/5, k.
-5, k, 1/5, 36
Let t be (-1)/(-4) + (-6)/(-8). Suppose 8 = 4*o - 3*g - 7, -5*g - 25 = 5*o. Suppose 5*w = 2*n + 17, -3*n - 5*w + 9 = -w. Put n, t, o in descending order.
t, o, n
Let t = 246/5 - 49. Sort -4/9, t, 4, -8.
-8, -4/9, t, 4
Let s = 2/491 + 964/4419. Let p = -1 - -1. Let n = -1 - 2. Sort n, p, s in descending order.
s, p, n
Let t = 14 + -6. Let j be (-2)/t - (-30)/(-8). Sort j, 4, 0.2.
j, 0.2, 4
Suppose 3*y - 4*y = 0. Suppose 0 = 5*f - 12 + 7. Sort -4, y, f in ascending order.
-4, y, f
Let p be 1/(-3) - (-2)/6. Let m(f) = 4*f + 3. Suppose -8*i = -7*i + 2. Let q be m(i). Sort p, 4, q.
q, p, 4
Let a = -6 - -7. Let b = -1 - a. Sort -3, b, 4 in decreasing order.
4, b, -3
Let u be 27/(-45) - (-28)/5. Sort u, 0, -2, -5 in descending order.
u, 0, -2, -5
Let i = 40 - 36. Suppose -5*r = -23 - 2. Sort r, 3, i in decreasing order.
r, i, 3
Let m(h) = h**3 + 13*h**2 + 13*h + 13. Let y be m(-12). Sort y, 4, 3 in decreasing order.
4, 3, y
Let i = 42 - 44. Put 5/4, -1/4, i in descending order.
5/4, -1/4, i
Let x = 5/53078 + 77281523/477702. Let h be (162 - -3) + (-3)/1. Let l = x - h. Sort -0.4, l, 0.1.
-0.4, l, 0.1
Let l = 38 + -36. Sort 4, -1, l in descending order.
4, l, -1
Let r = -60 + 56. Suppose -2*o + 5*q - 15 = 0, -2*o + 5*q = -o + 15. Sort r, o, -3 in descending order.
o, -3, r
Let o = 6662/17 - 392. Put -2/9, o, 0.3, -4 in decreasing order.
0.3, o, -2/9, -4
Suppose 0 = -p - 4*p + 10. Suppose 0 = -p*r + 5*a + 13, 0 = 4*r - 3*a - 5. Put r, -3, -2 in ascending order.
-3, -2, r
Suppose -w + 392 = 2*z + 3*w, -3*z + 588 = 3*w. Let f be (1/3)/(21/(-12366)). Let j = z + f. Put -4/5, 2/7, j in descending order.
2/7, j, -4/5
Let j be ((-1)/(6/(-36)))/(-2). Put 59, -5, j in descending order.
59, j, -5
Suppose -15*y + 12 = 27. Put 5, -7, y in decreasing order.
5, y, -7
Let b(d) = d + 6. Let g be b(0). Suppose 3*u + 6*l + g = l, -u + 4*l - 2 = 0. Suppose -z = -5*z. Put z, -8, u in descending order.
z, u, -8
Suppose -5*r - 5 = 15. Let z(w) = w**3 + 7*w**2 - 8*w + 4. Let q be z(-8). Let x be 1/2*(2 - q). Put r, 4, x in decreasing order.
4, x, r
Suppose 4*k = -u + 9, 4 - 1 = -5*u - 4*k. Suppose -2 = -2*j - 6. Put u, j, 3 in ascending order.
u, j, 3
Let a = -184 - -924/5. Let s = 2 + -2.4. Sort a, s, 0.2 in descending order.
a, 0.2, s
Suppose b - 32 = -3*b. Let f be (10/b)/(7/(-28)). Let o = -1 - f. Put o, 0, -4 in ascending order.
-4, 0, o
Let t = -127 - -122. Sort t, -6, 0 in descending order.
0, t, -6
Let g(o) = o**2 - 10*o + 7. Let a(r) = 4*r - 3. Let l be a(3). Let q be g(l). Sort q, 4, 2 in decreasing order.
4, 2, q
Let c(w) = -w**2 + 8. Let u be c(-3). Suppose 0 = 5*o - 4*j - 35, j - 4 = -6*o + 3*o. Put 4, o, u in descending order.
4, o, u
Let w(g) be the first derivative of -g**2/2 + 8*g - 7. Let k(q) = -7*q**3 - q**2 - q - 1. Let a be k(-1). Let z be w(a). Sort 0, z, 1.
0, 1, z
Let m(j) = 5*j**2 + 2*j - 4. Let q(b) = -9*b**2 - 4*b + 7. Let v(g) = -5*m(g) - 3*q(g). Let n be v(1). Suppose -3 = n*t - 15. Put t, -5, 0 in descending order.
t, 0, -5
Let a = 0.47 + 0.03. Let k(u) = 2*u + u**2 - 2*u**2 - 2 + 2*u + u. Let s be k(4). Sort -0.2, a, s in increasing order.
-0.2, a, s
Let b(u) = -u**3 - 14*u**2 - 15*u - 30. Let t be b(-13). Put t, -3, -2 in descending order.
-2, -3, t
Let t = -22 - -25. Put 2, t, 0.2 in descending order.
t, 2, 0.2
Suppose -j + 10 = -6*j + 5*u, -2*j + 4*u = 2. Let d(h) = h**3 - 9*h**2 - 9*h - 10. Let o be d(10). Put j, o, -9 in decreasing order.
o, j, -9
Let j be ((-23)/(-10) + -2)*-2. Sort 0.5, j, -1/7.
j, -1/7, 0.5
Suppose -3*s + 16 = -5*u, 4*s = 4*u + 16 - 0. Sort s, -3, 6.
-3, s, 6
Let z be (4/(-5) - 0)*-5. Let t = -3218 - -167311/52. Let q = t - -16/13. Sort q, z, 0.3 in descending order.
z, q, 0.3
Let l be 8*(-1)/(-2)*1. Let k(f) = -f**2 + 6*f - 4. Let y be k(l). Put y, -5, -1 in descending order.
y, -1, -5
Let x be ((-25)/(-15))/(2/(-6)). Put -7, 4, x, 3 in decreasing order.
4, 3, x, -7
Let m be (-8)/(-36) + 2/(-9). Suppose m = -2*l - l - 3. Let p(k) = -k**2 + 5*k - 2. Let z be p(5). Sort z, 0, l in ascending order.
z, l, 0
Let u be 2/9 + (-80)/(-45). Let z be 1 - (2