p + 2*h + 9, 0 = -2*p - h + 3. Let f = 16 + -19. Sort m, f, p in decreasing order.
p, m, f
Let o(m) = -14*m - 610. Let g be o(-44). Suppose 3*d = -25 + 10. Sort d, g, -21 in increasing order.
-21, d, g
Let h = 0.0957 + 79.9043. Sort -0.1, 10, h in decreasing order.
h, 10, -0.1
Let x = 12 - 17. Let z = 263 - 152. Let l be (z/(-30) + 4)/((-6)/5). Sort 0, x, l in descending order.
0, l, x
Let m = -996 - -1056. Let y = m + -61. Sort y, -14, 5, 1/4 in descending order.
5, 1/4, y, -14
Suppose -169*a = -3*l - 171*a - 1219, 0 = -4*l + 5*a - 1587. Put l, 3, -5, 0 in descending order.
3, 0, -5, l
Let z(i) = -4*i**2 + i + 1. Let u be z(-2). Let m(x) = -278 + 29*x + 24*x + 10*x + 30*x. Let p be m(3). Sort -5, 4, u, p in decreasing order.
4, p, -5, u
Let b = 53.4 - 54. Sort -3, b, 3/2, -3/14, 0.4 in descending order.
3/2, 0.4, -3/14, b, -3
Let q = -25.336 + -101.334. Let y = -126 - q. Let d = -0.47 + y. Sort -14, 1, d, -1 in increasing order.
-14, -1, d, 1
Let n = -38/25 + 439/75. Let u = 0.022 - 92.022. Let b = u - -94. Sort 2/9, n, b in ascending order.
2/9, b, n
Let c = 11765 - 11770. Put 157, c, -8 in descending order.
157, c, -8
Suppose -2*y = -6*y - 20. Let u = y + 4. Let p = -194 + 192. Sort 0, p, u, 1 in ascending order.
p, u, 0, 1
Let i = 193399/7 - 27629. Sort -73, i, 2/5, 7 in descending order.
7, 2/5, i, -73
Let l(f) = -f + 1. Let r be l(-1). Let s be (-66)/(-3) + 0/2. Suppose 5*z = 2*u + 18, -z - s*u = -26*u. Sort 3, z, r, 1 in increasing order.
1, r, 3, z
Let v(x) = x**2 - 7 - 2*x - 58*x**3 - 2*x + 2 + 34*x**3. Let a be v(-1). Sort 0, 2, a, 5 in descending order.
a, 5, 2, 0
Let i = -147.93 + 147.53. Let v = 3 - 7. Sort i, -2/19, 0.5, v.
v, i, -2/19, 0.5
Let s be -2 - 0 - (15 + -45). Suppose 0 = s*m - 38*m + 3710. Put -3, 2, m in decreasing order.
m, 2, -3
Let w = 89 - 83.9. Let b be (-3)/5*120/36. Sort 5, w, b in descending order.
w, 5, b
Let f = -1351 - -1350.96. Sort f, 143, 2 in decreasing order.
143, 2, f
Suppose 2*j - 26 = -22. Let d = 77 - 55. Let g be (-6)/27 - d/(-18). Sort 6, j, 3, g in increasing order.
g, j, 3, 6
Let b be (-28)/(-350)*-5 - 2/(-5). Let g = -135 - -139. Sort g, b, 1, -42 in increasing order.
-42, b, 1, g
Suppose -982*d = -814*d. Sort d, 2, 8 in decreasing order.
8, 2, d
Let h = -2.6888 + 2.2888. Suppose -4*r = -2*r + 14. Let o be 6/(-21) + (-9)/r. Sort o, h, 5.
h, o, 5
Let w = -2361 - -2362. Sort -4, 3, 8, w.
-4, w, 3, 8
Let w = 0.02361 - -9.97639. Sort -1/6, -0.1, -2/5, 14, w in increasing order.
-2/5, -1/6, -0.1, w, 14
Let c = -67/28 - -22/7. Let r = -53/2 - -481/18. Sort c, r, -8.
-8, r, c
Let h = -114 - -249. Let l = -141 + h. Sort l, 2/13, 2/7 in descending order.
2/7, 2/13, l
Let v(p) = -p + 6. Suppose -2*h = 5*g + 14 - 2, 2*h = 5*g + 28. Let c = h + 3. Let t be v(c). Put 5, -5, t in ascending order.
-5, t, 5
Let s be ((2 - 3)/2)/(-4). Let d = -0.48568 - -0.58568. Sort 7.7, d, s in decreasing order.
7.7, s, d
Suppose 11*s - 18 = 2*s. Let z = 71 + -104. Let m = z - -24. Sort -2, s, -5, m in descending order.
s, -2, -5, m
Let q = -3.9 - 1.1. Let w = 91 + 92. Let k = w + -179. Sort 14, q, k in decreasing order.
14, k, q
Let o = -1547 + 1547. Sort o, -15, -38 in increasing order.
-38, -15, o
Let k = -1 + 1.3. Let n = 50 - 50.084. Let u = -0.716 + n. Put -1, k, u in decreasing order.
k, u, -1
Let c be ((-21)/(-147) - 40/(-14)) + 2. Let t be 0/(1 + c)*(-1 + 0). Let x = -2 + -8. Put t, x, 2 in increasing order.
x, t, 2
Suppose 2*o - 14 = -5*i, 5*i - 7 = 2*o - 1. Suppose 6*j + 34 = -38. Sort j, i, -5.
j, -5, i
Let p = -1 - -0.9. Let i be ((-60)/(-7))/(((-15444)/(-32))/9). Let b = -2/91 - i. Sort p, -1/8, b in ascending order.
b, -1/8, p
Suppose f = 5*s + 7, 6*f = 3*f - 4*s + 21. Let w = -402.51 - -407.51. Sort w, f, 0.06.
0.06, w, f
Let s = -238 - 16. Let u = 253.5 + s. Let l = -1 + 1.5. Put -0.1, l, u, 2/7 in ascending order.
u, -0.1, 2/7, l
Suppose -2*p = -2*u + 3*u - 4, 0 = -5*p - 4*u + 13. Let z = -1612 - -3762. Suppose -2140 + z = -5*m. Put m, 0, p in ascending order.
m, 0, p
Suppose 4*k = 3*k + b + 35, -k - 3*b = -23. Let c be 49/196 - 2*2/k. Sort 4, -0.1, c, -12.
-12, -0.1, c, 4
Let c = -11.03 + 10.03. Sort 0.3, c, -5, 98/3, -4 in descending order.
98/3, 0.3, c, -4, -5
Let q be (1/1)/(17/(-17)). Let v = -20.6 - -1.6. Let j = v + 23. Sort j, q, 2/11, 2 in descending order.
j, 2, 2/11, q
Suppose -47 = 2*a + 2*f - 9, -17 = a + 2*f. Let k be a/(-14)*20/9. Sort k, -20, -1/3 in ascending order.
-20, -1/3, k
Let l(d) = 4*d - 63. Let a be l(16). Suppose 10 = 3*i + a. Let o = -321/5 - -64. Sort o, i, -5/4.
-5/4, o, i
Let c be 56/(-21)*(75/(-12) - -6). Sort c, -1.3, 94 in decreasing order.
94, c, -1.3
Suppose 31*b = -312 + 932. Suppose 7*q - 1 = 6*q. Put -5, q, b, -1 in decreasing order.
b, q, -1, -5
Let p(m) = 2*m - 6. Let x be p(3). Sort -4, x, 103, -1 in ascending order.
-4, -1, x, 103
Let a be 7/2*(-4 - -2) - -11. Sort a, -1/4, -42/19, -0.5 in ascending order.
-42/19, -0.5, -1/4, a
Let d be ((-1281)/(-12))/(29/696). Put d, 1, -5 in descending order.
d, 1, -5
Let t = 518 - 516. Suppose 0 = -5*w + 4*c + 70, -28 = -t*w + c + 2*c. Sort w, -1, -5 in increasing order.
-5, -1, w
Suppose -2*p + 4*p - 109 = -3*y, 2*p = 3*y - 89. Suppose -9 = -6*g - y. Put -7, g, 3, 0.4 in increasing order.
-7, g, 0.4, 3
Suppose 0*z = -5*b + 4*z + 10, z = -2*b + 4. Suppose 4*f = -3*c - 102, b*c = c + 4*f - 34. Let v = c + 172/5. Sort v, 1, -2/13 in descending order.
1, v, -2/13
Let l = 33.71 - 4.11. Let h = 30 - l. Let q = 1 - 1.2. Sort q, h, -2/5 in ascending order.
-2/5, q, h
Suppose -2*p - 52 = -5*y, -y = -5*y + 16. Sort p, -4, 3, -19, -5.
-19, p, -5, -4, 3
Let y = 36 - 26. Suppose 3*q = 2*a + 12, -a - 4*q = y + 7. Let l be (-15)/90*a/(-2). Sort -2/9, 2, l in decreasing order.
2, -2/9, l
Suppose -23*o = -683 + 591. Sort -3, -1, -2, o, 93 in ascending order.
-3, -2, -1, o, 93
Let v = 6 + -3. Let h be 9 - 47/((-2115)/(-450)). Sort h, 115, v.
h, v, 115
Let v = -0.0412 + -103.9588. Let n = 102 + v. Sort -3, -8, n in increasing order.
-8, -3, n
Let s be 3*3/45 - 38/(-10). Let x = -134 - -139. Suppose -3*p + 3*v = 8*v - 5, 5*p = -x*v + 5. Sort s, -3, p, -1.
-3, -1, p, s
Suppose -100*k + 838*k = 136 + 602. Let o(g) = -4*g - 1. Let z be o(-7). Let w be ((-2)/6)/(6/z). Put 0.4, 1/14, w, k in decreasing order.
k, 0.4, 1/14, w
Let c be ((-12)/(-18) - -1)*3. Let h be 0/2 + 7 + -12. Put 80, h, c in descending order.
80, c, h
Let l = 0.8 - 1. Let k = -68/315 - 142/315. Sort l, 0, 1, k in increasing order.
k, l, 0, 1
Let c = -11317 - -11326. Put 0.4, c, -1, -377 in descending order.
c, 0.4, -1, -377
Suppose -2*a + a = 0. Suppose -5*k + 120 = -160. Suppose -4 = -54*t + k*t. Sort a, t, 1, -0.3.
t, -0.3, a, 1
Suppose 5*c + 39*i + 16 = 40*i, 1 = -c - 2*i. Let a be (-2)/c - (-16)/(-24). Suppose -4*z - 11 = -3*b, z - 10 = 3*z. Sort a, -4, 3, b in ascending order.
-4, b, a, 3
Let c be 89/(-29) + (-7)/(126/(-54)). Suppose 4*t - 49 = -57. Put c, 5, t in decreasing order.
5, c, t
Let s = 7.89 + -8. Let l = 13 - 10. Let j = 193/20 + -99/10. Put -4, j, s, l in decreasing order.
l, s, j, -4
Let d(k) = -k**3 + 13*k**2 - 13*k + 11. Let n be d(12). Let i = -0.4121 + 0.1121. Sort i, 7/4, n in increasing order.
n, i, 7/4
Let q = 109.19 - 107.19. Sort -3, 1, 2/421, q.
-3, 2/421, 1, q
Let i be (16/(-22))/1*(-1529)/278. Put i, -109, -10, -3 in ascending order.
-109, -10, -3, i
Let x = -58.4 - -402.4. Put x, 0.2, 0.1 in increasing order.
0.1, 0.2, x
Let g = 420 + -435. Suppose 3*u = 5*c + 28, -2*u + 19 + 8 = -5*c. Sort g, u, 4, 5.
g, u, 4, 5
Let f(a) = 3*a**3 - 7*a**2 - 18*a - 9. Let v be f(4). Put -7, 15/4, v in descending order.
15/4, v, -7
Let m = -197.13 - -198. Let q = -0.03 - m. Let j(h) = 1592*h + 35026. Let s be j(-22). Sort s, q, -0.4, 1/10 in descending order.
s, 1/10, -0.4, q
Let p = -23800 - -23796. Sort 3, -1357, p.
-1357, p, 3
Let i = 0.28054 + -0.18054. Sort 33, -0.5, i, 8 in decreasing order.
33, 8, i, -0.5
Let l(v) = 15*v + 598. Let z be l(-40). Sort 3/5, -0.5, z, 3.
z, -0.5, 3/5, 3
Suppose 84 = 30*a - 33*a. Let d be 21/a + 14/8. Let y be (-63)/(-12) + 1/(-4). Sort -5, d, y in decreasing order.
y, d, -5
Let o = 12961 + -12961.07. Put 53/5, 2, o in descending order.
53/5, 2, o
Let d = 6 - 4. Let c = -78 - -82. Suppose 3*r - 32 = -c*k, -k - 9*r + 25 = -4*r. 