f, c
Suppose -31*i + 150*i + 159 = -40*i. Sort 0, i, -58.
-58, i, 0
Let y = -0.5 - -0.7. Let z be (-34)/6 - 1216/(-228). Sort z, y, 2 in descending order.
2, y, z
Let y = -7719 - -7719. Sort 16, 3, -2, y in decreasing order.
16, 3, y, -2
Suppose -10*s = s + 22. Suppose y - 6 + 0 = -2*o, 6 = -5*y + 2*o. Let v be (-15)/((1 - 0)/(-1)). Sort y, s, v.
s, y, v
Let b be 4/(-22) - 34/(-187). Put b, 5, -4, -3, -14 in decreasing order.
5, b, -3, -4, -14
Suppose -6*v = -29 - 9 - 4. Sort -3, -4, v in descending order.
v, -3, -4
Let s(h) = h**3 - 6*h**2 + 5*h - 2. Let a be s(5). Let f = -323 - -509. Let j be (-18)/12*(f/162 - 1). Put 5/7, 2, j, a in increasing order.
a, j, 5/7, 2
Let a = -511.2 + 513.6. Sort 2/99, a, 0.1, 3 in decreasing order.
3, a, 0.1, 2/99
Let i = 8227.101 + -8227. Sort -1/3, i, -5, -4/3 in increasing order.
-5, -4/3, -1/3, i
Let a = 4331 - 4329. Sort -6, a, -5, 20 in ascending order.
-6, -5, a, 20
Let m = 14065 + -14062. Sort 0, -2, m, -5.
-5, -2, 0, m
Let y = -18 + 21. Let m = 92 - 53. Let l = 44 - m. Sort y, 1, -0.4, l.
-0.4, 1, y, l
Let f = 42.665 - 0.665. Let t = -47 + f. Let u = -3 - 1. Put t, -4/5, u, 1 in decreasing order.
1, -4/5, u, t
Let x be ((-14)/(-4))/((-23)/(-1242)). Let b = x + -73. Let y = b - 168. Put -5, y, 0 in decreasing order.
0, -5, y
Let z = -171.4 + 171.9. Sort -1, 20, z, -2/3 in decreasing order.
20, z, -2/3, -1
Suppose -10*w + 70*w - 60 = 0. Sort 2, 3, w, -146, 5 in increasing order.
-146, w, 2, 3, 5
Let h(n) = n**2 - 19*n - 43. Let d be h(-2). Let g(t) be the first derivative of -t**4/4 - t**3 + 2*t - 15. Let s be g(-2). Put -3, s, d, -5 in ascending order.
-5, -3, s, d
Suppose -k = 4*k - 20. Let a = 6 - 4. Suppose 1585*d - 935 = -3035*d - 5555. Put k, 1, a, d in descending order.
k, a, 1, d
Let r = 0.578061 + -0.078061. Let v = -0.2 - -0.3. Sort v, -0.2, -26, r in increasing order.
-26, -0.2, v, r
Let r = -661 - -1575. Let c = r + -914.4. Put 2/5, c, -24, -0.2 in descending order.
2/5, -0.2, c, -24
Suppose -4*m = o - 12, 2*o - 27*m + 28 = -22*m. Sort 9, -2/23, o.
o, -2/23, 9
Let u = 0.457 + -0.257. Put -4/3, u, -3, 10 in descending order.
10, u, -4/3, -3
Let p = 1052 + -1047. Put p, 4, 68, -3, -1 in increasing order.
-3, -1, 4, p, 68
Let d = -8.995 + 9. Let k = 7368 + -7368.5. Sort 0.2, d, 2, k in decreasing order.
2, 0.2, d, k
Let z = 0.27 + -13.27. Let m = z + 11.8. Let x be 3/6*(9 - 7)*14/105. Put x, 1/4, m in increasing order.
m, x, 1/4
Let a(r) = -2*r**3 - r**2 - 3*r + 3. Let h be a(1). Let o be 6/9 + 5/(-3). Sort -26, h, 0.3, o in decreasing order.
0.3, o, h, -26
Let m be (-2)/4 - (-5 + 113502/252). Let d = 446 + m. Put d, -9, 5 in increasing order.
-9, d, 5
Let y = 293 - 175. Let o be 7/42 - y/(-12). Let r be (-31)/(-8) - o/(-80). Put -3, 3, r in ascending order.
-3, 3, r
Let t = -12.75 - 0.25. Let k = -12.5 - t. Let u be 350/(-105) - 11/(-3). Put -2/5, k, u in ascending order.
-2/5, u, k
Let v = 1788 - 1795. Let d = 0.006 - -0.994. Sort v, 1/5, d in decreasing order.
d, 1/5, v
Let o = -3433 + 3433. Put 5, -1, o, 14, -12 in descending order.
14, 5, o, -1, -12
Suppose -5*m + 2*r + 2 = 0, -19*m + 16*m - 4*r = -22. Put 5, m, -2, 1, 58 in decreasing order.
58, 5, m, 1, -2
Let i be (-115)/(-69) - ((-1)/(-3) - 0). Let q = 13/10 - 9/10. Let c = -13.2 - -17.2. Sort c, -4, i, q in ascending order.
-4, q, i, c
Let l = 37615.14 - 37615. Put 5, -36, l, 0.02 in increasing order.
-36, 0.02, l, 5
Let i = 2/2205 + 176/441. Sort -1051, 2, i.
-1051, i, 2
Suppose 56*x - 1168 = -776. Sort 8, 5, x, -2 in descending order.
8, x, 5, -2
Suppose 0*w - 2*w = 3*v - 10, 6*v + 36 = 0. Sort w, 4, 3, -4, 5 in decreasing order.
w, 5, 4, 3, -4
Let b = -0.32 - -0.82. Let j = 48.02 + -48. Put 0.4, b, j in decreasing order.
b, 0.4, j
Let c(w) = w**3 - 16*w**2 + 18*w - 13. Let v be c(15). Let h = 2 - -2. Sort 3, -5, v, h in ascending order.
-5, 3, h, v
Suppose 499*v + 295 = 36*v - 3409. Let i be 2/10 - (-63)/35. Put -1, i, v, 0 in decreasing order.
i, 0, -1, v
Let q be (3/(-2))/(45/20). Let x be 5 + (0 - 32/(-28)) - 6. Sort q, 1, x in increasing order.
q, x, 1
Let v(y) = y**2 - 30*y + 63. Let i be v(28). Let s(m) = -6 + 7*m**2 - m**3 + 3 + 3. Let l be s(i). Sort l, 3, 5 in ascending order.
l, 3, 5
Let m be 9/((-27)/12) + 4. Let g be m*(1 - 0) + (9 - 5). Sort 5, -2, g, -1 in increasing order.
-2, -1, g, 5
Let x = -3691 - -3848. Sort -5, x, -1, 1, -3.
-5, -3, -1, 1, x
Suppose 3*x = 10*x - 7. Let y be (1/(-2) - -1) + x. Let d = 50.6 - 51. Sort d, y, 9, -1/2.
-1/2, d, y, 9
Let u be -2*2*(-1)/(-22). Let d = -47.482 + -0.018. Let v = d - -47.3. Put v, 3, u in descending order.
3, u, v
Let f be (14/(-8))/((-2)/8) - (-18117)/(-2673). Let v = -400 + 2009/5. Put -0.5, v, f, 0.4 in descending order.
v, 0.4, f, -0.5
Let i = -14.93 + 15. Let v = i - -0.43. Let j be (24/18 + 76/57)*(-1)/(-4). Sort 0.1, j, -0.2, v in descending order.
j, v, 0.1, -0.2
Let x be -20*(32/(-20))/2. Suppose 3*a = -2*j - 14, 2*j = a - 5*a - x. Let p = -5 - -5. Put p, 1, 3, a in increasing order.
a, p, 1, 3
Let c = 0.5051 - 0.3051. Sort c, -3, 20, -4.
-4, -3, c, 20
Let i = 232 + -139. Let f = 50 + i. Let n = -143 + f. Sort -0.02, 1/5, n in increasing order.
-0.02, n, 1/5
Suppose 0 = 217*r + 355 - 572. Put r, -5, -39, -7, 5 in decreasing order.
5, r, -5, -7, -39
Let v = 2714 - 2709. Put -1, v, -16, 6 in decreasing order.
6, v, -1, -16
Let r(l) be the first derivative of l**3/3 - 9*l**2/2 - 10*l - 17. Let y be r(10). Suppose y = 5*d - 20 + 15. Sort -5, d, -1/2 in increasing order.
-5, -1/2, d
Let z be (-4)/(-14) - (-48)/28 - 3. Let j = 378 + -373. Sort 4, z, 3, j in decreasing order.
j, 4, 3, z
Suppose -521 - 277 = 3*l - 2*b, 4*l + 1065 = 3*b. Let m be (l/44)/(-2*1). Sort m, 7, 2/11 in decreasing order.
7, m, 2/11
Let v be (0 - -15)*(-3)/(-9). Suppose 2*h - 4*t = -0*t + 60, -2*t = v*h - 174. Suppose -3*b = -77 + 71. Sort b, 0, h.
0, b, h
Let n = -0.6 + 0.4. Suppose 10*c + 23*c = 25*c + 8. Sort n, c, 0.05.
n, 0.05, c
Let m be (-1)/4 + 3 + -2. Let p = 25221 + -25225. Sort 5/6, m, 0.017, p in decreasing order.
5/6, m, 0.017, p
Let j be (-126)/(588/28) - (10 + (0 - -2)). Sort -2, j, -36 in ascending order.
-36, j, -2
Let a = 0.622 + -0.922. Sort -22.7, 0.1, a in decreasing order.
0.1, a, -22.7
Let p = -2306 + 2304. Sort -1/7, -4/9, p, 0.2 in increasing order.
p, -4/9, -1/7, 0.2
Let o = 39498 + -39503. Suppose 2*i + 3*i = -20. Sort -12, i, 4, o in descending order.
4, i, o, -12
Suppose 5*y + 5 = 5*u, -8*y - 3*u + 8 = -12*y. Put y, -2, 479 in descending order.
479, -2, y
Let w = -2159.7 + 2159.6. Sort -2/13, 0.5, -3, w, -12 in ascending order.
-12, -3, -2/13, w, 0.5
Let w = 8.96 - 9. Let x = w + 2.04. Let c = -4272 + 4271.7. Sort 1, c, x, 0 in descending order.
x, 1, 0, c
Let p = -1113 - -1118. Put -49, p, 19 in ascending order.
-49, p, 19
Let x = -2455 - -2472. Put 0, -13, x in descending order.
x, 0, -13
Let d = 76 - 78. Let k(h) = -5*h - 11. Let u be k(-5). Suppose 27 = -b + u. Sort d, b, 1, 5.
b, d, 1, 5
Suppose -365*t + 366*t + 1 = 0. Sort -8, -3, -4, t, -12 in increasing order.
-12, -8, -4, -3, t
Let u(c) = 3*c - 21. Let p(w) = -3*w + 20. Let m(l) = -7*p(l) - 6*u(l). Let s be m(6). Suppose a + s*a = 0. Sort a, -4, 3.
-4, a, 3
Let p = 3075 - 3053. Sort 11, -3, p.
-3, 11, p
Let r = 9468 - 9472. Sort -14, r, -9.
-14, -9, r
Suppose -5*r + 12*j = 16*j - 208, -4*j = -8. Let s be ((-390)/(-972))/(-13)*16/r. Let u be (-1)/(1/6*2). Sort u, -2/9, s in descending order.
s, -2/9, u
Let w = 64 - 55. Let c be -2*((-84)/72 + 1/(-3)). Suppose o - 30 = -4*o + 5*b, -c*o - 4*b = 10. Sort o, 4, w in ascending order.
o, 4, w
Suppose -2*u - 4*r = -172, 0 = -24*r + 29*r + 5. Suppose -k = u - 93. Put k, 4, -5, 8 in descending order.
8, k, 4, -5
Let f = 4027 + -4023. Sort f, -278, 0.04, -0.2, 2/5 in decreasing order.
f, 2/5, 0.04, -0.2, -278
Let l = 210.7 + -17.7. Let n = l + -194.1. Sort 8, -4, n in decreasing order.
8, n, -4
Let d be (-3 - (1 - 4))/(6 + -3). Let z = 1.7 + -1.63. Let s = 0.13 + z. Sort d, 1, s in descending order.
1, s, d
Let g = 2282 + -2288. Let t = -0.11 - -2.11. Sort -4, g, t in decreasing order.
t, -4, g
Let v be 2/(7/(-4) + 2). Suppose 2*l + v = -2*l. Let f = -3.2 - -2.88. Sort f, 0.4, l.
l, f, 0.4
Let f = -1/56 + -997/616. Put -2/11, -1/4, f in increasing order.
f, -1/4, 