.
0, b, 4
Let u be 1 + 17/((-85)/30). Put -1, 35, u in descending order.
35, -1, u
Suppose 5*m + 18 = -6*k + 2*k, 2*k + 10 = -3*m. Let g = -319 + 319. Sort k, g, -5 in ascending order.
-5, k, g
Suppose 0 = -9*o + 2 + 43. Sort -2, -20, o, 4 in increasing order.
-20, -2, 4, o
Let u = -944 + 941. Sort 20, u, -5 in decreasing order.
20, u, -5
Suppose -8 = -4*q + z + 4*z, -3*q - z = 13. Sort 0, q, -10, 0.5.
-10, q, 0, 0.5
Suppose 3*f - 5 = 2*p, 5*p = -3*f + 12 + 7. Sort -4, -15, f in ascending order.
-15, -4, f
Let f = -2 - -3. Suppose -485*d + 8 = -487*d, -8 = -3*x + 5*d. Sort 0, f, x, -2 in decreasing order.
f, 0, -2, x
Suppose -70*w + 5 = -69*w. Suppose 10 = -4*x + 2*x. Sort 3, w, x, -3.
x, -3, 3, w
Suppose 0 = -4*u + 15 + 17. Suppose -5*i + 26 = 2*y, -i + 28 = 4*y + 3*i. Sort y, u, 5, 0 in descending order.
u, 5, y, 0
Let z = 2.55 + 0.45. Let m = -2.6 + 3. Let w be 1/((-10)/(-4) - 3). Put z, w, m in decreasing order.
z, m, w
Let b = -1720 + 1715. Suppose z + 4*z = 0. Sort z, 2, -28, b.
-28, b, z, 2
Let a = 0.89 - 4.89. Put 12, a, 2/7 in decreasing order.
12, 2/7, a
Let k = 1053 - 1246. Put 0.1, k, 5, 1 in decreasing order.
5, 1, 0.1, k
Suppose 0*g - 2*g = 0. Let j(x) = -11*x**2 + 65*x + 11. Let y be j(6). Put -1, y, g in decreasing order.
y, g, -1
Suppose -q + s - 2*s = 9, -2*q + 3*s + 2 = 0. Let z(w) = -w - 1. Let g be z(2). Suppose 2*a - 35 = n, -a = 3*a + 4*n - 40. Sort a, q, g in descending order.
a, g, q
Let q = -1233 - -1230. Sort 1, q, 8, 2.
q, 1, 2, 8
Let b = 231 - 231. Sort 4, 6, b, 1 in decreasing order.
6, 4, 1, b
Suppose 30 = -10*h - 0. Suppose -2*g = -3 - 3. Let m be (-21)/(-9) + 2/g. Sort -4, h, m in decreasing order.
m, h, -4
Let i(m) = -40*m - 135. Let b be i(-4). Sort 7, b, 0, 2 in descending order.
b, 7, 2, 0
Let c(l) = -11*l. Let t be c(2). Let u be 2/4 - (-55)/t. Put -1, u, 1 in decreasing order.
1, -1, u
Suppose -5*g = -o - 33, 0*o + o = -g + 9. Let w be g/20 + 15/(-20). Let u = -0.7 - -0.7. Sort 4, u, w in ascending order.
w, u, 4
Suppose 4*w - 3*w + 3 = 0, 5*z = -3*w + 66. Suppose 4*p + 61 + 9 = 5*k, 0 = 2*k + p - z. Let n be 68/28 + 9/(-21). Sort -3, k, n.
-3, n, k
Let y = 886 + -885.5. Sort y, -0.2, 1, -3 in ascending order.
-3, -0.2, y, 1
Suppose -3*p + 5*n = 10*n + 13, 2*n - 10 = -5*p. Sort -5, 79, p, 2 in descending order.
79, p, 2, -5
Let f be ((-156)/9)/(-4) - 5. Sort 3/2, -1, f.
-1, f, 3/2
Let l be ((-2)/(-20))/(-7 - 135/(-20)). Let h = -0.05 + 0.35. Put h, 4, l in descending order.
4, h, l
Suppose 9*o = 11*o + f + 10, 0 = -2*o + 5*f + 14. Let x be (2 + -4)/4*-6. Sort 8, x, o.
o, x, 8
Let o = 9 + -5. Let y = -1.5 - -1.8. Sort o, y, 1.7.
y, 1.7, o
Let s = -189 + 185. Let q = -7 + 10. Put s, q, -3 in decreasing order.
q, -3, s
Let o = 36.38 - 36. Let z = 2.48 - o. Let p = z + -2.5. Put -2, p, -15 in descending order.
p, -2, -15
Let d be -2 + (-1 - -1) + -1. Let u be (-20)/8*-2 + 3. Let t = u + -3. Put t, d, -1 in descending order.
t, -1, d
Suppose 19 = -70*i + 19. Suppose 0*o = 4*r + 5*o + 26, 4*o - 17 = r. Sort 0.5, 1/7, r, i.
r, i, 1/7, 0.5
Let m = 81 - 161. Let p be 0 - 5/m*-4. Let v = -167 + 1167/7. Sort 5, p, v in decreasing order.
5, p, v
Suppose -5*k = k - 36. Let o be (-3 - k)*(8/(-3) - -2). Sort 4, o, -1.
-1, 4, o
Let x be ((-4)/(-12))/(1 - (-20)/(-18)). Let o = 1.873 + 0.127. Put o, -2/3, x, -2 in increasing order.
x, -2, -2/3, o
Let j = -16 - -21. Suppose j*n + 35 = 95. Let s be -1 - (-3 + n/9). Sort s, -0.2, 2 in increasing order.
-0.2, s, 2
Let h = -38 + 40. Let i = -5 - -4.5. Sort i, h, 4 in ascending order.
i, h, 4
Let i(c) = -c**2 + 17*c - 121. Let v be i(17). Sort 0, v, -3, 4.
v, -3, 0, 4
Let c = -9 - -6. Let g = -314 - -318. Let u = 3/11 - 45/44. Put u, g, c in decreasing order.
g, u, c
Let q = 2.05 + -1.95. Sort 4, -39/5, q in descending order.
4, q, -39/5
Let k = -17 + 22. Suppose -2*u + 36 = -k*u. Let x be (5/(-2))/(u - -13). Put 3, x, 4 in decreasing order.
4, 3, x
Suppose 3*v + 4*j = 0, -3*v - j = v - 13. Suppose -3*m + 7 = -v*n - 0, -n = m. Sort 3, m, 4 in increasing order.
m, 3, 4
Let f(y) = -2*y**2 - 14*y - 10. Let b be f(-6). Let h be (36/21)/((-6)/(-21)). Let i be 2*(-2 + 27/h). Sort 9, b, i.
b, i, 9
Let r = -632 + 629. Put 2, r, 37 in descending order.
37, 2, r
Let p(a) = 9 + 3*a - 10 - 25. Let y be p(8). Sort 4, -3, y.
-3, y, 4
Let h = -19 - -11. Let t = -7.9 - h. Let o = 0.22 + -5.22. Sort 0, t, o in ascending order.
o, 0, t
Suppose -2*w - 2 = w + 2*y, 5*w + 10 = -5*y. Let s be -2*w*(-5)/4. Let k(d) = -120*d + 124. Let t be k(1). Put s, -8, t in decreasing order.
s, t, -8
Let c be 21/((-189)/(-18)) + 0. Sort 5, -1, 21, c in increasing order.
-1, c, 5, 21
Let j(q) = 7*q - 9. Let c be j(2). Sort -5, -4, c, 0 in increasing order.
-5, -4, 0, c
Suppose -17 = 8*m - 25*m. Sort 2, m, 7, 0 in descending order.
7, 2, m, 0
Let x = 2 + -2. Let o = 6.42 + -6. Let q = o - 0.72. Sort x, -2, q in decreasing order.
x, q, -2
Let b = 15 + -12. Suppose 4*o - 4*o = b*o. Let r = 4 + -8. Put o, 14, r in descending order.
14, o, r
Suppose 0 = 5*d + 3*x + 31, 39 = -11*d + 8*d + 5*x. Let r(m) = -m**3 + 2*m**2 + 5*m - 4. Let u be r(3). Let c = u + -3. Put d, 0, c in descending order.
0, c, d
Let p = -43 + 40. Suppose 0 = 2*f - 0*f - 8. Suppose -2 = 3*q + f*h, -5*h + 0*h + 5 = 0. Put -5, q, p in decreasing order.
q, p, -5
Let x(g) = -47*g + 86*g - 41*g + 2. Let l be x(2). Sort l, -11, 1 in ascending order.
-11, l, 1
Let c = -11.2 - -3.7. Let z = 5.5 + c. Let x = -0.32 + 0.02. Sort x, z, 0.4 in descending order.
0.4, x, z
Let y = 34 + -49. Sort y, 2, -4, 4 in decreasing order.
4, 2, -4, y
Let x(b) = -b**3 + 7*b**2 - 11*b - 5. Let l be x(5). Sort 8, l, -4 in descending order.
8, -4, l
Let o = -8 - -10. Let t(s) = -s**3 + 7*s**2 - 5*s - 4. Let w be t(6). Suppose 0*r = -w*r - o. Sort -4, -2, r in ascending order.
-4, -2, r
Suppose -3*h + 0 + 3 = 0. Let y(s) = 5*s**2 + s + 1. Let t be (1/2)/(3/(-6)). Let k be y(t). Sort k, 3, h in ascending order.
h, 3, k
Let x = 1012.1 - 1012. Sort -67, -0.2, x in ascending order.
-67, -0.2, x
Let h = -149 - -150. Sort -0.57, 0.5, h.
-0.57, 0.5, h
Let w = -0.04 - -0.24. Let r be (-14)/8 + 3/12. Let s = 27/35 + -11/7. Sort r, w, s.
r, s, w
Let h = -171 + 167. Put 84, h, 0 in decreasing order.
84, 0, h
Let c = 15 + -17. Put 8, c, 6 in ascending order.
c, 6, 8
Let p = -1680 + 1682. Sort p, -1, -2, -29 in ascending order.
-29, -2, -1, p
Let m be -2 - (6/27 - 69/27). Let f = 2.7 + 2.3. Put f, -0.3, -2/5, m in decreasing order.
f, m, -0.3, -2/5
Let c = 16.1 - 23.4. Let s = -4.3 - c. Sort 0, -0.4, -0.3, s.
-0.4, -0.3, 0, s
Let d(c) = c**2 + 6*c - 5. Let p(x) = x**3 - 9*x**2 + 5*x + 17. Let j be p(8). Let n be d(j). Let t be 5 - 5 - n/1. Put t, 2/3, 1/3 in decreasing order.
2/3, 1/3, t
Let w = -0.827 + 0.027. Put w, 3, -2/5 in descending order.
3, -2/5, w
Suppose -1 = -3*h - 4. Suppose -5*s + 10 = 5*y, 4*s - 16 + 2 = 2*y. Suppose -21 + 49 = 28*d. Put h, d, s in increasing order.
h, d, s
Let r = -0.096 + 0.916. Let c = r - 0.12. Let f = 3.7 - c. Put -0.4, f, 0.2 in decreasing order.
f, 0.2, -0.4
Let k(h) = 6*h - 1. Let r be k(1). Suppose -3*s - o = -s + 3, o = -r*s - 12. Let z = 612 + -611. Sort s, z, 5.
s, z, 5
Suppose 2*x + 1 - 11 = 0. Suppose 3*a + 1 = -2, -2*b - 3*a = -x. Suppose 32 = 4*g + 4*c, g - c = -g + 7. Put g, 1, b in decreasing order.
g, b, 1
Suppose 0 = -29*o + 24*o - 10. Put o, -14, 2, 0 in ascending order.
-14, o, 0, 2
Let i(f) = -2*f**2 - 29*f + 23. Let h be i(-15). Sort -3, 5, h.
-3, 5, h
Suppose 2*y + 10 = -6. Let t be y*(-3 - 2/(-1)). Suppose -3*s + t = -7. Sort -4, 3/5, s in decreasing order.
s, 3/5, -4
Let u = -152 - -149. Sort u, 2, -2 in ascending order.
u, -2, 2
Let x be -4 + -1 + 42/(-112)*-8. Put 3, -114, x in decreasing order.
3, x, -114
Suppose 78 = 131*y - 129*y. Suppose y*v = 40*v. Sort -3, -1, v, 5 in descending order.
5, v, -1, -3
Let t = -50 - -89. Let s = -35 + t. Let z = 0 + -1. Sort s, 1/3, z in descending order.
s, 1/3, z
Suppose 2*j - 8 = 0, -2*t = 4*j - 9 + 3. Put 2, t, -24 in ascending order.
-24, t, 2
Let l = -0.26 - 1.24. Let c = 1.3 + l. Sort 0.1, -1.8, c.
-1.8, c, 0.1
Suppose -5*a + 2*d + 5 = 3*d, 0 = 5*a - 4*d - 30. Suppose 0 = g + 4*g - 5, 2*g + 7 = -3*o. Put -5, a, 3, o in decreasing order.
3, a, o, -5
Let k be 16/96 + 25/(-6). Let g be 2*(