 -1
Suppose 4*a = -r - r - 12, -2*a = -4*r - 4. Suppose -4 + 2 = 2*x. Put a, 1, x in increasing order.
a, x, 1
Let t be -2 + (-1)/(-2)*2. Let l be 16 + (-3)/(-2)*-2. Suppose -2*m - m + l = -o, o + 23 = 5*m. Sort o, t, 4 in increasing order.
t, o, 4
Let g = 11 - 6. Let i(k) = -k + 2. Let n be i(-2). Sort -5, n, g in decreasing order.
g, n, -5
Let j = -5 - -25. Sort 0.2, 4, j in descending order.
j, 4, 0.2
Suppose 12 = 3*q + 3*z, 0*q - q = -3*z + 16. Sort q, -7, 5 in descending order.
5, q, -7
Suppose 4*l - 3*v = 2*l + 34, -51 = -5*l - v. Let x = l - 16. Let r = 3 + -2. Sort 3/8, r, x.
x, 3/8, r
Let b = -17 + 16. Let c = -0.8 - b. Sort 0.4, c, -0.4 in ascending order.
-0.4, c, 0.4
Let o = -12.2 - -2.2. Sort -1/4, 2, o in decreasing order.
2, -1/4, o
Let k = 129 + -335/3. Let j = -17 + k. Sort j, -1/7, 2 in decreasing order.
2, j, -1/7
Let h = 26 - 19. Sort h, -4, 3 in decreasing order.
h, 3, -4
Let w = 23 + -22.91. Let i = -0.49 + w. Let x be 2/(-7) - 50/(-126). Put i, x, 2/9 in ascending order.
i, x, 2/9
Let h = -204 - -204.07. Sort 0.05, h, 5 in ascending order.
0.05, h, 5
Let y be (2/6)/(8/36). Sort 1, 8, y in descending order.
8, y, 1
Suppose -3*x + 5*n = -6*x, -3*n - 29 = -4*x. Let y = -14 + 9. Put 11, y, x in decreasing order.
11, x, y
Suppose 4*l - 3*h + 10 = -5*h, -2*l - 3*h = 7. Let w be l/(-4)*-10*1. Put -0.2, 2/7, w in decreasing order.
2/7, -0.2, w
Let d be 564/(-24) + (-2)/4. Let w be (-20)/d - (-2)/(-2). Put w, -2, 0.1 in ascending order.
-2, w, 0.1
Let j(n) = -n**2 - 7*n + 13. Let b be j(-9). Sort 5, b, 3.
b, 3, 5
Let f = -1 + 0. Sort f, 0, 1, -5 in descending order.
1, 0, f, -5
Let m = 5.053 + -0.053. Let q = -845/11 + 77. Sort m, -2, q.
-2, q, m
Suppose -16*h - 8 = -12*h. Sort h, 1, -5.
-5, h, 1
Suppose 2*o + 2 - 20 = 0. Suppose -2*q - 5 = -q. Let x = q + o. Sort 5, x, -3 in descending order.
5, x, -3
Suppose -16 = -3*d + 2*g, 3*d + 5 = -2*d - 3*g. Suppose b = d*b + 2. Sort -4, -1, b in decreasing order.
-1, b, -4
Let q be (-1)/3 + (-8)/30. Let j = -1.15 - -1.55. Sort -1/4, q, j in decreasing order.
j, -1/4, q
Let b = 186 - 1304/7. Sort -5, 0.5, b, -4.
-5, -4, b, 0.5
Suppose b + 3*l = 4*l - 1, -5*b + 22 = 4*l. Let d(f) = -4 - f**3 - 2*f + 0*f**3 + 0*f + 8*f**b + 3*f. Let k be d(8). Put 0, 1, k in ascending order.
0, 1, k
Let p = 3.9 + -4. Suppose 12 = 3*c, 56 - 18 = 3*d + 2*c. Let q be 2/(-4) - d/(-4). Sort q, p, 3 in ascending order.
p, q, 3
Let h = -1.5 - -1.5. Let s = 57/122 + 2/61. Sort h, s, -0.3 in ascending order.
-0.3, h, s
Let c = -10 + 11. Let x(m) = m. Suppose -g + 1 = 2. Let s be x(g). Sort c, s, 3/2 in decreasing order.
3/2, c, s
Suppose -l + 4 + 0 = 0. Suppose 12 = -l*q, 6*o - o + 9 = -3*q. Sort o, 1, -5 in descending order.
1, o, -5
Let a(j) = j**2 - 5*j + 7. Let k be a(3). Sort 5, k, -3 in descending order.
5, k, -3
Let t be ((-10)/6)/(5/(-15)). Let j = t - 3. Sort j, 2/7, 0.2.
0.2, 2/7, j
Let t be (-6)/(-9)*(-15)/(-2). Suppose -4*o - 12 = 0, -6*o + 2*o = -3*n + 24. Put t, n, -3 in descending order.
t, n, -3
Let o = 23 - 10. Put o, 0.4, -5 in descending order.
o, 0.4, -5
Let r = 13 - 16. Put -2/5, 1/2, r in increasing order.
r, -2/5, 1/2
Let f be (-1 - -1) + 13/1. Let z be f/(-10) - (-2)/(-10). Let o = z - -5/6. Put -3/5, o, 5 in increasing order.
o, -3/5, 5
Let k = 1.88 + 3. Let c = k + 0.12. Let r = 0 + 0. Put -2/11, c, r in decreasing order.
c, r, -2/11
Let k = -6 + -1. Let o = k + 6. Suppose 0*u + 6 = -3*u. Sort -3, o, u.
-3, u, o
Let v(g) = -3*g - 7. Let n be v(-3). Put -2, -4, n in ascending order.
-4, -2, n
Let t(w) = -w + 3. Let k be t(0). Let g be 212/28 + 4/(-7). Suppose -2*p - 3*m = -13, -4*p - k*m + g*m - 4 = 0. Sort p, -1/3, 1/4.
-1/3, 1/4, p
Let p(h) = -h**2 + 2*h + 3. Let l be p(0). Let u(a) = a**3 - a**2 - 5*a + 2. Suppose 0 = n - 2 - 1. Let y be u(n). Put y, 2, l in descending order.
y, l, 2
Suppose 0 = 8*c - 6*c. Let n = -3 - -1. Sort n, -1, c in descending order.
c, -1, n
Let c = -1.8 - 1.2. Let w be (3/(3*-1))/2. Sort w, c, -4.
-4, c, w
Let g = 0.3 + -0.26. Let o = -0.15 + g. Let t = -0.11 - o. Sort t, -0.5, -2.
-2, -0.5, t
Let t(z) = -6*z - 48. Let q be t(-11). Sort 4, q, -1 in decreasing order.
q, 4, -1
Let x = -3.6 + 3.91. Let h = 0.01 - x. Sort 5, h, 0 in descending order.
5, 0, h
Suppose 7*u + 0*u + 35 = 0. Sort 1, u, 3 in decreasing order.
3, 1, u
Let o = -0.3 - -4.3. Let c = 5.5 + -9.4. Let x = -0.1 + c. Put 0, x, o in descending order.
o, 0, x
Suppose 0 = -4*s - 0 + 12. Suppose s = -j - 4*u + 26, 3*u = 3*j + 6. Put j, -5, -4 in decreasing order.
j, -4, -5
Suppose 0*o = 2*o - 6. Let z be (-54)/13 + 2 + 48/(-26). Sort z, o, 4.
z, o, 4
Let c be 12*12/(-81) - 12/(-6). Put -4/5, 0.5, 2/3, c in ascending order.
-4/5, c, 0.5, 2/3
Suppose -5*c + 2 = -3. Let a(x) be the third derivative of x**4/24 + x**2. Let w be a(3). Sort -1, c, w in ascending order.
-1, c, w
Let h = 1 - -4. Put -1/5, -1, h in ascending order.
-1, -1/5, h
Suppose x = -h - 6, -x + h = -2*h - 10. Let w be 7 - 7 - 4/x. Sort 1, -4, w in descending order.
w, 1, -4
Let v = -11 - -9. Let b = 3 - 4. Sort 4, b, v in ascending order.
v, b, 4
Let v = 91 + -117. Put v, 4, 5, -5 in decreasing order.
5, 4, -5, v
Let x be (-2 + 12/5)*-5. Let k be (x - 0)/((-4)/(-10)). Let w(t) = -9*t - 58. Let r be w(-7). Sort k, 3, r in increasing order.
k, 3, r
Let s be (2 - 8/2) + 1. Let r(g) = -2*g - 10. Let d be r(-3). Sort s, d, 1 in descending order.
1, s, d
Let y = 0.2 - -0.2. Let z = 0.4 - y. Put z, 2, -2 in decreasing order.
2, z, -2
Suppose 2*d + 18 = 16. Suppose 2*y - r = -1, -4*y - 2*r = 2*r - 16. Let p be (5 - 1) + 1/y. Sort 1, d, p.
d, 1, p
Let b be 5/35 + 3/(-21). Put 4, b, -1 in descending order.
4, b, -1
Let s be 10/(-55) - 2/110. Put 4, 2, s in ascending order.
s, 2, 4
Suppose 5*f - 4 = 3*t - 0*t, 3*t = -2*f + 10. Suppose -5*i - t*v = 1, 2*i - 4 = -2*i - 4*v. Sort i, 5, -4.
-4, i, 5
Let v = 0.7 - 0.6. Sort v, -4, -3/5, -2/5 in increasing order.
-4, -3/5, -2/5, v
Suppose -2 - 2 = -4*f. Let v be (10/(-8))/((-12)/48). Sort f, v, -4.
-4, f, v
Let c(t) = t - 2. Let u be c(1). Suppose 2 + 19 = -7*q. Let z be 5 + (q + 2)*2. Sort 0, u, z in ascending order.
u, 0, z
Let i = -3/11 - 18/55. Let w = 2.6 - 3. Sort i, w, -0.5.
i, -0.5, w
Let l = 528/5 + -106. Let i = 10 - 10.2. Sort -0.1, l, i.
l, i, -0.1
Let h = -7 + 11. Suppose 0 = 5*b - b + h*o, -5*b + 2*o = 0. Sort 2, -3, b.
-3, b, 2
Suppose 9 = -7*g - 12. Sort 1/5, -0.4, g in decreasing order.
1/5, -0.4, g
Suppose 0 = 3*f - 0*f - 306. Let v = f - 716/7. Put 0.5, v, -0.13 in descending order.
0.5, -0.13, v
Let z(k) = -k**2 - 6*k + 4. Let u be z(-6). Suppose -u*n - 7 = 13. Sort 0, n, 2 in descending order.
2, 0, n
Let v(z) = -z. Let d be v(5). Let h = 1 - 1. Sort 2, h, d in descending order.
2, h, d
Let d = 0.06 + -0.11. Let q = d - -4.05. Let n = 0.09 - 0.59. Put q, n, 4/7 in descending order.
q, 4/7, n
Let j = -10.26 + 0.26. Let m = j - -7. Let h(w) = w**2 - 6*w - 4. Let d be h(6). Sort d, 4, m.
d, m, 4
Suppose -9 = 2*b - 1. Let u(f) = f**3 + 4*f**2 - 5*f + 3. Let i(r) = r**2 + 6*r + 4. Let k be i(-3). Let o be u(k). Sort o, b, -3 in increasing order.
b, -3, o
Suppose -4*y = -0 + 20. Let x(b) = b + 7. Let v be x(-3). Sort -1, v, y.
y, -1, v
Let f(o) be the third derivative of o**4/12 - o**3 - 2*o**2. Let u be f(3). Sort 2, 1, u in descending order.
2, 1, u
Suppose -18 = -3*z - 3*v, -6*v = -4*z - 4*v + 12. Let i be (2/(-1) - -2) + -6. Let k(j) = -j**2 - 8*j - 9. Let x be k(i). Put x, z, -5 in decreasing order.
z, x, -5
Let u(d) = -d**2 + 5*d - 4. Let k be u(4). Suppose k = -s + m, -5*s - 6*m + m + 50 = 0. Let a = 20 + -18. Sort 1, s, a.
1, a, s
Let l = -0.1 + 0.6. Let b(q) = -8 + 8*q - q + 0 + 7 - q**2. Let j be b(6). Put j, -2/7, l in ascending order.
-2/7, l, j
Suppose -2*z - 2 = -3*x, 5*x = -1 + 21. Let p be (z + -7)*(-5)/2. Sort 1, p, -1 in decreasing order.
p, 1, -1
Let p = -16 + 15.5. Put p, -0.04, 2 in ascending order.
p, -0.04, 2
Suppose -3*t + 3*l + 9 = -0*t, l + 19 = 3*t. Sort 1, -1, 3, t in ascending order.
-1, 1, 3, t
Let c = -15 + 13. Sort c, 4, -0.1, 3.
c, -0.1, 3, 4
Let l(j) be the third derivative of j**6/120 + 3*j**5/20 - 5*j**4/12 - j**3 - 5*j**2. Let o be l(-10). Put 5, o, 1 in increasing order.
o, 1, 5
Let z = -1.87 - 0.13. Let h = z + 1.6. Sort 0.3, 0.4, h in decreasing o