decreasing order.
-1, s, m
Suppose 3*g = -0*g - 480. Let z = 643/4 + g. Let o = 0.03 - -0.27. Sort z, -4, o.
-4, o, z
Let b = 0.6 + -1. Let r be (1/(-3))/((-1)/6). Let m = -3.6 + -0.4. Put m, b, r in ascending order.
m, b, r
Let a be 18/(-4)*(-4)/3. Let q be 2/a + 4/(-3). Let x = 75 + -75.5. Sort q, x, -5/6 in increasing order.
q, -5/6, x
Suppose 0 = -2*d - 12 + 40. Let m be (-4)/d + (-8)/21. Let l = 101 + -99. Sort m, l, -4 in decreasing order.
l, m, -4
Let z(q) = q**2 + 5*q - 10. Let o be z(-7). Suppose 1 = -v + o. Put v, -3, -4 in descending order.
v, -3, -4
Let t = -85 + 84.7. Sort -4, 2/5, -1, t in decreasing order.
2/5, t, -1, -4
Let x = 15 - 16. Sort 3, -2, x.
-2, x, 3
Let z = -0.064 + -0.236. Let j = 12 - 8. Sort 0.3, z, j in descending order.
j, 0.3, z
Suppose 0 = -2*m + 6*m. Let l be 0 - 0/(1 - m). Suppose -2 = -2*z + z. Put l, -4, z in increasing order.
-4, l, z
Let c be (-6)/21 + 10/(-112). Suppose -5*j = -k - 11 + 28, -5*j = -5*k + 45. Let x = -6 + k. Sort c, 3, x in descending order.
3, x, c
Let i(q) = 2*q**2 + 5*q. Let t(r) = 6*r**2 + 14*r. Let p(x) = 14*i(x) - 5*t(x). Let c be p(-1). Let a be 1/2*(-6)/1. Put 3, a, c in increasing order.
a, c, 3
Suppose 10*l - 3*h - 27 = 6*l, 3*h + 3 = 0. Sort 4, l, 3, -1 in descending order.
l, 4, 3, -1
Suppose -5*a + 12*t = 10*t - 26, -a = 5*t + 11. Sort 5, -1, a.
-1, a, 5
Let b = 0.14 - -0.16. Sort 2, 1, b in ascending order.
b, 1, 2
Let f = 8 + -6. Suppose -2*j - 5 = -b, 1 = -f*j - j - 5*b. Let k = -2 + 1. Sort j, -4, k in increasing order.
-4, j, k
Let b = -136.2 - -136. Sort -2/19, b, 3, -0.1 in ascending order.
b, -2/19, -0.1, 3
Let z(u) = -2*u - 1. Let o be z(-2). Suppose w - 2*r - r = -o, 4*w = 2*r - 12. Sort 4, w, 5.
w, 4, 5
Let s = 0.09 - -12.91. Let i = s + -13. Let q = -2.94 - 0.06. Sort q, i, -4 in increasing order.
-4, q, i
Let u = -24 - -17. Let w = -3 - u. Sort 2/15, w, 3/4 in increasing order.
2/15, 3/4, w
Let z = -12.29 + 0.29. Let v = z - -12. Sort v, 2, 0.1 in increasing order.
v, 0.1, 2
Let h be 6/4 - (-2)/4. Let c(p) = p**2 - 6*p - 4. Let s be c(7). Suppose h*y = 3*y - s. Put -4, y, 1 in ascending order.
-4, 1, y
Let b be (0 - -1 - 0)*0. Let w(t) = 2*t**3 - 4*t**2 + 4*t - 2. Let h be w(2). Suppose 4 = -5*x - h. Put 2, b, x in descending order.
2, b, x
Suppose 3*u - 5*b - 22 = 34, -5*b - 44 = -2*u. Let z be (-3)/u - 3/4. Let g = z - -1. Put 3, -4, g in increasing order.
-4, g, 3
Suppose 0 = -3*n + g - 3*g - 1, 5 = -g. Sort 5, n, 2 in descending order.
5, n, 2
Let b(t) = t**3 - 4*t**2 + 2*t - 1. Let l be b(2). Suppose 0 = 4*n + 4*g - 6*g + 12, g - 14 = 4*n. Sort n, l, 2 in increasing order.
l, n, 2
Let q(h) = h**3 + 5*h**2 + 6*h + 4. Let t = -10 - -6. Let g be q(t). Put g, -2, -1 in decreasing order.
-1, -2, g
Let i(s) = -s**2 + 3*s + 9. Let n(h) = 3*h**2 - 9*h - 28. Let b(u) = 7*i(u) + 2*n(u). Let t be b(5). Put -1, -5/4, t in decreasing order.
-1, -5/4, t
Suppose -3*s - 5*c = s - 12, 0 = s + c - 3. Sort -2, s, -4 in decreasing order.
s, -2, -4
Let h(n) = 5*n**3 + n - 1. Let a be h(1). Suppose -2*o = -3*o + 2. Let z(u) = 2*u - 7. Let l be z(5). Put a, l, o in descending order.
a, l, o
Suppose 2*w - 5*w = 0, 0 = 2*p - w - 4. Let r = -12 + 16. Put r, -4, p in increasing order.
-4, p, r
Suppose 7*r - 2*r = -2*v + 1, -4*v - r - 7 = 0. Put -1, v, 5 in decreasing order.
5, -1, v
Let o = -2 + 6. Sort 1, o, 0 in ascending order.
0, 1, o
Let j = 141 - 141.1. Let h = 2242/11 + -204. Sort h, j, 1/3 in descending order.
1/3, j, h
Let s = 21 + -29. Let k = 2 - 7. Let i = k - s. Sort 0, -5, i.
-5, 0, i
Let v = -16/35 + -12/35. Sort -2/5, v, 0 in ascending order.
v, -2/5, 0
Suppose 3*k - 2*g = -0*k + 10, 5*g = -4*k - 25. Let b = -1/39 - -197/78. Put b, -4, k in decreasing order.
b, k, -4
Let u be ((-45)/(-10))/((-6)/16). Let b = u + 11. Put b, 3, 0 in increasing order.
b, 0, 3
Let y be (-76)/(-18) + 4/(-18). Let o(r) = -35*r + 2. Let z be o(-2). Let b be ((-4)/z)/((-1)/3). Put -1/3, b, y in decreasing order.
y, b, -1/3
Let t(n) = -n**3 - 5*n**2 - 4*n - 4. Let s be t(-4). Sort -5, 1, s in ascending order.
-5, s, 1
Suppose -2*o = -5 + 3. Sort o, 0, -5 in decreasing order.
o, 0, -5
Let q = -4.1 - -0.04. Let c = q + 0.06. Put -1/3, 4, c in increasing order.
c, -1/3, 4
Let g = 0.032 + 0.268. Sort g, -1, 0.4, -0.2 in decreasing order.
0.4, g, -0.2, -1
Let c = 7 + -8. Let g = c - -6. Put -3, g, 1 in decreasing order.
g, 1, -3
Let k(b) = -b**2 - 4*b. Let s be k(-2). Suppose 0 = c + s*c. Sort c, -3, 3 in increasing order.
-3, c, 3
Let y be 45/(-5)*4/(-6). Put 4, -2, y in descending order.
y, 4, -2
Suppose 8*y - 29 = 11. Sort -8, y, 0 in increasing order.
-8, 0, y
Suppose 0 = 4*b + 2*a - 3*a - 17, 4*b - 2 = -2*a. Let l(j) = j**3 + j**2 - 1. Let n be l(-1). Sort 0, n, b in decreasing order.
b, 0, n
Let l(c) = 4*c**2 - 2*c + 1. Let w be l(1). Suppose -3*x - 4*v - 9 = -v, x + 3 = 5*v. Sort 2, x, w in decreasing order.
w, 2, x
Let g = -0.7 + 0.2. Suppose 0 = p + 5*k - 19, -5*p - 3*k + 17 = -4*k. Let m = -1 - p. Put -5/6, g, m in decreasing order.
g, -5/6, m
Suppose -1 = -2*h - 3. Let l be h/(1/3) + 4. Suppose 0 = 2*u - 0*u + 10. Put l, -4, u in descending order.
l, -4, u
Suppose -g + 12 = 2*g. Sort -3, 0, g in descending order.
g, 0, -3
Let w(p) = 1 - 8*p**2 - p + 10*p**2 - 3*p**2. Let c be w(2). Sort -12, c, 0.
-12, c, 0
Suppose -z - 5*d + 0 + 4 = 0, -23 = -3*z - 4*d. Let o = -11 + z. Let u = 4 - 1. Put o, u, 4 in descending order.
4, u, o
Let y(g) = -g**2 + 12*g - 14. Let u be y(11). Let a(q) = -2*q - 2. Let b be a(-3). Suppose 3*n + 1 = b*s, 4*s - n - 2 + 7 = 0. Sort s, 2, u in descending order.
2, s, u
Let s be (-22)/(-16)*(0 + -2 - 0). Sort 0.2, s, 3 in decreasing order.
3, 0.2, s
Let m be -2*(1/6 + 88/48). Sort -16, -5, m in decreasing order.
m, -5, -16
Suppose 0 = -4*a + 5*q + 2, 0*q - 4*q - 4 = -4*a. Suppose -5*s = -a*s - 4. Suppose s*n - 2 = 4*j - 0*n, 0 = 3*j - 3*n + 9. Sort 4, j, 0.
0, j, 4
Let a = -1 + 21. Let u = -24 + a. Put 0.4, u, -2 in decreasing order.
0.4, -2, u
Suppose -40 = 8*b - 0*b. Put -3, b, -1, -7 in descending order.
-1, -3, b, -7
Suppose -m = 3*m + 8. Let q be 2/6*(m - -14). Suppose -8*i + 4*i - q = 0. Sort -3, i, 2.
-3, i, 2
Let b be (-6)/(-21) + 4/(-7). Sort b, 0.3, 0.
b, 0, 0.3
Let s(t) = -3*t + 12. Let z be s(6). Put -1, z, 3 in increasing order.
z, -1, 3
Let q = -49 - -48.92. Sort 4, q, -2 in increasing order.
-2, q, 4
Let t = 8 - 3. Suppose t*r + 7 + 3 = 0. Suppose 5 + 10 = 5*x. Put x, -3, r in increasing order.
-3, r, x
Let v be 44/(-10) + 2/5. Let x = -11 - -7. Let q = x - v. Sort 5, -2, q.
-2, q, 5
Let n = -163 + 1795/11. Sort n, 7, 0.3, 4 in increasing order.
n, 0.3, 4, 7
Let c = 13 + -11. Suppose 4 - 2 = -c*x. Put 0, -5, x in ascending order.
-5, x, 0
Let x = -20 - -20. Let j = -0.3 - 0.1. Sort 1/2, x, j.
j, x, 1/2
Let n(g) = g**3 - 6*g**2 - 8*g + 10. Let m be n(7). Let z = -7 + 14. Suppose 5*j + 29 = -3*i, -j - 4 - z = -2*i. Put m, j, 2 in increasing order.
j, 2, m
Let u = -4 - -6. Sort -9, -0.1, u in ascending order.
-9, -0.1, u
Let l = 1 - 0. Let y = 1 - -3. Let i = y + -4.3. Sort -1, i, l.
-1, i, l
Let h = 10 + -7. Let p = -7 - -11. Suppose b = p*b + 9. Put -2, b, h in ascending order.
b, -2, h
Let o = -107/119 + 8/17. Let b = -80 - -76. Put b, o, 2/11 in descending order.
2/11, o, b
Let z(k) = -2*k**2 - 7*k + 17. Let u be z(-5). Let h be (1/(-3))/(8/30). Sort h, u, -1 in ascending order.
h, -1, u
Let d = 0 - -1. Let b be -3 + (-5)/((-5)/27). Suppose -s = d, -4*n = n + s - b. Sort n, -1, 2.
-1, 2, n
Let k(x) = -x**3 - 10*x**2 - 10*x - 8. Let l be k(-9). Let a = l - 3. Let z(i) = -i + 9. Let c be z(4). Sort c, a, 1 in increasing order.
a, 1, c
Suppose -2*b = -2*i - 10, 2*i = -0*b + 3*b - 12. Put 4, b, 0.3 in ascending order.
0.3, b, 4
Let o be (16/12 - 2)/(14/6). Put 3, -36, o, -2/3 in descending order.
3, o, -2/3, -36
Let z = -0.077 + -2.923. Sort -0.3, 2/11, -5, z.
-5, z, -0.3, 2/11
Let y = 18 + -16. Put -4, 3, y in descending order.
3, y, -4
Let a = 217/20 + -58/5. Sort a, -1, -2, 2.
-2, -1, a, 2
Let y = -2 + 6. Suppose 4*r = 3*k - 0*k + 13, 5*k + 11 = y*r. Let o = 1 + 1. Sort r, -4, o in descending order.
r, o, -4
Let s(p) = -p - 2. Let j be s(-2). Suppose j = 2*w - 0*w - 6. Let d(h) = -h**3 + 2*h**2 + h. Let o be d(2). Sort w, -4, o.
-4, o, w
Suppose 