t 7, c, m in descending order.
7, c, m
Let u = 0.3 + 0.2. Let v = -14 - 9. Let z = v - -22.9. Sort 3, u, z.
z, u, 3
Suppose -2*b - 1 = 3*w, -3*b - 6 = -0*w + 3*w. Let v = -5 + w. Let x(f) = -f**2 - 8*f - 1. Let y be x(-8). Sort v, y, 4 in descending order.
4, y, v
Suppose 7*m - 4*m = 0. Suppose m = 4*u - 3*h - 9, 4*u = -3*h - 1 - 8. Let n(t) = -2*t + 7. Let x be n(6). Sort x, -3, u in descending order.
u, -3, x
Let b = -1 - -0.5. Let w(h) = -h - 7. Let l be w(-4). Put l, 4, b in decreasing order.
4, b, l
Suppose -1 = -4*y - 13. Sort 5, y, 4 in descending order.
5, 4, y
Let o = -70 + 66. Sort o, 2, -1, -7.
-7, o, -1, 2
Let b(k) = -5*k - 26. Let g be b(-5). Sort 2, -4, g in decreasing order.
2, g, -4
Let l = -1 + 1. Let h = -25.265 + -0.435. Let t = 26 + h. Put t, -4, l in descending order.
t, l, -4
Let j = 4 + -4. Let z be (-13)/1 - (0 + j). Let i = z - -10. Put -4, 0, i in ascending order.
-4, i, 0
Let q = 13 + -11. Let c be (-6)/12*(q + -16). Sort c, 3, -2.
-2, 3, c
Let r(s) = -s - 5. Let q(b) = 3*b + 14. Let i(d) = 6*q(d) + 17*r(d). Let y be i(-1). Sort 2, -1, y in descending order.
2, -1, y
Suppose -80 = 11*l - l. Suppose -2*i + 8 = 2*i + 4*x, -4*i + 8 = 3*x. Put i, 1, l in decreasing order.
i, 1, l
Suppose -4*q - 3*x + 2*x = 13, x - 14 = 5*q. Sort q, 5, 4.
q, 4, 5
Let j(l) = -l**3 + 10*l**2 + 1. Let u be j(10). Let o be 1/u*(1 + -1). Suppose -v = -o*v. Put v, -3, 4 in descending order.
4, v, -3
Let q(c) = -c**2 - 5*c + 4. Let t be q(-5). Suppose 3*z - 25 = -28. Sort z, t, 5 in descending order.
5, t, z
Let h(d) = -d**3 + 15*d**2 - d + 15. Let q be h(15). Put 5/6, q, 3 in decreasing order.
3, 5/6, q
Let v = 6 + -8. Let b be -4 - (v/2 - -1). Suppose 4*d = -0*d + 3*n - 17, 0 = d - 4*n + 14. Sort 1/4, b, d in ascending order.
b, d, 1/4
Let a = -7 - -4. Let o be (2/a)/((-4)/6). Suppose -4*f - 9 = -f. Sort f, o, 0.
f, 0, o
Let v be ((-2190)/(-25))/(0 - -2). Let x = v - 44. Sort x, -5, -1 in decreasing order.
x, -1, -5
Let q(m) = -5*m + 4*m + 3 + 0. Let y = -18 - -26. Let h be q(y). Put 3, 2, h in decreasing order.
3, 2, h
Let j = 15 + -19. Suppose -3*m + 56 = -28. Suppose -4*b = 4*y + m, y = 2*b - 3 + 8. Sort y, -0.1, j in descending order.
-0.1, y, j
Let s(k) = 7*k**2 + 3*k - 1. Let h be s(1). Suppose 4*a - h - 11 = 0. Let u = -13 + 6. Put u, -5, a in descending order.
a, -5, u
Let p(j) = -j**2 + 7*j - 14. Let k be p(5). Sort 1, k, -1 in decreasing order.
1, -1, k
Let u(l) = -l**2 + 9*l - 9. Suppose 0 = 6*g - 11*g + 35. Let w be u(g). Sort w, -1, -2 in decreasing order.
w, -1, -2
Let m be (2 - 4)*(-1)/6. Let y = 78/77 + -8/11. Put -2, m, y in increasing order.
-2, y, m
Suppose -w - k + 4 = 8, -k = 0. Put 5, -1, 3, w in decreasing order.
5, 3, -1, w
Let x = -34 + 36. Sort -4, 3, x.
-4, x, 3
Let y(n) = -n**3 - 3*n**2 - n. Let d = -2 + -1. Let l be y(d). Suppose 6 = l*i - 0. Put i, 4, 3 in decreasing order.
4, 3, i
Suppose -5 - 33 = 2*u. Let j = u + 14. Sort 2, 1, j.
j, 1, 2
Let k(i) = -2*i + 55. Let d be k(30). Put 4, -2, 3, d in descending order.
4, 3, -2, d
Let i be 3/2*48/36. Sort 4, -1, i in descending order.
4, i, -1
Suppose -2*q + q + 1 = 0. Let c = -0.4 + 0.3. Let l = 3/20 - -1/4. Sort c, l, q in increasing order.
c, l, q
Let s = 12265/13 - 943. Let h = -55/91 + s. Put h, 0.3, 1/2 in increasing order.
h, 0.3, 1/2
Let x be (-2 - -1)*0 - -2. Suppose 2*w + 4*r = -4, 0 = 2*w - w + 5*r + 11. Suppose 0 = w*q - 5*f - 22, -11 = -q - 0*q + 4*f. Sort -3, q, x.
-3, x, q
Let t be ((-2)/6 + 2)*-3. Suppose b - 1 = -3*k - 15, -2*k = b + 10. Put b, t, -7 in decreasing order.
b, t, -7
Let m = -64720/69 + 938. Let p = 197/345 + m. Let c be 2/6*(-3)/7. Sort c, -2/21, p.
c, -2/21, p
Let a(h) = 8*h - 3*h + h. Let o be a(2). Suppose o = 5*f - f. Sort -5, -3, f in increasing order.
-5, -3, f
Let a be 3/(-4*12/(-128)). Suppose 1 + a = 3*r. Sort r, 4, -0.3 in descending order.
4, r, -0.3
Let m be 6/((-4)/2) - 1. Sort -6, m, 0 in decreasing order.
0, m, -6
Let w = -1.52 - -1.12. Let r = -6 + 8. Put 5, r, w in descending order.
5, r, w
Let z be (-2)/3 + (-570)/(-18). Suppose z = q + 2*q - 5*y, y + 7 = q. Let u be (1/q)/((-7)/2). Put u, 0.2, 3/2 in decreasing order.
3/2, 0.2, u
Let u = 6 + 6. Suppose 3*l + u = 0, 3*l + 13 = -r - 0*r. Let p = -27 - -27. Put p, 5, r in descending order.
5, p, r
Let y be (-1)/6 - (-84)/72. Suppose -3*t + u + 9 = -t, 4*t = u + 19. Put y, t, 0 in ascending order.
0, y, t
Suppose 5*k - 3 - 12 = 0. Suppose -k*f + i = -0*i + 19, 1 = 3*f + 4*i. Put 2, f, 1 in decreasing order.
2, 1, f
Let k = -0.9 - -2. Let j = -11 - -9. Put 0.1, j, k in descending order.
k, 0.1, j
Let d(x) = -17*x - 19. Let m be d(-3). Sort m, -1, -2 in ascending order.
-2, -1, m
Let y = -4/5 - -17/15. Sort 3, y, 4 in increasing order.
y, 3, 4
Let m = 94/3 - 31. Let i = 22 - 17. Sort i, 1, m in ascending order.
m, 1, i
Suppose -f = 3*o - 0*o, 0 = 5*f - o + 80. Let l = f - -11. Suppose 0*b = -3*b - 3. Sort l, b, -2 in decreasing order.
b, -2, l
Let f = 0.4 + -0.6. Let s = -0.4 - f. Sort 2/7, -0.4, s.
-0.4, s, 2/7
Let k = -15 + 17. Sort -2, k, -3 in increasing order.
-3, -2, k
Let f = -20 + 25. Sort -0.3, -2/3, f in decreasing order.
f, -0.3, -2/3
Let n = 0.14 + -0.2. Let u be -4 + 0/(-1 - 2). Let d be u/(-2)*3/21. Sort d, n, -0.3.
-0.3, n, d
Suppose -5*x = 30 - 185. Suppose x = 2*h + 5*d, 0 = 2*h + 2*h + 2*d - 22. Put h, -3, -2 in descending order.
h, -2, -3
Let l = -9 - -3. Let j = l + 8. Sort 4, 0, j in increasing order.
0, j, 4
Let d = -1.9 - -2. Suppose 6 = 4*r - r. Suppose -12 = r*j - 4. Sort d, -2/5, j.
j, -2/5, d
Let y be 4/(-6)*6/14. Suppose -2 + 3 = c. Sort y, 3, c in descending order.
3, c, y
Suppose -2*w = 3*w + 25. Put 4, w, 2 in increasing order.
w, 2, 4
Let o = -14.18 + 14. Let y = 0.48 + o. Put y, 0.1, 2 in decreasing order.
2, y, 0.1
Let k(a) = -5*a**3 - a**2. Let t be k(-1). Sort 1, -5, t, 2 in decreasing order.
t, 2, 1, -5
Suppose 0*t - 8*t = -24. Suppose 5*x = i - 25, -2*i = x + 2*i + 5. Let g be (-2)/(3*(-2)/15). Put x, t, g in ascending order.
x, t, g
Let t(f) = f**3 + 2*f**2 - 3*f. Let y be t(2). Suppose 2*b + 2*u = 0, 0 = 5*b - 4*u + y + 35. Put 4, -1, b in descending order.
4, -1, b
Let p = 0 + -1. Let c(r) = r - 8. Let g be c(10). Suppose -g*w + 3*w - 2 = 0. Put p, w, -4 in ascending order.
-4, p, w
Suppose 5*y + 4 = 29. Sort 2, y, -4.
-4, 2, y
Let w be ((-36)/(-24))/(6/(-20)). Sort w, 2, -3 in decreasing order.
2, -3, w
Let n = -0.1 - -0.2. Let l(b) = b**3 - 3*b**2 + 5*b - 4. Let h be l(2). Let g be (2 + -6)*h/4. Sort g, -2/3, n in descending order.
n, -2/3, g
Let h = 6 + -8. Suppose 3*p = 5 + 1. Suppose -4*r = 7*c - p*c + 20, -2*r = c + 4. Sort r, h, -4.
-4, h, r
Suppose i = -3, -2*u - 3*u - 2*i = -24. Suppose -4*b + 10 = b. Let z = u - b. Put -4, z, -1 in descending order.
z, -1, -4
Let o = -13.2 + 14.4. Sort -3, -5, o in ascending order.
-5, -3, o
Let t = 1 - -1. Let b(h) = h**2 - 3. Let g be b(-3). Let o be 1*3/g*0. Put o, -5, t in descending order.
t, o, -5
Let o = -777/5 + 156. Let u = 6 - 8. Put o, u, 0.2 in descending order.
o, 0.2, u
Let x = -72.8 - -67. Let i = x - -7. Let c = i - 0.7. Put 1/4, 1/10, c in decreasing order.
c, 1/4, 1/10
Suppose 0 = t - 62 + 61. Sort -2, -4, 5, t in ascending order.
-4, -2, t, 5
Suppose -49*j = 16 - 163. Suppose 4*w - 2*w + 6 = 0. Let s be w + 0*(-3 - -2). Sort j, s, -5 in increasing order.
-5, s, j
Let s = 4.2 + -4.09. Sort 0.3, s, -0.1, -3 in ascending order.
-3, -0.1, s, 0.3
Let k(c) = c**2 - 10*c + 7. Let d be k(9). Put -5, -4, d in ascending order.
-5, -4, d
Let u = 15.8 - 7.9. Let k = -8 + u. Sort k, 1/4, -0.3 in increasing order.
-0.3, k, 1/4
Suppose 3 = 3*z + 4*k, 3*z - 3 = 2*k - 0*k. Let s(m) = -m**2 + 14*m - 17. Let g be s(13). Put 5, z, g in descending order.
5, z, g
Let f = -56 + 77. Put f, -2, 5 in decreasing order.
f, 5, -2
Let p be 54/15*15/6. Let j be p*3/((-18)/(-4)). Suppose 2*q + 4 = j*q. Put 3, 2, q in decreasing order.
3, 2, q
Suppose 10*m - 15 = 4*p + 5*m, -2*p + 2*m = 6. Let o be (-1)/((p - 0) + -1). Let a = 3.7 + -3.3. Sort a, -3, o.
-3, a, o
Suppose l - 3*l + 16 = 4*v, v = 4*l - 32. Suppose -q + l = 3*q. Let p(t) = 4*t**3 - t. Let h be p(-1). Sort h, -1, q.
h, -1, q
Let d be 6/8 - 11781/28. Let b be d/(-102) + (-4)/34. Put 3, b, -5 in decreasing order.
b, 3, -5
Let z(k) = k**3 - 