ppose 3*o + 2*o - 20 = 0, -5*s - 8 = 3*o. Suppose 0 = 12*v - 13 + 1. Put s, 0, v in decreasing order.
v, 0, s
Let n(r) = r - 2. Let b be n(3). Let d = -45 + 43. Put d, 0, b in ascending order.
d, 0, b
Let t(r) = 2*r**2 - 3*r + 2. Let o be t(1). Sort o, -5, -1 in ascending order.
-5, -1, o
Suppose -2*k = -7*k. Suppose k*n = 2*n - 34. Let p = -12 + n. Sort 1, p, -5.
-5, 1, p
Let u = 21.1 + -20. Let z = u + -0.7. Let k = -3 - -5. Sort -0.2, k, z.
-0.2, z, k
Suppose -4*b = -4*f + 16, 8 + 0 = f - 2*b. Sort -2, -9, f.
-9, -2, f
Let y(n) = n**3 - 10*n**2 - 9*n - 16. Let h be y(11). Let m be 2*((-15)/h + 3). Put -4, -2, m in descending order.
m, -2, -4
Let l(j) = -4*j + 3. Let q be l(2). Let d(c) = -c**3 + c - 2. Let b be d(-2). Suppose -2*h + 2 = -3*h. Put h, q, b in descending order.
b, h, q
Let y be 17/(-34) - (-11)/14. Sort 3/5, y, -23 in ascending order.
-23, y, 3/5
Suppose -2*q - 2*q = 0. Let a be q/((-6)/(-3)) - 2. Put 0, 1, a in decreasing order.
1, 0, a
Suppose 30 = -4*x + 5*l, -3*x + 5*x + 3*l = -4. Put 3, x, -1 in ascending order.
x, -1, 3
Let l = -66/7 + 361/42. Put 0.9, l, -2/17 in increasing order.
l, -2/17, 0.9
Let u = 3 - 2.6. Let p(i) = i**2 + 4*i. Let l be p(-5). Sort 0.3, l, u in decreasing order.
l, u, 0.3
Let q = -3 + 16. Suppose 2*w + w + q = h, 2*w = 4*h - 22. Sort -4, h, 3.
-4, 3, h
Let h = -0.01 + 6.01. Let n = -68 - -69. Sort n, h, 4 in ascending order.
n, 4, h
Let j be (-1)/(-4 - -6)*6. Let w be (j + 1)/((-8)/(-12)). Let g(i) = i - 1. Let m be g(1). Put m, w, 3 in descending order.
3, m, w
Suppose 0 = -2*z - 2*z - 8. Sort -0.1, 0.05, z, 1.
z, -0.1, 0.05, 1
Let b = 0.7 + -1.2. Sort -4, b, 1 in descending order.
1, b, -4
Suppose -3*a - 10 = -5*k - 2*a, -4*k - 3*a = -8. Let n be k/5 + (-46)/(-10). Suppose -n*b = -2*g - 17, g - 4*b - b = -21. Put -5, 2, g in descending order.
g, 2, -5
Suppose 4*s = -4*z - 0*z, 10 = -2*s. Sort 4, -9, z in increasing order.
-9, 4, z
Let q be ((2/(-5))/((-18)/45))/1. Sort 2, -8, q in ascending order.
-8, q, 2
Suppose 0 = 4*b - 2 + 18. Sort b, 2, -2 in descending order.
2, -2, b
Let k = 5 + -4.6. Sort 3/2, 2/3, k.
k, 2/3, 3/2
Let y = -66/5 + 1132/85. Let o be 1/(-4) - (-10)/8. Put -1/2, y, o in increasing order.
-1/2, y, o
Suppose -7*f + 223 = 237. Let a(r) = -4*r**3 + 2*r + 1. Let h be a(-1). Let l = h + -1. Sort f, 4, l.
f, l, 4
Let v be 3 + (3 + 2 - 4). Put v, 0, 2 in descending order.
v, 2, 0
Suppose -3 = m, 0*m - 2 = -a + 3*m. Sort -3, 2, a, -5 in increasing order.
a, -5, -3, 2
Let c = -47 + 48. Sort 0, 2, c.
0, c, 2
Suppose 0 = -5*n + 7*n + 2. Let y(w) = w**3 + 27*w**2 - 27*w + 28. Let s be y(-28). Sort n, s, 2 in descending order.
2, s, n
Let t = -1.9 + -1.1. Let r be -1 + -1 + 13/4. Put r, t, 1 in descending order.
r, 1, t
Let r(j) = j**2 - 3*j - 8. Let d be r(4). Sort d, 16, 0.
d, 0, 16
Let w = -0.43 - -0.13. Let j = 5 + 0. Put 3, j, w in descending order.
j, 3, w
Let l(o) = -3*o + 3. Let s be l(4). Let i be -2*s/6*1. Sort -2, 4, i in descending order.
4, i, -2
Let z = 33 + -22. Let m = 14 - 7. Let f = z - m. Sort -4, f, 0.2.
-4, 0.2, f
Let s be (4*(-3)/(-4))/1. Suppose -19 = -s*l + 2*q, 4*l - 16 = -4*q + 2*q. Sort l, -1, -4 in ascending order.
-4, -1, l
Let k be (-91)/(-28) + (-1)/4. Put -3, 1, -4, k in increasing order.
-4, -3, 1, k
Let k = -43940/219 - -2411/12. Let f = k + -2/73. Let w = 4.4 - 4. Sort f, w, -2/7.
-2/7, f, w
Let s = -18 - -17.87. Let h = -5.13 - s. Let w = h - -2. Sort -1/5, 1, w.
w, -1/5, 1
Suppose 0 = -4*h - 4, h = -3*d - 0*h + 11. Let m be (-2)/d*1*-2. Suppose 5 = 3*a - m. Sort 4, a, -2 in decreasing order.
4, a, -2
Let w = -8 + 3. Let t = 37 + -34. Let z = -3 + 3.1. Put z, t, w in decreasing order.
t, z, w
Suppose 3 = s - 0. Suppose -2*b = s*b - 10. Let l = -234 + 234. Sort l, -5, b.
-5, l, b
Suppose 1 = -2*s - 5*o, s + 4*o + 2 = -0. Sort 8, 0, 4, s in decreasing order.
8, 4, s, 0
Let h = -0.5 + 1. Let k = h + -1. Let d = k + 0.6. Sort -1, -1/3, d in decreasing order.
d, -1/3, -1
Let h(y) = y**2 - 2*y - 28. Let r be h(6). Put 22, 3, 2, r in decreasing order.
22, 3, 2, r
Let w = -25 - -18. Sort w, 0.1, -0.1 in increasing order.
w, -0.1, 0.1
Let z be 7/1 - (-2)/(-1). Let x = -131 + 127. Sort -3, z, x in decreasing order.
z, -3, x
Let c = 4/9 - 26/99. Sort c, 0.1, 7 in descending order.
7, c, 0.1
Let p = -1.5 + 2. Let t = -1 + -2. Let u = 2 + -1. Put p, t, u in ascending order.
t, p, u
Suppose 0 = -3*k + 4*s + 20, 3*k + 3*s = 8*s + 25. Suppose k = 5*r - 17 - 8. Let c be -2 + r/2*2. Sort -3, c, -1.
-3, -1, c
Let u be 6*((-20)/(-15) + -2). Put 0, 3, u, -14 in descending order.
3, 0, u, -14
Let g = -7 - -8. Let p be 3/((-18)/(-2))*1. Sort p, -2, g in ascending order.
-2, p, g
Suppose 0 = 9*f - 12 + 48. Sort 3, -5, f in descending order.
3, f, -5
Let u = -0.4 - 0. Let f = u + 0.4. Let c be (-2)/((-2)/(4/18)). Sort c, f, -2 in increasing order.
-2, f, c
Let j = -69 + 68.7. Put j, -4, 2 in ascending order.
-4, j, 2
Let c = -61 + 58. Put 0.6, -1, c in increasing order.
c, -1, 0.6
Let p = -27 + 25. Put 2, 5, p in descending order.
5, 2, p
Suppose 4*f - 5 - 31 = 0. Suppose 5*p + 5 = -4*s - 7, -3*s = f. Let y = p - 0. Sort y, -3, -4 in decreasing order.
y, -3, -4
Let c(y) = -4*y. Let j be c(1). Put 0, j, 5, 1 in ascending order.
j, 0, 1, 5
Let o = -0.15 - -0.55. Sort -2/5, -2/13, o, -4/7.
-4/7, -2/5, -2/13, o
Let a = -31/10 - -7/2. Sort -1, 3, a.
-1, a, 3
Let q(j) = -j**2 + 3*j. Let h be q(3). Suppose h = 3*v - 5 + 14. Sort v, -5, 2.
-5, v, 2
Let w(p) = -4*p**2 - 49*p - 10. Let f be w(-12). Sort -4, -2, 4, f.
-4, -2, f, 4
Let l be (-8)/(-3)*(-42)/(-56). Sort -4, -44, l in ascending order.
-44, -4, l
Let t = -3.01 - -0.01. Let n = 0.06 + -0.96. Let z = -0.4 - n. Sort -5, t, z.
-5, t, z
Let k be 0 - (-1)/(-3) - 32/(-6). Put 28, k, -1 in ascending order.
-1, k, 28
Suppose k + v = -k - 1, -3*k + 26 = -4*v. Put -4, 0, k, -1 in descending order.
k, 0, -1, -4
Let k(m) = 13*m - 89. Let o be k(7). Let j = -0.05 + -2.95. Put 4/3, j, o in decreasing order.
o, 4/3, j
Let k = 0.07 + -6.07. Let b = k - -5. Put 5, b, 1 in increasing order.
b, 1, 5
Let m = -0.4 - 1.6. Put 5, 6, m in descending order.
6, 5, m
Let z(b) = -4*b**2 - 1. Let n be z(1). Let v = n - -6. Let l be 6/(-9)*3/v. Sort 3, l, 5.
l, 3, 5
Suppose -3*a = -3*i - 3, -4*a + 2 = -3*i - 2*i. Sort -1, 5, i, -2 in decreasing order.
5, i, -1, -2
Let g = -1 + 1.8. Let u = g - -2.2. Sort 4/3, 1/2, u.
1/2, 4/3, u
Let v = -1 + 0.6. Let q(g) = g**3 + g**2 + g - 1. Let u be q(0). Sort v, 2/5, u.
u, v, 2/5
Suppose 12 = 2*x + x. Let p(f) = f + 10. Let c = 5 + -14. Let m be p(c). Put 3, m, x in descending order.
x, 3, m
Let l(i) = -i**3 + 5*i**2 - 5*i + 4. Let c be l(4). Suppose 3*t = -3 - 0. Sort 5, t, c in decreasing order.
5, c, t
Let h be -1*(2 - 1)*3. Let l be (17 + -13)/(-1*2). Sort l, h, -1 in decreasing order.
-1, l, h
Let c = 2 - 3. Suppose 4*i + 0 = 4. Suppose i = -t - 4. Sort t, c, -4.
t, -4, c
Let f be (3/(-9))/(2*1/(-30)). Put 1, f, 4, 0 in decreasing order.
f, 4, 1, 0
Let i = -0.17 + 5.67. Let s = 11 + -16. Let h = i + s. Sort 3, h, -2/11 in increasing order.
-2/11, h, 3
Let t = 19.3 - -0.7. Let k = t - 20. Sort -1/2, 3, k.
-1/2, k, 3
Let t(y) be the first derivative of -y**3/3 + 2*y**2 - 3*y - 2. Let x be t(3). Put 4, 3, x in descending order.
4, 3, x
Let c = -7 - -5. Let f be 0 - 6*(-1)/c. Put -4, f, 4 in descending order.
4, f, -4
Suppose 2*c - 2 = -2*s + 6, 5*c + 4*s = 17. Suppose 0 = -4*w - 9 + 1. Sort c, 3, w.
w, c, 3
Let c(p) = p**3 - 5*p**2 + p - 2. Let x be c(5). Suppose -5*n = -3*n + 6. Put n, x, 0 in increasing order.
n, 0, x
Let c = -13.7 - -14. Let m = 8.8 - 9. Sort c, -3, m in increasing order.
-3, m, c
Let t be 5 - (-4)/12*0. Sort -0.6, t, 2/9 in increasing order.
-0.6, 2/9, t
Let k = -2 + 10. Let r = 5 - k. Let c = -162/55 + 39/11. Sort r, 5, c.
r, c, 5
Let x = 8 + -13. Suppose p - 4 = -7. Sort -2/7, p, x.
x, p, -2/7
Let m be (-51)/(-6) - (-2)/4. Suppose 4*t + 1 = 17. Suppose 5*s = t*u - 15, -3*s - s + m = u. Sort u, -4, 2 in ascending order.
-4, 2, u
Suppose -o - 2*c + 4 = c, 2*o + 2 = 4*c. Suppose n + 6 = 4*i, 2*n + 0 - 14 = -5*i. Let l(v) = -v**3 - 6*v**2. Let t be l(-6). Put t, n, o in descending order.
n, o, t
Let u be 12/8*20/(-6). Let i(d) = d**2 + 7*d + 9. Let l be i(u). Put -5, -4, l in increasing order.