der.
z, v, -4
Let l = 58 + 2. Suppose 3*y + l = -18. Put -4, 0, y in increasing order.
y, -4, 0
Let n be 78/(-13) + (-4)/(-1). Put 3, 13, n in increasing order.
n, 3, 13
Let f be (-8)/180*(-1 - (-2 + -4)). Sort f, 2/99, 2, -1 in descending order.
2, 2/99, f, -1
Suppose -d = 5*y + 3, 0 = -4*y - 0*d - 5*d + 6. Let x = -344 - -348. Sort y, x, -0.1, 1 in descending order.
x, 1, -0.1, y
Suppose 0 = 4*u - 3*d - 9, -u + 5*d + 1 = u. Let h be (-10)/6*(-33)/(-11). Put u, 2, -3, h in ascending order.
h, -3, 2, u
Let i = -1586 + 1591. Sort -0.1, i, 1/39, 0.1 in increasing order.
-0.1, 1/39, 0.1, i
Let p = -5.92 - -6.22. Let n = -5.85 + -0.15. Let o = 8 + n. Put 0.1, p, o in descending order.
o, p, 0.1
Suppose 7*m - 6*m = -14. Let d be (-26)/(-7) + (-4)/m. Sort d, -5, -4, -11 in descending order.
d, -4, -5, -11
Let g be (3 - (-8 - -1)) + -14. Put g, 13, 0 in increasing order.
g, 0, 13
Let a = 4 + -1. Let c = 0.05 - 0.35. Sort 0.4, c, a in ascending order.
c, 0.4, a
Let f = 0.12 - 0.18. Let u = f - -1.86. Let i = -1.4 + u. Sort i, 1.2, 0.2.
0.2, i, 1.2
Let g(c) = 18*c - 10. Let n be g(6). Let u = 94 - n. Sort -20, -5, u in decreasing order.
u, -5, -20
Let l(d) = -5*d - 6. Let s be l(-5). Let r = s - 15. Let z be (1*2)/(4/(-6)). Sort r, z, 1 in decreasing order.
r, 1, z
Let o = 0.4 + -0.4. Let k = o + 4. Let c be (-126)/108 + 5 + -3 + -1. Put c, 0, k in decreasing order.
k, 0, c
Let w(x) be the second derivative of -x**5/20 + 13*x**4/12 + 31*x**3/6 - 10*x**2 - 5*x. Let u be w(15). Sort 5, u, -0.4 in ascending order.
u, -0.4, 5
Let x = 1.1 + -0.1. Let k = 0.5 - x. Let h = -227 - -227.1. Sort 3, k, h in descending order.
3, h, k
Suppose 2*p - 3*r = -21 + 2, 4*p = -4*r - 8. Suppose -4*q - 2*y - 8 = 0, 5*q + 5*y + 6 = 2*q. Let n = 4 + q. Put p, 4, n in descending order.
4, n, p
Let j be ((-4)/(-5 + -11))/((-3)/(-3)). Let f = 17 + -10. Let t = -6.9 + f. Sort j, 3/4, t in descending order.
3/4, j, t
Let j be ((-2)/4)/(2/4). Let m(c) = -10*c - 47. Let z be m(-10). Let p = 48 - z. Sort p, j, -2 in increasing order.
p, -2, j
Let q = -0.06 + 2.06. Let m be 120/28 + (3 - 7). Put m, 1, q in descending order.
q, 1, m
Let h = 136 + -135. Suppose -5 + 3 = -w. Suppose w*n = 4*n + 6. Sort 4, n, h in ascending order.
n, h, 4
Let r(g) = -12*g - 191. Let v be r(-16). Sort 13, -4, v, 3 in ascending order.
-4, v, 3, 13
Suppose 2*o = -3*o + 3*s + 209, -80 = -2*o + 3*s. Sort o, 3, -5 in ascending order.
-5, 3, o
Let d = 164 - 169. Sort 0, 3, d in decreasing order.
3, 0, d
Let o = 7 + -3. Let l = 0.078 - 0.108. Sort o, l, 1/2 in decreasing order.
o, 1/2, l
Let d(x) = -2*x - 23. Let w be d(-11). Put -2, w, 4, -35 in ascending order.
-35, -2, w, 4
Let o = -21.5 + 118.5. Sort -0.5, 4, o, -0.3.
-0.5, -0.3, 4, o
Let n = -0.0186 - -4.0186. Sort -15, 2, n in descending order.
n, 2, -15
Let k = -4.28 - -4.88. Put -13, 0.4, k, 0.2 in descending order.
k, 0.4, 0.2, -13
Suppose -5*n = -2*t + 35, 5 = 3*t - 2*t. Put -1, 4, 2, n in increasing order.
n, -1, 2, 4
Let c = -46 + 31. Let x = c - -12. Let z = -2.02 + 0.02. Sort x, z, 1 in decreasing order.
1, z, x
Let f be -35*((-64)/(-20) + -4). Let j = f - 27. Put j, -3, 3 in decreasing order.
3, j, -3
Let i(s) = -18*s - 156. Let l be i(-9). Put 4, -16, l in descending order.
l, 4, -16
Let c = 32 + -33. Let j = 3/2 + -3/4. Let y be 14/(-63) + 80/198. Put j, y, c in decreasing order.
j, y, c
Let v be 29/6 - (-112)/672. Put 4, v, -2, 40 in increasing order.
-2, 4, v, 40
Let a = -2.04 - 0.96. Sort 0, -16, a, -2/11 in increasing order.
-16, a, -2/11, 0
Suppose 29*f - 89*f = -11*f + 245. Let w = 6 - 12. Let u = 3 + w. Sort u, 5, f.
f, u, 5
Let o be (-1 + 0)/(308/104 - 3). Sort o, -2, 0, -3 in decreasing order.
o, 0, -2, -3
Let c(v) = -v**2 + 2*v + 2. Suppose 3*a - 7 = -4*a. Suppose d - 2*j - a = 0, -9 = -d - 3*d + 3*j. Let r be c(d). Sort -2, r, -7 in decreasing order.
r, -2, -7
Let y be (-2)/(-7) - (-10)/14. Suppose -3*j = -5*j - 3*z - 13, 5*j - 15 = 2*z. Let f be 3 + 1 + -5 + j - 3. Sort -2, y, f.
f, -2, y
Suppose i + 10 = 4*s - 6*s, -4*i + 3*s = 7. Sort 3, i, -0.8, 2/7.
i, -0.8, 2/7, 3
Suppose -5*w + 19*s - 47 = 23*s, -5*w + 4*s - 23 = 0. Put 7, w, 5, 0 in descending order.
7, 5, 0, w
Let s = -207/5 + 41. Let w = -6330 - -6325. Sort s, -3, w in ascending order.
w, -3, s
Suppose -t = -2*s + 4*s + 16, 0 = -5*t - 4*s - 92. Suppose 3*g = -3*k + 1 - 4, 5*k - 5 = -3*g. Put t, k, -3 in ascending order.
t, -3, k
Suppose 6*k - 45 = 4*j + k, 3*k = 15. Sort j, 14, -3.
j, -3, 14
Let x be (-2)/(-5) + (-52)/(-20). Let b(n) = n**2 - 14*n + 34. Let s be b(11). Sort s, -1, x in ascending order.
-1, s, x
Let j = 320/17 - 11/34. Let g = -64 - -459/10. Let x = g + j. Sort x, -0.4, -2.
-2, -0.4, x
Let z = 53 - 11.4. Let c = z - 33. Let a = -9 + c. Put 12, a, 2/5 in increasing order.
a, 2/5, 12
Suppose -5*m + 6*m = 0. Let p = 4.8 - 5.1. Put m, -4, p in descending order.
m, p, -4
Suppose -2*k - 3*i + 4 = 0, 7*i = -k + 4*i + 5. Put -3, 67, 3, k in descending order.
67, 3, k, -3
Suppose -3*m + 110 = 2*m. Let o = 26 - m. Suppose -o*w - 5*l = -30, -5 = w - 5*l - 0. Sort -4, -2, w in increasing order.
-4, -2, w
Let z = 466 - 465.89. Sort z, 4, -9, -1/2 in decreasing order.
4, z, -1/2, -9
Let b(o) be the second derivative of -o**5/20 - 5*o**4/12 - o**3/2 - o**2 - o. Let u be b(-4). Let c be (4/u)/(4/(-42)). Sort c, 0, 5 in decreasing order.
c, 5, 0
Suppose -f + 40 = -5*y, f + 8 = -2*y + y. Let z(g) = g**3 + 8*g**2 + g - 4. Let l be z(y). Let w be 1/l*120/(-45). Sort w, -2/5, 0.1.
-2/5, 0.1, w
Let c = 2 + -1.6. Let a be (3 - (3 + 8/(-6)))/(-6). Sort 18, c, 2, a in decreasing order.
18, 2, c, a
Let y = -6.2 + 43.2. Let u = 38 - y. Put 1/3, u, 0.1 in increasing order.
0.1, 1/3, u
Let i = -2.947 - -0.047. Let t = i - 1.1. Let v = -0.06 - -2.06. Sort v, 0.4, t.
t, 0.4, v
Let k be 12/(-10)*12/36. Let x = -26 + 26.1. Sort -5, 5, x, k in increasing order.
-5, k, x, 5
Suppose 4*i + 32 = -5*l, 0*l + l - 3*i = 5. Suppose 7*q - 9 + 2 = 0. Sort q, 0, l, 4 in increasing order.
l, 0, q, 4
Let q = 107 + -62. Let o be (q/10)/((-2)/4). Let z be o/(-168) - 3/7. Put z, 0.2, -0.2 in decreasing order.
0.2, -0.2, z
Let c = -0.07 + 1.07. Suppose -7*w = -3*w - 16. Suppose -g - 3*f + w*f + 4 = 0, 1 = -f. Put g, 5, c in ascending order.
c, g, 5
Let w(t) = t**2 - t - 42. Let d be w(0). Let c be d/(-80) - (-2)/(-5). Let q(f) = f - 10. Let l be q(10). Put c, -5, l in decreasing order.
c, l, -5
Let n = 0.517 + -0.417. Put 45, 4/7, n in descending order.
45, 4/7, n
Let a = -514 - -469. Put -6/5, a, 3 in decreasing order.
3, -6/5, a
Let d = -1.2 + 1.7. Let x = 377 - 380. Sort x, -0.4, d, -0.5 in increasing order.
x, -0.5, -0.4, d
Suppose 0 = -3*y - 36 + 6. Sort y, -5, 5 in ascending order.
y, -5, 5
Let r = 0.09 + -0.07. Let h = r + -0.02. Let o = -267 + 271. Put h, -5, o in decreasing order.
o, h, -5
Let f = -1 + 1. Suppose 0 = 3*n - 12, 2*n - 16 = -3*o + 10. Let y be -6 - o/2 - -4. Put y, -3, f in increasing order.
y, -3, f
Let h = 1789648970202584/21287 + -84072390183. Let r = 3/3041 + h. Let c = r - 18. Sort 5/4, 0, c in decreasing order.
5/4, 0, c
Let r = -8.01 - -7.81. Sort -0.04, -1/3, -2/13, r in increasing order.
-1/3, r, -2/13, -0.04
Let m be ((-3)/2)/(102/(-476)). Sort -3, m, -4 in descending order.
m, -3, -4
Suppose -22*n = -8*n - 182. Put 2, n, 4 in descending order.
n, 4, 2
Let c be (1 - 0)*(-2 + 11). Suppose -c = -u + 4*u. Suppose -197*o = -36*o + 109*o + 270. Put u, 2, o in decreasing order.
2, o, u
Let c = -0.9 - -1. Let a = 807 - 4033/5. Let l = -53/3 - -383/21. Sort l, c, a.
c, a, l
Let u = 183.8 - 183. Sort u, 11, 0.4 in increasing order.
0.4, u, 11
Let c(f) = -f - 1. Let u be c(1). Let q be u - (-2 - (7 - 1)). Put q, 5, -4 in decreasing order.
q, 5, -4
Let n = 5.52 - 7.52. Put -1, -6, n, 1/5 in ascending order.
-6, n, -1, 1/5
Suppose -3*y = 5*u + 35, 4*u + 12 = -y - 9. Let h = -5 + 3. Let c = -96 + 96.4. Put c, h, y in decreasing order.
c, h, y
Let l = 0.013 + 23.987. Let g = -56 - -36. Let o = l + g. Put 5, 2, o in descending order.
5, o, 2
Let m = 0.129 - -0.271. Put m, -3.2, 0, 0.3 in decreasing order.
m, 0.3, 0, -3.2
Suppose 4*x = -3*m + 5*m + 20, -5*m = 0. Suppose 0*s - 19 = -2*w - 3*s, 0 = -4*w - 3*s + 29. Let k = 0 - w. Put x, k, -4 in increasing order.
k, -4, x
Let n(k) = -1 + 3*