. Sort a, v, 5 in increasing order.
v, a, 5
Let x(w) = -7*w - 1. Let v be x(-1). Let f = -5 + v. Sort 3, 0, f in decreasing order.
3, f, 0
Suppose 3*t + 7 = x, -3*x - 3*t - 1 = 2*x. Put 0.5, x, -4, -6/11 in increasing order.
-4, -6/11, 0.5, x
Let y be -6 + 2 - 16 - -2. Let d be ((-6)/y)/((-2)/12). Suppose 25 = 3*a + 2*a. Sort a, 1, d in increasing order.
d, 1, a
Let c(j) = -j**2 - 6*j - 6. Let g be c(-4). Let h = 31 + -25. Let r = g - h. Put -1, 4, r in decreasing order.
4, -1, r
Let f = -0.4 - -0.8. Let j = f - 5.4. Let w = 7 + j. Sort w, -2, 2/5.
-2, 2/5, w
Let p = 1.2 + -1.2. Put -1/2, p, 5, -1/4 in descending order.
5, p, -1/4, -1/2
Let z = 150.7 + -151. Let x = -23/4 - -199/36. Sort -1/6, x, z.
z, x, -1/6
Let p = -16 + 13. Put 0, 2, p, 14 in descending order.
14, 2, 0, p
Let i = -6 - -3. Let w = i + 4. Let t = 5 - w. Put -4, t, -1 in decreasing order.
t, -1, -4
Let r(h) = 3*h + 2. Let f be r(-2). Sort 2, -3, f, -2 in increasing order.
f, -3, -2, 2
Suppose -2*v + 1 = m, -6 = 4*m - 3*v + 12. Let y be (-4)/(-10) + (-2)/5. Suppose -2*r = -0 - 10. Sort m, r, y.
m, y, r
Let c be (-1 - -3 - 2) + 4. Let a be (-56)/(-20) + -1 + (-12)/(-10). Put c, 6, a in decreasing order.
6, c, a
Suppose -i + 1 = -5*a, -3 = -4*a + 3*a + i. Sort 2, a, -2 in descending order.
2, a, -2
Let a = 0 - 0.6. Let i = -0.1 - a. Let f = 1.4 + -1.5. Sort f, i, 2 in ascending order.
f, i, 2
Let y = 20.89 - 21. Let n = 0.01 + y. Sort -1/8, n, 0.3 in ascending order.
-1/8, n, 0.3
Let k be 0/(-1)*-1*1. Let o be 7/((-14)/4) - -7. Suppose 5*z = h - 3*h + 3, 7 = -o*h + 2*z. Sort k, 4, h.
h, k, 4
Suppose -2*c + 6*c + 12 = 4*k, -5*k = -4*c - 15. Suppose 5*d - 7 - 14 = -3*s, s = -2*d + 8. Sort c, d, -5.
-5, c, d
Let w = 5.86 - 6. Let a = 3.86 - w. Put a, 2, 5 in descending order.
5, a, 2
Suppose 2*h = -3*h + 3*m - 14, 0 = 5*h + 5*m - 10. Put 1, 0, h, -18 in descending order.
1, 0, h, -18
Let k = -18 + 32. Let h = k + -9. Let a(s) = s**3 + 6*s**2 + 8*s + 1. Let p be a(-3). Put p, h, -5 in decreasing order.
h, p, -5
Suppose -3*d - 4*j + j = -21, 15 = d + 3*j. Put d, -2, -3 in decreasing order.
d, -2, -3
Let o(s) = -s**2 - s + 9. Let x be o(-4). Let n(r) be the second derivative of r**3/6 + 7*r**2/2 + r. Let f be n(-5). Put x, f, 1 in decreasing order.
f, 1, x
Let l = 38/9 + -73/18. Put 1/2, -3, l in decreasing order.
1/2, l, -3
Let k be (4/(-3))/((-4)/(-6)). Let d be ((-54)/(-45))/((-2)/5). Put k, 4, d in descending order.
4, k, d
Let h = -1/157 - 623/785. Let g = 443/5 + -88. Sort 6, g, h.
h, g, 6
Suppose 8*j + 17*j = -75. Let g(m) = m - 4. Let p be g(4). Suppose y + y = -l - 1, 3*y - 2*l + 5 = p. Put j, y, 1 in increasing order.
j, y, 1
Let q = -19 + 18.5. Sort 2, 0.3, q in increasing order.
q, 0.3, 2
Let z = 5.113 - 0.073. Let d = 5 - z. Let t = d - -0.04. Sort -3, t, 1/5 in descending order.
1/5, t, -3
Let r = -0.055 - -5.055. Sort r, 1/3, -3 in ascending order.
-3, 1/3, r
Suppose -1 = -u + 3. Let f(m) = m - 4. Let j = 0 + 0. Let c be f(j). Put c, -2, u in increasing order.
c, -2, u
Let u be (-18)/30 + (-16)/(-10). Let w be (u - 3) + 6/2. Put -5, w, -4 in decreasing order.
w, -4, -5
Let m = -1128 - -19182/17. Let s = 64/85 - m. Let z = 2 - 5. Sort z, s, -2/3 in increasing order.
z, -2/3, s
Let c = 38 - 77/2. Put 1, c, -2/3 in increasing order.
-2/3, c, 1
Suppose 25 = 3*b + 2*b. Suppose -3*g + d = -13, b*g - 2*g + d - 17 = 0. Let z = 1.8 - 2.3. Sort 1, g, z in ascending order.
z, 1, g
Suppose 0 = -4*a - 4*g + 28, -4*g - 4 = -6*g. Suppose -4*k + 0*k + 24 = 0. Suppose 0 = a*z - 1 + k. Sort 0, z, -2 in increasing order.
-2, z, 0
Suppose 2*k = -15 + 7. Let v = 5 + -6. Put 5, k, v in ascending order.
k, v, 5
Let a = 8 + -4. Let y be (208/(-44))/a + 1. Sort 5, 2, y in increasing order.
y, 2, 5
Let p(n) = -66*n + 2. Let b be p(-2). Let k = b + -263/2. Let g = 0.2 - 0.3. Sort k, -1/2, g.
-1/2, g, k
Let c = 2 + 2. Let o = -5 + 5.1. Sort c, 0, o in increasing order.
0, o, c
Suppose 0 = 2*k - 4*k + 10. Let z be ((k - 0)*-1)/1. Let d = z - -9. Sort 1, -4, d in descending order.
d, 1, -4
Let i be (-20)/(-55)*(-1)/(-2). Sort i, -0.2, -0.4 in ascending order.
-0.4, -0.2, i
Let o be ((-4)/10)/((-26)/(-130)). Put 2, -5, o in ascending order.
-5, o, 2
Let s be 0 + 1 + -1 + 8. Suppose 4*i = s - 60. Let f be ((-9)/i + -1)/(-2). Put -2, f, 3 in ascending order.
-2, f, 3
Let d be 8/36 + 32/18. Let g = 3 + d. Sort g, 1, -4 in descending order.
g, 1, -4
Let x be (-32)/10 - (-1 + -4 + 2). Let f = -9 - -4. Put f, x, -0.4 in ascending order.
f, -0.4, x
Let n = 1/256 - 529/4352. Sort 1, -5, n in increasing order.
-5, n, 1
Suppose k - 5*f - 12 = 0, 0*k + 3*k = -4*f - 21. Put 5, -1, 3, k in decreasing order.
5, 3, -1, k
Let u(h) = 5*h - h**2 + 2*h**2 + 0*h + 2. Let c be u(-3). Put c, -2, 1 in ascending order.
c, -2, 1
Let z be (10/8)/(1/(-4)). Suppose 24 = -4*c - 4*p, -2*p - 3*p - 27 = 2*c. Sort 5, z, c.
z, c, 5
Suppose 3*x = 3*q + 4*x - 19, 0 = q + 5*x - 11. Let z = 24 - 28. Let p be 10/(-35)*q/z. Put -4, p, 4 in ascending order.
-4, p, 4
Let i = 14.95 - 15. Let d = 0.05 - i. Sort d, -3, -2 in descending order.
d, -2, -3
Let z = -49/2 - -25. Let y(q) = q + 1. Let w be y(-10). Let o = w + 13. Sort -2, z, o in increasing order.
-2, z, o
Suppose 4*k = -3*k + 28. Suppose -x = 4*n - 2, 0 = -5*n + x - 0 - 2. Put k, 2, n in descending order.
k, 2, n
Let w be ((-6)/5)/(12/(-90)). Sort -2, w, 1 in ascending order.
-2, 1, w
Let s = -2 - -3. Suppose 2*h - 1 = -5*f - 4, -5*f - 4 = h. Let w = s - h. Put 3, w, 5 in decreasing order.
5, 3, w
Let u = 3 - 2.99. Let c = 25 + -24.61. Let j = c + u. Put -0.5, j, -2 in descending order.
j, -0.5, -2
Let l(h) = h - 13. Let v be l(15). Sort -4, 0, v in descending order.
v, 0, -4
Let n be (-3 + 2)/((-1)/5). Sort 2, -4, n.
-4, 2, n
Suppose -3*u + 2 = -2*p - 7, 0 = -5*p + 3*u. Suppose 3*g = -a + 14, -5*g = 4*a - 49 + 21. Sort 1, p, a.
1, a, p
Let q = 14.1 + -14. Sort q, 2, -3 in decreasing order.
2, q, -3
Suppose c - 2*c - 1 = 0. Suppose 0 = 3*q + 2*d + 6 - 2, 4*q + 2*d = -6. Sort -3, q, c in ascending order.
-3, q, c
Suppose -3*m + 5*m = 2*t + 64, 5*m = -4*t - 164. Let s be t/14 - 3/7. Let d = 0 - -1. Put 4, s, d in ascending order.
s, d, 4
Let v = -0.015 + 25.015. Let y = v - 30. Put -0.2, y, 2/3 in descending order.
2/3, -0.2, y
Let r = -6.6 + 6.89. Let o = 0.11 + r. Put o, 2, 3/2 in decreasing order.
2, 3/2, o
Let s be -10*(10/(-60) - 1/3). Let f = -9 - -16. Suppose 5*v + 3*z - 6 = -z, 3*v - z - f = 0. Put s, -5, v in ascending order.
-5, v, s
Let y = -0.06 - -0.46. Put -2, -2/3, y in decreasing order.
y, -2/3, -2
Suppose d + 12 = -5*j, -4*d + 3*j + 0*j - 48 = 0. Let k be 0 + -2*(-1)/d. Let i be (2/(-4))/(14/16). Sort 5, k, i in decreasing order.
5, k, i
Suppose 5*g - 13 = 2. Let h be -1 + (-2)/2 - 0. Let n be 2 + h + -2 + 3. Sort n, g, 4.
n, g, 4
Suppose 4*v - 3*v - 2 = 0. Let r be (1/(-9))/(v/(-12)). Sort 4/5, r, 1/3.
1/3, r, 4/5
Suppose -9 = 5*j - y - y, 4*j + 3 = 3*y. Let d = j + 0. Let i = -0.07 - -0.17. Put i, d, 1 in increasing order.
d, i, 1
Suppose 5*j + 0*j + 55 = 0. Let l(m) = 9*m**2 + 12*m + 1. Let g(b) = -5*b**2 - 6*b. Let z(i) = j*g(i) - 6*l(i). Let r be z(7). Put 0, r, -1 in decreasing order.
r, 0, -1
Suppose -2*y - 4*o - 26 = 0, 0*y + 3*o + 22 = -2*y. Suppose 2*q - 1 - 1 = 0. Sort y, q, -3 in descending order.
q, -3, y
Let t(i) = -2*i - 1. Let n be t(-3). Sort 3, n, 4 in decreasing order.
n, 4, 3
Let r = 83 - 81. Put 3, -3/2, r, 4 in ascending order.
-3/2, r, 3, 4
Let t = -4.4 + -0.6. Let j = -0.016 + 2.016. Sort -1, t, j.
t, -1, j
Let l be (6/9)/(2/(-6)). Let h(s) = 2*s + 7. Let d be h(-6). Sort l, 5, d in increasing order.
d, l, 5
Let o = 5 - 2. Let a(p) = p**3 + p**2 - 2*p - 6. Let c be a(0). Let y be (-3)/(-1) - (-24)/c. Sort y, 0, o in descending order.
o, 0, y
Let v be -11*((-732)/(-14))/(-3). Let u = v + -192. Put -4, u, 3 in increasing order.
-4, u, 3
Let v(z) = -4*z**3 - 3*z**2 + z + 1. Let f be v(1). Put f, 8, 4 in ascending order.
f, 4, 8
Suppose 0 = -3*f - 5 + 2, -2*o + 9 = -3*f. Suppose 0 = 4*y - 8*y. Put 5, y, o in descending order.
5, o, y
Let n be (30/(-40))/((-2)/(-8)). Put -1, n, 0.1 in decreasing order.
0.1, -1, n
Let s(c) = c**3 + 4*c**2 - 3*c + 2. Let k be s(-5). Let m = 13 + k. Put m, 1, 2 in descending order.
m, 2, 1
Let z = -0.63 + 0.25. Let