der.
5, b, -2/21
Let i(h) = -h**2 + 8*h - 9. Let x be i(2). Let c(k) = -k - 7. Let r be c(-5). Let j be 0/(4 + r + 0). Sort x, j, 1 in decreasing order.
x, 1, j
Let c(r) = 4*r**2 - 3*r - 2*r**2 + 9*r. Let b be c(-5). Suppose -b = 2*a + 2*l, a + 2*l = 2*a - 5. Sort 0, a, -2 in decreasing order.
0, -2, a
Suppose -3*s - j = -s, 5*j + 18 = -s. Let g = 6 + -7.5. Let u = -2 - g. Put s, -3, u in descending order.
s, u, -3
Let r = 21 + -20. Put r, 0.5, -0.2, -2 in ascending order.
-2, -0.2, 0.5, r
Let d = 4 - 0. Let b be d + 1 + 0/2. Suppose -4*r + 2*r = 6. Sort 2, r, b in increasing order.
r, 2, b
Let l = 13/3 + -109/21. Sort 1, 0.4, l in decreasing order.
1, 0.4, l
Let k be ((-9)/6 + 0)*-2. Suppose -2*m + 0 = b - 2, -2*b - 5*m = -6. Sort 2, b, k in decreasing order.
k, 2, b
Let j be 6 - (-308)/(-49) - (-18)/14. Put -5, 4, j in descending order.
4, j, -5
Let x = 5 - 1. Suppose -8 = -x*h - 0*h. Put -1, h, -3 in descending order.
h, -1, -3
Let s = -11 - -6. Let f = -0.9 + 0.6. Let k = -102.7 - -103. Put s, k, f in decreasing order.
k, f, s
Suppose 4*s = -9*z + 6*z + 3, -5*z - 9 = 2*s. Sort z, 2, -1, -2 in decreasing order.
2, -1, -2, z
Suppose -g - 4 = d, -1 = -2*d + d. Suppose 249*q - 5 = 244*q. Put q, g, 0 in descending order.
q, 0, g
Suppose 2*i - 1 = -5. Suppose 0 = -4*y - j - 14 - 0, 0 = -y + 5*j + 7. Sort i, -5, y in descending order.
i, y, -5
Let u(o) = 2*o + 17. Let t be u(-6). Sort 27, t, 0 in ascending order.
0, t, 27
Let c = -23/4 + 111/20. Put 1/5, 1, c in increasing order.
c, 1/5, 1
Let y be -1 + (-3 - -1) + 11. Let x be 10/8 + (-2)/y. Put 2, -5, x in ascending order.
-5, x, 2
Let g = -5.12 + 0.12. Let i = -5.4 - g. Let r = -0.045 + -0.055. Sort r, 2/13, i in descending order.
2/13, r, i
Suppose 3*u + 158 = 164. Sort u, 11, 5 in descending order.
11, 5, u
Let o = 0.6 + -1.6. Put -3, 0.2, o in ascending order.
-3, o, 0.2
Suppose 0 = -3*f + 9. Suppose 20 = 4*c, f*c = 3*w - c + 11. Let j be (w/5)/(5 + -2). Sort 3, j, 4.
j, 3, 4
Let c = 1564/7 + -224. Sort -1, 5, c.
-1, c, 5
Let s = -0.34 - -0.32. Sort s, -5, -3, -3/4.
-5, -3, -3/4, s
Suppose -2*m + 1 = -3*j + 3*m, 3*j = m - 5. Suppose -3*o + 4*r = -51, -29 = -2*o - r + 2*r. Let v = o + -18. Sort 2, v, j.
v, j, 2
Let y = -37 + 36.81. Let f = y - -0.15. Sort 1/2, -1/2, f in decreasing order.
1/2, f, -1/2
Suppose 4*o = -16, -5*h - 10 + 2 = 2*o. Let b(i) = i**2 + 7*i + 4. Let p be b(-6). Let n = p - -5. Sort -3, h, n in descending order.
n, h, -3
Let u(v) = -7*v + 2*v + 11*v - 2 - 7*v. Let j be u(-7). Put j, 3, -5 in decreasing order.
j, 3, -5
Let n be (-1 - -3) + (-1 - -2). Suppose -3*q - 14 = y, 2*q - 19 = 4*y + y. Put n, q, 0 in increasing order.
q, 0, n
Let a(s) = 7*s - 7. Let v be a(3). Put -4, -1, v in increasing order.
-4, -1, v
Let g = 0.09 - 16.09. Let y = g - -9.8. Let u = -6 - y. Put -1, 1/2, u in increasing order.
-1, u, 1/2
Let h = 150 - 1053/7. Suppose 3*c + 4 = 2*c. Let o = -15/4 - c. Put h, 2, o in ascending order.
h, o, 2
Let s = 4 + -8. Let t be 1/(-2)*s/10. Let q = -2.01 - -0.01. Sort 1, q, t.
q, t, 1
Let l(y) = -y**2 - 10*y + 8. Let r(m) = m - 1. Let g(h) = l(h) + 6*r(h). Let v be g(-4). Let w = -2 - 0. Sort v, -4, w in ascending order.
-4, w, v
Let s = -1113/4 + 278. Let o = -3 + 3.1. Put s, o, 1/4 in ascending order.
s, o, 1/4
Let d = -3 + 3.1. Sort 0.2, -5, d in increasing order.
-5, d, 0.2
Let w be 68/5 - 9/15. Let x = 10 - w. Sort -4, x, 4 in increasing order.
-4, x, 4
Let w(p) = -p**3 - 8*p**2 - p - 2. Let g be w(-8). Sort g, -5, 0.3 in decreasing order.
g, 0.3, -5
Let y = -17 - -14. Sort -0.5, -4, y in ascending order.
-4, y, -0.5
Let h be (-3 + 2)/(3/15). Let v = 4 - 1. Suppose 0 = -v*d + 2 + 10. Sort 2, h, d in decreasing order.
d, 2, h
Suppose -2*u - 2*u - 28 = 0. Let l = u - -11. Put 14, l, 5 in increasing order.
l, 5, 14
Let d = 0.13 + -0.09. Let g = d + 0.26. Sort 5, g, -1 in descending order.
5, g, -1
Let f(v) = v**2 - 5*v - 16. Let q be f(7). Sort 4, -5, q, 5.
-5, q, 4, 5
Let o be -3 - 5/((-10)/(-4)). Sort -2/11, 4, o in descending order.
4, -2/11, o
Suppose 45 - 5 = 5*m. Suppose x = -2*x + 5*l + 52, 4*x - 5*l - 61 = 0. Let b be (m/6)/(x/(-27)). Put 0, b, 3 in descending order.
3, 0, b
Let z = 2 - 4. Let d(g) = g - 6*g + 7 + 4*g. Let t be d(7). Put t, -3, z in decreasing order.
t, z, -3
Let f be 2*(-1 - (-14)/4). Suppose 0*u = -f*u, 3*u + 40 = 2*q. Let b be 12/q + 2/5. Put b, 5, 0 in increasing order.
0, b, 5
Let o(k) = -5*k + 2*k + k + 3. Let a be o(2). Sort a, 1/2, -4.
-4, a, 1/2
Let p = -87.9 + 84. Let c = -2.3 - -1.4. Let j = p - c. Put j, 2, 0.3 in decreasing order.
2, 0.3, j
Suppose 0 = -i - 0 + 5. Suppose -4*p = i*x + 5 + 12, p + 18 = -4*x. Suppose -p*y - 3*y + 5 = 0. Put -0.2, y, 5 in ascending order.
-0.2, y, 5
Let h = 6 + -5.7. Let a = 0.03 + 0.37. Let c = a - h. Sort 3, 2, c in descending order.
3, 2, c
Let c = 80.8 - 80. Let f = -6 + 10. Sort 0.1, c, f in increasing order.
0.1, c, f
Suppose 0 = 3*z - 3*x - 3, -5*z - 4*x = 1 - 24. Suppose -4*a + 8 = -5*c, 2*c - 7*c = 20. Sort -4, z, a in ascending order.
-4, a, z
Let p be 3/(-4)*4/(-3). Let w = 51 + -83. Let r be w/14 - (-6)/21. Sort r, -5, p.
-5, r, p
Let x = 4 - 6. Let w = x - -5. Sort -0.3, -2/11, w.
-0.3, -2/11, w
Let x = -10 + 13. Suppose 5*m = 3*o + 9, -m - 2*m + 7 = -o. Suppose -o*t = 2 + 4. Sort t, x, -2.
t, -2, x
Let l be 1 - 2 - -4 - -2. Let r(w) = -w**3 - 4*w**2 - 2*w + 4. Let u be r(-3). Suppose l*z - 9 = u. Sort 5, z, 4.
z, 4, 5
Suppose 0 = u + j + 13, -2*j = u - 2*u + 2. Let t be (12/u)/(6/(-8)). Suppose 2*d - t + 8 = -4*v, 4*v = 3*d - 21. Put v, 1, -1 in increasing order.
v, -1, 1
Let d(s) = -s**2 - 4*s + 2. Let v be d(-5). Let u be 1/3*(-3)/1. Sort v, u, 5 in decreasing order.
5, u, v
Let i = 8.3 + -7. Let z = i + 3.7. Let m = 0.2 + -0.7. Sort -0.3, z, m in decreasing order.
z, -0.3, m
Let a(s) = -2*s**3 + s**2 - 1. Let n be a(-1). Put 0.03, 0.5, n in increasing order.
0.03, 0.5, n
Let w = -11 + 10. Let o be ((-3)/6 - -1) + w. Sort -0.2, o, 1.
o, -0.2, 1
Let x = -0.3 + 0.2. Let l = -0.1 - 0.9. Suppose 4*o - 5 + 1 = 0. Sort l, x, o.
l, x, o
Let r be 2/(-13) - (-148)/(-52). Sort r, 5, -4 in decreasing order.
5, r, -4
Let m(f) = 3*f - 4. Let c be m(0). Let o = 2 - 0. Put o, -5, c in increasing order.
-5, c, o
Let p = 2.3 - 2.7. Put 5, p, 18/7 in descending order.
5, 18/7, p
Let p = 0 + -5. Suppose -1 = 5*k - 11. Let o be -2 + (k - 1) - 0. Put -4, p, o in increasing order.
p, -4, o
Let p = -46 + 42. Sort 3, 1/3, p in descending order.
3, 1/3, p
Let n be (-40)/(-22) + 2/11. Suppose -n*z + z = -6. Let g = 1 - z. Put -2, -4, g in increasing order.
g, -4, -2
Let y = 2/2363 + -1114/2363. Let x = y + 166/425. Sort -1, -0.5, x in increasing order.
-1, -0.5, x
Suppose 2 = 6*r + 8. Let p = 13 + -11.9. Let y = p - 0.1. Sort r, y, -0.5 in increasing order.
r, -0.5, y
Let p = 1.4 - 0.4. Let a = 1 + p. Sort -1/3, a, 2/3.
-1/3, 2/3, a
Suppose 0*w = -2*w - 28. Let v = w - -10. Put v, -3, -5 in decreasing order.
-3, v, -5
Let o = -95376681/58037551 + 2/405857. Let h be ((-2)/26)/(1/19). Let k = o - h. Put -1/8, k, 2/19 in increasing order.
k, -1/8, 2/19
Let w = 5.2 + -8. Let t = w + -0.2. Sort t, -2/15, 3 in increasing order.
t, -2/15, 3
Suppose 5*v + 10 = 2*z, -4*z + 16 = v - 4. Sort -3, -4, z in increasing order.
-4, -3, z
Let y(s) = -2*s**2 + s + 2. Let x be y(2). Let r(i) = i**2 - 6*i + 5. Let o be r(4). Let v = 0 - -3. Sort v, o, x in decreasing order.
v, o, x
Let j = -85 + 84.6. Let l = 140 - 984/7. Sort l, 2/5, j.
l, j, 2/5
Suppose -5*w + 36 = 2*j - w, 5*j - 99 = -w. Let s be (6/(-5))/((-6)/j). Put 3, 1, s in descending order.
s, 3, 1
Let n be 2/(2 + 0) + 2. Suppose 0 = -5*c - 2*r, -2*c + 3*r = 2*c. Put c, -1, n in ascending order.
-1, c, n
Let v = -0.2 + -0.2. Let o = 0.07 - 0.07. Sort -1/2, o, v in ascending order.
-1/2, v, o
Let d = 10 + -10.1. Sort -1/2, 0.4, d in descending order.
0.4, d, -1/2
Let n = -17 - -21. Sort 5, 7, n.
n, 5, 7
Let f = -3.1 - 9.9. Let h = f - -18. Let n = -0.2 + 0.2. Sort h, 0.3, n in descending order.
h, 0.3, n
Let j = -2 - 0. Let h(p) = -p**3 - 8*p**2 + 47*p - 7. Let x be h(-12). Sort x, -8, j in increasing order.
-8, j, x
Suppose q + 10 = 14. Sort q, 13, -1.
-1, q, 13
Let a be 0/(-1) + -7*12/(-42). Put -6, a, -5, -1 in descending order.
a, -1, -5, -6
Suppose 0 = 