- 0*t - 12. Put -4, x, t in decreasing order.
x, t, -4
Suppose -2*k - 2 = -8. Put k, 4, 2 in ascending order.
2, k, 4
Let o(i) = 4*i + 2. Let z be o(-2). Let b = -1 - z. Put 3, -5, b in decreasing order.
b, 3, -5
Suppose 0 = -2*s + j - 0*j - 4, -4*s - 5*j - 8 = 0. Let l be (5/(-7) - -1)*1. Sort 4, l, s in descending order.
4, l, s
Let q be 4/((-4)/(-2)) - 2. Let t(b) = -b - 5. Let m be t(-7). Put q, m, 1 in decreasing order.
m, 1, q
Let c = -7 - -2. Let v = -19 - -11. Let t = v - c. Sort -2, 3, t in descending order.
3, -2, t
Let g = -0.3 + 1. Let b = -0.4 + g. Let u = -0.7 + 0.2. Sort -3, b, u.
-3, u, b
Let g = -32 - -33. Put 0.4, -0.4, g in descending order.
g, 0.4, -0.4
Suppose 0 = 2*q - q + 9. Let b = 66 - 66. Put q, 2, b in decreasing order.
2, b, q
Let x = 17 - 12. Suppose -x*p - 6 = -16. Suppose 9 = -p*n + 1. Sort n, -1, 4 in decreasing order.
4, -1, n
Let i = -0.3 - 0. Suppose 5*d = -2*k - 11, -d + 5 = -0*k + 4*k. Let p be d/14*(-2 + 4). Put i, p, -0.2 in ascending order.
p, i, -0.2
Let z = -0.7 - 0.3. Let i be 8/50*30/(-4). Let a = 3 + -2. Put z, i, a in descending order.
a, z, i
Let g = 2.7 + -3. Let b = 10.8 + -10. Let o = 1.3 - b. Put g, o, 5 in descending order.
5, o, g
Suppose b - 1 - 3 = 0. Let w be (-256)/(-180) + b/(-18). Let k = -157 - -1729/11. Put -0.3, w, k in ascending order.
-0.3, k, w
Let u = -0.04 - 0.36. Let k = -114 + 112. Sort k, 1/3, u in decreasing order.
1/3, u, k
Let t(x) = 2*x + 13. Let b be t(-9). Put 2, 1, b in ascending order.
b, 1, 2
Let o = -3 - -3.5. Sort -0.3, 3/7, o in decreasing order.
o, 3/7, -0.3
Suppose -3*h = h. Sort h, 3, -2.
-2, h, 3
Let g = 18 - 21. Suppose -7 = 2*b - 15. Sort b, g, 2 in increasing order.
g, 2, b
Let y = 27 + -39. Put 3, y, 2 in ascending order.
y, 2, 3
Let c = -24/187 + 2/187. Sort c, 3, -4.
-4, c, 3
Let k = 3.4 - 3. Put k, -3, -1 in descending order.
k, -1, -3
Let g = 2 + 6. Sort -4, g, 0 in increasing order.
-4, 0, g
Suppose 2*w = -2*w - 4. Suppose -24 = 3*u - 2*b + 11, 0 = -5*u - b - 41. Let n be 175/63 - 2/u. Sort n, w, 2.
w, 2, n
Let y = 3.9 - -0.1. Let x = 11 - 11.4. Put 0.2, y, x in descending order.
y, 0.2, x
Let n = -1.94 - 0.06. Let h = 20 - 19. Let b = h + n. Sort 2, b, -5 in descending order.
2, b, -5
Suppose -11 = 4*i + 5. Let v(l) = l**2 - l - 2. Let a be v(-2). Let z(u) = -28*u - 28. Let b be z(-1). Sort i, b, a in decreasing order.
a, b, i
Let s = 13 - 1. Sort s, 2, 3.
2, 3, s
Suppose -p + 20 = -5*p. Let f be ((-2)/3)/(p/30). Let j(t) = t - 1. Let d be j(f). Sort 1, -5, d.
-5, 1, d
Suppose -2*k + 24 = 4*k. Put k, 2, -1 in decreasing order.
k, 2, -1
Suppose -3*b = 4*u - 23, -5*b + 5*u = 4 + 16. Let m(y) = y**3 - y + 4. Let s be m(0). Sort -3, b, s in decreasing order.
s, b, -3
Suppose 8 - 17 = -4*a + u, -3*a = 4*u - 21. Let t = 10 - 6. Let r = 235 + -239. Sort r, a, t in decreasing order.
t, a, r
Let h be (-2)/((-10)/(-45)*3). Let v = 3 - 4. Sort v, 1, h.
h, v, 1
Let x(q) = -q**3 + 7*q**2 - 2*q + 10. Let h be x(7). Let a be 24/84 + (-12)/(-7). Put a, h, -3 in increasing order.
h, -3, a
Suppose 0 = b - 4 - 0. Suppose 0 = -v + 2*v + 3*d + b, -4 = 2*d. Let l be (2/(-8))/(-1 + 0). Put l, v, -3 in descending order.
v, l, -3
Let i = -0.1 + -0.06. Let u = -2.5 + 2.44. Let c = i - u. Put 3, -0.4, c in descending order.
3, c, -0.4
Suppose -2*p + 2*j + 7 = -9, 3*p - 4*j = 27. Suppose -7 = -p*r - 3*b + 7*b, 3*r + 4*b = 17. Sort 2, r, 7.
2, r, 7
Let v = -46 - -42. Put v, 1, 4, -3 in descending order.
4, 1, -3, v
Let y = -858/5 + 172. Let c = 0.29 - -0.01. Put -0.1, c, y in decreasing order.
y, c, -0.1
Let d = -316 - -321.07. Let j = d - 0.07. Let u = -37/150 - -2/25. Put -5, u, j in decreasing order.
j, u, -5
Let l(f) = -5*f + 7*f + 8 - 4*f. Let v be l(6). Let d = 0.04 + 0.36. Put 2/3, d, v in descending order.
2/3, d, v
Let i = 8 - 8.01. Put 0, i, 1 in descending order.
1, 0, i
Suppose 4*t - a = -5, 4*t - 10 = -0*t - 2*a. Sort t, 12, 5 in descending order.
12, 5, t
Let r = 7.9 - -0.1. Let s = r - 10. Put s, -4, 3 in decreasing order.
3, s, -4
Let j(g) = -g**3 + 6*g**2 - 5*g - 1. Let h = 11 + -6. Let k be j(h). Suppose -n = -6*n + 5*l - 5, -3*n - 2*l = -7. Sort n, -3, k in increasing order.
-3, k, n
Suppose -12 = 5*c - 4*r, 2*c + c - 5*r = -15. Let p = -27 - -29. Sort -1, c, p in descending order.
p, c, -1
Let j = -6.11 + 6. Let m = 117.89 + -114. Let t = m - j. Sort -0.2, 5, t in decreasing order.
5, t, -0.2
Let u be 1 - 10/5 - 1. Sort 9, -6, u.
-6, u, 9
Let i(v) = -2*v - 1. Let k be i(-2). Let c be (24/20)/((-9)/(-30)). Put k, 1, c in ascending order.
1, k, c
Let f = -13 + 13. Sort -2, -1, f.
-2, -1, f
Let c = 4 - 2. Let z = -0.24 + -4.76. Sort c, z, -1/6 in descending order.
c, -1/6, z
Suppose 3*h + 6 = 4*i, 0 = 5*i + 13 + 2. Let o(k) = k**3 + 5*k**2 - 7*k - 3. Let m be o(h). Sort -3, m, -2 in decreasing order.
m, -2, -3
Let n(w) = -w**2 - 3*w. Let q be n(-4). Let x be (-2)/(12 - q - 3). Put 0.5, x, 0.4 in decreasing order.
0.5, 0.4, x
Let b = 3 + -2. Let d = 4 + -9. Let v = 6 + -9. Put b, d, v in descending order.
b, v, d
Suppose -3*j + 5*k = 2*j - 5, 1 = -2*j + 5*k. Let q be 4/(-5)*15/(-6). Let m be (-2 - q) + 1 - 1. Put 3, m, j in increasing order.
m, j, 3
Let k(y) = y**3 + 3*y**2 - 3*y - 4. Let x be k(-3). Suppose -3*a = 15, 3*b + 0*b = a - 64. Let o = b - -19. Put 2, o, x in ascending order.
o, 2, x
Let v = -17 - -17. Suppose -3*z = 2*c - v*c + 9, -3*z - 9 = -2*c. Put 2, -1, z in ascending order.
z, -1, 2
Let u(s) = -2*s - 1. Let f be u(-2). Put f, -5, 5 in descending order.
5, f, -5
Let p = 1/213 - 643/852. Suppose h + 20 = 2*h. Let k be -1 + (-4)/(h/(-9)). Put k, -2, p in descending order.
k, p, -2
Let n = -6 + 2. Sort 1/5, n, 2, -0.03 in descending order.
2, 1/5, -0.03, n
Suppose m - 5*v = -12, -4*m + 0*v - 2*v = 4. Let c be (-2)/(-4) + 1/m. Suppose -2*f + f - 3 = c. Put -1, f, 3 in increasing order.
f, -1, 3
Let v = 18 - 13. Sort -6/5, v, -1.
-6/5, -1, v
Let q = -0.08 - -2.08. Sort 4, 0.2, q in ascending order.
0.2, q, 4
Let p be (10 - 13)*1/3*-1. Sort 0, 0.3, 3, p in ascending order.
0, 0.3, p, 3
Let k be 2/(-6) - 2/3. Let f be -2 + (1 - 86/(-52)). Let w = 2/13 - f. Put w, k, 0.2 in ascending order.
k, w, 0.2
Let o(d) = d**3 - 8*d**2 + 7*d + 8. Let y be o(7). Suppose -3*w - 16 = -0*c - c, -c = -w - y. Put 2, c, -2 in increasing order.
-2, 2, c
Let q = -59 - -62. Sort 15, 5, 4, q in decreasing order.
15, 5, 4, q
Suppose -4 = -2*m + 4. Let j be m/(-8)*(-2)/3. Sort j, -13, -2 in descending order.
j, -2, -13
Let t(n) = -4*n - 3. Let u(b) = -11*b - 8. Let p(f) = -8*t(f) + 3*u(f). Let s be p(4). Let l be s/(-8) - 2/(-4). Sort l, -1, 3 in increasing order.
-1, l, 3
Let p(l) = -l - 5. Let o be p(-5). Let h = 47 + -51. Put o, -5, h in ascending order.
-5, h, o
Let d be 16/(-30) + (-2)/(-6). Let r = 1002/5 - 200. Sort r, 2, d in ascending order.
d, r, 2
Let a = -9 + 6. Suppose 5*h + 4*v + 0*v = -17, 5*h + 33 = 4*v. Put a, 0, h in descending order.
0, a, h
Suppose -15 = 4*b + 5. Sort -2, 2, b in descending order.
2, -2, b
Suppose 5*n - 6*l + 2*l - 4 = 0, -12 = -2*n - l. Suppose 2*t + 5*o + 38 = 0, 3*o = -7 - 5. Let s = t - -8. Put n, s, -4 in increasing order.
-4, s, n
Let a = 1.96 + 0.1. Let n = a - -0.04. Let x = 2 - n. Sort -3, x, 3 in ascending order.
-3, x, 3
Let m = -10 - -9.5. Put m, -2, 0.4 in increasing order.
-2, m, 0.4
Let q = -1 + 5. Suppose -q*p = -p + 12. Put 1, -3, p in descending order.
1, -3, p
Let n = 9 - 6. Suppose 4 = -21*v + 20*v. Suppose -4*c = -c + m + 6, 5*c - 2*m = -21. Sort c, v, n in descending order.
n, c, v
Suppose 2 + 22 = 6*m. Put -4, -3, m, -1 in descending order.
m, -1, -3, -4
Let c = 0.44 + 0. Let x = -0.04 + c. Let y = 0.9 + -0.8. Put y, x, 4 in descending order.
4, x, y
Let c = -22 + 24. Let g = 8 + -5. Put c, -1, g in decreasing order.
g, c, -1
Let z = -3.3 - 0.7. Let g(x) = x**3 + 5*x**2 - 10*x - 9. Let b be g(-6). Suppose -5*n - 5*r - b = -3*n, -3*r = 5*n + 9. Sort z, 5/2, n.
z, n, 5/2
Let n be (8/40)/(1/2). Let j be 8/12 + 1/3. Put 13, n, j in ascending order.
n, j, 13
Suppose -y + 4*y - 6 = 0. Let k be 34/8 + (-1)/4. Let a(m) = m**2 + 4*m - 7. Let f be a(-6). Put y, k, f in descending order.
f, k, y
Let c(z) = 28*z**2. Let q be c(1). Let f be (-4)/(-14) + 328/q. Let y be -2*3/(f/2). Sort y, -2/3, 0.3.
y, -2/3, 0.3
Let x be 2/(-