.
d, -3, h
Suppose 379 = 6*h + 355. Put h, -34/5, -5 in decreasing order.
h, -5, -34/5
Let v = -31 - -39. Let d = 3 - v. Let x = 1.2 + -0.9. Sort x, d, 5.
d, x, 5
Suppose -78*d + 75 = -63*d. Suppose m - 27*g + 28*g = 1, 0 = 4*m - d*g + 41. Sort 3, -97, m.
-97, m, 3
Let n = 326.9 + -326.4. Sort 489, -4, 2, n in decreasing order.
489, 2, n, -4
Let n be ((-21)/(-9) + -2)*-2. Let t be (432/(-1872))/(4/(-26))*(-2)/(-7). Put -5, t, 0.08, n in decreasing order.
t, 0.08, n, -5
Suppose 1 + 9 = 2*d. Let t be (-38 - -98)*(2 - (-68)/(-10)). Let s = t - -283. Put d, -2, s in increasing order.
s, -2, d
Let m = -1783 + 1787. Put m, -19, -6 in decreasing order.
m, -6, -19
Suppose 2*p = m - 0*p + 2, -8 = 4*p. Suppose 0 = 109*v - 104*v - 25. Suppose 0*a + 2*f + 7 = v*a, 3*a + 4*f - 25 = 0. Sort a, -1, m in descending order.
a, -1, m
Let v = 13 - 33. Let b be (12/v + 1)/((-4)/(-6)). Let j = -146 - -150. Put -0.5, b, j in increasing order.
-0.5, b, j
Let f be (-12)/(-20) - (-39)/(-15). Let m be (-267)/(-108) + -3*f/(-27). Let t = m + -35/12. Sort 5/6, 1/4, t, -1/5 in descending order.
5/6, 1/4, -1/5, t
Let y = -294.9 - -293.9. Let a = 952/5 - 191. Suppose n - 28 = 4*n - 4*o, 4*n = -4*o. Sort y, n, a in descending order.
a, y, n
Let j = 5326295 - 9283731922/1743. Let g = -2/249 + j. Let v = -54919 - -54921. Sort -4, -2/15, g, v in increasing order.
-4, -2/15, g, v
Suppose -11*c - 20*c = -155. Let u(a) be the first derivative of -5*a**2/2 - a - 5. Let r be u(-1). Sort r, -11, c in ascending order.
-11, r, c
Suppose q - 4*j - 30 = 0, 5*q + 5*j - 18 = -43. Put 3, q, -945, -4, -5 in increasing order.
-945, -5, -4, q, 3
Suppose 1244*i - 3179 = 922 + 875. Suppose 0 = 2*s + 8, 5*a = -0*s - s + 26. Suppose -4*p = 12, p + p + a = -b. Put b, 19, i in increasing order.
b, i, 19
Let a be (-15)/(-78)*((-4)/5)/(-1). Put -0.2, -86, -4, a in descending order.
a, -0.2, -4, -86
Suppose 23*o - 31 + 54 = 0. Suppose 3*u = -u - 12. Put u, 3, o, 4 in increasing order.
u, o, 3, 4
Let p = -9.1 + 1.1. Let x = 4.2 - 3.9. Sort p, x, 1 in decreasing order.
1, x, p
Let t = 12785 - 12785.4. Sort -2/3, 2/9, 4, 2/21, t in increasing order.
-2/3, t, 2/21, 2/9, 4
Let b = 7 + -6.98. Let j = -4 - -3. Let k be ((-10)/(3 - 103))/((-16)/(-60)). Sort b, j, k in ascending order.
j, b, k
Let h = -1.4 - -3.4. Let r be (-6)/18 - (-4636)/(-42). Let x = r - -111. Sort x, h, -0.2.
-0.2, x, h
Let t = 64.5 - 64.6. Let c be -5 - (-3)/((-9)/6). Sort c, t, -4 in ascending order.
c, -4, t
Suppose -4 = 4*t - 3*s, 3*s - 6 = 3*t - 3. Let c = -31579 - -31582. Sort t, c, -0.2, 0.1 in increasing order.
t, -0.2, 0.1, c
Let g(c) = c**2 + 4*c + 1. Let d be g(2). Suppose 0 = -3*s + 13*s. Put s, 5, d, 4 in increasing order.
s, 4, 5, d
Suppose -5*l - 30 = -10. Suppose 5*d + 4*w - 24 = 0, -21*d + 23*d - w = 7. Sort d, -3, l, -5.
-5, l, -3, d
Suppose 3*g + 4*x - 9 = -0*g, -g - 13 = -4*x. Suppose 0 = 20*j + 563 - 163. Let o(u) = -6*u - 116. Let s be o(j). Sort -37, s, g.
-37, g, s
Let a = 2.3925 - 2.2825. Sort -17/5, -1, a.
-17/5, -1, a
Suppose 8*g - 89 = -33. Suppose -g*v + 313 = 306. Sort -105, v, 2 in descending order.
2, v, -105
Let w be 12/(-9)*(-279)/1209. Sort w, 5/3, 0.3, -3.
-3, 0.3, w, 5/3
Let i be 15/(-2) - (-2)/(-4). Suppose 30*b - 29*b = 5*q - 28, 5*b + 10 = -q. Put -3, i, q in decreasing order.
q, -3, i
Let v be (1 + (-45)/2)/(-36 + (-438)/(-12)). Sort v, -18, -2, -9 in decreasing order.
-2, -9, -18, v
Let d = -4603 + 13807/3. Sort d, -8, 7, 3.
-8, d, 3, 7
Let d = -217 + 384. Let h = d + -167. Put -0.53, 8, h in descending order.
8, h, -0.53
Let y = -2.2 - -1.2. Let r = -13769/5 - -2754. Put -6, r, y, -1/4 in decreasing order.
r, -1/4, y, -6
Let a(l) = 2*l**2 - 189*l - 1427. Let o be a(-7). Let t = 8 + -13. Put 5, -4, o, t in decreasing order.
5, -4, t, o
Suppose 0 = 4*i + 4, 0 = l - i + 5 - 2. Let q(x) = 19*x + 31*x + x**2 - 3*x**2 - 55*x + 8. Let v be q(l). Sort -20, -3, v.
-20, v, -3
Let j(q) = q**3 + 16*q**2 + 54*q + 74. Let a be j(-12). Sort 0.5, 20.7, a in increasing order.
0.5, a, 20.7
Suppose -31*s - 13*s = -27*s - 51. Sort -9, 47, s in decreasing order.
47, s, -9
Let w(v) = -v**2 - 11*v - 2. Let k be w(-10). Suppose 0 = -x - k*x - 18. Put 3, x, 2, -6 in increasing order.
-6, x, 2, 3
Let x(y) = 16*y + 165. Let i be x(-10). Let c be ((-2)/(-4)*-3)/((-1)/(-2)). Sort i, -9, c in descending order.
i, c, -9
Suppose 2444*x - 30 = 2439*x + 5*v, 0 = -x - 4*v - 9. Sort -28, -1, 0, -2, x in increasing order.
-28, -2, -1, 0, x
Suppose -16 = -3*q - 43. Let d be (-36)/12 - 16/(-5). Let v = 223/3 + -73. Sort v, q, d in ascending order.
q, d, v
Let m = -2 - -18. Let u = -26287.7 + 26288. Put u, -6, m in descending order.
m, u, -6
Suppose -5*h + 12 = -3*i, 5*h - 191*i + 187*i - 16 = 0. Sort -9, h, 5 in increasing order.
-9, h, 5
Let h = -1643/9339 - 5/849. Put h, -1169, -2 in descending order.
h, -2, -1169
Let g be (5/(-2))/(385/924). Put g, 5, -2, 0, 126 in increasing order.
g, -2, 0, 5, 126
Let s = 0.04 + 0.26. Let l = -5.6258 - 0.0542. Let i = 9.68 + l. Sort s, 1, -1, i in ascending order.
-1, s, 1, i
Let q = -4489 - -4495. Put q, 5, -61, 3 in descending order.
q, 5, 3, -61
Let k = -0.205 + -23.995. Let p = 19.2 + k. Sort p, -5/4, -3 in increasing order.
p, -3, -5/4
Let q = -192 - -534. Let w = -347 + q. Sort 0.005, 0, -2/3, w in decreasing order.
0.005, 0, -2/3, w
Let l = 0.32 + -0.02. Let t = -12 + -37. Let x = t - -49. Put 1/8, l, x in decreasing order.
l, 1/8, x
Suppose 10 - 28 = n + 2*l, 0 = -n + 3*l + 2. Sort 2, 3, -19, n.
-19, n, 2, 3
Let o(v) = v - 5. Let t be o(5). Let p = 7566 - 7565. Let k = 438/3439 + -4/181. Put t, p, k, 2/61 in increasing order.
t, 2/61, k, p
Let c = 1201 - 1201.2. Put 4, -3/7, c, 52 in decreasing order.
52, 4, c, -3/7
Let h be (5/(-2) + 1)*-2. Let m = 441 - 441. Suppose 2*q - 8 = 0, 2*k + q - 5*q + 14 = m. Sort -5, h, -1, k in ascending order.
-5, -1, k, h
Suppose 4*z = 4*t + 16, z = -t + 5*t + 31. Let w be (-10)/(-3)*(180/(-24) - t). Sort -2, 8, w in ascending order.
-2, w, 8
Let z = -0.027 - 1.013. Let d = -6.04 - z. Sort 0.5, 0.8, d, 0.3 in decreasing order.
0.8, 0.5, 0.3, d
Let n = -140.8 + 146.012. Let z = n - 0.212. Sort z, -3/2, 11 in ascending order.
-3/2, z, 11
Let f = 3045 - 3040. Sort f, -2, -4/307, 1 in decreasing order.
f, 1, -4/307, -2
Let g(f) = -6*f**2 - 2*f + 50. Let o be g(-7). Let y = 233 + o. Let c be 4 - (1 + -4 + 5). Sort y, c, -18 in increasing order.
-18, c, y
Suppose -27*i = 564 - 510. Sort 16, -1, 1, i, 10.
i, -1, 1, 10, 16
Let d = -16.4 + 6.1. Let s = d - -8.3. Let u = -17 - -17.1. Put u, -2/3, s in decreasing order.
u, -2/3, s
Let d = 67 - 35. Suppose 3*c - q - 44 + 10 = 0, 3*c = -q + d. Let g(s) = -s**3 + 12*s**2 - 13*s + 17. Let o be g(c). Sort o, 1, 7 in descending order.
7, 1, o
Let v = -1.532 + 1.083. Let u = v - -0.949. Let a = -0.33 + 0.03. Put -9, -4, u, a in decreasing order.
u, a, -4, -9
Let u = -22.17 + 23.17. Put -45, u, 5, -1.7 in decreasing order.
5, u, -1.7, -45
Let c be (-105 + 0/4)/(-1). Suppose c = -f - 20*f. Sort -1, 11, 3, f.
f, -1, 3, 11
Let v(d) = d**3 - 16*d**2 + d - 19. Let j = -118 - -134. Let k be v(j). Suppose -2*o + 2*s = 6, -o - 4*s = -0*s + 8. Sort 1, k, 3, o in increasing order.
o, k, 1, 3
Suppose 0*c + 1 = -c - 5*x, -2*c + 11 = -3*x. Suppose 15*d + 6 = 16*d. Let k be (2/d)/((-5)/(-45)). Sort c, 1, k in descending order.
c, k, 1
Let p(b) = 25*b + 70. Let h be p(-3). Let r(o) = -o**2 - 4*o + 7. Let i be r(h). Suppose 5*c - 6*c = -5. Sort i, -2, c.
-2, i, c
Suppose 51*z + 2056 = -114*z - 92*z. Put 4, -12, z, 17 in decreasing order.
17, 4, z, -12
Suppose -y - s + 5 = 0, -5*y + 138*s - 31 = 136*s. Let x be 48 + (-4 - 2)/2. Sort -1, x, y, 1 in increasing order.
y, -1, 1, x
Suppose 0 = -5*t - z + 15, -3*t + 12 - 3 = 2*z. Suppose 2*k + 17 = t*i - 3*k, -5*i - 2*k = -18. Let l be 6/(-4)*i/42. Put 6/5, l, -0.3 in ascending order.
-0.3, l, 6/5
Suppose 5*v - 4*l - 9 = 0, 332*v - 5*l = 335*v + 2. Sort -11, -56, v, 4 in ascending order.
-56, -11, v, 4
Let t(x) = x**3 + 12*x**2 + 11*x - 2. Suppose 21 = -3*u - 3*s, -21*u + 3*s = -26*u - 43. Let n be t(u). Sort 0, -3, n, 3 in descending order.
3, 0, n, -3
Suppose 4*k = d + 658 + 503, -289 = -k - d. Let a = k + -288. Sort 21, -1, -2, a in increasing order.
-2, -1, a, 21
Let x = 2/153 + -4/17. Let