reasing order.
-0.3, m, -4/7
Let d = 3 - 10. Let v(n) = -n**3 - 6*n**2 + 5*n - 10. Let a be v(d). Suppose 0*t + a*m + 7 = 5*t, 25 = 5*t + 5*m. Sort -5, -1, t.
-5, -1, t
Suppose -4*f + 4*v = -0*v + 4, -5*v = 0. Let n(r) = r**2 - 10*r - 39. Let m be n(13). Put m, 3, f in increasing order.
f, m, 3
Let f = -4.6 - -5. Let i be ((-98)/40)/((-2)/(-24)). Let m = i - -29. Put f, m, 4 in increasing order.
m, f, 4
Suppose -8*x + 3 + 5 = 0. Let l be 78/(-21) + (-2)/7. Sort x, l, -3 in decreasing order.
x, -3, l
Suppose -10*b - 4 = -12*b. Sort 3, b, -1 in increasing order.
-1, b, 3
Let i = 8 - 5. Suppose 17 = 4*p - i. Let u be 3 + 0 - 3 - 2. Put u, p, -3 in decreasing order.
p, u, -3
Let d(m) = m + 7. Suppose -2*l + 4*r - 18 = 2*r, r = -2*l - 3. Let h be d(l). Let y be (-1)/(-4) + 30/8. Sort -2, y, h in increasing order.
-2, h, y
Suppose 0 = 3*v - 89 + 92. Put 2, 3, v, -6 in decreasing order.
3, 2, v, -6
Let l be 3 + 8/(-6) + -2. Put -0.3, 1/5, l in increasing order.
l, -0.3, 1/5
Let u = 39 - 40. Let y(p) = p**3 + 5*p**2 - 5*p + 8. Let w be y(-6). Sort -5, u, w in ascending order.
-5, u, w
Suppose -d = -2*o + 2*d + 1, -3*o + 5*d = 0. Sort o, 1, -0.4, 1/3.
-0.4, 1/3, 1, o
Let k = 4 + 3. Let q = k + -15. Sort -5, 3, q in increasing order.
q, -5, 3
Let m = -2 - -2. Let f = -4 - -9. Suppose 3*r - 4*r = -4*d + 15, f*d - 3*r = 24. Sort m, -1, d in descending order.
d, m, -1
Let n be (-3)/9 + (-1)/(-3). Suppose n*l - 24 = -3*l. Suppose -2*z + 0*z = -l. Put z, 0, 2 in increasing order.
0, 2, z
Suppose l + 0 = 4. Sort l, 0, -5 in descending order.
l, 0, -5
Suppose 0 = -3*f - 0*f - 288. Let o be 2/5 - f/10. Let p be (8/(-10))/((-4)/o). Sort p, -1, 1 in increasing order.
-1, 1, p
Let z(c) = c**2 + 4*c - 3. Let q(m) = m**2 + 3*m - 3. Let n(a) = -4*q(a) + 3*z(a). Let b be n(0). Let j = -2 + 2. Put b, j, 5 in decreasing order.
5, b, j
Let f = -0.08 + -3.92. Let r = f - 0. Let q = 0.3 - 3.3. Sort r, q, -0.5 in ascending order.
r, q, -0.5
Let p = 124.7 + -125. Let k = -2 + 1.7. Let t = -3.3 - k. Put t, p, 5 in ascending order.
t, p, 5
Suppose -20 = -5*p + 5*j - 0, 0 = -5*p - 2*j + 27. Let z = 2 - -2. Sort -3, p, z.
-3, z, p
Let v = 142 - 1421/10. Let b = 20 - 19.9. Let a = b - 0.6. Put -0.4, v, a in increasing order.
a, -0.4, v
Let y be 7/((-56)/60)*(-12)/54. Sort 1, 0.5, y in decreasing order.
y, 1, 0.5
Let g be 0 - (-12)/64*-4. Put g, 0.1, 0.3 in increasing order.
g, 0.1, 0.3
Suppose -3*i + 3 = -12. Let y = i - 8. Let j(p) = -p**2 + 2*p + 2. Let s be j(3). Sort y, 4, s.
y, s, 4
Let r = -3.52 - -0.52. Sort -5, r, 0.5, -1/6 in decreasing order.
0.5, -1/6, r, -5
Let r = 15.13 + -0.13. Let f = 16 - r. Sort f, 0, -4.
-4, 0, f
Let d = 0.27 + -0.37. Put d, 5, 1 in ascending order.
d, 1, 5
Suppose -8*x = -4*x - 12. Suppose -2*a = x*a. Let b be -1 + (-1)/(2 + -1). Put b, a, -4 in decreasing order.
a, b, -4
Suppose -h + 0*h = -2. Let f be h/12 - (-354)/36. Sort -3, -4, f in increasing order.
-4, -3, f
Suppose 2*o = -5*g + 6, -4*g + 3*o + 0 = 9. Suppose -3*l = -g*l - s + 11, 2*l = 3*s - 19. Sort l, -3, 2 in decreasing order.
2, l, -3
Let m(k) = k**2 + 12*k + 10. Let h be m(-11). Sort h, 3, -3 in decreasing order.
3, h, -3
Let n = -11 - -8. Suppose -3*l - 32 = 2*l - k, 0 = -l - 5*k + 4. Let v = l - -10. Sort v, 0, n in descending order.
v, 0, n
Suppose 2*j = 5*j. Suppose -4*t + 2*h + 14 = 0, 2 = h - 3. Suppose 2*y - 2 = -t. Sort -4, y, j.
-4, y, j
Let z be 5 + -3 + -1 + 3. Sort z, 0, -5 in descending order.
z, 0, -5
Suppose 2 = s + 6. Let m = -2 - -6. Let q = s + m. Put 1, q, 4 in ascending order.
q, 1, 4
Suppose 3*u - 3*r = -4*r + 11, 0 = 5*u + 3*r - 17. Sort 0, -5, u in increasing order.
-5, 0, u
Let y(c) = -c**2 + 7*c - 7. Let b be y(5). Let a be -2 + 5 + 4 + -12. Suppose -3*p - w - 5 = 0, -w = 5*p + 2*w + 7. Put b, a, p in descending order.
b, p, a
Let l = -10.8 + 11. Sort l, 3, 4 in ascending order.
l, 3, 4
Let z(x) = 9 - x + 1 + 0. Let g be z(6). Suppose 5*t - 35 = 2*d, g*t + 0*t - 2*d = 30. Sort -0.1, -2/7, t in increasing order.
-2/7, -0.1, t
Let u = 2.0447 + -0.0147. Let a = -0.03 + u. Let c = -91 + 1181/13. Sort c, a, 1.
c, 1, a
Let n be 1 + (10/(-30))/((-2)/(-42)). Suppose 3*c + 5*j + 8 = 29, -2 = 5*c - 4*j. Sort n, c, -2 in decreasing order.
c, -2, n
Let h be (-4)/(-14) + -3 + 208/56. Put -1, h, -5 in descending order.
h, -1, -5
Let x be ((-2)/(-1))/(-2)*1. Sort x, 2, -2, 0 in descending order.
2, 0, x, -2
Suppose -x + 0*x = 2*u - 10, 4*u = -x + 20. Let g = -9 + 6. Let o = 2 - g. Sort -4, o, x in decreasing order.
o, x, -4
Let c be 356/28 - 2/(-7). Suppose -5*w + 14 = 3*t, 0*w - c = -4*w - 3*t. Put w, -5, -2 in ascending order.
-5, -2, w
Suppose 45 + 0 = -3*x. Let t = x - -19. Put -3, t, -2 in decreasing order.
t, -2, -3
Let q(t) = -t + 4. Let y be q(6). Let p be y/8 + 28/(-16). Suppose 2 = z - 1. Sort z, p, -3 in decreasing order.
z, p, -3
Let v = 151 - 146. Let a = -1 + 5. Sort a, -1, v in decreasing order.
v, a, -1
Let t = -377/5 - -75. Sort t, 2/3, -2.
-2, t, 2/3
Let h(f) = -2*f + 9. Let a be h(6). Let o be 3*(1/a + 1). Suppose 0 = -0*d - o*d. Sort 1, 5, d in decreasing order.
5, 1, d
Suppose 0 = -3*z + 3*s - 3, 0 = s - 3*s - 6. Suppose -4*y + 2*y + 6 = -3*i, -5*i + 12 = 4*y. Put -1, z, y in decreasing order.
y, -1, z
Suppose 2*k + 4 = -4*i, -2*k + 2 = 2*i - 0*i. Let h be 2/(i/6*-8). Sort 3, h, 1 in descending order.
3, 1, h
Let b = 8 - 8.2. Let q = 3.7 - 4. Let m be 3/(-14)*(-20)/(-15). Sort b, m, q in descending order.
b, m, q
Suppose -m + 5*t - 5 = 0, 9 + 1 = 4*m - 5*t. Put 0.2, -4, m in decreasing order.
m, 0.2, -4
Let d = 42 - 42.5. Put d, 0.11, -2, -5 in decreasing order.
0.11, d, -2, -5
Let w(o) = -o**2 - 6*o. Let k be w(-6). Let n = 1 - 5. Sort k, -1, n.
n, -1, k
Let o = -10 - -11. Suppose -2*h = -h - o. Sort 4, -1, h.
-1, h, 4
Let u = 3.6 + 0. Let c = 0.65 + -0.05. Let a = c - u. Sort a, 0.5, -0.1 in ascending order.
a, -0.1, 0.5
Let o = 11 - 6. Sort 1, o, -5.
-5, 1, o
Let b = 0 + -1. Let q(g) = g**2 + 2*g. Let s be q(-2). Let h be ((-1 + 0)/1)/((-1)/(-2)). Sort h, b, s.
h, b, s
Let r = 1.2 - 1.4. Let z = -1.9 + 2. Let b = r + z. Sort -4, 4/3, b.
-4, b, 4/3
Let z = 2 - 3. Sort z, -5, 0.
-5, z, 0
Let y = -6 + 1. Let z be 4/14 - (-2470)/665. Sort 4/3, y, z.
y, 4/3, z
Let p = 25 - 24.6. Sort -1, p, -0.2 in decreasing order.
p, -0.2, -1
Let h = 21 - 21. Sort 3, h, 5.
h, 3, 5
Let x(k) = 3*k**2 - 4*k - 4. Let u be x(-1). Sort u, 7, -3 in decreasing order.
7, u, -3
Suppose 7*x = 3*x - 20. Put x, -4, 2 in decreasing order.
2, -4, x
Let o = 14 - 4. Suppose 2*j = -2 + o. Sort j, 5, 0 in decreasing order.
5, j, 0
Suppose -8 = 4*u + 4*a, 2*u + 4*a + a = -13. Suppose l - u = -0. Sort l, -0.4, -3 in increasing order.
-3, -0.4, l
Suppose -4*d + 14*d = 40. Sort 3, d, -2, -5 in descending order.
d, 3, -2, -5
Suppose -578*h - 5 = -573*h. Let y = -2.9 - 0.1. Sort y, 1/10, h in ascending order.
y, h, 1/10
Suppose 0 = g + b - 3, 2*b + 0*b - 12 = -4*g. Sort g, -5, 1 in ascending order.
-5, 1, g
Let i = 6 - 11. Sort 4, 3, i in increasing order.
i, 3, 4
Let s = -4 - -3. Let a = 9.1 + -9. Let d = a + -5.1. Sort s, d, 3 in descending order.
3, s, d
Let x(j) = j. Let q be x(1). Put 4, q, 3 in ascending order.
q, 3, 4
Let v be (-6)/(-15) - 26/40. Let y = -4 - -4. Put v, -1, y in decreasing order.
y, v, -1
Let a = -20.91 - -21. Let v = 8 - 12. Sort v, -2/9, a in descending order.
a, -2/9, v
Suppose -3*g = -6 - 6. Sort g, 3, 1 in decreasing order.
g, 3, 1
Let z(f) = -2*f - 3. Let o be z(-4). Let r = -8 - -2. Let h be r/21 - (-10)/(-14). Sort h, 1, o in descending order.
o, 1, h
Let w(f) = -f**3 + 3*f**2 + 4*f - 2. Let l be w(3). Let y be 2*5/(l/3). Suppose -4*r - 28 = y*v, 5*r + 0*v + 2*v = -28. Put r, 1, 5 in descending order.
5, 1, r
Let z(k) = -4*k - 22. Let c be z(-7). Sort -1, 5, c in increasing order.
-1, 5, c
Let f = -93 - -88. Put 0, -4, -8, f in decreasing order.
0, -4, f, -8
Let x = -556/15 - -4747/130. Let n = x + 2/39. Sort -2, 1, n in decreasing order.
1, n, -2
Suppose g = -2*g - 12. Let p(v) = v**2 + 10*v + 11. Let x be p(-9). Sort 3, x, g in decreasing order.
3, x, g
Let l be (-11)/(-3) - (-1)/3. Suppose -w - 4*w = 0. Let n(q) = -2*q**3 + 2*q**2 - q. Let p be n(1). Put p, l, w in increasing order.
p, w, l
Let g be -3*1 - (1 - 7). Suppose 3*y - 2*d = -3*d + 23, -3*d +