n increasing order.
-4, 4, u
Suppose -i + 6 = 1. Let w be i*1*2/(-5). Suppose 11 = 5*o - 14. Sort 4, o, w.
w, 4, o
Let x(d) = 40*d**2 - 2*d - 2. Let n be x(-1). Let i be (3/(-5))/(8/n). Sort i, -2, 4/5.
i, -2, 4/5
Let r(c) = -c + 1. Let h be r(-6). Sort h, 3, 1 in ascending order.
1, 3, h
Suppose i = 1 - 4. Let z(x) = x**2 + 4*x + 3. Let g be z(-4). Suppose -3*c = 3*a + 12 + 9, 27 = -g*a - 5*c. Sort a, 1/5, i in ascending order.
a, i, 1/5
Let c = -53.2 - -53. Let t = 9 - 6. Put c, 5, t in increasing order.
c, t, 5
Suppose -5*n - 23 = 2*j, 0*n = j + 3*n + 14. Put j, 0, 3 in decreasing order.
3, j, 0
Let u(p) = -p - 2. Let q be u(-7). Let w = 96/73 - 26185/19856. Let a = w - -1637/1360. Sort q, a, 3 in decreasing order.
q, 3, a
Let r = -7 - -5. Let u = -8.4 - -10. Let h = r + u. Sort 2, -2/21, h in ascending order.
h, -2/21, 2
Let x be (-2)/4*(-1 - -1). Let h(s) = s + 3. Let i be h(x). Suppose 4*t - 2*t = 0. Sort t, i, -3 in descending order.
i, t, -3
Suppose 3*g = 2 - 14. Let r(y) = y + 8. Let v be r(-6). Suppose 5*z = -5*p - 45, 4*z + p - 5*p + 4 = 0. Sort z, v, g.
z, g, v
Suppose 4*d = d + 5*m + 43, 44 = 3*d - 4*m. Suppose f - 26 = -3*a - 3*f, 2*a + 2*f = d. Let t be 2/(-12) + (-23)/a. Sort -5, t, 4/3 in decreasing order.
4/3, t, -5
Suppose -3*o + 3*u - 7*u = 0, 5*u = 0. Sort -6, o, 1 in decreasing order.
1, o, -6
Let u be ((-3)/(-15*2))/((-3)/6). Sort u, 5, 3/4, -4 in ascending order.
-4, u, 3/4, 5
Let f = -0.06 - -0.18. Let i = f + 4.88. Sort -1, i, 0 in increasing order.
-1, 0, i
Suppose -5*g - 4*p - 4 = -3*g, -4*p - 6 = 3*g. Let s be 1*g + 49/21. Let u be (-1 - 34/(-4))/6. Sort s, u, -4.
-4, s, u
Let f = 8 + -5. Let s = -0.2 - 0.3. Sort f, s, 10.
s, f, 10
Let x = -35041/4 + 8716. Let f = x - -44. Sort -0.5, f, 4 in ascending order.
-0.5, f, 4
Let g = -5 + 9. Suppose -c + 5*r + 24 = 0, -5*r = -g*c - c + 40. Let p be 3*(-6)/(-45)*-5. Sort p, c, 5 in increasing order.
p, c, 5
Suppose 15 = -i - 2*m, i + 0*m + 30 = -5*m. Let j be (-1)/((-4)/(-4)) + 5. Sort -3, j, i in decreasing order.
j, -3, i
Let s = 7 + -2. Let t = 81 - 404/5. Sort 1/3, t, s in decreasing order.
s, 1/3, t
Let p be ((-2)/6)/((-4)/12). Suppose 4*h = p + 7. Put 0.2, 1/2, h in ascending order.
0.2, 1/2, h
Suppose -2 = -0*h - 2*h. Suppose -3*p = p. Suppose i = 3*k + 7, p*i - 3 = -5*k - 2*i. Put 3, k, h in decreasing order.
3, h, k
Suppose -4*i = 5*b + 25, 20 = 12*i - 14*i - 4*b. Sort -1, i, -4, 2 in decreasing order.
2, i, -1, -4
Let j = -132.2 + 132. Sort j, -3, -4, -2 in increasing order.
-4, -3, -2, j
Let j = -7 - -7.5. Let n = 0.9 - j. Sort n, 3, -0.4.
-0.4, n, 3
Suppose -10*x + 4 = -11*x. Put -2, 1/3, 1, x in descending order.
1, 1/3, -2, x
Let p be 3/(-9)*18/(-10). Let r = -123 - -124.07. Let k = -0.07 + r. Put k, 4, p in increasing order.
p, k, 4
Let i = 3.08 - 0.08. Let y be (-1)/3*(11 - 2). Let c be y - -7*(0 + 1). Put 2/3, i, c in descending order.
c, i, 2/3
Let s = -17 - -21. Suppose s*y = 3*y. Suppose 7 = a + 3*g, -3*a + 0*g = 2*g + 7. Sort -1, a, y in decreasing order.
y, -1, a
Suppose -g = z, 0*g = -g + 5*z + 18. Suppose 3*b = -g*l + 27, 7 = 3*b + 2*l - 16. Let p be -2 - (-5 - 3/(-3)). Put b, -3, p in descending order.
b, p, -3
Let o be 1/(-4)*10*2. Put o, 4, 1 in decreasing order.
4, 1, o
Let f = -16 - -16. Put f, 1/3, 10, -2/5 in descending order.
10, 1/3, f, -2/5
Suppose 4*h + 4*v - 56 = 0, -3*h + v + 41 = h. Suppose 0 = -6*s + h*s - 10. Sort -1, s, -5 in descending order.
s, -1, -5
Suppose -x - 5 = -4. Sort x, 0, -4, -5.
-5, -4, x, 0
Suppose -3*x + 10 = 2*x. Suppose 32 - x = -5*v. Let g be (-1)/4*v*2. Sort g, -1, 2 in descending order.
g, 2, -1
Suppose 3*u - o - 12 = 0, -3*o + 23 = 5*u + 3. Suppose 2*h + 0 = c + 4, -u*h = 2*c + 8. Sort 4, 2, h.
h, 2, 4
Let p = 0.2 + -0.3. Suppose 4*f = -5*b - 32, 0 = 2*b - 6*f + 5*f + 5. Sort -7, b, p in descending order.
p, b, -7
Let f(k) = -k**2 + 4*k + 7. Let p be f(6). Let r(z) = z - 1. Let t be r(3). Sort t, 0, p in descending order.
t, 0, p
Suppose 0 = -m + 6*m - 5. Let i(f) = -f**2 - 4*f - 4. Let k be i(-4). Suppose -z - 2*z + 9 = 3*q, 4*z = 3*q + 26. Put m, k, q in descending order.
m, q, k
Let t(l) = 2 + 3*l - 4 - 3 + 4. Let d be t(2). Put -4, 1, d in decreasing order.
d, 1, -4
Suppose f + 1 = 0, 5*m + 0*f = -2*f - 32. Let l(u) = u**3 + 7*u**2 + 5*u - 1. Let i be l(m). Suppose a = -0*a + i. Sort 1/2, a, -0.4 in decreasing order.
a, 1/2, -0.4
Let d = 0.04 - -3.96. Suppose 3*q = -3*q - 6. Put 0.2, d, q in descending order.
d, 0.2, q
Let w = 2.2 - 0.2. Let z = 0.5 - 5.5. Let k = z + w. Sort -5, k, 0.5 in ascending order.
-5, k, 0.5
Let s = -16/23 + 2/69. Let l = -2.2 + 2.2. Let q = l + 5. Sort q, -3, s in decreasing order.
q, s, -3
Let o be 0/(2 - 0/(-1)). Let n(s) = -5*s + 2*s + 1 + o*s. Let h be n(1). Sort h, 1, -1 in descending order.
1, -1, h
Suppose -3*s - 5*k = 24, 0 = 2*s - 3*k + k. Let j be (s/17)/((-21)/14). Suppose u - 5 = 2*u. Sort j, u, -4 in descending order.
j, -4, u
Let z = -0.11 + 4.11. Suppose 5*s - 4*y = -3 - 1, -2*s - 3*y - 20 = 0. Let j be s/6*6/(-10). Sort -2, j, z in decreasing order.
z, j, -2
Let m be 2/(-2) + 0/20. Put 5, m, -2 in decreasing order.
5, m, -2
Suppose -3*k = k + 8. Suppose 3*x - 6 = 3*h, -h - 2 = 2*h - 2*x. Sort h, k, -5 in descending order.
h, k, -5
Let g(o) = o + 4. Let m be g(-7). Sort 5, m, -5.
-5, m, 5
Let u = 29 - 40. Sort -2, u, -5 in increasing order.
u, -5, -2
Let z = -2.1 - -2. Let n = 1853/3 - 627. Let r = n - -9. Sort r, -2/9, z in increasing order.
r, -2/9, z
Suppose -94 = -3*k + 5*t, -2*k - 5*t = -2*t - 69. Let x be (-4)/(-14) + k/7. Suppose -17 = -x*o - 2. Sort 4, o, -2 in decreasing order.
4, o, -2
Let q(m) = -m**2 + 8*m + 2. Let d be q(8). Put -5, -0.2, d in decreasing order.
d, -0.2, -5
Let z(a) = -3*a - 13. Let i be z(-6). Let d = 3 + -5. Suppose -2*y = -2*f + 8, -3*f = -3*y + 7*y - 12. Put i, y, d in descending order.
i, y, d
Suppose -3 = 3*n - 2*n. Let p = n + 7. Let z be (0/(-2))/(18/9). Put 3, p, z in descending order.
p, 3, z
Let p = 0.6 + 0.6. Let x = 0.1 - p. Let k = x + 0.1. Sort k, -0.1, 2/11 in ascending order.
k, -0.1, 2/11
Suppose -3*g = y - 16, y - 2 = -y. Suppose -16 = -g*a - 1. Let d be a*-1*(-12)/(-18). Sort -3, 5, d in decreasing order.
5, d, -3
Let o be (-83)/(-2) + (-2)/(-4). Let n = -127/3 + o. Let h = 0.3 + 3.7. Sort n, h, -2/3 in decreasing order.
h, n, -2/3
Let p be ((-3)/2)/((-9)/12). Suppose p*i = -0*i + 4. Let v be 1/(-4)*2*-2. Sort v, i, 5 in decreasing order.
5, i, v
Let w = 7 - 11. Let c(v) be the second derivative of v**4/12 + v**3/2 + 2*v**2 + 3*v. Let y be c(-3). Sort 0.2, w, y.
w, 0.2, y
Let r be 5*(-1)/(-1)*1. Sort 0, r, -13.
-13, 0, r
Let u = -16 + 15.72. Let k = u + 0.08. Let c(g) = g**2 + g - 1. Let a be c(-1). Sort k, 5, a.
a, k, 5
Let k = -0.22 - -0.58. Let g = k + 0.04. Sort -1, -2, g in descending order.
g, -1, -2
Suppose 5*q = -3*w + 37, -2*w = -3*w - 2*q + 14. Let k = -57 + 57. Put 2, k, w in decreasing order.
w, 2, k
Let j(o) = o**3 - o**2 + o + 1. Let f be j(0). Sort -1, -3, f.
-3, -1, f
Let q be 2*1 + (-1)/(-1). Suppose -4*s + 7*s - 3 = 0. Suppose 0 = 4*l + 78 - 94. Sort s, q, l in decreasing order.
l, q, s
Let h = -0.02 + -10.98. Let g = -15 - h. Put 2/5, g, -2 in ascending order.
g, -2, 2/5
Let a be (60/16)/((-3)/8). Let m(t) = t**2 + 10*t - 5. Let p be m(a). Sort -1, p, 5 in descending order.
5, -1, p
Let c be 3/(-2)*2*-1. Let m be (-6)/(-45)*-1 + 0. Let u = m - -1/3. Put u, c, 5/6 in ascending order.
u, 5/6, c
Suppose -l = -8 + 5. Suppose -l*f - 5*z = -2, f - 2 = -0*f - z. Put f, -4, 3 in increasing order.
-4, 3, f
Suppose 0 = -5*f + u + 31 - 4, 0 = -5*f + 4*u + 33. Put 12, f, -1 in decreasing order.
12, f, -1
Let h = 23 + -25. Let r be (-1 + 0/(-1))*5. Sort 0, h, r in increasing order.
r, h, 0
Suppose -3*p + 2*o = -3 + 1, 5*p - 14 = -2*o. Suppose 3*a - 1 = p. Let l = -2 - a. Put -4, l, 1 in descending order.
1, l, -4
Let y = -30 + 29. Sort 1, 5, y.
y, 1, 5
Suppose -10*i + 22 = -21*i. Sort 4, 1/7, i in increasing order.
i, 1/7, 4
Let y = 6.06 + -0.06. Let n = y - 3. Let p = -31 + 30. Sort p, -0.4, n in decreasing order.
n, -0.4, p
Let u(g) = -g**3 + 7*g**2 + g - 2. Let k = 11 + -4. Let z be u(k). Let r = z + -10. Put 1, r, 4 in ascending order.
r, 1, 4
Suppose 0 = 2*r - c + 4, r - 5*c + 3 = 19. Let h = 0 + 3. Su