t f = p - 8. Sort 3, f, -3 in ascending order.
f, -3, 3
Let s(j) = -5 + 3 - j + 13. Let g be s(6). Let y(i) = i**2 - 4*i - 1. Let p be y(g). Sort -0.4, -4, p in increasing order.
-4, -0.4, p
Let n(h) = -4*h. Let s be n(-1). Let x = -6 - -5. Sort x, s, 0 in ascending order.
x, 0, s
Let t = 4 - 3. Suppose 3 = -2*g + t. Sort g, -5, 5 in ascending order.
-5, g, 5
Let v = -0.5 - -2.5. Let c = 0 + v. Sort -1, c, 4/5 in increasing order.
-1, 4/5, c
Let l = -0.8 - -0.4. Let k = 0.71 + 0.09. Let o = k + -1. Sort l, -0.5, o in descending order.
o, l, -0.5
Let g = 0.09 + 0.01. Sort 1, 4, g in descending order.
4, 1, g
Suppose 3*t - t - 4 = -4*b, -4*t + 5*b + 8 = 0. Sort t, -1, 4 in descending order.
4, t, -1
Let b = -4 - -7. Sort -1, -3, -6, b in increasing order.
-6, -3, -1, b
Let k(u) = u**3 + u**2 - 6. Let q be k(0). Suppose 2*g = -9 - 9. Let o = q - g. Put o, 4, 0 in decreasing order.
4, o, 0
Let o(d) = d**2 - 3*d + 1. Let q be o(4). Let n = 136 - 141. Put n, q, -0.2 in increasing order.
n, -0.2, q
Let d = 0.51 - 2.51. Sort -0.2, 1, 0.5, d in ascending order.
d, -0.2, 0.5, 1
Suppose -10 = -5*u - 20. Sort u, 0, 10, 5 in increasing order.
u, 0, 5, 10
Suppose 2*k + 4 = 4*c - 2*k, -k - 1 = -5*c. Let m = -11 - -7. Put 3, m, c in decreasing order.
3, c, m
Let t = -131/3 + 44. Let b = 14.3 - 15. Let l = 0.6 + b. Sort -1/8, t, l.
-1/8, l, t
Let z = -3 - 0. Let t be z*((-12)/9)/(-4). Let f = t - -2. Put f, -3, 3 in descending order.
3, f, -3
Let n = -0.03 - -0.43. Let b = -0.1 - -0.5. Let a = b - n. Put a, -3, 0.5 in descending order.
0.5, a, -3
Let r(s) = s**3 + 7*s**2 + s + 3. Let k be r(-7). Sort k, 2, -3, 3.
k, -3, 2, 3
Let t = -1 + 1.03. Let v = t - 2.03. Sort -1, 0, v.
v, -1, 0
Suppose -6*h + 2*h = 2*v - 6, -3*v + 4 = h. Put 3, h, -3 in ascending order.
-3, h, 3
Suppose 15 = 4*t + 3. Suppose -2*d = -18 + 22. Sort d, t, -4 in descending order.
t, d, -4
Let c = 5 + -2. Suppose -3 + 6 = c*d. Sort 0.4, d, 5 in decreasing order.
5, d, 0.4
Let q(l) = -l**2 + 8*l. Let x be q(5). Let y = x + -19. Sort y, 2, 3.
y, 2, 3
Suppose 4*v = 3*v + 5*f - 30, 0 = 5*v - 5*f + 50. Sort 2, v, 16 in descending order.
16, 2, v
Let w be (-60)/(-152) - 1/2. Let l(g) = -g + 15. Let s be l(14). Put s, -0.5, w in descending order.
s, w, -0.5
Suppose -z - 34 = -2*z. Let h be (-1)/(-6) - z/(-12). Suppose -5*i + h*f - 1 - 2 = 0, f = -i + 1. Sort 4, i, 3 in descending order.
4, 3, i
Suppose -5*q + 4*q = 127. Let x = q - -1271/10. Sort 3, x, -2/3 in descending order.
3, x, -2/3
Suppose 5*u - u = 0. Suppose 0 = -3*t + 7*t - 48. Suppose 2*x + t = 2. Put x, 5, u in decreasing order.
5, u, x
Let j = 11 - 9. Suppose -7 - j = -3*k. Let u be (1 + -1)*2/4. Put 2, u, k in descending order.
k, 2, u
Let o = 33 + -31.1. Let x = o - -0.1. Let a = 4.15 - 0.15. Put a, 0, x in ascending order.
0, x, a
Let d be 5/(-2)*(-2)/(-1). Sort -0.2, d, -2 in ascending order.
d, -2, -0.2
Let b = -30.3 - -30. Sort -3/7, b, -12 in increasing order.
-12, -3/7, b
Suppose m - 14 = 4*r, -23 = 5*r - 2*m - 7. Let v be r + 6/3 - 2. Sort 5, 8, v.
v, 5, 8
Let x be ((-1)/(-3))/((-4)/(-24)). Sort x, -5, -2 in ascending order.
-5, -2, x
Let d = -6 - -1. Suppose 2*f - f - 2*z - 10 = 0, -5*z = 15. Suppose -6 = f*n - 2*x + 12, 0 = -3*n + x - 13. Sort n, d, -3 in ascending order.
d, n, -3
Suppose -3*b - 4 = -5*b. Let o be -2*(0 - (b + -1)). Suppose 0 = o*k + 5*g - 23, k + 0*k - 19 = -5*g. Sort 3, k, 2.
2, 3, k
Suppose 5*u = -5 - 0. Sort -2, -3, u in increasing order.
-3, -2, u
Let v(x) = -6*x + 37. Let b be v(5). Put -4, -1, b, 2 in decreasing order.
b, 2, -1, -4
Suppose 3 + 1 = -2*i. Let y be 3*(1/2)/(1/2). Sort -1, y, i in descending order.
y, -1, i
Let c(u) = u + 7. Let q(i) = i - 1. Let z be q(-5). Let h be c(z). Suppose s = -0 - h. Sort 4, 0, s in increasing order.
s, 0, 4
Suppose 8 = -3*h - 1. Sort -2, -0.3, -1, h.
h, -2, -1, -0.3
Let p = 36.01 - 36. Sort p, -3, 1 in decreasing order.
1, p, -3
Let b be 6/(-30) - (-14)/20. Suppose 3*z - 25 = -5*h - 2*z, 0 = 2*h + 5*z - 19. Put h, b, 0.1 in decreasing order.
h, b, 0.1
Let a(y) = 3*y - 1. Let w be a(1). Suppose -w*r - 17 - 3 = 0. Let i = -14 - r. Put -1, i, 4 in decreasing order.
4, -1, i
Let g = 3 + -3. Let w = 1 - g. Let l = -46 + 45.9. Sort -1/4, l, w.
-1/4, l, w
Let c be (0 - 2 - 3) + 1. Let j = 1 - 0. Let s be ((-2)/(-8))/((-77)/88). Sort c, s, j in ascending order.
c, s, j
Suppose -2*q = 4*x - q + 5, -4*x + 3*q = -15. Let m = -3 + x. Suppose -5*r = 11 + 14. Put m, -1, r in increasing order.
r, m, -1
Let j be ((-68)/(-153))/(-1 + 2/6). Sort -1, 0.3, -3, j in descending order.
0.3, j, -1, -3
Let g = 1/6 + -1/42. Let s be (20/275)/(2/(-5)). Put s, g, 2 in decreasing order.
2, g, s
Let y be -4*((-2)/3 - (-2)/(-6)). Put y, -1/7, 13 in descending order.
13, y, -1/7
Let j be (-4)/10*-1*10. Let k(v) = -v + 24. Let y be k(25). Sort y, 0, j.
y, 0, j
Suppose j - 20 = 2*c + 5*j, -2*c = 5*j + 24. Sort 3, c, -5 in descending order.
3, c, -5
Let a = 4/477 - -8975/10494. Let x = 4/11 - a. Sort 0.2, x, -5 in descending order.
0.2, x, -5
Suppose 2*x = 7*x - 40. Let p be 15/28 + (-2)/x. Sort 4, -5, p.
-5, p, 4
Let j = -0.2 - 0.3. Let y = -0.06 - 0.14. Sort y, 0.4, j.
j, y, 0.4
Let m(f) = 11*f + 8. Let w be m(4). Sort -5, -4, -2, w in descending order.
w, -2, -4, -5
Let i = 523 - 519. Suppose y = 3*y + 2. Sort y, i, -5.
-5, y, i
Let p = 12 - 10. Let h = 41 - 37. Sort 3, p, h in increasing order.
p, 3, h
Let n be ((-6)/(-210)*5)/(1 - 2). Put -0.6, -0.5, n, 1 in increasing order.
-0.6, -0.5, n, 1
Let m = -1.5 - -1.4. Sort 5, -2/15, m in increasing order.
-2/15, m, 5
Let w = -0.2 + 0. Put -0.06, -1, w in descending order.
-0.06, w, -1
Suppose -5*w + 2 = -8. Suppose -w*b = -3*b. Sort -5, 4, b.
-5, b, 4
Let d = 0 + -0.2. Let z = 1.4 - 1.2. Put d, z, 0 in decreasing order.
z, 0, d
Let r = -0.03 - 0.27. Let n = -1159 - -1154. Put -1, r, n in ascending order.
n, -1, r
Suppose 25 = 3*p + 2*p. Put -5, -2, p in descending order.
p, -2, -5
Let h = 202 - 180. Put -4, h, -1 in descending order.
h, -1, -4
Let g = 18 + 0. Suppose 2*m - 15 = -0*x + 3*x, 0 = -2*m + 4*x + g. Suppose 20 = 2*s + m*s - 4*u, s + 3*u - 4 = 0. Put s, -1, 1 in descending order.
s, 1, -1
Let n = -49.7 + 50. Sort 2/7, n, 0.5 in ascending order.
2/7, n, 0.5
Let h = 71 - 69. Sort 50, h, -1 in increasing order.
-1, h, 50
Suppose 0 = -2*s + 3*s - 3*n - 5, -5*s + 25 = -2*n. Suppose -s*d + 5*p = -5, -6*d + 5*d - 3 = -5*p. Sort -0.3, d, -3/7 in descending order.
d, -0.3, -3/7
Suppose 6 = 4*g - 10. Suppose g*p - p = -9. Sort p, -2/11, -1.
p, -1, -2/11
Suppose 2*w = -0*w. Let t be (2 - 6/4)*w. Let h(f) = -f**3 + 8*f**2 + 10*f - 13. Let s be h(9). Sort s, -1, t.
s, -1, t
Let d(y) = -y**3 + y**2 + 2*y - 3. Let k = 2 - 0. Let s be d(k). Put -1, s, -2 in decreasing order.
-1, -2, s
Let c(f) = f**3 - 6*f**2 - 7*f - 3. Let p be c(7). Sort p, 0, 2 in descending order.
2, 0, p
Let o(n) = -3*n**3 - 2*n**2 - n. Let i be o(-1). Suppose 0 = -c - c. Let k be 2/(i/(1 - c)). Put -2, -3, k in ascending order.
-3, -2, k
Let q(x) = x + 1. Let s be q(4). Let i(a) = 3*a + 9. Let w be i(-3). Sort s, w, 2 in decreasing order.
s, 2, w
Let q = -5.032 - -0.032. Sort -0.5, -1, -0.11, q in decreasing order.
-0.11, -0.5, -1, q
Let y = 0.8 - 0.9. Put 2, 2/11, y in ascending order.
y, 2/11, 2
Let l = 6 + -8. Sort -7, 4, l in decreasing order.
4, l, -7
Suppose -5*w + 18 = 2*i - 3, -5*i = -3*w + 25. Suppose 3*d = 4*b + 12, 4*d + 2*b - 5*b = 16. Put 2, w, d in ascending order.
2, d, w
Suppose -2*h - 36 = 5*t + 2*h, -2*t = h + 12. Let r = 1 + t. Put r, 5, -5 in decreasing order.
5, r, -5
Let w = -11 - 8. Put w, -1, 3 in decreasing order.
3, -1, w
Let t = 0.6 - 3.6. Let y = -0.12 - -6.12. Let u = y + -4. Put t, u, 3 in increasing order.
t, u, 3
Let g be 1/(((-9)/(-3))/(-3)). Let f be ((1 - 1) + 0)/2. Put g, -4, f in ascending order.
-4, g, f
Suppose -z + 2*z = 0. Sort -2, 1, z.
-2, z, 1
Let l be -2*(-8)/(32/(-14)). Put l, -9, 5, 0 in descending order.
5, 0, l, -9
Let i(w) = -w - 8. Let p be i(-6). Let l be 4/6 + p/(-6). Put 5, 3, l in ascending order.
l, 3, 5
Let w(b) = b**2 + 4*b + 1. Let h be w(-4). Sort 2, 4, 19, h.
h, 2, 4, 19
Let h = 17 + -17.5. Sort h, 1, 0.3 in decreasing order.
1, 0.3, h
Let q be (-1)/(-1*(-1)/(-5)). Suppose 5*t + 5*h - 15 = 0, 3*t - 23 = 4*h - 0. Sup