3 in descending order.
5/3, 0.4, 0.23, g
Let w be (-2)/(-4)*0 - -2. Let n = 91 + -93. Let v be ((n + -1 + 2)/1)/(-1). Sort w, 5, v in increasing order.
v, w, 5
Suppose 5*r - o = -9, -2*o = -1 - 7. Let t(d) = d**3 + 7*d**2 + 11*d + 9. Let u be t(-5). Put -3, r, u, 0 in increasing order.
-3, r, 0, u
Suppose -3 = -4*z + 9. Suppose 2*h - 3*j = 1, 0 = -h + 6*h - z*j - 16. Suppose -5*p - 5*l + 17 = -2*l, h*l - 11 = -4*p. Put -2/5, p, 1/9 in ascending order.
-2/5, 1/9, p
Let i = -1.62 - -93.62. Let p = 89 - i. Sort -1/10, 1/8, -2, p.
p, -2, -1/10, 1/8
Let z = -1885/7556 + -1/1889. Sort -2/11, z, 18, -3 in decreasing order.
18, -2/11, z, -3
Suppose 1 = 5*n - 2*u - 26, 0 = n - u - 3. Sort -2, 3, n in descending order.
n, 3, -2
Let c = 0.1224 - -0.0776. Sort 25, -2, c, 3/7 in descending order.
25, 3/7, c, -2
Let u(s) = s**2 + 9*s + 2. Let h(i) = -i**2 - 10*i - 2. Let o(y) = -2*h(y) - 3*u(y). Let g be o(-7). Sort 2, g, -3, 0 in descending order.
2, 0, g, -3
Let g(y) = -7*y + 4*y + 9*y - 5. Let z be g(5). Suppose a = h - 7, -3*h + z = 2*h. Put 4, -1, a in descending order.
4, -1, a
Suppose 5*i - 9 = -9. Suppose 5*t - 9 - 25 = -3*x, -5*x + 15 = i. Sort t, -5, -3 in decreasing order.
t, -3, -5
Let o = 207 - 211. Sort 0.13, 1, o, 0.3 in ascending order.
o, 0.13, 0.3, 1
Suppose -w - 2 = 2*n - 8, 0 = w + 4. Suppose -c - 4*c - n*d - 10 = 0, -c + 10 = 5*d. Sort -2, -3, c.
c, -3, -2
Let r = 0.03 - -1.97. Let m = 4 - r. Let q be (-4)/10*15/(-24). Sort -5/3, q, m in descending order.
m, q, -5/3
Let w(p) = 7*p**2 + 3*p + 2. Let y be w(-2). Suppose -l = y - 24. Sort 5, l, -8 in ascending order.
-8, l, 5
Let f = -8.1 + -101.9. Let u = 107 + f. Put 0.1, 5/8, u, 4 in ascending order.
u, 0.1, 5/8, 4
Suppose 4*m - 22 = -2. Let t(p) = p**2 + 7*p + 6. Let o be t(-5). Suppose 2 = n + 3. Sort o, n, m.
o, n, m
Let a = 1843 + -1820. Put a, 1, 4, 0 in decreasing order.
a, 4, 1, 0
Suppose 68*o + 98 = 54*o. Sort -1/8, o, -2 in decreasing order.
-1/8, -2, o
Let a = 197 - 197.538. Let v = 0.038 + a. Put v, -4, -0.3, -2 in ascending order.
-4, -2, v, -0.3
Let a = 45 - 41. Sort 4/11, a, -1/5 in decreasing order.
a, 4/11, -1/5
Let u be ((-2 - -1)*1)/((-30)/120). Suppose -8*m - 12 - u = 0. Sort 5, -5, m in decreasing order.
5, m, -5
Let f = -14 - -15. Suppose t = i - 1, -3*t + f + 0 = -5*i. Sort 5, i, -6.
-6, i, 5
Let x = -128 - 1. Let p = x + 128.8. Put 2/5, 1/6, 2/7, p in increasing order.
p, 1/6, 2/7, 2/5
Suppose 2*l = -0*o - 4*o + 14, 2*o = 4*l + 22. Let r(a) = -2*a + 2. Let q be r(1). Put -4, q, l in decreasing order.
q, l, -4
Let o = -72 - -72.03. Put o, -5, 6 in decreasing order.
6, o, -5
Let b = -1923 - -7693/4. Sort 384, 0.3, b.
b, 0.3, 384
Let p be (-1)/3*3 + -1 - -1. Let i = -21 + 16. Sort i, p, 0.4, -4 in decreasing order.
0.4, p, -4, i
Let a = -115 - -65. Let j be ((-40)/(-50))/((-4)/a). Suppose -2*d = -7*d + j. Sort d, 0, -2 in increasing order.
-2, 0, d
Let k = -0.056 - 6.844. Let d = -0.1 + k. Let h = 0.2 - -0.3. Put h, 5, d in ascending order.
d, h, 5
Let r(u) = 3*u - 17. Let x(m) = -m + 1. Let s(d) = r(d) + 4*x(d). Let h be s(-10). Sort 4, h, -5 in descending order.
4, h, -5
Suppose 2*v - 5*o = 167, -128 + 321 = 3*v + 4*o. Put v, 5, 2 in descending order.
v, 5, 2
Suppose 3*a - 2*a - 14833 = -5*j, -5*a + 5947 = 2*j. Let k = j + -15354/5. Let c = 104 + k. Put -1/5, c, 12 in decreasing order.
12, -1/5, c
Suppose -3*v = -3*x + 84, 4*x = -v + 12 + 120. Suppose x = 4*n + h - 6*h, -25 = -3*n + 4*h. Put 5, -2, 1, n in ascending order.
-2, 1, n, 5
Let c be (-15)/36*(-6)/15. Let m = 16 - 8. Let q = -7.6 + m. Sort -0.2, c, q.
-0.2, c, q
Let c = 56 - 117. Let f = -59 - c. Sort -5/6, f, 3, -3/13 in descending order.
3, f, -3/13, -5/6
Suppose -458*s + 439*s = -95. Sort 2, 4, -25, s in descending order.
s, 4, 2, -25
Let t = -108.27 + 17.17. Let c = t - -91. Sort 4/3, 0.1, 2, c in decreasing order.
2, 4/3, 0.1, c
Suppose 0*j = -4*j - 16. Let q(z) = -z**3 + 10*z**2 + 25*z + 8. Let m be q(12). Let l be (6/(-4) + 50/m)*2. Put j, -1, l in increasing order.
j, -1, l
Let m = -4.24 + 8.02. Let f = -0.22 - m. Sort 5, 4/9, -0.2, f.
f, -0.2, 4/9, 5
Let m = 19 - 32. Let q = 41 - 51. Let o = q - m. Put -0.4, o, 1 in ascending order.
-0.4, 1, o
Suppose 290*j - 8 = 292*j. Let f = -0.1 - -1.1. Let d = 1.2 - f. Sort j, d, -2/3 in ascending order.
j, -2/3, d
Let n(a) = -a**3 - a**2 + 4*a + 1. Suppose 2*m + 9 - 3 = 0. Let d be n(m). Suppose 5*p = 2*x + 23 + d, -27 = -3*p + 3*x. Sort 2, -1, p in increasing order.
-1, 2, p
Let y = -0.1 - 0.1. Let a be -2 + 7 + (-9)/3. Let t be 1/(-4 - (-6)/a). Sort t, y, -5 in descending order.
y, t, -5
Suppose 0 = -3*h - h + 20. Let g = h - 1. Suppose 5*k - 199 + 194 = 0. Put g, -3, k in decreasing order.
g, k, -3
Let o(r) = -2*r + 18. Suppose q = 7 + 1. Let z be o(q). Let u be (z/4)/(4/16). Sort u, -5, -8 in decreasing order.
u, -5, -8
Let g = -187 - -188. Sort 2, 10, g, -1 in descending order.
10, 2, g, -1
Suppose 9*o = 12*o - 3. Sort o, -52, 4 in ascending order.
-52, o, 4
Let a = 2/689 + -695/2067. Put 68, a, 4, -1 in descending order.
68, 4, a, -1
Suppose 2*m - 7*k + 27 = -2*k, 4*m = -3*k - 41. Put m, -8, 3 in descending order.
3, -8, m
Let h = -3.5 - -3.2. Let a = 0.15 + -5.15. Let z = a + 4.3. Sort 0.4, h, z in decreasing order.
0.4, h, z
Let r = -59 + 58.06. Let f = -0.54 - r. Put f, -2, 1/11, 0.1 in increasing order.
-2, 1/11, 0.1, f
Let k = -0.1 - -1.1. Suppose -257*q - 277 = -31*q + 175. Put k, q, -0.16 in decreasing order.
k, -0.16, q
Let r = -1062 + 803. Sort 0, -4, r.
r, -4, 0
Let o be -2 - 1 - (-19 + -1). Suppose 5*k - 6*k = -o. Let r = k - 15. Put 1/9, r, -3 in decreasing order.
r, 1/9, -3
Let h be (-2)/42*(-12)/(-2). Let m = -19 - -56/3. Put m, -4, h, -0.6 in increasing order.
-4, -0.6, m, h
Let i(w) = 1 + 5*w + w**2 + 6*w - 17. Let v be i(-12). Suppose 0 = 8*y - 4*y + 12. Sort y, v, -2 in increasing order.
v, y, -2
Let a(w) = w**2 + 4*w + 1. Let x be a(-4). Sort -3, -12, x, 3 in ascending order.
-12, -3, x, 3
Let s = 244 + -981/4. Suppose 6*t - 408 = 558. Let f = -1125/7 + t. Put f, s, 0.2 in descending order.
f, 0.2, s
Suppose 0*f + 3*f - 18 = 0. Let z = 184 - 186. Sort z, f, 0, 5.
z, 0, 5, f
Suppose 5 = 4*x + 5*a, 162*x = 165*x + 5*a - 5. Sort x, -3, -91 in descending order.
x, -3, -91
Suppose -2*m + 4*h - 12 = h, 4*m + h + 52 = 0. Let a be (m/(-36))/((-1)/(-9)). Let f be (1/2 - 1)*2. Sort a, f, 1 in descending order.
a, 1, f
Suppose 5*n = 2*q + 18, 2*n - 17 = -4*q - 5. Let h be 4 + (-3)/(-1 + 0). Suppose -3*z = h - 13. Sort z, 3, n in descending order.
n, 3, z
Let m be 5/((-4)/4)*3. Let j = -14 - m. Sort -5, 3, j, 2 in descending order.
3, 2, j, -5
Suppose 5*t - 3*i = -i - 42, i + 14 = -t. Let v be 3 + -4 + t/(-12). Put -4/3, -4, v in decreasing order.
v, -4/3, -4
Suppose 7 = 5*u - 4*b, 4 = 2*b - 0*b. Suppose u*w + 28 = 7*w. Let k(c) = c**2 - 9*c + 10. Let l be k(w). Sort -1, l, 0 in descending order.
0, -1, l
Let m = -413 + 411. Sort m, -4, 3, 0 in increasing order.
-4, m, 0, 3
Let f be (7/1 - 1)/(18/12). Let g be 6/(-3) + (-6 - -3). Sort g, f, -4 in decreasing order.
f, -4, g
Suppose -5*k - 110 = -115. Sort 6, 0, k, -9 in ascending order.
-9, 0, k, 6
Let k be 3/(-252)*1268 - (-4)/42. Put k, 1, -5 in increasing order.
k, -5, 1
Let c be 3 + (12 - 4/(-8)*-6). Suppose -r - 23 = -5*q, 3*q - 1 = -5*r - 4. Sort r, c, -5 in increasing order.
-5, r, c
Suppose 3*n = 16 + 20. Suppose y + n = 4*y. Let v(j) = j**2 + 14*j - 49. Let d be v(-17). Put d, 0, y in descending order.
y, d, 0
Let x(i) = i**3 + 10*i**2 + 9*i + 5. Let r be x(-9). Let c = -8.1 - -8. Sort c, 2, r.
c, 2, r
Let d be 0 - (-1)/(5/20). Suppose -3*t + 35 = d*t. Sort t, 0, 2, 8.
0, 2, t, 8
Let s be -1 - 2 - -1*0/(-1). Let z(t) = -t + 6. Let p be z(6). Suppose -5*v - 5 = -p*v. Sort v, s, 3 in increasing order.
s, v, 3
Let t = 0.431 - 0.131. Put -0.2, 1/3, t, 0.2 in decreasing order.
1/3, t, 0.2, -0.2
Let f = 9396 + -9357. Suppose 0*z = z, -z = 3*l - 12. Put l, f, 1 in decreasing order.
f, l, 1
Let l be ((-2)/4)/(5/(-2)). Suppose -4*p - 2*h = 6, -3*p + 8*p - 3 = h. Sort -2/3, p, l, -4 in descending order.
l, p, -2/3, -4
Let k = 58 + -52. Suppose 6*d = 12 - k. Sort -4, 2, -3, d.
-4, -3, d, 2
Suppose -119*r + 133*r - 56 = 0. Sort 138, -2, r.
-2, r, 138
Let m = 6 + -5.5. Let a = -2856 - -2856. So