be x(-3). Put -4, q, l in decreasing order.
l, q, -4
Let v be (-8*7/(-56))/(2/(-6)). Sort -29, 2, -2, v in decreasing order.
2, -2, v, -29
Let h(v) = v**3 - v**2 + v + 9. Let c be h(0). Let j be 8/2 - (0 + 1). Suppose -17 = -u - 4*g, -3*u - c = j*g - 33. Sort -4, u, 4 in descending order.
u, 4, -4
Let n = 0 + -0.3. Sort n, 0.2, 0.5, -3.
-3, n, 0.2, 0.5
Let q(y) = -y**2 - 5*y - 7. Let j be q(-2). Put 1, 8, -3, j in descending order.
8, 1, j, -3
Let q be (40 + (0 - 2))*2/4. Sort 5, q, -1 in descending order.
q, 5, -1
Suppose 5*w + 43 = -3*l, 4*l - 5*l + 4 = -2*w. Let q be ((-1)/(-2))/(3/l). Let s be ((18/(-3))/(-2))/q. Sort 5, s, 2.
s, 2, 5
Let x(a) = a**2 - 6*a + 3. Let s be x(6). Let y be s/(6/(-8) - 0). Sort y, -2, -3.
y, -3, -2
Let q = -0.09 - -0.05. Let g = -0.44 - q. Sort g, -3, -7 in decreasing order.
g, -3, -7
Suppose -5 = w - 1. Let p = -2.6 + -0.4. Sort w, p, 2.
w, p, 2
Let h be 321/5 + 12/6. Let w = -66 + h. Let b = -9/16 - -93/80. Put 0.3, b, w in descending order.
b, 0.3, w
Let o be 44/(-20) + (-3)/(-15). Sort -6, -3, o in increasing order.
-6, -3, o
Let d = -4 - -9. Suppose -3*u + 7 = -d. Sort -3/8, 0.5, u.
-3/8, 0.5, u
Suppose 5*o = 2*a + 15, 12 = 4*o - 0*a - 3*a. Suppose o*q + 3 - 12 = 0. Put 2/5, q, 1 in decreasing order.
q, 1, 2/5
Let x(h) = h**3 - 8*h**2 - 8*h - 10. Let l be x(9). Let a be (-2)/2*3/1. Let u be (a - 4/(-2)) + 2. Sort l, u, 5 in decreasing order.
5, u, l
Let b be (-19)/(-39) + (-8)/52. Let c = b + -1/2. Sort -1/3, -1, c in ascending order.
-1, -1/3, c
Suppose 0*a = 2*a + 8. Suppose 0*k - k = -h - 1, k + h + 5 = 0. Sort k, a, -7 in descending order.
k, a, -7
Suppose 36 = 4*f - 24. Let q be ((-30)/(-8))/(3/8). Let j be (-9)/f - (-21)/q. Put j, -2, 1/2 in descending order.
j, 1/2, -2
Let r = -0.04 - 3.96. Let m = 0.011 + 3.989. Sort r, -3/7, m in decreasing order.
m, -3/7, r
Let v(r) = -2*r**2 + 2*r - 2. Let k be v(1). Put k, 4, -0.1 in increasing order.
k, -0.1, 4
Let b = 2 + -1. Sort -0.1, 0, b in increasing order.
-0.1, 0, b
Suppose -29 - 31 = -4*j. Suppose 0 = -2*l - 4*m - 8, -5*m - j = -4*l - 5. Suppose 21 = 5*n + 1. Sort l, n, -3 in decreasing order.
n, l, -3
Suppose -3*o - 5 + 1 = -4*l, -l - 16 = -5*o. Let j(c) = c**3 - 6*c**2 + 5*c + 2. Let x be j(5). Sort 5, l, x in descending order.
5, l, x
Let y = 88 - 97. Sort y, -0.1, -5.
y, -5, -0.1
Let l = 10.16 + -10. Let y = 3.16 - l. Sort -4/7, y, 0.5.
-4/7, 0.5, y
Suppose -4*l - 12 = 0, 4*c - 1 + 12 = 3*l. Sort -2, 2, c, 1 in ascending order.
c, -2, 1, 2
Suppose 5*a - 4*a + 3 = 0. Let m be 9/(-12) + (-1)/4. Sort a, m, 1.
a, m, 1
Let s be 5/(-2) - 2/4. Let i = 2 + s. Let x = i - -5. Sort x, 5, 0.3 in increasing order.
0.3, x, 5
Let x = 163 + -163.3. Let n = 2 + -6. Sort 2/11, x, n.
n, x, 2/11
Let l = 16 - 26. Let b = 0.18 - 7.18. Let m = l - b. Sort -0.5, m, 0.1.
m, -0.5, 0.1
Let w(t) = t**2 + t - 2. Let x be w(2). Sort 0, -5, 2, x in increasing order.
-5, 0, 2, x
Let n = 11 - 8. Suppose -p + 8 = n*p. Sort 4, 0, p in descending order.
4, p, 0
Let r = 2.3 - 3. Let x = r + -2.3. Sort 0.2, x, -0.2 in decreasing order.
0.2, -0.2, x
Let a = -4.9 + 4.85. Put 2, -1/6, a in descending order.
2, a, -1/6
Let r(a) = a**3 - 5*a**2 + 5*a - 1. Let q be r(4). Let i = -2 - -4. Suppose -5*j + 3*b = 4*b + 14, -5 = i*j + b. Put q, 4, j in descending order.
4, q, j
Let u = 5.73 + -6.03. Let d = -0.1 + 0.6. Put u, d, 1.2 in decreasing order.
1.2, d, u
Let y = -38 - -53. Let w be y/(-63) - 4/(-6). Put -0.4, 1/3, w in decreasing order.
w, 1/3, -0.4
Suppose 4*h - 22 = -2*r, 3*r + 2*h - 17 = -0*r. Let a be 11 + (-9)/r - 3. Sort 4, a, 2 in descending order.
a, 4, 2
Let s = -2.2 - 1.8. Sort 2, s, -4/7.
s, -4/7, 2
Let m be 8*(-1)/(-2) + -3. Let v(h) = -h**3 + 10*h**2 - 2. Let y be v(10). Sort y, m, -3 in ascending order.
-3, y, m
Suppose 5 = -5*s + 6*s. Put -4, s, -2 in descending order.
s, -2, -4
Let u = -40 + 122/3. Put u, -2, 0.9, 2 in increasing order.
-2, u, 0.9, 2
Let y = 1.4 - 11.4. Let z = y + 10.1. Let w = 452 + -3170/7. Sort z, w, -2 in decreasing order.
z, w, -2
Let d = -0.02 + -0.08. Let b be ((-2)/(-4))/((-2)/4). Put b, d, 6 in descending order.
6, d, b
Suppose 6 = -5*u - 4. Sort u, 0, -4.
-4, u, 0
Let x be ((-2)/(-5))/(2/3). Let c be (-4)/6*(-18)/(-4). Sort x, 0, c in decreasing order.
x, 0, c
Let c = -26 - -29.6. Let f = -4 + c. Let d = 5 + -2. Put 1/2, f, d in increasing order.
f, 1/2, d
Let c = -5 - -4.65. Let i = -0.05 - c. Let o(v) = -v**3 + v**2 + 2. Let s be o(0). Sort 3, s, i in decreasing order.
3, s, i
Suppose -51 = -3*h - 15. Suppose -3*f = -h, -5*r + f = -3 - 53. Let u = -8 + r. Sort -0.5, -0.3, u in decreasing order.
u, -0.3, -0.5
Let y = -1 - -0.8. Let d = -0.03 - -3.03. Sort y, d, 0.2.
y, 0.2, d
Let t(h) = h**3 - 5. Let c be t(0). Let l be (-2)/(-4)*-2 - -2. Let k = -3 - l. Put k, -2, c in ascending order.
c, k, -2
Let l be 4 + 2 + 8/(-1). Sort -1, l, -5, 2 in increasing order.
-5, l, -1, 2
Let v = -344 - -343.6. Suppose 0 = 3*k + 3. Sort k, v, -3 in decreasing order.
v, k, -3
Let r(d) = d**2 + 4*d + 4. Let w be r(-4). Put 0.2, w, 1 in increasing order.
0.2, 1, w
Suppose 2*w + 18 = -w. Let n be 4/(-8)*8 - -1 - -3. Sort n, w, -0.4 in increasing order.
w, -0.4, n
Let k be 6/4*(-28)/(-21). Sort 0, k, -5 in ascending order.
-5, 0, k
Let p be 2/(-8) - (-34)/8. Suppose p*o - o = -s + 8, 4*o + 2*s - 14 = 0. Let f = 282 + -279. Put f, 4, o in increasing order.
o, f, 4
Let z(d) = -d**3 - 12*d**2 - 3*d - 40. Let v be z(-12). Sort v, 13, 1.
v, 1, 13
Let h = -2.8 + 3. Let b = 0.14 - 0.14. Let p = 0 + b. Put -1, p, h in decreasing order.
h, p, -1
Let j = -5 - -3. Let u = -10 - -7. Sort 0, u, j.
u, j, 0
Let s(z) = -z**2 - 6*z + 17. Let l be s(-8). Put l, -1, -7 in decreasing order.
l, -1, -7
Let m be ((-2)/(-4))/((-1)/14). Let h = -12 - m. Let f(t) = -t**3 - 8*t**2 - 6*t + 6. Let i be f(-7). Put i, h, 0 in increasing order.
h, i, 0
Suppose -4*m + 2 = 3*p - 1, m + 5*p - 5 = 0. Let s = -17/18 - -4/9. Put s, m, -5 in increasing order.
-5, s, m
Let d = -348 - -351. Let p = 1 + 3. Put p, -4/9, d in decreasing order.
p, d, -4/9
Let b = -3.07 + 0.07. Put 5, 0.5, b in increasing order.
b, 0.5, 5
Let v(c) = -2*c - 3. Let n be v(0). Sort 1, 5, n in descending order.
5, 1, n
Let o = -85/203 + -2/203. Suppose -3*v = 2*v - 15. Put -0.3, o, v in ascending order.
o, -0.3, v
Let y(r) = 3*r**3 + 2*r**2 - 2*r + 1. Let a be y(1). Let l be (-2)/3*(-18)/a. Put -1, -5, l in decreasing order.
l, -1, -5
Let j be 2*3/(-15)*-1. Sort -3/7, j, 1 in descending order.
1, j, -3/7
Let t(g) = -g + 2. Let c be t(-1). Let z = -3 - -2. Put c, z, -3/2 in descending order.
c, z, -3/2
Let t = -6 + 2. Let n = 124 - 123. Put 0, n, t in ascending order.
t, 0, n
Suppose 4*o = 2*w - o + 2, 4*w + o - 18 = 0. Sort 2, w, 6, 3 in increasing order.
2, 3, w, 6
Let y be ((12/(-9))/(-2))/(8/(-18)). Suppose -2*s - 2*s + 9 = 3*t, -5*t + 2*s = -15. Put y, t, -0.4 in descending order.
t, -0.4, y
Suppose -7*u = 2*u + 135. Sort 1, u, -2 in descending order.
1, -2, u
Suppose -u - 2 + 0 = -2*r, 3*r + 2 = 4*u. Suppose 3*d + 0 + u = 5*h, h - d = 0. Put h, 5, 0 in descending order.
5, h, 0
Let q be (-6 + 0)/(-3) + 1. Suppose -2 = b + 1. Sort q, -1, b.
b, -1, q
Suppose 5*h - 2*h + 3*q = -9, 0 = -2*q. Put h, 2, 0 in descending order.
2, 0, h
Let v(x) = x**2 - 6*x - 2. Let u be v(7). Suppose 4*a + 20 = -4*c, 0*a - c - 5 = 5*a. Sort -4, a, u in descending order.
u, a, -4
Suppose -3*i - 20 = -4*x, i + 3*i - 25 = -5*x. Let c = -12 - -27. Suppose 5*b - c = x. Sort 5, b, 0 in decreasing order.
5, b, 0
Let s be (4/(-6))/(10/15). Put -2, s, 2 in ascending order.
-2, s, 2
Suppose 0*f + 8 = f. Let v be 4 + (-28)/f + 1. Sort -5, v, -1 in increasing order.
-5, -1, v
Let k = -1.9 + 2. Suppose 0 = -0*i + 3*i + 2*q - 10, 20 = 2*i + 4*q. Let u be i/2 + (-4)/(-12). Sort u, -2/17, k in descending order.
u, k, -2/17
Let r = -10 - -7. Let m be (-16)/(-20)*(-3 + (-19)/(-6)). Sort m, r, -3/8 in ascending order.
r, -3/8, m
Let m = 30 + -26. Sort -4, -15, m in decreasing order.
m, -4, -15
Let h = 17 + -17.4. Put 2/7, -3, h in descending order.
2/7, h, -3
Let h be (-36)/8*2/(-12)*1. Sort h, -3, 0.1, -0.5 in descending order.
h, 0.1, -0.5, -3
Suppose -3*y + b - 3 + 17 = 0, -3*b - 2 = y. Sort y, 1/5, 0.3 in descending order.
y, 0.3, 1/5
Let l(d) = 4*d**3 - 2*d**