= -10*c + 3. Sort -57, -4, c.
-57, -4, c
Suppose 8*j = 5*j. Let u = 512 + -517. Sort 2, j, u, -1.
u, -1, j, 2
Let l = -107 + 103. Let y = -12 - -15. Put 16, y, l in decreasing order.
16, y, l
Let o = 33 - 35. Sort 5, 3/7, -14, o in ascending order.
-14, o, 3/7, 5
Let f be ((-108)/(-144))/(1/(-16)). Sort -3, f, 45 in increasing order.
f, -3, 45
Let y be (18/(-24))/((-2)/8). Suppose 0 = q + 2*q - y. Let g be (20/(-8))/(5/2 - 2). Sort g, 0, q in decreasing order.
q, 0, g
Let c(i) = -i + 4. Let b be c(6). Let m(r) = -3*r + 9. Suppose 0 = -9*l + 5*l + 12. Let z be m(l). Sort 5, z, b in descending order.
5, z, b
Suppose -2*a = -5*l - 207 + 831, 3*a - 118 = -l. Sort 4, 3, 0, l in descending order.
l, 4, 3, 0
Let r(c) = 2*c**2 + 15*c - 52. Let v be r(-10). Put 1, v, 12, -3 in ascending order.
-3, v, 1, 12
Let n = 10.5 - 10.3. Sort -2, n, 2/5 in ascending order.
-2, n, 2/5
Let s be 37/(-7) + 54/42. Let h = 12 - 8. Sort h, -8, s in decreasing order.
h, s, -8
Suppose -4*c + 13 = -7. Suppose -d - 4*v - 14 - 3 = 0, -3*v - 12 = 0. Sort 3, c, d.
d, 3, c
Let n = -158 + 787/5. Let v = 19.4 - 3.4. Let r = -11 + v. Sort n, 0.1, r in decreasing order.
r, 0.1, n
Let j(d) = -9*d + 3. Let z be j(-1). Suppose 63*i - 59*i = z. Sort i, 7, 5, 2 in decreasing order.
7, 5, i, 2
Let s(u) = 3*u**3 + u**2 - 22*u - 100. Let p be s(-4). Sort -3, 0, p, -5.
p, -5, -3, 0
Let r be (0 - 3)*1/(-5). Let h = -17.2 + 14.2. Sort r, -1, h in descending order.
r, -1, h
Let r = -409/1652 - 1/413. Sort 32, 0, r, -4/3 in increasing order.
-4/3, r, 0, 32
Let h = 112/3 - 2573/69. Let j = h - 119/92. Put j, -1/4, -4, 4 in ascending order.
-4, j, -1/4, 4
Let h = 0.44 - 0.04. Let k be (38 + -13)/(-2*1/2). Sort h, k, 2 in descending order.
2, h, k
Let w = 19 - 17. Let i = 1464 - 5809/4. Let t = i - 12. Put t, -0.4, w in ascending order.
-0.4, t, w
Let x = -0.09 + -5.41. Let r = x + 6. Let k be 352/693 - (-4)/(-18). Sort -1, r, k in descending order.
r, k, -1
Let b be (-3)/35*(-246)/36. Let g = b - 3/35. Put -2/5, g, 5, -0.1 in ascending order.
-2/5, -0.1, g, 5
Let u = 8 - 16. Let p be u/28 + 3826/14. Let f = 3001/11 - p. Put f, 0, 0.1 in increasing order.
f, 0, 0.1
Let i = -44918495/88 + 2827909/8. Let b = -156834 - i. Let j = 115 - b. Sort j, -3/4, 2/15 in ascending order.
-3/4, 2/15, j
Let c(k) = k**3 - 101*k**2 + 292*k + 191. Let x be c(98). Let g = 3 - -1. Sort 2, x, g in decreasing order.
g, 2, x
Suppose 3*x - 3*m = 6, -8*x + 2*m + 5 = -5*x. Sort x, 2, -110, -2 in descending order.
2, x, -2, -110
Suppose -2*x - 5 = -1. Let d = 492 - 496. Sort d, 1, x in descending order.
1, x, d
Let h = 2/57 + 155/456. Let j = -1295 + 1292. Put -0.5, j, h in increasing order.
j, -0.5, h
Let q be (1 - 1 - (-37 - -41)) + 7. Let m(l) = -l**2 - 4*l + 1. Let y be m(-4). Let t = y + -4. Sort t, -2, q in increasing order.
t, -2, q
Let s be (9 + (-93)/10)*(-2)/(-2). Sort 0.2, s, 5 in ascending order.
s, 0.2, 5
Let v = -2 + -3. Let w = 1.3 + 1.7. Put v, w, 0.4 in descending order.
w, 0.4, v
Let u(f) = 3*f**2 - 9*f - 13. Let b be u(4). Sort -3, b, 4, -5 in descending order.
4, b, -3, -5
Suppose -5*g - 7 = -3*q, -24 = 4*g - 28. Let w = 16 + -11. Put q, -5, w in increasing order.
-5, q, w
Let k = 28 - 50. Let h = k - -27. Sort 3/2, h, -2, -3/2.
-2, -3/2, 3/2, h
Let c = 23/110 - 3/10. Let y = -2.867 + -0.133. Put -0.1, c, y in increasing order.
y, -0.1, c
Let f = 13 + -13.9. Let h = f + 0.82. Let n = h + -0.12. Put -3, n, 0.3 in increasing order.
-3, n, 0.3
Let n(a) = -2*a**2 + 28*a + 5. Let z be n(14). Let u(r) = 2*r**3 - 13*r**2 + 4*r + 8. Let c be u(6). Sort -6, z, c in increasing order.
-6, c, z
Let q(f) = 2*f**3 - 68*f**2 - 69*f - 33. Let j be q(35). Sort 6, j, -3, -13 in ascending order.
-13, -3, j, 6
Suppose 0 = 4*p + 2*w + 10, 4*w = 3*p + w - 15. Let q(b) = -b**2 + 4*b - 3. Let r be q(4). Sort -5, p, r, -1 in ascending order.
-5, r, -1, p
Let w = -0.01 + -3.99. Let s = 1335 - 1317. Put -1/3, 0.3, w, s in increasing order.
w, -1/3, 0.3, s
Let p(l) = l**2 - 23*l - 204. Let z be p(30). Sort -19, 4, z in ascending order.
-19, 4, z
Let n = 0.0022 - 0.2022. Put -0.5, n, 8, 0.2 in increasing order.
-0.5, n, 0.2, 8
Suppose 5*b + 3*p = 87 + 59, -38 = -b - 5*p. Let w be -2 + 2*(2 - 24/b). Suppose 3*y = 3*z + 18, 10 = 3*y + 3*z - 2. Put w, y, 0.6 in increasing order.
w, 0.6, y
Let v = 2.42 - 1.92. Sort 1/5, 1/3, 1.1, v in descending order.
1.1, v, 1/3, 1/5
Let o = 84 - 88. Let g(v) = 8*v + 36. Let r be g(o). Sort r, -14, 1 in increasing order.
-14, 1, r
Let q(s) = -2*s**2 + 7*s + 5. Let a be q(4). Let k be -5 + (6/a - 4). Put 5, -5, k in descending order.
5, k, -5
Let c(b) = -2*b - 1. Let l be c(5). Let p = 1100 - 1104. Sort 3, l, p.
l, p, 3
Let b(j) = j**2 - 5*j - 22. Let r be b(8). Suppose c - r*c = -5*c. Put 3, c, 4 in increasing order.
c, 3, 4
Let z = 25.5 - 21. Let r = -0.5 + z. Let d = 1.44 - 0.44. Put r, -3, d in increasing order.
-3, d, r
Let d be ((-438)/(-52))/3 - 3. Let v = -1/39 - d. Let y = 4 + -4.04. Put v, 4, y in descending order.
4, v, y
Let j be (-2)/(-3)*2*3. Suppose y - 6*u = -u + 12, 0 = -y + j*u + 10. Let d = -0.452 + -0.048. Sort -4/5, y, d in decreasing order.
y, d, -4/5
Let d(y) = 2*y + 10. Let x be (-2)/(-17) + 174/(-34). Let l be d(x). Put l, 4, -5 in descending order.
4, l, -5
Suppose 0 = 30*b - 27*b + 3. Sort 1, -5, 3, b in decreasing order.
3, 1, b, -5
Let j(v) = 9*v - 96. Let i be j(11). Sort i, 57, 5, 4.
i, 4, 5, 57
Suppose -44 = -67*w + 56*w. Put 0, 3, 5, w in increasing order.
0, 3, w, 5
Let u = 237 - 237. Sort 4, 3, u, -20 in descending order.
4, 3, u, -20
Let s = -12 - -15.2. Let y = s - 3.2. Sort 4, 0.5, y in descending order.
4, 0.5, y
Let h = -11.3 - -11.25. Let i = h + 0.05. Let p = 2 - 4. Put i, -2/5, p in ascending order.
p, -2/5, i
Suppose 14*h + 7*h - 42 = 0. Sort h, 5, 108 in decreasing order.
108, 5, h
Let g be ((-10)/15)/(1/(-15)). Suppose 4 = -2*a + 4*b, -3*a = -5*b + 2 + 2. Let l be a*(-1 - g/(-4)). Sort 0, 2, l in decreasing order.
l, 2, 0
Let n(p) = -p**2 + 5*p + 5. Let o be n(5). Suppose 16*g + 58 = 26. Put o, 2, g in ascending order.
g, 2, o
Let c be (2 - (1 - -2))*-19. Suppose -5*r + 6 = -c. Let w be (3/(-9))/(2/(-6))*-2. Put w, r, 0 in descending order.
r, 0, w
Let z = -3188/11 + 290. Sort 3/8, 0.3, z in descending order.
3/8, 0.3, z
Let q = -7103 - -7100. Suppose 3*a - 2 = 2*a. Put q, a, -4, 4 in ascending order.
-4, q, a, 4
Let b = 4.7 - 5. Let u = -0.5 - b. Let s = -8.68 + 3.68. Put u, -2/11, s in increasing order.
s, u, -2/11
Let r = -1.35 + -60.65. Let l = 63 + r. Put 0, l, 3/2 in decreasing order.
3/2, l, 0
Let a = -762 + 760. Sort a, 14, -0.4 in ascending order.
a, -0.4, 14
Suppose 64*a = 73*a. Sort 4, 3, a, -6 in decreasing order.
4, 3, a, -6
Let o(j) = -2*j - 26. Let y be o(-7). Let v be 32/y*(-6)/(-4). Sort 3, v, 4 in increasing order.
v, 3, 4
Suppose 792 = -6*c - 132. Let z = -158 - c. Put 2, 0, z, 1 in decreasing order.
2, 1, 0, z
Suppose 1 = -s + 5. Suppose 0 = 3*m - 4 - 5. Put 9, m, -5, s in decreasing order.
9, s, m, -5
Let z = 106 - 106.5. Let o = 0.1 - -1.3. Let t = o + -0.7. Sort z, t, -2/7.
z, -2/7, t
Let q = 2904 - 2894. Sort 0, q, 27, 5 in descending order.
27, q, 5, 0
Let o be -2 + -1*(-7)/4. Let q(h) = -46*h + 102*h - h**2 - 54*h. Let d be q(2). Sort 1, o, d.
o, d, 1
Let h = -5 + 13. Let w be h/(-20) + (-18)/5. Let q = -8 - w. Sort q, 4, 2 in descending order.
4, 2, q
Suppose 11*a = 14*a + 12. Let m be 0/(7 - (-20)/a). Put m, 6, 4 in ascending order.
m, 4, 6
Let r = -15 - 25. Let v be 4/10 + 216/r. Let d be 22/(-6) - (-2)/(-6). Put d, 3, v in decreasing order.
3, d, v
Let p(m) = m**3 - 5*m**2 - 5*m - 5. Let v be p(6). Let u(y) = -y - v + 2 - 11 - 3. Let q be u(-15). Put q, -1, 1 in descending order.
q, 1, -1
Let i = -2050 + 1864.8. Let f = -203 - i. Let k = -18 - f. Put k, 3, 0.1 in increasing order.
k, 0.1, 3
Let v = 1/60 + -127/420. Put -0.3, -4/7, v, 90 in increasing order.
-4/7, -0.3, v, 90
Let r be (5 + ((-96)/18)/1)*21. Sort r, 13, 4 in decreasing order.
13, 4, r
Let r be 0 - -6*4/8. Suppose -6*o - 20 = -11*o. Put 7, r, o in decreasing order.
7, o, r
Let q(u) = -u**3 + 7*u**2 - 5*u - 5. Let i be q(6). Let j = -201 + 201. Suppose 0 = -v - i - j. Sort v, 1, 4 in decreasing order.
4, 1, v
Let q = -13 - -9. Let d = -76.8 + 77. Sort d, -8, q,