ending order.
2, 0, j
Let o be (-2)/(4 + (1 - (-1 + -2))). Sort -1/8, 2/11, o, 0.1 in descending order.
2/11, 0.1, -1/8, o
Let b = -0.7 - -1.2. Put b, 6, -3 in increasing order.
-3, b, 6
Let z = -4/25 + 41/100. Sort 1/11, 1.4, z.
1/11, z, 1.4
Let o = 0.146 - -4.854. Sort -0.03, -1, 0, o in increasing order.
-1, -0.03, 0, o
Let t be 138/(-21)*2/(-24). Let z = t - 3/14. Let m = 34/3 - 12. Put m, -0.5, z in increasing order.
m, -0.5, z
Let m = -7 + 8. Suppose -d + 19 = 2*v + 4*d, v - 5 = -d. Suppose 1 = -3*r + 10. Sort r, v, m in increasing order.
m, v, r
Let u be (-40)/15*3/(-2). Put u, 0, -3 in increasing order.
-3, 0, u
Let f = -0.2 + -0.8. Let m = -4 - f. Put 3, -0.5, m in decreasing order.
3, -0.5, m
Suppose 0 = 3*p + 5*w - 82, 112 = 5*p + 5*w - 9*w. Suppose 5*y + 3*d - 29 = 0, 3*y + 6*d - p = 2*d. Suppose -5*x + 2 + 8 = 0. Put -5, y, x in descending order.
y, x, -5
Suppose 0*p = 5*p - 25. Suppose -2*j + p = -j. Let b = 5 - 6. Sort j, 0, b in descending order.
j, 0, b
Let n(k) = k**2 + 15*k + 18. Let b be n(-14). Put b, 3, -6 in decreasing order.
b, 3, -6
Let r(o) = o**2 + 8*o + 10. Let n be r(-6). Suppose 0 = -u + 5*q - 0*q - 6, 5*u - 14 = 3*q. Let w(j) = j + 7. Let h be w(-4). Sort u, h, n in ascending order.
n, h, u
Let i be (-1)/(2 - (-71)/(-35)). Suppose i + 70 = -5*v. Let p be 6/v - 11/(-14). Sort p, -4, 0.2 in decreasing order.
p, 0.2, -4
Let n = 0.1 + 6.9. Let v = -4 + n. Put -2/13, -5, v in decreasing order.
v, -2/13, -5
Let a = -0.41 + 0.71. Let j = -0.3 - -0.1. Sort a, -2, j.
-2, j, a
Let g be 3*(-2)/((-4)/(-2)). Let v = 3 - 2.2. Let t = 5.8 - v. Sort -0.3, t, g in increasing order.
g, -0.3, t
Let k(h) = -h**2 + 13*h + 2. Let r be k(13). Sort r, -1, 3 in ascending order.
-1, r, 3
Let y = -5 + 1. Sort y, -1, 0.
y, -1, 0
Let p be 1*7/(14/4). Sort -4, p, -5 in decreasing order.
p, -4, -5
Let c = 0.2 + -0.24. Let b = -317 - -322. Sort -0.4, b, c in decreasing order.
b, c, -0.4
Let i = 15859/4 + -208343/52. Let m = i + 42. Let a = -0.5 + 3.5. Sort a, -1/10, m in decreasing order.
a, m, -1/10
Suppose -3 = 2*w - 19. Let g = w - 6. Let m be 1 + -2 + g*3. Put -4, m, 2 in increasing order.
-4, 2, m
Let u(d) = -3*d + 1. Let w be u(-1). Suppose -6 = 5*i + w. Sort i, -4, -3 in descending order.
i, -3, -4
Let a be 225/33 + (-2)/(-11). Let d = a + -9. Let o be (-3 - 1)/(-1*1). Sort o, 2, d in decreasing order.
o, 2, d
Let l = -0.95 + 1. Suppose -2*r - r = 0. Put l, 3, r in decreasing order.
3, l, r
Suppose 0 = -3*m + 3*v + 9, -4*v - 9 = -3*m + 4. Put 1, -5, 5, m in decreasing order.
5, 1, m, -5
Suppose 0 = -7*u + 6*u - 3. Let k be ((-10)/(-4))/(1/2). Put u, k, 0 in descending order.
k, 0, u
Let n = 16 - 18. Suppose -j + 2 = -2*b, 8*b - 5*b + 5*j - 23 = 0. Put n, 3, b in decreasing order.
3, b, n
Suppose 4*q = -q + 25. Sort 3/8, -2/3, q, -0.2 in increasing order.
-2/3, -0.2, 3/8, q
Let d = -4.7 + 5. Let k = -9 + 8. Put d, k, 0 in decreasing order.
d, 0, k
Let g = 1.19 - 4.19. Let t = -32 - 14. Let c be (t/(-42) - 0) + -1. Put -5, c, g in descending order.
c, g, -5
Let g(n) = n**3 - 2*n**2 - n + 1. Let x be g(2). Sort 5, 1, x.
x, 1, 5
Suppose -7*u = -5*x - 2*u + 5, -2*u = -x. Put x, -1, -22 in increasing order.
-22, -1, x
Let c(f) = 3 + 2*f**3 - 3 - 3*f**3 + 4*f**2 + 5*f. Let b be (-2 + -1 + 2)*-5. Let q be c(b). Put -5, -0.1, q in descending order.
q, -0.1, -5
Let z = 23 - 113/5. Sort z, 0.5, -1.1 in increasing order.
-1.1, z, 0.5
Let t(o) = -o - 4. Let w be t(-6). Let b = -5 + 5. Let d = 7 - 2. Sort b, w, d.
b, w, d
Let l = -17 + 17.1. Let u be 1/2*(-2)/3. Put l, 1/2, u in decreasing order.
1/2, l, u
Let m(b) = 5*b - 5. Let q be m(5). Suppose -4*k + 0*k = -q. Suppose 20 = -k*c - 5*y, -c = -0*y + 3*y + 14. Sort c, 3, -3.
-3, c, 3
Let s = -0.007 - 0.223. Let f = s - 0.07. Sort f, 2, 5.
f, 2, 5
Let i = -0.15 - -6.15. Let q = 5.5 - i. Put 0.3, q, 4 in decreasing order.
4, 0.3, q
Let k be (1 + 1)/(-2) - -3. Put 5, -1, k in decreasing order.
5, k, -1
Let s = -8 + 7.5. Let u = -0.13 - 4.87. Sort u, s, 1.
u, s, 1
Let i = -0.165 - -0.665. Let u = 0.4 + -0.7. Sort u, -2/7, i in increasing order.
u, -2/7, i
Let i = 25 + -24.82. Sort 0.4, i, 2 in descending order.
2, 0.4, i
Let k(m) = m - 13. Let s be k(10). Put 1, 5, s in increasing order.
s, 1, 5
Suppose 5*y - 16 = y. Suppose 2*z = -y - 0. Sort 0.3, -3/7, z.
z, -3/7, 0.3
Let i be 18/(-5) + 6/(-15). Let l(h) = -h + 5. Let y be l(7). Sort 4, y, i in decreasing order.
4, y, i
Suppose 10 = -5*y + 5. Let k = -1 + y. Sort -5, k, 5 in descending order.
5, k, -5
Let v = 41 - 41.2. Let d = -0.2 + 0. Let w = d + 0.1. Put w, 0.4, v in descending order.
0.4, w, v
Let z be -2 - (28 + 0 + 2). Let b be 8/11*(-8)/z. Put -2/11, b, -5 in decreasing order.
b, -2/11, -5
Let m = -16 - -12. Let v be 3*16/m - -2. Put 4, v, 1 in decreasing order.
4, 1, v
Let z = -11 - -6. Sort -2, z, 0.
z, -2, 0
Let q be 108/(-24) - 1/(-2). Suppose -10 = -4*v + 3*w + 7, 2*w = -v - 4. Put v, q, 1 in descending order.
v, 1, q
Let q be 1/3 - 7/3. Suppose -2*b + 14 = -4*h, -2*h + 6*h + 40 = 4*b. Suppose g + b = -4*n, -10 = 4*n + 3*g - g. Put q, n, 0 in descending order.
0, q, n
Let l = 320/3 + -5434/51. Let p = 0 + 0.1. Sort -5, p, l in increasing order.
-5, p, l
Let q = 0.57 - -0.03. Let z = -1.4 - q. Let v = 2/45 + -4/9. Put v, z, 1/3 in descending order.
1/3, v, z
Let t be 0*3/27*3. Let v(z) = -z**3 - 15*z**2 + z + 12. Let d be v(-15). Sort 6, t, d in descending order.
6, t, d
Let a be (-2)/(4/(-10) - 0). Let r be 6 + -4 + (-14)/2. Sort 4, r, a.
r, 4, a
Suppose -3*n - 2*q + 62 = 0, -n + 7*q + 32 = 2*q. Let j be 3 - (2 - n/(-18)). Put -3, j, 0.4 in descending order.
0.4, j, -3
Let z = 27/2 - 14. Put 0.5, -4/7, z in ascending order.
-4/7, z, 0.5
Suppose 1 - 5 = -2*z. Suppose 2*y - 4 = p + 5, 3*y - 19 = -4*p. Sort 3, y, z in increasing order.
z, 3, y
Let r = 69 + -39. Let a be 14/49 - r/7. Sort a, 1, -1.
a, -1, 1
Let l be -2*(-1)/((-4)/(-10)). Suppose -l*k = -g - 2*k - 1, 0 = 3*k + 3. Sort 3, 2, g in descending order.
3, 2, g
Let w = 2 - 7. Let b = 0.1 + -0.2. Put b, -4, w in descending order.
b, -4, w
Let m(n) = n**3 + 5*n**2 - 9*n - 4. Let q be m(-6). Suppose -5*g + 4*y - 15 = -y, 5*g = 4*y - q. Let b = 119 - 123. Put 0, g, b in decreasing order.
0, g, b
Let d = -0.44 + -7.56. Let g = -7.94 - 0.06. Let w = d - g. Sort 2/7, 3/2, w in decreasing order.
3/2, 2/7, w
Let b be (4 + -2 - (-9)/(-5))*5. Suppose 4*q + 5 = 21. Put b, q, -1 in decreasing order.
q, b, -1
Let q(v) = -1. Let d(l) = 3*l - 4. Let u(r) = d(r) - 4*q(r). Let b be u(2). Suppose -x = -b*x - 5. Put -2, x, -5 in ascending order.
-5, -2, x
Let v(q) = 3*q - 5*q + q - 1. Let i(n) = n**3 + 7*n**2 + 3*n - 1. Let u(b) = i(b) - 3*v(b). Let l be u(-6). Sort l, 4, -3.
-3, l, 4
Suppose -2*j + 2 = -6*o + o, -4*o = 4*j - 4. Put -3, 2/3, o in descending order.
2/3, o, -3
Let f = -173 + 172. Sort -7, -2, 0, f.
-7, -2, f, 0
Let o = -17.3 + 18. Let r = o - 2.7. Put 0.4, 5, r in descending order.
5, 0.4, r
Let i = 7 + -10. Let l = -0.4 + 0.2. Sort i, 1, l in decreasing order.
1, l, i
Let t(o) = -1 + 0 - 3*o**3 - 2*o + o**3. Let a be t(-1). Sort 1, a, 0 in ascending order.
0, 1, a
Let o be -20*2/32*4. Sort -2, o, 13 in increasing order.
o, -2, 13
Let z(x) be the first derivative of x**4/4 + x**3 - 2*x**2 - 3*x - 1. Let n be z(-4). Sort -1, n, 2 in ascending order.
n, -1, 2
Suppose -5*g - 4 = -g. Let v(j) = j**2 + 3*j - 7. Let l be v(-5). Suppose -3*w + 14 = -2*b, -5*w - 2*b - 10 = l*b. Sort 0.4, g, w.
g, 0.4, w
Let u be 8/56 + (-86)/14. Let q be u/(-18) + 1/(-3). Put q, 3/7, -1 in decreasing order.
3/7, q, -1
Let u(s) = s**3 + s**2 + 2. Let r be u(0). Sort r, -1, 3 in decreasing order.
3, r, -1
Suppose -13 + 19 = 2*f. Put -4, f, 1 in decreasing order.
f, 1, -4
Let v be 4 - ((-3)/3 - -2). Put v, -2, 0.1, -1 in decreasing order.
v, 0.1, -1, -2
Let f(p) = -p**3 - 11*p**2 - 8. Let x be f(-11). Let g = -8 - x. Sort g, 4, 0.2.
g, 0.2, 4
Let b = 0.142 - -9.858. Sort b, -3, 2/17, 4 in decreasing order.
b, 4, 2/17, -3
Suppose 5*t + 41 = 11. Let l be (t/5)/((-2)/10). Put -4, 2, l in increasing order.
-4, 2, l
Suppose 1 - 2 = s. Suppose 3*w = 4*h - 10, -2*h + 10 = -0*h + w. Suppose 2*d = h*d + 8. Put 1, d, s in decreasing order.
1, s, d
Let n = -9 + 17. Let a(t) = -t**3 + 9*t**2 - 9*t + 11. Let w be a(n). Sort 