se t = -6*c + 4*c. Put c, 0, 1 in decreasing order.
1, 0, c
Suppose -p - h + 38 = 2*h, -p + 3*h + 62 = 0. Let a = p - 48. Sort 1, 0, a in decreasing order.
a, 1, 0
Suppose -4 = 44*q - 42*q. Let p be (1 + 5)/q + 4 + 0. Suppose -1 - 5 = 3*c. Put c, 5, p in ascending order.
c, p, 5
Let p = -8.97 - -9.06. Sort 0, p, 4 in decreasing order.
4, p, 0
Let n be (6/4*(-20)/(-30))/(-1). Sort 0.3, 3, 4/7, n in decreasing order.
3, 4/7, 0.3, n
Let v = 0.12 + 0.18. Let u = -0.31 + v. Let j = u + 0.11. Sort -0.5, j, -4 in ascending order.
-4, -0.5, j
Let m be (-2)/(-1 - 6/(-10)). Suppose -220 = x - 215. Put m, 2, x, 3 in descending order.
m, 3, 2, x
Suppose -209 + 25 = 46*q. Put q, 8, 5, -2 in increasing order.
q, -2, 5, 8
Suppose 32 + 19 = -17*c. Put -10, -4, 9, c in descending order.
9, c, -4, -10
Suppose -9*d + 77 - 203 = 0. Sort -4, 5, d, -3.
d, -4, -3, 5
Let t = 110921/12 - 9236. Let n = -31/4 + t. Let q = -0.1 + 0.06. Sort n, -0.5, q.
-0.5, n, q
Let h(f) = 3*f - 18. Suppose 2*r + 2*o - 17 - 1 = 0, -r - 2*o + 12 = 0. Let t be h(r). Put 4, t, 5 in decreasing order.
5, 4, t
Suppose -b - 24*z + 4 = -21*z, 3*b - 3*z = -12. Sort 1, 33, b in increasing order.
b, 1, 33
Suppose 2*f - 210 = 5*j, 0 = -4*j - 29*f + 31*f - 168. Put -8, j, 3 in increasing order.
j, -8, 3
Let k = -13 + 12. Let d be k + (-3 - (1 - 3)). Let f(m) = -m**2 + 4*m + 8. Let s be f(6). Put d, s, -1 in increasing order.
s, d, -1
Let t be -22*(-15)/50 + -7. Sort t, -6.2, -0.2 in increasing order.
-6.2, t, -0.2
Suppose -j + 3 = -v - 0, 0 = -v - 2*j + 9. Let r be (-21)/2 + (1 - (-30)/(-12)). Put -1, v, r in decreasing order.
v, -1, r
Suppose 5*z - 2 = 8. Suppose 0*u - z = -2*u. Let m be (-14)/(-6) - (-4)/(-12). Sort 2/7, m, u in decreasing order.
m, u, 2/7
Let x = -726 - -731. Sort -4, -0.8, -1, x in descending order.
x, -0.8, -1, -4
Let p = 555 - 554. Put -0.4, 2, p in ascending order.
-0.4, p, 2
Let n = 17 + -19. Let h be ((-2)/(-4))/(n/(-20)). Sort -2, h, -5 in decreasing order.
h, -2, -5
Let u = 68 + -14. Let a be (-20)/(-15)*u/(-4). Let z be ((-6)/18)/((-2)/a). Sort 3, -5, z in decreasing order.
3, z, -5
Let s = -10 + 27. Let k = 15.5 - s. Let v = -1.9 - k. Put 2/7, v, 3 in ascending order.
v, 2/7, 3
Let y = 2697 - 2696. Put 576, -2, y, -3 in decreasing order.
576, y, -2, -3
Let k = -141 + 141.06. Let a = -1.94 - k. Let j = 0.1 - 0.6. Sort a, 0, j in ascending order.
a, j, 0
Let s(x) = -x**3 - 5*x**2 - 6*x - 8. Suppose 0*y - 33 = 2*y - 5*p, -p = -3*y - 17. Let f be s(y). Put 5, f, 15 in ascending order.
f, 5, 15
Let s = -166 + 176. Suppose -s*y - 34 = -27*y. Let p(q) = 3*q**3 - 2*q**2 - q. Let n be p(-1). Sort y, n, -2.
n, -2, y
Let y = 0.772 + -0.872. Sort -0.5, 0, -2, y.
-2, -0.5, y, 0
Let r(w) = 35*w**2 - 8*w - 63*w**2 + 29*w**2 - 2. Let z be r(8). Sort z, 5, -4 in decreasing order.
5, z, -4
Let y(g) = 5*g + 2. Let f(a) = 2*a + 1. Let u(t) = 9*f(t) - 4*y(t). Let z be u(-2). Sort z, -1, -4 in decreasing order.
z, -1, -4
Suppose s + 4*i = -29, 11*s - 7*s + 2*i = -144. Sort 5, s, 0, 3 in ascending order.
s, 0, 3, 5
Suppose 2*n - 10 = 4*c, 0*n + 4*c = -4*n - 4. Suppose -21*d + 25*d = 64. Suppose 5*p = d - n. Put -3, p, 4 in increasing order.
-3, p, 4
Let p = -7 + 3. Suppose 2*x + 6 = 0, -3 = 3*a - 5*a + x. Put p, a, 5 in increasing order.
p, a, 5
Let k = 9.5 + -6. Let b = k + -4. Let n = 8 + -7. Sort b, n, 4/5 in decreasing order.
n, 4/5, b
Let l(d) = 8*d - 18. Let m be l(-5). Let o = m + 48. Let c be (-5)/15 - 28/6. Sort o, 4, c in decreasing order.
4, c, o
Let v(k) = -k**2 - 25*k + 83. Let f be v(-28). Sort 1, f, -1/2.
f, -1/2, 1
Let d(s) = s**3 + 18*s**2 - 3*s - 31. Let t be d(-18). Let p = -32 + t. Put p, -4, -2 in increasing order.
p, -4, -2
Let m be 7/((-56)/12)*16/6. Let i be (-171)/21 - -5 - m. Sort 1, i, -2/5 in ascending order.
-2/5, i, 1
Let w = 115 - 104. Let d(g) = 2*g - 23. Let x be d(w). Sort 3, x, 5 in ascending order.
x, 3, 5
Let h = -34 + 43. Suppose -3*k - 17 = -5*r, 13*r - 9*r = 4*k + 20. Sort r, 3, h in descending order.
h, 3, r
Let m be -3*(-5)/(-15)*6/(-24). Let i = 8.8 + -7. Let j = -0.2 - i. Sort j, -4, m in decreasing order.
m, j, -4
Suppose 0 = 5*t - t - 5*d + 279, -91 = t + 3*d. Let o = -71 - t. Sort o, 0.04, -5 in decreasing order.
o, 0.04, -5
Suppose 16*n + 11 = 27. Let x be (-190)/(-35) + (-3)/7. Put -5, x, n, -1 in ascending order.
-5, -1, n, x
Suppose 0 = -129*f + 46*f. Let w = 9 - 4. Put w, f, 9 in decreasing order.
9, w, f
Let y = 1 + 2. Suppose -2*r - 5*w + 1 = -y*r, 4*w = 5*r + 5. Let s be 0 - ((-3 - -6) + r). Sort -4, s, -5 in ascending order.
-5, -4, s
Let d be (-6)/(-2) + (-745)/235. Let s = -324925529/517 + 628483. Let c = s + d. Sort -1/11, -1, c.
-1, -1/11, c
Let f = -116 - -170. Suppose -f = 11*p - 21. Sort 9, p, 1, -5 in descending order.
9, 1, p, -5
Let x be (-7)/(-2) - (-2)/(-2). Let n = 0.06818 + 0.33182. Put 5, n, x in descending order.
5, x, n
Let r(v) = -v**3 - 10*v**2 - 15*v + 18. Let k be r(-4). Sort 0, 1, 4, k in descending order.
4, 1, 0, k
Let h = -85 + 82. Let d be (20/12 + -2)*h. Suppose -8*b + 3*b = -5*l + 35, 11 = -3*b + l. Put b, -7, d in increasing order.
-7, b, d
Let r = 1050 + -1050.02. Let k = -2 - -7. Sort -2, k, r in ascending order.
-2, r, k
Let w(q) = -q + 14. Let b be w(-6). Suppose 6*f - f = -b. Put f, -5, -2 in descending order.
-2, f, -5
Suppose 10*m + 376 = 386. Sort -5, m, -18.
-18, -5, m
Let n be -4*(-10 + 3)/7. Suppose r - 5*u = 4*r + 13, 0 = -3*r - 2*u - 16. Sort 5, r, n.
r, n, 5
Let h = 694 - 692. Sort -2, 1, h, -1.
-2, -1, 1, h
Let a = 50 + -31. Let j = 14 - a. Sort -3, j, -0.2 in ascending order.
j, -3, -0.2
Let t be 5*((-1904)/190 - -10). Sort 0.017, t, 2/7 in descending order.
2/7, 0.017, t
Let n = -8.5 - -4.8. Let r = n - -3.5. Let z = 22 - 20. Put r, 4, z in descending order.
4, z, r
Let g = 12 - 10. Suppose -4*m - 22 = m + 4*j, -9 = 3*m + j. Sort m, 0, -4, g in descending order.
g, 0, m, -4
Let z = -1.343 - -0.743. Sort z, 5/6, -0.2.
z, -0.2, 5/6
Let w = -1 + 5. Let r = w - 3.5. Let z = 41 - 45. Put 5, r, z in increasing order.
z, r, 5
Let x = 97 + -192. Let a = -96 - x. Sort 16/5, a, -1/2, -1/4.
a, -1/2, -1/4, 16/5
Let h = 23 + -31. Let z be (-26)/39*(-6)/h. Put z, 4, 0 in decreasing order.
4, 0, z
Let h = -142/11 - -831/55. Sort -3, h, -0.3 in decreasing order.
h, -0.3, -3
Let y be 4/(280/133) - 20/8. Sort 3/4, 0.4, y, 8 in increasing order.
y, 0.4, 3/4, 8
Let w be (-3)/(-22)*(-272)/(-204). Sort w, -0.6, -2.
-2, -0.6, w
Suppose -39 = 47*d - 133. Put -3, d, -28 in descending order.
d, -3, -28
Suppose -2*z = -4*z - 14. Let a = 3 + z. Suppose 0 = -2*l + 212 - 208. Sort a, 3, l.
a, l, 3
Let k be (3/(-9))/((-12)/(-144)). Sort 5, 6, k.
k, 5, 6
Suppose 0 = 3*b - 4*y + 17, -4*y - y = 3*b - 1. Sort b, 1, 3, 43 in decreasing order.
43, 3, 1, b
Let x = 765 - 762. Sort -7, -4, x, -1 in decreasing order.
x, -1, -4, -7
Let t be 0 - -6 - 12/3. Suppose -1 + 6 = -h + z, -t*z + 5 = -h. Let u = -14/3 - h. Sort -2, u, 1/5 in increasing order.
-2, 1/5, u
Let t(h) = 3*h**3 - h + 1. Let l be t(1). Let q(z) = z**2 + 6*z + 13. Let k be q(-4). Put k, -5, l in ascending order.
-5, l, k
Let s = 18 - 16. Suppose x - 6 = -2. Sort -4, 3, s, x in ascending order.
-4, s, 3, x
Let b be 3*(-1)/40 - 16/(-80). Let o be (-4)/(-3)*5/(-10). Sort o, 0.4, b in ascending order.
o, b, 0.4
Let z = 595 + -602. Sort -2, -4, 5, z in ascending order.
z, -4, -2, 5
Suppose 4*p = -3*w + 501, -4*w = -3*w + 4*p - 167. Let i = 1171/7 - w. Sort -5, -0.3, i in ascending order.
-5, -0.3, i
Suppose 15*u = 10*u - 75. Let w be (-3)/(-15) - (-3)/u. Put -1, -5, 3, w in descending order.
3, w, -1, -5
Let j be (330/(-25))/(3/(-10)). Suppose -4*k + 4*i + j = 0, 37 = 5*k + i - 18. Let q be (-2)/k + 0/(-3). Put -1/7, -3, q in descending order.
-1/7, q, -3
Let m = 2.99 + -2.68. Sort m, -2/7, -0.5, -2.
-2, -0.5, -2/7, m
Let a = -15.59 - -1.49. Let d = a + 13. Let w = 0.1 + d. Sort w, -0.5, -3 in descending order.
-0.5, w, -3
Let p(x) = -x**2 - x + 6. Let z be p(-3). Let y = -0.34 + 0.45. Sort y, 3, z in decreasing order.
3, y, z
Let t = -1078 + 1075. Sort -51, -5, -1/7, t in descending order.
-1/7, t, -5, -51
Let u = -19 - -25. Suppose -8*w + 8 = -u*w. Let q be 2 - (2 - (-6)/(-4)). Sort -4/7, w, q in increasing order.
-4/7, q, w
Let x = -125.7 + 126. Put x, -2/15, 2 in d