der.
j, n, z
Let w = 98.3 + -98.4. Let y = 0.5 + -1.5. Let x = 5 + y. Put 0, w, x in decreasing order.
x, 0, w
Suppose 3*v = 3*l - 21, l + 4*v = 7 - 0. Suppose l = 3*r + 1. Suppose -b - u - 10 = 0, 0 = -r*b + u + u. Sort 4, 2, b in decreasing order.
4, 2, b
Let d = 290 - 289. Put -2, d, 0, 5 in descending order.
5, d, 0, -2
Let l(d) = d**3 - 2*d**2 - 3*d + 2. Let r be l(3). Let w = -6 - -5. Let u be w + 0 - -4*1. Sort u, -4, r in increasing order.
-4, r, u
Let l = -28 - -29. Let n be (20/8)/(1/2). Suppose -5*b + 10 = -5*c, -c = -4*b + 4*c + n. Put b, -6, l in increasing order.
-6, l, b
Suppose -2*c + 5 = c - 5*p, -4*p - 11 = -c. Let i(t) = -t**3 + 4*t**2 + t - 8. Let m be i(4). Sort -1, 3, c, m in decreasing order.
3, -1, m, c
Let r(m) = m**2 - 6*m - 2. Let t be r(7). Suppose -8*l + 3*a = -10*l + 14, 2*l + 4*a - 16 = 0. Sort t, -15, l in decreasing order.
t, l, -15
Let c(y) = -8 - y + 11 + 0 + 3*y - 5*y**2. Let i be c(-1). Sort 0.5, i, -0.13 in ascending order.
i, -0.13, 0.5
Let n = 832 + -9154/11. Put 8, 0, n, 4 in descending order.
8, 4, 0, n
Let u = -5 + 6. Let m = u - 1. Suppose 2*x - 4 = -m. Sort 5, x, -2 in descending order.
5, x, -2
Suppose -7*k = -2*k + 2*k. Sort k, 7, 1, 3 in descending order.
7, 3, 1, k
Suppose -4 = 5*j + 6. Let q be (620/(-248))/(1/(-2)). Let m = 6 - 9. Sort m, q, j.
m, j, q
Suppose q - 4 = -3*q. Suppose w + w = 4. Sort q, w, 5, 3 in decreasing order.
5, 3, w, q
Let r be 3 + (48 - 6)/(-7). Let x = -2 + 2. Let b = 0 + x. Sort 2, r, b in decreasing order.
2, b, r
Let w be 1/(13/(65/(-15))). Sort -50, 0.9, w in decreasing order.
0.9, w, -50
Let f(l) = -15*l + 27. Let y be f(-3). Let c = y - 67. Put 11, c, 3, -4 in descending order.
11, c, 3, -4
Let h(d) = d**3 - 11*d**2 + 1. Let o be h(11). Let i = -34 - -29. Sort -1, o, i in decreasing order.
o, -1, i
Let n(y) = -y**2 + 4*y + 4. Let z be n(7). Let b be (z + 2)/3 - -1. Let i = b - 1. Put 3, -4, i in descending order.
3, -4, i
Let j be 568/(-6)*(-18)/24. Suppose p + 2 = -0*p. Sort j, 3, p in ascending order.
p, 3, j
Let k = 1984.5 - 1984. Put -4, 4, k, 8/11 in ascending order.
-4, k, 8/11, 4
Let a = 6 + -2.08. Let w = -0.08 - a. Let r = -9 - w. Sort 2/5, r, -1/3 in ascending order.
r, -1/3, 2/5
Let r = 42 - 24. Suppose -9 = -3*o + r. Let n be (-1 - -1) + (-9)/o. Put 5, -2, n in descending order.
5, n, -2
Let c be (2/(-12))/((-31)/(-93)). Sort 27, -4, 5, c.
-4, c, 5, 27
Let s be 2 - (34/(-20)*2 - -5). Put -0.011, -0.4, s in ascending order.
-0.4, -0.011, s
Let o(y) = y**2 - 15*y + 52. Let r be o(9). Sort 1, 42, r in decreasing order.
42, 1, r
Let o = -12553 - -12550. Let a = -0.1 + -0.1. Sort a, -1, o.
o, -1, a
Suppose m - 3*m - 10 = -2*a, -a + 5*m + 9 = 0. Let x be 4*a/24*-3. Let f be 0/(x - 1 - -7). Sort f, -4, 5 in ascending order.
-4, f, 5
Let v(j) = 2*j - 16. Let x be v(7). Let u = x + 33. Sort 4, u, -5 in descending order.
u, 4, -5
Suppose -5 = -5*n, 21*w + 4*n = 20*w + 8. Sort w, 1/15, -2, 0.3.
-2, 1/15, 0.3, w
Let c(y) = 4*y**2 - 4*y - 10. Let z be c(5). Suppose 0*h = 7*h - z. Let a = h + -10. Sort 1, 5, a in increasing order.
a, 1, 5
Let a = -0.237 - 0.763. Let f = -9.6 + 9.5. Let w = 1.1 + -0.1. Sort f, w, a in descending order.
w, f, a
Suppose g - 14 = z, 5*z = 3*g - 0*z - 52. Suppose 6*b = -g - 15. Sort b, -2, -6 in ascending order.
-6, b, -2
Let l(f) = 2*f**2 - 4*f + 2. Let i be l(2). Let q = i - 4/3. Put 2, -1/2, q in descending order.
2, q, -1/2
Let g be (44/33)/(2/(-6)). Let l be ((-10)/4)/(g/8). Suppose 0*d = d - l. Put d, -2, -4 in descending order.
d, -2, -4
Let m = -108 + 105. Put 1, -0.2, m, 5 in increasing order.
m, -0.2, 1, 5
Let z be 1*1/4*(-1 - 3). Sort z, -55, -5 in decreasing order.
z, -5, -55
Suppose 2*z = 53 - 3. Suppose 0 = 3*y - 4*d - 8, 0*d - d = 5*y + z. Suppose 2*i + 3*a + 2 = 0, -2*a + 6*a = 4*i - 36. Put y, i, 4 in descending order.
i, 4, y
Suppose 667*f - 668*f = -4. Put -72, f, 1 in ascending order.
-72, 1, f
Let o = 0.8 - 0.77. Let y = o + 10.97. Let b = y + -10.6. Put 0.1, b, -4 in increasing order.
-4, 0.1, b
Suppose 8*f - 4*x = 4*f + 40, 0 = 3*f - x - 38. Sort 1, f, -5 in descending order.
f, 1, -5
Let f(n) be the first derivative of 4*n**3 + 1/4*n**4 + 5*n**2 + 8 - 9*n. Let j be f(-11). Put j, -4, -1 in descending order.
j, -1, -4
Let k(j) = j**2 + 31*j + 33. Let z be k(-30). Put z, -1, 27 in increasing order.
-1, z, 27
Let a be (0/(-1))/(-1) + 0. Let m = -1085 + 1082. Sort m, 5, a.
m, a, 5
Suppose 2*n = 4*u - 8, -2*u - 9 = -3*u + 4*n. Sort -2, u, -11, 2 in descending order.
2, u, -2, -11
Suppose 2*k + k = 3. Sort -21, -3, k, -4.
-21, -4, -3, k
Suppose 0 = 3*b + 2 - 11. Let a = 3767 - 3773. Sort a, 2, b, -4 in descending order.
b, 2, -4, a
Let o(u) = -7 - 6*u + 2*u + u - u. Let l be o(-2). Let w = 6 + -11. Sort l, w, 2 in descending order.
2, l, w
Let u = 928 + -927. Sort -27, -2, -1, u.
-27, -2, -1, u
Suppose -3*q - 1 = c - 11, -4*c = 3*q - 4. Suppose 0 = -33*y - 42*y + 150. Put q, -3, 5, y in decreasing order.
5, q, y, -3
Let r = 55 + -54. Let h(y) = y**3 - 2*y + 2. Let n be h(r). Sort 3, -21, n, -4.
-21, -4, n, 3
Let a = 0.4 - 0.2. Let m = -44.032 - -6.032. Sort a, m, 0 in descending order.
a, 0, m
Suppose h = 5*y + 25, 3 = 4*y + 19. Suppose h*b - b = 116. Put 1, 2, b in descending order.
b, 2, 1
Let y = -8 + 4. Suppose -89*a - 3*a = 184. Sort y, a, 2 in decreasing order.
2, a, y
Suppose 2387 = p + 2388. Sort -20, p, -4, 5 in descending order.
5, p, -4, -20
Suppose 0*j - d = 4*j - 23, 0 = 5*j + 3*d - 34. Suppose 0 = 7*i - 36 + 43. Put j, i, 1 in decreasing order.
j, 1, i
Suppose -5*w = -2 - 3. Suppose -72*h - 36 = -78*h. Suppose h*u - 4*u = 0. Put u, -3, w in descending order.
w, u, -3
Let n = -36 + 60. Suppose 8 = 8*r - n. Let c = -3 + 3.4. Put r, -3, c in increasing order.
-3, c, r
Let z = 166 - 139. Suppose 3*o - 15 = 0, 0*q + o = q - 25. Let u = z - q. Put u, 3/5, -3/5 in decreasing order.
3/5, -3/5, u
Let x(f) = -f**2 - 2*f + 43. Let n(q) = q - 5. Let w be n(-3). Let i be x(w). Sort -1.4, i, 0 in decreasing order.
0, -1.4, i
Let k = 727.9 - 728. Put -1/2, -0.15, 3, k in increasing order.
-1/2, -0.15, k, 3
Let f = 0.2 - -0.2. Let r = 3 + 8. Let l = 7 - r. Put -0.3, l, f in ascending order.
l, -0.3, f
Let t = -90.31 - -1.31. Let g = -89.1 - t. Sort g, -1, -0.5, 4 in descending order.
4, g, -0.5, -1
Let s = -47 - -32. Suppose 0*w = -2*w + 5*l + 40, 60 = 3*w - 5*l. Let k = s + w. Sort k, 0, 4.
0, 4, k
Let y = 715 + -715. Sort -0.054, -3/2, y, -2/5.
-3/2, -2/5, -0.054, y
Let c = -29 + 24. Let z = c + 7. Let h = z - 5. Put 4, h, -0.3 in descending order.
4, -0.3, h
Suppose 0 = o + 4*k - 25, 25*k - 20*k - 10 = 3*o. Sort 3, -15, -29, o in decreasing order.
o, 3, -15, -29
Let v = -12.89 + 13. Let f = v + 3.89. Let o = -16.7 - -12.7. Sort f, -5, o in decreasing order.
f, o, -5
Let z = -303 - -3330/11. Put 8, 4, z in ascending order.
z, 4, 8
Suppose n = 3*f - 2*n - 9, -2*n - 6 = -6*f. Sort f, 62, 4.
f, 4, 62
Let g = 189 - 181. Let h = 6 + 2. Let l = g - h. Sort 0.5, -2, l in descending order.
0.5, l, -2
Let q = -7.6 + -29.4. Let s = q + 37.5. Let y = -15 - -15. Sort y, 2/9, s in ascending order.
y, 2/9, s
Let n = 38 - 44. Sort 4, 1, n in descending order.
4, 1, n
Let j = 1073/2 + -1607/3. Let m = -3/31 - 22/93. Sort -1/5, j, 2/5, m in descending order.
j, 2/5, -1/5, m
Let r be (-1)/(20/(-72)) + 10/25. Put r, -10, 3, -4 in ascending order.
-10, -4, 3, r
Suppose 16*q - 5*q + 33 = 0. Let w be q - (4 + 6/(-3)). Sort -1, 2, 18, w in increasing order.
w, -1, 2, 18
Let f be (-2)/(1 + 1) + (-1 - -3). Put 16, f, -3 in descending order.
16, f, -3
Let n(x) = -x - 9. Let f be (44/(-8))/((-2)/4). Let s(v) = -2*v - 17. Let r(c) = f*n(c) - 6*s(c). Let k be r(-6). Put 1, k, -4 in increasing order.
-4, k, 1
Let n = 0.1784 + 2.8216. Put n, 0.1, -10/3 in descending order.
n, 0.1, -10/3
Let y(l) = l**2 + 4*l - 2. Let z be y(-6). Suppose 3*i = z*i - 14. Let s be (-8)/(-52)*(i + -3). Sort 4/3, s, -5 in decreasing order.
4/3, s, -5
Let i(q) = -q + 14. Let m(k) = -19*k**3 - k**2 + k + 1. Let t be m(-1). Let c be i(t). Let o = -6 - -3. Sort o, c, 4 in descending order.
4, o, c
Let w = 2.7 + -3. Let v = -4585/9 + 509. Let i be (3/1)/((-3)/(-5)). Sort v, w, i in increasing order.
v, w, i
Let r be (-42)/9 + 1/(-3). Suppose -21*g + 8 = 8. Sort 5, g, r in 