n decreasing order.
10, 3, m
Let g = 12.82 - -0.18. Let d = -12.95 + g. Let t = d + -0.05. Put -2, t, 2/7 in decreasing order.
2/7, t, -2
Suppose -i = 2*j - 5*i - 8, 2*j + i = -7. Suppose -141*t = -151*t + 50. Sort j, t, 3, 2 in increasing order.
j, 2, 3, t
Let q be (-39)/(-5) - 6 - 4/5. Sort 5, -2/9, 2, q in increasing order.
-2/9, q, 2, 5
Let m = 1 - 1.2. Sort -3, m, 1, -22 in descending order.
1, m, -3, -22
Let i = -0.01 - 4.99. Let f = 8 + i. Let j = 12 - 8. Sort j, 2/3, f.
2/3, f, j
Let b = -612 - -635. Put -5, b, -4 in increasing order.
-5, -4, b
Let s = 2 - 1. Suppose 0 = 4*f - 20 - 8. Suppose 0 = 4*u + 15 - f. Put -1, u, s in ascending order.
u, -1, s
Let u = -0.05 + -4.95. Let r(f) = -f**2 + 8*f - 13 - 5*f**2 + 5*f**2. Let t be r(4). Sort t, u, -1 in ascending order.
u, -1, t
Let y = -1328877958/4431 + 899716/3. Let d = y + -2/211. Sort 4, 0.2, d, 1/4 in ascending order.
0.2, 1/4, d, 4
Let r(m) = m**2 - 4. Let y be r(-3). Suppose -7*h + 8 = 43. Sort 3, h, y, -4 in ascending order.
h, -4, 3, y
Let p(t) = -3*t + 62. Let m be p(18). Put m, 2, 0.4 in ascending order.
0.4, 2, m
Suppose 9*i - 4*h - 18 = 10*i, 3 = 4*i + h. Suppose 0*u + 11 = u - 2*s, 5*u = 2*s + 23. Suppose -5*w - u = i. Put w, 1, 3 in increasing order.
w, 1, 3
Suppose -31*t = -41*t + 40. Sort -6, -3, t.
-6, -3, t
Let y = -113/894 - 6/149. Let a = -1 - -0.6. Put y, a, 1, -0.7 in increasing order.
-0.7, a, y, 1
Let g(b) = -b**3 - 3*b**2 + 4*b + 3. Let q be g(-5). Let r be (-24)/1*q/(-22) - -3. Put -4, 2, r in descending order.
r, 2, -4
Let a = 1.75 + 0.25. Let v be (-1)/(2 - 7/(-2)). Put -0.3, v, a in decreasing order.
a, v, -0.3
Let v = 668 - 668. Sort 9, 3, v, 4.
v, 3, 4, 9
Let k = 31 + -33. Sort 5, k, 2.
k, 2, 5
Let a be (4/(-6))/(9/(-486)). Let v = 37 - a. Put 5, v, -3, -5 in descending order.
5, v, -3, -5
Let v = 16 - 23. Let x = -12 - v. Let b be (20/(-5))/(-4) + 1. Put 0.5, b, x in decreasing order.
b, 0.5, x
Let p = 19/168 + 11/24. Put 5/2, -0.5, p in descending order.
5/2, p, -0.5
Suppose 143 = 8*o + 87. Sort 9, o, -2.
-2, o, 9
Let z be 17/7 - 0 - 12/28. Suppose -47 = -5*a + 3*p - z*p, -5*p + 55 = 4*a. Put 2, a, 1, -1 in ascending order.
-1, 1, 2, a
Let n = -0.236 + 0.036. Let r = 4.02 - 4. Let v = r + 3.98. Sort 2, v, n in decreasing order.
v, 2, n
Suppose -j - 2 - 1 = 0. Suppose 3*f - f + 8 = 5*m, 0 = -2*m + 4*f. Sort j, -7, m, 0.
-7, j, 0, m
Let b(v) = -v**3 - 3*v**2 - v - 1. Let c be b(-3). Sort c, -11, -5, 0 in increasing order.
-11, -5, 0, c
Let i = -272 + 265. Sort 3, 6, i in decreasing order.
6, 3, i
Suppose 3*n = i + 6, 5*i - 2*i = 9. Sort 0, 9, 5, n in ascending order.
0, n, 5, 9
Let z(u) = -u**2 + 25*u + 24. Let o be z(26). Put -7, -5, o, -4 in decreasing order.
o, -4, -5, -7
Let s be 2 - -2*(-4 - -3). Let y(d) = d + 2. Suppose -22 = 3*o - 1. Let h be y(o). Sort 4, s, h in descending order.
4, s, h
Let t be (-46)/(-14) - (-8 + 464/56). Sort t, -5, -3, 25.
-5, -3, t, 25
Let u = -9 - -8.8. Let o = -0.3 + u. Sort 5, -3, o.
-3, o, 5
Let w = -4.2 + 119. Let a = 102 - w. Let g = a + 13. Sort -2, -1/2, g in increasing order.
-2, -1/2, g
Let r(z) = -z**3 + 6*z**2 - z + 7. Let o be r(6). Let g be -6 + (o + -3 - -4). Let y = -28.5 + 28. Sort 4, y, g in descending order.
4, y, g
Let b(u) = -4*u**3 - 2*u**2 + 1. Suppose 0 = 2*w - 6*w - 4. Let f be b(w). Sort 1, -2, f in decreasing order.
f, 1, -2
Let g = -24 - -15. Let p = -9 - g. Let o be (-6)/5*(-86)/129. Sort o, -1, p in descending order.
o, p, -1
Let l = -1 + 1. Let q = 76 - 76. Suppose q = -2*y - l - 8. Sort y, 0.4, -6/7 in decreasing order.
0.4, -6/7, y
Let z(a) = -5*a - 2. Let i(m) = -6*m - 1. Let b(q) = -6*i(q) + 7*z(q). Let f be b(6). Put 2, 1, f in decreasing order.
2, 1, f
Let t = 1725 + -1725.16. Put t, -0.02, -0.4 in descending order.
-0.02, t, -0.4
Suppose 1957*j - 1947*j = -10. Let i = 54 + -25. Sort 1, i, j in descending order.
i, 1, j
Let h be (12/(-10))/((-36)/(-120)). Sort h, -9, 3, 0 in descending order.
3, 0, h, -9
Let t be 8/48 + (-39)/18. Suppose -k + 3 = 2*k. Sort k, 0, t, 3 in increasing order.
t, 0, k, 3
Let f = -1064 + 1065. Sort -0.5, f, -3/19, -7 in descending order.
f, -3/19, -0.5, -7
Suppose 2*x - 36 = -0. Suppose -5*l - 8 = -x. Suppose 3*n - l - 4 = 0. Sort 4, n, -5.
-5, n, 4
Let u = 2.3 - 2. Let w(f) = -f**3 - 6*f**2 - f - 2. Let z be w(-6). Suppose 2*h - 3*v - 3 = -13, 10 = -2*h - 4*v. Sort h, u, z.
h, u, z
Let f = 14258/5 - 2850. Sort 4, -6/5, f, 0.3 in increasing order.
-6/5, 0.3, f, 4
Let m be (-168)/294 - 60/(-7). Sort 2, m, 4 in descending order.
m, 4, 2
Let f = -31.3 + 19.4. Let p = -0.1 + f. Let z = 14 + p. Put z, -5, -2/3 in decreasing order.
z, -2/3, -5
Let p(t) = t**2 - 25*t + 113. Let l be p(19). Suppose 0 = -2*f + 3 - 7. Sort l, f, 0.
f, l, 0
Let k(a) = -a**2 - a - 1. Let d = -2 - -1. Let t be k(d). Let x = 1077 - 1077. Sort t, -1/5, x in decreasing order.
x, -1/5, t
Let h = 291 - 291. Sort -1, h, 4 in ascending order.
-1, h, 4
Suppose -24 + 72 = -16*m. Put -0.1, 1, 3, m in descending order.
3, 1, -0.1, m
Let p(x) = -x**2 + 40 + x**2 + 9*x - x**2 - 20. Let m be p(11). Put m, 0, 23 in decreasing order.
23, 0, m
Let b be ((-3)/(-15))/((-16)/32). Let o = 23 + -22.1. Let h = -0.7 + o. Sort h, -2/23, b in decreasing order.
h, -2/23, b
Let n(v) = -v**3 + 6*v**2 - 6*v. Let f be n(5). Sort 164, f, -4 in decreasing order.
164, -4, f
Let x = -0.159 + 0.159. Sort -8, -0.06, x in decreasing order.
x, -0.06, -8
Let j = 43 - 22. Suppose 2*u - 9*u = j. Put 1, 5, u in decreasing order.
5, 1, u
Let x(l) be the third derivative of l**4/24 - 5*l**3/3 - 7*l**2. Let w be x(11). Put 4, -3, -5, w in ascending order.
-5, -3, w, 4
Let p(f) = f**3 + 18*f**2 + f + 12. Let a be p(-18). Sort -5, 9, a, 3.
a, -5, 3, 9
Let x be -1 + 20/(-3 - -2). Suppose 0 = -5*s - 74 - 6. Let h = x - s. Sort -3, -1, h.
h, -3, -1
Let h = 3.3 - 3.67. Let q = h - -0.17. Let i = -117 - -817/7. Sort i, q, 4 in ascending order.
i, q, 4
Let d(i) = -2*i**2 - 6*i - 3. Let v be d(-5). Suppose -3*p = 4*h - 14, 14 = -0*p - 2*p + 2*h. Sort 4, v, p in decreasing order.
4, p, v
Let m = 1603/3 - 531. Put -6, m, 0.1, 1/2 in descending order.
m, 1/2, 0.1, -6
Let m = -26 - -25.6. Let n = 25 + -20. Put n, m, 3 in descending order.
n, 3, m
Suppose 4*g = 2*t + 26, 2*g + 2*g - t - 27 = 0. Let d = g + -2. Suppose -d*k - k = -24. Sort k, 1, -3 in increasing order.
-3, 1, k
Suppose -3*x = -3*v + 2*x - 58, 4*v - 4*x = -88. Put 1, v, -2 in descending order.
1, -2, v
Suppose 4*x - 2*y - 10 = 0, 14 = 5*x - 3*y + 4. Suppose -4*p = -9*p + 10. Let d(h) = h**2 + 7*h + 3. Let v be d(-6). Put x, v, p in decreasing order.
x, p, v
Let q be (-64020)/(-561) - 4/34. Sort q, 5, 2 in increasing order.
2, 5, q
Suppose 0 = 4*h + c - 3*c - 38, 13 = -h - 4*c. Put 1, h, -1 in ascending order.
-1, 1, h
Let i(z) = -z**3 + 5*z**2 + 8*z - 8. Let a(l) = l**3 + 4*l**2 + 5. Let m be a(-4). Suppose -32 = -m*g - 2. Let u be i(g). Put -3, 2, u in increasing order.
-3, 2, u
Let j = 149.1 + -149.3. Let n = -1.7 - 0.3. Let u = n - -2.1. Sort 1/4, u, j in increasing order.
j, u, 1/4
Let s = 0.17 - -0.03. Let y = -22 + 26. Suppose -12 + y = 4*b. Put s, b, 2/5 in increasing order.
b, s, 2/5
Let v = -1.723 + 1.223. Let k be (0 - -1)/(2/(-4)). Let g be (-16)/(-9) - (-4)/k. Sort 1, g, v in descending order.
1, g, v
Let w be (-1*2)/((-30)/(-12)). Let c(u) = u**2 + 20*u - 3. Let x be c(-20). Put -5, x, 3, w in descending order.
3, w, x, -5
Let h be (-24)/(-1) - (6 - 24/6). Sort -3, 3, h.
-3, 3, h
Suppose -2*p = -2*f + 20, -f = 5*p - 5*f + 45. Let k = -8 - -5. Put -1, p, k in increasing order.
p, k, -1
Suppose -3*h - 2*w + 10 = 8, -5*h + 15 = w. Sort -2, 1, h, -5 in decreasing order.
h, 1, -2, -5
Let t = 273 + -275. Sort -1/22, t, 11 in increasing order.
t, -1/22, 11
Suppose -77*u = 45*u + 122. Put u, -3, -17, -13 in increasing order.
-17, -13, -3, u
Let b(o) = -o**3 - 3*o**2 - 4*o + 2. Let x be b(-5). Suppose -2*f = 4*j + 250, 3*f - 22 + x = -j. Let r be 3/5 + 364/j. Put 0, 0.5, r in descending order.
0.5, 0, r
Let x = 1 + -4. Let q be (64/(-24))/((-2)/x). Put 19, 2, q in increasing order.
q, 2, 19
Let u(w) = -w**3 - 17*w**2 - 5*w + 181. Let c be u(-16). Sort -2, c, 1, 4 in ascending order.
-2, 1, 4, c
Suppose -2*g - 2 = 5*v, -3 = -41*g + 44*g - 2*v. Let t = -3 - -8. Sort t, g, -4.
