g = o + 32. Put g, x, -2 in descending order.
x, g, -2
Let p = 0.3 - 0.35. Let u = -82/155 + 4/31. Sort 4, p, u in descending order.
4, p, u
Suppose 19 = 4*i - 5. Let p(n) = -n**2 + 6*n + 5. Let c be p(i). Let y(l) = l**3 - 2*l**2 + 2. Let k be y(2). Put c, k, 0 in descending order.
c, k, 0
Let y = 1.9 + 2.1. Let j = -129/2 - -67. Put -0.5, y, j in ascending order.
-0.5, j, y
Let p = -0.07 - 4.93. Let d = 85 + -85.2. Suppose t - 4*i + 9 = 0, 0*i + 4*i - 5 = -3*t. Sort p, t, d.
p, t, d
Suppose 4 + 2 = 2*f. Suppose 0 = -2*c - f - 5. Sort -4/5, -0.4, c in decreasing order.
-0.4, -4/5, c
Let r(n) = -n**3 + 7*n**2 - 7*n + 5. Let m be r(4). Suppose 0*b - m = -5*b. Let g be (2 - 3)*(1 + 0). Put 1, g, b in descending order.
b, 1, g
Let r be ((-10)/15)/((-4)/(-5)). Sort -0.1, r, 3 in increasing order.
r, -0.1, 3
Let m be (-184)/(-80) + (-2)/(-10). Let i = 0.2 + 0. Let j = i + 0.3. Sort m, 5, j in decreasing order.
5, m, j
Suppose 11*x = 6*x + 660. Let l be (-4)/6 + 64/x. Let a = 271/8 + -34. Put a, 3, l in decreasing order.
3, a, l
Suppose 0 = j - 14 + 11. Put j, 4, 0 in descending order.
4, j, 0
Let g(n) = n**2 - n + 2. Let y(h) = -h + 7. Let l be y(7). Let s be g(l). Put -5, 1, s in descending order.
s, 1, -5
Let a = 0.2 + 0.2. Let d = -1.7 + 1.2. Put a, d, -4 in descending order.
a, d, -4
Let b = 127320483 + -1002139524437/7871. Let n = b - 2/463. Let m = n - -29/34. Sort -4, m, -0.2 in descending order.
m, -0.2, -4
Let v = 0.16 + 3.84. Put -1/5, 1, v in increasing order.
-1/5, 1, v
Let d be 1/3 + 11/3. Let z be (0/1 + 0)/(-3). Suppose 4*h + 20 = -z*h. Sort h, 1, d in descending order.
d, 1, h
Let q be 15/6*48/(-30). Let m be (-1 - -4)*2/(-6). Sort q, 4, m in ascending order.
q, m, 4
Let s = -35 - -36. Put 3/7, s, 0.5 in decreasing order.
s, 0.5, 3/7
Let t be (-3 + 2)/(-1 - -2). Let i be (-2)/(-3) + (-2)/(-6). Sort 2, t, i.
t, i, 2
Let i = -6 + 5.99. Let z = i - -0.21. Let p = -0.2 + z. Sort p, 2/7, 2.
p, 2/7, 2
Suppose 3*i + 19 = -5*j, 0 - 3 = i. Let t = 173/2 + -89. Sort j, -5, t.
-5, t, j
Suppose j = -3*j + 28. Let c(f) = -f**2 + 5*f + 8. Let t be c(j). Let b be ((t/(-3))/(-1))/(-7). Sort -3, -2/5, b.
-3, -2/5, b
Let l = -1.2 - -0.7. Sort 0.03, -3/5, l in increasing order.
-3/5, l, 0.03
Let y be 3 + 4 + (-36)/5. Sort y, -3, -1 in descending order.
y, -1, -3
Let p = -37 + 26. Let c = -9 - p. Let a be -1 + 0/1 + 6. Sort 0, a, c.
0, c, a
Let j(m) = 2*m + 1. Let c be j(1). Sort -0.3, -2/9, c in decreasing order.
c, -2/9, -0.3
Suppose 4*q + 12 = 3*w - 17, 2*q - 2 = 0. Let u = w + -15. Let j be ((-1)/(-2))/((-1)/(-4)). Put j, 4, u in descending order.
4, j, u
Let h = 26 - 25.9. Sort h, 4, -0.2 in decreasing order.
4, h, -0.2
Let q = 0.4 - -3.6. Put q, 0.1, 1 in increasing order.
0.1, 1, q
Let y be (-1)/4 - (-81946205)/3276. Let i = 175100/7 - y. Let k = i + -5/18. Sort k, -4, 0 in ascending order.
-4, 0, k
Suppose 35*c = 4*c + 124. Suppose -5*d - 35 + 10 = 0. Let j(b) = -b**2 - 5*b. Let k be j(d). Sort -3, c, k in descending order.
c, k, -3
Let h(m) = -2*m - 15. Let n be h(-8). Put n, 5, -6 in ascending order.
-6, n, 5
Let u be (-2 - 6/(-3)) + 21. Suppose 4*l + o = u, 2*o - 1 = 2*l + 1. Put 1, -1, l in descending order.
l, 1, -1
Let k = 46 + -64. Let d be 32/k + (-2)/9. Sort -1, 2, d in increasing order.
d, -1, 2
Let p = 102 + -92.4. Let q = p - 10. Put 0.2, 1/4, q in descending order.
1/4, 0.2, q
Let l = -5 - -7. Suppose 13 = -l*n + 2*u - 1, 4*u - 20 = 2*n. Sort -3, n, -1 in increasing order.
n, -3, -1
Let d be 77/4 + 2/(-8). Let y = d - 15. Sort 0, y, -4 in increasing order.
-4, 0, y
Suppose -2*y + 3*p + 3 = 0, -5*y + 0 = -4*p + 3. Let x be (y + 1 - 3)*-1. Sort -4, 2, x in increasing order.
-4, 2, x
Suppose 21 = -4*v + 5. Suppose 2*k - 1 = 3. Put v, 1, k in descending order.
k, 1, v
Let b = 8 - 11. Let f = -8 + 4. Sort -5, f, b in increasing order.
-5, f, b
Let s = 23 + -20. Sort s, 2, -0.3 in increasing order.
-0.3, 2, s
Suppose -2 = -2*g + 2, 0 = -2*f + 3*g + 4. Let l be 6/(-21) + 78/(-21). Let s = l + 4. Sort f, s, 1 in descending order.
f, 1, s
Let b = -0.1 + 0.2. Suppose 2*r - 10 = -3*q, 5*q - 9 = 1. Let o be 14/(-10)*r/(-7). Put o, 2/17, b in decreasing order.
o, 2/17, b
Suppose 5*c + 0 - 5 = 0. Put 3, c, 0 in decreasing order.
3, c, 0
Let i = -26 - -26. Put -1, i, -2 in decreasing order.
i, -1, -2
Let g = 83 - 86. Sort 4, g, 3 in descending order.
4, 3, g
Suppose 4*s - d + 23 = 0, -3*s - 50 = -5*d - 20. Put 3, -3, s in ascending order.
s, -3, 3
Let p be (15/9)/((-2)/3). Let m = -8/3 - p. Sort 0, 0.5, m in ascending order.
m, 0, 0.5
Suppose 0 = -u + 4*q, 5*q = 2*u - 3*u - 9. Sort 2, u, 4.
u, 2, 4
Suppose 5*y + 29 = 3*h, -4*h - 5 = 5*y + h. Let d = 8 + -4. Put y, d, -3 in decreasing order.
d, -3, y
Let n(g) = 2*g + 9. Let o be n(-4). Let b be -2 + o - 25/(-10). Let x = 0.2 + -0.3. Put x, 0.1, b in descending order.
b, 0.1, x
Suppose 4*l - 3*n = 1, -2*n + 1 = -1. Suppose -6*w = -2*w + 16. Let f be -2 + 4 + -5 + 0. Sort l, f, w in increasing order.
w, f, l
Let b = -32 - -31.8. Sort 5, 9, b, -3 in decreasing order.
9, 5, b, -3
Let h = -9 - -8. Suppose -4*c - 25 = 3*m, -5*c = -2*m + 6*m + 32. Let i = m + h. Sort -3, 3, i.
i, -3, 3
Let x(y) = -y**3 + 3*y**2 - 3*y - 2. Let d be x(2). Sort d, -3, 2 in ascending order.
d, -3, 2
Suppose j + 4*s + 7 + 0 = 0, -4*j - 3*s = -11. Suppose 7*b - 3*b - h - 4 = 0, -b = -3*h - 1. Sort -2, j, b in decreasing order.
j, b, -2
Suppose -12 = -8*i - 4. Let n(r) = r. Let d be n(-1). Put d, 5, i in decreasing order.
5, i, d
Let x = 29.2 + -29. Let k = 159 + -1110/7. Put 2/7, x, k in descending order.
k, 2/7, x
Let m be ((-3)/(-18))/((-1)/(-6)). Let k(n) = -n**3 - 2*n**2 + n + 1. Let i be k(-2). Sort i, 2, m in ascending order.
i, m, 2
Let c = 2/85 - 176/255. Let g = 2 - 2.5. Put g, c, 1 in descending order.
1, g, c
Let o = 29 - 25. Sort o, -3, 3, 5 in decreasing order.
5, o, 3, -3
Let g = 4 + -3. Suppose 4*k = -30*k - 102. Sort 0, k, g.
k, 0, g
Let p = -0.3 + 1.3. Let n = -1.5 - -1. Sort n, 5, p in descending order.
5, p, n
Suppose 3*j - j = 2. Suppose 0 = 3*x + 6 + 6. Sort -3, j, x in increasing order.
x, -3, j
Let s = 119 - 116. Let d be 6/14 - (1 + -1). Put s, 3/5, d in descending order.
s, 3/5, d
Let q = 0.31 + -0.01. Suppose -x - 5 = -6*x. Put x, 2, q in descending order.
2, x, q
Let k(a) = a**2 - 12*a + 15. Suppose 5*r = -4*i + 40, 0 = -2*i + 5*i + 4*r - 30. Let l be k(i). Sort 1, l, 5 in descending order.
5, 1, l
Suppose 4 = 4*y - 2*y. Sort -15, y, 0.
-15, 0, y
Let w = -3.84 + -0.16. Sort w, -0.4, 0.3.
w, -0.4, 0.3
Let o(b) = -b**3 + 5*b**2 + 2*b - 6. Let c be o(5). Let x be -3*1 + (-1 - -2) + -2. Sort c, 3, x in increasing order.
x, 3, c
Let f(q) = q**2 + 13*q + 7. Let t be f(-12). Sort -7, 0.5, t in descending order.
0.5, t, -7
Let x be 8 + -11 + (-6 - -5). Let p be 2/(-3)*(3 - 0). Sort 1, p, x in descending order.
1, p, x
Let k(c) = -c**3 - 8*c**2 - c - 9. Suppose 4*j + 28 = 2*w, 5*j - 5*w + 0 + 30 = 0. Let a be k(j). Suppose x = -0*x. Sort x, -3, a in descending order.
x, a, -3
Suppose -u - 6 = -1. Let w be (-13)/u - 3/5. Sort w, 0.2, 0.5 in increasing order.
0.2, 0.5, w
Suppose -q + 0*q = 0. Let d = -4.7 - -7.7. Put -1/3, d, q in increasing order.
-1/3, q, d
Let l = 1/306 - -95/2142. Let i = -10/21 + l. Sort -1, i, 0.4 in decreasing order.
0.4, i, -1
Let i = 0 + -1. Let l be ((-2)/(-5))/((-27)/15). Let w = -4 - -7. Sort i, l, w in ascending order.
i, l, w
Let z be 7/28 + (-70)/(-8). Let o be (-8)/((-8)/3 - -2). Let l = o - z. Put -6, l, -3 in ascending order.
-6, -3, l
Let o = 3 + 1. Suppose 0 = 5*c - 4*h - 11, -3*c - 2*c - o*h = -19. Suppose -4*x + 3*m = -32, x - 6*x = -2*m - 33. Sort -2, x, c in descending order.
x, c, -2
Let f = -409 - -6137/15. Let o = -314 - -300.7. Let l = o + 13. Sort f, -2/7, l in increasing order.
l, -2/7, f
Let a be 2 - 3*2/4. Let u be 2/((-20)/(-22)) - 1. Let j = -96/55 + u. Put a, 5, j in decreasing order.
5, a, j
Let s = 0.4 + 2.6. Put s, -5, -1, -0.4 in decreasing order.
s, -0.4, -1, -5
Let r = -69 + 69. Sort -5/2, 2, r in decreasing order.
2, r, -5/2
Let h(l) = l**3 + l**2 - 2*l - 3. Let u be h(-2). Put u, -5, -0.5 in descending order.
-0.5, u, -5
Let o(h) = -h**3 + 3*h**2 + 5*h. Let a be o(4). Sort a, 3, -2 in ascending order.
-2, 3, a
Suppose -31 = -4*i - 11. Sort i, -1, 