.
r, -0.5, -3
Let i(g) = g**2 + 5*g - 4. Let s be i(-6). Suppose -5 = -p + s*p. Sort p, 4, 3 in descending order.
4, 3, p
Let r = -2 - -1.5. Let x = 0.71 + -0.41. Put r, 0.4, x in ascending order.
r, x, 0.4
Let v be (-6)/(-15) + 23/5. Let u be 1 - 8/3 - (-8)/12. Sort -4, u, v in increasing order.
-4, u, v
Suppose -f + 4*f + 5*n = 2, -4*f - 2*n - 2 = 0. Suppose -2*m - 1 = -5*s, -2*m + 4*s + 1 = -m. Put m, f, 2 in ascending order.
m, f, 2
Let b be -1*(-2 - (-1 + -1)). Let c be 129/27 + 4/18. Suppose 0 = c*d - b*d - 5. Sort -2, d, 4 in decreasing order.
4, d, -2
Let h(u) = -2*u + 7. Let p be h(6). Suppose -5*x + 0 = 5. Let g be 3/(-6) - 1 - x. Put g, 2/15, p in descending order.
2/15, g, p
Suppose l + 3*q - 4*q = -3, -2*q + 20 = 5*l. Let b be -1 + 2 - l/2. Suppose b = -0*j - 3*j + 12. Put j, 1, 3 in ascending order.
1, 3, j
Let i(t) = -t**3 - 28*t**2 - t - 29. Let s be i(-28). Sort 5, 1, s, 0 in decreasing order.
5, 1, 0, s
Let t = -1927 + 59742/31. Let i = t - 14/279. Let s be (-5)/(165/(-2))*-3. Put s, -0.3, i in decreasing order.
i, s, -0.3
Suppose 0 = -3*i - 15, 2*i = -5*z + 7*i + 10. Let f be z/6 + (-22)/4. Let g be (-1 + -5)*f/9. Put 0.2, -3/4, g in ascending order.
-3/4, 0.2, g
Suppose 8 = c + 3*c. Let b be c - 1 - 2/3. Let h = -4 - -4. Sort -0.2, b, h in increasing order.
-0.2, h, b
Let c be (-2)/(-8) + (-14)/(-8). Suppose 3 = 2*o - 3*o. Let z = -35 - -30. Put c, z, o in descending order.
c, o, z
Suppose -5*n + 16 + 2 = -q, 3*n = -q + 14. Put -8, -3, n in descending order.
n, -3, -8
Let v = 0.1 - 0.16. Put v, 2/15, 1 in decreasing order.
1, 2/15, v
Let y(k) = -k**2 + 10*k - 21. Let g be y(8). Sort g, 4, 5 in ascending order.
g, 4, 5
Suppose 4*c - 82 = 194. Let u be c/21 - (-6)/(-21). Sort u, -1/4, -5.
-5, -1/4, u
Let r be ((-10)/6 - -2)*15. Suppose m = -m - 6. Let i = m + 0. Put r, -1, i in decreasing order.
r, -1, i
Let a be -12 - (-2)/(-2)*1. Put -4, a, -3 in increasing order.
a, -4, -3
Let d = -1370/9 - -152. Let y be 12 + -10 + -1 + (-4)/6. Let p = 2 + -8/3. Sort y, p, d in descending order.
y, d, p
Let d = -3/16 - 1/16. Let q = 0.054 + -0.154. Put q, d, 4 in decreasing order.
4, q, d
Let a(n) = 5*n**2 - n. Let y be a(1). Suppose 2*r - r = -y. Put -2, -3, r in descending order.
-2, -3, r
Let d = 16 - 11. Sort -0.5, d, -1/4 in descending order.
d, -1/4, -0.5
Let f = 13 + 9. Let r be 92/f + 2/(-11). Sort r, -2, 0.4 in ascending order.
-2, 0.4, r
Let w(c) = c**2 - 11*c + 8. Let a be w(10). Let r = -2 - a. Let g = r + 3. Put 4, g, -5 in ascending order.
-5, g, 4
Suppose -n + 8 = -0. Let v = n + -6. Suppose 3*g - v = -r, -2*r - 2*g - g = -4. Sort 5, -4, r.
-4, r, 5
Let c be 6 + 0 + 1 - -3. Suppose c = -2*t, t + 3 = 2*z - 12. Suppose -4 = 5*f + 21. Sort -4, z, f.
f, -4, z
Let k = -80 + 75. Sort -3, 0, k, -1 in decreasing order.
0, -1, -3, k
Let t(z) = z**3 - 5*z**2 + 6*z - 3. Let c be t(4). Let f(u) = -16*u**2 + 17*u**2 + u + 12*u - 16. Let d be f(-14). Sort d, c, 4 in ascending order.
d, 4, c
Let v = -0.166 + 0.066. Put -8, v, -5 in ascending order.
-8, -5, v
Let o be (-2 - 1)/((-3)/2). Put 4, 1, o in descending order.
4, o, 1
Let i be 6/3 - 2/(-2). Sort -3, -4, i in ascending order.
-4, -3, i
Let f be -3 - 11*10/(-3). Let b = f - 34. Sort -5, b, 5 in increasing order.
-5, b, 5
Let f(d) = d - 7. Let q be f(2). Let t = 2 - 0. Let b = 2 - t. Put -4, q, b in increasing order.
q, -4, b
Suppose -q + 1 = -2*i, -i + 0*i - 2*q = 3. Put 5, 1/4, i in ascending order.
i, 1/4, 5
Suppose -4*l - 8 = 7*o - 5*o, -28 = 5*l - 2*o. Suppose 3*f - 10 = 2, -2*m = -5*f + 66. Put m, -1, l in decreasing order.
-1, l, m
Let j = 23.13 - 23. Put j, 3, 0.4 in increasing order.
j, 0.4, 3
Let m(j) = -j - 7. Let g(f) = -f**3 + 4*f**2 + 4*f. Let p be g(5). Let s be m(p). Put -3, 5, s in decreasing order.
5, s, -3
Let m = -7 - -11. Suppose y = -4*v - 5, -m*y - 6 = -2. Let i = -0.06 - -0.56. Put i, -4, v in increasing order.
-4, v, i
Suppose 3*r + 4 = -2*l - 19, 46 = -4*r + 5*l. Let h(b) = -b**2 - 8*b + 12. Let x be h(r). Put 2, 5, x in ascending order.
2, x, 5
Let k = -261/7 + 37. Let h = 0.12 - 5.12. Let i(v) = -v**2. Let b be i(-2). Sort k, h, b in descending order.
k, b, h
Let j be (-3 + 2)/(3/(-9)). Suppose 2*f = -2*u, 2*u - 5*u = -f - 16. Sort 1, j, u.
1, j, u
Suppose -i - 15 = 4*j, 0 = -j + 3*j + 2*i + 6. Let t = j - -1. Put -6, t, -5 in increasing order.
-6, -5, t
Suppose 15 = 4*g + 2*b - 3, -5*b + 9 = g. Sort 5, -1, 0, g in decreasing order.
5, g, 0, -1
Let r = 5 - 4. Suppose -2*x + 5*z = 3*x + 10, -r = 2*x - z. Sort -0.5, 5, x in ascending order.
-0.5, x, 5
Let h(r) = r**3 - r**2 - 5*r - 5. Let w(f) = f. Let p(a) = -h(a) - 4*w(a). Let z be p(0). Sort -5, z, 3.
-5, 3, z
Let k = -12/7 - -11/7. Let s = 1 - 1/2. Sort k, -5, s in decreasing order.
s, k, -5
Let x = -8 - -6. Suppose 4*k + 6 = -6. Put 3, x, k in increasing order.
k, x, 3
Suppose -6 = -5*k + 29. Let d = 6 - k. Sort d, -3, 5/4 in decreasing order.
5/4, d, -3
Let m be ((-4)/(-7))/(((-40)/35)/(-4)). Suppose -2*u + 4 = 5*h + 16, 6 = -u - 5*h. Let b be (-1 - u)*(-1 - 0). Put m, 4, b in decreasing order.
4, m, b
Let v(a) = -a**2 - 10*a + 2. Let o be v(-10). Put -4, -2, o, 1 in descending order.
o, 1, -2, -4
Let r(g) = 2 + 19*g**2 - g**3 - 11*g - 7*g**2 + 1. Let z be r(11). Put -3, z, -2 in descending order.
z, -2, -3
Let a = 2/673 - -1224/41053. Sort a, -1/4, 0.4.
-1/4, a, 0.4
Let c = 14 - 18. Sort c, 0, 2.
c, 0, 2
Suppose -5*b - 15 = 15. Let z(q) = -q**3 - 6*q**2 + q + 2. Let m be z(b). Let g = m - -8. Sort 2, g, -1 in increasing order.
-1, 2, g
Suppose -4*l + 0*l + k - 17 = 0, 0 = -2*l - 3*k + 9. Let b be (10/(-4))/(3/(-6)). Let j(v) = 2*v - 9. Let d be j(6). Sort b, l, d.
l, d, b
Suppose 0 = 5*u - c - 3*c - 120, -2*u + c = -51. Suppose -8 = -4*p + 2*l, 3*p - p + 5*l = u. Sort p, -4, 0 in increasing order.
-4, 0, p
Let g be (15/(-45))/((-1)/((-3)/1)). Put g, 19, -3 in ascending order.
-3, g, 19
Let c(k) = k**2 - 3*k - 8. Let z be c(5). Suppose 15 = 2*v + 3*v. Suppose -2*j - 10 = v*j. Sort z, j, -5 in decreasing order.
z, j, -5
Let u(r) = 2*r**2 - 22*r - 2. Let w be u(11). Put 4, w, 14 in descending order.
14, 4, w
Let p be (1/(-2)*-4)/5. Let l = 0.2 - 0.2. Let x = l + 0.5. Sort x, p, -2/7 in increasing order.
-2/7, p, x
Let l = -286/345 - -2/69. Let p = 421.02 + -421. Put l, p, 5 in ascending order.
l, p, 5
Let y = -15 + 14.6. Sort 1/2, y, -1 in increasing order.
-1, y, 1/2
Let q = -0.06 + -0.44. Let n = 6 + -4. Put q, 3, n in increasing order.
q, n, 3
Let j = -697/417 + 2/417. Sort -0.1, -0.2, 5, j in ascending order.
j, -0.2, -0.1, 5
Suppose -2*h + 9*o = 4*o, -5*o = -4*h + 10. Let p be 5*(16/(-4))/4. Put h, -3, p in descending order.
h, -3, p
Let y = -0.59 - -1.59. Let x = -240 - -2162/9. Put y, -1/4, x in decreasing order.
y, x, -1/4
Suppose -4*q - 4*m = -212, -4*q + 0*m + 210 = 5*m. Suppose 0 = -3*j + 5*u - 0 + 4, q = -5*j - 4*u. Let l = j + 12. Sort 4, l, -1 in descending order.
l, 4, -1
Let z = 2.3 - -6.7. Put 2/17, -4, z in decreasing order.
z, 2/17, -4
Let t = -0.1 - -0.6. Let g(f) = -f**2 + 13*f + 8. Let p be g(7). Let j = -199/4 + p. Put j, t, 4 in descending order.
4, t, j
Let l = 2.01 - 0.01. Let o = 0 + -0.04. Let r = o + 0.34. Sort r, l, -4.
-4, r, l
Let q = -100 - -97. Put q, -2/5, 2 in descending order.
2, -2/5, q
Let f = -1.23 + 5.2. Let p = -0.03 - f. Sort -3, -0.4, p in descending order.
-0.4, -3, p
Let v = -0.1 - -0.6. Let b(t) = t**2 - 3*t - 2. Let o be b(3). Let x = o + 0. Sort 2, x, v.
x, v, 2
Let z = 0.2 - 0.4. Suppose 20 = -4*g + 5*g. Suppose 0 = 2*m + 3*m - g. Put 1/5, m, z in increasing order.
z, 1/5, m
Let a = -5 - -1. Let x = -4 - -3. Suppose -3*t - 20 = -5. Sort a, x, t in increasing order.
t, a, x
Let c(f) = -f**2 + 9*f + 4. Let z be c(9). Put z, -11, 1 in descending order.
z, 1, -11
Let f = -216 + 1520/7. Sort -0.4, 1/7, f in descending order.
f, 1/7, -0.4
Suppose -8*o = -3*o + 10. Let u = -2 - -5. Let k = 5 - u. Sort 3, o, k in ascending order.
o, k, 3
Suppose -3*j - 5 = 5*y, 2*j + 4*y = -0 - 6. Let g = j + -11/3. Sort 1/3, 2/5, g.
1/3, 2/5, g
Let u be ((-28)/70)/(4/(-10)). Sort 3, -3, u in descending order.
3, u, -3
Let u = 5/26 + -9/26. Put 4, u, 5 in descending order.
5, 4, u
Let c = -56 - -225/4. Let y be 291/(-33) + 2/(-11). Let w be 11/y + (-1 - -2). Sort w, 0.1, c.
