creasing order.
v, 0.4, -0.2
Suppose 0 = -6*n + 43 + 11. Suppose 0 = -l - 5*j + n, -5*l + 4*j = 8*j - 3. Suppose -2 = -2*y + 4*w, 2*y + w = 3*w + 2. Sort 4, l, y.
l, y, 4
Suppose -125 = -3*i - 23. Suppose k - i + 13 = -4*r, 3*r = 4*k + 11. Let x = -1 + r. Sort 5, -3, x in descending order.
5, x, -3
Suppose -3*f + 25 = 2*f. Suppose -5*s = -7*s + 3*r + 12, f*r = 2*s - 16. Sort 2, s, -4 in ascending order.
-4, 2, s
Let q be (63/(-210))/((-45)/170) + 4/(-30). Suppose -r + 12 = -5*r. Sort r, q, -22 in decreasing order.
q, r, -22
Let j = 12 - 8. Let a = -3.9 + j. Let g = 5.6 + -5.2. Put a, 1, g in ascending order.
a, g, 1
Let a = -17600 + 17596. Suppose 2*w + 2*r + 12 = w, 5*r + 15 = 0. Sort -0.2, w, a in decreasing order.
-0.2, a, w
Let g be (-408)/459 + (2226/(-297))/(-7). Suppose -3*s + 0*s = 1548. Let q = s + 7221/14. Sort -3, g, q in ascending order.
-3, q, g
Suppose 26*f - 15 = 41*f. Put 17/4, f, 5 in increasing order.
f, 17/4, 5
Let s = -1364 - -1363.8. Sort -0.1, -16, s, -1 in ascending order.
-16, -1, s, -0.1
Let d be 179/(-2) - ((-2)/4)/(-1). Let c be -3*((-3)/d)/(2/(-5)). Put -0.2, c, -16/3 in ascending order.
-16/3, -0.2, c
Let z(v) = -v - 9. Suppose -2*c + 3*c + 12 = 0. Let k be z(c). Let h = -1 + 5. Sort h, -4, k.
-4, k, h
Let p(m) = -m**2 - 7*m. Let z(s) = s**3 + 11*s**2 + 11*s + 5. Let x be z(-10). Let t be p(x). Suppose -2 - t = 3*q. Sort q, -0.1, 2/13 in decreasing order.
2/13, -0.1, q
Let u = -332 + 332. Sort u, 2, -2/13, -1/4 in decreasing order.
2, u, -2/13, -1/4
Suppose 0 = -12*b + 443 - 503. Put 4, 2, b, -13 in increasing order.
-13, b, 2, 4
Suppose -19*b - 37*b = 0. Put -5, b, 6 in decreasing order.
6, b, -5
Suppose -w = -0*w - 15. Let v be (-14)/(-78) - w/45. Sort -0.1, v, 0.1, -0.5 in ascending order.
-0.5, v, -0.1, 0.1
Let m = 143 + -143.11. Let l = m + 0.51. Let p = 2.02 - 0.02. Sort p, -4, l in descending order.
p, l, -4
Let h = -91 + 94. Put -2/13, -1/3, -5, h in increasing order.
-5, -1/3, -2/13, h
Suppose -35*w = 1453 + 682. Sort 0, -5, w in ascending order.
w, -5, 0
Let j be ((-11 - -1)/(-5))/(3/12). Sort j, -0.2, 1, -3.
-3, -0.2, 1, j
Suppose -4*z + h - 19 = 0, 4*z = 5*h - 19 + 4. Let j be -2 + (2 - 4 - -9). Sort 1, z, j in decreasing order.
j, 1, z
Let b be (9 - 12) + (0 - 3). Let j = b - 19. Let x = j + 273/11. Sort 0.1, 0.01, x in ascending order.
x, 0.01, 0.1
Let h = -0.159 - -1.159. Let g(o) = 5*o + 1. Let p be g(3). Put 5, h, -2/7, p in descending order.
p, 5, h, -2/7
Let r = 531.43 - 531. Put -3, 4, 0.4, r in increasing order.
-3, 0.4, r, 4
Let c = -373.7 - -374. Put c, -0.02, -2, 3/4 in decreasing order.
3/4, c, -0.02, -2
Let f(o) = -o**2 - 12*o - 21. Let a be f(-2). Suppose 0 = 5*g - 5*w + 35, g = -w - 3*w + 18. Sort a, g, 17.
g, a, 17
Suppose -t = 5*a - 1 + 5, t = -a. Let x = -3 - t. Let p = -0.18623 - 0.11377. Put x, -1/5, p in ascending order.
x, p, -1/5
Let s(a) = -47*a - 371. Let u be s(-8). Let y = 1 - 0. Put u, 2, y in descending order.
u, 2, y
Let r be (-6)/72*4 - (-2)/6. Let c be (r + (-4)/(-12))*1. Put c, -3/8, 5 in increasing order.
-3/8, c, 5
Suppose -35*x + 56 = -21*x. Sort 3, 2, x in descending order.
x, 3, 2
Let v = 4.97 + -5. Let p = -0.43 - v. Let s = 11 + -12. Put 0.5, s, p in decreasing order.
0.5, p, s
Let x = 6 + -13. Let o = x - -7.4. Let d be ((-8)/(-10))/((-12)/(-30)). Put 0.1, o, d in decreasing order.
d, o, 0.1
Let u be (40/(-16))/(5/(-4)). Let w be (-2)/(-11) - u/11. Sort -3, -1, w in descending order.
w, -1, -3
Suppose u - 24 = 9*u. Put u, 1/5, -0.1, 1 in descending order.
1, 1/5, -0.1, u
Let v be (0 - 6/7)/(2/(-7)). Put 52, 5, v in ascending order.
v, 5, 52
Let j be 24 - (-2)/(-2)*-1. Suppose -16 = -3*t - 4*x, 0 = -4*t + 3*x - 12 + j. Sort t, 2/37, -1 in decreasing order.
t, 2/37, -1
Let j = 8.62 - -4.66. Let t = -0.28 + j. Let r = 8 - t. Sort -1, r, -0.5 in descending order.
-0.5, -1, r
Let b be 2/4*(-2 + -394). Let c be (-2)/(-6) + b/27. Put 2, 0, c in descending order.
2, 0, c
Let g = -98 - -181. Let d = g + -81. Sort -5, 4, d, -3 in descending order.
4, d, -3, -5
Suppose -5*t + 15 = 3*i, -28 = -4*t + 2*i - 16. Sort 9, 0, 2, t in descending order.
9, t, 2, 0
Let l(w) be the first derivative of w**4/4 + w**3/3 - w**2/2 + 8*w - 7. Let q be l(0). Let g be (2/q)/((-39)/24). Sort 3, 0.1, g in increasing order.
g, 0.1, 3
Let n be 2 + -1 - (3 - -4). Let l = 0.754 - -0.246. Sort n, -1, l in increasing order.
n, -1, l
Suppose 3*f - 7*f + 4 = -r, -f = -3*r + 10. Suppose -p - f = -3*p. Sort p, 7, 0.
0, p, 7
Let j be 5 - ((-1)/1 - 0/(-6)). Let c = 10 - 12. Sort c, j, 0.5.
c, 0.5, j
Let v(g) = -10*g**3 - g**2 + 2*g + 2. Let m be v(-1). Put -16, 5, m in ascending order.
-16, 5, m
Let z = -2.296 - -2.396. Let d = -99 - -103.1. Let c = d + -0.1. Put -5/3, z, c in descending order.
c, z, -5/3
Suppose -2*g = k - 15, -g + k = g - 5. Let y be (-22)/55 + (-18)/g. Let c(b) = -4*b**3 - 2*b**2 - b. Let w be c(-1). Put w, 1/7, y in increasing order.
y, 1/7, w
Let g = -0.0069 - -0.0569. Sort 68, 2/9, g in decreasing order.
68, 2/9, g
Suppose h + 5*y - 9 = 15, 0 = -4*y + 16. Put h, 3, -28 in descending order.
h, 3, -28
Let f(s) = -5*s + 1. Let o be f(1). Let j be 276/(-2622) + 156/399. Put j, o, -2 in ascending order.
o, -2, j
Let r(n) = n**2 + 10*n - 4. Let s be r(-10). Sort -62, s, 4.
-62, s, 4
Let m = 14 + -103. Let n = m - -88.6. Sort 0.3, -3/7, 3, n in decreasing order.
3, 0.3, n, -3/7
Let y(p) = -53*p + 424. Let m be y(8). Put -4, 9, m, 2 in decreasing order.
9, 2, m, -4
Suppose -5*x - 14 = -109. Let k = -475/2 + 257. Let h = x - k. Sort 5, h, 0.5 in decreasing order.
5, 0.5, h
Let v = -94 - -102.3. Let o = v + -8. Let m = -0.0376 - -0.1376. Sort 0, o, m.
0, m, o
Suppose 0*r = 3*i + r + 56, -3*i + 2*r - 41 = 0. Suppose -5 = 2*w + 3*q, w + 4*q = -4 - 6. Sort -4, -3, w, i in increasing order.
i, -4, -3, w
Let n = -1.78 - -5.78. Sort 0.5, n, -0.03, -2 in ascending order.
-2, -0.03, 0.5, n
Suppose a + 2 + 7 = 3*z, 29 = 5*z + 3*a. Suppose 0 = -z*j + 14 + 6. Suppose j*g + 0 + 5 = -5*d, -2 = d. Sort -0.2, g, -0.13.
-0.2, -0.13, g
Suppose 0 = -0*d - 4*d - 4. Let t = -200 - -704. Let u be 256/t + (-2)/7. Put d, u, 1 in descending order.
1, u, d
Suppose 0 = -o - 3*m - 48, -5*m + 28 = -o - 3*m. Let s be (-50)/(-3) - o/(-54). Sort 0, 2, s, 3.
0, 2, 3, s
Let s be 19/(-4) - (-6)/8. Let p be (-3)/(-15) + (-96)/(-20) + s. Put 3, 4, p, -1 in ascending order.
-1, p, 3, 4
Let d be -2 - (-15)/(-5) - 0. Sort -2, d, 78 in decreasing order.
78, -2, d
Let g = 0 - -4. Suppose 4*a - g*m - 14 = a, -2*m = -4*a + 2. Suppose 0 = 3*f - 72 + 84. Sort a, f, -5.
-5, f, a
Let s = 72.1 + -73.1. Sort 0.2, -0.2, s, 5 in decreasing order.
5, 0.2, -0.2, s
Let z = 459 - 463. Sort 6, z, 2, 3 in descending order.
6, 3, 2, z
Let k = 5.4 - 9. Let p = k - -4. Let r = -1.3 - -1.8. Sort 1, p, r in decreasing order.
1, r, p
Let p = 3.68 + -0.28. Let r = -2.9 + p. Sort r, -0.5, -2/3 in descending order.
r, -0.5, -2/3
Let g = -151 + 145. Sort -13, -5, 4, g in ascending order.
-13, g, -5, 4
Let a = -11.3 + 12. Let z = 0.71 - a. Let b = 4.01 - z. Put -4, 0, b in increasing order.
-4, 0, b
Let q = 27 + -29. Sort 1, 0.4, 2/9, q in increasing order.
q, 2/9, 0.4, 1
Let p = 363 - 366. Sort p, 3/5, -3/8, 7/8 in decreasing order.
7/8, 3/5, -3/8, p
Let t(g) = -g**3 + 3*g**2 + g. Let c be t(3). Suppose 7*r = c*r. Let x = 223 - 220. Put r, x, -2 in decreasing order.
x, r, -2
Let m = 3.2 - 3.4. Let u = 2.5 + 5.5. Let f = u + -11. Sort f, -3/2, m.
f, -3/2, m
Let w = 0.21 + -9.21. Let h = 0 + w. Let n = 11 + h. Sort -5/3, -2/7, n in descending order.
n, -2/7, -5/3
Let o be 14/63*9 - (-4)/(-2). Put o, 13, -5, -1 in decreasing order.
13, o, -1, -5
Let z(w) = -w**3 - 4*w**2 + 3*w - 8. Let x be z(-5). Put 5, x, 4, -47 in increasing order.
-47, x, 4, 5
Let k = 1.24 + -1.14. Put 35, 1, k, 5 in ascending order.
k, 1, 5, 35
Suppose -2*z - 6 = -4. Let k be z/(-1) + 6 - -2. Let d(m) = m**2 - 9*m + 1. Let n be d(k). Sort -0.4, -0.2, n in ascending order.
-0.4, -0.2, n
Suppose 0 = -p - 5*m + 4, 8 = -4*m - 8. Let z be ((-12)/18)/((-1)/p). Put -5, 3/4, z in decreasing order.
z, 3/4, -5
Suppose 5*x + 4*k - 11 = 0, -5*k - 2 + 18 = 4*x. Suppose 2*j + 39 = 2*f + 49, 0 = 4*f + 4. Let o be 3/5 + 2/5. Put o, j, x in decreasing order.
j, o, x
Suppose 4*d = 5*n + 20, -n = 16*d -