= -51 - z. Sort q, -0.4, h in decreasing order.
h, q, -0.4
Suppose 3*r + 4*s + 4 = 0, 10 = -5*r + 2*s - 7*s. Put r, 3, 14 in increasing order.
r, 3, 14
Let o(r) = -438*r**2 + 4*r + 6. Let y be o(-6). Let h be (y/132)/((-1)/(-2)). Let v = -239 - h. Sort -1, v, 3/5.
-1, v, 3/5
Let j = 11 + -6. Let v = 2.3 - -0.7. Let q = j - v. Put -0.2, q, -0.4 in decreasing order.
q, -0.2, -0.4
Let w = -0.05 + 0.45. Put 4, w, 3 in descending order.
4, 3, w
Let c = 9 + -7. Sort 0.01, -0.2, c in descending order.
c, 0.01, -0.2
Let t(k) = -k**3 - 9*k**2 - k - 5. Let n be t(-9). Suppose 3*y + 5*l + 13 = -0, -31 = -n*y + 3*l. Sort -2, y, -5 in ascending order.
-5, -2, y
Let l be (-27)/126*4/3. Sort 0.5, 3/11, 2, l in descending order.
2, 0.5, 3/11, l
Let o = 3 + 5.7. Let p = o - 9. Sort 3, p, 1/7.
p, 1/7, 3
Let b = -1.95 - 0.05. Let n = 23 - 15.7. Let z = 7 - n. Put z, 0, b in increasing order.
b, z, 0
Suppose 2*l + m - 5 = -0*m, -3*m = 3. Put 1, 2, -5, l in descending order.
l, 2, 1, -5
Let i(u) = 3*u + 45. Let k be i(-16). Put -2, 0, k in ascending order.
k, -2, 0
Let i = -7367 + 206347/28. Let n = 9/4 - i. Let s = 5.3 + -5. Put s, n, 2 in increasing order.
n, s, 2
Let y be 0*(-3 - (-21)/6). Suppose -w - 4*w + 15 = y. Let n = -2 - -4. Sort -4, w, n in descending order.
w, n, -4
Suppose -3*f + 4*i = 6, -3*f - 4*i - 11 = -29. Let p be 26/(-10) - (-2)/(-5). Sort p, f, 3 in decreasing order.
3, f, p
Let u(b) = b**2 - 2*b - 4. Let p be u(-4). Let g(y) = -y + 12. Let s be g(4). Suppose s*r = 3*r - p. Put r, -2, 5 in ascending order.
r, -2, 5
Suppose -5 - 155 = -5*v. Put v, 1/3, 0.1 in increasing order.
0.1, 1/3, v
Let v = 46 + -52. Let j = -5 - -3. Sort v, 0, j.
v, j, 0
Let m be (-1)/(-12) - (-2)/(-8). Let u = -6 + 5.3. Let i = u + 0.4. Sort i, m, 0 in descending order.
0, m, i
Let v(r) = -2*r**2 - 71*r - 30. Let p be v(-35). Let n(f) = -2*f**2 - 3*f + 2. Let m be n(-3). Sort p, m, 1 in descending order.
p, 1, m
Let b = 779 + -2230/3. Let d = b - 36. Sort -5/4, 3, d.
-5/4, d, 3
Suppose 2*u = 7*u. Suppose 4*d = 5*o - 3, 4*o = -5*d - u*o + 27. Sort d, 2/11, -0.5.
-0.5, 2/11, d
Let p(w) = -w - 4. Let k be p(-9). Suppose -2*r = b - k, 5*b + 35 = 2*r + 3*r. Let m be 2*2/4*-2. Put b, m, -4 in increasing order.
-4, b, m
Suppose 86 = -0*b + 2*b - i, -8 = 4*i. Suppose 0 = -3*h + 12 + b. Suppose 0 = -2*d + 4*a + h, 20 = 6*d - 2*d - 4*a. Sort 3, d, -4.
-4, d, 3
Let s be (-1)/5 - 3292/(-10). Let d = -14617762/21 - -695755. Let q = d + s. Sort q, 0, -0.2.
-0.2, 0, q
Let w(a) = a**3 - 4*a**2 - 5*a - 3. Let r be w(5). Let i = -4.8 + 4. Let v = i + 0.5. Put 3/5, r, v in ascending order.
r, v, 3/5
Suppose -f = 4*b - 6, -3*f + 3*b - 2 = -5. Sort f, -2, 4, -3 in ascending order.
-3, -2, f, 4
Let f = 103 - 108. Sort f, -4, -2, 7 in ascending order.
f, -4, -2, 7
Let w = 1 + -4. Sort w, 13, -1.
w, -1, 13
Let b be 10*(-5)/((-100)/8). Put -1, -5, 0, b in descending order.
b, 0, -1, -5
Let m = -3.7 + 3.17. Let j = m + 0.03. Put j, -0.3, 2 in decreasing order.
2, -0.3, j
Suppose -15*n = -11*n - 104. Suppose -6 = -4*q - n. Put 5, q, -3 in decreasing order.
5, -3, q
Suppose -2*z = -7*z + 10. Sort -4, -7, z.
-7, -4, z
Suppose -12 = -4*w - 2*p, -2*p = -5*w + 7 - 1. Let c be (-2 - 0)*(-3)/(-2). Suppose q = -q + 6, 5*m + 3*q = 14. Put c, w, m in decreasing order.
w, m, c
Suppose -3*v = 4*a + 11, 3*v + 0*a = -a - 14. Let l = -4 - -8. Let i = 7 - l. Sort 0, v, i in decreasing order.
i, 0, v
Let n = -11.2 + 11. Sort -15, 2/3, n in decreasing order.
2/3, n, -15
Suppose 4 = -5*x + 2*x + y, -40 = 5*x + 5*y. Let f = 3 + -5. Sort 5, x, f in increasing order.
x, f, 5
Let n be 4*(-1)/(-2 - 0). Put 15, -1, n, -5 in descending order.
15, n, -1, -5
Suppose 4 + 1 = 5*t. Let p be -2 - (-3*4)/(-4). Suppose -s = -2*n - 3, 0*s - n - 3 = s. Put s, p, t in ascending order.
p, s, t
Suppose -3*g + 37 = -110. Let t = 340/7 - g. Sort 0.1, t, 2 in increasing order.
t, 0.1, 2
Let j = -81 - -62. Sort -4, j, -3 in ascending order.
j, -4, -3
Suppose 4*g - 2 + 2 = 0. Sort 3, 2, g, 5.
g, 2, 3, 5
Suppose 3*q + 2*q - a - 15 = 0, -2*q + 9 = -a. Let h be ((-66)/(-9) + -7)*12. Put 0, h, q in descending order.
h, q, 0
Suppose h - 4 = -5*a + 2*a, 0 = 4*a. Put 5, 2, h in decreasing order.
5, h, 2
Suppose 1 + 11 = 4*f. Put 1, -4, f in decreasing order.
f, 1, -4
Let c be 34/(-9) + (-2)/9. Let o(x) = 2*x + 1. Let y be o(-1). Sort 4, c, y.
c, y, 4
Suppose -4*m - m = -j - 24, 0 = -2*j - 2*m + 12. Sort 2, j, 3 in decreasing order.
3, 2, j
Let i = 3 + -1. Suppose -2*m + 12 = -m. Suppose -m = -2*t - t. Sort t, i, -1 in descending order.
t, i, -1
Let u = 16 - 65/4. Put -0.1, u, -6, 1/8 in descending order.
1/8, -0.1, u, -6
Let u = 11 + -16. Sort 5, 4, u, -2.
u, -2, 4, 5
Let u = 122 - 124.96. Let v = -0.04 + u. Let b(g) = -6*g**3 - 2*g**2 - g. Let o be b(-1). Sort -0.4, v, o in decreasing order.
o, -0.4, v
Let g be 2/(6/(-9)) + 478. Let n be (20/g)/(2/5). Sort n, -0.4, -4 in descending order.
n, -0.4, -4
Let s(d) = d**2 - 2*d - 3. Let f be s(4). Let w(r) = 0*r - r**2 - 3*r + 8*r - 5. Let v be w(f). Put v, 3, 0 in decreasing order.
3, 0, v
Let v be (-5)/(-3) - 8/12. Suppose -5*f - 15 + 5 = 0. Sort f, -1, v in decreasing order.
v, -1, f
Let g be (-21)/14 - 14/(-4). Sort -5, g, 1.
-5, 1, g
Let p(k) = k**3 + 6*k**2 + 3*k - 4. Let q be p(-5). Let c be ((-2)/12)/(q/8). Let z = 42/185 - 1/37. Sort c, z, 0.1 in ascending order.
c, 0.1, z
Suppose -3*j = -3*q - 6, q = 3*j - 2 - 0. Let d be (-2)/5 + 4/10. Sort -1, d, q.
q, -1, d
Let z(l) = -l**2 + 3*l + 5. Let j be z(5). Let w be ((-10)/1)/(-3 - -1). Let q = j + w. Sort q, 4, 2 in decreasing order.
4, 2, q
Let z = -20 + 31. Let r be 68/(-10) + 5/(-25). Let o = z + r. Sort -3, o, 2.
-3, 2, o
Let b = 1.009 + -0.009. Let j = -8 + 54/7. Sort j, b, -1 in decreasing order.
b, j, -1
Suppose -3*i + 6*i = 0. Suppose -2 = 3*n + 13. Let v = 37 - 299/8. Sort n, i, v in increasing order.
n, v, i
Suppose 5*t = 5*r + 4*t - 14, r - t - 6 = 0. Sort 3, r, 4.
r, 3, 4
Suppose 0 = g + l, 0*g - g + 15 = -2*l. Suppose 10 = -0*f - 2*f - 3*a, -3*f + g*a = -23. Let p be 2/6 - (-28)/6. Sort f, p, -2 in ascending order.
-2, f, p
Let a = 0.99 - -0.11. Let v = 1 - a. Let p = v + -0.3. Sort p, -2/3, 3.
-2/3, p, 3
Suppose -l - b = 0, -7*l + 3*l - 3*b = 0. Let z(y) = -y + 4. Let c be z(10). Sort 0.5, l, c in decreasing order.
0.5, l, c
Suppose -24 = 8*d - 2*d. Put 2/13, 2/5, -2, d in decreasing order.
2/5, 2/13, -2, d
Suppose -4*n + 41 = -6*x + 3*x, -40 = -4*n + 4*x. Let c = n + -15. Sort 0, c, -3.
c, -3, 0
Let f be (3/3)/(1/5). Sort 2, f, 0, -4 in ascending order.
-4, 0, 2, f
Let i be (-3 - -8)*(0 - 11). Let g = 113/2 + i. Put g, 1/4, 2/5 in increasing order.
1/4, 2/5, g
Suppose 4*d - 6*d = -t - 23, -107 = 5*t - 2*d. Put 0.4, t, -0.5 in ascending order.
t, -0.5, 0.4
Let w(t) = -2*t**3 - t**2 + 2*t + 3. Let v be w(-2). Let s = v + -15. Sort s, 3, 0.
s, 0, 3
Let d = 12 + -8. Let v = 3.4 + -1.4. Put -0.2, d, v in ascending order.
-0.2, v, d
Let u = -5 + 5.88. Let q = u - -0.12. Put 2/3, q, -0.4 in decreasing order.
q, 2/3, -0.4
Let i = 22 - 104/5. Put 0.2, 4, i in increasing order.
0.2, i, 4
Let y be (1 + 0/(-2))/(1/(-7)). Suppose 0 = 3*q - 5*w + 14, 6 = -3*q - 3*w. Put y, -5, q in increasing order.
y, -5, q
Let a = -71 + 70.6. Put 3, 5, a, 2 in decreasing order.
5, 3, 2, a
Let l = -0.22 + 4.27. Let y = l + -0.05. Let a = 4.3 - y. Sort -4, 0.5, a in ascending order.
-4, a, 0.5
Let y = 2 - 1. Suppose 3*h = 4*k - 6, -4*h - 5 = 3. Put k, 5, y in increasing order.
k, y, 5
Let j = -59 - -64. Sort -3, 0, j.
-3, 0, j
Suppose -5*g + 10*q + 45 = 5*q, -38 = -5*g - 2*q. Let h = g - 9. Put 0, h, -6/11 in decreasing order.
0, -6/11, h
Suppose -5*t - 2*j + 5 = 25, 5*t = -4*j - 30. Suppose -3*r + 10 = -2. Suppose r*h + 0 = -4. Put 2/3, h, t in descending order.
2/3, h, t
Let s = -1 + 1. Let c = -0.6 - -5.6. Let o = c + -4.9. Sort s, o, 1/5 in increasing order.
s, o, 1/5
Suppose j = -4*j. Let h = 101 - 97. Put -3, h, j in descending order.
h, j, -3
Let o = -1.07 + -0.13. Let d = o + 0.7. Sort d, 3, 0.
d, 0, 3
Let a(g) = g**2 - 5*g + 1. Let b be a(1). Let s(u) = u + 2. Let p be s(3). Sort p, b, 4 in descending order.
p, 4, b
Suppose 3*g + 6 = 0, 3*g = -d + 2*d - 8. Suppose -1 - 1 = d*u. Sort u, 4, -4 in descending order.
4, u, -4
Let j be (-3)/(-4)*(-5 + 