Sort y, 0, i.
i, 0, y
Suppose -5*x + 2 = 4*m + 7, -5*x - 5 = 2*m. Let y be (-4)/14 - 37/(-7). Sort y, 1, m in decreasing order.
y, 1, m
Let p = 5.2 - 5.4. Put p, -1, 0.2, -1/4 in descending order.
0.2, p, -1/4, -1
Let y = 10 + -6. Let q be 12/(-297) + y/(-22). Sort -1/7, 3, q in descending order.
3, -1/7, q
Let b(j) = -j**3 + 13*j**2 - 23*j + 6. Let x be b(11). Sort 5, -4, 0, x.
x, -4, 0, 5
Let f(x) = -x**3 - 9*x**2 - 2. Let l be f(-9). Sort l, -5, -3 in descending order.
l, -3, -5
Let a be 1/(-2)*(-1 + 1). Let t = 6 + -11. Suppose 0 = -3*i - 2*i - 4*o - 24, 2*i - 3*o = -5. Sort a, t, i in descending order.
a, i, t
Let z = 6 + -5.6. Let w(s) = -s**3 - 8*s**2 - 7*s + 4. Let q be w(-7). Let j be 2/((10/q)/5). Sort z, j, -1/3 in descending order.
j, z, -1/3
Suppose 5*a + o = -26, 5*a - 2*a + 4*o + 19 = 0. Put 1, -1, a in ascending order.
a, -1, 1
Let m = 10 - 7. Suppose h = 1 - m. Let k(l) = 2*l + 9. Let w be k(-6). Put w, 0, h in ascending order.
w, h, 0
Suppose 6 = -4*j + 18. Suppose -10*p + 31 = -9. Sort -2, j, p in descending order.
p, j, -2
Let x = -1/291 + -94/873. Put x, 4, 3, -5 in descending order.
4, 3, x, -5
Let v be (2/(-1))/(6/15). Put v, 5, -2 in decreasing order.
5, -2, v
Suppose -2*m - 5 = 5*z, -2 - 5 = -2*m - z. Let n(a) = 6*a - 2. Let v be n(-2). Let r be 0 - (0 - 4/v). Put -4, r, m in ascending order.
-4, r, m
Suppose 6*o = -1 - 17. Put 10, 4, o in decreasing order.
10, 4, o
Let r(c) = -c**3 + 6*c**2 - 3*c - 5. Let o be r(5). Sort 2, -3, o in descending order.
o, 2, -3
Let l = 13 - 15. Put -0.8, 0.2, 0.1, l in descending order.
0.2, 0.1, -0.8, l
Let q = 0.36 - 0.06. Let v = -3.01 - -0.93. Let y = v - -0.08. Sort y, q, 2/5 in decreasing order.
2/5, q, y
Let l = -1.4 - 0.6. Let a = l - -1.9. Let k be -6*(10/4 + -2). Sort 3, a, k in descending order.
3, a, k
Let o = 18.2 - 18. Sort -1.6, 0.3, o in increasing order.
-1.6, o, 0.3
Let x = 5 - 3. Let t be 1/x*0/5. Sort 4, t, -4.
-4, t, 4
Let y = 26 - 24. Let i be -1 + 10 + y*-2. Sort i, -4, 0 in ascending order.
-4, 0, i
Suppose 1 = 2*j - j. Let z be (2/(-4))/((-2)/(-8)). Sort z, j, 5 in descending order.
5, j, z
Let g be 8/95 + (-8)/20. Let p be ((-54)/57 + 1)/(-3). Let x = p + g. Put 2, x, -5 in descending order.
2, x, -5
Suppose -v - 9 = 2*v. Suppose 48 = 4*u + 4*h, 5*u - u + 3*h = 45. Let s be -2*(u/(-6))/(-3). Put v, s, 5 in ascending order.
v, s, 5
Suppose 3*f - 4 = f. Let h be 1*(f + (-1 - -1)). Suppose 5*y - h*o = 16, 4*o + 15 = 3*y + o. Sort 4, y, -3.
-3, y, 4
Let k = -4.3 - 2.7. Put k, 2/13, -2/17 in increasing order.
k, -2/17, 2/13
Suppose -3*q = -2*m - 10, 2*q + 2 - 12 = -2*m. Let l(s) = s + 18. Let z be -6*(-1 + (7 - 3)). Let c be l(z). Put 3/2, c, m in descending order.
3/2, m, c
Let w be 4/(-3)*(1 - -2). Suppose -7*h = -2*h. Sort w, 3, h in descending order.
3, h, w
Let t = 26 + -22. Put t, -0.4, -0.3 in decreasing order.
t, -0.3, -0.4
Suppose 0 = 5*u + 1 + 24. Let t be u/(5/(-2)) + -2. Suppose t = n - 0*n. Put -4, 2, n in descending order.
2, n, -4
Let b be (-14)/8 + 6/(-24). Let r be (-4)/(-2 + -1 + 1). Suppose r*t = 5*t - 15. Sort b, t, -1 in increasing order.
b, -1, t
Suppose 96 = 4*w + 100. Sort 5, w, 3 in descending order.
5, 3, w
Let w(h) = h + 5. Let f be w(-6). Let x = -2 + 0. Put x, f, -3 in ascending order.
-3, x, f
Suppose 5*b = s - 10, -5*b + 0*b = -5*s + 30. Let c(p) = p**2 - 6*p + 2. Let n be c(5). Let m = -1 - -2. Put m, n, b in descending order.
m, b, n
Let b = -9 - -8. Sort 0, -3, b in descending order.
0, b, -3
Let t be ((-140)/21)/(4/18). Let x be 0 - 56/t - 2. Let o = -0.06 - -3.06. Sort x, -3, o in decreasing order.
o, x, -3
Suppose -24 = -3*u + 5*z, -4*u + 3*z + 9 + 12 = 0. Suppose -u = -t - 1. Suppose 3*x + 5*a - 7 = 4*x, 2*x - t = 2*a. Sort 1, x, -4.
-4, 1, x
Let q(t) = t**3 + 5*t**2 + 4*t + 4. Let s be q(-4). Let i(a) = -a**3 + 4. Let z be i(0). Let p be (-3)/(-2)*(-6 + z). Put s, 3, p in decreasing order.
s, 3, p
Suppose -4 = h, -2*n + 5*h + 7 = -3. Let f = 3 + n. Let q be 5/(3/((-6)/f)). Put q, -3, 0 in increasing order.
-3, 0, q
Let y(j) = j**2 - 4*j - 1. Let w be y(5). Suppose 4*t - 5*d = -20, 3*t + 10 = -5*d - 5. Put -0.2, w, t in increasing order.
t, -0.2, w
Let l be (-3)/(-30)*6245/1676. Let d = -1/419 - l. Sort 2/3, d, 2 in descending order.
2, 2/3, d
Let s be -5 + 0/(-1) + 0. Put 1, 5, s in ascending order.
s, 1, 5
Let l be 1/5 - (-144)/(-45). Let g be 4/l*3 - 11. Put 0, -2, g in descending order.
0, -2, g
Let x(t) = -t**2 + 4*t + 8. Let y(l) = l**2 + 3*l + 2. Let g be y(-4). Let d be x(g). Suppose v = -v. Sort d, v, 3 in decreasing order.
3, v, d
Suppose -3 + 7 = -b. Let i be ((-12)/36)/((-1)/(-3)). Put i, 0, b in decreasing order.
0, i, b
Let b(x) = x**2 - 2*x - 6. Let d be b(4). Put 0.27, d, -0.1 in descending order.
d, 0.27, -0.1
Let o be (-84)/(-15) - (-4)/10. Let h = o - 2. Put 1, 5, h in descending order.
5, h, 1
Let y(x) = x**3 - 2*x - 1. Let k = 8 - 10. Let q be y(k). Sort -4/3, q, 3.
q, -4/3, 3
Let i(k) = -6*k - 6. Let d be i(6). Let o be (-1)/1 - 30/d. Let w = -1.4 + 1.5. Sort o, -1, w in increasing order.
-1, o, w
Let f be -1*(98/60 + (-3)/2). Sort -0.3, f, 2, -4 in increasing order.
-4, -0.3, f, 2
Let g = 7.5 + -8. Put 1/4, 5, g in increasing order.
g, 1/4, 5
Suppose 4*m + 12 = m + 5*j, 0 = 4*j - 12. Suppose 3*z = -2*z + 25. Put z, 4, m in descending order.
z, 4, m
Let s = 0.4 - 0.5. Let f = 0.4 - 0.2. Let q = 0 + f. Sort 4, q, s in increasing order.
s, q, 4
Let g = 5.14 + -0.14. Put 7, -1, g in increasing order.
-1, g, 7
Let u = -13 + 20. Suppose 2*h = 3*m - 8, -u = 3*h + 2*m - 4*m. Let s be h/((-2)/(-4)) - -6. Sort 2, -4, s.
-4, 2, s
Let f = -14 + 13.9. Sort -0.4, f, -1/2, 1/3 in increasing order.
-1/2, -0.4, f, 1/3
Let d = 11 + -7. Let u be 8/3 - (-2)/6. Let o = -0.1 - 0. Put o, d, u in increasing order.
o, u, d
Let b = -26 + 24.9. Let o = -0.6 - b. Sort -2/7, o, 4/7 in descending order.
4/7, o, -2/7
Let u = -0.1 - -1.1. Put 3/4, u, -2/3 in decreasing order.
u, 3/4, -2/3
Suppose 0 = -2*x - 3*o - 2, 6 = -4*x - 3*o - 4. Let f = 13 + -9. Suppose 2*y = -4, -2*j - f*y - 3 = -j. Sort 3, j, x in descending order.
j, 3, x
Let a(v) = -v**3 + v + 3. Let x be a(0). Suppose -x*y = y + 12. Let r = 150 - 2248/15. Sort r, 4/7, y.
y, r, 4/7
Let q = 185 - 189. Let u = -1 - -2. Put -11, u, q in descending order.
u, q, -11
Let f = -3.2 + 3.4. Sort -1, 2/5, -2, f in ascending order.
-2, -1, f, 2/5
Let a = 17 + -18. Let z be (-13)/(-4) - (-5)/(-20). Sort -4, z, a in descending order.
z, a, -4
Suppose -3*y - 48 - 15 = 0. Put 5, y, -2 in descending order.
5, -2, y
Let y(b) = -4 + 0*b + 0 + b**2 - 5*b. Let n be y(5). Sort 3, n, 2 in descending order.
3, 2, n
Suppose 0*u + 25 = -3*s + 4*u, -s + u - 7 = 0. Let v = 0.05 + 0. Sort 2, s, v in descending order.
2, v, s
Let z = 0.047 + 4.953. Put z, 3, 17 in ascending order.
3, z, 17
Suppose -3*j - c + 5 = -3*c, -4*j + 4*c = -12. Let u be (130/12)/(4/12). Let q = u - 31. Sort -0.1, q, j in decreasing order.
q, -0.1, j
Let j(p) = p**3 - 7*p**2 + 2*p - 9. Let d be j(7). Put 0, d, -2 in increasing order.
-2, 0, d
Let u = 167 - 497/3. Let c = 0.6 + -0.3. Let n = c + -0.4. Sort 1, n, u.
n, 1, u
Let h(w) = w**2 + 2*w - 4. Let d be h(-4). Suppose -5*j = 2*p + 31, -j - j - d = -2*p. Put -2, 4, p in ascending order.
p, -2, 4
Let j = -41 - -42. Put j, 0, -5/4 in increasing order.
-5/4, 0, j
Let u = 17173/25 - 687. Put u, 3/7, -0.2 in increasing order.
-0.2, u, 3/7
Suppose y - 5*y = 32. Let u be 0*(1 + 12/y). Put u, 2, -2 in decreasing order.
2, u, -2
Suppose 0 = -3*h, -f = 3*h + 2 - 4. Sort 4, f, 16.
f, 4, 16
Let l(y) = 8 + 0 + 0 - 3*y + 2*y. Let w be l(6). Suppose -3*p = 12, 3*p + 1 = -k - 14. Sort w, 4, k in descending order.
4, w, k
Let f = -14 - -28. Let o = 9 - f. Sort o, -1, -3.
o, -3, -1
Let g = 96/215 - 2/43. Put 5, -6, g, 3 in increasing order.
-6, g, 3, 5
Let t = -13.2 - -13. Sort -0.1, t, -3/4 in increasing order.
-3/4, t, -0.1
Suppose -w - 4*w + 5 = -5*c, 4*w + 4*c = -12. Let r be (0 + w)*(-2)/(-4). Put r, 1/2, 1 in decreasing order.
1, 1/2, r
Let w = -12 + 19. Suppose 3*t = w - 1. Suppose -10 = -t*m - 2. Sort -2, 3, m in decreasing order.
m, 3, -2
Let r = 10 + 4. Suppose 3*j = 2*g - r, 0*j - 3*j + 10 = 4*g. Sort 3, -3, g.
-3, 3, g
Let m = -185 + 1667/9. Let c be 1/2 + (-30)/36. Sort 0.4, m, c