 in decreasing order.
f, 2, 1
Let a = -2000 + 2013. Sort a, 1, -3, 5 in increasing order.
-3, 1, 5, a
Let h = 12.6 - 13. Let y be 8272/(-60) - (-1 + 2). Let x = y - -139. Put x, h, 0 in descending order.
x, 0, h
Let c(y) = -2*y**2 - 2*y + 6. Let l be c(1). Put 4, 38, l in increasing order.
l, 4, 38
Let n(s) = -9*s - 1. Let v be n(1). Let g be 0 + (-1)/2*v. Suppose -y + g*y + 16 = 0. Sort -2, y, -1.
y, -2, -1
Suppose -14 = -3*s + 4*s + 4*c, 28 = -4*s - 2*c. Let u = -15 - -6. Let t be (3 + u)*2/s. Put 0, t, 5 in ascending order.
0, t, 5
Let u = 0.005 + -65.005. Let i = u - -68. Put -5, 0.3, -21, i in increasing order.
-21, -5, 0.3, i
Let q = -3614 + 3606. Let c(x) = x**3 + 6*x**2 + 4*x - 5. Let o be c(-5). Put -5, o, q in descending order.
o, -5, q
Suppose 3*r + 4 - 19 = 0. Let d = 9 - 5. Suppose 4*o + 2 = -2*u - 6, -3*o + 5 = -4*u. Sort u, d, r in ascending order.
u, d, r
Let b = -534 + 507. Sort -2, -3, -5, b in decreasing order.
-2, -3, -5, b
Suppose 2*q + 0*l + 31 = -3*l, -5*q + l = 69. Let z be (-6)/27 - q/36. Put -2/13, -2, z, 4/11 in increasing order.
-2, -2/13, z, 4/11
Let i = -63 + 108. Let w = i + -80. Let k = w + 31. Sort k, -6, 2/7 in descending order.
2/7, k, -6
Let h(j) = -j**2 + 10*j - 10. Let q be h(9). Let a = 2 - q. Suppose 45*o - 56*o + 55 = 0. Sort a, 14, o in increasing order.
a, o, 14
Let k(d) = 6*d - 62. Let a be k(10). Sort -3, 5, 3, a in decreasing order.
5, 3, a, -3
Let m be -6 - (6/(-4) - (-70)/(-28)). Sort m, 1, -80, -3 in descending order.
1, m, -3, -80
Suppose -72*j + 77*j = 0. Let p = 15 + -15.2. Sort -1/4, -0.05, j, p in ascending order.
-1/4, p, -0.05, j
Suppose -20*g + 5*g = -60. Put 5, -1, g, -3 in decreasing order.
5, g, -1, -3
Let o be (-13 - 268/(-20))*(-5)/(-19). Sort 5/2, 1, -1, o.
-1, o, 1, 5/2
Suppose 0 = -3*o - 2*j + 1, 5*o + 0*o + 1 = -2*j. Sort -38, o, -4, 4 in descending order.
4, o, -4, -38
Let o = 52 + -52.4. Let f = 0.1 + 0.3. Let k be (-10)/(-25) - 32/30. Sort o, k, f in decreasing order.
f, o, k
Let g = 860.6 - 861. Put -1/3, g, -1/28, -6 in descending order.
-1/28, -1/3, g, -6
Let p(h) be the third derivative of 0 + 1/24*h**4 + 0*h - 7/6*h**3 - 2*h**2. Let i be p(6). Sort i, 2/11, -2/9.
i, -2/9, 2/11
Suppose -2*r + 10 = 2*z, -20 = -4*r + z - 0*z. Suppose 0 = r*x - 10*x. Put 4, x, -5 in decreasing order.
4, x, -5
Let y be (-2)/(-5) + 19/15. Suppose -5*g - 3*m - 46 = 0, 0*g - 5*m = -g + 2. Let p = -9 - g. Sort 3, y, p in descending order.
3, y, p
Suppose -5*d + 5*g = -10, -4*d + 4 = -2*d - 5*g. Let j(q) = d - 2 + 2*q + 4 + 0. Let z be j(-4). Put z, 3, 1 in increasing order.
z, 1, 3
Suppose b - 2*y = 6*b - 40, 0 = -b + 4*y - 14. Let h be ((-4)/b)/(2/6). Let l be h + 5/(15/21). Put 0, l, -1 in descending order.
l, 0, -1
Suppose -5*u + 19 = 4. Let w be (115/(-55) + 350/(-385))*(-1)/(-1). Put w, 11, u in descending order.
11, u, w
Let p = -617 + 613. Sort -8, 4, p in ascending order.
-8, p, 4
Let p = 92 + -275/3. Let t = 4.4 - 12.4. Put t, p, -3 in increasing order.
t, -3, p
Suppose 4*l + 0 = -2*m + 16, 0 = -3*l + 4*m + 12. Suppose 4*d + 20 = -d. Let b = -20240 - -20245. Sort d, b, l in descending order.
b, l, d
Let l = 32.948 - -0.052. Let v = l - 30.9. Let w = -0.1 + v. Sort 3, -4, w in descending order.
3, w, -4
Suppose -2*z - 3*p + 19 = 0, 2*p - 11 = -5*z + 20. Suppose 4*h = 16, -k - 2*h - 14 = -z*h. Suppose -16 = -56*o + 52*o. Sort -4, o, k in ascending order.
-4, k, o
Suppose 4*c = g + 11, -44*c + 45*c = -3*g - 7. Sort 9, -4, g, 15 in decreasing order.
15, 9, g, -4
Let q(w) = w**3 + 27*w**2 + 24*w - 54. Let h be q(-26). Put 8, -1, 0, h in increasing order.
h, -1, 0, 8
Suppose -4*m + 11 + 1 = 0. Let g = -13 - -9. Sort m, -12, g in descending order.
m, g, -12
Suppose 5*h + 5*m - 1 = 3*m, -m = 5*h - 3. Let i be h + (-2 + 4 - 7). Suppose 0 = -t + 3*z + 5, 0 = -3*t - t - 4*z - 44. Put t, i, 0.1 in descending order.
0.1, i, t
Let r be (-12)/(-22) + 96/66 + -1. Sort 3, 2, r, 96 in ascending order.
r, 2, 3, 96
Let k = 359.9 + -360. Sort 60, 0, k.
k, 0, 60
Let a be (-80)/36 - 10/(-45). Suppose l = -u + 3 - 1, l = 5*u + 8. Let z be (u/1)/((-1)/3). Put 1, z, a in decreasing order.
z, 1, a
Suppose -3*q - 5*c + 15 = q, 5*q = -c + 24. Let r be 453/(-2114)*(-14)/6. Put r, q, 4, 0 in ascending order.
0, r, 4, q
Let w = 451 - 426. Put -2/13, w, 3 in ascending order.
-2/13, 3, w
Let w(r) = r + 1. Let l(x) = -2*x - 1. Let g(o) = 2*l(o) + 3*w(o). Let d be g(-1). Let u be -1*2/(-2) - d. Sort 6/5, -0.4, u in ascending order.
u, -0.4, 6/5
Let v = 380 + -380. Let n(k) = -k**2 - 7*k + 4. Let p be n(-8). Sort v, -5, -3, p in increasing order.
-5, p, -3, v
Let m(h) = -h**2 + h + 2. Let k(q) = -q**3 + 6*q**2 - 6*q - 11. Let a(n) = -2*k(n) - 11*m(n). Let t be a(1). Put -11, t, -3, -4 in decreasing order.
t, -3, -4, -11
Let z = 3.08 - 2.68. Let l = -3.35 + 0.65. Let p = 3 + l. Put p, -2/7, z in increasing order.
-2/7, p, z
Suppose -k = 2*h - 2, -1 = -k - 3*h + 3. Let n = -65 - -65. Put -1, 6, k, n in decreasing order.
6, n, -1, k
Let a(c) = c - 7. Let t(b) = -b**2 - 7*b - 2. Let v be t(-6). Suppose v*i - 3*r = 32, 4*i - 12 = -r - r. Let w be a(i). Put w, 3, 0 in increasing order.
w, 0, 3
Let q = -0.0767 + 19.0767. Put q, 0.15, -1/3 in descending order.
q, 0.15, -1/3
Let l = -2.887 - 1.113. Let x(i) = -i**3 - 5*i**2 - 3*i + 1. Let w be x(-4). Sort l, 0.02, w in increasing order.
l, w, 0.02
Let w be (-8)/(-20) + 12/20. Let v = -25 + 24. Sort w, -5, v in increasing order.
-5, v, w
Let o = 137 + -551/4. Let v = 218 + -4359/20. Let k = -3/20 - v. Sort k, -1, o in increasing order.
-1, o, k
Let f(y) = -y**3 - 22*y**2 - 39*y + 23. Let v be f(-20). Put 111, 2, v in descending order.
111, v, 2
Let k = 46 - 45. Let p be (-10)/(-15) - (-3 - (-46)/6). Put 5, k, p, 27 in descending order.
27, 5, k, p
Suppose 54*o + 14*o - 272 = 0. Sort 2/3, -3, 5, o in decreasing order.
5, o, 2/3, -3
Let k(c) = -c - 2. Let r = 4 - -1. Suppose -f + r*g = -0 + 1, 4 = -4*f - 5*g. Let d be k(f). Sort -5, d, 3.
-5, d, 3
Let i(w) = w + 6. Let x be i(-11). Let l(v) = v**3 + v**2 - v. Let g be l(0). Let z be (3/6)/((-8)/(-64)). Put z, g, x in ascending order.
x, g, z
Suppose -11 = -26*l + 67. Sort 15, l, 5 in decreasing order.
15, 5, l
Let o(x) be the third derivative of x**5/60 + x**4/12 - 3*x**3/2 - x**2. Let p be o(-4). Sort 4, 0, p in decreasing order.
4, 0, p
Let k = 0.2 - -0.1. Let j = 60.5 - 60.6. Sort j, -3, k, 23 in increasing order.
-3, j, k, 23
Let a = 38/85 + -11/17. Let g = 3.6 + -0.6. Sort -3, g, a.
-3, a, g
Let i = 2.2 - 3.9. Let o = -0.3 - i. Let v = o + -0.7. Put v, 1/4, 3 in decreasing order.
3, v, 1/4
Suppose -j - 14*j = 300. Sort j, 3, 1 in ascending order.
j, 1, 3
Let h = -97 - -179. Suppose 0 = -4*p + h - 26. Put -3, 2, p, 0 in increasing order.
-3, 0, 2, p
Suppose r + 11 = -5*b, -5*b - 2 = 3*r + 21. Let s be ((-4)/6)/(r/36). Suppose 2 + 2 = -s*v. Put -4, 0, v in descending order.
0, v, -4
Let n = -2.5 + 5.5. Let y = 11.69 + 0.31. Sort 0, n, y in decreasing order.
y, n, 0
Let m = -0.002 + -0.498. Put m, -0.3, -0.06, 3 in increasing order.
m, -0.3, -0.06, 3
Suppose 0*q + 5*q - 20 = 0. Suppose -q = -r + 2*r. Let g(m) = 2*m - 45. Let n be g(21). Put 3, r, n in decreasing order.
3, n, r
Let b = -1 - 1. Let h = -1.59 + -0.71. Let r = h - b. Put -1, r, -5 in decreasing order.
r, -1, -5
Let d(s) = 3*s**2 + 1. Let g be d(-1). Let m be (-2 + 4)*6/g. Let p(v) = -2*v**2 + 32*v - 115. Let i be p(10). Sort m, i, -3 in ascending order.
-3, m, i
Suppose -14*b + 16 = -22*b. Let v = -0.46 + 0.06. Sort 3, b, v in increasing order.
b, v, 3
Let b be ((-392)/(-21))/7*(-6)/4. Let s be (24/(-40))/(b/(-5) + -1). Suppose -c + 3 = 2*c + 4*d, 3*c - 3 = 3*d. Sort c, s, -1 in increasing order.
-1, c, s
Let m(v) = 5*v**2 + 5*v + 4. Let p be m(-2). Let d be 1*(-3)/7 - (-20)/p. Sort -5, -3, d, -2 in decreasing order.
d, -2, -3, -5
Let g = -366 + 361. Let v(m) = m**3 + 5*m**2 + m + 6. Let r be v(-5). Let s be r/(-1)*(0 - -1). Sort g, 0, s in decreasing order.
0, s, g
Let n = -496 - -358. Put 2/5, n, 0.2 in increasing order.
n, 0.2, 2/5
Let d = -659 - -655. Sort d, -2, -44, -3.
-44, d, -3, -2
Suppose 0 = -3*p + 7*v - 4*v + 9, 3*v - 33 = -4*p. Let d = p - 14/3. Let f = -95/306 + 3/34. Sort f, -0.2, d in descending order.
d, -0.2, f
Let g(l) be the second derivative of 