g order.
r, x, -5
Let r(v) = 15 + 3*v - 7 + 4. Let z be r(-5). Put 1, 3, z, -4 in decreasing order.
3, 1, z, -4
Suppose 3*k + 24 = 7*k. Let v be (-4)/(-2 + 10) + 1/k. Sort v, -1/7, 2 in descending order.
2, -1/7, v
Let t = -12 + 17. Let k(s) = s**3 - 56*s**2 + 110*s - 107. Let w be k(54). Put w, -1, -5, t in increasing order.
-5, -1, w, t
Suppose -w + 3*y + 7 - 27 = 0, 5*w = -y - 20. Put -24, 0, 1, w in increasing order.
-24, w, 0, 1
Suppose 8*k = k + 14. Suppose -3*r - 4 = -z, -z = -5*r - 0*r - 4. Put k, z, -7 in decreasing order.
z, k, -7
Let d = -2.155 + 0.155. Let b(k) = -3*k**2 - k. Let z be b(1). Put -1, z, d in ascending order.
z, d, -1
Let p = -76 + 71.35. Let b = p + 1.65. Let q be 1/(-3)*(-4)/2. Sort 2, b, q in increasing order.
b, q, 2
Suppose -5*n + 7 = -8. Let y = 23.55 + -23.55. Sort n, 0.4, y in ascending order.
y, 0.4, n
Let l = -4.32 + 0.32. Let p = -9 + 19. Let o = -9.9 + p. Sort l, o, -2/9 in ascending order.
l, -2/9, o
Suppose 16 - 20 = -4*r. Let z(n) = 5*n**3 + n - 1. Let p be z(r). Put 0.03, p, 3/7 in ascending order.
0.03, 3/7, p
Let z = 2392117/11 + -217745. Let l(r) = -35*r**3 + r - 2. Let n be l(2). Let i = z - n. Sort i, -2/5, 2.
-2/5, i, 2
Suppose -7 = 5*g + 18, 4*n - 5*g = 5. Sort 5, n, 2, 17 in increasing order.
n, 2, 5, 17
Let u = -1307.7 - -1308. Sort u, 9/8, -5, 3.
-5, u, 9/8, 3
Let y be 468/63*7/2. Suppose 4*v + 62 = z + z, v - 4*z + y = 0. Sort 4, 5, v.
v, 4, 5
Let t = -136 + 133. Suppose 3*n = 3*g + 2*g - 3, 0 = 3*n - 3*g - 3. Sort -2, n, t in descending order.
n, -2, t
Let w be (-14)/(-24) - ((-22)/33 - -1). Put -5, w, 1.13 in descending order.
1.13, w, -5
Let w = 1.3 + -1.02. Let h = -0.27 + w. Put 4/7, h, 1 in decreasing order.
1, 4/7, h
Let y = 0 - -5. Let h = 211.87 + -211.8. Put y, -3, h, -3/4 in descending order.
y, h, -3/4, -3
Let y be -2 + 3*12/54. Put y, -0.043, -5 in ascending order.
-5, y, -0.043
Let m = 32 + -35. Let h(s) = -8*s + 6. Let g be h(1). Let f = -2 - -3. Put m, f, g in descending order.
f, g, m
Let k = 0.2 + -0.5. Let c = 74 - 73.9. Sort -4, c, k in decreasing order.
c, k, -4
Let y = 62 + -125/2. Let a(w) = -6*w + w + w + 2 + 3*w. Let g be a(3). Sort g, 0.3, y.
g, y, 0.3
Let j = -4 + -16. Let k be 2/5 - 72/j. Suppose -2*t + 23 = k*u - t, 5*u = -3*t + 34. Sort u, 2, 6.
2, u, 6
Suppose 404 = 11*d - 663. Sort d, -1, -4 in increasing order.
-4, -1, d
Let l(x) = -x**3 + 20*x**2 + x - 16. Let o be l(20). Put o, -4, -29 in decreasing order.
o, -4, -29
Let t(m) = 3*m**2 + 78*m - 1. Let k be t(-26). Sort k, -0.2, 1/5, -0.05.
k, -0.2, -0.05, 1/5
Let o be 6*(1/(-3) + 3). Suppose 4*h + o = 5*x, 4*x = -0*h - 3*h - 12. Sort 2, h, -5 in decreasing order.
2, h, -5
Let h(m) = -m - 5. Let r(v) = 3*v**2 + v. Let p be r(1). Let q be h(p). Let s = 11 + q. Sort s, -2, -5 in descending order.
s, -2, -5
Suppose -4*i = 16, -5*v - 4*i = 2 + 19. Let g be (9 + (-138)/15)/(v - -2). Sort 4, g, -5 in increasing order.
-5, g, 4
Let d be 0 + 30/(-9) + 4. Let t = 12 - 7. Sort 0.4, d, t.
0.4, d, t
Let j(z) = -z + 11. Let r be j(12). Let c = r + 1. Let u be (-32)/20 + 2 + c. Sort -1, 2, u in ascending order.
-1, u, 2
Let g = 43 + -39. Suppose -g*o = -2*o - 3*o. Let k = -11 - -8. Sort k, -16, o in increasing order.
-16, k, o
Let n(f) = 11*f - 43. Let i be n(4). Put 13, 0, i, -1 in ascending order.
-1, 0, i, 13
Let w = -0.7 + 0.4. Let z = 4 + -5. Sort z, 5, w.
z, w, 5
Let z = -201 - -204. Sort 0.5, 4/5, z, -2 in ascending order.
-2, 0.5, 4/5, z
Let r = -2 + 3. Let i = r + -1.1. Let t = 121 - 125. Put t, i, -2/5 in ascending order.
t, -2/5, i
Suppose 4*d - 4 = -48. Suppose -242*r + 208*r = 102. Put 4, d, r, 1 in ascending order.
d, r, 1, 4
Suppose -28 = -2*t + 3*z, -4*t - z + 2*z + 36 = 0. Let g = -3 + t. Let x = -62 - -62. Put x, -1, g in increasing order.
-1, x, g
Let j = -18 - -16. Suppose -6*m + 27 - 3 = 0. Sort m, 2, j, -5 in ascending order.
-5, j, 2, m
Let x be 2*((-104)/676 - (-48)/(-26)). Put x, -35, 0 in decreasing order.
0, x, -35
Let r be 4/30*(-2 - 1). Let z = -3.5 - -3.2. Let g be 26/(-143)*(0 - (-3)/(-3)). Put g, r, z in descending order.
g, z, r
Suppose -3*b = -4*b - 3. Let k = -32 + 23. Let l be (k/2)/((-2)/4). Put -4, l, b in descending order.
l, b, -4
Let t(z) = -37*z + 333. Let y be t(9). Sort 2, 23, 4, y in decreasing order.
23, 4, 2, y
Let z be (2 + -1)/(3 - 1). Suppose -7 + 2 = j. Let r be ((-12)/16)/(j/4). Sort 0.3, r, z.
0.3, z, r
Let b = -360.29 + 355. Let s = b - -0.29. Let n = -0.2 - 0.3. Put s, n, -4 in ascending order.
s, -4, n
Suppose 3*h + h = 5*n + 8, -9 = 3*h. Put -5, -13, n, 4 in decreasing order.
4, n, -5, -13
Let m = -967 + 1935/2. Sort m, -0.4, -5, -8 in decreasing order.
m, -0.4, -5, -8
Let b = -23 + 45. Let i = b + -21. Sort 0.1, i, 0.5, 2.
0.1, 0.5, i, 2
Let j be (-3 + 2/2)*-2. Suppose 2*d + 2*d + 36 = 0. Let h(u) = -u**3 - 83*u**2 - 2*u - 166. Let g be h(-83). Sort j, g, d in decreasing order.
j, g, d
Let u = 512 - 509. Sort u, 2/9, -0.05, 0.3.
-0.05, 2/9, 0.3, u
Let v(x) = x. Let p be v(1). Let i(k) = 7*k - 187. Let g be i(26). Sort 4, 2, p, g.
g, p, 2, 4
Let g be 1/(-5 - (-48)/9). Sort 1, g, 25.
1, g, 25
Let s = -0.56 - -0.06. Sort 0, -1.1, 4, s in ascending order.
-1.1, s, 0, 4
Let s be (130/195)/(-11*2/9). Let y = -4 + 2. Put s, y, 0.1 in descending order.
0.1, s, y
Suppose 0 = g + g. Suppose -2*i = -g*i. Let s be 3/(-2)*(-24)/(-18) + 3. Put s, 5, i in descending order.
5, s, i
Let x(m) = 0 + 6 - 2*m + 3*m + 7. Let l be x(-10). Suppose -3*c + 3 - 10 = -y, 3*y - l*c - 9 = 0. Sort y, 4, -1 in increasing order.
-1, y, 4
Suppose 87*u - 25 = 323. Let q(r) = -r + 5. Let t be q(4). Sort 2, u, t in ascending order.
t, 2, u
Let t = -0.82 - 1.18. Let x = 11/3 - 3. Sort -3, x, t in ascending order.
-3, t, x
Let z be ((-2)/6)/(-7 - 124/(-18)). Put z, 5, 2 in decreasing order.
5, z, 2
Let h be 4/6 - (-88)/(-24) - -4. Sort h, 2, -13 in increasing order.
-13, h, 2
Let r = -44.5 + 31. Let x = 4.46 + r. Let j = x - -9. Sort -0.1, -0.4, j in increasing order.
-0.4, -0.1, j
Let u = -1 + 2. Let d be 18/30 - (-299)/35. Let n = d - 9. Sort n, u, 2/3.
n, 2/3, u
Let h = -7 - -4. Let z = -4.971 - 0.029. Put z, 1, h in decreasing order.
1, h, z
Suppose 4*f = 4*o + 24, 5*o + 59*f + 54 = 56*f. Put 0.3, o, 0.1, -1/5 in increasing order.
o, -1/5, 0.1, 0.3
Let n = -7/2 - -3. Let r = -67.25 - -1.25. Let y = 65.6 + r. Put y, n, -3 in increasing order.
-3, n, y
Let g = -196 - -200. Put g, -0.4, -3.1, -2/7 in increasing order.
-3.1, -0.4, -2/7, g
Let f = 53 + -48. Suppose 4 = -3*u - h + 14, f*h = -10. Put u, -3, -2, 3 in decreasing order.
u, 3, -2, -3
Let i = 27 + -31.3. Let o = i - 9.6. Let a = -14 - o. Put -0.3, a, 0.1 in decreasing order.
0.1, a, -0.3
Let c = -356 + 10322/29. Sort 4, 3/5, c in descending order.
4, 3/5, c
Let a(u) = u**2 + 7*u - 95. Let k be a(-14). Put 1, 4, -22, k in decreasing order.
4, k, 1, -22
Suppose 3416*g + 3*u + 15 = 3421*g, g + 15 = -3*u. Suppose 3*r = -4*p - 2*r + 37, 3*p = 2*r - 1. Suppose -2*f - 15 = p*f. Sort 5, g, f in increasing order.
f, g, 5
Let j = 307 + -302. Put 22, j, -1, 0 in increasing order.
-1, 0, j, 22
Let g be (-10)/(-4)*16/10. Suppose 0 = g*s - v + 24, 5*s - 4*v = -0*s - 19. Let c(u) = -u**2 - 5*u + 10. Let k be c(s). Put k, -1/4, -1/5 in decreasing order.
-1/5, -1/4, k
Suppose -c = -5*r + 5, -4*c = -4*r + 19 + 1. Sort 13, 2, 5, c in descending order.
13, 5, 2, c
Let y be (-2)/(-27) + 432/(-1458). Put 0, y, 20, -2 in descending order.
20, 0, y, -2
Let m(q) = 6*q + 35. Suppose -9*k - 37 - 17 = 0. Let t be m(k). Sort 14, 5, t.
t, 5, 14
Suppose 7*o = -62 + 90. Put -90, o, -4 in increasing order.
-90, -4, o
Let v = -2387 - -2375. Put 7, 0, -1, v in increasing order.
v, -1, 0, 7
Let z be (8 + -10 - 3)*1. Put 3, z, 11 in descending order.
11, 3, z
Let y = -6 + 6.3. Suppose 0 = -30*f + 3081 - 3171. Sort y, -4, f in decreasing order.
y, f, -4
Let v = 2 - 5. Let i(h) = h**2 - 21*h - 23. Let l be i(23). Suppose -3*g + 7 = 2*p, 3*g = 4*p - 2*p + l. Put p, 8, v in decreasing order.
8, v, p
Let k = -405 + 1214/3. Put 0.06, 3/5, k in ascending order.
k, 0.06, 3/5
Let w = -6 - 2. Let z = 7 + w. Let h = z + -2. Put -2, h, 1 in descending order.
1, -2, h
Suppose -2*q + 12 = k + 3*q, -6 = 5*k + 3*q. Let l be -3 + 8 + -3 + k. Let o be ((-1)/l)/(1/4). Sort -1, o, 0.4.
-1, 0.4, o