-2
Let v = 9 - -3. Let n = 11 - v. Let g = 23/3 - 65/9. Put n, g, -3/7 in increasing order.
n, -3/7, g
Let t = -17 + -4. Let c = t - -24. Let i(q) = -2*q - 4. Let u be i(-4). Sort c, u, -5 in increasing order.
-5, c, u
Suppose 2*u + 4 = -5*f - 0*u, -3*f - 3*u - 6 = 0. Let v be (1 + f)*(-4)/4. Let c be 4/(-2)*(-10)/4. Sort c, -4, v.
-4, v, c
Suppose -4*k + f = -19, -2*k - 4*f + 32 = -0*k. Sort -5, k, 4 in decreasing order.
k, 4, -5
Let i be 32/(-12) + 55/15. Let m(s) = -s**2 + 7*s - 3. Let o be m(6). Sort i, 5, o in descending order.
5, o, i
Suppose -2*j + 5 = -7. Suppose -j*b + 10*b = 0. Put b, 2, -1 in decreasing order.
2, b, -1
Let y = -17 - -17.04. Put y, 1/4, -0.5 in decreasing order.
1/4, y, -0.5
Let c be (3/12)/(2/8). Sort -0.01, 2/7, c in descending order.
c, 2/7, -0.01
Let d(i) = i**3 + 4*i**2 + 5. Let c be d(-4). Let u = -5.5 + 6. Put c, -0.2, u in ascending order.
-0.2, u, c
Let l = -3 - 2. Let q = -7 - -12. Put 0, q, l in descending order.
q, 0, l
Suppose -15 = -5*k - 30. Put k, -5, 1 in decreasing order.
1, k, -5
Let g(w) = w**2 - 14*w + 24. Let u be g(12). Sort u, -4, -3.
-4, -3, u
Let u = 16 + -10. Suppose -u = -2*p - 4. Let j be 5*-1 - (0 - p). Sort -4/3, 4/5, j in descending order.
4/5, -4/3, j
Let v = -101 - -101.3. Sort v, 1, -0.3, 1/3 in decreasing order.
1, 1/3, v, -0.3
Let i be 5 - (-1)/4*-20. Suppose 0*z - z = -4. Sort i, 3, z in increasing order.
i, 3, z
Let x = 5 - 0. Let g = 4.13 - 0.13. Sort -2, x, g.
-2, g, x
Let s be (-11)/33*1*(-3)/(-7). Put -0.2, s, -8, -2/3 in increasing order.
-8, -2/3, -0.2, s
Let y = 1.1 + -1.5. Sort -2/3, y, 0.4 in increasing order.
-2/3, y, 0.4
Let m be (-24)/(-6) - 1*-3. Put m, -5, 2 in decreasing order.
m, 2, -5
Let p be 5*(4 + (-63)/15). Put p, 3, -0.5 in ascending order.
p, -0.5, 3
Let x = 9/7 + -31/35. Let v be 1*(-1 - (-2)/3). Sort x, v, 0.3 in increasing order.
v, 0.3, x
Let p(b) = b - 2. Let w be p(5). Put 5, -5, w in decreasing order.
5, w, -5
Suppose 2*q = -w - 4, -4*w - 4*q = -0*w + 16. Let m(t) = t**3 + 5*t**2 - 5*t + 5. Let k be m(-6). Put w, k, 2 in descending order.
2, k, w
Let b(v) = -2*v - 2. Let h be b(2). Let w be (4/h)/((-2)/9). Sort -2, -1, w.
-2, -1, w
Let h be (-4 + 1)/((-12)/8). Suppose 4*f - 3*q = 3*f + h, 3*q - 23 = -4*f. Suppose -i = -3*i - 2. Put 2, i, f in ascending order.
i, 2, f
Let r = -1.09 + -0.11. Let x = r + 1.5. Sort 1/3, x, -0.2 in decreasing order.
1/3, x, -0.2
Let s = -1 - 2. Let i = s + -4. Let n = -12 - i. Put -2/3, n, 0.1 in decreasing order.
0.1, -2/3, n
Let p be 4/(-16) - (-26)/8. Let d = p - 2. Let n(z) = -z**3 + 13*z**2 - 12*z - 5. Let g be n(12). Put d, 4, g in increasing order.
g, d, 4
Suppose -17*b + 21*b = 56. Put 3, -4, 1, b in ascending order.
-4, 1, 3, b
Let r = -0.33 + 0.3. Let n = -3.03 - r. Let g = n + 2. Sort g, 2/7, -5 in descending order.
2/7, g, -5
Let o be (4 - 4)*(-2)/4. Suppose i - 5*z = -3*i - 31, i + 5*z - 11 = o. Sort i, -1, -3 in increasing order.
i, -3, -1
Suppose 2*m + 5*z = m - 20, -2*m = -2*z - 20. Sort m, -3, -2.
-3, -2, m
Let y = -7 + 9. Suppose -y*z = 1 - 11. Put 4, z, 0 in decreasing order.
z, 4, 0
Let x = -0.02 - -4.02. Let l = -1.59 + 1.69. Sort -1, l, x in increasing order.
-1, l, x
Let a(t) = -3*t - 15. Let g be a(-7). Put 5, g, -4 in decreasing order.
g, 5, -4
Let f = 316 - 2531/8. Let o = 0.04 + 0.26. Let u = o + -0.2. Sort f, u, 2 in descending order.
2, u, f
Let d = 73 - 72.5. Sort d, 2/17, 1/6 in increasing order.
2/17, 1/6, d
Let m(v) = v**3 + 6*v**2 + 7*v + 7. Let d be m(-5). Sort -0.05, 0.5, d.
d, -0.05, 0.5
Let i(b) be the first derivative of -b**2/2 + 4*b - 1. Let m be i(6). Let r be (-1 - (0 + m)) + 0. Put -2, -3, r in decreasing order.
r, -2, -3
Let a(n) = -n**3 - 14*n**2 + 16*n + 13. Let u be a(-15). Sort 5, u, 4 in ascending order.
u, 4, 5
Suppose c + 2*c = -18. Let x = 6 + c. Let t(q) = -2*q - 1. Let a be t(-1). Put a, 4, x in decreasing order.
4, a, x
Suppose v + 9 = 5*g - 2, g = -v + 7. Sort 1, 0, g in ascending order.
0, 1, g
Suppose -4*w - i - 39 = 0, 2*i + 0 - 2 = 0. Let j be (w/(-4))/(-5)*2. Let a(p) = -p**2 + 4*p + 5. Let l be a(5). Sort j, 5, l in increasing order.
j, l, 5
Suppose -4*j + 6 = 5*m, -4*m - 2 = 6. Put -1, -5, j, 3 in descending order.
j, 3, -1, -5
Let v = 0.012 - 0.212. Sort 2, v, 3, 0.4 in ascending order.
v, 0.4, 2, 3
Let o be -2*(0 - 1)*-2. Let s(t) = t - 3. Let h be s(4). Sort 3, h, o in ascending order.
o, h, 3
Let y = 0.22 - 0.2. Let d = 3.48 + y. Let s = d + -4. Sort s, -1, 2 in descending order.
2, s, -1
Suppose -5*d + 31 - 1 = 0. Sort d, 4, -2 in ascending order.
-2, 4, d
Let s be ((-13 - -3)/(-5))/4. Let k = -6 + 5.6. Sort k, -3, s.
-3, k, s
Suppose -2*j = d - 5, -3*j + 20 = -2*d + d. Let p(h) = 4*h**2 - h. Let r be p(1). Suppose 4*i + s + s = -26, 2*i - 7 = r*s. Sort i, j, 1.
i, 1, j
Suppose 5*l - 15 = 0, 3*q = -2*q + 4*l - 7. Let w be 2*(3 - 10) - q. Let z be (4/(-6))/((-2)/w). Put 1, z, -0.2 in descending order.
1, -0.2, z
Let q(m) = 3*m**3 - m**3 + 2*m**2 - m**3 + 2 - 2*m. Let l be q(-3). Put -2, l, 3 in descending order.
3, l, -2
Let y = 7 + -4. Suppose -2*m = y*m - 5. Let q(b) = -b + 5. Let k be q(0). Put k, m, -2 in descending order.
k, m, -2
Let j = 0 - 0. Let a = -0.3 + j. Sort -2/3, 1, a.
-2/3, a, 1
Let c = -10 - -24. Let u be c - 1/(2/4). Suppose -2*h + u = 2*h. Put 4, 0, h in increasing order.
0, h, 4
Suppose -14*s + 12*s + 12 = 0. Put -4, s, -2 in increasing order.
-4, -2, s
Let y(u) = 2*u**2 - 3*u - 4. Let x be y(3). Let n = 12.7 - 14. Let s = n + 4.3. Sort s, x, -2/5 in descending order.
x, s, -2/5
Let v be (1/(-15))/(6/(-15)). Let y = 1 + -1.08. Let b = -0.38 - y. Put b, v, 0 in decreasing order.
v, 0, b
Let n be 1*(-3 + (2 - -2) - -4). Put n, 8, -1 in decreasing order.
8, n, -1
Let h(w) = w**3 + 3*w**2 - 4. Let m be h(-3). Sort m, -1, 1 in increasing order.
m, -1, 1
Let h(l) = l + 2. Let t be h(-3). Let r = -289/63 - -40/9. Let p = 14 - 9. Sort r, t, p in decreasing order.
p, r, t
Let a be ((-8)/(-66))/(14/(-21)). Let v = 3.7 + -4. Put a, v, -4 in increasing order.
-4, v, a
Let u be 148/18 - (-16)/(-72). Suppose 5*s - u - 7 = 0. Put 2, 4, s in descending order.
4, s, 2
Let h = 578/5 - 116. Let g = 1 - 4. Let f = g - -2.8. Sort f, h, 1/2 in descending order.
1/2, f, h
Let q = -10/21 + 1/3. Let b be (-6)/(-4)*1/6. Sort 6, b, q in descending order.
6, b, q
Suppose -o - 18 = -4*o. Let z(y) = y**2 - 8*y + 8. Let q be z(o). Sort 1, q, -1 in ascending order.
q, -1, 1
Let d = 1 + 0. Suppose 7*u = 31 + 4. Put 0.2, u, d in decreasing order.
u, d, 0.2
Let f(y) = -y - 1. Let s be f(-3). Suppose 0 = 6*v - 10*v + 4. Sort s, v, 4.
v, s, 4
Let i(l) = 2*l - 8. Let h be i(4). Sort 1, h, 2/9 in decreasing order.
1, 2/9, h
Let j = -5 - -4. Sort 9, -2/3, j.
j, -2/3, 9
Let j be 2/(-5) + 57/105. Let m be 1/6*(1 + 0). Sort m, 1, j in descending order.
1, m, j
Let q = -0.3 - 0.2. Let f be (-14)/(-4)*((-164)/(-70) + -2). Sort q, 5, f in ascending order.
q, f, 5
Suppose b = 5*k + 24, -2*b + 4*k + 24 = -6*b. Sort b, -7, 2.
-7, b, 2
Suppose 5*x - 4*x - 8 = b, 4*b + x = -52. Let g be -1 + -1 + b/(-6). Put -2, g, -1 in increasing order.
-2, -1, g
Suppose 10 = 2*f, -5*f + 9 = -s - 12. Sort -3, s, -5, 12 in descending order.
12, s, -3, -5
Let h = -54 + 52. Sort h, 0, 2, -1 in decreasing order.
2, 0, -1, h
Suppose 0*o - 2*o = 0. Suppose o = 3*t - t - 8. Let g(z) = 21*z + 63. Let j be g(-3). Sort 1, t, j in descending order.
t, 1, j
Let y(d) = -d - 8. Let h be y(-4). Let c = -1 - -3. Suppose -g - 10 + c = i, -4*i - 2*g = 28. Put i, h, 0 in increasing order.
i, h, 0
Let o = -4 + -3. Put o, -4, 1/4 in increasing order.
o, -4, 1/4
Suppose -2*u - 4*u + 12 = 0. Let l(d) = -3*d**3 + d**2 + 2*d + 1. Let j be l(-1). Let w = j - 6. Put 0, w, u in increasing order.
w, 0, u
Let m = -18 + 13. Sort m, -2/7, -1 in descending order.
-2/7, -1, m
Let b(q) = q**3 + 3*q**2 - 3*q - 2. Let f be b(-4). Let r = f - -7. Put r, -2, -4 in descending order.
r, -2, -4
Let m = 23 - 43. Let i = -12 - m. Let x = 6 - i. Put x, -4, 3 in decreasing order.
3, x, -4
Suppose 5*x = -5 - 10. Let p(u) = u**3 + 12*u**2 + 11*u - 2. Let v be p(-11). Sort v, x, -4 in increasing order.
-4, x, v
Let l = 0.9 - 1. Let b = l - 0. Let x = 0.934 + 0.066. Put 5, x, b in increasing order.
b, x, 5
Let l be (-2)/6 + 21/36. Suppose 4*x