Suppose 3*v + 0*v - 9 = 3*h, 11 = 3*v - 2*h. Let t be (0 - v)*4/(-5). Suppose -15 = 2*k - 5*m - 0, 0 = -5*k - 3*m - 22. Sort -3, t, k.
k, -3, t
Suppose 0 = -2*u - 0*u + 32. Put u, 1, -1 in descending order.
u, 1, -1
Let u = 19 - 18.93. Let d = -0.03 - u. Put d, 0.1, 0.2 in decreasing order.
0.2, 0.1, d
Suppose 2*z + 1 = -1. Let o = -2 - z. Let i be 2 + -2*(-6)/4. Put 1, i, o in decreasing order.
i, 1, o
Suppose w - 4*z + 6 = 2*w, 4*w = -3*z + 11. Let g be 4/8 - 9/w. Sort g, 3, 5 in descending order.
5, 3, g
Suppose 2*s - 2*y = 2*y + 16, 16 = -3*s - 4*y. Suppose x - 4*x - 6 = s. Put x, 3, 4 in increasing order.
x, 3, 4
Let q(u) = u**3 + u**2 + 2. Let b be q(0). Suppose 0*c = c + b. Suppose 8*g - 7*g = -1. Sort g, c, 5 in ascending order.
c, g, 5
Suppose 3*k + 2*p + 7 = 0, -3*k - 2*p + 3*p - 1 = 0. Let v be (0/k)/(-1 - 0). Let r = -4 - v. Put 0, -1, r in decreasing order.
0, -1, r
Suppose -4*w + 9 + 0 = 5*d, 4*d - 40 = 5*w. Sort w, 5, 0 in decreasing order.
5, 0, w
Suppose 0*a = -3*a - 54. Let m = -18 - a. Put m, -3, -5 in ascending order.
-5, -3, m
Let k = -11 + 10.99. Sort k, 0.3, 0.5, -1/8 in ascending order.
-1/8, k, 0.3, 0.5
Let t = 40 - 38. Sort t, -1/5, 0.4 in descending order.
t, 0.4, -1/5
Let i = 102 - 107. Sort i, 4, -3 in increasing order.
i, -3, 4
Let v(b) = -b - 17. Let u be v(-17). Sort u, -0.07, 0.3 in descending order.
0.3, u, -0.07
Let r = -4.58 - -2.3. Let v = r + 0.28. Let l be (-1)/4 + (-11)/4. Put 1/7, v, l in ascending order.
l, v, 1/7
Let c be 2*(-15)/(-18) + -2. Let h = 5 + -9. Sort c, h, -0.5 in descending order.
c, -0.5, h
Let u = -0.019 - -5.019. Sort u, -1, 0.1, 2/9 in ascending order.
-1, 0.1, 2/9, u
Suppose 2*a - 33 = -9. Let g be (-3 - -2) + a/14. Put 1/2, -1/4, g in decreasing order.
1/2, g, -1/4
Let l = -3.17 - -0.17. Put 5, 1, l in decreasing order.
5, 1, l
Let c = -4 - -4.4. Let a = -0.12 + -0.08. Sort a, -0.4, c in descending order.
c, a, -0.4
Let u(v) = -7*v**2 + v. Let x be u(-1). Let l be (x/(-12))/(6/(-27)). Let z be l + 1*(9 + -2). Sort -4, -1, z in descending order.
z, -1, -4
Let p be ((-1)/2)/((-2)/20). Sort 1, 2, -3, p in increasing order.
-3, 1, 2, p
Let j be 2/(-8) + 6/(-8). Let c be (0/(-4))/(-2 + j). Sort c, 0.1, -1/6 in descending order.
0.1, c, -1/6
Let u = 15 + -15.2. Let v = 0.1 + u. Sort v, 4, -5 in increasing order.
-5, v, 4
Let l = -2 - -3. Let r = -1 + l. Let h = 0.1 - 0.3. Sort h, r, 5 in decreasing order.
5, r, h
Let c = -5.9 + 6. Sort -2, -2/3, c.
-2, -2/3, c
Suppose 0*s - s + 3 = 0. Suppose s = j + 1. Suppose 5*y + 13 = 5*b - 2, -j*b = 3*y + 4. Put -5, y, 5 in decreasing order.
5, y, -5
Suppose -5 = i - 2*i. Suppose 3 = -2*p + i. Sort p, -4, 2 in descending order.
2, p, -4
Suppose -2*a = 2*a. Suppose 4*o - 5 = -a*p - p, -4*o = -8. Let f be (3/(-9))/(2/6). Put 0, f, p in decreasing order.
0, f, p
Let z be ((-2)/6)/(12/60). Put 2/7, 0, z in decreasing order.
2/7, 0, z
Let s(u) = u**2 - 4*u + 2. Suppose 5*n - z - 28 = z, -5*n = -5*z - 40. Let x be s(n). Sort -5, x, -1 in ascending order.
-5, -1, x
Let c = 0 + 2. Put c, 2/17, -3, -1/2 in ascending order.
-3, -1/2, 2/17, c
Let s = 44 - 47. Sort -1, 2/13, s.
s, -1, 2/13
Suppose -2*y = -y - 1. Let q be (1/2)/(y/10). Suppose -l + 0*l + 3 = 0. Sort -1, l, q.
-1, l, q
Let b = -10 + 8. Sort -3, -5, b.
-5, -3, b
Suppose -p + 2*p - k + 1 = 0, 4*k = -p + 24. Let f = 0 + -9. Let m = 8.8 + f. Put p, -3, m in descending order.
p, m, -3
Let t = -5.8 + 0.8. Let b = t - -6. Suppose 15 = -5*s, 0 = 3*v + 2*v + 3*s - 6. Put b, v, -1/3 in decreasing order.
v, b, -1/3
Let b be 24/154*11/22. Let h = -4/11 + b. Sort 4, h, -4 in increasing order.
-4, h, 4
Suppose 0*m - 7 = m - j, 5*j = -5*m - 65. Put 2/3, m, 0.4 in decreasing order.
2/3, 0.4, m
Let u(k) = k**3 + 5*k**2 - 4*k + 7. Let m be u(-6). Put 2, m, 0 in ascending order.
m, 0, 2
Suppose -5*j + 40 = 2*c, 4*j = 9*j - 10. Suppose 5*k - c = 5. Sort 3, 0.3, k in descending order.
k, 3, 0.3
Suppose -10*y = -7*y. Suppose y = 4*w + 2*v - 16, 6 = 5*w - v - 0. Sort w, 3, 1/6 in descending order.
3, w, 1/6
Let i = 26 - 18. Suppose 0 = -4*s + i - 0. Suppose s*c + l + 1 = -0*c, 0 = 4*c - l - 13. Sort c, 5, 0 in ascending order.
0, c, 5
Let b = -1 - -3. Let u(x) = -x**2 - 6*x + 3. Let g be u(-6). Suppose -g*k - 1 = -4. Sort -1, k, b in decreasing order.
b, k, -1
Let d be ((-3)/(-9)*22)/1. Let b = 89/12 - d. Let z = -4 + 1. Sort z, b, -1/2 in descending order.
b, -1/2, z
Let n = -0.07 + 0.37. Sort n, -3, 0 in decreasing order.
n, 0, -3
Let v = 25 + -30.5. Let k = v + 5. Put k, 0.4, -5 in decreasing order.
0.4, k, -5
Suppose -3*j + j = -12. Let m(x) = -x**2 + 8*x - 7. Let z be m(j). Suppose 0 = -5*b + 2*b + 4*h - 29, -25 = -5*h. Sort b, -2, z in ascending order.
b, -2, z
Let w = 0 + 1. Suppose 0 = 4*j - 3 - w. Put 2, j, -1 in increasing order.
-1, j, 2
Suppose -4*j - 11 - 5 = 0. Let n(p) = 2*p**3 + 7*p**2 + 8*p + 20. Let m be n(-3). Put j, m, -3 in descending order.
m, -3, j
Let d = 0.3 + 3.7. Put d, -1/4, -22 in decreasing order.
d, -1/4, -22
Let k = -0.08 - -4.08. Let o = -3.5 - -3. Let g = 0.05 + 0.35. Put o, k, g in ascending order.
o, g, k
Let v = -0.083 + 1.083. Let o be -2 - (-1 - (2 - 2)). Sort o, 5/6, v in decreasing order.
v, 5/6, o
Let s = -4.02 - -4. Let i = -0.02 - s. Let a be (-1)/3 - (-2)/42. Sort a, -3/7, i in decreasing order.
i, a, -3/7
Let y(l) = -l**3 - 10*l**2 + 38*l - 17. Let b be y(-13). Sort 3, b, -5 in ascending order.
-5, b, 3
Let u = -0.03 - 0.11. Sort 5, 2, u, 4.
u, 2, 4, 5
Let t = 515/9 + -57. Let c be 1/(-3) + 33/(-9). Put c, 2, t in descending order.
2, t, c
Let g = -10 - -5. Let u be (2 - 0)*(-1 + 3). Let j be (-2)/u*0/(-1). Sort -4, g, j.
g, -4, j
Let v = -6.3 + 1.2. Let q = -17 + 12. Let f = q - v. Sort f, -3, 0.5 in descending order.
0.5, f, -3
Let v = -10 + 12. Put 0.1, -0.5, v in descending order.
v, 0.1, -0.5
Let o = -9 - -14. Let b(h) = -h - 1. Let t be b(-5). Suppose 0 = v + 3, 5*x - 3*x = t*v + 10. Sort x, -2, o in descending order.
o, x, -2
Let h = -377 - -2257/6. Let m = 0.043 - -1.957. Put 0.3, h, m in increasing order.
h, 0.3, m
Suppose 2*p + 12 = -4. Let u = p + 13. Let a(w) = w**3 + 6*w**2 + 5*w - 4. Let m be a(-5). Sort m, 3, u in ascending order.
m, 3, u
Let r(k) = k - 1. Let d be r(5). Suppose 0*i - 5*q = -3*i - 31, 2*i + 24 = d*q. Sort -4, i, 0 in increasing order.
-4, i, 0
Let t = 10 + -5. Let r = -43 + 45. Sort 4, t, r in increasing order.
r, 4, t
Let v(q) = -q**2 - q. Let t be v(0). Suppose 3*a + 2*a + 5 = t. Let m be (1/1)/(8/(-32)). Put 2, m, a in decreasing order.
2, a, m
Let d = -0.4 + -0.1. Sort -1, 1, d in descending order.
1, d, -1
Suppose b - 5*b = 8. Let f = -2 + 2. Put -3, b, f in decreasing order.
f, b, -3
Let t = -0.5 + -0.4. Sort 2, 1/3, t in descending order.
2, 1/3, t
Let l = 34 + -15. Suppose -t + 3*x - 6 = 0, 3*t + l = -2*t + 4*x. Put 1, 0, t in ascending order.
t, 0, 1
Suppose -26 - 19 = -5*q + 5*p, -p + 11 = 3*q. Put -18, q, 1 in decreasing order.
q, 1, -18
Let j be ((-9)/(-15))/(1/(-5)). Let a be -2 + -1 - (j - 1). Let y be -1 + (-1)/((-2)/(-4)). Sort 0, a, y in descending order.
a, 0, y
Let j(y) = -y**3 - 6*y**2 - 6*y - 5. Let m be j(-5). Suppose -b + 7 - 10 = m. Put b, 2, -4 in increasing order.
-4, b, 2
Let d(u) = u**2 - 10*u + 9. Let y be d(9). Let k = 11 + -8. Sort y, k, 2 in decreasing order.
k, 2, y
Suppose -10*u + 7 = -13. Sort 0, u, -3, -5.
-5, -3, 0, u
Let y = -4114277/89118 - 2/44559. Let r = y + 46. Sort 4, -0.1, r.
r, -0.1, 4
Suppose -1 = -i - 2. Let p = -203 + 201. Put 5, p, i in descending order.
5, i, p
Suppose 0 = -3*o + 8*o + 15. Put 3, o, -5 in increasing order.
-5, o, 3
Suppose -q = 2*m - 2, -22 = -5*m + 4*q + 9. Let j(l) = 2 + l**3 + 6*l**2 - m*l + 4*l + 0*l. Let o be j(-6). Sort 4, o, 1 in ascending order.
o, 1, 4
Suppose 5*k = -5*h - 20, 2*h + 4 = -4*k - 10. Suppose 7 = 5*i - 3. Suppose 6*u + i*s = 2*u + 10, -u - s + 4 = 0. Sort -4, u, k in decreasing order.
u, k, -4
Suppose -3*b = v - 12, 2*v - v - 10 = -b. Let x be 20/(-36) - (-3)/v. Put 1/4, x, 2/7 in descending order.
2/7, 1/4, x
Let o = -15 - -11. Let m be (-5)/(-10) - (-53)/(-82). Let p = m - -100/123. Sort o, p, 4.
o, p, 4
Let i be (-3)/6 - 20110/(-84). Let s = 239 - i. Let c = -14 - -10. Put c, -2/9, s in descending order.
s, -2/9, c
Let b = 1 - -4. Let g(t) = 2*t**