n descending order.
3/2, p, q
Let p = -0.5 - -0.2. Let a = 985/8 + -123. Sort p, 2/19, a in descending order.
a, 2/19, p
Let t = -8 - -15. Let c = t + -3. Put -1/2, c, -3 in ascending order.
-3, -1/2, c
Let v be (-50)/(-25)*(1 + 1). Sort v, -2, -1.
-2, -1, v
Let k be (-3)/(-12)*((-42)/(-15) + -2). Sort 0, -1, k in increasing order.
-1, 0, k
Suppose 3*k - 4 = 11. Let f = -6 - -9. Sort f, 0, k in ascending order.
0, f, k
Let d = 5/4 - 3/4. Sort d, 3, 0, 1 in descending order.
3, 1, d, 0
Let g = -12 - -8. Let z = 6 + g. Sort 0.02, 1, z in decreasing order.
z, 1, 0.02
Let s = 0.3 + -3.3. Put -2/13, s, 2 in decreasing order.
2, -2/13, s
Let j(c) = -c**2 + 10*c + 15. Let z be j(11). Let p = -0.2 + 0.3. Let n = 0.2 - p. Put n, -5, z in decreasing order.
z, n, -5
Let i(j) be the second derivative of -7*j**3/2 + j. Let s be i(-1). Suppose 0*p - 2*p - s = 5*r, -r = 3. Sort -2, 0, p.
p, -2, 0
Suppose 69*g - 40 = 64*g. Sort -3, g, 5 in ascending order.
-3, 5, g
Suppose -3*z - 3 = -9. Put -2, -5, -6, z in descending order.
z, -2, -5, -6
Let z(p) = 14*p**2 + 3*p - 1. Let x be z(2). Let q = 185/3 - x. Sort 4, -5, q in decreasing order.
4, q, -5
Let x(w) = -w**3 - 3*w**2 + 3*w - 2. Let p be x(-4). Suppose 5*s - 3*d - p = -1, -3*s = 2*d - 12. Put s, -5, 5 in decreasing order.
5, s, -5
Let p = 65/2 + -31. Let r(d) = 2*d**2 + 3*d + 1. Let j be r(-2). Sort p, j, 6/11.
6/11, p, j
Let r = -79 - -84. Sort 8, 1, r in decreasing order.
8, r, 1
Let f be (-2)/(-4) - 22/28. Put 0.06, f, -1 in increasing order.
-1, f, 0.06
Suppose -15 = -5*b, -5*o + 2*b = -12 + 3. Put 26, o, -2 in descending order.
26, o, -2
Suppose 0 = 4*m - 1 - 3. Let u(x) = -x**3 + 6*x**2 - 2. Let z be u(6). Let l(r) = -3*r - 1. Let n be l(z). Put 3, m, n in descending order.
n, 3, m
Let n be (-1*3)/(3/(-2)). Let w = -2 + 0. Sort 1, n, w in descending order.
n, 1, w
Let j(s) be the first derivative of -s**3/3 + 5*s**2/2 - s + 4. Let o be j(3). Sort -5, 2, o.
-5, 2, o
Let x = 5 + -7. Let c = x + 3. Sort -3, c, 3 in decreasing order.
3, c, -3
Let y(q) = -2*q + 1. Let o be y(3). Let u = 7 + o. Put -3, -5, u in decreasing order.
u, -3, -5
Suppose d - 10 = f, -3*f - 2*f = 25. Sort -1, -4, d in ascending order.
-4, -1, d
Suppose 6*i = 3*i. Suppose o + 2 = -i*o. Suppose 5*v = -3*u - 25, 5*u + 18 = -5*v - 17. Put 1, u, o in decreasing order.
1, o, u
Let k = 31 - 31. Let z be 2*(-6)/(-4) + 0. Put z, k, -1 in decreasing order.
z, k, -1
Let r = 4 + -4. Let x = 12 + -7. Let u = x - r. Sort -2, -1, u in increasing order.
-2, -1, u
Let r be (0 - (-2)/(-5))/((-28)/140). Sort r, 0, 4, 8 in increasing order.
0, r, 4, 8
Let o be (36/24)/(3/2). Sort 0, o, -3.
-3, 0, o
Suppose -2 = 8*b + 38. Suppose -4*i = 0, 6*i - 6 = 3*q + i. Put b, q, 5 in ascending order.
b, q, 5
Suppose 2*n = -m + 3*n + 3, -n + 1 = 0. Let u(i) = 2*i - 3. Let d be u(m). Put -4, -3, d in increasing order.
-4, -3, d
Suppose d - 2 = 2*d. Let s = 7 + d. Let j(q) = -q + 7. Let v be j(s). Put -2, v, -5 in descending order.
v, -2, -5
Let f = 125/936 - 1/117. Put 0.1, f, -1/8 in increasing order.
-1/8, 0.1, f
Suppose 0 = -5*f + 5, 2*f + 3*f - 5 = -5*k. Sort 1, 2, k.
k, 1, 2
Suppose 0 = q + 3*q + 32. Let l(u) = -u - 9. Let d be l(-9). Sort 4, d, q in decreasing order.
4, d, q
Suppose 2*b - 5*j - 14 - 5 = 0, 5*b + 5*j + 5 = 0. Suppose -4*g - x = -23 - 0, 0 = -b*x + 6. Suppose -4*k - 5*c + 11 = 0, 5*c = 3*k - 4 - 13. Sort k, g, 1.
1, k, g
Let t = -23.8 - -22. Let p = t + 1.4. Let f = 13 + -9. Put 0, p, f in descending order.
f, 0, p
Let n = -0.95 - -0.8. Let c = n + 0.05. Sort -4, c, 0 in increasing order.
-4, c, 0
Let l = 10 + -7. Let t(c) = -2 - 8*c - 2 - 4*c**2 + 5*c**2. Let m be t(8). Sort l, -1, m.
m, -1, l
Let d = -2.2 - -13.2. Let m = 266.6 + -267. Sort 0.4, d, m in increasing order.
m, 0.4, d
Let i be -8*(-3)/18*3. Let b(a) = -a**2 + 4*a + 1. Let t be b(4). Suppose 3 = -2*u - u. Put u, i, t in ascending order.
u, t, i
Let g(j) = 9*j + 39. Let v be g(-5). Let q = -7 + 2. Put 1, q, v in descending order.
1, q, v
Let p be 0/(-3 - (-8 - -3)). Let q be 7/(-1)*(-4)/14. Let l be p + q*(-3)/(-6). Sort -1/6, l, 5.
-1/6, l, 5
Suppose 0 = a + 4*a - 10. Sort -0.4, 4, a, 0.3.
-0.4, 0.3, a, 4
Let y = -7 - -12. Put y, -8, -2/11 in ascending order.
-8, -2/11, y
Let l(q) = -q**2 + 3*q - 2. Let o be l(5). Let i be 20/o*(3 + 0). Sort 1, i, 5 in decreasing order.
5, 1, i
Let c = 3.99 + 0.01. Let u(x) = x - 9. Let m(b) = b**2 - 9*b + 9. Let z be m(9). Let l be u(z). Sort l, -0.4, c in descending order.
c, l, -0.4
Let x(t) = t**2 - t - 1. Suppose -2*b = -l + 2, -11 - 3 = 2*b + 5*l. Let y be x(b). Suppose -15 + y = 2*w. Put -3, 0, w in increasing order.
w, -3, 0
Let h = -139/18 + 56/9. Let d = 4.5 - 4.3. Put -3, h, d in ascending order.
-3, h, d
Let n(d) = -4*d + 36. Let t be n(8). Sort 3, t, 2 in decreasing order.
t, 3, 2
Let z = 37/6 - 11/2. Put 0.1, 2/7, z in ascending order.
0.1, 2/7, z
Let r = -46 - -39. Put r, 1/2, 0 in ascending order.
r, 0, 1/2
Let a(v) = -v - 6. Let h be a(-8). Suppose h = g - 3. Suppose -d + g = 0, 5*l - 5 = -d + 10. Put -2/9, 0.3, l in decreasing order.
l, 0.3, -2/9
Let x(b) = b + 1. Let m be x(-1). Suppose m*p = 2*p + 2. Sort -2, -5, p.
-5, -2, p
Suppose -x - 1 = -3. Suppose -3*n + 4*m = 29, 0 = -n + x*m + 2*m - 23. Suppose -3*d + 1 = a, 9 = -2*d - 5*a - 12. Sort n, d, -2.
n, -2, d
Let v be 24/7 + (-72)/168. Sort v, 0.4, 2, 9 in descending order.
9, v, 2, 0.4
Let c(i) = 4*i**3 - 2*i**2 + 2*i - 1. Let j be c(1). Suppose 0 = 5*b - o - 6, b = o - 1 - 1. Suppose k + 4 = b*k. Sort k, j, 1.
1, j, k
Let q = -17.1 + 17. Let b = 2.9 - q. Sort 0.4, b, 2/3 in increasing order.
0.4, 2/3, b
Suppose 0 = -2*b + 8 + 2, 5*k - 3*b = 5. Sort k, -5, -2 in ascending order.
-5, -2, k
Let a = 2.9 + -1.9. Sort a, -5, 4.
-5, a, 4
Let b = -3.1 - -4.1. Let q = -5.7 - -0.7. Sort b, 5, q.
q, b, 5
Suppose 3*z - 5*k = 21, 0*z - 3*k = -4*z + 17. Suppose 11 = -z*r + c, 0 = r + 2*r - 5*c + 34. Let l be 3*1*6/(-117). Sort l, 5, r in descending order.
5, l, r
Let o = 33 + -36. Sort o, -1, -0.06, -2.
o, -2, -1, -0.06
Let d = 9510/11 + -864. Sort 4, d, -1/3 in ascending order.
-1/3, d, 4
Suppose 3*v = -4*j + 5, -2*v + 2*j - 4 = j. Let o be 1*(-4)/3*-15. Suppose -5*h - 5 = o. Sort v, h, 0 in descending order.
0, v, h
Let c be ((-30)/9)/(6/(-45)). Suppose 5*r = 3*f + 2*f + c, -4*f = -r + 5. Sort f, -3/5, -0.1.
-3/5, -0.1, f
Let a = 13 + -10. Let p be ((-514)/14 - 2)*-1. Let k = p - 39. Sort 1, k, a in descending order.
a, 1, k
Let t(q) = q**3 - 10*q**2 - 12*q + 13. Let k be t(11). Suppose 4*n - 3*z - 8 = 0, -2 = k*n - 3*n - 2*z. Sort n, -3/8, 0.4 in decreasing order.
n, 0.4, -3/8
Let w(b) = -b**2 - 4*b - 4. Let l be w(-3). Let q = 6 + -3. Let a be 0 - (2/(-4))/1. Sort a, l, q in increasing order.
l, a, q
Let o = -0.04 + -3.96. Let v = 1/41 + -171/287. Suppose 69 = -14*p - 9*p. Put p, v, o in ascending order.
o, p, v
Let u = -2/73 + -53/730. Sort 0.3, u, -1.
-1, u, 0.3
Let t be (-4)/10*5/(-12). Let p = 12 - 7. Put t, -0.4, p in descending order.
p, t, -0.4
Let a = 14 + -14.4. Put a, -3/4, -2 in decreasing order.
a, -3/4, -2
Let i = 5 + -7. Let q = 1153 + -1149. Put i, 6, q in descending order.
6, q, i
Let m = 0 + 4. Let j = 0.467 + 0.033. Put m, 3, j in increasing order.
j, 3, m
Let t(r) = -2*r**3 - 2*r**2 + 1. Let l be t(-1). Sort l, 14, -2 in descending order.
14, l, -2
Let o = 5 - 8. Let j be o/(-21) + -1 + 2. Let q = j - 9/14. Put 1/7, -0.4, q in increasing order.
-0.4, 1/7, q
Suppose -4*r - 1 = -3*r. Let p be (2/(-6))/(r/6). Let a be 0 + p + 7/(-4). Put a, 5, 4 in descending order.
5, 4, a
Let d be 2/(-6)*(-4 + 1). Let n = 19 + -24. Put n, d, 4 in decreasing order.
4, d, n
Suppose -i - 3*t = 10, -4*i + 3*t = 5*t - 10. Suppose 6 = i*w - 24. Sort w, -4, 3 in decreasing order.
w, 3, -4
Let v = -11 - -6. Let t = 0.5 - -1.5. Let d = t + -2. Put d, v, -2/5 in decreasing order.
d, -2/5, v
Let w = 0.7 + -1. Suppose 4 = 2*z - 2*b, 9*z - 4*z + 3*b + 6 = 0. Let f be z + (33/(-18) - -2). Put -0.5, w, f in descending order.
f, w, -0.5
Let w = 0 + 3.4. Let c = w + -1.4. Put c, -2/15, 4 in descending order.
4, c, -2/15
Suppose 2*q = 3*q - 4. Let m = -9 - -4. Sort q, m, 1.
m, 1, q
Let p = 0.13 + -0.13. Let r = p - 5. Sort r, -4, -3/4 in decreasing order.
-3/4, -4, r
Let t(x) = -3*x + 7. Let z b