aller: m or -1?
-1
Let q = 42.7 + -46.7. Let m = -0.3 + 0.2. Is m > q?
True
Let s = 6 - 9. Let j be 550/(-48) + (-1)/s. Let f = 1715/152 + j. Which is smaller: f or 1?
f
Suppose -2*d + 50 = 32. Suppose -h + 5*o = 16, 3*o - 3 = 3*h + d. Is 2/11 greater than or equal to h?
True
Suppose -3*x - n = -0*x - 16, x + 8 = 3*n. Suppose -j + 1 = -x*y + 8, -14 = -4*j + 2*y. Let u be (2/(-5))/(7/j). Which is bigger: u or 1?
1
Let b be 2 + -4 + 2 + 69. Which is smaller: 67 or b?
67
Let m be (-2 - 24/(-4)) + -2. Suppose 0 = 4*c - f - 76, -m*c + 3*f - 16 + 54 = 0. Let z = 6 - c. Is 1 not equal to z?
True
Let i = 21 - 21. Let j be 4/(-1) - 880/(-216). Which is bigger: j or i?
j
Let k be (-4)/((-4)/5) + -2. Suppose 2*t - 5*z + 4 = 0, t - 4 = 4*z - 9. Is k >= t?
True
Suppose 0 = 2*w - 15*w - 988. Which is smaller: 1/8 or w?
w
Suppose -6*a - 191 = 3*q - 2*a, 0 = 4*a + 8. Let k = -69 - q. Which is smaller: k or -10?
-10
Let q(v) = v**3 + 7*v**2 + v + 7. Let u be q(-7). Suppose u = -4*p + 8*p + 8. Let o = -893/630 - 1/90. Which is greater: p or o?
o
Let j = -1066 - -1074. Is 4.2 bigger than j?
False
Let x = 1.504 - -0.496. Are x and 138 non-equal?
True
Let m(p) = 2*p + 3. Let x be m(-5). Let w = 87 + -45. Let q = w - 97/2. Is q greater than x?
True
Let u be ((-156)/(-1469))/((-3)/(-2)). Let n = u - -622/791. Suppose -2*o = -3*l - 7, -5*o + 29 = 4*l - 0*o. Which is smaller: l or n?
n
Let d(u) = -u**3 - 13*u**2 + 14*u + 14. Let c be d(-14). Suppose 0 = -2*q - 10, -4*q - c = 4*f + 38. Which is bigger: f or -9?
f
Let y be (-9 - 84/(-9))*0. Is 2/7549 < y?
False
Let m = 0.2 - 0.1. Let v = 0.35 - 22.35. Let w = v - -15. Which is bigger: w or m?
m
Let w(v) = -11*v - 42. Let l(i) = -4*i - 14. Let y(a) = -8*l(a) + 3*w(a). Let r be y(0). Let n = r - -16. Which is smaller: n or -0.2?
-0.2
Let c(b) = 3*b**2 + 77*b + 23. Let a be c(-28). Is a less than or equal to 439/2?
True
Let y = -28.94 + 29.04. Does 2.418 = y?
False
Let z be (-3 + 2)*66/(-6). Let y be (3/z)/(21/(-14)). Let d = y - -15/22. Which is bigger: 0 or d?
d
Suppose -8 = 14*f + 6. Let h = 980/9 + -109. Is f at most as big as h?
True
Let f = -9 + 7.3. Let b = f + -0.9. Let h = 0.6 + b. Does 4 = h?
False
Let s(a) = -11*a + 28. Let f be s(3). Suppose 2*j - 2*k - 7 = 1, -j + 2*k = -4. Suppose 12 = j*x, -3*c + 6 = -3*x + 4*x. Do c and f have the same value?
False
Let u(o) = -o**2 + 11*o - 24. Let x be u(10). Let g be 7/x*(-16 - 0). Suppose -13*p = -g*p. Is p <= -14?
False
Let v = 16 + -27. Let y = v - -5. Let r be y - (1 + -1 + 3). Is r >= -10?
True
Let l = -19 + 18. Let m = 2131/2300 + -22/23. Let k = -17/150 - m. Which is bigger: l or k?
k
Suppose 6*p + 42 + 12 = 0. Let v = -13 + 17. Let l be 209/(-22) + 2/v. Do l and p have the same value?
True
Suppose -25 = 4*w + 5*x, -3*x = 4*w - 3*w + 15. Let z = 5 - w. Suppose -15 = z*a - 5*m, -2*a + 9 = -0*m + 3*m. Is a at most as big as -2?
False
Suppose -2*i + 297 = 2*q - 5*i, -3*i + 408 = 3*q. Let n = 55 - q. Is n greater than or equal to -86?
True
Let q = -601 + 198. Which is bigger: -402 or q?
-402
Let p be 1 + 1 + 7 + -1. Let b be p - 11 - (-2416)/18. Let z = b + -131. Is 1 > z?
True
Suppose 3*p - 1 = 14. Let b be p/(3*(-1)/3). Is -4 > b?
True
Let y = -57.4 - -52. Let d = -29 - -23. Let s = d - y. Is 0 bigger than s?
True
Suppose -2*k + 133 + 9 = 0. Let h = k - 43. Suppose 3*y + y - h = 0. Which is smaller: 8 or y?
y
Suppose 5*x + 4*h + 3 = 0, 6 = -0*x + 2*x - 2*h. Is x != 8/139?
True
Suppose 5 = -u + g, -2*g = -3*u - 4 - 6. Suppose -5*i + 1 = -4. Let c be ((-25)/(-120)*18/(-20))/i. Which is greater: u or c?
u
Let a = -5 - -5. Let b be 0 + 52/(-30) + a. Let i = b - -7/5. Which is bigger: -0.1 or i?
-0.1
Let i(k) = k + 13. Let u be i(-5). Suppose 0 = -5*b - 7 - 3. Let v be 14/(0 - b)*1. Is u smaller than v?
False
Let h(z) = -z**2 + 27*z - 108. Let d be h(20). Is d greater than 32?
False
Suppose 12 = -3*t - 8*b - 479, 5*t = -b - 880. Which is smaller: t or -179?
-179
Let r(j) = -j**3 + 12*j**2 + j + 22. Let x be r(12). Let f be x/76 + (-27)/54. Is f less than 1?
True
Suppose -3*l = -5*l - 14. Let k(q) = -q**2 - 9*q + 1. Let x be k(l). Which is smaller: x or 16?
x
Let s = 21 + -21.016. Let j = s + -0.004. Is -1/3 less than j?
True
Suppose -1035 - 5481 = -4*h. Let a be (1/714)/(27/h). Let x = 2/153 - a. Which is bigger: x or 0?
0
Suppose 0 = 2*n + 2*n + 24. Suppose 2*z - 5*x - 13 = z, 0 = 2*z + x - 4. Suppose f + 3 + 3 = -k, z*k - f + 14 = 0. Which is smaller: k or n?
n
Suppose 0*b = 4*c - 4*b - 80, -3*b = -2*c + 36. Is c at least 26?
False
Let x = -87 + 88. Which is smaller: 8/23 or x?
8/23
Let a(t) = -t**2 - 5*t - 5. Let p be a(-2). Let z be (2 + (-4)/2)/p. Which is greater: -2/111 or z?
z
Let g(k) = -15*k**2 + 5*k - 13. Let f be g(3). Which is smaller: -132 or f?
f
Let i be 92 + -35 + (-5 - 1). Which is greater: 9 or i?
i
Let q = 1487 - 113017/76. Which is smaller: 0.2 or q?
q
Let d(v) = -108*v - 8. Let k be d(2). Which is greater: k or -225?
k
Let h(t) = t**2 + 3*t - 1. Let o be h(-4). Suppose -3*u + 3 = -o*v, -3*v + 15 = -0*v. Let i be (-51)/(-255) + 48/10. Are u and i equal?
False
Suppose 5*m - 23 = 62. Suppose 3*n + 87 = 5*j, j - 2*n - 3 - 13 = 0. Is j greater than or equal to m?
True
Let h = -0.0491 - 0.0509. Which is smaller: 279 or h?
h
Let s be (0 - -9)*6/238041. Let v = s + -30601535/185143. Let u = -165 - v. Is u at most as big as 3?
True
Let o be (1 - 0) + 4 + -1. Suppose -o*q + 29 = 9. Suppose 6*w - q = w. Is w less than 2/3?
False
Let f be ((-1)/3)/((-12)/(-5340)). Let g = f - -150. Is 2 > g?
True
Let t be (-16)/462*174/(-8). Let r = 4/7 - t. Let d = 9 - 43/5. Which is bigger: r or d?
d
Let c(b) = b**3 - 8*b**2 + b + 4. Suppose 0 = 3*j + 2*l - 20, 0 = 4*j - 3*l + 11 - 32. Let d be c(j). Which is greater: d or -61?
-61
Suppose -3*n + 8*n = 3*y + 23, -5*y + n = 9. Are -1/534 and y equal?
False
Let o be 1/2*(-1)/(-53). Are o and 1 unequal?
True
Let o = 20/7 - 193/70. Suppose -4*h - 98 = 3*h. Let i = h + 14. Which is greater: i or o?
o
Let a = -31 - -27. Let w be (-7)/((-21)/(-12)) - a. Suppose -4*d + 21 - 9 = w. Are d and 3 equal?
True
Let r be (2 - 81)/((-3)/(4 + -1)). Let f = -74 + r. Is f < 5?
False
Let u = -16 - -7. Is u at most as big as -0.4?
True
Let z = 2.01 - 0.21. Let p = 79 - 79.8. Let y = z + p. Which is smaller: y or -0.3?
-0.3
Suppose -5*t + 36 = -t. Let q be t + -6 + 3/(-1). Are 2/61 and q nonequal?
True
Suppose 0 = 2*d - 2*l - 3*l - 24, -3*d - 2*l = 2. Is 17/16 smaller than d?
True
Let y = 346 - 361. Is y bigger than -14?
False
Let r = 1.9 - -0.1. Let t = 169 - 168.95. Is t > r?
False
Suppose -95 = -4*g + 3*t, 5*g + 2*t + 3*t - 75 = 0. Let u = -53 - -95. Let m = u - 41.9. Is g less than or equal to m?
False
Suppose 7 = -m - 0*g + 2*g, -2*m = -5*g + 17. Let i(k) = k**2 - 2*k - 1. Let d be i(m). Let j = -23 - -47/2. Which is bigger: d or j?
d
Let x(r) = -r**3 + 4*r**2 - 13. Let i be x(4). Which is smaller: i or -11?
i
Suppose m = -4*r - m + 26, 31 = 4*r + m. Let n = -223 - -235. Which is smaller: r or n?
r
Suppose 8*y = -1 + 417. Suppose 0 = d + 3*d - y. Is 0 > d?
False
Let q = 2 - 2.02. Let i = -2605.9 - -2441. Let h = i + 165. Which is smaller: h or q?
q
Let s = -0.16 + 0.11. Let u = s + -0.25. Are u and -6 nonequal?
True
Suppose 0 = 2*n - 3*f + 3, 5*n + 3*f = -2*f + 55. Let t(h) = -h**3 + 7*h**2 - 6*h + 1. Let k be t(6). Is k bigger than n?
False
Let f(h) = 10*h + 3. Let x be f(-3). Let p be 17/5 - x/45. Suppose -2*k - 2 = -3*l, 5*k + 3*l + 1 + p = 0. Is -3/14 not equal to k?
True
Let i(h) = -21*h + 630. Let y be i(30). Is 44/71 at least y?
True
Let p = 10704269287/2221351715 + -1/15319667. Let t = -6/319 + p. Is t less than or equal to 6?
True
Let w be 1/(-194)*(-1 + -3). Suppose 0 = -v - 3, 3*v + 16 = -k + 7. Which is smaller: w or k?
k
Let c(u) = 7*u**2 + 11*u + 10. Let t be c(-4). Are 78 and t equal?
True
Suppose 3*m = -0*m + u - 39, -2*u = 2*m + 18. Let k = 19 + m. Is k bigger than 9?
False
Let p = 60 - 54. Let n(c) = c**3 - 4*c**2 - 11*c + 4. Let v be n(p). Is 2 smaller than v?
True
Let u = 19/32 - -917/288. Which is smaller: u or 3?
3
Let p = -1.963 + 0.956. Let d = p - 0.043. Let l = 0.05 + d. Which is smaller: l or -3/5?
l
Let k be (-8)/((-16)/(-6)) + 5 + 2. Let z be (-4 + (-11)/(-3))*(k + -1). Which is bigger: 1/31 or z?
1/31
Let u = 