 decreasing order.
f, 2, -3
Let m be 19/7 - 12/(-42). Put 2/5, m, 4/11 in decreasing order.
m, 2/5, 4/11
Let g be 2/((-20)/(-8) - 3). Let w(f) = f**2 - 3*f + 1. Let o be w(4). Sort o, g, 2 in decreasing order.
o, 2, g
Suppose 5*y - 2*y = 0. Sort 4, -2, y in decreasing order.
4, y, -2
Let b be 2/(-3)*(-2)/(-4). Sort b, -1/7, 2 in increasing order.
b, -1/7, 2
Let x(w) = 50*w + 3. Let p be x(-3). Let d = -1325/9 - p. Put -2, d, -4 in descending order.
d, -2, -4
Let y = -481/24 + 121/6. Let t = -1.1 - -5.1. Sort y, -1, t in descending order.
t, y, -1
Let o = -1 + -2. Let h = -10 - -16. Let n be (-75)/h*2/10. Sort 0.3, o, n in increasing order.
o, n, 0.3
Let w = -64/85 - -6/17. Put 0.3, w, -1/5, 2 in ascending order.
w, -1/5, 0.3, 2
Let c(f) = -f**2 + 8*f + 34. Let y be c(11). Sort 4, -7, y in descending order.
4, y, -7
Let z = 0.1 - 0.3. Suppose -2*o = 4*d - 4, -4 = 5*o + 2*d - 6*d. Sort z, o, -0.4 in descending order.
o, z, -0.4
Let h = -0.1 - -0.5. Let x = 145 + -146. Sort x, -2/3, h in increasing order.
x, -2/3, h
Let b = -3.6 - -4.1. Put b, 7, -3, 3 in ascending order.
-3, b, 3, 7
Let b = 49 - 42. Put -1, -3, b in ascending order.
-3, -1, b
Let u(a) = 2*a - 15. Let r be u(7). Sort r, 13, 1.
r, 1, 13
Let p(l) = l**3 + 10*l**2 + l + 13. Let i be p(-10). Suppose i*f + f - 4*w - 24 = 0, 4*f - w - 9 = 0. Let z = 2 + -1.8. Put 0.5, f, z in ascending order.
z, 0.5, f
Let s = -1.81 - 0.19. Put 13, s, -3 in decreasing order.
13, s, -3
Let w = 16 - 11. Sort w, -0.4, 0.2 in descending order.
w, 0.2, -0.4
Suppose -7*h + 3 = -6*h. Suppose 2 = -0*y - y. Put y, -1, h in decreasing order.
h, -1, y
Let k = 0 - 0. Let o = 265 + -261. Let b be ((-1)/(-2))/((-2)/4). Sort k, b, o.
b, k, o
Let n(q) = -q**3 - 9*q**2 - 6*q + 13. Let u be n(-8). Sort 0, 5, u in ascending order.
u, 0, 5
Suppose 2*c + 5*u = 1 - 19, 5*c - 2*u = -16. Sort 1, -14, 3, c in increasing order.
-14, c, 1, 3
Suppose 1 = -2*p - v, -4*v + 3 = 2*p + 19. Suppose p*j = -5*h + 31, -4*h + 2*j = -2*j - 8. Suppose 0*c - 4 = -2*c. Put h, 4, c in ascending order.
c, 4, h
Let q = -7 + 5. Sort -0.03, 0, q in decreasing order.
0, -0.03, q
Suppose s + 2*w - 4 = 0, -5*s + w + 4*w + 5 = 0. Let m be (3/6)/((-3)/30). Sort s, m, 1.
m, 1, s
Let d = 0.062 - -0.238. Put -3/5, d, 1, -4 in ascending order.
-4, -3/5, d, 1
Let d be (-5)/(15/6) + 4. Suppose -2*p = d*p + 956. Let w = 2149/9 + p. Sort 4, w, -5 in ascending order.
-5, w, 4
Let u(d) = d**2 + 3*d. Let m be u(-3). Sort -1, 5, -4, m.
-4, -1, m, 5
Let l(m) = m**2 + 2*m - 2. Let a be l(-3). Suppose 4*d = -0*d. Suppose d*g - g - 4 = 0. Sort g, 0, a in increasing order.
g, 0, a
Let q be (-4 - (-27)/4) + (-1)/(-4). Sort -1, 8, q in increasing order.
-1, q, 8
Let i = -1.7 + 3.7. Put -14, -4, i in descending order.
i, -4, -14
Let v = 2749/9 + -305. Put 2, -2, v in decreasing order.
2, v, -2
Let c = 3 + 1. Let r = 0.2 + -8.5. Let j = 8 + r. Sort j, 0.4, c in ascending order.
j, 0.4, c
Suppose 3*r = 5*d - 32, 0*r - 2*r = 2*d. Suppose 0 = 5*q + d + 6. Sort 4, 1, q.
q, 1, 4
Suppose 2*c = -0*c + 16. Let f be 4/(-6) + c/(-6). Sort 0.4, f, 5 in ascending order.
f, 0.4, 5
Suppose 5*h - 9 = 16. Let c be 1/(3 + 28/(-8)). Sort c, 1, h in decreasing order.
h, 1, c
Let p = -4 + 7. Let m = p + -3.2. Sort m, -3, 0 in descending order.
0, m, -3
Let g = -1.4 + 1.2. Put 1, -15/4, 0, g in increasing order.
-15/4, g, 0, 1
Let q = -5.75 - -0.35. Let a = 5 + q. Sort a, -0.5, 3/4 in decreasing order.
3/4, a, -0.5
Suppose 7*o = 13*o + 30. Put 3, -2, o in increasing order.
o, -2, 3
Let l = -2.974 - 0.026. Put 1/4, -0.01, l in decreasing order.
1/4, -0.01, l
Let q = -2.846 + -0.154. Let b be 3*1*2/(-7). Sort q, -0.2, b.
q, b, -0.2
Let j = -3 + 6. Let d = -1 + j. Let f = -1.3 + 6.3. Put 4, d, f in decreasing order.
f, 4, d
Let y = -6 + 4. Let r(c) = -c**2 - 2*c + 1. Let a be r(y). Sort -3, a, 0 in decreasing order.
a, 0, -3
Let f = 0.01 - -0.29. Let b = f - 0. Let y = -23 - -91/4. Sort y, 4, b in decreasing order.
4, b, y
Let w be ((-3)/(-6))/((-10)/(-4)). Let p = 1.4 - 1.5. Put p, -0.3, w in descending order.
w, p, -0.3
Let m = 22 - 24. Sort -3, m, -5 in decreasing order.
m, -3, -5
Let b(n) = n**2 + 3*n. Let k be b(-3). Suppose k = -a + 5. Put -5, -2, a in descending order.
a, -2, -5
Let g be 30/(6 + -3) + -3. Suppose -2*n - g + 23 = -4*r, -4*r - n = 4. Put -5, r, -1/5 in descending order.
-1/5, r, -5
Let b = -8 + 9. Put b, 3, 2 in descending order.
3, 2, b
Let x(v) = 3*v + 8. Let k(i) = -7*i - 17. Let w(f) = -4*k(f) - 9*x(f). Let c be w(13). Sort c, -1, 1.
-1, 1, c
Let p = -7.5 - -8.5. Put 4, 0.35, p in decreasing order.
4, p, 0.35
Let s(t) = t**2 + 3*t - 7. Let g be s(-5). Suppose 6 = -3*k, m + 4 = 3*m - 3*k. Let b be 0/(-2 + (m - -1)). Sort b, 4, g in decreasing order.
4, g, b
Let m = 7 - 1. Sort -1, m, -3 in decreasing order.
m, -1, -3
Let p = 1031/9 - 115. Sort p, 2, 5.
p, 2, 5
Suppose 9*i - 4*i + 10 = 0. Sort -11, 4, i.
-11, i, 4
Let w = 42 + -40.8. Sort w, -1/2, 1/4 in descending order.
w, 1/4, -1/2
Let z be 4 + (-1)/(3/6). Suppose -z*h + 8 = 3*w, -5*h = 3*w - 5*w - 20. Put -1, h, -5 in decreasing order.
h, -1, -5
Let q = 0.16 - -8.84. Let c = q - 9.4. Sort 0.2, c, -0.04 in descending order.
0.2, -0.04, c
Let n = 19.32 + -0.32. Let w = -19.4 + n. Sort 3/8, w, -1/5 in descending order.
3/8, -1/5, w
Let m be -3 - (-1*10 - -3). Suppose -m*b - 16 = 2*c - 0*c, 8 = -4*c + 4*b. Sort -3/8, -0.3, c in descending order.
-0.3, -3/8, c
Let k = -0.13 - 4.87. Let y = 0.1 - -0.9. Sort k, -4, y in descending order.
y, -4, k
Let x(u) = 9*u - 145. Let o be x(16). Suppose -3*i + 2 = -7. Put i, 2, o in decreasing order.
i, 2, o
Suppose 4*v + 5*w = -18, -v - 6*w + w = 12. Let r be (-9)/4 - (-3 - v). Let q be 124/(-44) - -3 - 0. Sort q, r, -0.4 in ascending order.
r, -0.4, q
Let u = 68 - 208/3. Put 1/2, -0.1, u in descending order.
1/2, -0.1, u
Let m(q) = q**3 + 4*q**2 - 4*q - 1. Let f = 8 + -13. Let y be m(f). Sort 5, y, 4 in decreasing order.
5, 4, y
Let h(v) = -v**2 - 2*v + 5. Let t(p) = 3*p**2 - 1. Let x be t(1). Suppose 3*c = -x*c - 20. Let k be h(c). Sort k, -1, 1 in ascending order.
k, -1, 1
Let q(g) = g**2 - 4*g - 1. Let u be q(5). Let z = 1 - 2. Sort 3, u, z in ascending order.
z, 3, u
Suppose 0*i - i + c - 4 = 0, -4*i + c - 10 = 0. Sort -3, -4, i in descending order.
i, -3, -4
Let a = -120 + 123. Sort -3/7, -3, a, 3/4 in increasing order.
-3, -3/7, 3/4, a
Let b(u) = -u**2 + 10*u + 2. Let w be b(10). Let m = -0.05 - -0.25. Put m, -0.4, w in decreasing order.
w, m, -0.4
Suppose -2*u = -4*l - 4, 2*l - 5*u + 3 = 1. Sort 0, 4, l.
l, 0, 4
Let a = 0 - -3. Suppose a*x - 12 = 0, x - 40 = -8*j + 4*j. Suppose -3*p = -2*m - 12 - j, -10 = -5*m - 5*p. Sort m, -4, -2 in descending order.
-2, m, -4
Let j(q) = q**3 - q**2 - 2*q + 1. Let o be j(0). Put -17, 2, o, -1 in decreasing order.
2, o, -1, -17
Suppose 0 = -3*s + 3*p - 9, -s = 4*p - p - 1. Let y be 4/(-10) - s/5. Let m be -3 + (-2)/(y - 2). Put 2/9, m, 0.5 in descending order.
0.5, 2/9, m
Suppose 4*t = c - 7, 13 = 3*c - 4*t - 0*t. Put -2, c, 0 in decreasing order.
c, 0, -2
Let g(t) = t**3 - 10*t**2 - 11*t - 8. Let z be g(11). Let i(r) = -2*r + 1 + r**2 + 10*r - 5. Let u be i(z). Sort 1, 0, u.
u, 0, 1
Let q = -19 + 21. Sort q, 1, 5 in decreasing order.
5, q, 1
Let f be 1*(2 - (4 + -2)). Suppose -2*a + 12 + 2 = 0. Suppose 5*p + 19 = m, 3*m + f*p = -p - a. Put 3, m, 2 in decreasing order.
3, 2, m
Let j = 2.4 + -2. Let i(g) = g**3 - 2*g - 1. Let t be i(2). Let f = 8 - t. Put f, -0.2, j in increasing order.
-0.2, j, f
Suppose 16*u = 14*u - 2. Let f = -2 + 2.2. Put -0.5, f, u in descending order.
f, -0.5, u
Let c = 2 - 2. Suppose 5*r + 2*z + 2 = 0, 5*z + 1 = 5*r - 4. Suppose -3*n - 5*x - 18 = r, n + 3*x + 11 = -n. Put c, n, -3 in decreasing order.
c, n, -3
Let c(q) = -q**2 - 4*q. Suppose 2 = 4*z + 18. Let r be c(z). Sort 2, r, -1.
-1, r, 2
Let i = -33/4 - -8. Put 0.2, 1, i in ascending order.
i, 0.2, 1
Suppose -3 = -2*y + 1. Let q(s) be the second derivative of -s**4/12 + 5*s**3/3 - 6*s**2 - 2*s. Let r be q(8). Sort y, r, 0.
0, y, r
Let g = -22 - -23. Put g, 3, 10, 5 in decreasing order.
10, 5, 3, g
Let a be (-5)/6*3/15. Let m be (-1)/(-6)*16/12. Let o = 1 + -3. Put m, a, o in descending order.
m, a, o
Suppose -2*r = -5*w + w - 8, 3*w + 3 = 0. Suppose -3*q - r*q 