 be (0 + 3/(-2))*(1 - 3). Sort g, x, 4 in ascending order.
g, x, 4
Let c = -0.23 + 1.23. Put 5, c, 0 in descending order.
5, c, 0
Let x = -0.2 - 0.3. Suppose q - 4*m = -2*q, -5*q = 4*m. Suppose -6*f + 5*f + 3 = 0. Sort q, x, f in decreasing order.
f, q, x
Let c = -3 + 2.9. Let l = c - -0.5. Let b = -13 + 13.5. Sort b, l, -2/11 in descending order.
b, l, -2/11
Let j be ((-1)/(-2))/((-1)/(-2)). Suppose 0*d - 3*d + 2*h - 17 = 0, -3*h - 7 = 2*d. Sort d, 4, j in decreasing order.
4, j, d
Let s be -2 + ((-36)/(-16))/1. Let a = -0.6 + 0.4. Sort a, s, -4 in descending order.
s, a, -4
Let z(l) = 4*l + 1. Let h be z(-1). Let f = 4 + h. Sort -5, 5, f in ascending order.
-5, f, 5
Let l = 40.3 + -40. Put -0.1, l, -0.7 in descending order.
l, -0.1, -0.7
Let i = 0.31 - 0.81. Let g = 0.1 - 0.3. Sort -3, g, i in decreasing order.
g, i, -3
Let x = 0 - 2. Let z = 0.1 + -0.3. Put z, x, 2/19 in decreasing order.
2/19, z, x
Let o be -3*-1*2/(-2). Let d = 48 - 18. Suppose -2*v - 2*p - 14 = -4*v, 4*v = 5*p + d. Sort -1, o, v.
o, -1, v
Let s = 17 + -11. Put -5, s, 4 in descending order.
s, 4, -5
Suppose 0 = -4*z - 4*l - 4, z + 2*l - 7 = 2*z. Sort 7, 3, z.
z, 3, 7
Suppose -f + 0 + 5 = 0. Suppose -l - f = -2*l. Sort -5, 4, l in decreasing order.
l, 4, -5
Let o(x) = -x**2 + 2*x - 1. Let f be o(2). Suppose 4*m - 9 = 7. Let i be (-4)/(-14) - m/14. Put f, i, 5 in descending order.
5, i, f
Let g = -18 - -17. Put -3, g, -7 in ascending order.
-7, -3, g
Suppose 4*h + 5*r + 30 = 0, 0 = 6*r - 4*r + 4. Put h, 0, 3 in descending order.
3, 0, h
Suppose f - 6 + 2 = 0. Suppose -j = f*j. Sort 5, j, -2.
-2, j, 5
Let d = -114 + 111. Let z = 1 + -5. Put z, 0, d in descending order.
0, d, z
Suppose 4 = 5*i + 2*j, -i + 11 = 3*i - j. Put 0, i, 3 in descending order.
3, i, 0
Let d(h) = -h**2 - 6*h - 6. Let p be d(-5). Put 4, p, -2 in decreasing order.
4, p, -2
Let w = -1.92 - 0.08. Let j = 2 + 0. Let r = j + -2. Put -0.2, w, r in descending order.
r, -0.2, w
Let j(d) = 5*d**3 - 1. Let z be j(1). Suppose 3*a - 21 = -4*v, 0 = 3*a + a - 3*v - 3. Put z, 1, a in increasing order.
1, a, z
Let x be (-7)/(-21) + (-1)/3. Sort x, -5, -2.
-5, -2, x
Let b be (-1 + 6)*4/(-10). Suppose -3*s = -5*s + 4. Let o be s - (1 - 0)/(-1). Put o, b, 1 in descending order.
o, 1, b
Let u be 8/12*(-2 + -1). Suppose -6*h + 2*h = -8. Let j be (-11)/2 - h/(-4). Sort 1, j, u in increasing order.
j, u, 1
Let d(m) = 5*m**3 - m**2 - 2*m - 1. Let i be d(-1). Let r(f) = -f**3 - 5*f**2 - 4. Let g be r(i). Sort -1, 4, g in increasing order.
g, -1, 4
Let r = -10/53 - 712/159. Let f = 59/12 + r. Put f, 0.4, -0.4 in descending order.
0.4, f, -0.4
Let k = -0.6 - -0.5. Let t = -5 - -8. Sort k, 4, t.
k, t, 4
Let w = 30.5 + -31. Sort w, -5, 7.
-5, w, 7
Suppose 0 = 2*j + 2*j - 12. Suppose 0 = -j*k - 0*k. Suppose 0 = -4*b - 4. Sort k, 4, b in ascending order.
b, k, 4
Let y = 7 + -7. Put -3, y, -2/3 in increasing order.
-3, -2/3, y
Let w = -1.4 + 1. Sort 2, w, 0.3 in decreasing order.
2, 0.3, w
Let f = 3.9 + 0.1. Let r = 0.03 + 10.97. Let v = -14 + r. Put v, 0, f in increasing order.
v, 0, f
Let j = 3.6 + -0.6. Let k be (-50)/(-8) - (-16 + 4)/(-3). Put j, -0.5, k in decreasing order.
j, k, -0.5
Let g be (-2 + (-2)/(-4))*-2. Suppose -7 = g*c - 22. Sort c, 0, 4 in decreasing order.
c, 4, 0
Let p = 5 + -5. Let i = -0.3 - p. Put 0, i, 2/3 in descending order.
2/3, 0, i
Let h be 8/(-14) + 34/(-14). Sort 2, h, -38.
-38, h, 2
Suppose 44*p - 49*p + 15 = 0. Put p, -4, 8 in decreasing order.
8, p, -4
Let t(j) be the second derivative of j**3/6 - 3*j**2/2 - 2*j. Let g be t(5). Let o be 1/2*-2*3. Sort o, g, 0.
o, 0, g
Let i = -6.2 - -3.2. Sort -0.1, -2, i, -2/3.
i, -2, -2/3, -0.1
Let k(q) = -3*q + 1. Let v be k(-1). Let t = v - 1. Suppose 4*h + 0*a = 2*a - 16, 5*a - 14 = -t*h. Sort 3, 4, h.
h, 3, 4
Let f = 0.4 + 0. Let g = -0.09 - 0.21. Sort -3, f, g in increasing order.
-3, g, f
Suppose 4 = q - 3*h - 9, -4*q - 2*h = -10. Put 3, q, 5 in descending order.
5, q, 3
Let r(c) = -2*c + 4. Suppose 0 = 6*b - b - 20. Let f be r(b). Let m = -9 + 6. Put m, f, 3 in increasing order.
f, m, 3
Let i = 54 + -38. Suppose -2*s = 2*d + i, -2*d - 4*s - 11 = 7. Let b = 8 + d. Put b, -3, -5 in descending order.
b, -3, -5
Let x = 0.033 - -0.067. Let p = 1625845747/1014 - 1603398. Let c = -1/169 + p. Put x, 1, c in increasing order.
x, c, 1
Suppose 3*x = 2*h - 6*h - 8, 0 = -5*h - 3*x - 13. Let u = 4 - 5. Let b = 10.3 + -10. Sort h, u, b in descending order.
b, u, h
Let m(x) = -x**2 - 3*x - 2. Suppose -6 = -r + 4*r. Let y be m(r). Let d be (3/(-2))/(324/(-48)). Sort 3, d, y.
y, d, 3
Let z = 0.3 - 0.5. Let r = -2 - -6. Sort -0.1, r, z.
z, -0.1, r
Let j = -38 + 35. Sort 1, j, -1 in increasing order.
j, -1, 1
Let i be 2/6 - 2/6. Suppose i = -6*u + u + 25. Sort -2, u, 3.
-2, 3, u
Let v(t) = t**3 - 4*t**2 + t + 5. Let i be v(3). Let b be 0*(-2)/(-4) + i. Sort b, 3, -4 in decreasing order.
3, b, -4
Let g be -15*-3*(-14)/(-105). Suppose 3*a = 4 - 19. Put g, -3, a in descending order.
g, -3, a
Let t = -16 + 13. Sort 2, t, 0 in decreasing order.
2, 0, t
Let d be 15/28 + 2/(-8). Let h be (19/(-38))/(-1*1). Let y = 35/156 + 1/39. Sort y, h, d.
y, d, h
Let b = 2 - 8.5. Let n = b - -6. Let t = -1 + -2. Sort n, -1/5, t in increasing order.
t, n, -1/5
Let n = 18 - 25. Sort 0, -1, n.
n, -1, 0
Let v = -8.97 + 9. Let r = -32 + 31.73. Let n = v - r. Sort -0.3, -2, n in descending order.
n, -0.3, -2
Let o = 56.2 - 47. Let r = o + -9. Put -0.4, 3/5, r in increasing order.
-0.4, r, 3/5
Let i be 1*((-15)/(-33))/(-5). Let y = -5/66 + i. Sort y, 1, 1/6.
y, 1/6, 1
Suppose 2*g - 8 = -2*g. Suppose g*z + 24 = -t - 3*t, -4*z - 2*t - 24 = 0. Sort 0, 0.5, z in increasing order.
z, 0, 0.5
Let v = 0.25 + -0.15. Put v, -1/5, -5 in increasing order.
-5, -1/5, v
Let x = 346/5 - 69. Sort -3, -0.4, x, 0.1 in decreasing order.
x, 0.1, -0.4, -3
Let q = 2.7 - -4.8. Let r = 7 - q. Sort -1, -4/5, r in descending order.
r, -4/5, -1
Let i = -3 - -4. Let x(k) = 2*k - 2*k**2 - k + 0*k + 5*k**2. Let h be x(1). Sort i, h, -1.
-1, i, h
Let b be 12/(-72) - 1/3. Put b, 0, 2/7 in decreasing order.
2/7, 0, b
Let n = 4 + -5. Sort -0.3, n, -5 in ascending order.
-5, n, -0.3
Suppose s + 4*f = -2, 2*f + 3 = -3. Suppose 6*x - 8*x = s. Sort 1/5, 0.4, x in increasing order.
x, 1/5, 0.4
Let w(s) = -s**2 + 10*s - 4. Let b be w(6). Suppose 0 = -3*q - 2*q - b. Sort -5, q, -1 in descending order.
-1, q, -5
Let r be -4*(-2)/8 + 1. Let j = 1 + -0.7. Sort 4, r, j in ascending order.
j, r, 4
Suppose -2*p + 13 = j, 0 = 4*p - 12 - 8. Sort 4, j, 32, -4 in decreasing order.
32, 4, j, -4
Let v be (-40)/25*15/(-6). Sort v, -3, 3, 1.
-3, 1, 3, v
Let q = 3 + 0. Suppose -6 = -q*c + 9. Put c, -3, -5 in ascending order.
-5, -3, c
Let k = -46 - -89/2. Let t be 59/(-1) - (-5 - -6). Let g = 239/4 + t. Sort k, g, -3 in increasing order.
-3, k, g
Let q = -23 - -40. Suppose 4*l = -3*w + 5, -2*w + 5*l = 2*w - q. Sort -5, w, -1.
-5, -1, w
Let i be 2/4 + 12/8. Let s be (3 - 0)/((-6)/(-4)). Suppose -9 = -4*j - s*p - 3, -i = -2*p. Sort 5, -3, j.
-3, j, 5
Let w = -11.6 + 11. Let l = 2.6 + w. Suppose -2*h - 3*q - 2 = 0, -h + 3*q = -6*h - 5. Put l, h, -5/4 in descending order.
l, h, -5/4
Let z be 16/(-12) - (-10)/(-6). Let h be (-6)/z - 2 - -3. Suppose 2*u = 6*u. Sort h, u, -3 in ascending order.
-3, u, h
Let x(t) = 2*t**3 - 2*t**2 + 1. Let z be x(1). Suppose 16 = -4*p - 0*p. Sort p, 2, z in increasing order.
p, z, 2
Let u = -1 + 10. Suppose u = -l - 2*l. Let h = 10 + -6. Put -2, h, l in decreasing order.
h, -2, l
Suppose 2*p - 2 = -0. Let c be 0/2*2/4. Let d = c + -1. Sort 4, d, p in descending order.
4, p, d
Let u be (-2 - -2)*(-12 + 13). Let q = 4 - 2. Sort u, q, -4 in ascending order.
-4, u, q
Let y = -0.6 - 4.4. Let k = y - 0. Sort k, 4, 2 in decreasing order.
4, 2, k
Let s = -0.81 + 0.11. Let x = -0.4 - s. Let c = -6 - -5.6. Sort c, x, -1 in descending order.
x, c, -1
Suppose -4*d + i = -3, 2*d - 15 = 7*d - 5*i. Let w = -0.15 - -0.49. Let f = w + 0.06. Sort -0.2, f, d in descending order.
d, f, -0.2
Let k = -12 - -12. Suppose -2*d = -k*d. Put 1, -2, d in decreasing order.
1, d, -2
Let b(x) = x**3 - 6*x**2 - 7*x - 4. Let n be b(7). Put n, -5, -6, 1 in descending order.
1, n, -5, -6
Let l = -12 - -7. Put 4, -2, l in increasing order.
l, -2, 4
Suppose -5*c + 3 +