g order.
k, t, 5
Let v = 10.775 + 3.195. Let s = v + -14. Let k = s - 0.17. Put 0.2, k, -4 in decreasing order.
0.2, k, -4
Suppose 0 = 5*v - 5*c - 9 - 76, -v + 29 = -5*c. Put v, -4, 2, -1 in descending order.
v, 2, -1, -4
Let u = 23 - 45. Suppose 0 = -12*r + 5 - 53. Sort r, u, -5 in decreasing order.
r, -5, u
Let g be 3 + -2 - (-1 + 0). Suppose -16 = -85*o + 93*o. Sort o, g, 5 in descending order.
5, g, o
Suppose 0 = -7*i + 9*i - u - 3, 2*u = 3*i - 5. Sort i, 4, -114.
-114, i, 4
Suppose 20 = -6*f + 11*f. Let g = 36 + -24. Put g, f, 2 in ascending order.
2, f, g
Let r = -892/3 + 298. Sort -1/35, -2, r in decreasing order.
r, -1/35, -2
Suppose -16*j - 32 - 32 = 0. Put j, 2, -0.4, -27 in decreasing order.
2, -0.4, j, -27
Let p = 149 + -150. Sort 4, p, 10.
p, 4, 10
Let k = -7242 - -81156/11. Suppose -4*q = -2*b + 284, 2*q = 5*q + 9. Let r = b - k. Put 1/2, r, 0.3 in increasing order.
r, 0.3, 1/2
Let r(v) = 7*v - 68. Let x be r(13). Put 0.4, 3, x in descending order.
x, 3, 0.4
Suppose -4*z + 19 = s, -4 + 23 = 3*z - 4*s. Put -5, -3, z, -1 in ascending order.
-5, -3, -1, z
Let q(v) = v**2 - 7*v - 93. Let l be q(-7). Let y(j) be the third derivative of j**5/60 - j**4/4 - 2*j**3/3 - 3*j**2. Let n be y(5). Sort n, 3, l.
n, 3, l
Let v(l) = -3*l**3 + 9*l**2 - 7*l + 3. Let t be v(3). Let d be 2 + t/(-3) + -4. Sort -1, 5, d in decreasing order.
5, d, -1
Let q = 75 + -75. Put q, 5, -6 in descending order.
5, q, -6
Let m = -22 - 5. Let x be (-4)/(-18) - (-6)/m. Let c be ((-6)/(-9))/(2/15). Sort c, x, -3 in descending order.
c, x, -3
Let f = -135 + 193. Let j = 63 - f. Put 7, 2, j in descending order.
7, j, 2
Let n = -0.8 + 0.3. Let d be 121 - ((-10)/5 - 1). Let a be 1/(-6) - d/(-24). Put a, n, -2 in descending order.
a, n, -2
Suppose 4*g - c - 1061 = 0, 5*c + 251 = 4*g - 3*g. Let r be g/70 + 2/10. Sort 2/5, -0.5, 0.1, r in increasing order.
-0.5, 0.1, 2/5, r
Let p = -0.146 + -0.254. Put 0.39, p, 4, -2/7 in descending order.
4, 0.39, -2/7, p
Let v = 90 + -63. Let f = 53/2 - v. Sort f, 5, 0.
f, 0, 5
Suppose 60*v - 53 = 7*v. Put -2, -83, v in descending order.
v, -2, -83
Let i(k) = -k**3 - 9*k - 7. Let m be i(0). Sort 9, -1, m in descending order.
9, -1, m
Suppose 22*q - 263 = -43. Sort -2, -11, -1, q in increasing order.
-11, -2, -1, q
Let i = -28 - -59. Let d = 30.6 - i. Put 2/5, -2, d in descending order.
2/5, d, -2
Let r = -398 - -401. Sort 52, 5, -2, r in ascending order.
-2, r, 5, 52
Suppose 124*i - 128*i + 20 = 0. Suppose 0 = 2*m - 2*q + 8, 4*m - 10 = -q - 26. Put 0, m, i in increasing order.
m, 0, i
Suppose 28 = 4*i + 12, -4*p + i = 20. Suppose -10*d + 11*d = s + 9, 25 = -s + 5*d. Sort s, -2, -3, p in ascending order.
s, p, -3, -2
Let l(w) = -w**2 - 6*w - 5. Let i be l(-6). Let d be 1*(-1 + (5 - 2) + 1). Suppose 5*x - 6*x = -d. Sort x, -4, i in descending order.
x, -4, i
Let l = -9.42 - -9.92. Sort -4, -31, 8, l in decreasing order.
8, l, -4, -31
Let n be 16/36 + (-60)/1350. Let l = -2.4 + 0.4. Put n, l, 1 in descending order.
1, n, l
Let j be 0 - (-3 + 2/1). Let z be (-12)/42 + 4 + (-99)/21. Sort j, 23, z in descending order.
23, j, z
Let v = -5.962 + -1.038. Sort 7, v, 0.9.
v, 0.9, 7
Let a = -34 + 6. Let k = 25 + a. Let p = -8 - k. Sort 1, 2, p.
p, 1, 2
Let c = -6.8 - -6.6. Let t(f) = f + 5. Let a be t(-9). Put a, -0.5, c in descending order.
c, -0.5, a
Let q be 5/((-15)/(-9)) + -4. Put q, 4, -7 in descending order.
4, q, -7
Let o be (-13)/4 + 0 - 17/(-68). Let m be o + 7 + (-19)/6. Put m, -3, -13 in decreasing order.
m, -3, -13
Let a = 101 - 85. Let q be (9/(-12))/(21/a). Sort -4, q, 5 in decreasing order.
5, q, -4
Let k = -126 + 131. Let i = 0.8 + -2.8. Put i, 4, k, -3 in decreasing order.
k, 4, i, -3
Let o = 4.57 - 5.07. Sort -2/5, -24/7, -3, o in increasing order.
-24/7, -3, o, -2/5
Let m(z) = -18*z + 305. Let t be m(17). Let n(f) = 4*f. Let u(j) = 2*j. Let d(o) = 4*n(o) - 9*u(o). Let h be d(-2). Sort 7, t, h.
t, h, 7
Let z be ((-4)/(-18) - 518/333)/(1/3). Let m be -1 + -1 + 1 - -22. Sort -1, m, 5, z in descending order.
m, 5, -1, z
Let c = 3.38 - 8.38. Sort -0.3, 0, 2, c in increasing order.
c, -0.3, 0, 2
Let t = -5 - -4.6. Let m = -1.1 - -1.8. Let x be ((64/(-24))/(-4))/(-3 + -1). Sort t, m, x.
t, x, m
Let y be (-3)/2*2*1. Let s = 82 - 8. Let u = s - 74.01. Put u, y, 5 in decreasing order.
5, u, y
Let k = 18 - 29. Let t be (-129)/18 - (-3 + -4). Put t, k, 0.5 in decreasing order.
0.5, t, k
Let o = -4.52 - -4.22. Let n = -9/5 - -13/10. Sort -3, n, -5, o in increasing order.
-5, -3, n, o
Suppose 0 = 1115*d - 1121*d + 30. Put 4, 3, -3, d in descending order.
d, 4, 3, -3
Let x = -546 - -557.24. Let z = x + -0.24. Let t = 6 - z. Sort 4, -0.3, t.
t, -0.3, 4
Suppose -3*l - 7 + 24 = -5*v, -13 = 3*v + l. Put 2, 0, v, 6 in increasing order.
v, 0, 2, 6
Let l = -8.51 - -13.51. Let z = -47/80 + 3/16. Put z, -0.1, l, -1/3 in decreasing order.
l, -0.1, -1/3, z
Let r = -4 - -6. Suppose -r*k + 4 = -3*j - 21, 0 = -5*k + j + 30. Let z be 0 - (-2 + 7 - 6). Sort k, -5, z in descending order.
k, z, -5
Let s(z) = 15*z - 250. Let d be s(14). Put -5, 0, d in descending order.
0, -5, d
Let a = 2128 - 2125. Sort -146, a, 2, -5.
-146, -5, 2, a
Suppose -11*c + 14*c = 0. Suppose c = 3*j - 13 + 43. Sort 1, 2, j.
j, 1, 2
Let j(s) = 32*s + 24*s - 6 - 49*s - s**2. Let b be j(6). Suppose b = -2*k + 2*d - 42, 5*k - 4*d + 172 - 65 = 0. Put 1, -3, k in ascending order.
k, -3, 1
Suppose 3*h + 15 = 3*n, n - 4 = -h - 5. Let r(c) = 47*c + 748. Let g be r(-16). Suppose -5*p + 1 = -24. Put p, n, g in descending order.
p, n, g
Let d = 492 + -494. Sort d, 2, -1, 0 in ascending order.
d, -1, 0, 2
Let v = 1142 + -1127. Put v, 11, 1 in increasing order.
1, 11, v
Let k = -34.08 - -34. Let a = -149 - -152. Put k, -3, a in descending order.
a, k, -3
Let t be (-9)/(-18)*(4 - (0 - -4)). Sort -1, t, 3, -2.
-2, -1, t, 3
Suppose -7*p - 18 = -16*p. Sort -1, -6, p, -4 in descending order.
p, -1, -4, -6
Let j(a) = a**2 - 14*a + 9. Let o(f) = f**2 + 10*f + 22. Let t be o(-9). Let k be j(t). Put k, -5, 5, 4 in descending order.
5, 4, k, -5
Suppose 5*y = -5 + 30. Suppose u + y = -k, -4*u = -k + 4*k + 20. Sort k, 2, 13, 3.
k, 2, 3, 13
Suppose -9 = 23*f - 32. Sort 2, f, -21 in ascending order.
-21, f, 2
Let l be 2 + (-4)/(8 + -12). Sort 30, -1, l, 9 in ascending order.
-1, l, 9, 30
Suppose -k = 3*w + 13, 4*k + 3*w + 9 = -7. Let y(v) = -4 - v - v + 1. Let p be y(-4). Sort p, -3, k in descending order.
p, k, -3
Let p be ((-2)/(-12))/((-6)/9). Let c = -2 + 22. Let s = c - 20. Sort p, s, 2/11 in ascending order.
p, s, 2/11
Let o = 5729 + -17186/3. Let w = -2 - -1.9. Sort w, -1/6, o in ascending order.
-1/6, w, o
Let o = 5.5 - 5. Let z = 123 + -126.28. Let t = z + 0.28. Put t, 3/7, o in ascending order.
t, 3/7, o
Let f be ((-9)/12)/((-1)/4). Let a be (-230)/(-18) + 2/9. Let d = a + -12. Sort d, -2, f in decreasing order.
f, d, -2
Suppose -3*z + 9 = 3*s, -s + 2*z + 5 + 4 = 0. Suppose s*v = -5*r - 15, 5*r = -v - v - 21. Sort -1, r, -2, -4.
r, -4, -2, -1
Let z = 614/21 + -206/7. Sort 2, 5, z, 3.
z, 2, 3, 5
Let y be (-866)/504 - 1/7. Let v = y + 16/9. Let q(d) = -d**3 + 2*d**2 + 4*d - 2. Let g be q(3). Sort v, 0, g in increasing order.
v, 0, g
Suppose 3*o = h + o - 8, 16 = 4*h - 4*o. Suppose -2*j - 4 = -3*s, -2*s = -h*s - 8. Let a be -2 + (1 - j) + 7. Put -3, 0.3, a in decreasing order.
a, 0.3, -3
Suppose 2*s - j = 6*s - 14, -2 = j. Let i be (10 + -20)*1/(-2). Put i, s, -1, -5 in decreasing order.
i, s, -1, -5
Let y(t) = -4*t**3. Let v be y(-1). Suppose -v*c = -c. Suppose 10 = -5*h - c. Sort h, 1, 2 in ascending order.
h, 1, 2
Let g(k) = 5*k + 46. Let w be g(-11). Sort 4, -4, -1, w.
w, -4, -1, 4
Let t = 1330 - 50537/38. Let v = t + 5/57. Sort v, -3, 4.
-3, v, 4
Suppose -10*c + 3*c = 16*c. Sort -2/9, -1, c.
-1, -2/9, c
Suppose -4*m - 17 + 5 = 0. Let k(p) = p**3 + 4*p**2 - p - 3. Let v be k(-4). Let u = 1.7 + -2.7. Sort m, u, v in increasing order.
m, u, v
Let r = 0.093 + 20.907. Let q = r - 20.6. Put q, 4, -5 in increasing order.
-5, q, 4
Let m be (0 - 1)*-1 - -3. Suppose -5*l + m = -l. Suppose 2*q + l = q. Sort q, 2, 1 in decreasing order.
2, 1, q
Let w be ((-2)/14)/(1 - 2). Let r(a) = -3*a**3 + 2*a + 3. Suppose -9 = -q + 5*j, -q - 4*j + 1 = 10. Let o be r(q). Put o, -1, w in ascending order.
-1, w, o
Let j = -11 