der.
1, -1/2, r
Let o be 45/18*(-6)/(-3). Let y be o - (-12)/(-14) - (-4)/(-1). Put -0.5, y, 0.1, 1 in decreasing order.
1, y, 0.1, -0.5
Suppose 38*g + 208 = 17*g - 31*g. Put g, 0, 294 in ascending order.
g, 0, 294
Let n be 12/(-3)*1 - (-10 - (-3)/3). Let t(v) = v**3 - 14*v**2 - 15*v - 2. Let b be t(15). Sort 2, b, -5, n in ascending order.
-5, b, 2, n
Let y = 217/4 + -55. Let x(o) = o**3 + 7*o - 5. Let w be x(-6). Let b = 2631/10 + w. Sort b, y, -46 in decreasing order.
b, y, -46
Suppose r + 4 = -0*r, -r + 6 = -2*i. Suppose -79*l + 347 + 93 = -113. Let b(a) = -a**3 - 4*a**2 + 4*a - 6. Let n be b(-5). Put 3, i, n, l in descending order.
l, 3, n, i
Suppose -5*b = -10 - 0. Let q be b/3*1*-3. Let m(c) = -c**3 - 7*c**2 - 25*c - 112. Let i be m(-6). Put 3, q, i, 0 in ascending order.
q, 0, i, 3
Let p = -3.05 - -0.05. Let x = p + 4. Let g = 9556 - 9557.6. Put -1/4, g, x in decreasing order.
x, -1/4, g
Let b(l) = -2*l**3 - 8*l**2 - l - 2. Let f be b(-4). Suppose 0 = -4*d + 11*d - 28. Sort -5/8, f, d in ascending order.
-5/8, f, d
Let m(s) = s**3 + 10*s**2 + 25*s + 24. Let l be m(-7). Suppose p - 3*p = 2. Suppose -3*g = -5*a + g + 33, -2*a = -g - 12. Put -3, p, a, l in descending order.
a, p, -3, l
Suppose -2273 = -6*h + 613. Let w be 0 + -3 + h/169. Let r = -25/3 + 8. Sort -0.4, w, r in decreasing order.
w, r, -0.4
Suppose 10537 = -4*n + 10553. Put 5, -235, n in descending order.
5, n, -235
Let k = -2.0816 + 2.1316. Put k, -0.3, 18 in decreasing order.
18, k, -0.3
Let r = -21 + 24. Suppose -r*y - 31 = -46. Put 2/3, -2/11, 1, y in ascending order.
-2/11, 2/3, 1, y
Suppose -4*o - g = -0*o + 19, -4*g = -5*o - 29. Let w = 37 - 33. Suppose 10 = -5*q + w*h, 2*h - 2 - 4 = 2*q. Sort q, 0, -3, o in descending order.
q, 0, -3, o
Suppose 2*v - 3*v - 2 = 0. Let p be (-28)/56*v/4. Let j be (-11)/30 + 4/8. Put -2, j, -1/5, p in descending order.
p, j, -1/5, -2
Let m = 5010 + -5011. Suppose -6*c = -c + 210. Let j = -158 + 160. Put j, m, c in increasing order.
c, m, j
Let r = 30.015 + -30. Let p = r - 0.104. Let u = 6.911 - p. Put u, -3/4, -4 in decreasing order.
u, -3/4, -4
Let l(s) = 56*s**3 + s**2 + 3*s + 1. Let q be l(-1). Let i be (q/114)/((-6)/(-4)). Sort -4, 0.2, 2, i.
-4, i, 0.2, 2
Let h = -65.743 + 0.143. Let t = -61 - h. Let b = t - 4.9. Put b, 1/8, -11 in decreasing order.
1/8, b, -11
Let f = -51.6 - -52.1. Sort -5, -26, -0.2, f, -4 in decreasing order.
f, -0.2, -4, -5, -26
Let f(m) = -62*m + 1311. Let l be f(22). Put 8, -2/13, -0.2, l in ascending order.
l, -0.2, -2/13, 8
Let b = 23941 - 23949. Put b, 4, 1, -5, -4 in ascending order.
b, -5, -4, 1, 4
Let t(d) = -d - 4. Let x be t(-4). Let a = -1.022 + 1. Let g = a + -3.978. Put g, -3, x in descending order.
x, -3, g
Suppose -77*o - 5 = -82*o. Let a be (o - 4) + (9 - 2) + -1. Put -2, 1, 2, a in descending order.
a, 2, 1, -2
Suppose 3*k + 38 = 4*b + 159, 0 = 5*k + b - 240. Let m = 50 - k. Let r(f) = f**2 - 5*f + 2. Let g be r(5). Put m, g, 8 in decreasing order.
8, m, g
Let w be 28/(-3)*((-6)/11)/2. Let b = -207/77 + w. Let c = -0.8 + 1.1. Put 5, c, b, -1 in descending order.
5, c, b, -1
Let c = -17603 - -2112373/120. Let a = 1/120 - c. Put -1, -5, a in increasing order.
-5, -1, a
Let y be 4/38 + (8 - 2583/171). Put y, 17, -1 in increasing order.
y, -1, 17
Suppose 34*c + 546 = 138. Suppose w = 3*k + 31, k + 2*w + 2 = -6. Let h = k - c. Sort h, -3, 0.
-3, 0, h
Suppose -18*p + 19*p - 16 = 0. Let v be 1*4 + p + -16. Let i be (1/1)/((-2)/10). Sort i, 3, v in decreasing order.
v, 3, i
Let k = -292 + 945. Let o = 651 - k. Sort o, -3, -1, 1.
-3, o, -1, 1
Let q(w) = -w**3 - w**2 + 2*w - 1. Let x be q(1). Let u be 131/262*(6 - 0). Sort x, u, -5, 1 in descending order.
u, 1, x, -5
Let g = -19 - -210/11. Suppose -9*d = 15*d + 35*d. Let x = -121 - -731/6. Put 0.3, d, x, g in decreasing order.
x, 0.3, g, d
Let p = 186 - 186.5. Suppose 0 = -4*n + n + 4*t - 74, -t = -5*n - 95. Let k be ((-16)/42)/((-12)/n). Put 9, p, k in ascending order.
k, p, 9
Suppose -2805 = 99*u - 116*u. Suppose -12*v = 21*v - u. Put 12, 3, v, -1 in descending order.
12, v, 3, -1
Let l = -55 - -57. Let m be ((-5)/l)/(-5)*4*1. Let j be m + (-2 - -3) + 1. Sort 0, j, 1 in descending order.
j, 1, 0
Suppose 4*i + 3*b - 212 = 2*b, -250 = -5*i - 5*b. Suppose 1733 - 1886 = -5*k - 13*t, 47 = -4*k + 5*t. Put k, i, 5 in decreasing order.
i, 5, k
Let o = 28.4 - 13.5. Let v = o - 18.9. Sort -5, -1/3, v in descending order.
-1/3, v, -5
Let d = 481 + -447. Let l = 0.8012 + 33.0688. Let c = l - d. Sort -3, 2, c.
-3, c, 2
Suppose 0 = -12*g + 8*g + 20. Suppose 18 = -g*z + 28. Sort 5, z, -1 in ascending order.
-1, z, 5
Let o = 146 - 2. Let w = -157 + o. Sort 5, 1, w.
w, 1, 5
Let v(x) = -19*x + 36. Let a(k) = -11*k + 17. Let p(c) = 7*a(c) - 4*v(c). Let b be p(-25). Sort b, 2, 39 in ascending order.
b, 2, 39
Suppose 4*c - 62*d + 64*d = 20, -3*d = 3*c - 15. Put -0.4, c, 1/20, 0.5, 3/7 in descending order.
c, 0.5, 3/7, 1/20, -0.4
Let h be (-22)/(-6) - 6/9. Let y(f) = -f**2 + 4*f + 2. Let p be y(4). Let k be (0/p)/(-1 - -3). Put h, -4, k in increasing order.
-4, k, h
Suppose 3*i = -s - 23, -5*i = 21*s - 16*s + 45. Let o = -2 - -2. Suppose -3*u = -3*f - 15, -18 = -4*u - o*f + 2*f. Sort -2, u, i in decreasing order.
u, -2, i
Let u = -3/4775 - -1919/14325. Sort 0, u, -3, 1/4, -5/4.
-3, -5/4, 0, u, 1/4
Let d = -1954.8 - -1781. Let z = d - -174. Put -5, z, 2/13, 0.1 in descending order.
z, 2/13, 0.1, -5
Let v = -63937 + 63935. Let j = -4 + 9/2. Sort 2, v, 0.8, j in descending order.
2, 0.8, j, v
Let d = 95 - 230. Let y = -139 - d. Sort 2, 1, y, -1 in increasing order.
y, -1, 1, 2
Let x(g) = -g**3 - 4*g**2 + 6*g + 6. Let b be x(-5). Let v be ((-184)/(-24) - -9) + (-4)/6. Suppose 0 = c - 9*c - v. Sort -4, b, 5, c.
-4, c, b, 5
Suppose 1 = -2*h - 3*r, 18 = -2*h + r + 29. Sort -1, -7, h, -1/3, -1/4.
-7, -1, -1/3, -1/4, h
Suppose 0*n - 5*n = -5*w - 1060, -3*w - n = 652. Let i = w - -1942/9. Sort 5, -2, i.
-2, i, 5
Let s = 0.02 + 2.98. Let v be (-1)/(6/36) + (-13)/(585/(-276)). Sort -2/11, s, 1/10, v.
-2/11, 1/10, v, s
Suppose -1426*b + 72 = -1408*b. Let s(r) = -r**2 - 7*r - 4. Suppose -1 = w + 5. Let m be s(w). Sort m, 3, -2, b in decreasing order.
b, 3, m, -2
Let k = 23 + -23. Let n(v) = v**3 + 16*v**2 - 40*v - 4. Let x be n(-18). Let z = x - 70. Put 42, z, k in descending order.
42, k, z
Suppose 0 = 5*y - 35. Suppose -3*m + 0*o - 4*o = -33, 0 = 4*m - 2*o - 22. Suppose -2*u + 3*k + 6 = k, 2*u = 3*k + m. Put -1, 3, y, u in decreasing order.
y, 3, u, -1
Let w = 580 + -578. Let f be 46/184*(-3)/w. Put 3/2, f, -0.3, 1/2 in decreasing order.
3/2, 1/2, -0.3, f
Let p = 0.2 - 0.2. Let t = p + -0.4. Let f = -166147/15 - -55379/5. Put t, f, -7 in decreasing order.
t, f, -7
Let q(a) be the first derivative of a**4/4 - a**3/3 - 6*a**2 - 51. Let x be q(4). Sort -0.1, 16, x in decreasing order.
16, x, -0.1
Let z = -5/503 - 458/4527. Sort -7, z, 0.4, -0.2 in descending order.
0.4, z, -0.2, -7
Let h(q) = -4*q + 3. Let p be h(11). Let x = p - -122/3. Let n = -2/31 - -72/155. Sort 2, n, x in descending order.
2, n, x
Let b be (-28)/(-1596)*54/9. Put -1/2, 0, 6, b in ascending order.
-1/2, 0, b, 6
Suppose -125 = b + 1. Let s = b + 156. Suppose -5*i - s = -5*u, i = 2*i + u. Sort 3, i, -4 in descending order.
3, i, -4
Let o(z) = 145*z - 5. Let f be o(0). Put f, -596, 2 in descending order.
2, f, -596
Let u = -7.422 - -7.822. Sort u, 3/4, -10.1.
-10.1, u, 3/4
Let p = -94 - -96. Let a(f) = -2 + 1 - 3 + f + 0. Let m be a(8). Sort 1, -5, m, p.
-5, 1, p, m
Let c(q) = q**2 - q - 6. Let m be c(6). Let y = 218/9 - m. Put -5, y, -0.01 in descending order.
y, -0.01, -5
Let g = 16612 + -16534. Put -3, -47, g, 4 in descending order.
g, 4, -3, -47
Let f = 8684 - 8687. Suppose 4*n = -m - m + 2, 2*n + 4*m = 4. Put n, f, 33 in ascending order.
f, n, 33
Let k = -1097 - -1048.9. Let u = 48 + k. Put 0.2, u, 5, -2 in descending order.
5, 0.2, u, -2
Let v = 6 - 7. Let l = -8.84 - -11.84. Let r = -8.7 - -3.7. Put r, v, l in ascending order.
r, v, l
Let a be (4 - 0/6) + 155. Let q = a - 158. Suppose -2*n - 24 = -5*v, -n - 2*v - 2 = 4*n. Sort q, 5, n.
n, q, 5
Let o(s) = s**3 + 4*s**2 + s + 4. Let x be o(-4). Let d(w) = -1260*w - 8821. Let g be d(-7). Sort g, 5, x, 1.
g, x, 1, 5
Let f be -2*(-2)/8*(82 - 92). Sort 1, -495, f