 -25, u + 5*k + 21 = -0*k. Put -3, 6, u in increasing order.
-3, u, 6
Let b = -7 + 13. Put b, -0.5, 0.5 in ascending order.
-0.5, 0.5, b
Suppose -2*p - 4*p - 6 = 0. Sort 5, 3, 1, p in descending order.
5, 3, 1, p
Let z = -717/5 - -144. Put 1/3, 3/7, z, -0.5 in decreasing order.
z, 3/7, 1/3, -0.5
Let o = -18 + 21. Sort 5, o, 0, -4.
-4, 0, o, 5
Let f be (4/3)/((-8)/24). Sort f, 2, 3 in descending order.
3, 2, f
Suppose -15 = 2*v + 9. Sort v, 4, -1/7.
v, -1/7, 4
Let c(k) = k**2 + 10*k + 3. Let f be -13 - -1 - -1*2. Let h be c(f). Let r(u) = -u - 4. Let d be r(-6). Sort h, -1, d in decreasing order.
h, d, -1
Let m be (0 - 3/(-3))*5/30. Put m, -5, 51, 0 in ascending order.
-5, 0, m, 51
Suppose -4*m = 3*s + 1, -2*s = -7*m + 5*m - 18. Sort m, -3, -2 in increasing order.
m, -3, -2
Let i(c) = c + 7. Let p be i(-7). Suppose p = u + u + 2. Sort 1, 5, u in decreasing order.
5, 1, u
Suppose -24 = -10*y + 2*y. Let v(c) = c + 2. Let t be v(-2). Sort y, -4, t in decreasing order.
y, t, -4
Suppose 0 = 4*h - 0*h + 4. Let d be (-3 + 9)*(-1)/(-6). Put 3, h, d in decreasing order.
3, d, h
Let v = 3.998 + 0.002. Sort -1, v, 0.2.
-1, 0.2, v
Let t(v) = -v - 4. Let c be t(-6). Suppose 30*u - 29*u + 2 = 0. Sort -1, u, c in decreasing order.
c, -1, u
Let i be (5 - -1)/(-1 - -6 - 3). Put 2, 4, -1, i in descending order.
4, i, 2, -1
Let f(y) = -5*y - 49. Let a be f(-9). Put a, -2, 87, 5 in decreasing order.
87, 5, -2, a
Let x be 12/(-40)*-25*3/18. Sort 3, 7, x in ascending order.
x, 3, 7
Let x = -49 + 49.4. Let u = -0.1 - -0.2. Let v = u + x. Put -1/2, 3/2, v in descending order.
3/2, v, -1/2
Let h be 0/(3/(3/1)). Suppose -3*q = 9 - h. Let y be (1/(-2))/(-1)*2. Sort q, y, 4 in ascending order.
q, y, 4
Suppose 14 = -n - 2*v - 0*v, -v = -4*n - 11. Let p be 2 + n/(-2 + 4). Let u be p*-1*3/(-6). Sort 3, 5, u in descending order.
5, 3, u
Let q = 19 - 17. Sort q, 3, -4.
-4, q, 3
Suppose -2*c = 2*c - 12. Let g(f) = f**2 + 8*f - 2. Let p be g(-8). Put 0, c, p in decreasing order.
c, 0, p
Let s = -1 - -0.1. Let y = 0.1 - s. Let q = -5 - -9. Put q, y, -5 in descending order.
q, y, -5
Let d = -1 - 1. Let k(a) = -a + 11. Let c be k(11). Put c, 2, d in decreasing order.
2, c, d
Let n(y) = -y**3 - 11*y**2 - 10*y - 1. Let h be 2/(-3) - (-28)/(-3). Let u be n(h). Put 0.4, u, 4 in decreasing order.
4, 0.4, u
Let q = 29/3 + -9. Put 3, 2/11, q in decreasing order.
3, q, 2/11
Suppose -3*o = 2*v + 7, -3*o - 11 = 4. Put 2, 1, v in decreasing order.
v, 2, 1
Let n = 0 + -1. Let j = -15.781 - -0.181. Let i = j - -16. Sort n, i, -1/4 in descending order.
i, -1/4, n
Let g = 74 + -69. Put g, 4, -3 in increasing order.
-3, 4, g
Let k(l) = -l + 4. Let q be k(0). Let a(g) = 3 - 17*g - 15*g + 28*g + g**2 + 2. Let u be a(q). Sort -4, 0, u in decreasing order.
u, 0, -4
Suppose x = -3*y + 16, 2*x - 47 = -3*y + 2*y. Suppose 5*g + x = 50. Put -1, 1, g in descending order.
g, 1, -1
Let y = -10 - -17. Let c = -7 + y. Let i = 1 - c. Sort i, 2/5, 0.1 in ascending order.
0.1, 2/5, i
Let o be -5*5/((-225)/(-6)). Sort 1, o, -2/7 in decreasing order.
1, -2/7, o
Let f be ((-16)/(-6) + -2)*(-15)/20. Let v = 0.2 + -0.4. Put f, 2, v in descending order.
2, v, f
Suppose 5*s - 4*g - 10 = g, 5*s - 10 = 2*g. Put 4, 0, -3, s in decreasing order.
4, s, 0, -3
Let t = -3 - -3.3. Let n = 8 + -5. Put -5, t, n in increasing order.
-5, t, n
Let i = 0.2 + -0.1. Sort i, -5, 0.2 in descending order.
0.2, i, -5
Suppose 4 = -a - 1. Sort -4, a, 3 in descending order.
3, -4, a
Let r = -1 - -2. Let i be -2 + (2/r - 0). Let h = -21/16 + 9/16. Put h, -0.1, i in decreasing order.
i, -0.1, h
Let a = 48 - 48.3. Sort 2/9, -1, 2/17, a in decreasing order.
2/9, 2/17, a, -1
Suppose a + 2*i = 9, 3*a - i - 19 = -3*i. Suppose 5*m = -0*m - 5. Put a, m, -4 in descending order.
a, m, -4
Suppose 4 = 58*n - 54*n. Put -2, n, -3 in ascending order.
-3, -2, n
Let s = -0.07 - -0.03. Let w = 4.96 - s. Put -1/4, -4, w in ascending order.
-4, -1/4, w
Suppose 0 = -3*a + 5*x + 26, -5*a + 24 = -2*x + 6. Put 0, -2, a in decreasing order.
a, 0, -2
Let h(s) = -s + 1. Let j be h(-4). Suppose 37 = 4*c - j*p, 0 = -5*c - 3*p - 0*p. Let k = -0.2 - -1.2. Sort k, -2, c in increasing order.
-2, k, c
Let p = -82 + 100. Put -0.4, p, 2/13 in descending order.
p, 2/13, -0.4
Let w = 21 - 20.9. Put -2, w, 2/5 in decreasing order.
2/5, w, -2
Suppose 4*l + 5 + 11 = 0. Let a be (3/9)/(2/18). Suppose 4*h + y + 12 = 2*y, 0 = 3*h - a*y + 9. Put h, 2, l in ascending order.
l, h, 2
Suppose -4*w = -2*w. Let t = -1 - w. Let i be t/(-2) - (-28)/(-88). Put -0.4, i, -3/5 in ascending order.
-3/5, -0.4, i
Let q = 14.34 - 0.34. Let n = q - 16. Let w = -0.4 - 0.1. Put -0.2, w, n in decreasing order.
-0.2, w, n
Let y = 1868 - 155046/83. Sort -1/4, y, 0.4, -2 in descending order.
0.4, y, -1/4, -2
Let t(h) = -h**3 + 7*h**2 - 6*h + 2. Let b be t(6). Suppose 0 = b*k + 3*k. Sort 5, -0.2, k in descending order.
5, k, -0.2
Let q be 2/(-10) - 112/(-10). Let r = 13 - q. Sort 0, 3, r in decreasing order.
3, r, 0
Suppose 3*t + 15 = -2*o, -5*t + 0*t - 27 = 4*o. Let l(j) = j**2 - 8*j - 2. Let x be l(8). Sort 1, x, t in increasing order.
t, x, 1
Let l(c) = -c**3 + c**2 - 2*c + 20. Let j be l(0). Sort j, 2, -1/8 in ascending order.
-1/8, 2, j
Let c = 13 - 10. Let o be (0 + -6)/(3/2). Sort o, c, -2/9.
o, -2/9, c
Suppose l - 2*l + 5*y = 3, 0 = 2*l + 5*y - 9. Suppose l*j = -0*j + 2. Let k = 7 - 11. Sort -3, j, k in decreasing order.
j, -3, k
Suppose 0 = f + 3*b - 4 + 2, -3*f - b + 30 = 0. Let w = -15 + f. Suppose -2*x + 2 = -3*x. Put x, w, 0 in ascending order.
w, x, 0
Let r = -5 + 5. Suppose 3*g = 5*m + 6, 0 = -3*m - r*g + g - 2. Sort 5, m, -3 in descending order.
5, m, -3
Suppose 12 = 3*p + 2*c - 4, -2*p - 16 = -4*c. Suppose 5 = p*w - 5. Sort 6, w, 4 in increasing order.
4, w, 6
Let b = 31 + -29. Sort b, -1, -2 in ascending order.
-2, -1, b
Suppose 0*n = -4*n + 8. Let k be 28/(-7)*(-1)/26. Sort 2/5, n, k in descending order.
n, 2/5, k
Let m(c) = -c**2 + c + 4. Let a be m(3). Let w be (a/3)/(7/21). Suppose -j = x - 4 - 0, 2*j = -x + 3. Sort -1, w, x in descending order.
x, -1, w
Let k(p) = p + 5. Let g be k(-6). Let d be (2/g)/((-6)/(-4)). Let l = -5.5 + 0.5. Sort l, 0.3, d in decreasing order.
0.3, d, l
Let n = 161 + -161.5. Sort -8, n, 0.2.
-8, n, 0.2
Let z(a) = -a - 2. Let t be z(-3). Let c = 2 - t. Sort c, -5, -1 in ascending order.
-5, -1, c
Let x be -1*(-3)/(1 - 0). Let k be (6/4)/(-3)*0. Suppose 4*a + 10 + 10 = k. Sort a, 1, x in descending order.
x, 1, a
Suppose -4*t = -4*o - 20, -o - 1 = 3*t - 8. Sort 1, -4, o.
-4, o, 1
Suppose -6 = z - 1. Suppose -2 + 0 = -a. Put -3, a, z in decreasing order.
a, -3, z
Let j be -1 - (-4)/340*29. Let p = j - -18/17. Put p, 3, -2 in ascending order.
-2, p, 3
Suppose -2*p - 11 + 9 = 0. Sort p, 5, 1 in descending order.
5, 1, p
Let b be (-4)/(-18) + (-58)/18. Let s(v) = 4*v**3 - 1. Let w be s(-1). Put -1, w, b in ascending order.
w, b, -1
Let r be (6/(-24))/(((-6)/28)/3). Let o = 79/348 - -2/87. Sort o, 5/6, r in ascending order.
o, 5/6, r
Let f = 125.7 - 119. Let b = -7 + f. Let l = -0.4 - b. Put -4, 2/7, l in ascending order.
-4, l, 2/7
Let s(v) = -v + 7. Let k be s(6). Let x be 66/18 + (1 - 4). Let b = -11 - -7. Sort k, x, b in descending order.
k, x, b
Suppose 0 = -5*z + 2*z. Let k(f) = 48*f + 339. Let x be k(-7). Put x, 2, z in decreasing order.
x, 2, z
Let d = -9 + 12. Suppose 9 = -d*c + 21. Sort c, 2, 3 in descending order.
c, 3, 2
Let p = 0.12 + -0.04. Let b = p + -0.88. Let g = b + 1. Sort -4, g, 5 in descending order.
5, g, -4
Suppose 0*p + p - 1 = 0. Let o be 6 + 0 - (p - -2). Suppose -2*y - 3*z - 3 = -8, 3*z = -4*y - 5. Sort y, o, -1.
y, -1, o
Let l be -1 - ((-24)/(-3))/(-4). Sort 3, 4, l in ascending order.
l, 3, 4
Let s = -51 - -47. Let g = -0.9 + -0.1. Sort g, 1, s in descending order.
1, g, s
Let y be (-3)/12*2*2. Sort -4, 5, y in ascending order.
-4, y, 5
Let r = -3 + 3.32. Let q = -0.02 + r. Sort -0.3, q, -0.4 in increasing order.
-0.4, -0.3, q
Suppose 5*a + 11 = 51. Suppose a = z - 3*z. Sort -2, -1, z in descending order.
-1, -2, z
Suppose -3*n = -c - 8 + 1, 4*n - 10 = c. Let d = 7 + -3. Put c, -2, d in increasing order.
-2, c, d
Suppose -f - o = -5*o - 7, 40 = -5*f - 5*o. Let k = 591/7 + -84. Put f, k, 5 in descending order.
5, k, f
Let n = -68/11 - -6.