 2
Let l = 9 + -8.8. Sort 2, -3, l.
-3, l, 2
Suppose 0 = -3*o - 5*w - 10 - 5, -o + w = -3. Suppose 3*a + 0*a + 6 = o. Put 2, a, 1 in decreasing order.
2, 1, a
Let m = -34 + 69/2. Suppose -z - 33 = -4*z. Put m, z, 0 in decreasing order.
z, m, 0
Let c = 14.7 + -15. Sort 0.3, c, -1/6 in descending order.
0.3, -1/6, c
Let k = -3.8 + 10.8. Sort k, 2, -4 in increasing order.
-4, 2, k
Let u = -1187129/11 - -108090. Let v = u - 169. Put -1, v, 0.1 in ascending order.
-1, 0.1, v
Suppose 5*o - 18 = -0*a - 2*a, -5*a - 5*o = -15. Put -26, a, 1 in ascending order.
-26, a, 1
Let i = -4.3 + 4. Let b be 4/180*26 - 12/15. Put b, -2, i in descending order.
b, i, -2
Let n(x) = -x + 4*x + 1 + 2*x. Let j be n(-1). Let p be (-20)/(-6) + (-1)/3. Sort p, j, 2.
j, 2, p
Suppose -5*j - 5*u - 5 = 0, -j - 2*j - 5*u + 1 = 0. Let p = 43 + -43. Sort -5, j, p.
-5, j, p
Let w = 0.06 - 0.26. Let y = 2/299 - 907/1495. Let a = -0.3 - -0.8. Sort y, w, a.
y, w, a
Let w = 3 + 2. Sort -4, w, 3 in decreasing order.
w, 3, -4
Suppose 7*u - 4*u = 3. Let c(m) = -m - 6. Let x be c(-9). Sort x, u, 0.
0, u, x
Let g = 0.03 - 2.03. Suppose -8*v = -5*v - 165. Let q = v + -273/5. Put 0.2, g, q in ascending order.
g, 0.2, q
Suppose b - 3 = -6. Sort -4, -2/9, b, -0.9 in descending order.
-2/9, -0.9, b, -4
Let t = 0.2 - -1. Let u = 1.23 - t. Sort u, 4, -3 in descending order.
4, u, -3
Suppose 2*g - 3*f = -10, 0*g = -3*g - 4*f + 19. Put -4, 2, 3, g in increasing order.
-4, g, 2, 3
Suppose -5*o + 3*z = -20, 0 = -3*o + 2*z - 3*z + 12. Let f be (-10)/45 + o/18. Put f, -1, 3 in increasing order.
-1, f, 3
Let c be 13/(78/(-36))*2/(-18). Put 0.3, c, 0.2, -2 in decreasing order.
c, 0.3, 0.2, -2
Let s = -1 - -0.8. Let h = -2.9 + 1.3. Let u = h - -2.1. Put u, -0.3, s in increasing order.
-0.3, s, u
Suppose 6 = 3*f, -3*x + f = -1 + 18. Sort -2, x, 3 in ascending order.
x, -2, 3
Let f = 11 - 7. Suppose -3*i - 2*h - 4 = 3*h, i + 7 = f*h. Sort 1, i, 3 in descending order.
3, 1, i
Let m(t) = -t**2 - 2*t + 0*t - 4 + 0*t + 2*t**2. Let d be m(4). Let l be (-12)/(-135) - d/18. Put l, 4, -5 in ascending order.
-5, l, 4
Let u be (-56)/(-10) - (-18)/(-30). Put 0, 2/17, u, -0.1 in ascending order.
-0.1, 0, 2/17, u
Let p = 8 + -4. Let x = -1 - -8. Let v be -2 + 4 + (-12)/x. Sort p, -4, v in ascending order.
-4, v, p
Suppose j + j - 10 = 0. Sort j, 0.4, -2 in increasing order.
-2, 0.4, j
Suppose 0 = -4*r - 0*b + b - 2, 3*r + 4*b = -11. Put 5, 6, r, -5 in descending order.
6, 5, r, -5
Let d = -3.3 - -5. Let x = d + -2. Sort -2/9, x, -3.
-3, x, -2/9
Suppose m - 4*m + 5 = 4*w, w = m + 10. Let j(k) = k**2 + 9*k - 2. Let o be 3/(6/(-20)) - -1. Let a be j(o). Sort m, a, 2 in descending order.
2, a, m
Let f(q) = q**3 + 10*q**2 + 10*q + 4. Let v be f(-9). Sort v, 7, 0.2 in increasing order.
v, 0.2, 7
Suppose 4*p - 11 = 9. Let i be ((-6)/(-4))/(6/(-8)). Let b = -51 - -51. Put p, b, i in decreasing order.
p, b, i
Let j = 7 + -3. Let d = 0.02 + -1.02. Sort j, 3, d in ascending order.
d, 3, j
Let i = -3.2 - -3. Suppose 5*c = 3*g + 2 + 2, g = 2. Suppose k + 0*k = -5*p + 13, 3*p = -c*k + 5. Sort i, k, 2/3 in descending order.
2/3, i, k
Let v = -4 + 3.6. Put v, 2/11, -0.12, 2/3 in descending order.
2/3, 2/11, -0.12, v
Suppose 5*x = -z + 30, 2*z - 3*x = -z. Sort 2, z, -2.
-2, 2, z
Let n be 24/40*(-5)/(-9). Suppose -2*p = 2*c + 10, -5*p - 3 - 1 = -2*c. Sort p, n, -0.4 in descending order.
n, -0.4, p
Let h = 149 - 146. Sort h, 2/17, -0.2.
-0.2, 2/17, h
Let t(p) = -p**3 - 2. Let o be t(0). Let s = -1 + 2. Suppose -5*q = s - 6, -2*c + 3*q = 13. Sort c, -1, o.
c, o, -1
Suppose 7*h - 15 = 2*h. Suppose h*q + 5 = -q + z, -q - 3*z = 11. Let f = 7 + -10. Sort q, f, 3 in decreasing order.
3, q, f
Suppose 2 + 4 = 2*w. Suppose -z + f - 2 = 0, 0 = -w*z - f - 4 - 6. Sort -5, 4, z in descending order.
4, z, -5
Let p be -4 - 2 - 6/2. Let g = p + 11. Let z be (2 - 0) + -2 + g. Put -2/9, z, -1/4 in descending order.
z, -2/9, -1/4
Suppose -r = 2*y, 2 = -6*y + 3*y - r. Let c = 0 + 3. Sort c, 4, y in descending order.
4, c, y
Suppose -4*m = 0, -3*i + 0*m + 4*m + 18 = 0. Suppose -i = o - 3*o. Sort o, -4, -1.
-4, -1, o
Let u = 3.9 + -3.6. Sort u, 4, -1/8, 28 in increasing order.
-1/8, u, 4, 28
Suppose 20 = -0*w + 5*w. Suppose -3*m - 14 = -2. Sort m, w, 5.
m, w, 5
Let i = 14 - 13. Suppose i - 5 = l. Put 1, l, 0.2 in decreasing order.
1, 0.2, l
Suppose 9*t - 27 = 4*t + 2*o, 5*t - 26 = o. Suppose t*m = 9*m + 16. Sort -1, m, -3.
m, -3, -1
Suppose -10*t + 5*t - 140 = 0. Let l be (-1)/(-4) - t/(-80). Let q = -7/36 - 1/18. Sort 4, l, q in descending order.
4, l, q
Let i = 0.8 - 0.9. Let k = i - 0.9. Sort -0.5, 0.2, k in descending order.
0.2, -0.5, k
Let y = 38 - 33. Sort 1, y, -2, 7.
-2, 1, y, 7
Let y be (-10)/55 - 111/(-66). Put -5, 0.9, y in descending order.
y, 0.9, -5
Let d(r) = -2*r**2 - 35*r - 12. Let t be d(-17). Put 3, t, -5, 8 in decreasing order.
8, t, 3, -5
Let f(j) = -j**2 + 4*j - 1. Let i be f(4). Sort i, 5, 4.
i, 4, 5
Let k = -0.42 + 0.72. Let l = -0.3 + -0.2. Sort l, k, -2/9 in ascending order.
l, -2/9, k
Let a(x) = -x**2 - 13*x - 12. Let g be a(-12). Put g, 1, 9 in ascending order.
g, 1, 9
Suppose 11 = 2*j + 13. Put j, -0.4, 4/7 in increasing order.
j, -0.4, 4/7
Let s be 2 + (-3)/((-12)/16). Put s, 0.1, 3 in ascending order.
0.1, 3, s
Let i = -11.29 + 0.29. Let p = i + 11. Let z = 0.1 + -0.6. Sort z, p, 5 in ascending order.
z, p, 5
Suppose s + 0 = 10. Let z be (15/s)/(9/30). Let c = -7 + 2. Sort z, 3, c in ascending order.
c, 3, z
Suppose 12*d = 6*d + 12. Suppose -6*t - 6 = -3*t. Sort d, t, 0 in descending order.
d, 0, t
Let i = 10 + -5. Suppose 16 = -3*y + i*y. Suppose 4*o + 0*o = y, -v = -5*o + 11. Sort -5, v, -0.5.
-5, v, -0.5
Suppose 5*z - 64 = 4*n - 0*z, -2*n - 2*z = 14. Let q be 2/n - (-42)/110. Put 4/5, -2, q in increasing order.
-2, q, 4/5
Let j = -4 + 7. Sort 1/6, 5, -0.3, j in decreasing order.
5, j, 1/6, -0.3
Let v = 0 - 1. Sort -16, v, 1 in descending order.
1, v, -16
Let j be (-3 - (-40)/15)*-12. Put -3/4, 0.3, j in decreasing order.
j, 0.3, -3/4
Let f be ((-30)/8)/((-8)/(-64)). Let d be (54/5)/((-9)/f). Let o be 2/(-5)*(-30)/d. Sort o, 0.5, 5.
o, 0.5, 5
Let g be 5*(4/(-10) + 1). Suppose -g*k - 16 = k. Let u = 0.04 + -0.34. Sort u, -2, k in descending order.
u, -2, k
Let j = -0.11 + 0.41. Put 0, 2, j in increasing order.
0, j, 2
Let n be (-4)/(12/4 + -2). Sort 4, n, -3 in descending order.
4, -3, n
Let n = -0.02 + 4.02. Let f be 1/4 + (-1)/2. Sort -1/6, f, n in decreasing order.
n, -1/6, f
Let x = -1 + 4. Suppose -9 = 4*d + x. Let n = 1 - -1. Put d, n, 4 in increasing order.
d, n, 4
Let n = 0 - 0. Let y(g) be the second derivative of -g**5/20 + g**4/3 + g**3/6 - g**2/2 - 2*g. Let z be y(4). Sort 5, z, n.
n, z, 5
Suppose 5*j = j + 16. Suppose 7 = -2*f + 1. Let m be -3 - -1*(f + j). Sort -4, -3, m in decreasing order.
m, -3, -4
Let m = 6.6 + -7. Sort -4, m, 1 in descending order.
1, m, -4
Suppose -u + 17 = 5*c - c, -5*u + 10 = 5*c. Sort 4, -1, 0, c in descending order.
c, 4, 0, -1
Let w = 0.365 + -0.165. Let q = 7 - 7.3. Sort w, 1, q in ascending order.
q, w, 1
Let b(g) = 0*g + 14 - 4 + g. Let j be b(-11). Sort j, 2, -5 in increasing order.
-5, j, 2
Let q = -14 + 18. Let c = 0.3 + 4.7. Put q, c, -1/6 in descending order.
c, q, -1/6
Let m = -157.2 + 157. Put -1, -0.06, m in increasing order.
-1, m, -0.06
Suppose 4*g - 22 = 4*c + 6*g, -c - 2 = 4*g. Put 4, 3, c in increasing order.
c, 3, 4
Let v be (-7)/(-4) - (36/6)/(-24). Sort 0.5, -3/5, v, -4 in decreasing order.
v, 0.5, -3/5, -4
Let s = -2.2 + 0.2. Let z = s + 7. Put z, -0.1, -0.5 in ascending order.
-0.5, -0.1, z
Let t(y) = -y + 4. Let j be t(0). Suppose 0 = -4*b + b + 12. Suppose 3*u + 5*p = -16, 5*p - b + 29 = 0. Put j, -4, u in descending order.
j, u, -4
Let u(i) = -i**2 - i - 7. Let v be u(7). Let a be (-5)/20 - v/60. Sort a, -0.1, -2/3.
-2/3, -0.1, a
Let v(z) = -z**2 + z + 13. Let u be v(0). Let q = -9 + u. Sort 7, q, 0.
0, q, 7
Suppose -15 = 3*n - o + 3*o, 3*n = 2*o - 3. Suppose 3*a = -3, u + 5*a + 5 + 2 = 0. Suppose 5*d - d - p = 3, -2*d = -5*p - 15. Sort d, n, u.
n, u, d
Let l be (-10)/(-4)*(-1)/(-5)*0. Put l, -2, -3 in ascending order.
-3, -2, l
Let g = -2 + 3. Let z = -3.7 + 3.9. Sort 0, z, g in ascending order.
0, z, g
Suppose -50 = 5*w + 5*h, -w = 3*w - 2*h + 52. Let i = 