 i = -9 - -14. Let z be (-1 - 1)/(2/i). Sort 5, s, z in increasing order.
z, s, 5
Suppose -y + 3*y = 20. Suppose 4*j = 6*j - y. Sort -2, 2, j.
-2, 2, j
Let v be -12 + 2 - (-1 + -2). Let g be (-6)/(-21) - 19/v. Sort 2, g, -3 in decreasing order.
g, 2, -3
Suppose 2*v + 3*t + 2*t + 18 = 0, 3*v + 9 = -3*t. Sort v, 0, -2 in descending order.
v, 0, -2
Let j = 4 - 4.04. Let o = -0.36 + j. Let y = o - -0.6. Sort -1, y, -5 in decreasing order.
y, -1, -5
Let t(n) = -n - 2. Let m be t(-5). Let h = -6 + -5. Let z = 8 + h. Sort 2, m, z in increasing order.
z, 2, m
Let o(w) = w**2 - 6*w + 1. Let b(t) = t + 1. Let j(f) = 3*b(f) + o(f). Let s be j(3). Suppose -3 = 4*z - 15. Sort 0, s, z in increasing order.
0, z, s
Suppose -2*m + 2 = -0*m. Let c be 2/(-9)*(-1)/(-2). Sort m, c, -2/5 in ascending order.
-2/5, c, m
Let m = -1.01 - -1.2. Let h = -0.1 + m. Let q = -0.11 - h. Put 2, q, -0.3 in ascending order.
-0.3, q, 2
Suppose -4*l + 2*l + 12 = 0. Sort l, 0.5, -2.
-2, 0.5, l
Let y(z) = -z**2 + 11*z - 21. Let d be y(12). Sort -4, -1, -2, d in ascending order.
d, -4, -2, -1
Let d = -0.4 + 5.4. Sort -2/3, 0.4, d in ascending order.
-2/3, 0.4, d
Suppose 2 = -f - 0*f. Suppose -3*w - 2*d - 13 = -d, -4*w + 2*d - 14 = 0. Sort 5, f, w in decreasing order.
5, f, w
Let q = 3.06 + -0.06. Let n = -0.4 + 0.6. Put -1, q, n in decreasing order.
q, n, -1
Suppose 3 = -3*t + 4*n, 2*t + 2*n = -1 - 1. Let c = -3 + t. Suppose -f + 10 = 2*x + x, -4*x = 4*f - 8. Put c, x, 0 in decreasing order.
x, 0, c
Let j = 0 + 0. Let m be (-5)/90 - (-2)/9. Sort -3/8, j, m in decreasing order.
m, j, -3/8
Let o be 1/2 + (-78)/60. Let m = -8 - -5. Put 1, m, o in descending order.
1, o, m
Let m = -26 + 27. Put -1, m, 5 in descending order.
5, m, -1
Let z(c) = -c**2 + 5*c - 3. Let r be z(2). Let v = 1 - 1. Suppose 4*h + v*h = -w + 5, 0 = 5*h - 4*w - 22. Put -3, h, r in descending order.
r, h, -3
Let f = -0.063 + -0.937. Sort -1/5, -0.4, 4, f in decreasing order.
4, -1/5, -0.4, f
Let z(j) = -j**3 + 3*j**2 - 4*j + 4. Let s be z(3). Let h = 3 + s. Let l be (-1)/3*(-3)/(-5). Sort l, 0, h in ascending order.
h, l, 0
Let w be -2*(10/(-4) - 0). Suppose 2*l - 1 = -3. Sort w, l, -3 in decreasing order.
w, l, -3
Suppose 3*v - 16 = -4*b, 4*v + b = 6*b - 20. Put v, -1, -3 in decreasing order.
v, -1, -3
Let q = 0.2 - -0.3. Let o = 1.42 + -10.42. Put q, -3, o in descending order.
q, -3, o
Let b = 165 - 1813/11. Let i = 0.01 + -4.01. Sort i, 0.5, b.
i, b, 0.5
Suppose 1 - 13 = 4*r. Sort -2, -4, r in decreasing order.
-2, r, -4
Let j(l) = -l**3 - 15*l**2 - 13*l + 9. Let q be j(-14). Sort -2, q, -1 in descending order.
-1, -2, q
Suppose -3*s - 9 = 3*c, -6 - 4 = 5*c. Sort 1, 2, s, -3 in decreasing order.
2, 1, s, -3
Let f be -2*3/(-6) + -3. Sort f, 11, -5 in decreasing order.
11, f, -5
Let t(p) = -6*p + 3. Let q be t(2). Let r be q*((-62)/(-21) + -3). Sort -2, -1/3, r in decreasing order.
r, -1/3, -2
Let q be -31 - -2 - -2*(-1 - -3). Sort -1, 5, q.
q, -1, 5
Let u = 0.96 + 3.14. Let j = 22.9 + -22. Let q = u + j. Put 2, 0.1, q in increasing order.
0.1, 2, q
Let w be -2 - ((0 - -1) + -1). Let z be ((-24)/5)/(5/(-25)). Suppose -2*x = 10, 2*t - 5*x - z = t. Sort w, t, 1.
w, t, 1
Let s = -5.8 - 2.2. Let a = s - -15. Sort -1, 5, a in descending order.
a, 5, -1
Let k(d) = d**2 - 23*d + 29. Let s be k(22). Put 1, s, 3 in decreasing order.
s, 3, 1
Suppose 2 - 22 = -4*c. Suppose 0 = 5*q + 15 + c. Suppose -u + 0*u - 7 = -4*t, -3*t = -6. Sort u, q, -5 in ascending order.
-5, q, u
Suppose 5*h - 7 = -2*u + 5*u, -4*h = 2*u - 10. Suppose -5*c = -17 - 8. Sort u, 3, c in increasing order.
u, 3, c
Let l be 295/30 + 2/(-6). Sort -5, 1/3, l.
-5, 1/3, l
Let r = -18 - -13. Let w be 1 - -1*2/(-5). Sort r, 1, w.
r, w, 1
Let g = -9 - -4. Let d = -3 - g. Let a = -22 - -20. Sort d, a, -1.
a, -1, d
Let w = -0.241 + -0.059. Let d = 1.9 - 2. Sort w, d, 0.
w, d, 0
Let c(f) be the second derivative of -f**4/12 - f**3 + f. Let b be c(-6). Let w = -56 + 55. Put b, w, 1 in decreasing order.
1, b, w
Let s = -0.2 + 5.2. Let t = -1 - -1.1. Sort t, s, 1/5 in ascending order.
t, 1/5, s
Let s = 48 + -47.7. Sort 5, 0.5, -0.3, s in decreasing order.
5, 0.5, s, -0.3
Let b = 2 + -1. Let x(r) = 7*r - 7. Let q(l) = 4*l - 4. Let o(p) = 5*q(p) - 3*x(p). Let g be o(b). Sort g, -2, 4 in increasing order.
-2, g, 4
Suppose 0 = -6*k + 5*k - 2*w + 8, -4*w = -4*k + 8. Let l be 2*(-2)/((-4)/3). Sort k, -4, l in descending order.
k, l, -4
Let u = 8 + -5. Suppose 0 = -2*m - m - 9. Let q = 10 - 5. Sort m, u, q.
m, u, q
Let d = -36 + 107/3. Let u = -1.98 + -0.02. Sort d, u, -7 in ascending order.
-7, u, d
Suppose -5 = -3*q + 2*q. Suppose q*m = -0*m. Suppose -3*l - 2*f + 22 = m, -5*l = -f - f - 10. Put -5, l, -2 in ascending order.
-5, -2, l
Suppose 2*w - 10 = 4*w. Let x = -2 - -5. Suppose x*i + 1 = 7, -5*i = 2*z - 14. Sort 5, w, z in decreasing order.
5, z, w
Let t(x) = -3*x**2 - 3*x. Let k be t(-2). Let b be (k/(-18))/(1/9). Let n be (-3)/(-12) + (-10)/8. Sort n, 0, b in decreasing order.
b, 0, n
Suppose 3*i = 2*i. Suppose -7 + i = -5*v - 4*c, 5*v + c = -2. Let z be v - (12*1)/(-2). Put z, 0, -5 in decreasing order.
z, 0, -5
Suppose -2*j - 4 - 14 = -4*v, 3*j = -v - 41. Let i(y) = y + 17. Let s be i(j). Put 5, s, 1 in ascending order.
1, s, 5
Let z(f) = -f**2 + 2*f + 1. Let y be z(-1). Let d(n) = -n + 2. Let c be d(y). Let i be (-232)/60 + 4/(-30). Put -2, c, i in decreasing order.
c, -2, i
Let l be (-4*3)/(9/6). Let g = l + 5. Let a = 9 + -7. Put 3, a, g in descending order.
3, a, g
Let c(q) = 4*q**2 + 5*q - 2. Let o(i) = -7*i**2 - 9*i + 3. Let w(z) = -5*c(z) - 3*o(z). Let t be w(-1). Sort -5, t, -0.3.
-5, -0.3, t
Let h = -0.02 + 1.02. Let l = -0.21 - -0.51. Put h, l, 0.5 in ascending order.
l, 0.5, h
Let q = 3565/24 + -41969/264. Let i = -41/4 - q. Sort i, 2, -5 in ascending order.
-5, i, 2
Let t = -7 - -8. Let f = -0.5 - -0.1. Sort f, -1/6, t in ascending order.
f, -1/6, t
Let s(d) = -10*d + 14. Let j be s(1). Sort -1, j, -4.
-4, -1, j
Let l = -10 + 6. Suppose 5*a = -4*z - 20, 0 = -0*z - z - 5*a - 20. Suppose 0 = 3*t - d - 10, 3*d + 14 = -t - d. Sort z, l, t in decreasing order.
t, z, l
Let t(f) = f**3 + 7*f**2 - 7*f + 10. Let a be (0 + -3)/(27/72). Let o be t(a). Let q be -5 - (0/(-1))/1. Put q, 3, o in ascending order.
q, o, 3
Let y be (-8)/(-20) - (-2)/(-5). Let j(m) be the first derivative of -m**2/2 + 7*m - 2. Let s be j(8). Put -2, y, s in ascending order.
-2, s, y
Let h(d) be the third derivative of -d**4/24 - 11*d**3/6 - 2*d**2. Let u be h(-8). Let n = u - -1. Sort 5, n, 2 in descending order.
5, 2, n
Suppose j + 26 = 3*j. Let u = j - 8. Sort -3, 0, u in decreasing order.
u, 0, -3
Let a be 4/8 + (-9)/2. Let l = -1 - a. Suppose g + 9 = v - 0*v, l*g - 5 = -5*v. Sort 0.1, 2/7, v in decreasing order.
v, 2/7, 0.1
Let b(q) = 2*q. Let n be b(1). Let j(v) = n - 7 - v**2 + 3 - 2. Let d be j(0). Put 0, d, 1 in ascending order.
d, 0, 1
Let m = -28 + 23. Sort 1, -0.3, m in descending order.
1, -0.3, m
Suppose -3*z + 5*z = 0. Suppose 8 = 4*k - 2*k. Put z, k, -1 in descending order.
k, z, -1
Let u = 7 - -1. Put u, -4, -8 in descending order.
u, -4, -8
Let t = -13 + 8. Let y = -2 - -4. Let g = t + y. Sort 0.1, g, 4 in decreasing order.
4, 0.1, g
Let h = 171 + -167.64. Let l = -0.14 - h. Let w = l + 3. Sort 4, w, -1.
-1, w, 4
Let i be -18*-2*(-3)/(-18). Sort i, 2, 5.
2, 5, i
Let d(m) = m**3 - 5*m**2 - 7*m + 12. Let u be d(5). Let z = 20 + u. Let o be (-1 - -3)*5/(-2). Sort o, z, -4.
o, -4, z
Let y(t) = t**2 - 7*t. Let b be y(8). Suppose 3*m = -4*l - 20, 20 - 5 = -3*l + m. Let g = b + l. Sort 0, -4, g in descending order.
g, 0, -4
Let p = 0 + -2. Let x = 1.6 + p. Suppose 2*j + 20 = j + 5*u, -2*j + 3*u - 12 = 0. Sort x, j, 2/5 in ascending order.
x, j, 2/5
Suppose 5*s - 33 = 2. Let a = 3 - s. Let b = -3 + 5. Put a, b, 5 in ascending order.
a, b, 5
Let y be 6 + 0 - (-4 + 10 + -7). Sort -1, 5, -5, y in ascending order.
-5, -1, 5, y
Suppose 0 = 5*t + 3*n - 23, -3*t + 4*n + 16 = 2*t. Suppose -t*o = -3*o - 2. Suppose -3*x = -o*x. Put -1, x, 3 in descending order.
3, x, -1
Let m = -0.078 + 0.078. Sort 56, m, -2 in decreasing order.
56, m, -2
Let j = -0.04 + 2.04. Let i be (-42)/104 - (-6)/24. Sort -2, j, i.
-2, i, j
Let y = -26 - -30. Let d be 17/(-3) - 2/(-3). Put d, y, -3 in descending ord