 13*r + 21 = 8. Sort r, 2, l in increasing order.
r, l, 2
Let b = -90/11 - -287/66. Let m be -8 - -3 - (-23)/4. Put b, m, -4 in decreasing order.
m, b, -4
Suppose 0 = -0*s + 5*s. Suppose -5*h + 3*h + 4*v - 14 = 0, 4*v - 21 = -5*h. Suppose 9 - h = -4*b. Sort b, s, -1 in descending order.
s, -1, b
Let y = 1.1 - 1. Let p = 0.05425 - 0.45425. Sort -3, y, 0.5, p.
-3, p, y, 0.5
Suppose -10*l - 1988 + 2038 = 0. Let t be (-2)/1*2*2. Let b(x) = -x**2 - 3*x - 3. Let s be b(-2). Put l, s, t in ascending order.
t, s, l
Let f(z) = -z + 5. Let d be f(5). Suppose -3*o + 0*x - 11 = -5*x, d = -o + x - 1. Suppose 3*c - 12 = 3*t, c = 6*t - o*t + 14. Sort 3, c, -2 in decreasing order.
3, c, -2
Let z = -553 - -2211/4. Put z, -0.4, 0.5, 2/13 in increasing order.
-0.4, z, 2/13, 0.5
Suppose 5*d - 1 = 4, 2*c + 5*d - 5 = 0. Suppose -2*j + 0*j = c. Let a = -2 - -2.02. Sort -0.1, j, a in decreasing order.
a, j, -0.1
Let d = -868 + 861. Let y = -32 + 39.1. Let h = d + y. Put -1, h, -4 in increasing order.
-4, -1, h
Let x be (-4 - -3) + (-48)/(-8). Put x, -1/11, -0.3 in descending order.
x, -1/11, -0.3
Let n(s) = -s**2 + 2*s - 2. Let m be n(2). Let k be ((-8)/20)/((-6)/5)*3. Let b be (-4 + 5)*(k*-1 + 1). Put m, 11, b in decreasing order.
11, b, m
Let k(b) = -3*b**3 + 2*b**2 + 2*b - 7. Let m be k(3). Put m, 2, -5 in increasing order.
m, -5, 2
Let c = -75.7 + 80. Let b = 0.3 - c. Put b, 0.4, 2/11 in decreasing order.
0.4, 2/11, b
Let v(m) = m**3 + 4*m**2 - 12*m - 37. Let d be v(-3). Suppose 0 = l + 3*l + 12. Sort d, l, 5 in descending order.
d, 5, l
Let n = 6.23 + 0.57. Let z = n - 7.1. Sort -0.09, 2, z.
z, -0.09, 2
Let o be -3 - ((-4)/(-2) - 2). Suppose 12*f + 8 = 8*f. Suppose 0*w = -3*w - 12. Put w, f, o in increasing order.
w, o, f
Let n = -141 + 141.4. Put n, 2, -4/3, 0.5 in decreasing order.
2, 0.5, n, -4/3
Let u(c) = -c**3 + 11*c**2 + 13*c - 15. Let s be u(12). Let h(i) = i**3 + 7*i**2 + 12*i. Let z be h(s). Let k = 6 - 11. Sort -1, z, k in increasing order.
k, -1, z
Let f = -101 - -101.2. Let u be (4/7)/(-2)*-1. Sort u, f, 3 in increasing order.
f, u, 3
Let s = -1 + 1.5. Let k = 0.4 + -0.3. Sort 3/5, k, s.
k, s, 3/5
Let h = 19 - 15. Suppose -31 = h*d + 57. Let o be 18/(-52) + (-11)/d. Sort -0.2, o, -0.4 in decreasing order.
o, -0.2, -0.4
Suppose 0 = 4*v - 0*v + 16. Suppose -3*j + 21 + 24 = 0. Suppose j*y - 2 = 16*y. Sort v, 2, y in increasing order.
v, y, 2
Let p = 30 - 5. Let m = p + -36. Let s = m - -11.1. Sort s, 4, 0 in decreasing order.
4, s, 0
Let s = 2 + 1. Let v = -3.3 - -5.7. Let c = v + -1.4. Sort 0, c, s in decreasing order.
s, c, 0
Let z be -2*(27/(-6))/(-9). Let n = 36 + -35. Put -3, z, n, -9 in increasing order.
-9, -3, z, n
Let s = -30.7 - -29. Let f = s - -2.1. Put 3, f, -3/8 in decreasing order.
3, f, -3/8
Let g = 18 - 17. Suppose -9 = -d - g. Suppose -b - 3 = -x, d*x = 4*x + 8. Put 0, -5, b in decreasing order.
0, b, -5
Suppose -3*g + g + 8 = 0. Let h(f) = 3*f**2 + 24*f + 1. Let o be h(-8). Sort o, -1, g in decreasing order.
g, o, -1
Let u(y) = y**2 - 15*y + 33. Let k be u(12). Suppose -10 = -8*o + 3*o. Suppose 0*x = 3*x - 15. Put x, o, k in decreasing order.
x, o, k
Let v(l) = -l**3 + l**2 - 1. Let c be v(0). Let u = 2 + 2. Suppose -38*j + 35*j + 3 = 0. Sort j, c, u in increasing order.
c, j, u
Let h(p) = -p**3 + 3*p + 1. Let q be h(-2). Let y = q + -2. Let k(x) = -x**3 + 11*x**2 + 13*x - 14. Let l be k(12). Sort y, l, -4 in descending order.
y, l, -4
Suppose 4 = 2*r + 3*j, 14*j - 12 = 2*r + 9*j. Put -3, 99, r in descending order.
99, r, -3
Suppose 0*m = 4*m - 5*w + 3, 2*m = 2*w. Let r = 4.76 + -1.7. Let c = 0.06 - r. Put c, m, 0.2 in ascending order.
c, 0.2, m
Suppose 18 = 3*o - o + 4*z, 4*o - 3 = 3*z. Let p(l) = l**3 - 2*l**2 + 2*l - 3. Let c be p(2). Sort -6, o, c, -3 in ascending order.
-6, -3, c, o
Suppose f - 41 = 1. Suppose -34 + f = -2*v. Sort 2/7, -5, 1, v.
-5, v, 2/7, 1
Let a(f) = -2*f**2 + 38*f + 15. Let c be a(21). Sort -3, 3, c in descending order.
3, -3, c
Suppose 3*s + 5 = 2*s + t, -5*s + 10 = 2*t. Let n = -7 + 2. Sort n, 4, s in descending order.
4, s, n
Let l be 7/14 - (-1)/(-2). Let t = -3 - -4. Let z be (4 + (-1 - 2))/(-1). Sort z, l, t.
z, l, t
Let c = 46 + -43. Let w be (0/(c - -2))/2. Sort -2/5, 2, w, -4 in descending order.
2, w, -2/5, -4
Let w = 2.8 - 6.8. Let i = -0.094 - -0.494. Sort 2, i, -0.1, w in increasing order.
w, -0.1, i, 2
Let r = -2.04 + 0.04. Suppose -c + 2*w = 2*c + 22, -34 = 4*c - 5*w. Let m be (c/20)/((-33)/(-22)). Put m, -4, r in ascending order.
-4, r, m
Let y = 544 - 546. Sort -2/29, y, 4 in decreasing order.
4, -2/29, y
Let v(d) = 2*d**2 - 20*d - 31. Let b be v(14). Put b, -5, 1 in increasing order.
-5, 1, b
Let k = -1.32 + 1.46. Sort -2, -2/5, 3, k.
-2, -2/5, k, 3
Suppose i - 4 = -4*v - 3*i, 0 = 5*v + i + 3. Let b(t) = -4*t**2 - t - 1. Let x be b(v). Suppose -3*m = -m - 4. Put 3, x, m in increasing order.
x, m, 3
Let k = 2/2041 + -24514/22451. Let g = -22.6939 + -0.0061. Let x = g - -23. Put k, 2/9, x in increasing order.
k, 2/9, x
Let h = -0.0877 - -1.2877. Put 1/16, -3/5, h in decreasing order.
h, 1/16, -3/5
Suppose 30 = 6*r - 12*r. Sort -19, r, 5 in decreasing order.
5, r, -19
Let x be (1/2)/((-5)/90*-3). Sort 10, 4, x.
x, 4, 10
Let n be 4 - -4 - (-3)/(-1). Suppose 0 = 3*l + 9, 32 = 4*r + l - n*l. Suppose 3 + 2 = -5*w + u, -19 = -3*w + r*u. Sort -3, w, 4 in decreasing order.
4, w, -3
Suppose 31 = 4*c - h, 10*h - 11*h = -5*c + 39. Let s be (6/c)/(90/96). Sort -0.4, s, -0.13, -1 in ascending order.
-1, -0.4, -0.13, s
Let c = 51 + -54. Let k be 2/(-3) - c/(-9). Put k, 5, 1, 0 in ascending order.
k, 0, 1, 5
Let n be 4/80*-4 - (-21)/30. Put 0.56, -0.2, n in decreasing order.
0.56, n, -0.2
Let a = 251/14 - 143/7. Sort 3, a, -0.1, 3/5 in descending order.
3, 3/5, -0.1, a
Let a be (-8)/28 - (-1)/(56/9). Put -4, a, 0.4, -1 in decreasing order.
0.4, a, -1, -4
Let c = -2035 - -2036. Put -1, c, -47, -2 in increasing order.
-47, -2, -1, c
Let u = -6.77 + 6.8. Put 9, 0.2, u, 5 in descending order.
9, 5, 0.2, u
Let f = 0.496 + 0.504. Sort f, -3/7, 0.4, -1/3.
-3/7, -1/3, 0.4, f
Let v = -2 - -1. Let w = -0.8 - v. Let k = -93/308 + 4/77. Sort w, 0.3, k in descending order.
0.3, w, k
Suppose 6*h + 23 = -5*m + 4*h, 0 = -4*m + 3*h - 23. Sort -9, m, -1, 3 in descending order.
3, -1, m, -9
Suppose 0 = 2*v - 5*o - 30, -17 + 28 = 3*v + o. Let s = 0.5 - 2.5. Put s, -7, 0.4, v in decreasing order.
v, 0.4, s, -7
Let v = -5431.17 + 5402. Let t = v + 29. Sort t, -1/3, 3.
-1/3, t, 3
Let u = 12 + -7. Let x(i) = -9*i + 2. Let d be x(-2). Suppose 0 = -20*r + 16*r - d. Sort -2, u, r in descending order.
u, -2, r
Let k = -0.09 - -12.09. Let j = 8 - k. Let y = -0.52 + 0.02. Sort j, 3/5, y.
j, y, 3/5
Let n = -2355/7 - -337. Let r = 177 + -184. Sort n, r, -5 in descending order.
n, -5, r
Let u = 25.9 + -26. Suppose -6 = -3*q + 2*w + 5, -4*q - 8 = 3*w. Let o be (4 - q)*(3 - 5). Sort u, -1/6, o in descending order.
u, -1/6, o
Let r = -2.4 + 0.4. Let z = -0.0678 + 0.1678. Sort z, 3, r, 2.
r, z, 2, 3
Let s = -139 - -138. Sort s, -4, 13 in descending order.
13, s, -4
Suppose -13*j = -142 + 25. Sort -4, j, 16 in increasing order.
-4, j, 16
Let c be 2 + -2*1/2. Sort -2, -5, c in decreasing order.
c, -2, -5
Let q = -5 - -16. Let l be 63/35 + (-12)/15. Sort 0, l, q in increasing order.
0, l, q
Let h = 0 + -1. Suppose -4*c = 2*f, 9 = f - 5*c - 5. Put f, h, 3, 2 in descending order.
f, 3, 2, h
Let i = -136 - -140. Sort i, -4/5, -104 in decreasing order.
i, -4/5, -104
Let u(b) = -b**3 + 3*b**2 - 12*b + 42. Let a be u(3). Put a, -4, -20 in increasing order.
-20, -4, a
Let z(r) = -16*r**3 + 2*r**2 + 3. Let p be z(2). Let y = p + 116. Sort -1/6, -20, y.
-20, y, -1/6
Let i = -0.435 + 0.735. Let j = -2.1 - 3.5. Let q = 6 + j. Put -1, i, q in descending order.
q, i, -1
Let q(u) be the first derivative of u**2/2 - u - 4. Let p be q(-1). Let s be -1 - ((-10)/(-2) + p). Put s, -5, 3 in decreasing order.
3, s, -5
Suppose -3*y = -11*y. Suppose -4 = -4*z - 3*x, -2*z + 2 = -0*z - 5*x. Sort 4, y, 17, z.
y, z, 4, 17
Let n be -3 - (-4 + 0) - 4. Let v be (-338)/(-39)*n/(-2). Suppose 0 = -o + k - 1, -3*k + 0*k + v = 2*o. Sort o, -5, 5 in ascending order.
-5, o, 5
Let r = -0.17 + -36.83. Let d = -36.8 - r. Sort d, 0, 2.
0, d, 2
Let r(c) = -64*c**3 - 2*c**2 + 1. Let 