ort -4, z, r in decreasing order.
r, z, -4
Let x = 37 - 15. Let r = x + -19. Put -2, r, 5 in increasing order.
-2, r, 5
Let l = 15 + -15.3. Put 1/6, l, 4 in descending order.
4, 1/6, l
Suppose 0 = -0*r - 3*r - 15. Let v be 1 + 1 + (-200)/105. Let j = 0.05 - 0.45. Put v, j, r in descending order.
v, j, r
Suppose -3*k + 4*k - 4 = 0. Let l(f) = -f**2 + 2*f - 3. Let w be l(2). Sort k, w, 3 in increasing order.
w, 3, k
Let j = -17 + 13. Sort 5, j, 3 in descending order.
5, 3, j
Let c be 2 + 0/(1 + -4). Let n = 1 - 3/2. Sort n, c, 4 in descending order.
4, c, n
Let w be ((-4)/5)/(46/115). Sort -4, -5, w in increasing order.
-5, -4, w
Let a(k) = k**3 + 4*k**2 - k - 2. Let s be a(-4). Let w = 3 + -15. Let t = w - -10. Sort s, t, -4 in decreasing order.
s, t, -4
Let y be 2/(-3) - (-14)/3. Let v = 1 + -1. Suppose w - 2*w - y = v. Sort 1, -3, w.
w, -3, 1
Let o be (-2 + 0)/(6/(-15)). Let w = 7 + 3. Suppose -2*u = -0*u + w. Put 0, o, u in increasing order.
u, 0, o
Suppose 4*w - 3 = 3*w. Suppose -k + 0*k = -16. Suppose 2*p + 2*p - 4 = -d, -4*p - 4*d + k = 0. Sort p, w, -3 in decreasing order.
w, p, -3
Let h(s) = -s**3 - 9*s**2 + s + 12. Suppose 3*z = 2*z - 9. Let d be h(z). Sort -4, d, -5 in decreasing order.
d, -4, -5
Let f(n) = -n + 2*n + 0*n + 6*n**2 - 10*n**2. Let x be f(-1). Let p = x - -10. Put p, -4, 4 in ascending order.
-4, 4, p
Let w(c) = -c**3 + 2*c**2 - 2. Let r be w(2). Let n = 7 + -5. Put r, n, -3 in decreasing order.
n, r, -3
Let d = -0.009 - 0.991. Let u = -29/57 + -3/19. Sort u, 1, d in descending order.
1, u, d
Let z = -12 + 18. Let h = -6.1 - 1.9. Let v = h + z. Put 5, v, -2/11 in increasing order.
v, -2/11, 5
Let r(t) = -t**2 + 10*t - 12. Let h be r(8). Suppose -1 = h*v - 9. Put -1, 0, v in decreasing order.
v, 0, -1
Let c = -44 + 41. Let j = -7 + 12. Sort 1, c, j in increasing order.
c, 1, j
Let n = 0.5 + 3.9. Let q = 4 - n. Let v = -2.4 - q. Put -2/9, v, 4 in descending order.
4, -2/9, v
Let p = -3/17 - -35/102. Sort -2, 3, p in decreasing order.
3, p, -2
Suppose -i = 4*i. Suppose -5*x + 3*l + 0*l - 2 = i, 0 = -3*x + l + 2. Sort 4, -2/11, x.
-2/11, x, 4
Suppose 20*d - 12*d - 8 = 0. Let a be (-6)/(-5)*(-5)/(-2). Suppose 14 = 5*r - 3*o + 2*o, a*r - 14 = 2*o. Sort r, d, 0.
0, d, r
Let y be -5 + 2 + (-5)/(-1). Suppose 0 = 2*g + g + 3*p - 9, -y*g + p + 12 = 0. Suppose 3*i = 3*u, 2*u = -2*i - 0*u + 12. Put i, g, 2/13 in decreasing order.
g, i, 2/13
Let f(t) = -t**2 - 4*t - 1. Let w be f(-4). Let g = -0.16 + -2.84. Put g, -0.1, w in increasing order.
g, w, -0.1
Let b(h) be the first derivative of h**2 - 3*h - 3. Let p be b(2). Let o = 0.1 - 0.5. Sort o, p, -2/9 in decreasing order.
p, -2/9, o
Let f be 64/(-12) + (-4)/(-12). Suppose 2*z - 8 = -2*z. Suppose -2*x - z*x = -5*i - 41, 5*i = 5*x - 45. Sort f, x, -4 in ascending order.
f, -4, x
Let i = -44 - -47. Put i, -2, -1 in descending order.
i, -1, -2
Let c = -5.3 + 5.7. Sort 0.11, c, 1 in descending order.
1, c, 0.11
Let w = -23 - -38. Suppose -4*j + w = -1. Let h be (-1)/j - (-3)/12. Sort 3, h, 5 in decreasing order.
5, 3, h
Let b = -2.07 + 0.07. Sort 5, b, 3/7 in increasing order.
b, 3/7, 5
Let v be (-1)/(-5)*1/1. Suppose -8*o - 2 = 6. Put 2/11, o, v in descending order.
v, 2/11, o
Let z be (3 - 0)*21/9. Sort 4, 0, -1, z in decreasing order.
z, 4, 0, -1
Let f(t) = -t**3 + 6*t**2 - 4*t - 1. Let z be f(5). Put z, 5, -6 in decreasing order.
5, z, -6
Let h(w) = 2*w**2 + 4*w + 5 - 4*w**2 + 3*w**2 + 3*w. Let k be h(-7). Suppose 4*x + k + 11 = 0. Put 1, x, 2 in increasing order.
x, 1, 2
Let o be (-1)/(-4) + (-118)/(-8). Suppose 3*p + 3 = -y + 6, 5*y = -p + o. Sort -1, 4, p in increasing order.
-1, p, 4
Let w = 0.4 + -4.4. Let u = -2 + -1. Let d(v) = -6*v**2 + 3*v - 2. Let y be d(1). Put u, y, w in ascending order.
y, w, u
Let p(r) = -r**3 - r - 1. Let q = -4 - -3. Let n be p(q). Let w = -35 + 35. Sort w, 5, n in ascending order.
w, n, 5
Suppose r + 0*r + 2 = 0. Sort r, 0, 2 in descending order.
2, 0, r
Suppose -4*r - 5*w + 5 = -3*r, -3*w = -3*r + 15. Suppose -4*s - r*d = -37, 2*s + 3*d - 18 = 1. Let o = 3 - s. Sort 4, -1, o in descending order.
4, -1, o
Let r = -4 - -5. Suppose 163 + 67 = -2*j. Let o = j - -577/5. Put o, -2, r in decreasing order.
r, o, -2
Let x = -20 - -25. Suppose -4 = 2*y, -4*w + x*y = -7*w - 7. Put -4, 3, w in increasing order.
-4, w, 3
Let m be -1 + 1 - 9/(-12). Let q = 0.31 + -0.01. Sort -2/3, q, m in decreasing order.
m, q, -2/3
Let y = -3/71 - -77/142. Let p = 3 - 2.9. Let x = -0.3 + p. Sort x, -0.3, y in decreasing order.
y, x, -0.3
Let w = 6 - 17. Let x = w + 10.7. Sort x, -3, 2/9 in increasing order.
-3, x, 2/9
Let o = -12.3 + 12. Sort -3, 0.5, o, 5 in ascending order.
-3, o, 0.5, 5
Let f(u) = u + 2. Let g be f(0). Suppose t = -t + 4. Let a be -1 + -1 + (t - g). Put a, 3, -3 in increasing order.
-3, a, 3
Let y = -0.51 + 0.01. Let z = -2/37 + -29/148. Sort y, z, 2/7 in decreasing order.
2/7, z, y
Let c = 0.16 + -0.26. Let h = -47 + 140/3. Sort -2/7, c, h in ascending order.
h, -2/7, c
Let f = 89 - 92. Put 4, -6, 2, f in decreasing order.
4, 2, f, -6
Let c(k) = 4*k**3 - 1. Let i be c(1). Suppose 8 = 4*r - 2*z, 2*r = -2*z - 5 + i. Let s be (-3 - -2)*(-1)/r. Put 2, s, 5 in ascending order.
s, 2, 5
Suppose 5*p + 8 = 18. Sort p, -4, -1.
-4, -1, p
Let n = -3 - -4. Suppose 0 = 13*g + 2*g - 60. Sort 3, n, g in ascending order.
n, 3, g
Let d(r) = -7*r + 4. Let m be d(-3). Let f be (-16)/24*(-153)/(-4). Let o = f + m. Sort 0.1, -2/19, o in decreasing order.
0.1, -2/19, o
Suppose 0 = -5*a + 8*a - 3. Put 3, -1, a in decreasing order.
3, a, -1
Suppose -4*h + 23 = 3*r, 0 = -5*h - 4*r + 8 + 22. Put -3, -4, 5, h in increasing order.
-4, -3, h, 5
Let z be ((-6)/(-8))/(-1 + (-22)/(-16)). Sort z, -0.4, -0.11.
-0.4, -0.11, z
Let r = -5 + 7. Let v(l) = -l**3 - l**2 - 4*l - 4. Let n(s) = -s**3 - 2*s**2 - 3*s - 4. Let y(j) = -4*n(j) + 3*v(j). Let m be y(-5). Sort -1, r, m.
-1, r, m
Suppose -5 = -2*d - 5*a + 4*a, 3*d - 11 = -5*a. Let g be (-3)/2*(-12)/(-9). Suppose -m = 1 + 4. Put m, g, d in descending order.
d, g, m
Let j = -1022/2313 - 2/771. Suppose 4*k - 15 = k. Let i be (k/6 - 1)*5. Put i, j, -5 in ascending order.
-5, i, j
Let h = 0.7 - 1.7. Sort h, 0.7, 2/11 in ascending order.
h, 2/11, 0.7
Suppose -5*z + 34 = -3*m, -z + 5 = -2*m - 6. Suppose 3*g + 6 = 0, -6 = -5*h + h - 3*g. Suppose 0 = 3*b + 3 + h. Put -5, b, m in ascending order.
-5, m, b
Let q = 17 - 20. Sort q, 2, 0.1, -11.
-11, q, 0.1, 2
Let t = -0.274 - -0.074. Put 0.2, 0.3, -0.3, t in increasing order.
-0.3, t, 0.2, 0.3
Let v(s) = -13*s**2 - 29*s - 3. Let h(y) = -3*y**2 - 7*y - 1. Let z(p) = -9*h(p) + 2*v(p). Let k be z(-3). Sort 2, -1, k in increasing order.
k, -1, 2
Let i be 3/2 + (-1 - 1). Put -3, 4, i in descending order.
4, i, -3
Let p(q) be the third derivative of q**5/12 - q**3/6 - 2*q**2. Let r be p(-1). Let k = -5 - -7. Put k, -1, r in decreasing order.
r, k, -1
Let l = 0.13 + -0.13. Sort l, -10, -0.4 in descending order.
l, -0.4, -10
Let c = 0.368 + 0.032. Let z = -9 - -9. Sort c, -4, z in descending order.
c, z, -4
Let z be 34604/132 - (-1)/(-3). Let u = z - 262. Let y = 14 - 10. Sort u, y, 0.2 in increasing order.
u, 0.2, y
Let t(g) = -2*g + 8*g - 5*g. Let v be t(5). Sort -2, v, -5 in increasing order.
-5, -2, v
Let i = -9.9 - -5.2. Let z = i + 5. Put -0.1, z, -0.2 in decreasing order.
z, -0.1, -0.2
Let p = -6 - -8. Suppose 0 = p*v + 2*v - 16. Sort 1, -4, v in descending order.
v, 1, -4
Let a = 37/3 + -11. Let q(c) = -c**2 + c + 3. Let p be q(-3). Let d be (-2)/(-9) + 29/p. Put a, -2/9, d in decreasing order.
a, -2/9, d
Let r be 2/(-3) - 35/(-84). Let g = -1/11 - 7/44. Let a = r + g. Sort 3, a, -2/7 in descending order.
3, -2/7, a
Let c(y) = -y**3 - 17*y**2 - 15*y + 23. Let t be c(-16). Sort 3, -1, t in increasing order.
-1, 3, t
Let g be -2 + 1 + (-2 - -7). Suppose i = 2*v + g, -v + 2*i - 16 = -2*i. Put 4, v, -2 in increasing order.
-2, v, 4
Suppose -4*h = -h. Sort h, -2, -4 in ascending order.
-4, -2, h
Suppose -2*x + 13 = -1. Suppose x*g = 3*g. Sort 1, -6, g in ascending order.
-6, g, 1
Let z = -10 + 12. Let h be (-5)/2 + z/4. Let v = -1 - -1. Sort -4, h, v in increasing order.
-4, h, v
Suppose -4*a = s - 0*s - 13, 5*a = 5*s + 35. Let w = -436/7 - -62. Let l = 0.08 - 3.08. Sort l, w, a in ascending order.
l, w,