1, 5 in increasing order.
-1, u, 5
Let o = -1/48 - 31/48. Sort -4, -3, o in increasing order.
-4, -3, o
Let f be (-8)/3*(-24)/16. Let l = -1 + 4. Suppose y + 4*h = -3*y - 12, l*y + 4*h = -14. Put f, 0, y in increasing order.
0, y, f
Let r be -4*((-45)/12)/3. Suppose 3*d + 6 = 3*v, -3*d = 4*v + r + 1. Let x(k) = k - 5. Let t be x(v). Put 1, 0, t in increasing order.
t, 0, 1
Suppose t - 2 = w, -w = -2*t - t + 12. Sort w, -5, -1 in descending order.
w, -1, -5
Let x(v) = v + 13. Let i be x(0). Suppose -b - 3 + i = -4*o, -4*o - 4 = -4*b. Sort -1/4, o, -2 in descending order.
-1/4, -2, o
Suppose -7 - 3 = -2*y. Put y, 2, 4 in increasing order.
2, 4, y
Let q be ((-10)/4 + 2)*2. Let t be ((-2)/(-6))/(7 - 8). Sort -3, q, t.
-3, q, t
Let q(r) = -5*r. Let y be q(1). Suppose 3*m = -2*h + 3*h - 11, 2*h = -5*m. Suppose -2*z = h*w - 17, 3*w - 11 = 4*z + 20. Put z, 3, y in decreasing order.
3, z, y
Let g = -24.5 + 36. Let s = -11 + g. Let w = 4.08 + -0.08. Sort -0.5, s, w in descending order.
w, s, -0.5
Suppose -6 = -5*v + f, 0 = v + 2*f - 10. Let h be ((-2)/28)/(v/1776). Let m = h - -63. Sort m, 2/7, -2/9 in ascending order.
m, -2/9, 2/7
Let x be 33/6*4/2. Suppose 0 = -2*v - 3*h + 2 - 1, h = 5*v - x. Suppose 4 - 2 = v*q. Sort 0, q, -4 in decreasing order.
q, 0, -4
Suppose 4*q + q = 3*p + 5, 5*q - 2*p = 0. Let m = -3 - -1. Let w be 2 + -2 + q/m. Sort -1, w, -3.
-3, -1, w
Suppose y - 12 = 6*k - 2*k, 4*y = 5*k + 15. Let t(r) = -r**2 - 8*r - 6. Let c be t(-7). Let f be c/(2*(-1)/(-2)). Sort f, -1, k in decreasing order.
f, -1, k
Let w = 0.012 - -0.988. Suppose -5*l + l = 16. Sort -3/2, l, w.
l, -3/2, w
Let k(v) = v - 8. Let q be k(12). Put -1, -10, q in ascending order.
-10, -1, q
Let a(g) = 4*g**2. Let n(k) = -k**2 + 1. Let f be n(0). Let h be a(f). Sort -2, h, 5 in decreasing order.
5, h, -2
Suppose 3*f - 6 = f. Suppose 3*q + 18 = f*z, -z = 2*z - 4*q - 20. Sort 5, z, 1 in increasing order.
1, z, 5
Suppose 5*a + 8 = 3*y - 6, 0 = 4*a - 20. Let t = -21 + y. Let k = t - -6. Put k, -4, 2 in ascending order.
-4, k, 2
Suppose -21 + 23 = -2*x. Sort 6/5, -4/11, x in decreasing order.
6/5, -4/11, x
Let b(a) = -a**2 - 8*a - 4. Let v be b(-7). Suppose 3*c = -3 - v. Put 3, c, -5 in increasing order.
-5, c, 3
Let g be (-9)/(-2) + (-15)/30. Sort -5, 2, g, -3 in ascending order.
-5, -3, 2, g
Let j = -8 + 8.3. Suppose -2*w + 4*w + 4 = 0. Sort w, -4/3, j in decreasing order.
j, -4/3, w
Let w be -2 - (4 - (5 - 2)). Put 3/8, 2/7, w in increasing order.
w, 2/7, 3/8
Let t = -5 - -5.4. Let s = -241/434 + -1/62. Sort -3, t, s in decreasing order.
t, s, -3
Suppose 6 = 2*u + 4*p, -5*u = -3*p - 2*p - 60. Sort 3, u, -4 in descending order.
u, 3, -4
Suppose 13*p = 16*p + 15. Put -2, p, 0 in decreasing order.
0, -2, p
Let w = 37 + -37.4. Let a = -16 + 11. Put w, a, 0.3 in descending order.
0.3, w, a
Let j = -242/35 + 36/5. Sort 0.3, 2/3, -2, j in descending order.
2/3, 0.3, j, -2
Suppose -2*d = 3*r + 9, -5*r - 5 = 3*d + 11. Sort -1, 5, r, 0 in decreasing order.
5, 0, -1, r
Let i be 18/(-4)*18/27. Sort 4, i, 2.
i, 2, 4
Let u be (-2)/(-3)*162/36. Let t = -8 - -5. Let j be ((-2)/(-3))/((-1)/3). Put j, u, t in ascending order.
t, j, u
Let f be (-156)/(-30) - 2/10. Let w(i) be the second derivative of i**4/12 - i**3/2 + 3*i**2/2 - 2*i. Let p be w(3). Put -5, p, f in decreasing order.
f, p, -5
Let j = 10 - 6. Sort j, -4, 0.4 in descending order.
j, 0.4, -4
Let g = 16 + -15.89. Sort g, 0.1, -3.
-3, 0.1, g
Let p(f) = f - 5. Suppose -3*y - 2*y + 45 = 0. Let l be p(y). Put 3, l, -2 in ascending order.
-2, 3, l
Let p be -1*32/(-20) + -2. Sort -3/4, p, -0.5 in increasing order.
-3/4, -0.5, p
Suppose -13 = -4*s - 9. Put -2, s, -4 in ascending order.
-4, -2, s
Let d be 3/(-15) - (-24)/(-5). Suppose -5*f = -2*f - 12. Sort -1, d, f in decreasing order.
f, -1, d
Suppose -5*w + 6 = 21. Put 5, 41, w in decreasing order.
41, 5, w
Let z = -25.4 + 23. Let i = -0.6 + z. Put i, -0.3, 4 in decreasing order.
4, -0.3, i
Suppose -3*u - 8 = 7. Let j be 4/6 - 11/3. Let o(t) = t**3 + 2*t**2 - 4*t. Let i be o(j). Put 0, i, u in increasing order.
u, 0, i
Let i = 0 - -0.2. Let k = -3.1 - -2.1. Let v = 0.9 + -0.6. Sort k, i, v in decreasing order.
v, i, k
Suppose 0 = 2*f - 24 + 10. Sort -2, -4, f, 2.
-4, -2, 2, f
Let i = 962 - 958.03. Let t = i - -0.03. Put -4, t, -1/4 in decreasing order.
t, -1/4, -4
Let u be 0*1*3/(-6). Suppose 3*j + 5*t = u, -5*t - 25 = -2*j - 0*j. Suppose -5*s = -25, j*k + s + 4 + 6 = 0. Put k, 0.4, 4 in increasing order.
k, 0.4, 4
Let j = 40 + -39. Sort j, -4, 0.4.
-4, 0.4, j
Let u = -70 - -66. Sort -1, -5, u in decreasing order.
-1, u, -5
Let v be 4*1 + 22 + -5. Let g = v + -19. Sort g, -3, 1.
-3, 1, g
Let r = 0.06 + -0.46. Let t = 11 + -10.7. Let x = r + t. Put 0.2, -0.5, x in increasing order.
-0.5, x, 0.2
Suppose 7*v - v = 0. Sort -2/9, 0.5, v in descending order.
0.5, v, -2/9
Let k = -36 - -41. Sort -1, 7, k, 0 in descending order.
7, k, 0, -1
Let x = 12 + -6. Let w = 1417/3 - 472. Put x, w, -3/5 in descending order.
x, w, -3/5
Let p = -3 + 6. Suppose p*l - 4*u + 9 = 0, -4*u + 2*u = -l - 3. Sort 4, 5, l.
l, 4, 5
Let o = 4 + -2. Suppose -5*c + 3*i = 2*i + 20, -i = c - 2. Sort 4, c, o in increasing order.
c, o, 4
Let c(f) = 6*f - 1. Let o be c(1). Let l(s) = -s**3 + 4*s**2 + 4*s + 3. Let v be l(o). Sort -5, -6, v in increasing order.
-6, -5, v
Let s(o) = -o**2 + 6*o + 2. Let q be s(7). Sort q, -1/4, -0.01.
q, -1/4, -0.01
Let d be (2/(-2) + 1)/(-2). Let p be 12/(-50)*(7/(-2) - -1). Sort d, -3, p in descending order.
p, d, -3
Let u = 0.1 - 0.09. Let f = 3.01 - u. Sort f, 4, 2.
2, f, 4
Let v = 5.6 - 0.6. Put -2, v, 0 in increasing order.
-2, 0, v
Let w = 390 + -2345/6. Let y = w - -1. Let b = 30 - 212/7. Sort y, 0.1, b.
b, 0.1, y
Let g = 0.06 + 0.34. Put g, 4, -1/2 in ascending order.
-1/2, g, 4
Let r(u) = -u - 1. Let l be r(-8). Suppose -4*v + 3*b - 12 = 0, -b + 3 = 5*v - 1. Put -2, v, l in descending order.
l, v, -2
Let a = 16.7 + -17.1. Put -0.1, -3, a in decreasing order.
-0.1, a, -3
Let s = 5 + -8. Put -1, 4, s, 1 in decreasing order.
4, 1, -1, s
Let o = 139/60 - 16/15. Sort o, 0.4, -1/3, -0.2.
-1/3, -0.2, 0.4, o
Let j = 0.6 - 0. Let m = 2.4 + j. Let v = -6 - -8. Sort m, -3, v in descending order.
m, v, -3
Suppose 2*g + 3*q = 5*g + 54, -g - 22 = -5*q. Let v = g - -12. Sort 4, 2, v.
v, 2, 4
Let a(s) = -s**2 - 11*s - 3. Suppose 2*b + z + 21 = 0, 2*b = -0*b + z - 11. Let r be a(b). Let n be (-26)/7 + (-6)/r. Sort 1, n, 4 in decreasing order.
4, 1, n
Let l = -0.04 + 5.04. Let u = 0.33 + -0.03. Sort l, -2/17, u in decreasing order.
l, u, -2/17
Let r be (-44)/(-8) - (-3)/6. Sort r, 3, -4 in increasing order.
-4, 3, r
Suppose -120 = 6*v - 3*v. Let w be (-16)/10 - (-16)/v. Let o(n) = -n**2 - 6*n - 5. Let g be o(-5). Put w, 4, g in ascending order.
w, g, 4
Suppose -4*z + 12 = -0. Suppose -2*b - 9 = k, -2*b - 9*k + 21 = -14*k. Sort b, z, 6.
b, z, 6
Let b = 7038/35 - 201. Let c = b + 12/35. Sort -5, -3/2, c.
-5, -3/2, c
Let f = 25/68 + -2/17. Let p be ((-87)/133 - -1) + -1. Let z = p - -7/19. Put f, z, -0.4 in ascending order.
-0.4, z, f
Let g = 1 - 0. Let y(l) be the second derivative of l**3/6 + 4*l**2 + l. Let w be y(-5). Put -5, g, w in decreasing order.
w, g, -5
Let h = 97 - 99. Sort 0.3, h, -0.5, 2.
h, -0.5, 0.3, 2
Let b = 0.04 + -0.17. Let h = b - -1.13. Suppose -2*m + 0*m + 4 = 0. Put h, m, 1/3 in descending order.
m, h, 1/3
Let x = 10 - 9.98. Let m = x + -3.02. Sort -1/5, m, -3/7 in descending order.
-1/5, -3/7, m
Let h(v) = -6*v + 31. Let t be h(5). Suppose -1 - 3 = -2*o. Let f be (2 - 4)*o/(-7). Sort f, -1/2, t.
-1/2, f, t
Let j(x) be the second derivative of x**4/12 + 5*x**3/6 - x**2/2 + 5*x. Let s be j(-4). Let l be 1/(1*2/2). Put 0, l, s in descending order.
l, 0, s
Let q = -377 - -375. Let f(c) = -c**2 + 1. Let s be f(0). Let l(z) = 6*z**3 - z**2 - z + 1. Let w be l(s). Sort w, q, -5 in decreasing order.
w, q, -5
Suppose 0 = -j + 2*j - 1. Sort -3, j, -1 in ascending order.
-3, -1, j
Let w(d) be the third derivative of -d**5/60 - 7*d**4/24 - d**3/2 - 6*d**2. Let y be w(-6). Sort y, 1, -1 in decreasing order.
y, 1, -1
Let h(q) = -3*q + 38. Let o be h(16). Sort 4, o, 0.1 in descending order.
4, 0.1, o
Suppose 3*j = c - 18, 4*c - 2 = -j + 5. Sort 1, j, -4 in increasing order.
j, -4, 1
Let o be