ing order.
f, 0, -3/4
Let r = 4 + -7. Let d = 4 + r. Let g = -1 - d. Sort 3/2, -2/5, g.
g, -2/5, 3/2
Suppose -3*h - 17 = 5*m - 0*h, 5 = -2*m - 3*h. Sort m, 0.4, -1/2, 3 in decreasing order.
3, 0.4, -1/2, m
Let m = 11 - 1. Let a = -9 + m. Put -0.12, 0, a in descending order.
a, 0, -0.12
Suppose 2*d - 3 = l - 18, 5*l - 2*d = 43. Let p be (-2)/4 - l/2. Put p, 3, 5 in ascending order.
p, 3, 5
Let f = 0.08 - -0.32. Sort -2/11, f, 0.7 in ascending order.
-2/11, f, 0.7
Let i = -644/5 - -128. Sort -5, -2, 1, i.
-5, -2, i, 1
Suppose 3*j = 3, 2*t - 5*j + 10 = -5. Sort t, -4, 5 in descending order.
5, -4, t
Let a = -0.8 + 1. Let i be (-2)/(-4) - 2/6. Put a, i, 0.3 in descending order.
0.3, a, i
Let t be 18/(-8)*(-80)/60. Sort t, -4, 4 in descending order.
4, t, -4
Let y(a) = a**3 - a**2 - 2. Let c be y(2). Suppose -2*b + 4 = -0*b - 3*j, -4*b - 3*j = 28. Let r be 3 + -1 - b - c. Sort -5, -2, r.
-5, -2, r
Let n = -7 + 6. Let t = 1.09 - -0.11. Let h = t + n. Put 1/2, h, 3 in decreasing order.
3, 1/2, h
Let z(a) = -a - 7. Let c be z(-9). Suppose o + 3*o - c*x = 0, -x = -5*o - 6. Let t be o/(-6) - (-3)/(-9). Put 1, t, -2 in descending order.
1, t, -2
Let u = 8.2 + -7. Let k = -2.8 - u. Sort -6, k, -3 in ascending order.
-6, k, -3
Let l(h) = h**3 + 9*h**2 - h - 6. Let k be l(-9). Suppose -k*p + 0*f - 11 = -2*f, -4*p - 13 = -f. Let j be 2/(-4)*-1*-2. Sort j, p, -2 in descending order.
j, -2, p
Let m = 6.6 - 6.8. Put 5, m, 1/4, 3/7 in increasing order.
m, 1/4, 3/7, 5
Suppose 1 = 4*q - 7. Suppose -4*b - 23 - 57 = -4*a, 4 = 2*a. Put b, q, 4 in ascending order.
b, q, 4
Let f be (7 - -2 - 3)*1/(-3). Sort 5, f, -1, 4 in ascending order.
f, -1, 4, 5
Let d be (8/52)/((-6)/35). Let f = -3/13 - d. Put f, 2, -4 in increasing order.
-4, f, 2
Let p = -1 - -0.5. Let r = 4 - p. Let g = r - 5. Sort 3/4, g, -1/4 in descending order.
3/4, -1/4, g
Suppose -u + 6*u - 5 = 0. Let i(d) = 3*d - 3. Let c be i(3). Suppose -2 = -4*k - c. Sort k, 4, u in ascending order.
k, u, 4
Let w = -0.033 - 0.267. Sort 1/4, -0.5, w, 2/3.
-0.5, w, 1/4, 2/3
Let r = -1 + 3. Suppose -4*h = -3*h. Sort h, 5, r.
h, r, 5
Let y = 0.2 + -16.2. Let f = 11 + y. Put 0.4, 1/2, f in descending order.
1/2, 0.4, f
Suppose 2*y = -5*z + 3, 2*y + z = -y + 24. Suppose 0 = 5*g - 2*g + y. Sort g, -5, -1/9 in ascending order.
-5, g, -1/9
Let o = 197 - 1376/7. Let l = 0.12 - 0.1. Let p = 0.28 + l. Sort -2/9, p, o in decreasing order.
o, p, -2/9
Suppose 0*k + 2*k = 8. Suppose -11 = 4*j - 3*x - 0*x, 5*j = -2*x + 15. Put k, j, 0.1 in decreasing order.
k, j, 0.1
Let l(p) = p - 3. Let v be l(7). Let s be (8/36)/(v/3). Let t = 100/3 - 298/9. Sort -2/3, t, s in increasing order.
-2/3, s, t
Let k(t) = -t**2 + 8*t + 5. Let p be k(9). Sort -1, p, 2 in decreasing order.
2, -1, p
Suppose 3*a + 5 + 4 = 0. Let y be -41*(-2)/(-26) - a. Sort 3, y, -1.
-1, y, 3
Let y be 3/(447/60 - -2). Let a = -16/21 + y. Let h = 30 + -30. Sort 1, a, h in ascending order.
a, h, 1
Let i = -13.5 - -20. Let w = 18 - 12. Let p = i - w. Sort -2, p, -0.1 in descending order.
p, -0.1, -2
Let w be (2 - 0) + (-9)/3. Let l be 0/(-3 - w - 0). Put l, 3, -3 in decreasing order.
3, l, -3
Suppose 3*i = -1 + 7. Let o(w) = -2*w**2 + 3*w. Let n be o(i). Let t(m) = -m**2 + 3*m + 1. Let u be t(3). Sort n, u, -4 in increasing order.
-4, n, u
Let t(k) = -2*k**3 - 2*k**2 + 3*k + 7. Let b(d) = -d**3 - 3*d**2 + 3*d + 6. Let p(s) = -3*b(s) + 2*t(s). Let u be p(4). Sort -2, 2, u in decreasing order.
2, u, -2
Suppose p + 2*p = 0. Let z be ((-2)/(-8) - p)/1. Let x = 0.8 + 3.2. Sort 0, z, x in descending order.
x, z, 0
Suppose 0*d + d = 2. Suppose 2*x - 5 - 5 = 0. Suppose 0 = j + x. Sort d, 4, j in decreasing order.
4, d, j
Suppose -4 - 4 = -2*b. Put 5, -1/2, b in descending order.
5, b, -1/2
Let j = 2 - 2.01. Let v = 1.01 + j. Put 0.2, v, -3 in descending order.
v, 0.2, -3
Suppose -3*y = -2*i - 3, -5*i - y + 5*y = 4. Suppose 0 = -5*t, 4*t + 4 = 3*l - 2*l. Put i, l, 1 in increasing order.
i, 1, l
Let n = 64 - 63.5. Let g = -5.4 - -5. Sort n, 5, g in ascending order.
g, n, 5
Let w = -44/67 + -2/201. Sort -0.5, 0, w in ascending order.
w, -0.5, 0
Let l be (5/4 - 0)*4. Let x(u) = -u**2 - u - 2. Let s be x(0). Let t be ((-1)/(-2))/(1/s). Put t, -2, l in decreasing order.
l, t, -2
Let b = 3/2 - 25/16. Sort 1/5, -0.5, -4, b.
-4, -0.5, b, 1/5
Let o = -331/30 - -67/6. Let x = -22 + 17. Let g be (3/18)/(6/(-9)). Put x, o, g in increasing order.
x, g, o
Let j = 98 + -94. Put j, -1, -4, -2/5 in ascending order.
-4, -1, -2/5, j
Let f(v) = -v - 4. Let u be f(-4). Suppose -g + 1 + 5 = u. Suppose 4*b + 14 = 3*d - 6, 3*b = -g. Put d, 2, -4 in ascending order.
-4, 2, d
Let s = 12 - 10. Suppose -s = 2*v - 10. Suppose 3 = -w - 1. Sort 0, w, v in ascending order.
w, 0, v
Let t = -4 + 5. Let i = -0.8 + t. Sort i, -2, 0 in decreasing order.
i, 0, -2
Let k = 4.7 + -0.7. Let q = 3.2 - -1.8. Put k, q, -1/2 in descending order.
q, k, -1/2
Let h be (-17)/(-3) - 4/6. Suppose -4*u = y + 3*y - 4, 0 = -3*u - h*y + 3. Sort u, -2, 5 in ascending order.
-2, u, 5
Suppose -2 = x, 0 = q - 2*x - 1 - 1. Let p(i) = i**2 - i + 2. Let s be p(0). Put 5, q, s in increasing order.
q, s, 5
Let d = 0 - 1. Let m be (-2)/(-4)*(-1 - d). Sort -5, m, 3 in increasing order.
-5, m, 3
Let n = 4 + -3.5. Put -2, 0.4, n in ascending order.
-2, 0.4, n
Let p(h) = h**3 - 4*h**2 - 8*h + 3. Let l be p(5). Put 1/4, 2/15, l in decreasing order.
1/4, 2/15, l
Let i = 9 - 14. Sort -2, i, -3.
i, -3, -2
Suppose 5*b - 5 = -2*c, 4*b + 1 = -3*c - 2. Put -2, 2, -3, b in ascending order.
-3, -2, 2, b
Let r = 0.076 - -1.924. Let v = 2/223 - 677/892. Put -7, r, v in increasing order.
-7, v, r
Suppose -2 = -3*j + 10. Let f be 1/(j/((-16)/(-18))). Let p = 43.4 - 43. Sort 0.1, p, f.
0.1, f, p
Let g be 1/((-1)/(-3)) - (0 + 1). Put -1.1, -0.5, g in ascending order.
-1.1, -0.5, g
Let v = 1 + -1.4. Let j = 6 - -10. Let a = -16 + j. Sort v, 5, a in increasing order.
v, a, 5
Let j = -3434/13 + 264. Let i be (3/21*-4)/(2/7). Sort i, j, -1.
i, -1, j
Let j = -0.87 + -0.23. Let v = -6.243 - -0.143. Let d = v - j. Sort d, 1, 0.3 in descending order.
1, 0.3, d
Let o = 106 + -532/5. Put 4, -12, o in decreasing order.
4, o, -12
Let k = 15 - 15. Sort k, 3, 2/33.
k, 2/33, 3
Let p = -20 + 25. Let w = p + -5.2. Put w, -0.3, 0 in decreasing order.
0, w, -0.3
Let d = -128 + 127.8. Put -1, 1, d in ascending order.
-1, d, 1
Suppose 4*u = -4*q - 37 - 39, -4*u - 12 = 0. Let v be (-1 - -3)/q + 0. Suppose -4*i + 0*x + x - 25 = 0, x = -2*i - 5. Put v, 5/6, i in descending order.
5/6, v, i
Let a = -7 - -11. Let p = a + -6. Put 4, p, 3 in increasing order.
p, 3, 4
Let b = 0.7 - 0.2. Let y = -4 - -6. Suppose -y*r = -r - 1. Put -0.5, b, r in decreasing order.
r, b, -0.5
Suppose -5*z = -h - 0 + 13, -2*h + 6 = 0. Sort z, -4, -1, -3 in decreasing order.
-1, z, -3, -4
Let w be 3*(-8)/(-14) + -2. Sort -0.5, w, -0.3 in decreasing order.
w, -0.3, -0.5
Let z = 5 + -10. Let m = 0.25 + 0.15. Sort 1/6, m, z in ascending order.
z, 1/6, m
Let o = -33 + 33.5. Sort 3/5, -2/13, o, -2/5.
-2/5, -2/13, o, 3/5
Let k = 1 - -1. Let n be ((-3)/2)/(k/(-4)). Let r be -1*n/3*1. Put r, 0, 5 in increasing order.
r, 0, 5
Let g = 0.9 - -0.1. Suppose 0 = 2*w + 3*w - 30. Let b be (w/(-8))/(-1 + 7). Sort g, 3, b.
b, g, 3
Let l = 267755 - 2948350/11. Let b = l - -277. Suppose 5 = -2*r - 3*r. Put -0.4, b, r in increasing order.
r, -0.4, b
Let z = 10.51 - 9.5. Let i = 3.01 + -3. Let t = z - i. Sort -4, -0.4, t.
-4, -0.4, t
Let x = -83/9 - -9. Let j = -0.4 + -0.2. Let s = j - -0.2. Sort s, -2, x in increasing order.
-2, s, x
Suppose 2*j + 25 = 5*j + 5*z, 0 = 2*j + 5*z - 20. Suppose -j*l + 21 = 1. Let r(i) = 2*i + 5. Let t be r(-4). Sort l, 0, t in ascending order.
t, 0, l
Let p = -4 + 9. Let h be (10/(-75))/(2/(-6)). Put h, p, 0 in increasing order.
0, h, p
Let r = 13 - 8. Let t = -0.84 + 1. Let x = -0.06 + t. Sort x, r, -2/11 in descending order.
r, x, -2/11
Let f = 7 - 7. Suppose 3*d + 11 - 2 = f. Suppose 0 = 3*g - 5*g. Sort d, 2, g in ascending order.
d, g, 2
Let p = -0.9 - -0.6. Sort 0.12, p, 0.5 in descending order.
0.5, 0.12, p
Let s be 4/18 - (-1 - 10/(-45)). Sort -12, -5, 0, s in decreasing order.
s, 0, -5, -12
Let q be ((-4)/(-6))/(6/(-153)). Let y = q - -18. Sort 2/7, y, -5 in descending order.
y, 2/7, -5
Let g = -9 