7. Let x be (f/3)/((-2)/(-3)). Put x, -2, i in decreasing order.
x, -2, i
Suppose 78*i - 131 = -53. Sort -6, 60, i in increasing order.
-6, i, 60
Let u = -2310.5 - -2311. Sort 3, -5, -47, u in decreasing order.
3, u, -5, -47
Suppose 3*t = -2*k - 10, 3*t - 4*k + 8*k = -14. Let l be (-3 + (-3 - -6))*(-1)/2. Sort l, 3, -0.5, t in descending order.
3, l, -0.5, t
Let a be ((-25)/(-3))/((-120)/18 - -6). Let l = -47/4 - a. Sort 2, 0.5, l, -0.3 in ascending order.
-0.3, 0.5, l, 2
Let y(c) = 6*c**3 - c**2. Let g be y(1). Suppose -12*t - 136 - 20 = 0. Let v = 13 + t. Sort g, 1, v in increasing order.
v, 1, g
Let l = -1.9536 + -0.0464. Put 1/4, l, 1, 0.5 in decreasing order.
1, 0.5, 1/4, l
Suppose 2*m + 8 = 4*n, -5*n = 4*m - m - 10. Suppose m = -4*q + z - 5*z - 8, 0 = 3*q - 4*z - 29. Let f(k) = -k**3 - 2*k**2 + 1. Let r be f(0). Sort -3, r, q.
-3, r, q
Let a(z) = z**3 + 6*z**2 - 9*z - 1. Let f be a(-7). Let d be (-2)/f + (-12)/(-78). Suppose -5*t - 14 + 4 = d. Sort -5, 2, t in increasing order.
-5, t, 2
Let a(n) = n**3 - 33*n**2 - 69*n - 37. Let i be a(35). Sort i, 3, 2 in ascending order.
i, 2, 3
Suppose -3*i = -2*y - 16, 2*y - 20 = 6*y. Suppose -h + 0*h - 2*j = 0, 5*j + 1 = -i*h. Sort h, -1, 5 in descending order.
5, h, -1
Let b(h) = -17*h - 12. Let u be b(-1). Sort -2, -47, u in decreasing order.
u, -2, -47
Let a = 76 - 52. Let d = a + -22. Put 0.1, d, 5 in decreasing order.
5, d, 0.1
Suppose 2*g = 6*g - 12, g + 61 = -4*v. Let l be ((-7)/3)/((-2)/(-12)). Let k = l - v. Put -2, k, 3 in ascending order.
-2, k, 3
Let o = -62 - -2. Let g = -89 - o. Let f = g + 29.5. Put 0, -2, f in ascending order.
-2, 0, f
Let f = -23 - 16. Let y be 306/(-9) - (-2)/(-5 - -4). Let r = f - y. Put -7, r, 0 in ascending order.
-7, r, 0
Suppose -8961 = -71*m + 158*m. Sort 0, -1, m in increasing order.
m, -1, 0
Suppose -4*d + 6 - 2 = 0. Let a(z) = z**3 - 3*z**2 + z + 2. Let m be a(2). Let u be 12/16 + (-78)/8. Put d, u, m in descending order.
d, m, u
Let d = 0.026 + -51.526. Let y = 51 + d. Sort 0.12, 1, y in decreasing order.
1, 0.12, y
Let t be (28/(-8))/(1/(-4)). Put t, 5, -5, -3 in descending order.
t, 5, -3, -5
Suppose 9*y = 3*y. Put -4, y, 97 in decreasing order.
97, y, -4
Let f be (0 - 0)/(0 + -1 + -1). Suppose -5*p - 2 - 3 = f. Put -5, 2, p, 6 in ascending order.
-5, p, 2, 6
Suppose -g - 8 = -2*q - 2*g, -21 = -3*q + 3*g. Let w = -46 - -48. Suppose -21*o - w = -19*o. Sort q, 2, o.
o, 2, q
Let v = -0.213 + 0.173. Sort 0.2, v, 0 in ascending order.
v, 0, 0.2
Suppose -3*w + 19 = -h, 0 = 4*w + 8*h - 4*h - 4. Suppose 0 = x, 12*s - 5 = 17*s + x. Sort s, 4, w.
s, 4, w
Let p = 4.2 - 1.2. Let r = 18/109 + -962/545. Sort -1/2, r, p in decreasing order.
p, -1/2, r
Suppose 384 = -27*m + 60. Put m, 5, 4 in decreasing order.
5, 4, m
Let z = -314 + 316. Sort -2, z, -3 in ascending order.
-3, -2, z
Suppose 4*l + 2 = -6. Let h(t) = 2*t**2 - 6*t + 4. Let j be h(2). Suppose -27*u + 18*u - 9 = j. Sort u, 4, l.
l, u, 4
Let v = -94 - -67. Let p = v - -53/2. Let h = -0.0025 + 0.3025. Put h, p, 0 in decreasing order.
h, 0, p
Let q be 1/(-4) + 1/12. Suppose 0 = -49*j + 39*j - 50. Sort q, -3, -1, j in descending order.
q, -1, -3, j
Let p be (4/(-2) + 0)/(-1). Suppose p*s + 145 = 5*s - 4*d, 2*s = 3*d + 97. Let g = s + -91/2. Sort -2, 3/8, g in decreasing order.
g, 3/8, -2
Let y be (-254)/1143 + (-38)/72. Sort -0.05, y, 2.
y, -0.05, 2
Let g = -56 - -57. Suppose 2*d = 3*x + 1, 2*d - 3*x = -x. Sort 3, d, -4, g.
-4, d, g, 3
Let c = 0.28 - -0.02. Let z be 2818/(-34) + 4/(-34). Let v = -83 - z. Sort 9, c, v in ascending order.
v, c, 9
Suppose -62 + 32 = -6*q. Put -4, 71, q in decreasing order.
71, q, -4
Let i = -3 + -2. Let q = -31 + -8. Let m = q + 44. Sort i, m, 3 in descending order.
m, 3, i
Let r = 9 + -5. Suppose -x + r = g, 4*g = 8*x - 4*x - 24. Suppose -2*j + 3*j + 4*k - 3 = 0, -15 = -x*j + 5*k. Put 9, j, 1 in decreasing order.
9, j, 1
Let z = -1916 + 1918. Sort z, 4, -4, 0 in decreasing order.
4, z, 0, -4
Let w = -18.8 - -19. Let s = -13/12 + -7/6. Let q = -31/12 - s. Sort w, -2/3, q.
-2/3, q, w
Suppose -4*s = -5*r - 14, -r + 20 = 2*s + 3*r. Suppose 2*p + s = -0*p. Let z = -127 + 128. Put z, -14, p in ascending order.
-14, p, z
Let j(a) = -a**3 + 8*a + 4. Let c be j(0). Sort -1, c, -63 in ascending order.
-63, -1, c
Let f be ((-56)/(-98))/(3/21). Put -9, -4, f in descending order.
f, -4, -9
Let m = 504 - 497. Sort -2/3, -4, 1, m in descending order.
m, 1, -2/3, -4
Let f = -51.36 + 51. Let h = -0.66 - f. Sort h, -2/5, 1 in increasing order.
-2/5, h, 1
Let g = -0.0949 + -80.8051. Let c = -81 - g. Let z be 2*((-3)/2 - 0). Put -4, z, c in decreasing order.
c, z, -4
Let y(w) = w**2 + w + 5. Let r be y(0). Let l(z) = -z**3 + z**2 + 4*z + 1. Let h be l(3). Put 4, h, r, -4 in descending order.
r, 4, -4, h
Suppose -2 = 5*g + 2*d, -g - d + 6*d = -5. Let o be 1*8/(-4) - -4. Let b be (-9)/(-6)*o/3. Put b, -1, g in descending order.
b, g, -1
Let c = -4 + 6. Suppose 3*g - 4*l = 1, -2*g - 5*l - 5 + 21 = 0. Suppose 68*t = 69*t + g. Sort c, -4, t in decreasing order.
c, t, -4
Let p(t) = t - 7. Let b be p(9). Let h be (11/(-33))/(b/18). Let v be 0*3/12 + h. Put -9, 3, v in increasing order.
-9, v, 3
Let v = -238 - -227. Put 0.1, -1/4, v, -3 in descending order.
0.1, -1/4, -3, v
Let m = -1102 - -1098. Suppose d - 3*j - 3 = 4, -d + 11 = -5*j. Put -3, d, m in descending order.
d, -3, m
Let k be (3 - (9 - 6))/(-2). Suppose -1 = r - 6. Sort 1, k, -2, r in ascending order.
-2, k, 1, r
Let q = 0.41 - 0.01. Suppose -5*r = 32*r + 333. Sort q, r, -0.4.
r, -0.4, q
Suppose -5*m = 16*g - 17*g - 19, 0 = 2*m - 2*g - 14. Put -3, -7, m, -2 in ascending order.
-7, -3, -2, m
Suppose -48*b + 79*b - 9 + 40 = 0. Suppose -7 = -3*m - 22. Let j = -1 + -2. Sort b, m, j in decreasing order.
b, j, m
Let i(m) = -m**3 - 10*m**2 - 11*m - 13. Let p = -85 - -76. Let o be i(p). Let d(x) = -x**3 - 3*x**2 + 1. Let j be d(-3). Put 2, o, j in decreasing order.
o, 2, j
Suppose -3*b + 10 = q, 0 = b - q - 5 - 1. Suppose 10*x + 35 = 3*x. Put x, b, 1 in increasing order.
x, 1, b
Let d(k) = -k**3 + 2*k**2 + k + 2. Let j be d(3). Let g = 185 + -185. Put j, g, -17 in increasing order.
-17, j, g
Suppose -62*y = -42*y - 40. Put -3, y, 3, 0.2 in decreasing order.
3, y, 0.2, -3
Suppose c + 57*g - 60*g = -2, 4*g = 5*c + 32. Let s be 1/2 + (-2)/4. Sort s, -5, c in increasing order.
c, -5, s
Let y(t) = -2*t**3 + t**2 + 7*t - 2. Let w be y(-2). Let c be (39/2)/((-3)/(-4)). Put 5, c, w in decreasing order.
c, 5, w
Suppose -648*y + 64 = -640*y. Put -7, -3, 3, y in descending order.
y, 3, -3, -7
Let k(j) = -7*j**2 + 5*j + 10. Let h(b) = -20*b**2 + 14*b + 30. Let i(t) = 6*h(t) - 17*k(t). Let g be i(-4). Put 1, 7, 5, g in decreasing order.
7, 5, 1, g
Suppose 21 = t - 4*t. Let u(s) = -s - 9. Let w be u(t). Let x(f) = 7*f - 58. Let o be x(9). Sort -9, o, w in increasing order.
-9, w, o
Suppose f = -f + 16. Suppose 10 = f*t - 3*t. Suppose -2*n + 4 = t*n. Sort 0, n, -3 in increasing order.
-3, 0, n
Let n(w) = 2*w**3 + 9*w**2 - 5*w + 3. Suppose -2*g - 30 = -76. Let p = 18 - g. Let b be n(p). Sort -3, 2, b.
-3, 2, b
Suppose 0 = -0*h - 4*h + 5*z + 26, 3*h = z + 14. Put -2, h, -3, -3/10 in decreasing order.
h, -3/10, -2, -3
Suppose -2*d = a + 12, -2 = 4*d - 2*a + 14. Sort 3, 14, d in increasing order.
d, 3, 14
Let d(i) = -i**2 + 4*i + 5. Suppose c - 3 = -1. Suppose -l - g = -3, c*l - 11 = -2*l - 5*g. Let f be d(l). Put f, -2, -1 in increasing order.
-2, -1, f
Let v(o) = o**3 + 68*o**2 + 69*o + 138. Let s be v(-67). Sort 8, s, -3 in decreasing order.
8, s, -3
Suppose 4*n = -4 - 4. Suppose 3*j = -y - 18, 4*j + 0*j = 5*y - 5. Sort y, n, -71 in decreasing order.
n, y, -71
Let f(h) = h**3 + 6*h**2 - 8*h - 9. Let o be f(-7). Let u be ((-1)/2)/(o/(-8)). Let a be (-7)/133 + 539/133. Put u, 2, a in descending order.
a, 2, u
Let l be -5*16/40*(3 + -1). Put 4, l, -5, -12 in descending order.
4, l, -5, -12
Let g(f) = -6*f - 39. Let k be g(-13). Let r = k - 49. Let m = -0.5 + 0.8. Sort m, -1/2, r.
r, -1/2, m
Let f = -0.0749 - -4.0749. Put f, 2/27, 11 in increasing order.
2/27, f, 11
Let j be 12/14*18*(-2)/(-5). Let v = 39/7 - j. Put v, 3, -2/7, -3 in descending order.
3, -2/7, v, -3
Let s be 6*(-2)/(-3) + -4. Suppose -2*f = -5*f + 12, -5*m - f + 14 = s. Suppose 0 = b - m, -4*t - 3*b - 