t = -8 + 5. Sort t, w, -0.4 in decreasing order.
w, -0.4, t
Let q(x) = -x. Let c be q(-3). Suppose -2 = 5*y + 4*z, -6 + 4 = 4*y + 3*z. Put c, -5, y in decreasing order.
c, y, -5
Let r be 12/70 + 8/20. Let k = -0.169 + 0.059. Put k, -1/4, r in decreasing order.
r, k, -1/4
Suppose c - 2 = -3. Suppose -2*u = 2*u - 20. Let j = u - 9. Sort j, 1, c.
j, c, 1
Suppose -3*s - 10 = 3*r - 5*r, 0 = 3*r - 4*s - 15. Suppose -3 = -r*b + 2. Let j = 0 - -4. Sort j, 2, b.
b, 2, j
Suppose 3*k - 2*l - 18 = -0, 5*k - 4*l = 32. Sort k, 23, 2.
2, k, 23
Let d be 3 - 1*(4 - 0). Let l be 8 + d + (-1 - 1). Let t(q) = q**3 + 4*q**2 - 2. Let z be t(-3). Sort l, -1, z in descending order.
z, l, -1
Let d(v) = -3*v + 8. Let l be d(6). Let o be (8/10)/((-4)/l). Let m(y) = -2*y**3 + 2*y**2 + y + 1. Let r be m(o). Put 0, r, 3 in ascending order.
r, 0, 3
Suppose 0 = -0*b + 4*b. Suppose -5*p = -3*v + 12, -12 = -3*v - 3*p - b. Let i = 1 - -1. Sort i, v, 3 in ascending order.
i, 3, v
Suppose 2*x = 3*x + 5. Let n be (-5 - 0) + -1 + 2. Let t = n - -4. Put -2, t, x in decreasing order.
t, -2, x
Let n = 1 + -1. Let t = -4/21 - 55/42. Let u be ((-128)/42 + 3)/(2/(-12)). Put t, n, u in decreasing order.
u, n, t
Let q be 0 - (2 - (0 - -3)). Let j = -4 + 0. Put j, q, 5 in descending order.
5, q, j
Let g be (4 - 0)/((-8)/(-4)). Suppose 2*u = -3*u. Suppose -2*r + 4*r + 5 = -j, u = -4*j - r + 15. Sort j, -2, g.
-2, g, j
Let n = 3.2 + -1.9. Let c = -1.5 + n. Sort c, 0.5, 1/4 in descending order.
0.5, 1/4, c
Let h = -0.031 - -2.031. Suppose n = -i + 3*n, 4*n = i. Sort i, -5, h.
-5, i, h
Let f = -17 + 19. Let j = -5 + f. Let l = -1 - -2. Sort j, l, -0.3 in descending order.
l, -0.3, j
Suppose -4*s + 14 - 2 = 0. Suppose -4*z + 2 = -s*z. Suppose z*m - 4*m = -2. Put m, -1, 4 in increasing order.
-1, m, 4
Suppose 19 = 4*x - 5. Sort 10, x, 1.
1, x, 10
Suppose -y - 3 = b, -3*b + 3*y + 7 = -5*b. Put 4, -1, b in increasing order.
b, -1, 4
Let d(s) = s**2 - 7*s + 2. Let l be d(6). Let i be l/(-12)*6/10. Sort -2, i, -4.
-4, -2, i
Let l = 24 + -25. Sort l, 2, 13, -2 in ascending order.
-2, l, 2, 13
Let x = -3 - -2. Let g be ((-2)/4)/(186/124). Put 5/3, g, x in descending order.
5/3, g, x
Suppose 4*m - 80 = -0*m. Suppose -m = -0*p + 4*p. Sort 0, 1, p.
p, 0, 1
Let x = 0.8 - -7.2. Let w = x + -11. Sort w, 4, 0.2 in descending order.
4, 0.2, w
Let c = 317/8 + -40. Let p = -24 + 27. Put p, -1, c in descending order.
p, c, -1
Let s = 4 - -1. Put -1, 1, s in descending order.
s, 1, -1
Let w(u) = u**3 - 12*u**2 + u - 15. Let k be w(12). Sort k, -1, -4 in decreasing order.
-1, k, -4
Suppose -16 = -7*o + 3*o. Sort 0, o, 5 in decreasing order.
5, o, 0
Suppose 5*w - 3*p - 12 = 11, -2*p + 18 = 5*w. Put -2/5, -0.5, w in descending order.
w, -2/5, -0.5
Let g = -10 + 15. Let o = -38/141 - 3/47. Sort g, -1/5, o in increasing order.
o, -1/5, g
Suppose 5 = -3*d - d + q, 2*d - 2*q = -4. Suppose 0 = -4*s + 5*s + 3*p - 14, 0 = -3*p + 9. Put d, -5, s in increasing order.
-5, d, s
Let b = -2 + 2. Let n = -4.92 - 0.08. Sort n, b, -1/2 in decreasing order.
b, -1/2, n
Let z = 0.012 - 4.612. Let j = z - -5. Sort -4, j, 3 in ascending order.
-4, j, 3
Suppose 13*x - 6*x = 0. Put -2, x, 5 in decreasing order.
5, x, -2
Let w be ((-1)/(-3))/(4/156). Suppose -4*q + 3 + w = 4*r, -5*q + 3*r = -4. Suppose 5*c - 9 = 16. Put q, -3, c in increasing order.
-3, q, c
Let l(h) = -h**2 + 3*h + 1. Let a be l(3). Put 0, a, 5 in descending order.
5, a, 0
Let r = 21.6 + -22. Sort -3, 0.01, r in descending order.
0.01, r, -3
Suppose 0 = 3*v - 5*f + f - 4, 2*v - 1 = 3*f. Suppose -2*w + 12 = w. Put v, 2, w in decreasing order.
v, w, 2
Let f = -10 + 1. Let x = 6 + f. Let v(w) = w**3 - 6*w**2 + 5*w + 4. Let o be v(5). Sort x, 0.2, o.
x, 0.2, o
Let f be (1 + -4)*(-8)/(-84). Suppose 0 = -2*q + 6*q - 12. Sort 4, q, f in decreasing order.
4, q, f
Suppose 4*b + 1 - 9 = 0. Suppose -b*x = -7 + 5. Sort -1, x, -3 in ascending order.
-3, -1, x
Let c(b) = -b**2 - 7*b - 5. Let d be c(-6). Let u be -2 + (d - (-18)/22). Let a = -45 + 40. Put 0.3, a, u in decreasing order.
0.3, u, a
Suppose 11*v - 5 - 6 = 0. Sort -3, 5, v in ascending order.
-3, v, 5
Let h = 11 + -9. Let x = -2.5 + h. Put 0.1, -1, x in descending order.
0.1, x, -1
Let x = -25 + 26. Put 3, -0.4, x in decreasing order.
3, x, -0.4
Let o = -26 - -53/2. Suppose 2*d + 3*j - 7 = 0, d - 4*j = -5 - 8. Sort 0, d, o.
d, 0, o
Let h(j) = -j**2 + 11*j - 32. Let d be h(4). Put -1, 1/16, d in descending order.
1/16, -1, d
Let n(f) = -f**2 + f + 1. Let y(r) be the second derivative of r**3/6 + 3*r**2 + r. Let x be y(-4). Let z be n(x). Put z, 0, 4 in increasing order.
z, 0, 4
Suppose -3*u + 6 = -u. Suppose -7 = r - u. Put r, -3, -2 in increasing order.
r, -3, -2
Let p = 59 + -533/9. Let v(u) = u**2 - 9*u + 6. Let l be v(8). Let z = l - -7. Sort p, z, 0 in descending order.
z, 0, p
Let k be 3*(0 + (-4)/(-3)). Let g(t) = -4*t**2 - t. Let n be g(-1). Put 3, k, n in increasing order.
n, 3, k
Suppose -7*n + 12 = -4*n. Suppose 20*j - 22*j = 10. Put -4, n, j in descending order.
n, -4, j
Let f be 8/5*1/(-12). Let w = f - -4/5. Put w, 2, 0.3 in decreasing order.
2, w, 0.3
Let v be (3 + 99/(-15))*-60. Let r = v - 3670/17. Sort r, 2/5, -5 in decreasing order.
2/5, r, -5
Let l be 763/(-2)*4/34. Let p = 45 + l. Let b = 9 - 13. Sort 0, p, b in ascending order.
b, 0, p
Let f = -39 - -34. Sort -1/5, 1, f in decreasing order.
1, -1/5, f
Let x = -12.4 - -13. Let q = -1 + x. Sort -2, q, 3 in descending order.
3, q, -2
Let x = -45 + 24. Let t = x + 23. Let g be 5/(-3) - (-2)/1. Sort g, t, 5 in increasing order.
g, t, 5
Let z(k) = 4*k + 28. Let d be z(-8). Put d, 0, 7, 3 in ascending order.
d, 0, 3, 7
Suppose 12 = 4*j + 2*p - 14, j + p = 4. Let d = 4 - j. Put d, 5, 4 in decreasing order.
5, 4, d
Suppose 0 = 4*x - 5*w + 6, x - 3*w = 5*x - 10. Let z be (1/(-6))/(x - 0). Let q be (-2)/18*3/1*-2. Sort z, q, 1/5 in decreasing order.
q, 1/5, z
Let p be (-275)/77 - (-3)/(-7). Sort -1, p, 0 in decreasing order.
0, -1, p
Let z = 8 - 5. Suppose 2 - 10 = -4*s. Suppose 8 - s = -2*h. Put h, z, 5 in ascending order.
h, z, 5
Let p be (-227)/(-4) + -1 + -1. Let u = p + -55. Suppose 4*b - 3 - 1 = 0. Sort -0.5, u, b in decreasing order.
b, u, -0.5
Let c(g) = -6*g + 1. Let z be c(1). Put z, -2, 1 in ascending order.
z, -2, 1
Let g be 1/(-5) - (-56)/(-80)*-6. Sort g, 3, -2 in ascending order.
-2, 3, g
Let z be -2 + -6*(-2)/6. Put 4, -4, z in decreasing order.
4, z, -4
Let p = 11/36 + -79/180. Put 0.03, p, -5 in descending order.
0.03, p, -5
Let x = 12 + -32. Let m be 4/(-10) + (-3)/x. Let n(b) = b**3 - 7*b**2 + 6*b - 4. Let s be n(6). Sort m, s, -5 in increasing order.
-5, s, m
Suppose m - 2*m + 4 = 0. Let z = -6 + 6. Suppose z = 2*c + c + 3*x - 3, -4 = 5*c - 4*x. Put c, m, -0.3 in increasing order.
-0.3, c, m
Let w be (-6)/24 + (-34)/56. Sort -3/8, 5/4, w in increasing order.
w, -3/8, 5/4
Suppose -y + 6*r = r + 24, 5*r - 8 = -3*y. Put y, 0.1, -3 in descending order.
0.1, -3, y
Let i = -0.3 + 0.1. Let w = 1.2 + 2.8. Put w, -1/7, i in descending order.
w, -1/7, i
Let r(p) = p - 7. Let o be r(10). Let z(v) = -v**2 + 5*v + 1. Let k be z(6). Let t = -1 + -3. Put k, t, o in decreasing order.
o, t, k
Let u be 3/(-285)*-294 - 3. Let r = u - -2/19. Put r, -1/4, -3 in decreasing order.
r, -1/4, -3
Suppose q + 3 = -3*k, -8*q - 4*k - 48 = -3*q. Let u be (-1)/(1 - (-8)/q). Sort -8, u, -2 in ascending order.
-8, u, -2
Suppose -n + 2 + 3 = 0. Suppose -10 = -q - q, 25 = -n*s + 4*q. Put s, -4, 3 in ascending order.
-4, s, 3
Let y = 3.4 - 3.1. Sort 1/2, y, -0.03, 0.4.
-0.03, y, 0.4, 1/2
Let m be 864/112 + (-2)/(-7). Let o = m + -3. Put o, 1, -8 in decreasing order.
o, 1, -8
Suppose -3*p + 7 = 1. Sort 4, p, 18.
p, 4, 18
Suppose 0 = -2*c + 5*h - 11, 4*h - 8 = -4. Let g = 10 - 4. Let n be 6/(-5)*c/g. Sort -1/3, 1, n.
-1/3, n, 1
Suppose 5 + 3 = -4*j. Let f be 2/(-11) + j/110. Let h = -0.7 + -0.3. Put -1/2, h, f in ascending order.
h, -1/2, f
Suppose -3*g = -8*g + 20. Suppose g*v - 5 = 3. Let u be 1/(-2) + 1/2. Put v, -1, u in decreasing order.
v, u, -1
Let y = 7 - 6.7. Let t = 891/7718 - -1/454. Sort t, y, 4 in ascending order.
t, y, 4
Suppose 5*d + 5*c + 10 = 0, 2*d - 5*c = -1 - 10. Let w(q) = -3 - 2*q - q**2 + 2 + 4. Let t be w(2). Put 5, t, d in descending order.
5, d, t
Let l