7. Put -4/7, z, -3 in descending order.
z, -4/7, -3
Let z = -31/6 + 35/6. Sort z, -2/25, -2 in decreasing order.
z, -2/25, -2
Suppose 3*f + 5*x + 12 = 0, 0 = -f - 4*f - 3*x - 4. Let j = 21 + -17. Suppose -3*r - j = -r. Sort f, r, -3.
-3, r, f
Let p = 198.05 - 198. Sort -2, 5/4, p, 4 in descending order.
4, 5/4, p, -2
Let f = 39 - 42. Let a = 7 - 4. Let c = a + f. Put 3, c, 5 in descending order.
5, 3, c
Let i = 0.38 - -55.62. Let q = -62 + i. Put q, 2/5, -3 in decreasing order.
2/5, -3, q
Let c = -5 + 7. Let i = -435.2 + 373. Let h = i - -62. Sort h, -3, c.
-3, h, c
Let m(n) be the first derivative of -n**3/3 + 13*n**2/2 + 14*n - 9. Let p be m(14). Sort 3, 2, p in ascending order.
p, 2, 3
Suppose 4 = -4*h + 2*h. Suppose 4*v - 4*q - 40 = 0, 2*v = -q + 18 + 2. Let n be 4/v + (-18)/(-5). Sort h, n, 3 in decreasing order.
n, 3, h
Let g = -3.005 - -0.305. Sort g, -0.13, -1 in descending order.
-0.13, -1, g
Let h = 210 + -209.9. Sort h, 2, -3, 5.
-3, h, 2, 5
Let i = 64/273 + 2/39. Sort 1/16, i, -4 in descending order.
i, 1/16, -4
Let j = -37 - -37.004. Let x = -0.404 + j. Sort 10, x, 1/2 in decreasing order.
10, 1/2, x
Let j be (6/(-24))/((-5)/16). Let k = 18 + -14. Suppose 5*z - 6*z - k = 0. Sort 2, j, z.
z, j, 2
Let y be 5/40 - (-697)/(-136). Put y, -1, -3 in ascending order.
y, -3, -1
Let u = 72 + -79. Let x be u - (-9)/30*-2*5. Put 1, 3, x, 4 in increasing order.
x, 1, 3, 4
Let t = -0.2 - -0.7. Let p = 13.74 + 0.26. Let q = p + -19. Put 2, q, t in descending order.
2, t, q
Let g = 160 + -161. Suppose k = -3 + 6. Suppose 2*r - 1 = 7, -4*a = -5*r - 8. Put g, k, a in descending order.
a, k, g
Suppose -26 = 6*u + 46. Suppose -16 = 4*c, c + 4*c + 20 = -3*j. Suppose 3*o - 5 = -4*p, 4*p + j*o - 3*o + 13 = 0. Sort u, p, 4 in decreasing order.
4, p, u
Suppose 3*a = s - 3*s - 9, 14 = a - 5*s. Suppose 40 = 2*j + 3*j - 3*i, -5*j = -5*i - 50. Put -4, a, j in descending order.
j, a, -4
Let i = -2 - -3. Let t = 5 + 3. Let q = -3 + t. Sort i, q, -2/9 in increasing order.
-2/9, i, q
Let t be 15/(-10)*8/6. Let k(u) = -3*u - 11. Let f be k(-9). Let s = f + -101/6. Sort t, s, 4 in decreasing order.
4, s, t
Suppose m - 3 = -14. Let s = 28 + m. Suppose s = -2*r + 7. Put 0, r, 1 in decreasing order.
1, 0, r
Let i = -106.5 + -5.5. Let w = i - -108. Put -5/3, 0.3, -0.9, w in increasing order.
w, -5/3, -0.9, 0.3
Let o be (11 - 9)/((-4)/(-18)). Sort o, -4, 4, -8 in decreasing order.
o, 4, -4, -8
Let z(u) = -7*u**2 + u + 1. Let i be z(1). Let t = 238/5 + -694/15. Sort i, t, 1/19 in descending order.
t, 1/19, i
Let t(m) = m - 7. Let b be t(5). Let j be (-9)/(-18)*1/b. Let o = 3/28 + j. Sort 2/3, 0.5, o.
o, 0.5, 2/3
Suppose 15 = -2*m + 5. Suppose -15 = -f - 2*f. Sort m, -1, 2, f.
m, -1, 2, f
Suppose 36 = 4*t - 5*x, -62 = -5*t + 22*x - 20*x. Put -5, 4/3, t, 8 in decreasing order.
t, 8, 4/3, -5
Let q = -111 + 77. Let a = q - -38. Suppose 4 = j + 2*d, 3*j + 0*d + a = -2*d. Sort -8, j, -1 in decreasing order.
-1, j, -8
Let v(h) = 2*h**2 + 8*h + 3. Let p be v(-3). Sort p, 3, 6, -2 in decreasing order.
6, 3, -2, p
Let d be (-3 + (-11)/(-4))*-31. Let b = 8 - d. Suppose -2*a + 2*l = 0, -2*a + 2*l + 18 = -6*a. Sort 0.5, b, a in increasing order.
a, b, 0.5
Let o be 1 + ((-14)/(-8) + -3)*8. Let s = -9 - o. Sort -2, 11, s in ascending order.
-2, s, 11
Let y = -166 - -114. Let v = y + 49. Let r be (2 + -2)*-1 - -2. Sort r, -4, v.
-4, v, r
Suppose -9 = -2*l + 5*b, 0 = 4*l + 5*b + 25 + 2. Let s = 10 + l. Let m = -9 + s. Sort -3, -5, m in descending order.
m, -3, -5
Let a be 3 + -6 + (-2)/(-1). Let p be (35/14)/((-3)/6). Let n be (0 - a) + p/6. Sort -1/4, n, -5 in decreasing order.
n, -1/4, -5
Let n = -4/3 + 1. Sort 2, -4/3, 3, n in descending order.
3, 2, n, -4/3
Let l(p) = 3*p**2 - 42*p + 3. Let q = -135 - -149. Let s be l(q). Suppose 10 + 16 = -2*k. Put s, -5, k in descending order.
s, -5, k
Let j be 18/90 + 555/(-25). Put 1, j, -4 in increasing order.
j, -4, 1
Suppose -14*n = 15*n - 29. Put n, -1, -23/4 in increasing order.
-23/4, -1, n
Let f = 111.1 - -16.9. Let q = f + -128.5. Put 1, -6, q, 4 in ascending order.
-6, q, 1, 4
Let j(n) = -n**2 + n - 1. Let g be j(2). Let i(v) = 2*v**3 - 5*v**2 + 2*v + 2. Let c be i(3). Suppose -12*k - 5 = -c. Sort 3, g, k in ascending order.
g, k, 3
Let g(o) = o**3 - 4*o**2 - 4*o - 4. Suppose 5*q - 5 = 20. Let w be g(q). Sort -15, w, -3.
-15, -3, w
Let n(z) = z + 7. Let s be n(-4). Let c = -62 + 188/3. Let g = 24 - 18. Put c, g, s in descending order.
g, s, c
Suppose 0 = -3*o + 4*r - 35, -r - 3*r + 40 = -4*o. Suppose 0*d = 5*d - 25. Let p = 14 - 17. Put p, d, o in descending order.
d, p, o
Let q(f) = 2*f**2 + 2*f + 4. Let g be q(-3). Let s = g + -18. Put -4, 4, s in descending order.
4, s, -4
Let v(r) = r**3 - 59*r**2 - 40*r - 652. Let x be v(60). Put -4, 2, x, 3 in decreasing order.
x, 3, 2, -4
Let c = 16.8 - 16.91. Sort c, 3/4, 3, -7 in descending order.
3, 3/4, c, -7
Let d be 57/38 - (-5)/(-2). Sort 15, -5, d in descending order.
15, d, -5
Let l = 246 + -252. Sort -0.06, l, 4 in decreasing order.
4, -0.06, l
Let a(y) = -6*y**2 - 25*y + 28. Let t be a(-5). Sort 34, -4, t.
-4, t, 34
Let j = -89 + 94. Put -2/19, j, 4/5, -15 in increasing order.
-15, -2/19, 4/5, j
Let m be (-4)/44 + 10/(-132). Put 44, 1, m, 3/4 in descending order.
44, 1, 3/4, m
Suppose 0*p - 4 = -p. Suppose 0*n + 5*n = 65. Put n, p, 5 in ascending order.
p, 5, n
Suppose -60*c + 64*c - 20 = 0. Suppose -k - 6 = -m - 0*m, -3*k - 14 = -m. Sort -5, c, -3, k in descending order.
c, -3, k, -5
Let i be (8/32)/((-2)/(-40)). Suppose -18 = o + i*o. Sort 0.4, 0.2, o.
o, 0.2, 0.4
Let m = 8 + -8.3. Let n = -1115 + 2227/2. Sort n, 0.5, m.
n, m, 0.5
Let w(t) = -t**3 - 10*t**2 - 14*t - 44. Let q be w(-9). Put -4, -10, q in descending order.
q, -4, -10
Let h = 5 - 1. Let d be (-6)/4*-2 - -2. Suppose -43 - 47 = 18*s. Sort s, d, h in descending order.
d, h, s
Let d(w) = 29*w + 218. Let m be d(-7). Sort -1, 5, m, 10 in decreasing order.
m, 10, 5, -1
Let c = -16.2 - -81.2. Let j = c - 62. Let u = -3 - -4. Put j, u, 0.3 in increasing order.
0.3, u, j
Suppose -5*s + 91 = 5*f - 14, 4*s - 3*f - 91 = 0. Let m = 24 - s. Sort m, 0, -3 in decreasing order.
m, 0, -3
Let i be (-5)/6*((-792)/(-110) + -8). Put 5, 9, i in descending order.
9, 5, i
Let o(t) = t + 26. Suppose 2*h - 33 = 3*h - 4*y, 2*h + 42 = -4*y. Let g be o(h). Sort g, -2, -12, 5 in decreasing order.
5, g, -2, -12
Let z(s) = -s**3 + 10*s**2 + 2*s - 9. Let m be z(8). Let p be m/(-72) - (-2 + 0). Put 0.1, p, 1/6 in descending order.
1/6, p, 0.1
Let x(t) = -t**3 + 5*t**2 + 15*t + 9. Let k be x(7). Suppose k*p - 22*p = -72. Sort 4, -3, p in increasing order.
-3, 4, p
Suppose -6 - 3 = -3*o. Suppose -226*g - 273 = 631. Put o, g, 5 in decreasing order.
5, o, g
Let y = -0.015 - -1.015. Let w = 29/160 + -9/32. Sort -1, y, w in decreasing order.
y, w, -1
Let t = 2.01 + -0.01. Let b = 2237 - 2237.5. Let g = -15 + 11. Sort g, b, t.
g, b, t
Let z = 129 - 126. Put 6/7, z, -1 in descending order.
z, 6/7, -1
Suppose 0 = 4*y - 4 - 0. Let s(g) = -2*g**2 - 18*g - 65. Let d be s(-4). Put -2, y, d in decreasing order.
y, -2, d
Let t = -0.74 + -3.26. Sort 0, 4, t, -3 in decreasing order.
4, 0, -3, t
Let l = 437/5 - 88. Let q be 2*(-45)/10*1 - -11. Put q, l, 1.2 in decreasing order.
q, 1.2, l
Let z be ((-3)/(-12))/((-3)/(-2 + -10)). Suppose -3*g - 2*g = 10. Suppose -2*o = o. Put o, g, z in decreasing order.
z, o, g
Let b(f) = -f**2 - f - 1. Let u be b(-1). Suppose -3*q + 215 = -a, q - 4*q + 5*a = -235. Let v = q + -75. Put 4, u, v in increasing order.
v, u, 4
Suppose 2*z + 8 = 4*h, -4*h - 6 = 4*z - 2. Suppose 3*f - 7*f = 16. Let n = -10 - -15. Sort n, z, f in ascending order.
f, z, n
Let x = 37 + -36.93. Let g = -0.13 - x. Sort -3, -0.3, g in descending order.
g, -0.3, -3
Let u = -0.21 + -0.29. Let w = -464 + 4177/9. Let a be (6/8)/(1/(-4)). Put w, u, a in ascending order.
a, u, w
Let f = 1207 - 1191. Put -1/7, -1, f, -2 in decreasing order.
f, -1/7, -1, -2
Let x = 0.038 - -32.962. Let t = x - 36. Suppose 2*j + j = -15. Put j, t, 0.4 in decreasing order.
0.4, t, j
Let n = -29 - -21. Let m be 0*1/n*-4. Suppose m = 4*w - 8*w. Sort -1, 3, w in decreasing order.
3, w, -1
Suppose -2*s - 2 = 3*r + r, 5 = 5*r. Let u be 9/((-135)/6) + (-12)/(-5). Suppose -u*n + 2 = -2*b, 4*b + 3*n 