der.
-2, i, 3/4
Let i = -40 + 36. Put -7, -3, i in increasing order.
-7, i, -3
Let h = -4 - -3. Let y(u) = u - 3. Let g be y(5). Suppose -g*m + 14 = 4. Sort 3, h, m.
h, 3, m
Suppose v - 3 = -1. Let g = -76/123 - 2/41. Sort g, v, 1 in descending order.
v, 1, g
Let r be ((-1)/28)/((-789)/(-8)). Let o = r + -10688/988617. Let h = -368/895 - o. Sort h, -4, 0.5 in ascending order.
-4, h, 0.5
Let m be (-16)/48 - (32/6)/(-1). Sort -0.2, 2, -1, m in increasing order.
-1, -0.2, 2, m
Let v = 16 + -12. Put 0.2, v, 2 in descending order.
v, 2, 0.2
Let y = -3 - -3. Let n = y + -1. Suppose 0 = 3*k + 2*k. Sort -2/9, n, k.
n, -2/9, k
Let b = 39 + -35. Sort -12, -2, b, -3 in ascending order.
-12, -3, -2, b
Let p be 2 - ((-2)/4)/((-5)/20). Let j = 0.1 - 0. Let q = j + -2.1. Put p, q, -5 in decreasing order.
p, q, -5
Let c(o) = o**2 - 19*o + 53. Let n be c(16). Sort 1, n, -5 in ascending order.
-5, 1, n
Let u(i) = -i**2 - 3*i + 6. Let a be u(-5). Suppose -5 = 3*h - 4*j, -3*j = 5*h - 0*j - 11. Sort a, -3, h in increasing order.
a, -3, h
Suppose 0 = 4*p - 2 + 6. Let f = p + -1. Put 5, f, -4 in descending order.
5, f, -4
Let y = -4 + 9. Put 3, y, -3 in ascending order.
-3, 3, y
Let g = 24 + -37. Let q = g + 14. Put 2, 3, q in ascending order.
q, 2, 3
Suppose 0*d = 5*d - 50. Let u(l) = -l**2 + 11*l - 8. Let y be u(d). Sort 0.4, -1/5, y.
-1/5, 0.4, y
Let j be 1/3 - (-6)/9. Suppose -4*f + 35 = 5*u, f - 2*f - 1 = -2*u. Suppose 6*b - 6 = u*b. Sort 0, b, j.
0, j, b
Suppose -2*n - 12 = 2*n. Suppose 0 = -6*v + 4*v + 8. Let k be (4/(-30))/(v/n). Put k, 0, 2 in descending order.
2, k, 0
Let r = -14 - -14. Suppose -4*k - 10 - 10 = r. Sort k, 0, -1 in ascending order.
k, -1, 0
Let r = 1.8 - 2. Let n = r - -0.5. Let q(w) = -w**2 + 4*w + 4. Let x be q(4). Put n, x, -5/3 in descending order.
x, n, -5/3
Let n(f) = f - 6. Let m be n(4). Let x be 4/14 + (-30)/7. Suppose -3 = -5*s - 18. Sort x, m, s.
x, s, m
Let u = -23/176 + 5/16. Put -2/7, -1/8, u in descending order.
u, -1/8, -2/7
Let i(d) be the first derivative of d**3/3 + 7*d**2 - 15*d + 6. Let l be i(-15). Let u = -0.1 - -0.2. Put u, 4, l in ascending order.
l, u, 4
Suppose -3*i - i + 20 = 0. Suppose 2*t - 4*t + 3*r + 4 = 0, -r + 3 = -i*t. Put -3, t, 3 in decreasing order.
3, t, -3
Suppose -3*p = 12, -s + 5*p + 28 = -3*s. Suppose -2*f - 9 = -3*t, 0*t = f - 3*t + 12. Let n = 9 - 5. Sort f, s, n in descending order.
n, f, s
Let l = 63 + -60. Sort -1/4, 0.3, l in ascending order.
-1/4, 0.3, l
Let l(n) = -n + 14. Let f be l(6). Let b be f/52 - (-22)/26. Sort 5, 2, b in descending order.
5, 2, b
Let u(k) = -k + 2. Let b be u(6). Let l(c) = -c**2 + 2*c - 1. Let g be l(1). Put b, g, -5 in increasing order.
-5, b, g
Suppose -5*g = 2*w - 42, -2*g - 23 = -5*g + w. Suppose -4*v + 3*v = -5. Put v, g, -3 in descending order.
g, v, -3
Let q(i) = -i**2 + 11*i - 13. Let m be q(10). Put -5, 3, m, -4 in descending order.
3, m, -4, -5
Let h = -2.1 - -0.1. Sort -5, h, 2/7, 0 in ascending order.
-5, h, 0, 2/7
Suppose 0 = -4*s - 2*j + 31 - 9, s = 2*j - 7. Suppose s*r + 0*r = 9. Suppose r*m - 8 = m. Sort m, -2/5, -0.5.
-0.5, -2/5, m
Let v = -20 + 18. Let b be ((-5)/(-25))/((-2)/5). Put -5, v, b in descending order.
b, v, -5
Suppose s - 2*s = -1. Let z be (2 - s)*-2 + 2. Let c = 57.7 + -58. Sort 4, c, z in decreasing order.
4, z, c
Let p(i) = -i**3 + 2*i**2 + i - 3. Let m be p(2). Sort 1, m, -3 in increasing order.
-3, m, 1
Let h = 143 - 995/7. Sort 5, h, 0.4.
0.4, h, 5
Let x = 51/2 + -25. Sort x, -1, 1.
-1, x, 1
Suppose 0*l = l - 1. Let o be l/(-2)*-4*-2. Let t = 167 + -169. Put t, o, -3 in increasing order.
o, -3, t
Let s be 2*10/25 - (-104)/(-5). Put 3, 1, s in ascending order.
s, 1, 3
Let s = 70.8 - 71. Put s, -0.5, -4, 2/15 in increasing order.
-4, -0.5, s, 2/15
Let i = 0 + 0. Suppose i*c = 2*c + 10. Put -4, c, -1 in ascending order.
c, -4, -1
Suppose 4*i + 0*i + 8 = 0. Suppose -2*g = 5*q - 45, 3*g + 8 = 2*q - 10. Let s be (-9)/2*(-6)/q. Sort s, -4, i in descending order.
s, i, -4
Let h(f) = f**2 + 9*f - 6. Let c be h(-7). Let v = 14 + c. Sort v, 1, 3 in decreasing order.
3, 1, v
Suppose -6*h + 4 = -8. Put h, 6, -3 in decreasing order.
6, h, -3
Let x = 4 + -18/5. Let d = 0.8 - 1. Let u = -0.7 - d. Put x, -5, u in decreasing order.
x, u, -5
Let i be 3 + -1 + -1 + -1. Sort 0.06, -2, i, 2 in descending order.
2, 0.06, i, -2
Let y be -4 + 7 + 1*-3. Let q = -6 - -3. Let k(z) = 3*z - 2. Let i be k(2). Sort i, y, q in descending order.
i, y, q
Let k = 5 + -2. Suppose -11*b + 10 = -6*b. Sort b, k, 4 in ascending order.
b, k, 4
Let q = 679.11 + -684. Let v = q - 0.11. Sort -1/5, v, -0.1.
v, -1/5, -0.1
Let c = -2 - -6. Let w be ((-6 - -4)*-1)/((-4)/(-10)). Suppose 3*x = 1 - 7. Sort c, x, w in decreasing order.
w, c, x
Let t = 18 + -15. Let x = 25748/29 + -888. Let y = x - -37/58. Sort y, 2/7, t in decreasing order.
t, y, 2/7
Suppose -3*p = -3*m - 13 - 8, 0 = -4*p - 5*m + 1. Suppose -3 = -p*t - 19. Sort t, -5, 1 in decreasing order.
1, t, -5
Suppose 2*o - 2 = 4*o. Let b(w) = -2*w + 2*w - 7 + 2*w - 3*w. Let z be b(-10). Put -2, o, z in increasing order.
-2, o, z
Let l = 17 - 13. Put l, 0, 6 in increasing order.
0, l, 6
Let t(s) = 15*s**3 - 2*s - 1. Let d be t(-1). Let x = d - -10. Let n be ((8 - 3) + -3)*1. Sort n, x, -2.
x, -2, n
Suppose -11*k - 5 = 28. Suppose -r + 14 = -2*d + r, 3*r - 9 = 0. Put d, -2, k in decreasing order.
-2, k, d
Let u = 8 - 14. Suppose 2*x - 26 = -0*y + 4*y, 2*y = -2*x + 2. Let q = u - y. Sort -1, 5, q in decreasing order.
5, -1, q
Let q = 6.12 + -0.12. Let w = 3 - q. Let a = 3.1 + w. Sort -4, a, -3 in decreasing order.
a, -3, -4
Let q = 22 + -13. Let b be (-21)/q - (-2)/6. Let l be (-10)/(-6)*(6 - 9). Sort 2/15, l, b in descending order.
2/15, b, l
Let a be (-8)/(-12)*(-3)/5. Let t = 2 + -1. Let y = t - 0.6. Sort a, 5, y in decreasing order.
5, y, a
Let u = 26 + -37. Let g = 8.2 + -1.2. Let p = u + g. Put -2/9, 2/5, p in descending order.
2/5, -2/9, p
Let i = 3/23 + 83/69. Put 0, 0.3, 0.1, i in decreasing order.
i, 0.3, 0.1, 0
Suppose 3*s = -2*s - 3*g + 22, -26 = -5*s - 4*g. Suppose -5*n + 4*r - 56 = 0, 0 = n - 4*r + 8 - 0. Let z be s*-10*(-3)/n. Sort 2/11, 3, z in increasing order.
z, 2/11, 3
Let y(n) = 4*n**2 + 10*n + 11. Let h be y(-4). Sort h, -1, 0 in descending order.
h, 0, -1
Let y = -7 + 4. Let g be y - (0 + 15/(-6)). Sort 4/9, g, 0.
g, 0, 4/9
Let i = 0.24 + -0.04. Let s = i - -0.3. Put -0.4, 2/3, s in decreasing order.
2/3, s, -0.4
Let h = 24 - 23.6. Sort -3, h, 0.3.
-3, 0.3, h
Suppose -j = -4*w + 9, -w - 2*j + 3 = -6. Suppose 0 = w*m - 0*m + 21. Let d = 11 + m. Sort d, -4, -1 in decreasing order.
d, -1, -4
Let b = -53 + 9. Let l = -219/5 - b. Suppose -3*g = -2*j + g - 8, -j + 3*g - 4 = 0. Sort l, j, 4.
j, l, 4
Let z(x) = x + 11. Let w be z(-10). Suppose -3*p + v = 1, 0*p - 4*v - 3 = -5*p. Put w, -5, p in descending order.
w, p, -5
Let w = 0.676 + -0.7. Let t = 6.224 + w. Let s = -1.2 + t. Put -4, s, -1/11 in increasing order.
-4, -1/11, s
Let d = 13 + -15. Sort -0.3, 28, d in decreasing order.
28, -0.3, d
Let p = 1.1 + -6.1. Let j = p + 4.6. Sort -5, j, -0.1 in increasing order.
-5, j, -0.1
Suppose -1 + 5 = 2*h. Let a be (-4 + h)*20/(-8). Suppose o = -4 - 0. Put a, 0, o in decreasing order.
a, 0, o
Let t = -2.22 + 0.22. Let r = 639/4 + -159. Put t, r, 0.4 in descending order.
r, 0.4, t
Let k = -0.3 + 1. Let v = -0.8 + k. Let n = 2 + -2. Sort 3, n, v in ascending order.
v, n, 3
Let p be 96/140 + (-8)/20. Let z be 10/(-20) + (-4)/(-2). Put p, 5, z in descending order.
5, z, p
Let q be (-2)/(14/10 - (-2)/(-5)). Suppose -5*t + 5 = -0. Put t, -9, q in decreasing order.
t, q, -9
Let w = -4.6 - -4.5. Sort -5, w, -0.4, 1 in increasing order.
-5, -0.4, w, 1
Let l = -5.41 - -0.21. Let j = 0.2 + l. Let f = -9 - j. Put 4, f, -0.2 in descending order.
4, -0.2, f
Suppose -g = -4*j - 30 + 9, -5*g = -25. Let x be 0/(1 + 1) - j. Suppose b = 6*p - x*p + 4, -3*p = -3*b + 9. Sort 0, -3, b.
-3, 0, b
Suppose 0 = 7*d + 1 - 8. Suppose 3*o + 0*o = 9. Suppose -v - 2*v - o = 0. Put 3, d, v in ascending order.
v, d, 3
Suppose 2*z = -4*t, t + 0 - 11 = 5*z. Sort 1, z, 5 in descending order.
5, 1, z
Let o = -26 + 28. Sort o, 5, -4 in descending order.
5, o, -4
Suppose 4*f + h = -20, f - 4*h = 4*f + 15. Sort 1, 2, 12, f in decreasing order.
12, 2, 