- -9. Let q = j + -3. Put q, -4, s in descending order.
q, s, -4
Suppose 3*a + 23 = 4*v, -a - 12 = -2*v + a. Sort -4, v, 5/4 in decreasing order.
v, 5/4, -4
Suppose 4*u - 3 = -2*a + 3*u, 0 = a + u + 1. Sort a, 3, 2.
2, 3, a
Let a = -4 - -6. Let w = -0.4 + 0.6. Let o = 0.2 + w. Put -3/2, o, a in decreasing order.
a, o, -3/2
Suppose 2*h - 2*y = 0, 4*y = h + 6*y + 15. Suppose -3*w + 2*w + 14 = 0. Let a be (-18)/w - (-6)/21. Put a, h, 3 in decreasing order.
3, a, h
Let v = 3 - 6. Let i be (3 - (v + 3)) + -3. Suppose y = i, -l = -y - y - 3. Put -4, l, -1 in descending order.
l, -1, -4
Let s be 1 - 3/(3/(-25)). Suppose -2*p + 10 = 2*o, -6*p + s = -2*p + 2*o. Let u = -6 + p. Sort u, 4, 5 in descending order.
5, 4, u
Let r = 0.49 + 0.01. Sort r, 5, 2/9 in increasing order.
2/9, r, 5
Let f = 0 - -1. Suppose 0*g - 3*g = 0. Sort g, f, -3 in ascending order.
-3, g, f
Let k = 1 - 3. Let q = 0.2 + 0.3. Sort 0.2, q, k in decreasing order.
q, 0.2, k
Suppose -m + 0 = -3. Suppose 4*d - 3*h = -19, d - m*h + 7 = -0. Sort 2/5, 2/9, d in descending order.
2/5, 2/9, d
Suppose 0 = -0*w + 3*w + 9. Suppose a - 4*x - 16 = 0, 0 = a - 2*x - x - 13. Put a, w, -4 in ascending order.
-4, w, a
Let l(v) = -v. Let w be l(1). Let i = 4 - w. Let r = i - 10. Put -3, r, -2 in decreasing order.
-2, -3, r
Let h be 4*(1/(-39)*3)/(-2). Suppose -2*x = -5*l + 11, 4*x + 1 = 9. Suppose 0 = 5*t - l*f + 9, 4*t = 5*t - 5*f - 7. Sort h, 0.1, t.
t, 0.1, h
Let s = 1.4 + -1.4. Sort -7, 2/11, s, 2 in descending order.
2, 2/11, s, -7
Let n = -0.096 + -0.004. Put -3, -5, 1, n in ascending order.
-5, -3, n, 1
Let d = -883/6 + 136. Let g = -21/2 - d. Put g, 5, 3 in ascending order.
g, 3, 5
Let q = 23 - 13. Suppose -5*u + 5 = -q. Let z = u + -8. Sort z, -0.5, 1/5 in descending order.
1/5, -0.5, z
Let r = 34 + -34. Sort r, -5, -4 in increasing order.
-5, -4, r
Suppose -3*v + v = c, 5*c + 11 = v. Let q be v/(-3) - 40/24. Sort -3, 3, q.
-3, q, 3
Let k = 23 - -2. Suppose -7*u + 2*u = -k. Put u, 2, -4 in ascending order.
-4, 2, u
Let c be 5/(-2)*(2 + -4). Let h(a) = a - 2. Let j be h(0). Let i be 10/4*j*1. Sort i, c, -1.
i, -1, c
Let v be (-2)/5 - (-28)/(-5). Let x be -7 + 3/v*-4. Put x, 2, -1 in increasing order.
x, -1, 2
Suppose 15*y = -12*y - 135. Let g = 1 + -5. Sort y, -1, g.
y, g, -1
Let k(q) = 3*q - 5. Let m be k(3). Put 0.3, 1, m in ascending order.
0.3, 1, m
Let g be 18/(-12)*(-4)/(-6). Let q be (-6)/(-9)*(-42)/4. Put g, 3, q in descending order.
3, g, q
Let f = -6 - -7. Sort -0.3, f, -1/12.
-0.3, -1/12, f
Let z be 4 + 8/(-4) + 3. Let u be (-1)/(1/z) + 2. Put -1, u, -2 in decreasing order.
-1, -2, u
Suppose -5*t = 5*d - 30 + 5, -t = 3*d - 7. Sort -2, -17, t, -3.
-17, -3, -2, t
Let d be (-12)/(-102) + (-2)/17. Suppose -27 = -3*u - 3*x, u + 2*x + x - 19 = d. Sort -5, u, 0.4 in descending order.
u, 0.4, -5
Let n = 10.9 + -11. Let q = n - -0.2. Sort 4, 3/7, q.
q, 3/7, 4
Let i = -0.8 - -0.5. Let c = 3 - 2. Put i, c, 5 in increasing order.
i, c, 5
Suppose 4*q = 2*q - 6. Suppose -2*z + 5*k + 7 = 0, 2*z - 4*k - 12 = -0*k. Suppose 2*g = 6*g - z. Sort q, -4, g in descending order.
g, q, -4
Let s = 13.9 - 14. Put 0.2, s, -8 in decreasing order.
0.2, s, -8
Let p = 1.1 + -0.1. Let l(k) = k**3 - 5*k**2 + 3*k + 1. Let s be l(4). Let z = 109/3 - 36. Sort z, p, s.
s, z, p
Suppose 5 = 2*f + 1. Sort 5, 3/8, 0.3, f in ascending order.
0.3, 3/8, f, 5
Let m = -2 + 1. Let k be (-6)/4 - m - -1. Let o be ((-10)/(-4))/(60/24). Sort k, -2, o in descending order.
o, k, -2
Let c = 24 - 37. Let v = c + 21. Let u = 8 - v. Sort -1, 3, u.
-1, u, 3
Suppose -5*q - 4*r + 6 + 15 = 0, 0 = 4*q - 2*r - 22. Sort q, 2, 3.
2, 3, q
Suppose 2*a - d - 2 = d, -2*a - 3*d = 23. Sort 5, 2, a.
a, 2, 5
Let o be 1593/(-39) - 2/13. Let g = -371/9 - o. Sort 2/9, g, -1/2 in increasing order.
-1/2, g, 2/9
Let l(b) = -b**2 + 3*b + 3. Let a be l(3). Let s(i) = -2*i**3 - 3*i - 2. Let o be s(-2). Suppose v = -a*v + o. Put -5, -0.1, v in ascending order.
-5, -0.1, v
Let s = -7 + -3. Let b = 4 + s. Sort b, 0, -1 in descending order.
0, -1, b
Let m = 60 - 60. Sort 4/3, -0.4, -2, m.
-2, -0.4, m, 4/3
Suppose p + 2 = -0. Let u be 5 + p + 0 - 0. Let y(q) = q**3 - 3*q**2 + 3*q - 4. Let b be y(u). Put 1, 4, b in descending order.
b, 4, 1
Suppose -3 = -4*t + 9. Let s be (9/6)/(t/(-4)). Sort -3, s, 7.
-3, s, 7
Suppose -5 - 10 = -3*c. Let p(t) = t**2 - 4*t - 2. Let z be p(c). Suppose 3 = -3*d - z. Sort -1, -5, d in decreasing order.
-1, d, -5
Let n = -0.21 + 2.61. Let d = n + -2.5. Put -4, 1/8, d in descending order.
1/8, d, -4
Let o be (-7)/(-4) - 3/(-12). Let l be (-1 - -10)*o/6. Let w = -231/5 + 46. Sort l, w, -1/4.
-1/4, w, l
Let c = 66 + -45. Suppose c = w + 4*k, -2*w + 0*k + 7 = k. Sort -5, w, 0 in descending order.
w, 0, -5
Let q be (-10)/(-25) + (-34)/10. Let i be 2 + -5 + 3 + 3. Put 5, q, i in decreasing order.
5, i, q
Let j(n) = n**3 - 4*n**2 + 7*n - 7. Let c be j(3). Put c, -2/21, 2 in descending order.
c, 2, -2/21
Suppose 6*d - 8 = 16. Put -3, d, -2, 6 in decreasing order.
6, d, -2, -3
Let u = 6.5 - 8.5. Put -4/3, 3, 1, u in ascending order.
u, -4/3, 1, 3
Let w = -262/15 - -53/3. Sort -3, 4, w in increasing order.
-3, w, 4
Suppose 3*x - 3 = 4*x. Suppose -2*k = -2*u, 5*k + 3*u - 14 = -46. Put 3, k, x in decreasing order.
3, x, k
Let r = 21.48 + -21. Let v = -0.5 + r. Let x = 0.08 - v. Sort x, -1, 1 in decreasing order.
1, x, -1
Let f = 1.4 - 1.6. Let z be 6/(-8) + (-1)/4. Put f, 0.3, z in decreasing order.
0.3, f, z
Suppose 0 = w + w - j - 2, 0 = -5*j + 20. Suppose 2*h + 15 = -h - 3*q, -q = -w*h + 1. Sort -5, 2, h in decreasing order.
2, h, -5
Let z = -70 + 71. Sort -2, 0, z, -3 in ascending order.
-3, -2, 0, z
Suppose 3*p + 5*i = 15, -p + 2*p - 5 = 4*i. Sort -10, p, -5.
-10, -5, p
Let m = 0.01 + -10.01. Let a = m + 9.8. Sort a, -2, 4/5 in decreasing order.
4/5, a, -2
Let j be 3 + 4 - (3 + 1). Sort j, 5, -6 in increasing order.
-6, j, 5
Suppose c = 1 - 0. Let n(t) = 4*t - 5*t - c - 9. Let s be n(-7). Sort -5, s, 3 in descending order.
3, s, -5
Suppose -2*k + 3*x - 27 = 0, 15 = -3*k + x - 22. Let o be 1*(-9)/k*-4. Sort o, 1, -2.
o, -2, 1
Suppose -5*m - 6 = -8*m. Put -1, m, 11 in decreasing order.
11, m, -1
Let n be 0 - ((-2)/(-2) + -2). Let w = -0.32 - -0.12. Suppose 4*v + u + u = -12, 3*u + 14 = -5*v. Sort n, v, w in descending order.
n, w, v
Let a = -1 + 0. Let b = -4 - a. Sort 0.5, -2/19, b in ascending order.
b, -2/19, 0.5
Let r be ((-2)/((-8)/(-4)))/1. Suppose 12 = l + 2*l. Suppose 4*b + 0*b - l = 0. Sort r, 4, b.
r, b, 4
Let h be 2/5*2/((-6)/15). Put 14/3, h, -1/5, 4 in ascending order.
h, -1/5, 4, 14/3
Let t = 0.07 + -1.07. Sort 2, 0.04, t in ascending order.
t, 0.04, 2
Let u = -0.46 + 0.06. Let t = -0.9 + 0.9. Put t, 4, u in ascending order.
u, t, 4
Let p be (8/(-28))/1 - 0. Let h = -0.3 + 0.6. Let w = -0.1 + h. Sort w, -5, p in increasing order.
-5, p, w
Let w = 0.1 + -3.3. Let y = -3 - w. Let p = y + -1.2. Put p, 0.4, -0.1 in decreasing order.
0.4, -0.1, p
Let l = -9 + 5. Let n be (-7 - -10)*(-4)/(-6). Suppose 0 = -m + 1, 4*x + 7 - 1 = n*m. Sort x, 5, l in ascending order.
l, x, 5
Let x = 13 + 2. Suppose 0 = 4*y - y + x. Sort y, 0, 0.3.
y, 0, 0.3
Let i be (18/12)/(924/16). Put i, 5/2, -4 in descending order.
5/2, i, -4
Suppose 2*u - 2 - 4 = 0. Let b(m) = -m**3 + m**2 + m. Let x be b(-1). Suppose x = 5*a - 4. Sort 2, u, a.
a, 2, u
Let i = 10 - 15. Sort i, 6, 3.
i, 3, 6
Let t = 9 - 5. Let c(q) = -q**3 + 3*q**2 - 2*q + 3. Let x be c(2). Let p = 2 + x. Sort t, p, 0.5 in increasing order.
0.5, t, p
Let a(w) = -w**3 + 3*w**2 + 5*w - 3. Let f be a(4). Let i be 6/(-4)*110/(-15). Let p = 10 - i. Put p, 3, f in descending order.
3, f, p
Suppose 4*g = 2*x - 25 + 1, 2*x + 3*g + 4 = 0. Sort x, 5, -2/5, 0.3 in increasing order.
-2/5, 0.3, x, 5
Let a(o) = -2*o + 17. Let g be a(10). Put 3, -10, 5, g in decreasing order.
5, 3, g, -10
Suppose 6*f = 2*f - 4*u + 40, 5 = 2*f - u. Let v = 0.5 + 0.3. Let w = -0.5 + v. Sort 0, f, w.
0, w, f
Suppose -7*i + 8 = -5*i. Suppose -4*b - 20 = -0*b. Put b, i, -2 in increasing order.
b, -2, i
Let c = -11 - -8. Let p be 21/15 - (-279)/(-155). Sort p, c, 0 in ascending order.
c, p, 0
Suppose -w = 3*d + 16, 0 = 5*w + d - 3*d - 5. Let s = 0.01 - -1.99. Let r = -3 - s. Sort -2, w, r in descending order.
w, -2, r
Let j = -3.9 - -4.2. 