 in descending order.
5, 3, c
Let f = 36 - 179/5. Put -1, -0.1, f in decreasing order.
f, -0.1, -1
Suppose 4*b + l = 3 + 9, 5*b - 3*l - 32 = 0. Sort -1, b, 5 in descending order.
5, b, -1
Suppose -2*i + 2 = 4*b - 6, 4*b = -4*i + 20. Suppose 14*j = 9*j - 10. Put 1, j, i in ascending order.
j, 1, i
Let q = -1/5 - -1/3. Let p = -37/114 - -3/19. Put p, q, -1/3 in descending order.
q, p, -1/3
Let q = 1 + -3. Suppose 0*t + 3*f = 2*t - 9, -t = 3*f + 9. Put q, t, -1 in descending order.
t, -1, q
Suppose 0 = -2*k - k + 5*m + 22, 0 = -5*k + 5*m + 30. Put k, -5, 1 in increasing order.
-5, 1, k
Let r be 2/7 - 4/(-35). Let w = 47.94 - 50. Let f = -0.06 - w. Sort r, -0.5, f.
-0.5, r, f
Let y = -7 - -14. Let r = -6 + y. Put r, 5, -3 in decreasing order.
5, r, -3
Let l be ((-18)/(-3))/3 + 2. Suppose 8 = -0*z - l*z. Suppose -2*f - 8 = 2*i, -5*i + 2*i - 11 = 2*f. Sort 5, z, i in decreasing order.
5, z, i
Let l be 12/16 + (-29)/28. Let c(m) = -5*m**3 + 2*m**2 - 1. Let j be c(1). Sort 2/9, j, l in ascending order.
j, l, 2/9
Suppose 0 = 4*i - 0*i - 20, -5*i + 40 = 5*q. Let d = -2 + q. Let b(p) = -p**2 - 7*p + 18. Let m be b(-9). Sort m, d, 3 in descending order.
3, d, m
Let h = 0.036 - -4.964. Sort -4, 12, h in descending order.
12, h, -4
Let w = -9.5 - -14.5. Sort 0, w, 4 in increasing order.
0, 4, w
Let x be (2/4)/((-7)/(-56)). Let c = -87 - -82. Sort c, x, -1 in ascending order.
c, -1, x
Suppose -3 = 5*i + a, 2*i - i = 3*a - 7. Put i, -4, -2 in descending order.
i, -2, -4
Suppose -4 = -p - 0*p. Suppose -5*d - 34 = 4*u, p*d + 2*u + 28 = -u. Let h = -14 - d. Put 3, 2, h in ascending order.
h, 2, 3
Suppose 0 = -5*z + 15, -3*c - 3*z = 2*z - 24. Let r = 0 - c. Sort 1, 5, r.
r, 1, 5
Let j = 146 - 125. Put -5, j, -4 in descending order.
j, -4, -5
Let n = -0.92 - 4.08. Let h be (-3)/(-2 + -10) - 0. Sort h, n, 1 in increasing order.
n, h, 1
Suppose -8 = -2*c + 2. Sort c, 1, 3.
1, 3, c
Let b(t) = -t - 2. Let p be b(0). Sort p, 6, 4 in descending order.
6, 4, p
Suppose 6 + 3 = -3*r, -3*r = -5*n - 11. Let b(z) = 6*z + 71. Let m be b(-12). Put n, 2, m in descending order.
2, m, n
Let x(m) = m - 12. Let o be x(12). Suppose 2*k - 2*f + 12 = -o*f, k = -5*f. Sort -0.4, -1/3, k.
k, -0.4, -1/3
Suppose 2*h + 5 = 7*h. Let w be ((-4)/(-50))/(2/(-10)). Let o be 1 + 1 - 34/16. Sort h, o, w in decreasing order.
h, o, w
Let w = -8 - -10. Suppose x - 32 = -5*z, 2*z + 1 = w*x - 3. Sort 2, 0, x.
0, 2, x
Let p(t) = t**3 - 14*t**2 - 16*t + 10. Let r be p(15). Put r, -2/29, -0.3 in descending order.
-2/29, -0.3, r
Let o = -97 + 96.94. Sort o, 1/2, 4, -1 in ascending order.
-1, o, 1/2, 4
Let s = 50 - 73. Let t = -25 - s. Let j be (6/9)/(1/3). Sort j, 3, t in descending order.
3, j, t
Suppose -6 = -3*t + 2*t. Let o = -9 + t. Let h be -2 + 1*(-1 + -1). Put o, -2, h in decreasing order.
-2, o, h
Suppose -y - 4*y = 195. Let d be 19/y + (-6)/(-18). Let m = -0.1 + -0.3. Put d, 3, m in ascending order.
m, d, 3
Let k(n) = -n - 4. Let p be k(3). Sort -2, -1, p.
p, -2, -1
Suppose 11 = l - 5*g, 5 + 6 = 5*l - 3*g. Suppose -3*w + 0*w = 0. Put 5, w, l in ascending order.
w, l, 5
Suppose 0*i + 4*i - 20 = 0. Suppose -2*x + 0*x = -4. Let l be -2*(x/4)/1. Sort -2, i, l.
-2, l, i
Let b = 0.76 + -0.75. Sort -0.5, 2/5, b in increasing order.
-0.5, b, 2/5
Let j = 13 + -26. Put j, 1, -5 in ascending order.
j, -5, 1
Let m(d) = 0*d - d + 0*d. Let i be m(2). Let v be -1 - (0 - 1) - 1. Sort -3, i, v in descending order.
v, i, -3
Let l = -0.5 - -0.1. Let h = -0.4 - -0.3. Let p = l - h. Sort -2/5, 5, p in decreasing order.
5, p, -2/5
Suppose -5*s - z + 3 + 4 = 0, 0 = -s + 3*z + 11. Suppose 4*n - 12 = -4*i, -i + 6 + 3 = -5*n. Put 1, s, i in descending order.
i, s, 1
Suppose 7*l + 0*l + 7 = 0. Sort l, 1, -4.
-4, l, 1
Let b be (10/15)/((-2)/(-9)). Let r be (4 + (-36)/8)*10. Put -4, r, b in decreasing order.
b, -4, r
Suppose 2*t - 22 = 5*j, t - 4*t - 1 = j. Let b = -16 + 10. Let f = b + 10. Sort f, t, 2 in ascending order.
t, 2, f
Let n = -155 + 157. Put 1/7, -5, n in decreasing order.
n, 1/7, -5
Suppose 2*j = -3*j - 5. Sort j, 5, -6.
-6, j, 5
Let k = 1.3 - 0.3. Let i = -0.45 + -0.05. Sort i, k, 0.5 in descending order.
k, 0.5, i
Let t be 4/2 + -3 + -6. Let k = -11 - t. Let z be (-5 - k)/((-17)/2). Sort z, 2/9, -2 in decreasing order.
2/9, z, -2
Let u be (-7 - -4)/(6/(-4)). Put 0, 1, u in descending order.
u, 1, 0
Suppose 0 = y - 0*y + 2. Suppose -4 + 8 = 4*d. Sort -4, d, y in descending order.
d, y, -4
Let y = 11/21 - 4/21. Let o be (-10)/25 - (-14)/10. Put o, -2, y in descending order.
o, y, -2
Suppose 4 = 3*s - 5. Suppose x + 7 = 5*m + s, x + 2*m + 4 = 0. Sort 2, x, -1 in decreasing order.
2, -1, x
Let r = 6 - 6.7. Let c = -0.3 - r. Sort 2/3, -0.3, c in increasing order.
-0.3, c, 2/3
Suppose -3*t + 8 = 2. Suppose 0*g + 10 = -t*g. Suppose -s + 3 = -5*j, s + 3*j + 3 + 2 = 0. Sort s, g, 5 in decreasing order.
5, s, g
Let p = -16 + 10. Let j be (-1)/(-2)*p/3. Sort -5, j, 3.
-5, j, 3
Let r = -20 - -17. Sort 4, r, -2.
r, -2, 4
Suppose b + 13 = 4*d, 2*d = -4*b + 1 + 1. Suppose 0 = -6*t + d*t. Sort -3, t, 5 in decreasing order.
5, t, -3
Let y = -5.6 - -5.5. Sort 0.1, 0.3, y, -1 in descending order.
0.3, 0.1, y, -1
Let n be (-2)/(-8) + (-36)/16. Let c(i) = -i**2 + 15*i - 9. Let y be c(14). Sort 2, n, y.
n, 2, y
Let f(t) = 0 + 0*t**2 - 4 + 5*t + t**2. Let x be f(-6). Suppose 0 = l - 0*l. Put -2, l, x in increasing order.
-2, l, x
Let p(r) = r**2 + 2*r - 3. Let w be p(-4). Suppose -z = 2*z - 11*z. Let v(k) = -k - 2. Let n be v(-5). Sort w, n, z.
z, n, w
Let m = -6 + 8. Suppose -11 = 5*y - 6*y - 3*s, -5*y + 11 = 4*s. Let z be 2/(y + 0/(-2)). Sort 4, z, m in ascending order.
z, m, 4
Suppose 4*n = -4*y - 16, 4*n = -3*y + 8*n - 5. Put 4, y, -4/9, 0.3 in ascending order.
y, -4/9, 0.3, 4
Let l = 0.82 + -0.02. Let r = 4.8 - l. Put 1, r, -3 in decreasing order.
r, 1, -3
Let d(z) = z**3 + 10*z**2 - 10*z + 16. Suppose 0 = w - 4*w - 33. Let j be d(w). Sort 1/4, -0.1, j.
-0.1, 1/4, j
Let w = -17.1 - -13.78. Let f = -3.9 - w. Let n = 0.08 + f. Sort 3, -1, n in descending order.
3, n, -1
Suppose -20 = 5*z - 5. Sort -6, z, 4, -2/7 in increasing order.
-6, z, -2/7, 4
Suppose -4*h + 4*a - 12 = 0, -5*h - 2*a = 6 + 2. Let y be ((-3)/9)/((-1)/h). Sort y, -1, 2/3 in descending order.
2/3, y, -1
Let o(f) = 6*f - 1. Let h be o(1). Let c be (-12)/16*-4 - -1. Sort h, c, 0 in decreasing order.
h, c, 0
Let v = 89 + -624/7. Sort -2/11, -19, v in descending order.
v, -2/11, -19
Let c = 122753 - 739277/6. Let n = 461 + c. Let s = -17/12 + n. Sort s, -4/7, -0.5 in descending order.
s, -0.5, -4/7
Let r be 1 + (1*-7 - -1). Let d = 34 - 19. Let y = 15 - d. Put y, r, 5 in ascending order.
r, y, 5
Let c = 5.8 + -5.8. Let z = 1 - 2. Sort z, 1, c.
z, c, 1
Suppose 0*v - 6 = -2*v. Suppose -4*p + 28 = -5*h, 3*p + 6 = -3*h - 0. Sort -4/7, v, h in ascending order.
h, -4/7, v
Let i(g) = g - 1. Let m be i(2). Let z be 2*m*10/(-4). Suppose 2*a = 6*a + 4. Sort z, a, 2 in decreasing order.
2, a, z
Let r(y) = -2*y**3 - 14*y**2 + 2*y + 14. Let n be r(-7). Sort n, 7, -3, 1 in increasing order.
-3, n, 1, 7
Suppose 3*c = -3*x - 12, 0 = -4*x - 5*c - 17 - 3. Sort -5, x, 4.
-5, x, 4
Let a = -9/16 + 109/80. Let i be -1 + -1 + 5 + -2. Let g = i - 5. Sort g, a, -3 in descending order.
a, -3, g
Let i be 10/35 - (-2516)/(-35). Let v = -72 - i. Put v, 5, 0.3 in descending order.
5, 0.3, v
Let z be 5*(1 + (-7)/5). Let m be z/(-2) - (-11)/(-13). Let c = -102 + 405/4. Sort c, m, -1/4 in ascending order.
c, -1/4, m
Let p be 6/3 + 3/3. Let j = 1/154 - 311/462. Let m = 5 + -1. Put p, m, j in descending order.
m, p, j
Let l = 1 + 2. Let k = -26 - -21. Sort -4/7, l, k in increasing order.
k, -4/7, l
Suppose 3 - 12 = -3*j. Suppose 2*z + 1 = 11. Let w(n) = -n - 2. Let h be w(0). Sort h, j, z in descending order.
z, j, h
Let n be (-2)/7 + (-24)/(-182). Let m = -0.57 - 0.03. Let r = 0.9 + m. Put n, 2, r in decreasing order.
2, r, n
Let n be (-1 - -1) + (-69)/2. Let o = n - -33. Sort -1/6, -2/3, o in decreasing order.
-1/6, -2/3, o
Suppose -k - 2*k - 6 = 0. Suppose 5*s = s + 32. Let y be s/14*(-2)/(-4). Sort k, 0.5, y.
k, y, 0.5
Suppose 11 + 1 = -6*r. Sort -4, 0, r, -1/6 in decreasing order.
0, -1/6, r, -4
Let f = 1 + 1. Let v = -13 + 16. Put f, v, 5 in increasing order.
f, v, 5
Suppose -5*k + 3*w = -3