der.
9, 2/9, -0.1, w
Suppose 0*r - r = 4*p + 16, -4*r - 2*p = 8. Let f be (4 - 0/(-4))*(r + -1). Put -2, 4, f, 1 in ascending order.
f, -2, 1, 4
Suppose -6*g + 24 = -0*g. Suppose 5*x = 3*m + 30, -g*m - 15 = 3*x - 4. Put 0, -3, x, -2 in decreasing order.
x, 0, -2, -3
Let z(r) = -r**3 - 5*r**2 - 4. Let j be z(-5). Sort 0, -2, j, 28.
j, -2, 0, 28
Let p(b) = -b**2 + 5*b - 1. Let k be p(5). Let v = -121 + 116. Put k, -4, v in increasing order.
v, -4, k
Suppose -2*s - 38 = -4*d, 5*d - s + 0*s = 46. Suppose -4*y - 2*p + 0 = -2, -4*y + 17 = -p. Sort y, d, 1 in ascending order.
1, y, d
Let f be (21 + 2197/(-104))/(2/(-8)). Let j = -5/2 + 2. Put f, 1, -2/9, j in ascending order.
j, -2/9, f, 1
Let x(q) = -q**3 + 2*q**2 - 2*q. Let m be x(2). Suppose 0 = -68*g + 39*g + 41*g + 36. Sort m, 2, -2, g in increasing order.
m, g, -2, 2
Let x = 14851 + -14856. Let a(p) = p**3 + 5*p**2 + 5. Let n be a(-5). Sort -4, x, n.
x, -4, n
Suppose -14 - 4 = -4*i - 2*t, -2*i - 4*t + 24 = 0. Suppose i*l = 11*l + 27. Sort 2, -4, l in decreasing order.
2, l, -4
Suppose 0 = 5*g + 3*w + 8, g - 5*g - 4*w = 0. Let t(c) be the third derivative of c**5/60 + 5*c**4/24 + 2*c**3/3 + c**2. Let k be t(-4). Sort 1, g, k.
g, k, 1
Let x be 513/(-27) - (4 - 9). Sort x, 4, 0, -7 in descending order.
4, 0, -7, x
Let m be -4 + (-2 - -1) + (-9)/(-3). Let f = -76 + 75. Sort 3, f, m, 2 in decreasing order.
3, 2, f, m
Let y = -7961 + 175113/22. Let u = y - -3/2. Let g = 7 + -7. Put -1/4, g, u in increasing order.
-1/4, g, u
Suppose -2 = 2*k + 4*a, 13 = 4*k + a + 3. Let t be 8 + -2 + 2 - k. Let o be (-1)/t - 38/10. Sort -2, o, -1.
o, -2, -1
Suppose -439 = 6*t - 415. Suppose -k + 4*k = 12. Suppose 2*n + 2*o = -0*o - 8, -k*o = n + 16. Put t, 5, n in ascending order.
t, n, 5
Let f be ((-4)/5)/(34/85). Put -1, 2, f, -78 in descending order.
2, -1, f, -78
Suppose 2*b = -2*o - 21 + 1, b - 3*o = 10. Put -9, 1, b in decreasing order.
1, b, -9
Let h(z) be the third derivative of z**6/120 + 11*z**5/60 + 5*z**4/12 + 5*z**3/2 - 6*z**2. Let u be h(-10). Sort u, 0, -3 in increasing order.
-3, 0, u
Suppose -5*c = -5*l - 5, -4*c + 7*c = -4*l + 31. Put 0, -2, l, -19 in ascending order.
-19, -2, 0, l
Let r be 3*3*2/(-9) + 0. Let x be r - ((-2)/13 + (-44)/52). Put -2, 1, x in descending order.
1, x, -2
Suppose -8*q - 21 = -4*q + 5*r, 0 = 3*q - 5*r + 7. Put 0, q, 3, -2 in ascending order.
q, -2, 0, 3
Suppose 4*k + 1 + 3 = 0. Let c = -1 - -8. Let t = c - 3. Sort k, t, 0.1 in decreasing order.
t, 0.1, k
Suppose 2*u = 4*o + 12, -4*u = -o + 2*o - 15. Let i be (-2)/(-6)*(-14 - -8). Sort -6, u, i, -3 in increasing order.
-6, -3, i, u
Let i = 8 - 6. Let f be 70/84 - 1/i. Put -2, f, -0.2 in decreasing order.
f, -0.2, -2
Suppose -i + 36 = 2*a, 0 = -5*a + 4*a - 3*i + 28. Suppose 5*x - 5*n - 100 = 0, -5*x + 2*n = n - 84. Suppose a = 12*g - x*g. Sort g, 4/5, 0.4.
g, 0.4, 4/5
Suppose 2*n = 3*z + 16, 5 = 4*z + z + 3*n. Let t be (3/2)/((-3)/(-8)). Sort 1, z, t, -5 in descending order.
t, 1, z, -5
Suppose -55 = 38*p + 59. Put 60, p, -5, 1 in increasing order.
-5, p, 1, 60
Let c = 15.6 + -17. Let h = -0.91 - c. Let w = -0.09 + h. Put -2/3, -2, w in decreasing order.
w, -2/3, -2
Let y = 79 + -79.3. Put 1/3, -1, y in descending order.
1/3, y, -1
Let t = 33.2 + -33.6. Sort 37, t, 5, -5.
-5, t, 5, 37
Let q = 13 - 16. Let a be -1 + q/(-3) - -7. Let k = -9 + a. Put k, -4, -1 in increasing order.
-4, k, -1
Suppose q + 1 = -5*n - 3, 4*q + 16 = -3*n. Suppose i - 6*i + 40 = n. Put 3/4, i, 4 in descending order.
i, 4, 3/4
Suppose 29*r - 7*r + 66 = 0. Put r, 0.4, 89/4 in decreasing order.
89/4, 0.4, r
Let n(r) = -r**2 + 1. Let j(u) = 3*u**2 - 2*u + 1. Let f(a) = -j(a) - 4*n(a). Let x be f(-4). Sort -1, x, 4, -5 in decreasing order.
4, x, -1, -5
Let l = -0.2194 - -0.3194. Let r = -141 + 559/4. Put r, -5, l in descending order.
l, r, -5
Let o = -37 - -39.08. Let t = o + 0.92. Sort t, 0.3, 5/3 in decreasing order.
t, 5/3, 0.3
Suppose -5*d - 2*r + 4*r + 10 = 0, -15 = 3*r. Suppose -2*f + b - 9 = d, 0*f = 5*f + 3*b - 5. Put f, 1, 4 in increasing order.
f, 1, 4
Suppose -24*c - 1 = -25*c. Sort -1, c, 3, -3.
-3, -1, c, 3
Let f = -7.2 + 22.2. Let r = 10 - f. Suppose -3 = 2*g + 3*y, -3*g - 5 = -5*y + 9. Sort -0.1, r, g in decreasing order.
-0.1, g, r
Let p(g) = 6*g + 74. Let u be p(-13). Sort u, -9, 0, 2 in descending order.
2, 0, u, -9
Let v be 5/15 - (-2)/(-3). Put v, 2/3, -5 in descending order.
2/3, v, -5
Suppose 2*y - 9 = 3*p + 2*p, -4*p - 8 = -2*y. Suppose -254 + 34 = -4*h. Let q be 47/5 + (-22)/h. Sort p, q, -5 in ascending order.
-5, p, q
Let a = 18 - 13. Suppose 2*q + 2 = -l + 4, 52 = -4*l + 4*q. Let g = l + a. Sort 0.02, -4, g.
-4, g, 0.02
Suppose n - s + 2 = 0, 2*s = -3*n + 4 + 15. Let w be -1 - -1 - 2 - 1. Sort -4, w, n in descending order.
n, w, -4
Let c = -85.9 - -81. Let u = -0.04 + -0.06. Let b = c + u. Put -0.3, 1/4, b in increasing order.
b, -0.3, 1/4
Let p = 150 - 152.03. Let n = p - -0.03. Let a = 34 + -33.5. Put n, a, -1/3 in increasing order.
n, -1/3, a
Let q be (-1)/1*(91/(-7) + 8). Put 4, -4, q, -14 in decreasing order.
q, 4, -4, -14
Suppose 0 = 2*f - 30 + 14. Let k(o) = o**2 - 9*o + 4. Let z be k(f). Sort z, 14, -5.
-5, z, 14
Let d(u) = 4*u - 8. Let t be d(7). Suppose -22*f + t = -24*f. Sort f, -0.1, -1/5, 4 in decreasing order.
4, -0.1, -1/5, f
Let m = -0.6 + -15. Let n = 16 + m. Let j = 799/9 - 89. Put j, -5, n in increasing order.
-5, j, n
Suppose -93 + 81 = -3*z. Let m = -24 + 16. Let s be -8*z/m - -1. Put -1, -3, s in decreasing order.
s, -1, -3
Let y = 34.7 + -35. Let p = y + 0.8. Sort -3, -5, p.
-5, -3, p
Suppose -o + 6 = -5*i - 19, 2*o + 2*i = -10. Let j = 107 - 31. Let c = 79 - j. Put o, -1, c in decreasing order.
c, o, -1
Let l = -70.95 - -71. Let c = 9.95 + l. Sort -0.4, -0.1, -0.2, c in decreasing order.
c, -0.1, -0.2, -0.4
Let v = -565 - -564. Sort v, -2/43, -4 in decreasing order.
-2/43, v, -4
Suppose 17*t = 21*t. Sort t, -4, 3, 5 in increasing order.
-4, t, 3, 5
Let o = 674 + -2695/4. Put 4, -122, o, 3 in descending order.
4, 3, o, -122
Let m(u) = -u**3 - 5*u**2 + 2*u + 23. Let o be m(-4). Let s(g) = -2*g - 10. Let y be s(-5). Put y, o, 9 in descending order.
9, y, o
Suppose -15*b + 14*b + 378 = 0. Let l be 294/b + ((-2)/(-3) - 1). Let c = -0.01 - 0. Put -0.5, l, c in ascending order.
-0.5, c, l
Let t(m) = -m**3 - 19*m**2 + 22*m + 41. Let h be t(-20). Sort h, 4, 0.2, -3 in decreasing order.
4, h, 0.2, -3
Let q = 205 + -204.64. Put -2, q, 2 in descending order.
2, q, -2
Let l be 14/3 + -2 + (-49)/(-21). Sort 4, l, -1/53 in decreasing order.
l, 4, -1/53
Let y = -468 + 468.1. Sort y, -6, 0.17 in ascending order.
-6, y, 0.17
Let l = 0.46 + 0.04. Let n be 73/3 - (-14)/21. Suppose n = 5*t + 5. Sort -4, l, t.
-4, l, t
Let v(k) = -k**3 - 19*k**2 - 35*k - 13. Let d be v(-17). Sort d, -5, -8, -4 in increasing order.
-8, -5, -4, d
Let a(s) = 5*s**3 + 13*s**2 + 8. Let z be a(-3). Sort -6, z, 1 in decreasing order.
1, -6, z
Suppose 5*u + 123 = 4*c, -120 = 7*u - 2*u - 5*c. Sort 5, u, 0, -5 in decreasing order.
5, 0, -5, u
Let v = 125 - 115. Let f be (6 - 1 - 6)/((-2)/v). Sort f, -36, -4.
-36, -4, f
Let d = -92 - -98. Let a be 24/16 - d/4. Sort a, 3, -3, -5.
-5, -3, a, 3
Let l = -0.289 - -0.339. Sort l, 1, 5/4 in decreasing order.
5/4, 1, l
Let k = 820 + -822. Sort -3, -26, k in increasing order.
-26, -3, k
Suppose 0 = 4*d - 4*w + 4, 0*w - 4*w = -d - 7. Suppose 0 = -r - d, -4*s + 6*r - 1 = 3*r. Sort -8, -3, s in decreasing order.
s, -3, -8
Let y = 155 + -153. Put -7, 4, y in descending order.
4, y, -7
Let l = -0.9 - -0.6. Let m = -219 + 439/2. Sort -4, m, -0.2, l in decreasing order.
m, -0.2, l, -4
Let i = 1676 - 11731/7. Sort 101, i, -2/7, 5/4.
-2/7, i, 5/4, 101
Suppose 248 = -2*z - 2*b, -4*b - 168 = 5*z + 449. Sort z, 0, -5 in increasing order.
z, -5, 0
Suppose 4*a + 425 - 429 = 0. Sort -9, a, 5, 0.
-9, 0, a, 5
Let h = -488 + 470. Sort 5, 2, h in decreasing order.
5, 2, h
Suppose -3*a + 5 = -4*l, -a = -4*l - 0*a - 7. Sort 1, l, -3.
-3, l, 1
Let p = 128 + -128. Put 16, p, 9 in descending order.
16, 9, p
Let a = 502 - 512. Sort 1, -2, a in increasing order.
a, -2, 1
Let u(r) = -r**2 - 4*r - 1. Let h be u(-2). Suppose 4*t = -t + 5. Suppose 77*i = -2*p + 81*i - 16, 3*p + 2*i = 0. Sort h, t, p.
p, t, h
Let s(c) = -c**2 - c + 5. Suppo