Let z = b + 0.17. Put 0, z, 0.2 in descending order.
0.2, 0, z
Let w(x) = -x - 7. Let s be w(-7). Suppose s = -3*c - 2 - 4. Put c, 0.2, -0.4 in decreasing order.
0.2, -0.4, c
Let l(t) = t**2 - 4*t + 3. Let o be l(4). Suppose o*z - q = -26, z + 1 = -3*q + 9. Let v = -2 - z. Put 1, v, 0 in descending order.
v, 1, 0
Let r = -3.9 + 3.9. Put r, 2/17, -0.3 in decreasing order.
2/17, r, -0.3
Let s = 0.3 + -0.1. Let q be (16/(-6))/(42/(-9)). Let b = -206 + 1445/7. Sort q, b, s.
s, b, q
Let h(z) = z**3 - 5*z**2 + z - 1. Let f be h(5). Let l be 29/3 - (-2)/6. Let b = 6 - l. Sort f, b, -2 in increasing order.
b, -2, f
Let a be (-3)/(-1) - (-23)/(-7). Put a, 1, -0.4 in descending order.
1, a, -0.4
Let i = 21 + -15. Let r be (2/12)/((-4)/i). Let q = 9/8 - -5/24. Put q, r, -2/15 in decreasing order.
q, -2/15, r
Let g = -1 - 7. Let c = 25 + -12. Let b = c + g. Put -2/9, 0.1, b in increasing order.
-2/9, 0.1, b
Let y = -0.24 - 0.06. Let l = 0 - -27. Let w be -8*(-1 + l/30). Sort w, y, 4 in ascending order.
y, w, 4
Let j = -18 + 17.9. Sort j, -2, 1 in descending order.
1, j, -2
Let g be (-2)/(-8) - (-54)/8. Suppose -d - 5*b + g + 3 = 0, 3*d + 10 = 5*b. Let c = -3.7 + -1.3. Sort d, -2/15, c.
c, -2/15, d
Suppose 5*o = -21 - 19. Put -3, 1, o in decreasing order.
1, -3, o
Let s(q) = q - 11. Let g be s(6). Sort g, -3/4, 11 in decreasing order.
11, -3/4, g
Suppose 2*o = -2 - 14. Let g(s) = s**3 + 9*s**2 + 9*s + 7. Let v be g(o). Put 4, v, 5 in ascending order.
v, 4, 5
Let a(f) = f**2 + 4*f + 1. Let g be (-6)/(-10)*(3 - -22). Let c be 5/g*18/(-2). Let m be a(c). Put -4, m, 2 in ascending order.
-4, m, 2
Suppose -a = 6*a. Sort -2, a, -3.
-3, -2, a
Suppose 11*z - 8*z + 12 = -5*c, -c = 3*z. Put z, 0, -2/13, -0.26 in descending order.
z, 0, -2/13, -0.26
Let m = 196 + -1374/7. Sort -0.5, 3, 2, m.
-0.5, m, 2, 3
Let x = -0.058 - 28.942. Let z = -29.11 - x. Let p = -0.01 - z. Sort -1/3, -2/23, p in ascending order.
-1/3, -2/23, p
Let d be (-2)/(-5) - (168/(-30) + 6). Sort 2, d, 5 in ascending order.
d, 2, 5
Let w = 3.75 + 0.25. Sort 0.59, -2, w in ascending order.
-2, 0.59, w
Let s(t) = -3*t + 6. Let i be -3*(-1)/(1 + 0). Let c be s(i). Suppose 7 = 3*y + 4. Put -4, y, c in ascending order.
-4, c, y
Let n = -19 - -20. Sort n, -3, 0, 5 in decreasing order.
5, n, 0, -3
Let t = 3 - 2.9. Let b = 0.55 + -0.05. Sort b, t, 0.3 in increasing order.
t, 0.3, b
Let z = 0.5 + -0.1. Let a = 0.094 - 0.094. Let x be 0/(-2) + 2/(-19). Put z, x, a in decreasing order.
z, a, x
Suppose -1 + 1 = -21*x. Sort 2, -58, -1, x in descending order.
2, x, -1, -58
Let j(q) = -3*q + 2. Let s be j(2). Sort -5, -7, s in ascending order.
-7, -5, s
Let u = -1.4 - -1.8. Let h = u - -6.6. Put 2, -0.4, h in descending order.
h, 2, -0.4
Let b(r) = -r**3 - 27*r**2 + 29*r + 32. Let t be b(-28). Put t, 28, -2 in decreasing order.
28, t, -2
Let g = -105 - -100.05. Let u = g + -0.05. Put 3, -1/7, u in decreasing order.
3, -1/7, u
Let t be ((-12)/50)/((-21)/(-70)). Put 0.3, t, -2/25, 0 in ascending order.
t, -2/25, 0, 0.3
Let r = 1 + -1. Let s = -2 + r. Let h(y) = 3*y - 20. Let l be h(5). Sort s, 4, l.
l, s, 4
Let s = -5.7 - -6. Let g = -89 + 85. Put -1, s, g in ascending order.
g, -1, s
Let s(u) = u**3 - 3*u**2 - 5*u + 4. Let q be s(4). Sort q, -5, 20 in descending order.
20, q, -5
Let s(n) = 3*n + 1. Let l be s(1). Put l, 3, -1 in decreasing order.
l, 3, -1
Let d = -3 + 7. Let z be (-2)/d*16/(-12). Let g = -73 - -69. Sort 2, z, g in decreasing order.
2, z, g
Let c be (-2)/15 - 2/10. Sort c, -3/7, -1/4 in increasing order.
-3/7, c, -1/4
Let h = 41 + -45. Put -1, h, 4 in ascending order.
h, -1, 4
Suppose 6 = 2*g + g. Suppose 5*b + 0*n = -g*n - 30, 5*b + 65 = 5*n. Let w = -7 - b. Sort w, -5, -4 in decreasing order.
w, -4, -5
Let h(s) = s**3 + 3*s**2 - 5*s. Let y be h(-4). Suppose -4*w - 11 = 5*o - 0*w, 2*o = y*w - 10. Let k be o/10*1/3. Put 2, 0.2, k in decreasing order.
2, 0.2, k
Let h be (36/(-8) - -3)*-2. Suppose -5*l + 6 = h*x, -l + 3*x - 7*x = -8. Put l, -5, -1 in decreasing order.
l, -1, -5
Let z = -50 - -45. Sort -1/2, 2/9, z in descending order.
2/9, -1/2, z
Let h be -1 - 2*(0 - 1). Sort 2, 11, h.
h, 2, 11
Let k = 34070 + -3543235/104. Let g = 4/13 - k. Sort 1/5, 1/7, g in decreasing order.
1/5, 1/7, g
Let m = 7 - 2. Let g = -2 + m. Let l = -0.1 - 0.1. Sort l, g, -4/7 in increasing order.
-4/7, l, g
Let o = -2 + -1. Let f be ((-9)/(-6))/(o/(-4)). Put f, -0.1, 1/2 in increasing order.
-0.1, 1/2, f
Let u be 1/((11/(-4))/(-11)) + -3. Let r be 0 + -1 - (-10)/12. Put 2/7, r, u in descending order.
u, 2/7, r
Let z = -0.21 - 0.09. Let a = 0.36 + z. Put 4, a, -1/3 in increasing order.
-1/3, a, 4
Let b be (-1 - 2) + 0 + 0. Let v = -1.5 - -0.5. Sort b, 0.1, v.
b, v, 0.1
Suppose -r - 6 = -0*r + 4*f, -2 = f. Suppose 0 = z - 5*y - 27, -5*z + 8*z = 5*y + 31. Let h be z/4 - 9/6. Sort r, 5, h in ascending order.
h, r, 5
Let j(z) = 2*z + 34. Let s be j(-16). Let o = -1.2 + 0.2. Sort o, 1, s in decreasing order.
s, 1, o
Suppose 12 = -16*r + 17*r. Sort r, 2, -4.
-4, 2, r
Let k(x) = x**3 + 3*x**2 - 4*x - 4. Let q be k(-4). Suppose -3*p - 5*w - 29 + 1 = 0, -9 = -p + 2*w. Sort 5, q, p in descending order.
5, p, q
Let x = -3 + 3. Suppose x = -z + 5 - 4. Put -5, -2, z in decreasing order.
z, -2, -5
Let i = -234/5 + 47. Let m be (-6 + 0)/(-4 - -6). Let z = -1.4 + 1. Sort m, z, i.
m, z, i
Let j = -4 - -4. Let a = 0 + j. Put a, 3, 1 in ascending order.
a, 1, 3
Let b = 27 + -25. Let t = 1 - 2. Sort -4, b, t in decreasing order.
b, t, -4
Let k be 12/(-8) - (-1)/(-2). Let w be (-2)/(k*(-1)/(-3)). Suppose -4*g + 1 = -w. Sort -5, g, 2 in decreasing order.
2, g, -5
Suppose -2*g - 8 = 3*o, -o + 4 = -g + 2*o. Suppose -2*x + 61 = 67. Sort 4, g, x in decreasing order.
4, x, g
Let f(u) = -u. Let w be f(-1). Let q be (3/12)/(51/(-12) + 4). Put w, q, 2 in decreasing order.
2, w, q
Let p = -1.5 - -1.41. Let k = -3.91 + p. Put k, -1/10, -2/3 in ascending order.
k, -2/3, -1/10
Let r = 0.2 + -0.4. Let u = 0.66 - -0.04. Let h = 1.7 - u. Sort h, -4, r in increasing order.
-4, r, h
Suppose 0 = 2*i, -3*r + i - 5 = -8*r. Sort -3, r, 2, -4.
-4, -3, r, 2
Let g be 2/(12/(0 + -4)). Suppose 3 = -2*n + 5. Let d be (-2)/(-8) + n/(-20). Sort -5, d, g.
-5, g, d
Suppose y - 4*y = 3*n - 9, 4*y - 4*n = -20. Let j = 0.29 - -10.71. Let d = j + -8. Put y, d, 0.1 in increasing order.
y, 0.1, d
Let x(u) = -u**2 + 4*u + 9. Let m be x(6). Put 0, 20, m, 2 in increasing order.
m, 0, 2, 20
Let k(h) = h**2 - 2*h - 4. Let n be k(3). Let r = -7 + 10. Let v = -8 + r. Sort n, 4, v in decreasing order.
4, n, v
Let l be ((-8)/6)/(2/(-3)). Suppose 0 = 3*m + l*m. Let u = m + 5. Sort 3, 2, u in descending order.
u, 3, 2
Let s = -6 + 10. Let g = -50.4 - -50. Sort g, s, -0.1 in increasing order.
g, -0.1, s
Let j = 4 + -2. Let y(u) = -u**2 + 2*u + 3. Let s be y(0). Sort -2, s, j in increasing order.
-2, j, s
Suppose t + 2 = -3*v - 0, 4*t + 3*v - 10 = 0. Suppose 12 = t*s - 3*s. Suppose -s = -j - 5*x, -6 = -2*j + j - 2*x. Sort j, -5, -2.
-5, -2, j
Let j be 6/(-16)*(-10)/15. Put 3, j, -6 in increasing order.
-6, j, 3
Let a = 8 + -10.1. Let l = a - -6.1. Put -1/8, l, 0.3 in ascending order.
-1/8, 0.3, l
Let c be ((-1)/(-3))/((336/18)/8). Sort -2, c, 1, 0.5 in increasing order.
-2, c, 0.5, 1
Let y = -109 + 105. Put -28, 0, y in descending order.
0, y, -28
Suppose -3*n - 11 - 4 = 0, -15 = -5*b - 3*n. Sort -5, b, -2.
-5, -2, b
Let g be 6/15 - 26/(-10). Sort -4, g, -8, -3 in decreasing order.
g, -3, -4, -8
Let a(s) = s**3 - 6*s**2 + 7*s - 10. Let t be a(5). Sort t, 5, -2 in descending order.
5, t, -2
Let v be (0/(-1))/(1 + 0). Sort -2, -5, v in decreasing order.
v, -2, -5
Let c(j) = -2*j - 7. Let g be c(-5). Sort g, -4, -1.
-4, -1, g
Let j = -5 + 0. Let d(u) = u - 1. Let n be d(-2). Sort j, 0.4, n in descending order.
0.4, n, j
Let v = 0 + 0.2. Let r = v + -0.3. Let o = 36 - 37. Put r, o, 2/13 in decreasing order.
2/13, r, o
Let v = -12 + 16. Suppose -3*y + v = -5. Let x(h) = -h**2 + 4*h + 8. Let m be x(6). Sort -1, y, m.
m, -1, y
Suppose 4*h = t + 3, -14*h + 17*h + 6 = -2*t. Sort t, -2, -1 in increasing order.
t, -2, -1
Let q be (-4)/6 + (-3106)/(-78). Let x = 39 - q. Let c = -32 - -289/9. Sort x, c, 0 in increasing order.
x, 0, c
Let z = -3/14 - 1/14. Let n(m) = m**3 + m**2 - 2*m - 2. Let y be n