 v = 2 + 6. Put v, 3, t in ascending order.
t, 3, v
Let z = 38.62 + -0.12. Let c = 18 - z. Let l = c - -20. Sort 2, -2/19, l.
l, -2/19, 2
Let i = 8.57 + -6.97. Put i, 0.1, 4/5 in decreasing order.
i, 4/5, 0.1
Suppose 3*z - 3 - 12 = 0. Let m = 29 + -60. Let q = -34 - m. Sort 3, q, z in decreasing order.
z, 3, q
Let m be (-38)/76*(-2 + (-1 - -1)). Sort m, 5, -82.
-82, m, 5
Let d be 6/10 - (-5)/(5/(-1)). Sort 5, 2, -0.7, d.
-0.7, d, 2, 5
Let s = -46 - -83. Suppose -35*w = -s*w - 4. Let n be 0 + (0 + 10)/2. Sort n, 4, w in increasing order.
w, 4, n
Suppose 88*s - 2856 = 32*s. Put -4, 4, -3, s in descending order.
s, 4, -3, -4
Let f = 0.224 - 0.724. Sort -2/5, f, 217.
f, -2/5, 217
Let f be -7 + (235/(-141) - (-46)/6). Sort -2/5, -6/13, f, 8 in decreasing order.
8, -2/5, -6/13, f
Let y be 2/(-6)*(-192)/(-32). Sort -1, 4, 2, y in decreasing order.
4, 2, -1, y
Let z = 59 + -55. Let a(c) = c**2 + 8*c + 7. Let y be a(-7). Suppose -n + 3 = -4*o - 18, 5*o + z*n = y. Sort 4, o, -5.
-5, o, 4
Let k be (34 - -45)/(-1 + 1 + -1). Let p = 77 + k. Sort 0, 2, -3, p in increasing order.
-3, p, 0, 2
Suppose 4*u + 5*t - 2 = 0, t = 4*u - 2*u + 6. Suppose -4*n + 5 - 1 = 0. Put n, -1, u in decreasing order.
n, -1, u
Let r be 1/(30/6 - 4). Let z = 22 + -24. Sort r, z, 2, -5 in increasing order.
-5, z, r, 2
Let h = -446 - -449. Put h, -3, -37 in decreasing order.
h, -3, -37
Let s = 2.105 - 2.048. Sort -0.4, -0.2, 0.4, s in decreasing order.
0.4, s, -0.2, -0.4
Let p(t) = -18*t - 1. Let g be p(-1). Suppose v + 5*l + 19 = -7, 8 = -v + 4*l. Let u = g + v. Put -5, -3, u in descending order.
u, -3, -5
Let p be -6*1/(-2)*(-4)/42. Sort -4, p, 7, 2/13.
-4, p, 2/13, 7
Let i = 19.44 + -19.74. Put -0.4, i, -1/3, 0 in descending order.
0, i, -1/3, -0.4
Let g(r) be the second derivative of r**5/10 - r**4/6 - 2*r**3/3 + 2*r**2 - 7*r. Let u be g(2). Suppose -2*d - 3 = 5. Put 2, u, d in descending order.
u, 2, d
Let a(s) = 3 + 1 - 16 + 3*s. Let u be a(6). Let g be 20/(-105)*(-7)/u. Sort -4, 3/2, g.
-4, g, 3/2
Let o = -17 - -14. Let t(b) = 2*b + 4. Let a be t(o). Let g(d) = -2*d**2 - d + 2. Let h be g(a). Put 2, h, -3 in decreasing order.
2, -3, h
Let x be -2 + -1*(1 + 0). Suppose -3*b = 4*w - 10 + 7, -4*w + 4 = 4*b. Put b, x, 2, -2 in increasing order.
x, -2, b, 2
Suppose -6*x - 11 = -i - 10*x, -11 = -5*i + 2*x. Suppose b + 4 = -2*s - b, 4*s = 4*b. Put s, i, 0 in decreasing order.
i, 0, s
Let u(i) = 24*i - 168. Let y be u(7). Sort -1, y, 156.
-1, y, 156
Let r = -1.3 + 6.3. Let h(p) = -p**2 + 17*p + 4. Let k be h(17). Sort k, -2, r.
-2, k, r
Let s = -11 - -11. Let t = 280/387 - 12/43. Let c = -1.98 + -0.02. Put t, s, c in ascending order.
c, s, t
Let c = -478 - -11948/25. Sort -3, c, 0.01.
-3, c, 0.01
Suppose -2*g + 3*b + 1 = -g, -3*g = 5*b - 3. Let z be (-8)/(-12)*-3 - 2. Put 17, g, 0, z in decreasing order.
17, g, 0, z
Let g = 6 - 6. Let b be ((g - 1) + 3)*1. Suppose -2*p + 22 = 2*a, -2*p + 10 = 2. Sort 4, b, a in descending order.
a, 4, b
Suppose 0 = -3*d + 4*h + 12, 5*d - 5*h = -0*h + 15. Put -2, 4, -12, d in decreasing order.
4, d, -2, -12
Let o = 0.025 + 0.245. Let f = 0.07 - o. Let r = 10 + -7. Sort -3, f, r in descending order.
r, f, -3
Let x(r) = -r**2 + 8*r - 8. Let z be x(6). Suppose 2*y - 20 = -4*t, 7*t - 12 = z*y + 2*t. Suppose -4 = y*h - 2. Put h, 5, 2 in descending order.
5, 2, h
Let y = 54 + -59. Put 18, 4, y, -2 in decreasing order.
18, 4, -2, y
Let r(j) = -j**2 - 6*j + 10. Let a(p) = -1. Let t(o) = 4*a(o) + r(o). Let n be t(-6). Put 4, 1, n, -2 in ascending order.
-2, 1, 4, n
Let u = -71 - -71.2. Sort u, -69, -0.03 in descending order.
u, -0.03, -69
Let g = 16 + -16. Let i = 20 - g. Let l = 19.5 - i. Put 3, -0.3, l in descending order.
3, -0.3, l
Let l be (-203)/315*6 - 4/30. Sort -23, l, -3, 5.
-23, l, -3, 5
Let f(o) = 61*o + 117. Let d be f(-2). Put d, 12, -11 in decreasing order.
12, d, -11
Let i = 12.07 - 12. Let k = i + 0.03. Let d = -2.1 + 2. Sort d, k, 4 in descending order.
4, k, d
Let x(t) = -4 - t**3 + 2 + 1 + 5*t**2 + 3*t - 4. Let r be x(5). Let i be ((-1)/2)/((-2)/16). Sort -2, r, i.
-2, i, r
Let u(j) = 17 - 8*j**3 + 16*j**2 - 2*j**3 + 4*j**3 - 16*j + 5*j**3. Let v be u(15). Sort v, 5, 0, 1 in increasing order.
0, 1, v, 5
Let r = 940 + -942. Put r, 6, 9 in increasing order.
r, 6, 9
Let w = 57 + -52. Let r = 27 - 16. Let v = r - 7. Put w, v, -4 in descending order.
w, v, -4
Suppose -2*g + 20 = -7*g. Put g, 4, 40, 5 in descending order.
40, 5, 4, g
Suppose 2*u + 4*f + 12 = 0, -7*u - 5*f - 24 = -3*u. Let s be u/(-9)*(-3 + 0). Put s, 5, -4, 2 in decreasing order.
5, 2, s, -4
Let v = -1663 + 1668. Sort 7, v, -5, -2 in increasing order.
-5, -2, v, 7
Let b = -206.31 + 211. Let n = 0.31 + b. Let m be (-2)/(-3)*(-9)/(-4). Put m, n, -4/5 in increasing order.
-4/5, m, n
Let f = 0.0135 + -0.0135. Put 2, f, -37 in increasing order.
-37, f, 2
Let c = -349 + 348.5. Put 4, c, 5, 4/3 in decreasing order.
5, 4, 4/3, c
Let i = 1098 + -1091. Sort 4, 12, i in decreasing order.
12, i, 4
Let s(i) = i**3 + 36*i**2 + i + 39. Let w be s(-36). Sort w, 336, 5 in ascending order.
w, 5, 336
Suppose -2*f = -2*r - 242, 2*r - 3*f = -8*f - 242. Let t = r - -122. Sort -1, -5, t.
-5, -1, t
Suppose 0 = -8*j + 14*j - 30. Sort -5, j, -2 in increasing order.
-5, -2, j
Let u = 7 + 11. Suppose -4*f + u = -0*f + 2*i, 3*f - 12 = -i. Let q = 1 - 1. Put -2, f, q in descending order.
f, q, -2
Let b = 9363 + -9366. Suppose -h + 0*h = -2*k - 9, -4*h = k + 9. Sort k, 0, b in increasing order.
k, b, 0
Let r = 69 + -71. Sort -4, 2, r, 6 in ascending order.
-4, r, 2, 6
Let b be -23*(-2 + 6 + -9 - -6). Sort b, 2, -4 in descending order.
2, -4, b
Let g = -0.0059 - 0.5941. Sort 4/7, 0, -0.2, g.
g, -0.2, 0, 4/7
Let b be ((-105)/(-6))/(2/(-4)). Let g = -8/705 + 8071/235. Let i = b + g. Put 2, i, -1 in ascending order.
-1, i, 2
Let j be (-11)/(121/(-44)) - (2 - 0). Let k(i) = 17*i - 38. Let n be k(j). Let f(w) = -w. Let z be f(5). Sort n, -1, z in descending order.
-1, n, z
Let m = 14.5 - 13.18. Let w = m + -1.42. Sort -1/5, w, 2/25 in ascending order.
-1/5, w, 2/25
Suppose 210 = -2*w - w. Let z be (-15)/w*4/(-3). Let t = -0.52 + 5.52. Put -1/4, t, z in ascending order.
z, -1/4, t
Let g be -13*16/(-1352) + 22/26. Put g, 34, 11 in descending order.
34, 11, g
Suppose 105 - 129 = 6*g. Sort g, 406, -5.
-5, g, 406
Suppose 0 = -65*j + 51*j + 56. Put 22, j, -4 in descending order.
22, j, -4
Suppose 0 = -6*g + 2*g + 16. Suppose -2*q = b - 10, -2*b = -4 - g. Let t be q + ((-496)/36)/4. Put -2/3, t, -2/5 in descending order.
-2/5, t, -2/3
Suppose -660*t = -668*t - 32. Sort t, 2, -6 in decreasing order.
2, t, -6
Let r = -459.6 + 460. Put 9, r, -1.3 in increasing order.
-1.3, r, 9
Let q = -497 - -488. Put 3, -19, q in decreasing order.
3, q, -19
Suppose 0 = 55*i - 57*i - 16. Let s(p) = -2*p - 10. Let z be s(i). Put 1, 5, z in ascending order.
1, 5, z
Suppose 9 = 4*y + 4*v + 25, 0 = -2*y + 3*v - 28. Let f be (y + -2)/(-5 - -3). Let p = -7 + f. Put p, -1, -4 in descending order.
-1, p, -4
Let b(t) = -t**3 + 8*t**2 + 11*t - 5. Let v(d) = -d**2 - d - 1. Let s(g) = b(g) + 3*v(g). Let p be s(6). Suppose -x = -p*x - 9. Put x, 1, 3 in increasing order.
x, 1, 3
Let f = -346.6 - -313. Let r = -34 - f. Sort -1/3, -1, 5, r.
-1, r, -1/3, 5
Suppose -1 = -3*y - 2*f + 17, 0 = -2*y + 2*f + 2. Let w = 11 - 8. Suppose 0 = -0*l + 2*l + 8. Put l, y, w in ascending order.
l, w, y
Let x(v) = 3*v**2 + 87*v - 96. Let d be x(-30). Put 41, 3, d in decreasing order.
41, 3, d
Suppose 0 = -2*u + 21 - 7. Let c = -6 + u. Put c, 0, -1 in descending order.
c, 0, -1
Let s = -82 - -83. Sort 0.04, 2, s.
0.04, s, 2
Let f be 6/(-10) - (-102)/(-30). Suppose -o - 3*y = 2*o - 12, -2*o + 3*y + 3 = 0. Let t be o + -1 + (-1 - -3). Sort t, f, 0 in ascending order.
f, 0, t
Let b = -20 + 20. Suppose -2 = j + 2*m, b*m + 5*m + 15 = 0. Sort -5, j, 5 in increasing order.
-5, j, 5
Let w(d) = -2*d - 32. Let b be w(-13). Let q be ((-1)/(-2))/(b/12). Let j be -3*1*2/4. Put 1/9, j, q in decreasing order.
1/9, q, j
Let q be (-16)/(-12)*3/2. Suppose -l + 8 = d - 5*d, -q = -2*l + d. Put l, -3, -19 in ascending order.
-19, -3, l
Let k = -53568/1255 + 21/251. Let h = k - -43. Let b = -133/3 - -45. Put b, 4, h in ascending order.
h, b, 4
Suppose -182 = 5*h - 162. Suppose -6 = -3*q + 3*i