 = 0. Sort f, v, -7 in descending order.
f, v, -7
Let f = -897 - -892. Suppose -2*q - 4 + 2 = 0. Let j = q - 0. Put 3, f, j in decreasing order.
3, j, f
Let t = 484/7 + -69. Let v = 10 + -66/7. Let i(m) = -m - 4. Let f be i(-4). Put t, v, f in decreasing order.
v, t, f
Let o = -4 - -4. Suppose 3*l + o + 3 = 0. Put 3, 4, -8, l in decreasing order.
4, 3, l, -8
Let j = 72 - 57. Let a = -23 + j. Sort 2, 4, a, -1 in increasing order.
a, -1, 2, 4
Let x be ((-10)/3)/(6/(-9)). Put 17, x, -1/4 in decreasing order.
17, x, -1/4
Let y = 77.527 - -0.473. Put 2, y, 5, 0.2 in descending order.
y, 5, 2, 0.2
Let p = -259 + 254. Sort 20, p, 3.
p, 3, 20
Let f = 2 + -1. Suppose -5*w - 2 = -6*w. Suppose -5*c - 6 = -w*c. Sort -3, f, c.
-3, c, f
Let t = -4.0189 + 0.0189. Put t, -5, -19, -0.5 in decreasing order.
-0.5, t, -5, -19
Let g = 1691 + -1690.5. Put 0.08, -1/6, g, -25 in increasing order.
-25, -1/6, 0.08, g
Let j(y) be the second derivative of -y**3/6 - 9*y**2 - 4*y. Let a be j(-13). Put -3, -14, a in increasing order.
-14, a, -3
Suppose 15 = -3*o - 9*z + 6*z, -15 = -5*z. Sort 1, 2, o.
o, 1, 2
Suppose 4*o + 5*z = 37, -2*z = -z - 5. Put -16, o, 3/7 in descending order.
o, 3/7, -16
Let u = -374 + 390. Put u, -2, 3 in decreasing order.
u, 3, -2
Let q = -72 - -68. Sort 5, q, 6.
q, 5, 6
Suppose -2*t = -0*t - 2*x - 4, -t + 5*x = -10. Let l be 23/23*(0 - t). Sort 5, -4, l.
-4, l, 5
Let l = -0.248 + 2.248. Put l, 0, -3 in increasing order.
-3, 0, l
Let u be (-3)/((12/26)/(-2)). Suppose m + u = 10. Sort -5, m, -1, 4 in ascending order.
-5, m, -1, 4
Suppose 27*r - 10 = 25*r. Put -2, 2, 3, r in descending order.
r, 3, 2, -2
Let a = 35.4 + -35. Suppose 5*f = -5*d + 20, 0 = d - f - 6. Suppose 0 = -2*m, 0 = 2*k + d*m - 0*m - 4. Sort a, 5, k in descending order.
5, k, a
Let k = -4.7 - -4.4. Let s = 6.28 - 6. Let v = s + 0.02. Sort v, 1/5, k in ascending order.
k, 1/5, v
Let i be (-2)/(-4) - 3/14. Let j = 3036 - 3041. Sort j, i, -1/3, -0.3.
j, -1/3, -0.3, i
Let r = -16.7 - -19. Let g = r + -1.2. Put 4, -2, g in increasing order.
-2, g, 4
Suppose -4*b - 65 = 4*p + 83, -3*b - 81 = -3*p. Sort 4, b, -2.
b, -2, 4
Let i be 6 + (-2 + -2 - -7). Suppose -13*h = -i*h - 8. Suppose -6 = -v - 2. Sort h, v, 0 in increasing order.
0, h, v
Let x = -740 - -745. Put x, 2, 13 in increasing order.
2, x, 13
Let a be (2/(-1))/(1/(-2)). Let s(q) = -q + 16. Let t be s(12). Let d(m) = 2*m - 2. Let b be d(t). Put b, 1, a in ascending order.
1, a, b
Let c = 352 + -357. Sort 24, 2, c, 4 in decreasing order.
24, 4, 2, c
Let p = 1471/2 - 736. Let a = 3028/15 - 202. Sort a, -1/4, -4, p in increasing order.
-4, p, -1/4, a
Let q be (-4)/1*(-20)/16. Suppose -5*h + q = -5*t, -2*h - 7 = t - 6*h. Sort t, -5, 0 in increasing order.
-5, 0, t
Let k be (-14)/(-2) - (16 + -12). Let b be (-4)/22 + 11/(121/2). Put k, b, -1, -5 in increasing order.
-5, -1, b, k
Let u(c) = -c**2 - 9*c - 1. Let s be u(-9). Suppose 2 = 2*z + 3*t, -2*z - 3*z = 4*t + 9. Sort s, 6, z, -3 in descending order.
6, s, -3, z
Let o(i) = -i**2 + 7*i - 5. Let r be o(5). Suppose r*m - 3*j = 4*m - 3, -2*j = -4*m - 2. Let x = 6 + -11. Sort m, x, 5 in increasing order.
x, m, 5
Let l = -368.6 + 369. Let b = 0.3 - 0.4. Let m = b - -0.2. Sort 0.5, l, m.
m, l, 0.5
Suppose -6*o - 7 = -1. Let b be o*3/(-9)*(-9)/3. Suppose 4*j + 12 = 0, 3*v = 5*j - 12 + 39. Sort b, v, 1.
b, 1, v
Let t = 2317/9 + -257. Sort 1/2, t, -3, -0.4 in descending order.
1/2, t, -0.4, -3
Let r be 30/(-120) + 3/12. Put r, 222, -3 in decreasing order.
222, r, -3
Let q(y) = 2*y**2. Let z(o) = 2*o + 2. Let t be z(0). Let u be q(t). Suppose 0 = -3*c + u*c. Put 4, -13, c in decreasing order.
4, c, -13
Let s be (-10)/(-15)*(-7)/(56/(-6)). Sort 32, 2/5, s, 2 in increasing order.
2/5, s, 2, 32
Let r be (3 + -4)/(2/(-6)). Let k be r/(-2)*8/6. Let b be k*(-1 + 9/6). Put -4, b, 3 in decreasing order.
3, b, -4
Let x(u) = -u + 3. Let m be x(3). Suppose -3*i + 7*i + 4 = m. Let q be i/(3/(-3)*1). Sort q, -3, -2.
-3, -2, q
Let s(d) = d**3 + d**2 - 13*d - 4. Let k be s(-4). Sort -18, 5, k in descending order.
5, k, -18
Let k = -0.058 + -27.942. Let m = k + 31. Sort -4, m, 3/8 in decreasing order.
m, 3/8, -4
Let k = -25 + 57.5. Let v = 32 - k. Put v, -4, -3 in decreasing order.
v, -3, -4
Suppose 5*g = g. Let f = 146.98 - 149. Let d = f + 0.02. Sort d, g, -2/21 in ascending order.
d, -2/21, g
Let i = 0.27 + -12.27. Let q = i - -8. Suppose 39 = 228*f - 1008 + 135. Sort q, 2/7, f in ascending order.
q, 2/7, f
Let r = 0.4 + -0.2. Let i = -0.486 + -2.514. Put -19, i, r in ascending order.
-19, i, r
Suppose -4*n - 9 = c, 2*n + 2*c + 6 = -0*n. Let v be (5 - 1) + n + 1. Let q = 105.62 + -105.82. Sort -2/5, v, q in descending order.
v, q, -2/5
Let y be (-54)/27*3/(3/8). Let h be (-122)/8 - 4/(-16). Let p = h - y. Sort p, -5, -1 in increasing order.
-5, -1, p
Let y be 3/(-1) - 1 - (0 - 7). Let o = -4 - -1. Put o, -6, y in ascending order.
-6, o, y
Let p(j) = -j**3 + 7*j**2 - j + 5. Let a be p(7). Sort a, 5, 3, -1 in decreasing order.
5, 3, -1, a
Let m(t) = t**2 - 29*t + 157. Let w be m(21). Sort -5, 5, -2, w in decreasing order.
5, -2, -5, w
Let z be (-1)/6*69/23. Put 0, 5, z, 1/5 in increasing order.
z, 0, 1/5, 5
Let d = -1.38 - -1. Let g = 1.349 + -18.729. Let b = g - d. Sort -0.5, 3, b in decreasing order.
3, -0.5, b
Let q = -6 - -1. Let x = -74 + 142. Suppose -7*l = -3*l + x. Sort -1, l, q in ascending order.
l, q, -1
Let i(s) = 4*s**2 + 7*s + 4. Let a be i(-1). Put -3, 4, a in decreasing order.
4, a, -3
Let o = -16.2 - -16.9. Sort o, 4, -5, 1 in ascending order.
-5, o, 1, 4
Let v(f) = -f**3 - 9*f**2 - 10*f - 13. Let l(h) = h. Let r be l(-8). Let w be v(r). Sort w, -30, -5 in ascending order.
-30, -5, w
Let d(h) = -h**3 - 5*h**2 + 18*h + 23. Let l be d(-7). Let p = 1 - 1. Put l, p, -1/14 in ascending order.
l, -1/14, p
Let c = 29 - 27.8. Let n = -2.8 - c. Put n, -1/2, 9 in ascending order.
n, -1/2, 9
Let k(f) = -f**3 - 5*f**2 + 3. Let t be (-6)/5*5/(-2). Suppose 5*h = 2*s - 15, -t*h + 0*h = -3*s. Let x be k(h). Put -5, -2, x in decreasing order.
x, -2, -5
Suppose 5 = -h - 7. Let c(w) = w + 8. Let u be c(h). Sort 0, 5, u in ascending order.
u, 0, 5
Suppose -11*m = -6 + 17. Sort m, -0.102, -3 in descending order.
-0.102, m, -3
Suppose 4*v + 94 - 54 = 0. Sort 0, 7, v.
v, 0, 7
Let p = -43719/35 - -1252. Let c = p + -16/7. Let v = 0.06 - 0.36. Sort c, -0.1, v.
v, -0.1, c
Suppose 4*o + 2 = 2*o. Suppose 15*m - 14*m = 33. Suppose -5*f + m = 28. Sort f, 3, o.
o, f, 3
Let k = -684/7 + 15013/154. Sort -1/2, -1, k in decreasing order.
k, -1/2, -1
Let f be 1 + 1 - 11/5. Let r = -0.24 - -0.11. Let x = 0.07 - r. Put x, 3/4, f in descending order.
3/4, x, f
Let g be (-5)/(5/18)*(-2)/4. Suppose 4*c = c - g. Let s = 1 - 0. Put s, c, -4 in descending order.
s, c, -4
Let s be (-58)/(-174) + 28/6. Put s, -0.2, -5/4, -2/3 in decreasing order.
s, -0.2, -2/3, -5/4
Let p be (5 - 4) + (-66)/(-16). Let z = -1213/232 + p. Let t = 41/116 + z. Put -3, t, 12 in descending order.
12, t, -3
Let w(q) = -6*q + 102. Let p be w(17). Put -3, p, 19, 1 in increasing order.
-3, p, 1, 19
Let r(f) = f**3 + 6*f**2 - 2*f - 5. Let b be r(-6). Suppose -4*v - b = -47. Let h be (-2)/((4/v)/1). Put 3, h, 1 in increasing order.
h, 1, 3
Let y = 151/190 + -15/38. Sort -7, -0.2, -5, y in ascending order.
-7, -5, -0.2, y
Let g(y) = -y**2 + 3*y + 2. Let u be g(4). Suppose -5*p - 4*b - 6 = 32, 4*b = 3*p + 42. Let w be (p/(-4))/((-5)/20*2). Put u, w, 2 in decreasing order.
2, u, w
Let w = 435.1 + -303. Let r = -132 + w. Put -2/11, -2/23, r in descending order.
r, -2/23, -2/11
Let o = 591.09 + -591. Sort -9, 1/2, o in decreasing order.
1/2, o, -9
Let a = 0.2 + -1.2. Let u = 10 + -10. Let s = 152 + -147. Sort s, u, a in descending order.
s, u, a
Let w(v) = -11 + 6*v + 6 - 4*v**3 + 3*v**3 + 4*v**2. Let x be w(5). Suppose -m - 2 = n - 0, x = 5*m + 15. Put 2, 5, n in descending order.
5, 2, n
Let a = 3.13 - 9.13. Put a, -2, -0.3, -4 in increasing order.
a, -4, -2, -0.3
Let t = -0.1 + 0.06. Let x = 9170 + -9166. Let b be 2/(1 + -1 - -3). Put b, t, x in ascending order.
t, b, x
Suppose -5*a + 4*d = -82, -5*a = -5*d - 0*d - 80. Let i be (a/(-15))/(6/(-8)). Let o be (-14)/(-21)*(-1 - 5). Put i, 2, o in decreasing order.
2, i, o
Let f = -1684 - -1681. Sort f, -85/6, 4/5.
-8