/5, d, -4
Suppose -w - 2 = -0*w. Let r(n) = n**3 - 6*n**2 - 7*n + 2. Let v be r(7). Sort w, 1, v in decreasing order.
v, 1, w
Let d be 0/(2/(-3 + 2)). Let o = 5 - 6. Let h = -7 + 5. Put d, h, o in decreasing order.
d, o, h
Suppose w - 5 + 1 = 0. Let y = 16 + -14. Put w, y, 3 in descending order.
w, 3, y
Suppose -2 + 12 = -5*x. Let h be (1 + -7)*x/4. Suppose -21*w - 16 + 100 = 0. Sort 0, w, h in descending order.
w, h, 0
Let q = -128.3 + 128. Sort q, -2, -6.
-6, -2, q
Suppose 14 + 1 = -3*i. Put -2, i, 3 in ascending order.
i, -2, 3
Let i(c) = 10*c**3 - 11*c**2 - 10*c - 4. Let o(g) = -3*g**3 + 4*g**2 + 3*g + 1. Let z(x) = 2*i(x) + 7*o(x). Let f be z(6). Sort f, 3, 1 in increasing order.
1, 3, f
Let w = 99 + -106. Put 0.2, -2, w in ascending order.
w, -2, 0.2
Suppose 0 = 5*r + 3 + 7. Let k be r/6 - (-4)/(-6). Let a be (k/(-12))/(1/3). Put -5, a, -1 in decreasing order.
a, -1, -5
Let x(a) = -2*a**2 + a. Let p be x(-1). Let d = 28 - 8. Suppose 2*h - 7 = -i, 8*h = 4*h - 4*i + d. Put p, h, 5 in descending order.
5, h, p
Let p be (3 + 33/(-12))*-1. Put p, 0, -1, 1/8 in ascending order.
-1, p, 0, 1/8
Let q = 0 - -5. Let j = 8 + -7. Sort -2, q, j in ascending order.
-2, j, q
Suppose 4*d - 110 = 10. Suppose -4*k = 2 - d. Let b be (48/k)/3 + -2. Put b, -5, 2 in decreasing order.
2, b, -5
Suppose -5*m + 15 = 0, 3*f + 2*m - 12 = -0*m. Suppose f*o = -2*o - 12. Let p(q) = -q**3 - 9*q**2 - 9*q - 4. Let x be p(-8). Sort x, 5, o in descending order.
5, x, o
Suppose 2*a + 16 = -0*a - 5*j, 2*a - 4*j + 34 = 0. Put 5, a, 1 in increasing order.
a, 1, 5
Let y be ((3 + -6)*(-1)/(-3))/1. Let w = -1 + 1. Sort w, 3, y in decreasing order.
3, w, y
Let h = -8.3 - -8. Suppose n + 27 - 1 = 3*k, -2*n + 38 = 4*k. Let s = 13 - k. Sort s, -4, h in decreasing order.
s, h, -4
Let t be 6*(-3 + 2 - 0). Let z = -10 - t. Let o = -61 - -917/15. Sort 5, z, o in decreasing order.
5, o, z
Let u = -30 - -30. Let p = -4.01 - -4. Let m = p - 1.99. Put m, u, -3 in decreasing order.
u, m, -3
Let r(q) = 5*q + 22. Let k be r(-6). Put 0.1, 3, 2/7, k in decreasing order.
3, 2/7, 0.1, k
Let s(f) = -2*f**2 - 13*f + 3. Let m be s(-7). Put 0.4, 4.2, m in descending order.
4.2, 0.4, m
Suppose 0 = -2*o + 4 - 2. Let p be (-30)/2*(-11)/(-33). Sort 5, o, p.
p, o, 5
Suppose -2 = -0*f - 2*f, 5*x - 4*f + 29 = 0. Put -2, 22, x, -4 in ascending order.
x, -4, -2, 22
Suppose 0 = 14*j - 13*j - 4. Sort j, -2/17, -0.1, 0.1.
-2/17, -0.1, 0.1, j
Suppose 9 = -q + 4*q. Let b be (-16)/40 + (-214)/(-10). Let d = b - 14. Sort q, -2, d in decreasing order.
d, q, -2
Let i = -93/5 + 19. Suppose -4*y + 16 = 2*f, -4*y - 4*f + 26 = y. Suppose -2*x = y*n - 4, 4*x + 5 + 5 = 2*n. Sort i, -0.2, n in ascending order.
-0.2, i, n
Let u be 18/5 - (-15)/(-25). Suppose -a = u*a - 8. Suppose -5*l - 4*t + t - 25 = 0, -4*l + t - 20 = 0. Sort a, -1, l.
l, -1, a
Suppose -5*x = 4*o, 3*x = 5*o - 2*o. Suppose 2*c + c = o. Put -2, c, 1 in decreasing order.
1, c, -2
Suppose 0 = -3*w - 7*c + 10*c + 3, c = 4*w + 11. Sort 1, -5, w.
-5, w, 1
Let v be -1 - -3 - (2 - -2). Suppose 0 = 5*c - 3*u - 1, c + 6*u - 4*u = -5. Let s = 2 + c. Put v, 0, s in increasing order.
v, 0, s
Let k be (6 - 47)/(2/14). Let v = k - -3159/11. Put v, -4, -3 in decreasing order.
v, -3, -4
Let s be (10/(-18))/(4/6). Suppose 4 = q + 2. Suppose -4*v + 6 = 3*c + 29, 16 = -3*v - q*c. Sort v, s, 4.
v, s, 4
Let o(s) = s**3 - 23*s**2 + 22*s - 2. Let a be o(22). Put a, 3, 1 in descending order.
3, 1, a
Suppose 0 = a - 3. Let r be a/(-12) - 10/(-8). Sort r, -2, -1.
-2, -1, r
Let s = -1747/4109 - 2/587. Let i = 9.2 - 9. Sort 2/13, s, i in increasing order.
s, 2/13, i
Let j = 0.04 - -1.96. Let u = 8 - 8.6. Let l = u + 0.2. Sort j, -3/7, l in descending order.
j, l, -3/7
Let o = -23 - -24. Let t be 3 - o - (-6)/2. Sort -4, t, 2 in decreasing order.
t, 2, -4
Let q = 19 + -15. Put q, 1, 2/9 in decreasing order.
q, 1, 2/9
Let r be (-395)/(-15) + -3 - (-4)/6. Put 5, r, 3/5, -5 in ascending order.
-5, 3/5, 5, r
Suppose u = -2*t + 3, -u = 4*t - 0*t - 1. Put -4, 1, u in decreasing order.
u, 1, -4
Suppose 7*x + 5 = 12*x. Sort -4, -1, -30, x.
-30, -4, -1, x
Let j(v) = -v + 13. Let l be j(10). Put 2, -5, l in decreasing order.
l, 2, -5
Let h(d) = 3*d. Let g be h(-1). Let o be (-10)/6 + (-2)/g. Sort 4, o, -4.
-4, o, 4
Let n(s) = -s**3 + 6*s**2 - s + 5. Let l be n(6). Suppose 5*c - 5*d - 40 = 0, c - 3*d = d + 23. Put -2, c, l in decreasing order.
c, l, -2
Let n = -4.6 + 5. Let v = 60 - 62. Put -3, v, n in decreasing order.
n, v, -3
Let f = -0.02 - 0.08. Let y be (-221)/6 - (-6)/(-3). Let w = y + 39. Put f, w, -3 in descending order.
w, f, -3
Suppose 0 = 3*h - 8*h - k + 51, -3*k - 56 = -4*h. Sort h, 4, -2 in increasing order.
-2, 4, h
Let j = -7.7 - -8. Let v = 0.5 - j. Sort -2, v, -0.1 in descending order.
v, -0.1, -2
Let b = -15 - -15.1. Put b, 1/4, -1/2 in descending order.
1/4, b, -1/2
Let s be (-24)/(-84) - 103/(-7). Let p be -2*(s/(-18) - -1). Let b = 3.8 + -0.8. Sort p, b, 0.
p, 0, b
Suppose 5 = -2*h - 5*v, 5*h - 19 - 15 = 3*v. Suppose 3*c - 22 = h*c. Let n = c - -6. Sort n, 5, -1.
n, -1, 5
Let j = -170 - -248.3. Let s = -85 + j. Let b = -7 - s. Sort b, -0.1, -3/5 in increasing order.
-3/5, b, -0.1
Suppose -3*c - 2*i - 1 = 0, -1 = -c - 3*i - 13. Put c, 1, 1/4 in descending order.
c, 1, 1/4
Let v = 1 - 3. Let p be (v/2 - -2) + 4. Suppose -3*g = 2*j - 23, -p*g = j + j - 33. Sort 0, -3, j.
-3, 0, j
Let m = -20 + 13. Let r = -7.6 - m. Let u = r - -0.2. Put 3, 0, u in ascending order.
u, 0, 3
Let b = 26 + -30. Let k be ((-2)/b)/(2/(-4)). Let o be 20/(-6) - 2/3. Sort k, o, 4 in ascending order.
o, k, 4
Let u = 0.5 - -0.1. Let h = -21 - -21.4. Sort h, u, -1/5 in increasing order.
-1/5, h, u
Let i = -21 - -16. Put -2, -3, i, 4 in decreasing order.
4, -2, -3, i
Let w be (-32)/(-6) - (5 - 1). Let k = -0.7 + 1. Sort 3/5, w, k.
k, 3/5, w
Let h = 4 - 6. Let j be (h - 0)*(-1)/14. Let s = j + -17/21. Sort -0.4, 2, s in decreasing order.
2, -0.4, s
Let k = -3 + 3. Suppose -3*y + 1 - 13 = k. Let p(n) = n**2 + 11*n + 10. Let b be p(-10). Sort y, 1, b.
y, b, 1
Suppose 4*g = g. Sort -3, g, 13 in descending order.
13, g, -3
Let b be 3 + (-4)/2 + 2. Let h = b - 3. Suppose 10 + h = -5*r. Put -5, 1, r in descending order.
1, r, -5
Suppose -11*q = -6*q - 20. Put -1, q, -10 in increasing order.
-10, -1, q
Let c = 5.7 + -1.7. Put c, 0, 1/3, 10 in ascending order.
0, 1/3, c, 10
Let u be -1*(-1 + 0 + 5). Let a be 2/(-4)*u/(-6). Let z = -7.8 + 8. Sort 2, z, a in increasing order.
a, z, 2
Let g = -3 - -3.4. Let l = 0.76 + -0.26. Put -2/7, g, l in increasing order.
-2/7, g, l
Let n = 133/156 - 4/39. Put n, 0.2, 4 in descending order.
4, n, 0.2
Suppose k - 96 = -3*k. Suppose -h = h + 4*j + 6, 4*h = 4*j - k. Sort h, -1, 0.1.
h, -1, 0.1
Let h be 6/(-4)*(-8)/3. Let s = 2 - 3. Put 5, s, h in decreasing order.
5, h, s
Let f = 18 - 27. Let i = -11 - f. Sort 4, i, -3 in descending order.
4, i, -3
Let y(c) = -c**3 + 9*c**2 + 21*c + 10. Let s be y(11). Let a = 2/49 - -37/294. Put s, a, 3 in decreasing order.
3, a, s
Let p be 10/(-4)*(-24)/15. Let c = -6 + p. Suppose 0 = -0*v + v. Sort -1, c, v.
c, -1, v
Suppose 12 = -4*b - 8. Put 5, b, -2, -4 in increasing order.
b, -4, -2, 5
Let y = -2.562 + -0.348. Let o = 0.09 - y. Sort o, -0.1, 1/12 in descending order.
o, 1/12, -0.1
Let k = -2 - -2.5. Let m be 1/6 + (-42)/36. Let c = m - 0. Put c, -3, k in decreasing order.
k, c, -3
Suppose 0 = 6*s - 3*s + 54. Let r be 13/s - (-6)/12. Sort 0, r, 1 in decreasing order.
1, 0, r
Let z(n) = 4*n - 4. Let g be z(10). Let i = g + -75/2. Sort -1, 2, i in descending order.
2, -1, i
Let c = 12 - 8. Put -5, -1, c in increasing order.
-5, -1, c
Let l = 38 - 42. Put 4, l, -1.8 in descending order.
4, -1.8, l
Let k = -10 + 4. Let p = k - 0. Let a = p + 5.8. Sort a, -3, 0 in decreasing order.
0, a, -3
Let p(s) = 5*s - 19. Let l be p(3). Sort l, -2, 1/2, -1/6.
l, -2, -1/6, 1/2
Let l = -7 - -6.94. Let b = 24 - 23.5. Put b, l, -3 in descending order.
b, l, -3
Let i = 26 - 21. Sort i, -2, -5 in decreasing order.
i, -2, -5
Let y be (3 - 3) + 2/2. Sort -5, 3, y in decreasing order.
3, y, -5
Let d be -2 + (-50)/(-8)*8/20. Sort d, 3/5, -4.
-4, d, 3/5
Let h be (-2)/(-10) - (-4)/(-5). Sort h, -4, -0.4 in descending order.
-0.4, h, -4
Suppose 2*j + 2*j = -8, a - 10 = 2*j.