= f + j. Sort 1/3, -5, y in increasing order.
-5, y, 1/3
Suppose 0 = -172*y + 177*y. Let r be 0 - (-6)/(-2 - 1). Put -5, 3, y, r in ascending order.
-5, r, y, 3
Let h(f) = -f**2 + 9*f - 8. Let x be h(5). Suppose x = 4*y - 4. Suppose -14*n = -12*n - y. Sort n, 3, -5 in decreasing order.
3, n, -5
Suppose 0 = -4*v + 5*x - 35 - 1, -4*v = x + 12. Let i = 4 - -1. Suppose 0 = -5*r + 3*r + i*b - 2, 3*b - 6 = 0. Sort 2, v, r in decreasing order.
r, 2, v
Let o = 4/23 - -18/161. Let z = 3.5 + -2.5. Let p = -0.9 + z. Sort p, 1/4, o.
p, 1/4, o
Let j = 24 + -24.2. Sort -2/3, j, 2/13.
-2/3, j, 2/13
Let c = -24.5 - -25. Let p(z) be the first derivative of 2*z**3/3 + 11*z**2/2 - 3*z + 8. Let w be p(-6). Put -5, c, w in descending order.
w, c, -5
Suppose -3*m = -6*m - 6. Let t = 28 + -26. Let z be (-10 + 1)*t/6. Sort 21, z, m in descending order.
21, m, z
Suppose 9*f + 0 = -36. Let c(b) = -b**2 + 1. Let y be c(1). Put 4, y, f, -3 in ascending order.
f, -3, y, 4
Suppose 21*l - 19*l = 0. Sort -5, l, 8, 5 in ascending order.
-5, l, 5, 8
Let x = 578/3 - 193. Sort x, 2, -4, -0.2.
-4, x, -0.2, 2
Let n = -2041.5 + 2042. Let k = 5.1 + -5. Put n, 1/4, k in ascending order.
k, 1/4, n
Let h = 1 + 0. Let w(f) = -31*f + 127. Let j be w(4). Put h, 0, j in ascending order.
0, h, j
Let q = 20 + -20. Let r = 1/10 + q. Put 1/3, 0, r in decreasing order.
1/3, r, 0
Let g = 94 - 94.306. Let y = g + 0.006. Sort 2/3, y, 2.
y, 2/3, 2
Let c be -4 + (1 + -4 + 3)/3. Sort 10, c, -3, -0.5 in increasing order.
c, -3, -0.5, 10
Suppose 9*l = 446 - 410. Sort l, 1, -2, 3 in decreasing order.
l, 3, 1, -2
Suppose 3*z = 3*r - 9, 47*r - 3*z - 6 = 45*r. Put 5, 2, 4, r in descending order.
5, 4, r, 2
Let z = 0.02 + -52.02. Let x = z + 55. Sort x, -4/3, -21/5.
-21/5, -4/3, x
Suppose -9 + 8 = -r. Put 42, 6, r in increasing order.
r, 6, 42
Let j(v) = -v**2 - 39*v - 355. Let z be j(-14). Sort 2, z, 4 in decreasing order.
4, 2, z
Suppose -9*j = 2*j - 9*j + 10. Let d be (-4)/10*(-6 + 1). Sort 3, -3, d, j in ascending order.
j, -3, d, 3
Let p(q) = q**3 - 4*q**2 - 4*q + 1. Let u be p(5). Let i be 4 - (39/26)/((-1)/(-2)). Suppose -4*h + 25 = h. Sort u, i, h in ascending order.
i, h, u
Let d = 29 + -24. Let n = 9 - 18. Sort -0.5, d, n in increasing order.
n, -0.5, d
Let h = 16695 - 16692. Suppose -3*l + 20 = 2*l. Sort -1, l, h, -2 in decreasing order.
l, h, -1, -2
Let j = -8 - -90. Let v = j + -87. Sort 2, v, -4, 1.
v, -4, 1, 2
Suppose 2*z - 5*w - 25 - 4 = 0, -z + w = -7. Let d = 178 - 174. Suppose 4*n = 3*n - 4. Put z, d, n in increasing order.
n, z, d
Suppose 2*q + 3*q = 400. Suppose 2*m - q = -3*m. Put m, 2, -4 in increasing order.
-4, 2, m
Suppose 0 = 2*h - k + 6*k + 5, 0 = -4*h - 4*k - 28. Sort h, -4, -2 in descending order.
-2, -4, h
Let t be 13 + -15*(3 + -2). Sort 34, 1, t in decreasing order.
34, 1, t
Let n = 1314 + -3937/3. Put 6, -2, 0, n in descending order.
6, n, 0, -2
Let u be ((-3)/21)/(((-5)/(-5925))/1). Let i = u + 169. Sort 0.2, i, -22.
-22, i, 0.2
Let x(o) = o**2 + 8*o - 5. Let m be x(-9). Let d = 1287 - 1281. Sort 1, m, d, 0 in increasing order.
0, 1, m, d
Let f be 5*(3/5 - 1). Let v = 443 - 439. Put 0, v, f in decreasing order.
v, 0, f
Suppose 38*z + b + 15 = 42*z, z - 15 = -2*b. Put -5, z, -0.1, -0.55 in increasing order.
-5, -0.55, -0.1, z
Suppose 5*q + 2*k - 29 = 16, 45 = 5*q - 5*k. Put -2, q, 4, 5 in increasing order.
-2, 4, 5, q
Let x(z) = 44*z + 25. Let l be x(15). Sort 0, -1, l in descending order.
l, 0, -1
Let c(n) = -10*n - 40. Let t be c(-4). Put -6, 2, t in decreasing order.
2, t, -6
Let r be -2 + 6 + (-3 - -4). Sort r, 23, 0 in ascending order.
0, r, 23
Let y = -226 + 228. Sort -13, y, 3.
-13, y, 3
Suppose -3*u - 42 = -3*x, -4*u + 2*x + 1 = 55. Suppose 11 = -o + 2*o + 2*i, 5*o - 67 = 2*i. Let k = o + u. Sort 5, k, 1.
k, 1, 5
Let x = 85 + -1277/15. Put 2, -23, -1, x in decreasing order.
2, x, -1, -23
Let f = 3621/10 + -362. Put f, -2/3, -0.06, 5 in descending order.
5, f, -0.06, -2/3
Let f = 27.56 - 27.86. Let m be ((-4)/70)/((-2)/(-20)). Sort -2/5, f, m.
m, -2/5, f
Let s = 68 + -54. Sort -4, 1, s, -1.
-4, -1, 1, s
Let q be (100/480)/(10/18). Put q, -93, 2 in decreasing order.
2, q, -93
Suppose -24*v + 13 = 181. Suppose 5*t + 25 = 0, 4*p - 32 = t - 3. Suppose -p = o + o. Put o, v, -4 in descending order.
o, -4, v
Suppose -d = -5 + 2. Let m(c) = 20*c - 3. Let x be m(0). Sort 2, d, x in decreasing order.
d, 2, x
Let u = -132 - -196. Let l = u + -66. Sort -3, l, -8 in descending order.
l, -3, -8
Let o = 3 - 3.4. Let b = 5 + -19. Let t be b/5 + 1/(-5). Sort o, t, -1/6 in ascending order.
t, o, -1/6
Let t be (-2766)/(-855) + -3 - -1. Let p = 26/19 - t. Put -5, 3, -1/2, p in decreasing order.
3, p, -1/2, -5
Suppose 271 = 4*p + 247. Put -1, -4, p, -26 in increasing order.
-26, -4, -1, p
Let h = 19785/13 + -1522. Put h, -3, 2/11 in increasing order.
-3, h, 2/11
Let n = 36 - 26. Suppose 0 = -i - n. Let r be (-54)/i + 4/(-10). Sort 0, r, 1 in decreasing order.
r, 1, 0
Let m = 3 + -2. Let z = 56.3 - 56. Put 5, z, m in decreasing order.
5, m, z
Let m(c) = -6*c - 171. Let x be m(-29). Let r = 18 + -31. Sort -1, r, x.
r, -1, x
Let f = -78 - -79. Sort -168, 3/2, f.
-168, f, 3/2
Suppose 0 = t + 4*g - 24, -3*t - 6 = -2*t - 2*g. Sort 0.4, -0.174, t in ascending order.
-0.174, 0.4, t
Let b = 7 - 5. Let d be (-6 + 12)/(0 + b). Put d, -0.06, -5 in descending order.
d, -0.06, -5
Suppose 5*q + 4*z = -6, -2*z = -3*q - 3*z - 5. Let h = -8 - -11. Let n be (6 + -11)/(15/(-12)). Sort n, h, q.
q, h, n
Let g(r) = -r**3 + r**2 + 19*r - 40. Let c be g(3). Put 10, -5, c, -2 in ascending order.
-5, -2, c, 10
Let m = 0.63 - 11.23. Let j = m - -11. Let v = -7 - -7.03. Sort j, -3, v.
-3, v, j
Let x(v) = v**2 + 10*v + 15. Let s be x(-8). Let m be (-2 + 0)*s/3. Put m, -1/3, -5 in increasing order.
-5, -1/3, m
Let r be 3/6*(2 - 32). Let o be 1/(r/(-564))*-1. Let h = o - -37. Put h, 0, 3/2 in increasing order.
h, 0, 3/2
Let k be 2/(-7) + (-37)/(-7). Suppose -3 = -5*p + 2. Suppose 24 + p = -5*t. Sort 4, t, k.
t, 4, k
Suppose 3*x + 5*r - 581 = 0, 8*x - r - 383 = 6*x. Sort 2, x, 3 in ascending order.
2, 3, x
Let b = -158 + 157.7. Sort b, -1/4, -1, -2/3 in increasing order.
-1, -2/3, b, -1/4
Let o(z) = -z**3 + 11*z**2 + 25*z + 8. Let j be o(13). Put 1, 32, j in ascending order.
j, 1, 32
Let s = 592 - 592. Let w(m) = m**3 + 3*m**2 - 7*m - 6. Let n be w(-4). Suppose 0 = k + 2*t + 1 + n, 4*t = -8. Sort s, k, 1 in descending order.
1, s, k
Let l = 0.15027 - -73.87973. Let a = l + -74. Sort a, -0.2, 4.
-0.2, a, 4
Let l(q) = 2*q - 91. Let r be l(16). Put r, 4, -3, -5 in ascending order.
r, -5, -3, 4
Let t = 0.03 - 0.33. Suppose -4*i + 3*m = -7*i - 9, -4*i + 4 = -4*m. Let c be (11 + i)*(-8)/(-20). Put c, 3, t in increasing order.
t, 3, c
Suppose -37 = -7*a - 2. Put a, 1, 0, -3 in descending order.
a, 1, 0, -3
Let v(t) = t**3 - 3*t**2 - 4*t - 1. Let d be v(4). Let b = 644 - 625. Sort b, d, 4, -4 in descending order.
b, 4, d, -4
Let g = 2/245 - -103/245. Sort 4, g, -5 in decreasing order.
4, g, -5
Let a = 360 + -359.73. Sort -0.3, a, 2 in descending order.
2, a, -0.3
Let l = 914 + -919. Suppose 3*r - 3*v = -3, -6*v = r - v + 13. Put r, -4, l in ascending order.
l, -4, r
Let w = 61.1 + -61.2. Suppose 0*i - 67 = 5*x + i, -i + 17 = -x. Let l be (9/(-6))/(x/4). Sort -1/3, l, w.
-1/3, w, l
Let h be 3/2 + (-4)/8. Let r be (6/h - -2)/(-2). Sort r, 1/18, 2 in increasing order.
r, 1/18, 2
Let v = 7803 + -7807. Suppose 0 = -2*a - 0*a + 4. Suppose 5*w - 2 = -3*t, 0*w - w + 5 = -4*t. Sort t, a, v.
v, t, a
Let r be 2*1*27/(-18). Let c be (-16)/6*(-18)/(-12) - r. Let z(q) = -q**2 - 5*q + 7. Let p be z(-6). Put c, 0, p in ascending order.
c, 0, p
Let d = -48 - -21. Let g = d + 23. Put 1, -3/4, g, 1/2 in ascending order.
g, -3/4, 1/2, 1
Let r(m) = m**2 + 5*m + 7. Let s be r(-5). Suppose p + q + s = -3*p, 5*q + 15 = 0. Sort 4, p, 3.
p, 3, 4
Let x(o) = o**2 - 9*o + 10. Let c be x(9). Suppose -10*j = -5*j - c. Let z be j/(-4)*12/(-2). Put z, -4, -1 in decreasing order.
z, -1, -4
Let n(r) = r**2 - 4*r + 8*r - 2 - 10*r. Let y be n(6). Sort 4, -3, y, -5 in ascending order.
-5, -3, y, 4
Suppose 6*o + 4 = 10*o. Suppose -5*i - 12 - 3 = 0. Suppose 3*j - j - 30 = 0. Sort i, o, j in increasing order.
i, o, j
Suppose 130 = 8*w - 3*w. Suppose 3*y + 50 - w 