-2
Let w = 19 - 31. Let h be 2/3 + 44/w. Sort 4, h, 1.
h, 1, 4
Let w(i) = -i**3 + 8*i**2 - 2*i + 15. Let j be w(8). Sort 5, j, -3, 10 in ascending order.
-3, j, 5, 10
Let j be (3 - 1)*(-3)/(-2). Let m be (-2)/(-1) - (j + -1). Let n = 22 + -26. Put -3, m, n in decreasing order.
m, -3, n
Let w(x) = x. Let o be w(1). Suppose p + z = -z - 9, 0 = 4*p + 4*z + 24. Sort p, 4, o in increasing order.
p, o, 4
Let l be ((-3)/(-4))/(3/(-7)). Put l, -0.1, 5 in decreasing order.
5, -0.1, l
Suppose 0 = -3*u + u + 32. Let g = 11 - u. Let f = 1 + 2. Sort g, 1, f in descending order.
f, 1, g
Suppose -5*j + 3 = -4*j. Suppose u = -0*u + 2*f + 6, -4 = 2*f. Sort 1, j, u in increasing order.
1, u, j
Suppose -8*y + 140 = -4*y - 2*b, 0 = 5*b - 20. Sort y, -3/2, 6/5, 0.
-3/2, 0, 6/5, y
Let z = -0.2 - -0.5. Put -0.3, 2, z in descending order.
2, z, -0.3
Suppose -u + 0 = 3. Let a = 3 + u. Let p = a + 0. Put p, -2, -4 in descending order.
p, -2, -4
Let w = -1 - -2. Suppose -4*i = -0*i - 16. Let b be ((-2)/i)/((-27)/(-12)). Sort -0.4, b, w in descending order.
w, b, -0.4
Let t be (-76)/18 + 2/9. Let d(f) = f**3 + 5*f**2 + 3*f - 3. Let w be d(t). Sort w, -4, -5 in ascending order.
-5, -4, w
Let p be 2/10 + 12/(-10). Let j be p + (-3 + -2 - -2). Sort 2, -1, j.
j, -1, 2
Suppose -1 = -t + 5*a, 2*t + 3*a + 0*a = -11. Let w = -0.27 + 0.07. Sort w, t, -1 in decreasing order.
w, -1, t
Suppose 0 = -z + 2*z - 5. Sort 3, -2, z.
-2, 3, z
Let t be ((-24)/18)/((-2)/(-3)). Sort 4, t, 1.
t, 1, 4
Let p = 6 - 3. Let x = -36 + 32. Let v = p + x. Sort -5, v, 5 in decreasing order.
5, v, -5
Let g(t) = t**2 - 7*t - 7. Let o be g(6). Let v be 8/(-52) - 67/o. Put 1, v, 0 in decreasing order.
v, 1, 0
Let j be 2/(-5) + 8/(-5). Suppose -4*x = -3*x. Sort 4, j, x.
j, x, 4
Let u = 0.4 - 0.4. Let l = 17 - 19. Let x = 5 + l. Sort x, 1, u.
u, 1, x
Let c = -268/3 - -88. Let l = 4 - 8. Put l, c, 1 in decreasing order.
1, c, l
Let p be (-5)/(-140)*4 + (-2)/14. Sort p, 6, -5 in descending order.
6, p, -5
Let p = 536 - 539. Let o = 0.8 + -0.3. Let v = 0.8 - o. Put -4, p, v in descending order.
v, p, -4
Let x = -1 - 0. Put -5, x, 4 in increasing order.
-5, x, 4
Let n(l) = -l + 5. Let k(j) = -j + 11. Let x be k(6). Let m be n(x). Suppose m = -v - 0*v. Sort -3, v, 1 in descending order.
1, v, -3
Suppose 3*g - 4*q + 7 = 0, -4 = 5*g - 5*q + 1. Sort 2, g, -2 in descending order.
g, 2, -2
Let u(t) = -t**3 + 4*t**2 + t - 5. Let d be u(5). Let c be 0 + (d/(-9) - 3). Put 0.3, c, -5 in increasing order.
-5, c, 0.3
Let r be (-1)/2*(-8)/2. Suppose -3 = -3*h + 2*h. Suppose -v + 2*v + 4*w = 23, -3*v + h*w = 6. Sort v, r, 0.
0, r, v
Let w = -0.8 + -5.2. Let k = w - -8. Sort 0, k, -5 in descending order.
k, 0, -5
Let j = 4 + -10. Let t be 1/j*(-8)/(-7). Let n = t + -10/21. Put -0.5, -1, n in descending order.
-0.5, n, -1
Let w(y) = -y. Let c be w(-2). Suppose -4*b + 11 = -21. Let o(d) = d**3 - 7*d**2 - 8*d - 3. Let z be o(b). Sort 4, z, c.
z, c, 4
Let v be (-4)/(-6) - (-1)/(-6). Sort v, 0, 0.06 in decreasing order.
v, 0.06, 0
Let z = 11 + -15. Suppose -3*a - 2*a - 5*l = -30, 0 = 5*a - l - 18. Suppose -5*d + 4*g = 5*g + 1, -g = -4*d + 1. Sort d, z, a in decreasing order.
a, d, z
Let s be (-8)/(-6)*(-13)/78. Sort s, -6/5, -4, 0.1 in descending order.
0.1, s, -6/5, -4
Suppose 2*o + 3 = -31. Put o, 2, 4, -5 in descending order.
4, 2, -5, o
Let z(h) = h**2 - 8*h - 8. Let u be z(7). Let i be 1/((-12)/u) - 1. Sort -4/3, -0.02, i in decreasing order.
i, -0.02, -4/3
Suppose 2*v + 8 = 4*c + 2, -4*v + c = 5. Let f = 4 + v. Let i be (-4)/5 + (-96)/30. Put f, i, 0 in decreasing order.
f, 0, i
Let k = -2327/7 - -333. Sort -1, k, -3/8 in decreasing order.
k, -3/8, -1
Let k(l) = -2*l + l - 1 - 5 + 2*l. Let a be k(9). Sort 0, a, -1.
-1, 0, a
Suppose 3*p + 3 = -0*p. Let h be (3 - 4)/(p/4). Let k be 6*3/((-9)/2). Sort -5, h, k in descending order.
h, k, -5
Suppose 3*o + 15 = -0*o. Let n(i) = i**2 + i - 4. Let u be n(-3). Sort u, 1, o.
o, 1, u
Let x = -92 + 88. Put x, -5, 1 in increasing order.
-5, x, 1
Let d = 2.6 + -2.5. Put 0.5, d, 4 in increasing order.
d, 0.5, 4
Suppose -2*w + 19 = 5*q, -q = 5*w + q + 5. Put w, 12, 1, 5 in increasing order.
w, 1, 5, 12
Let x be 0 - (4 - (-2 + -4)). Let v be 34/10 + (-6)/x. Sort -1, v, 5.
-1, v, 5
Let n = 12 - 8. Put n, -5, -2 in decreasing order.
n, -2, -5
Let b = -147 + 152. Sort -3, 0.12, b, -2 in descending order.
b, 0.12, -2, -3
Let r = -18390589/6786 + 48785/18. Let y = -4/87 + r. Sort y, 2, -5.
-5, y, 2
Let s be -3 + ((-4)/(-2))/(-1). Let k(p) = -p**2 - 6*p - 1. Let i be k(-6). Put s, i, 2 in descending order.
2, i, s
Suppose w + w = 10. Suppose -a + 3*m = -4 + 9, 2*m = -a. Suppose 6*d = d. Put d, w, a in increasing order.
a, d, w
Let p = 3.93 + 0.07. Let u = 2 + -2. Let t = -0.5 + -0.5. Sort p, t, u in descending order.
p, u, t
Let l = -5.08 - -0.08. Let v = 1 - 0.4. Let u = v + -0.2. Sort -0.4, u, l in increasing order.
l, -0.4, u
Let o = -0.1 + -0.7. Let y = -0.5 - o. Put -0.4, y, -0.5 in ascending order.
-0.5, -0.4, y
Suppose -o - 2*g = -5, 3*g = 4*o - 2*g + 32. Sort 4, -4, o.
-4, o, 4
Let a = 0 - 4. Let q(v) = -v**2 + 8*v - 5. Let d be q(7). Suppose 2 = d*b - 6. Sort b, a, -1 in descending order.
b, -1, a
Let u = 0.157 - -0.243. Sort -7/5, 1/2, u, -1/5.
-7/5, -1/5, u, 1/2
Let l be -1*3/(-9)*45. Let q be l/(-6) + (-1)/2. Put q, -1, -4 in ascending order.
-4, q, -1
Suppose 2*l - 5*j + 11 = l, 4 = -2*l + j. Let r = 3 - l. Let b be (5/3 - 1)*-3. Sort b, r, 5 in ascending order.
b, r, 5
Let d = -2.6 + -2.7. Let o = -0.3 - d. Put o, 3, 0.1 in ascending order.
0.1, 3, o
Let r(z) = z**3 - 3*z**2 + z + 1. Let f be r(3). Sort 6, 2, f in decreasing order.
6, f, 2
Let l be ((-4)/(-6))/((-26)/(-39)). Let h(t) = -t - 8. Let j be h(-5). Let g = -6 - -1. Sort l, j, g in increasing order.
g, j, l
Let z(u) = -u**3 + 6*u**2 + 6*u + 7. Let c be z(7). Sort -2, -3, c in decreasing order.
c, -2, -3
Let t = 5.02 + -0.02. Let w be (3/(-195)*69)/2. Let s = w + 2/65. Put t, 2/11, s in descending order.
t, 2/11, s
Let z be 33/27 - 10/45. Sort 0, z, 4 in descending order.
4, z, 0
Let l be (0 - 1) + (51/12)/(-1). Put l, 4, -5 in decreasing order.
4, -5, l
Let v(g) = -g**3 - 11*g**2 + 12*g + 3. Let a be v(-12). Let w be -2 - (0 + 2)/(-2). Sort 4, a, w in descending order.
4, a, w
Let l = 3.8 + -4. Put -1/6, 0.3, 0.5, l in increasing order.
l, -1/6, 0.3, 0.5
Let k be 2/(1 - 3) - 0. Let r(u) = u**3 - 11*u**2 - u + 16. Let m be r(11). Sort k, 1, m.
k, 1, m
Let g(n) = -n**2 + 6*n + 1. Let b be g(6). Let l be b/(-12 - (-3 - -1)). Put -0.4, l, -0.3 in descending order.
l, -0.3, -0.4
Suppose -8*b = -9*b. Sort b, -3, 2 in descending order.
2, b, -3
Let t = 0.6 - 0.3. Let q = -11 + 13. Put q, -2, t in descending order.
q, t, -2
Let j(v) = -v**2 + 8*v + 11. Let q be j(9). Suppose 4*k = -p + 20, 3*p - q*p = k. Let d be (-1)/(-2) + 2/k. Sort -3, -5, d in descending order.
d, -3, -5
Let r = 16 + -20. Put -14, 5, r, 3 in decreasing order.
5, 3, r, -14
Suppose 14*w - 55 = 3*w. Sort w, 4, -2 in increasing order.
-2, 4, w
Let t(n) = 3*n**2 - 3*n - 1. Let q be t(2). Sort 1/4, q, 2.
1/4, 2, q
Let z = 0.04 - -0.16. Let m = -5 - -4.8. Sort z, 0, m in descending order.
z, 0, m
Let z = -8 - -5. Let n(g) = -g**2 + 3*g + 4. Let m be n(3). Suppose -m*c - 23 + 7 = 0. Put 4, z, c in descending order.
4, z, c
Let v(a) = -a**3 - 3*a**2 + 5*a + 6. Let b be v(-4). Suppose 0 = -3*i + b*i + 2. Put -2, 4, i in descending order.
4, i, -2
Suppose -u = -2*l, -5*l + 2*u = u - 6. Let r(n) = n + 10. Let a be r(4). Suppose -5*k - 5*d = 35, 2*k - 3*d = -l*k - a. Sort k, 4, -1/5 in descending order.
4, -1/5, k
Let a be (-1)/3*-2*6. Let f be a/(-12) + (-4)/(-3). Sort -3, f, -1 in increasing order.
-3, -1, f
Suppose d + 4*d + 55 = -5*z, -3*z - 2*d - 28 = 0. Let y = -0.2 + 0. Sort z, -0.5, y in decreasing order.
y, -0.5, z
Let r = 2479076/13 + -190572. Let l = 126 - r. Let v = 37 - 149/4. Sort v, -0.2, l in ascending order.
v, -0.2, l
Suppose -4*a - 10 = -2*s, 0*s - s - a + 2 = 0. Suppose 4*u - s = 9. Put 1, u, 5 in ascending order.
1, u, 5
Let g = 2 - 0. Let d be g/6*30/(-8). Let f = -39 - -38. Sort 1/5, d, f in decreasing order.
1/5, f, d
Let o = 96 + -101. Suppose 0 = 3*b - 8*b - 5. Put o, b, 0 in ascending order.
o, b, 0
Let u be 3/((9/(-6))/(-1)). Let l be ((-25)/u