, -4
Let a = 1.7 + -1.6. Put 3, a, -4 in decreasing order.
3, a, -4
Let z = -0.1 + -0.4. Let k be (-35)/(-15) - (-4)/6. Let l be 7/(210/4)*k. Sort z, l, 0.
z, 0, l
Suppose 5*c + 5*g = -25, 0*g = g + 5. Suppose 3*t - 6 = -0*t. Sort t, -4, c in decreasing order.
t, c, -4
Suppose 0 = 4*p - p - 9. Let v(y) = y**3 + 10*y**2 + 10*y + 10. Let o be v(-9). Let g = o - p. Put -4, 1, g in decreasing order.
1, g, -4
Let l = -4.8 - -0.8. Let c = -97/4 - -25. Sort c, l, -0.3 in increasing order.
l, -0.3, c
Let j be 1/2*-2*-7. Let s = 8 + j. Put 0, s, -2 in ascending order.
-2, 0, s
Let s = 117 - 239/2. Let z = -6.4 + 6. Let l = -0.24 + -0.06. Put s, z, l in decreasing order.
l, z, s
Suppose 4*p + 16 = 2*k, -2*p - 5*k + 18 = -p. Sort -2/15, -2/13, -4, p in descending order.
-2/15, -2/13, p, -4
Let t(p) = p - 6. Let w be t(7). Let h = -260/7 + 37. Sort -1, h, w in decreasing order.
w, h, -1
Suppose 5*y - 4*y - 4*x + 13 = 0, 2*x - 11 = 5*y. Put y, 0.1, 2 in decreasing order.
2, 0.1, y
Let b = 0.05 - 5.05. Let i = 61/6 - 53/6. Put i, b, 2/5 in increasing order.
b, 2/5, i
Let y = -8 - -7. Put y, -2/9, 3 in decreasing order.
3, -2/9, y
Let t be (-2)/(-9) + (-4)/(-9). Let n = -1 + 1. Let v = n - 0.2. Put v, -0.5, t in descending order.
t, v, -0.5
Let j = 0.17 - 0.37. Sort 2/5, j, -3/4 in descending order.
2/5, j, -3/4
Suppose 2 - 7 = a. Put 2, 3/7, a in descending order.
2, 3/7, a
Suppose 22*r = 25*r + 3. Sort -4, r, -3, -2 in descending order.
r, -2, -3, -4
Let y = 35 + -33. Let x = 1 - 6. Sort x, 3, y.
x, y, 3
Let n = 18 + -35. Let c = 21 + n. Sort 2/3, -0.1, c.
-0.1, 2/3, c
Let g = 123 - 495/4. Sort g, 0, 5, 1 in ascending order.
g, 0, 1, 5
Let j = -6 - -4. Let q(u) = -2*u - 1. Let f be (-1 + -1)/((-2)/1). Let p be q(f). Put 5, j, p in descending order.
5, j, p
Suppose 5*t - 3*g + 4 + 5 = 0, 0 = t - 2*g + 6. Suppose 2*k = n + k - 4, 4*n + 3*k - 2 = 0. Sort -1, t, n in descending order.
n, t, -1
Let a(x) = -7*x + 6. Let j(f) = 11*f - 9. Let p(u) = 8*a(u) + 5*j(u). Let g be p(2). Let b = 0.5 - 0.1. Sort b, 3/2, g in ascending order.
b, g, 3/2
Let n(k) = -4*k - 3. Let s be n(-2). Let g be 20/(-6) - 20/30 - -1. Sort g, 4, s.
g, 4, s
Let p = -1 + 0. Let v = -9 + 4. Sort v, -0.5, p in descending order.
-0.5, p, v
Suppose 0 = 3*d - 6. Sort -3, 0, d.
-3, 0, d
Let w = -11.1 + 2.1. Let n = w + 9.5. Let v = 3 + -2. Put v, n, -2/9 in increasing order.
-2/9, n, v
Let q(i) = i**3 - 3*i**2 + 4*i - 3. Let p be 0/(0 - (3 + -1)). Suppose -3*v + 6 = -p. Let r be q(v). Put 2, 5, r in decreasing order.
5, 2, r
Let h = 0.4 + -0.2. Let u = h - -0.3. Let p be 3 - 0 - (-184)/(-56). Sort u, -1/4, p in ascending order.
p, -1/4, u
Suppose -a = 5*g - 12, -3*a - 2*a = -3*g - 4. Suppose -3*i = g*i + 20. Sort i, 1/8, 0.3 in increasing order.
i, 1/8, 0.3
Let y = 43 - 38. Put 7, -1, 0.5, y in increasing order.
-1, 0.5, y, 7
Let b be 6234/90 - (-4)/10. Let m = -69 + b. Put -2/3, m, 2/5 in decreasing order.
m, 2/5, -2/3
Suppose -4 + 26 = -5*l - 4*a, 0 = -4*l - 4*a - 20. Sort -3/8, l, 1/5 in ascending order.
l, -3/8, 1/5
Let d = 18 - 16. Let n be (0 + d)/(6/3). Sort -2, 3, n in decreasing order.
3, n, -2
Let w be (-2)/(-3) - 26/30. Let t = 0.1 + 0. Let a = -2.2 + 1.7. Sort w, t, a.
a, w, t
Let g be (-12)/30 - (-34)/10. Put -4, g, 15 in decreasing order.
15, g, -4
Let n = -86 - -91. Let q = -1.3 + 0.3. Let a = 58/5 - 12. Sort a, q, n in descending order.
n, a, q
Suppose -2*b = -3*a + 5, 2*b + 5 = b + 2*a. Suppose -3*i = b - 2. Sort 3, i, -4 in increasing order.
-4, i, 3
Let g be (4 - -1) + 0 + -2. Let v = g + -5. Let d be 48/(-42) - (v + 1). Sort d, -5, 4 in increasing order.
-5, d, 4
Suppose -2*m + 10 = 3*o, 5*m - 6 = -8*o + 10*o. Put -4, 4, -3, m in ascending order.
-4, -3, m, 4
Let o = -5 + 33. Let l = o - 80/3. Put 5/2, l, 0.5 in decreasing order.
5/2, l, 0.5
Let t be 20*((-6)/10 - -1). Let i be ((-16)/(-6))/(t/12). Suppose -2*n = -i - 0. Put -3/7, n, 0.2 in decreasing order.
n, 0.2, -3/7
Let m = 0.71 - -17.09. Let s = m + -17. Sort 2, 4/3, s in descending order.
2, 4/3, s
Let v be (-24)/6 - 10/(-3). Sort 0.4, 2, 0.2, v in ascending order.
v, 0.2, 0.4, 2
Let w = 31 + -34. Put -9, w, -1/4, -0.4 in ascending order.
-9, w, -0.4, -1/4
Let d = 9 + -7. Sort d, 8, 2/9.
2/9, d, 8
Suppose -3*s - 5 = -20. Let o = -11 + 15. Sort o, 2/3, s in decreasing order.
s, o, 2/3
Let j = 16 - 11. Suppose -i + 4*i - j*o + 22 = 0, -3*i + 4*o = 20. Let t = 1 - 1. Put 2, t, i in increasing order.
i, t, 2
Let q = -1.1 - -1. Let n = 4.2 + 0.4. Let t = n + -0.6. Sort q, -0.5, t.
-0.5, q, t
Let u(b) = -b**3 + b**2 + 5. Let c be u(0). Let g = -0.3 + 0.3. Let p = g - -1. Sort c, -1, p in increasing order.
-1, p, c
Let t = 15 + -19. Sort t, -1, 4, 6 in decreasing order.
6, 4, -1, t
Suppose -c + 3*v + 2*v = 13, -5*v - 2 = 4*c. Sort -5, -1, c in descending order.
-1, c, -5
Let o(w) = -w**3 - 4*w**2 + 5*w + 3. Let u be o(-5). Sort u, -0.9, -3.
-3, -0.9, u
Suppose -7 = 3*u + 2. Let s be (8/(12/u))/(-10). Sort s, -7, -1 in decreasing order.
s, -1, -7
Suppose -9 = 12*p - 21*p. Sort -3, 5, 2, p.
-3, p, 2, 5
Suppose 0 = -m + 8*m - 21. Put -2, -3, m in decreasing order.
m, -2, -3
Suppose 4*j = 6*j + 30. Let k = j + 12. Put -5, -2, k in increasing order.
-5, k, -2
Let h be ((-6)/4)/((-3)/8). Suppose 19 = -h*r - 1. Sort 4, r, -1 in decreasing order.
4, -1, r
Let u = 32/33 + 4/11. Let z be -5*(-1)/(-2) - -2. Sort 4, z, u in descending order.
4, u, z
Let t be 2/(-5) + (-46)/10. Sort -13, 1/2, t, -1/3 in ascending order.
-13, t, -1/3, 1/2
Let u(i) = -i - 1. Let a be u(-1). Put -2, a, 1 in ascending order.
-2, a, 1
Let i be 5*(9/(-15) + 1). Suppose -100 = i*x - 6*x. Let h be x/15 + (1 - 2). Put 0.4, 2, h in increasing order.
0.4, h, 2
Let y(n) = 4*n**3 + n**2 - n + 1. Let m be y(1). Suppose -3 - 2 = m*o. Let q(r) = r + 1. Let k be q(-6). Sort 3, o, k.
k, o, 3
Let i = 0.02 - 0.12. Let t = -0.9 + i. Let u be 2/((-8)/(-6)) + -2. Sort t, 4, u in increasing order.
t, u, 4
Let h = 365/476 - 2/119. Put 7, -5, h, -4 in decreasing order.
7, h, -4, -5
Let w = 12 - 7. Suppose 5*x - 11 = -2*f + 7, -3*x = 2*f - 14. Sort w, 1, x in decreasing order.
w, x, 1
Suppose -4*m = -3*m. Put 2, m, 1 in descending order.
2, 1, m
Let i = 20 - 25. Let p be (-6)/8*8/(-2). Put i, p, 0.3 in descending order.
p, 0.3, i
Let q be (-5)/2*108/(-45). Put -4/7, -1, q in decreasing order.
q, -4/7, -1
Let m = 1.4 - 0.4. Let v = -0.1 - 1.9. Let h = m - v. Put h, 3/4, -5 in descending order.
h, 3/4, -5
Let t = 4 - 0. Sort -9, -4, 0.1, t in decreasing order.
t, 0.1, -4, -9
Let i = -1 + -4. Let y = -1 + 0. Let z = y + 2. Sort i, z, -1.
i, -1, z
Let k = -1 - 0. Let o be (-48)/(-40)*10/3. Suppose -5*v + 2*v = -9. Sort v, k, o in increasing order.
k, v, o
Let b = 12 + -7. Suppose 4*c - 8*c + 16 = 0. Let o(n) = -n**3 - 5*n**2 + 12*n - 8. Let v be o(-7). Sort v, c, b in descending order.
v, b, c
Let i = 0.9 + -0.9. Sort 2, i, -0.4, 2/9 in descending order.
2, 2/9, i, -0.4
Let n be (-2)/11 + 30/(-198). Sort -2, -3, n in decreasing order.
n, -2, -3
Let i = -0.2 - -0.7. Suppose -l - 4*l + 10 = 0. Sort -5, l, i in descending order.
l, i, -5
Suppose 106*s - 122*s = 64. Suppose 0*n = 3*n. Sort n, s, -10.
-10, s, n
Let b be (-15)/(-108) + (-3)/12. Put -2/3, -2, b in decreasing order.
b, -2/3, -2
Let r = 1.98 + 0.02. Put r, 1, 3 in descending order.
3, r, 1
Let s(f) = -f**3 + 4*f**2 + 3. Let l be s(4). Let n be (-3)/l*(4 + 0). Let q = 0 + 0.1. Put -1/5, q, n in ascending order.
n, -1/5, q
Let t = 0.19 - -0.09. Let l = 0.17 - t. Put 4, 5, l in increasing order.
l, 4, 5
Suppose -3*j = j + 4. Let c = 10/3 + -4. Sort 3, c, j in descending order.
3, c, j
Let g be (-1)/(-15) + 6/10. Let r = -3.69 + -0.31. Sort r, g, 3 in ascending order.
r, g, 3
Let j be 4/7 - 60/(-42). Put -9, 3, j in ascending order.
-9, j, 3
Suppose 0 = -5*q - 0*q + 2*l + 863, 0 = 5*q + l - 851. Suppose 0 = -5*j + q - 26. Suppose j = 4*o + 5*a, -5*o - 6 - 4 = -3*a. Sort o, 4, 5.
o, 4, 5
Suppose -5*p + 5*k = -0*k - 20, 0 = -3*p - 2*k + 7. Sort 0.4, -3, -1, p in ascending order.
-3, -1, 0.4, p
Let o be (0/1 - -7) + -3. Let m = 1 - 3. Let d be (-3 + 0 + 3)/2. Put o, m, d in increasing order.
m, d, o
Suppose 5*f + 30 = -2*w, w + 40 = -3*w - 5*f. Let g = w - -22/5. Let k = 0.3 + -0.8. Sort -2, k, g in descending order.
k, g, -2
Let 