der.
w, -4, -16
Let n = 2.23 - 2.23. Sort 2, 4, 0.4, n.
n, 0.4, 2, 4
Let f = -1466 - -1465.9. Sort f, 3, -3 in descending order.
3, f, -3
Suppose 0 = 40*a - 49*a - 27. Sort 3, 6, a in decreasing order.
6, 3, a
Let p = 386.4 - 386. Sort 2/21, p, 14/9 in increasing order.
2/21, p, 14/9
Suppose 0 = -4*k - 0*k - 2*p + 34, 4*p = 20. Suppose -20 = -4*n + 4*i, i = k*i + 5. Put -4, -3, 1, n in ascending order.
-4, -3, 1, n
Let y = 1088 - 1093. Put 0.3, y, -2/15, 7 in ascending order.
y, -2/15, 0.3, 7
Suppose 2952 = 688*f + 200. Let n = 0 - 0. Sort -2, f, n, 2 in descending order.
f, 2, n, -2
Suppose 0*t + 4*t = -3*n + 46, -t - 5*n = -3. Let c(p) = -p**3 + 27*p**2 - 46*p - 96. Let s be c(25). Sort s, -1/5, t, -2/11 in decreasing order.
t, s, -2/11, -1/5
Let i(c) = -c + 7. Let y be i(-10). Sort 1, 5, y.
1, 5, y
Let d(m) = -1. Let x(s) = -6*s + 2. Let r(k) = -3*d(k) + x(k). Let g be r(2). Put g, 0, 4 in decreasing order.
4, 0, g
Let t = 183/700 + -2/175. Put 5, 1, t, 2 in decreasing order.
5, 2, 1, t
Let r be -15*(21/90 - 3/(-30)). Sort 1, -23, r in increasing order.
-23, r, 1
Let w = -1551 + 1549. Put -4, -12/7, w in decreasing order.
-12/7, w, -4
Let f = 387 + -390. Sort 60, f, 2 in decreasing order.
60, 2, f
Let f(w) = w**3 - 5*w**2 + 4*w + 5. Let n be f(4). Suppose -o = n*o + 18. Sort 2, 0, 1, o.
o, 0, 1, 2
Suppose y = 4*v + 3, 33 = -2*v - 4*y + 9. Suppose 3*z - 4*p = 18, 13*z + 5*p + 19 = 15*z. Put z, v, 4 in decreasing order.
4, z, v
Let d = 2112 - 2115. Suppose 5*a + 5 = -5*i - 0, 0 = -4*a - 5*i - 1. Put d, a, -6, 0 in ascending order.
-6, a, d, 0
Let h be (((-3)/6)/((-6)/24))/(-1). Suppose -i + 0*i + 4*s = 1, -3*s - 3 = 0. Put h, -8, i in decreasing order.
h, i, -8
Let o = 125 + -125.4. Let i = 6.3 - 6.9. Put 6, i, o in increasing order.
i, o, 6
Let c(p) = p**2 - 19*p + 38. Let q be (-756)/(-45) - (-2)/10. Let o be c(q). Let h be -3*(1 - 0 - 0). Put 5, o, h in descending order.
5, o, h
Let d = 7 + -2. Suppose 0 = -22*j - 65 + 153. Sort d, j, -1/6 in ascending order.
-1/6, j, d
Let x = 12 + -17. Put 4, x, -4/9, 3/20 in descending order.
4, 3/20, -4/9, x
Let x(o) = 2*o**3 - 8*o**2 + 2*o - 4. Let w be x(4). Suppose -5*u = -w + 9. Let m(r) = 4*r**3 - 1. Let c be m(1). Put u, -6, c in increasing order.
-6, u, c
Let j = 1809 + -1822. Put -3, j, 8 in decreasing order.
8, -3, j
Let t = 25.30336 - 0.37436. Let l = -0.071 - t. Put 4, -0.4, l in increasing order.
l, -0.4, 4
Let r be -21*((-20)/(-5) + -5). Let p = r - 145/7. Put 4, 1/5, p, -4 in increasing order.
-4, 1/5, p, 4
Let a = 3/7 - -9/28. Sort a, -1/2, -7, 0.4 in descending order.
a, 0.4, -1/2, -7
Suppose -5*t - 102 = 3*f + 136, 3*t + 3*f = -144. Let a = t + 46. Put -2, -0.1, a in increasing order.
-2, a, -0.1
Let z(p) = -p**3 + 24*p**2 + 27*p - 51. Let m be z(25). Let r(g) = g**3 - 2*g**2 - g + 2. Let u be r(3). Sort u, m, -3, -4 in decreasing order.
u, m, -3, -4
Let n = -469 + 469. Put n, 1, 5, 9 in decreasing order.
9, 5, 1, n
Let u = -167/1827 - 4/203. Put 3/2, -9, -1, u in decreasing order.
3/2, u, -1, -9
Let a = -6908/5765 + -2/1153. Put -4, 3, a, 21 in increasing order.
-4, a, 3, 21
Let f = 2/403 - 1217/1612. Sort 0, -22, f in increasing order.
-22, f, 0
Let f be (-54)/2 - 126/(-21) - -4. Sort 1, 2, 5, f in descending order.
5, 2, 1, f
Suppose -4*g = -5*g. Let x be -7 + g + 4 + -1. Let j(l) = -l**3 - 5*l**2 - 6*l - 4. Let t be j(-4). Sort t, x, 15 in decreasing order.
15, t, x
Suppose -8*d + 28 = -12*d. Let q be 12/32*-4*(-10)/3. Put q, 4, 2, d in ascending order.
d, 2, 4, q
Let d(y) = -4*y + 41. Let b be d(9). Sort b, 0, 7.
0, b, 7
Suppose -2359*z + 1118 = -2346*z. Sort -5, -1, 1, z.
-5, -1, 1, z
Suppose 0 = 14*t - 23*t - 819. Let q = t - -85. Put -5, 0, 5, q in decreasing order.
5, 0, -5, q
Let g = 929/5 - 185. Let d = g + -17/40. Let z = 1/30 + -8/15. Sort -0.4, z, d.
z, -0.4, d
Let n be ((-36)/(-60))/((57/2315)/3). Let q = 73 - n. Sort 0.5, q, -2.
-2, q, 0.5
Let c be 6/36 - (-39)/90. Suppose 3*b - o = -14, -6*o + 6 = 3*b - 3*o. Put 2/19, b, 3/8, c in decreasing order.
c, 3/8, 2/19, b
Let v(f) = -f**3 - 6*f**2 - 3*f + 7. Let x be v(-5). Let o = -23.5 - -12.9. Let g = o - -11.6. Sort x, g, 2/9 in descending order.
g, 2/9, x
Let z(q) = -q**3 - q**2. Let o be z(-1). Put -40, -2, o in increasing order.
-40, -2, o
Let a = -315 - -316. Sort -5, a, 19 in decreasing order.
19, a, -5
Let s(p) = 14*p - 8. Let a be s(3). Suppose 0 = 4*h + 38 - a. Put 7, 2, h in decreasing order.
7, 2, h
Let s(n) = -n**2 + 3*n. Let o(d) = -d**2 - 3*d + 3. Let x be o(-3). Let a be s(x). Let l(j) = 56*j + 1567. Let c be l(-28). Put a, 2, c in ascending order.
c, a, 2
Let m = 8 - -4. Let b = m - 12.5. Let p = 0.21 + 0.29. Put p, b, -1 in ascending order.
-1, b, p
Let b = -4/55 + -149/220. Let y = 64 + -67. Sort y, 1/2, b in increasing order.
y, b, 1/2
Let x = -486 + 486.1. Put -1/7, x, 11.5 in descending order.
11.5, x, -1/7
Suppose c + g = 59, -2*g - 320 + 18 = -5*c. Sort c, -4, -1 in decreasing order.
c, -1, -4
Let s be ((3 - 2)*0)/(-1*2). Let h be (-2)/(-1) + -6 + s. Sort 3, -1, -5, h in ascending order.
-5, h, -1, 3
Let z = -2.16 - 1.64. Let a = 8 + -4. Let v = z + a. Put 1/4, 2/5, v in descending order.
2/5, 1/4, v
Suppose -5 = 2*x + 3. Suppose -25*u + 104 = 27*u. Sort x, 5, u, 6 in ascending order.
x, u, 5, 6
Let w = 208 + -174.2. Let g = 34 - w. Let s = 54/11 + -345/77. Sort g, 5, s in ascending order.
g, s, 5
Let a = 22 - 22.9. Let w = 3.9 + a. Let y = -30 - -149/5. Sort w, y, 1 in increasing order.
y, 1, w
Suppose -6*w - 4*p + 22 = -7*w, -p + 3 = w. Put -1/12, 3, w in ascending order.
w, -1/12, 3
Let c be (-5 - -40)/(-5) - -5. Let h(t) = -8*t**3 - t**2 + 2*t - 1. Let d be h(1). Sort 4, d, c in increasing order.
d, c, 4
Let o = -1.172 + -1.828. Put -7, 4, -0.2, o in descending order.
4, -0.2, o, -7
Let j = -255 + 253. Let y be (0 + 1)/(10/10). Sort -3, j, y in increasing order.
-3, j, y
Let h = -15 + 11. Let p be 125/100 + (-50)/8. Sort 1, h, p.
p, h, 1
Let d = -60 + 57. Put -2, -10, d, 3 in descending order.
3, -2, d, -10
Let j = 47 - 26. Let x = j - 26. Put x, -0.03, -0.1, 4 in decreasing order.
4, -0.03, -0.1, x
Let w be (2 - 3 - 0)/(-1). Suppose 77 = 5*c + 2*t, -71 = -3*c + 8*t - 3*t. Suppose -5*q + 16 = p, -4*p + c - w = 4*q. Put -4, q, -1 in ascending order.
-4, -1, q
Let m = 160 + -155. Suppose -4*s - w - 7 = 0, m*s + w + 7 = -2*w. Let b = 7 - 11. Put s, 0, b in decreasing order.
0, s, b
Let w = 16 + -13.5. Sort 0.5, 0.3, w, -3/4.
-3/4, 0.3, 0.5, w
Suppose -3*i + 44 = -14*i. Sort 2, i, -14.
-14, i, 2
Suppose -2 = 2*g + 2*q - 16, -4*q - 14 = -3*g. Let s be g/(-27) + (-440)/45. Let z = s + 11. Sort -0.1, z, -0.5 in ascending order.
-0.5, -0.1, z
Let c = -550/21 - -26. Let a = 194 + -4084/21. Let w = c + a. Put -1/3, w, 4/7 in increasing order.
w, -1/3, 4/7
Let i = -5 - -7. Let o be ((-2)/36)/(i/8). Let d = -106/119 + 20/17. Put -3, o, d in ascending order.
-3, o, d
Let r = 804 + -811. Put -41, 4, r in ascending order.
-41, r, 4
Let q = 0.4695 + 0.0305. Sort -7, -2/17, 3, q.
-7, -2/17, q, 3
Let p(w) be the first derivative of -w**4/4 - 11*w**3/3 - w**2 - 14*w - 19. Let m be p(-11). Put 5, m, -5 in descending order.
m, 5, -5
Let k be (-22)/5 + 5 + (-7)/5. Sort 4, k, 3 in ascending order.
k, 3, 4
Let j = 1124 - 1123.9. Put j, -11, 6 in descending order.
6, j, -11
Let b = 0.14 + -5.14. Let g = 21.7 - 25.7. Sort g, 2/3, 3, b in ascending order.
b, g, 2/3, 3
Let w = 2 + -1. Let h be -16 + (2 + 2 - 1). Let j = -53/4 - h. Put w, j, 0.4 in decreasing order.
w, 0.4, j
Suppose 0 = i + 28 - 31. Sort -4, i, 1 in increasing order.
-4, 1, i
Let h = 66 - 65.21. Let t = h + -1.79. Sort t, 2/3, 9 in ascending order.
t, 2/3, 9
Let d(o) = -o + 5. Suppose -5*k = -9*k + 8. Let n be d(k). Sort 0, -2, 4, n.
-2, 0, n, 4
Let v = 0.02 + 0.18. Let w = 0.36 - -29.64. Let l = -28 + w. Put v, 0.5, l in descending order.
l, 0.5, v
Let x = -83 + 82. Sort 120, x, -0.4 in descending order.
120, -0.4, x
Let z = -51 + 42. Let n = 14 + z. Sort 4, n, -4, -2.
-4, -2, 4, n
Let t be (5 - (-444)/(-90))*-2*3. Sort -1, 28, t, 1 in descending order.
28, 1, t, -1
Let p = -3.104 + 0.104. Put p, 4, -2/13 in increasing order.
p, -2/13, 4
Let x be -4 + (15 - 60/6). Let i(q) = -q - 11. Let v be i(-6). Sort x, 5, v, -1.
v, -1, x, 5
Suppose 0 = -5*m - v - 