der.
x, 0, l
Let p be (4/3)/(208/(-3900) - 2/25). Sort -4, p, -160, -5.
-160, p, -5, -4
Let q = 7 + -6.8. Let l = 654.14 - 654.54. Sort l, 2, q, -3.
-3, l, q, 2
Suppose j - 36 = -15. Suppose 145*g - 16*g = 0. Sort g, -1, j, 4 in increasing order.
-1, g, 4, j
Suppose -2*z - 4*y = -54, -5642*z + 5646*z + 5*y = 75. Let l = -0.06 - -0.36. Sort z, -17, -4/5, l.
-17, -4/5, l, z
Suppose 0 = 4*s + 14*k - 9*k - 11, 2*s - 5*k = -17. Let g = 69 + -72. Let o be -18*(g - -3 - 3/(-6)). Sort o, s, -6 in ascending order.
o, -6, s
Let s = -0.1675 - -3.1675. Sort -14, 24, 3/2, s, 0.2 in descending order.
24, s, 3/2, 0.2, -14
Let k = -15428 - -138854/9. Sort k, -50.8, 0 in decreasing order.
k, 0, -50.8
Let d be (-350)/224*(-6)/(-15)*-3. Sort 1, -1/2, d.
-1/2, 1, d
Let o = 4 - 6. Suppose -169*z + 172*z = 15. Let n be 1 - (-225)/(-35) - 3/(-7). Sort z, o, n in ascending order.
n, o, z
Let p(z) = 412*z**2 + 569*z - 567. Let r be p(1). Put -1, -2/9, r in increasing order.
-1, -2/9, r
Let v = -1485 - -1485. Put -0.3, -1/8, -0.5, v, 0.2 in decreasing order.
0.2, v, -1/8, -0.3, -0.5
Let a = -5426/16305 + -3/5435. Put a, 11, 4 in increasing order.
a, 4, 11
Let o = -53.4 + 53.3. Put -13/14, -2/9, o in increasing order.
-13/14, -2/9, o
Let a be ((-20)/6)/(168/63 + -2). Sort 1, a, 39, -6.
-6, a, 1, 39
Let u = 25.24 + -26.6. Let w = -1.26 - u. Sort 5, -3/14, w in descending order.
5, w, -3/14
Suppose -882*h + 890*h = 32. Put -4, -1, h, 5, -10 in decreasing order.
5, h, -1, -4, -10
Let s = 37 + -46. Let w be (2 + 0/(-6))/1. Sort w, s, 5, -2 in ascending order.
s, -2, w, 5
Let j be 105/20*68/119. Let d be 2/4*(-4)/(-2). Sort j, d, -18 in decreasing order.
j, d, -18
Suppose -47*j + 38*j - 87 = -38*j. Sort j, -4, -412.
-412, -4, j
Suppose 0 = -4*q + 9*q + 2*o - 27, -50 = -9*q - 5*o. Suppose -2*n - 19 = 5*h + 11, 4*n = 4*h - 4. Sort -1, q, -4, n in ascending order.
n, -4, -1, q
Suppose -2*n - 242 = -5*b, 3*n + 68 + 127 = 4*b. Sort 31, 2, 5, b.
2, 5, 31, b
Let k = -2669 + 1830. Put 2, -1, k in ascending order.
k, -1, 2
Let r be -3 - 2/((-28)/8 - -3). Suppose -2*i = -4*a - 3 + 5, -5*a + 4 = -4*i. Let v(q) = q**2 + 4. Let d be v(a). Sort r, d, -1 in decreasing order.
d, r, -1
Let p = -25 - -123/5. Suppose -13*n + 12 = 2*x - 14*n, -5*n = -3*x + 32. Suppose -i + 5 = f, -5*f + x*f + 11 = 4*i. Sort f, 0.5, 5, p in decreasing order.
5, f, 0.5, p
Let w = -1669 - -1669. Sort 145, w, -3 in descending order.
145, w, -3
Let l be ((-62)/(-155))/((-105)/25). Put l, -0.057, -1.1 in decreasing order.
-0.057, l, -1.1
Let x = -0.6 - 0.4. Let o = -274 + 69. Let t = -1229/6 - o. Put -7, x, t in ascending order.
-7, x, t
Let m = 418 + -418.2. Sort 0.5, m, 4/59, 4.
m, 4/59, 0.5, 4
Let i = -12.8 + 13.1. Let v = -18.8 + 9.8. Put -3/5, v, i in increasing order.
v, -3/5, i
Suppose 0*o + 52 = 4*c + 4*o, 5*o + 55 = 3*c. Let y be ((-6)/15)/(51/c). Suppose -5*i = -25, 0 = -7*g + 2*g + 3*i - 20. Sort y, g, 5 in descending order.
5, y, g
Let d = 304 + -215. Let m = 3 - d. Let l = m + 85.92. Put -4, 2, l in decreasing order.
2, l, -4
Let f = -170 - -217. Suppose y = 2*y - 9. Suppose y*j = f - 11. Put 10, j, 0 in increasing order.
0, j, 10
Let f be (-212)/20 + 2 - -9. Put f, 0.67, 2, 1/4 in ascending order.
1/4, f, 0.67, 2
Let o(v) = -121*v**2 + 22*v + 42. Let h be o(-2). Let z = h - -483. Sort 1, -5, z in descending order.
1, z, -5
Suppose -4*l - 20 = 2*i, 5*l - 6 = -i - 28. Sort -3, 4, l, -2 in ascending order.
l, -3, -2, 4
Suppose 3 = m + 2. Let v be ((-27)/(-12))/((-24)/(-64)) - 2. Sort 0, m, v in decreasing order.
v, m, 0
Let l = -86 - -90. Let q be 16/6*8/(96/9). Sort q, -2, l in descending order.
l, q, -2
Let p = -14.9 - -27.9. Let b = p + -18. Sort -9, b, 2/11 in decreasing order.
2/11, b, -9
Let v = 10.9406 + 0.0594. Let p = 482 + -487. Sort 4, p, v in ascending order.
p, 4, v
Let l = -3 - -2.5. Let s be (4 - 339/90) + 5/(-150)*-3. Let k be 2/(-3)*(-2)/(-8). Sort l, k, s.
l, k, s
Let l(j) = -2*j**2 - j + 4. Let v be l(-2). Let d = 27 - 88. Let n = d + 60. Sort v, n, 1.
v, n, 1
Let i = 27.32 + 0.68. Let l = i + -27.66. Let o = l - -0.06. Sort -13, o, -2/13 in ascending order.
-13, -2/13, o
Let m = 11 + -6. Let f = -1371 + 1705. Let w = f - 331. Sort w, m, 0.1, -3 in descending order.
m, w, 0.1, -3
Suppose -15 = v + 2*v. Let j = 49 - 49. Suppose -4*f + 3*z - 19 - 2 = j, -z = 4*f + 9. Sort f, 2, v in decreasing order.
2, f, v
Let u = 29025 - 29022. Sort -43, -4, u, -27 in descending order.
u, -4, -27, -43
Suppose 12*m + 1 = 13*m - 2*m. Put m, -11, 61 in decreasing order.
61, m, -11
Suppose -5*o + 2*i = -111, 0 = -3*o + 4*i + 3 + 72. Suppose -16*q - 5*q + o = 0. Let c be -1*3 - -1 - 1. Sort 4, c, q in descending order.
4, q, c
Suppose -18 - 14 = -4*k. Suppose -k*a = -4*a. Suppose -5*n - 11 = 2*r, -2*n + 3*r - 14 = -r. Sort n, a, 1.
n, a, 1
Let h = -101/3 - -34. Let v = 0.086 + 4.214. Let i = -4.3 + v. Sort i, 2/11, -5, h.
-5, i, 2/11, h
Suppose -7 = -5*a - 27. Let p(q) = q**2 - 19*q + 13. Let g be p(11). Let k = 75 + g. Sort k, a, 5 in increasing order.
a, k, 5
Let i = -3613 - -3611. Sort 0, 5, i, -5/7 in increasing order.
i, -5/7, 0, 5
Suppose 4*q - 11 = 9. Let i be (-6)/(-21) + 75/7. Suppose -i*z - 34 + 1 = 0. Sort -5, 4, q, z in decreasing order.
q, 4, z, -5
Let i = 9993 - 9992.89. Put 2, 1/6, -1, i, 0.02 in decreasing order.
2, 1/6, i, 0.02, -1
Let m = 6875 + -6881. Sort -1/6, -0.04, m in ascending order.
m, -1/6, -0.04
Suppose -2*h + 5*d = 4, 19 = 5*h - 23*d + 25*d. Suppose -4*m - 2*w + 16 + 2 = 0, 19 = h*m - 4*w. Sort m, -96, -1 in descending order.
m, -1, -96
Let j(t) = t**2 + 24*t + 108. Suppose 79 = 3*r + 97. Let b be j(r). Let k = 2 + 3. Sort 13, b, k in increasing order.
b, k, 13
Suppose -3*o + 3*v + 9 = 0, -2*v - 5 = 2*o + 9. Let z be 0*(o/6 + (-14)/21). Suppose -4*w + w = z, -4*t = w + 8. Put 5, t, 6 in ascending order.
t, 5, 6
Let z(o) = 2*o - 28. Let g be z(23). Suppose -g*y = -23*y. Suppose y = -5*p - 0*p + 5. Put p, -11, -2 in ascending order.
-11, -2, p
Let c = 83 - 90. Let f be (-4)/(-16)*2*0. Put -4, f, -2, c in decreasing order.
f, -2, -4, c
Let y = -8902 - -8897. Put -30/13, 4/3, y in increasing order.
y, -30/13, 4/3
Suppose 11*h - 50 = 16. Let d be 4 + 14/(-4) + h/4. Let y(s) = 2*s + 1. Let b be y(1). Sort 0, d, b, -2 in decreasing order.
b, d, 0, -2
Let l = 0 - -0.8. Let s = 15.8 - l. Let t = -20 + s. Put t, -0.3, 4, 5 in increasing order.
t, -0.3, 4, 5
Let p = 466 + -476. Let o = -4814/5 + 963. Suppose -a + 9 = -4*a. Put p, a, o in ascending order.
p, a, o
Suppose 0 = 24*u + 416 - 488. Let h = 0.1 - 0.5. Put u, -1/6, h, 0.1 in descending order.
u, 0.1, -1/6, h
Let f be (-2)/6*(-28 - -1489) + -3. Let k be ((-1)/(-2))/(49/f). Let n(g) = g**2 - 5*g + 2. Let j be n(3). Sort -14, j, k.
-14, k, j
Let p = 267 - 260. Let c(u) = -u**3 + 8*u**2 - 5*u - 15. Let m be c(p). Sort -6, 6, m in descending order.
6, m, -6
Let s be 9/16*(-8)/(-60). Let u = -12411 + 12406. Sort s, -1, u, -1/3 in descending order.
s, -1/3, -1, u
Let a be 30/14*79/395. Put a, 0.13, -17 in descending order.
a, 0.13, -17
Suppose 2*r - 484 + 491 = -5*g, 4*r + 3*g + 7 = 0. Put -2, r, 499 in increasing order.
-2, r, 499
Let u(s) = 6*s**2 + 151*s + 20. Let f be u(-25). Let i = -39 - -29. Let l be (-4)/i*(-5 + 6). Sort -14, l, f, -1/2 in descending order.
l, -1/2, f, -14
Let w(q) = 3*q**2 - 2 - q + q**2 + 2*q**2. Let o be w(-1). Let a = -10 + o. Put 0.5, 3/7, a in ascending order.
a, 3/7, 0.5
Let m = 6642.3 + -6647.3. Let s be 4/10 + 226/10. Sort m, s, 4 in decreasing order.
s, 4, m
Suppose -2*h - v - 2*v = 10, 5*h + 5*v + 20 = 0. Suppose 238 = 3*b + 5*o - 0*o, 0 = -4*b + 4*o + 296. Sort b, -3, h in descending order.
b, h, -3
Let a = -173 - -170. Let g = -275 + 268. Put g, 3, a, -4 in descending order.
3, a, -4, g
Let q(i) = 3*i**2 + i - 1. Let w be q(1). Let o = -37661 - -37641. Sort -3, o, w in decreasing order.
w, -3, o
Let d = 2734 - 2734.1. Sort d, -0.2, -1/25, 3 in descending order.
3, -1/25, d, -0.2
Suppose -55*r = -51*r - 52. Let x = r - 9. Suppose u = -2*u + 2*q - 17, 3*u = -x*q + 7. Put u, 1, 2 in descending order.
2, 1, u
Let b = -208903/13 - -16069. Put -57, b, 5 in descending order.
5, b, -57
Suppose 10 = 4*v - 3*h, 111 = 2*v + 5*h + 93. Suppose 5 = 3*s - 16. Put s, -1, 3, v in descending order.
s, v, 3, -1
Let