Let j = -4867 - -4868. Is j at most as big as 75/26?
True
Let t = 8014 - 8041. Is t greater than 306?
False
Let f be 1 + 1 - (-3 + 44/(-28)). Suppose 0 = 39*a + 37 - 115. Which is bigger: f or a?
f
Let a be (-581 + 4)*6/(-2). Let i be 571/a - 2/6. Let f = i + -1128/7501. Which is smaller: -1/5 or f?
-1/5
Let x be 5/(-5) - (-9)/1. Let p be ((-12)/x)/((-6)/16). Suppose -p*h + 19 = -21. Are 9 and h non-equal?
True
Let j = 1.72 + 14.68. Let r = 5.4 - j. Let l = r - -11. Is l at least 26?
False
Let s be 0 + 4/((-8)/(-10)). Suppose 0 = -s*n - y + 104, 3*y - 16 - 16 = -n. Let g = 28235 - 28215. Is n less than or equal to g?
True
Suppose 84772 - 8427 = -27*k - 6869. Is -3084 less than or equal to k?
True
Let q be 3/6*(-1398)/4. Is q greater than -176?
True
Let x be 6/12 - 1*1922/4. Let v = -5408 - -4929. Is v at most as big as x?
False
Let j = 1 - 0.94. Let a = -651033 + 650991. Is j > a?
True
Let p = -394.16 + -2.84. Let d = p + 397.1. Is -122 < d?
True
Suppose -274 - 30 = -4*j - 3*b, 0 = j + 2*b - 76. Suppose j*q + 231 = 65*q. Is q at most as big as -59/3?
True
Let s = -5836 + 5835. Let n be ((-3)/4)/(3/1). Which is greater: n or s?
n
Let c(k) = k**2 - 22*k + 96. Let v be c(6). Are -7323 and v equal?
False
Let x = 2701 + -1428820/529. Is 0 greater than x?
False
Suppose 841 = 5*j + 3*f + f, -f = -4*j + 698. Does j = 58?
False
Let l = 482 + -486.21. Let w = 0.21 + l. Which is smaller: w or 5/6?
w
Let a = -3588 - -3588. Which is smaller: 10/1013 or a?
a
Suppose -55584 - 120204 = -19*i. Which is greater: i or 9251?
i
Let l(p) = 2*p + 40. Let m(k) = k. Let w(y) = l(y) - 4*m(y). Let t be w(13). Suppose 3*o + 4*g = -15, t = o - 2*g - 3*g. Is o less than -5/24?
True
Let z = 399426751/9426 + -42375. Which is smaller: z or -1?
-1
Suppose -9*z + z = 18*z + 5*z. Does z = -14/99?
False
Let t(b) = b**3 + 11*b**2 + 9*b + 10. Let u be t(-10). Let v be (63/105)/(2/u). Suppose v = 4*c - 2. Is c smaller than 8/13?
False
Let x = -1/458 + 2065/1832. Let d(q) = -q**3 + 3*q**2 - 3. Let h(j) = -j**2 - 4*j + 7. Let b be h(-5). Let t be d(b). Is t at least x?
False
Suppose 5*z - 10*y + 14*y = -70671, -y = -2*z - 28284. Is -14138 greater than or equal to z?
True
Suppose m - 2*m = 3*m - 1112. Which is bigger: 296 or m?
296
Let r = 158068700/9883 + -15994. Which is smaller: r or 1?
r
Let o = -129 + 196. Let f(u) = 5 - 68*u**2 + 5 - 11*u + 2*u + o*u**2. Let c be f(-10). Is c < 9/13?
True
Suppose 0 = -9*f + 30148 - 11977. Does 2019 = f?
True
Let t(u) = 4*u + 20. Suppose -4*v + 1 - 17 = 0. Let x be t(v). Let j be ((-9)/(-36))/(3/x). Is 2 != j?
True
Let k = -0.05 - -0.05. Let q = k - 4. Let a be 55/(4455/(-6))*(-8 - 1). Is a smaller than q?
False
Let x = 16997.96584 - 16998. Which is bigger: x or 2/7?
2/7
Let s = 2122 - 2129.04. Which is bigger: s or -6?
-6
Suppose 2*x - 9 = y - 24, 3*x + 6 = 0. Which is greater: 0.16 or y?
y
Let k be -7*5/5 - (3 - (-2588)/(-251)). Which is smaller: 0 or k?
0
Suppose -12*a - 3*a - 4*a = 0. Suppose a = -14*x - x + 75. Suppose -4*z + x*z = -2*l + 46, 4*l + z - 92 = 0. Is 23 less than or equal to l?
True
Let y be 1 + (-9022)/(-2549652) - 1. Let m be 2/((-239)/(-2)*42). Let g = y + m. Is g > 1?
False
Let s(q) = -2*q**2 + 17*q - 147. Let g be s(7). Does g = -100?
False
Let d(h) = -h**3 + 16*h**2 + 2*h - 32. Let i be d(16). Suppose 0 = 26*m - 0 - i. Let o = -7437/52 + 143. Which is bigger: m or o?
m
Let q = -0.5 - 4.5. Let t = 33246 - 33275. Is q less than t?
False
Let b(s) = 8*s - 97. Let m = -187 + 191. Let w be b(m). Is w greater than -63?
False
Let g(l) = l**3 - 13*l**2 + 12*l + 4. Let f be g(12). Let z(h) = -2*h**3 - 6*h**2 + 2*h - 6. Let j be z(f). Which is bigger: j or -223?
j
Let o = -399.1 + 399. Is -1520 < o?
True
Let p be 32/48 + 326/(-3). Let k be ((-5)/60)/((-8)/p). Let i be 0/4 + -2 + 1. Is k greater than or equal to i?
False
Suppose -8*g + 3*o - 12 = -7*g, 4*o - 16 = 3*g. Which is smaller: -1/962 or g?
-1/962
Let g(k) = -2*k**2 - 88*k - 630. Let b be g(-9). Which is smaller: 18/37 or b?
b
Let o = -278 + 407. Let s = o - 138. Let b = s + -2. Is b less than -10?
True
Let a(z) = 3*z**3 - z**2 + 3*z - 3. Let s be a(3). Let p = s - 78. Suppose -2*u + 4*i + 60 = u, 5*u - i - 117 = p. Is u greater than 23?
True
Let n = -5553 + 5554. Which is smaller: n or 124/7?
n
Let y = -4 + 4. Let c be (-7 + 256/36)*(2 + y). Is 134 > c?
True
Let k = 795 + -719. Let n be (-2)/(-5) - (-6048)/80. Is n at most as big as k?
True
Let p be (-1035705)/1380720 + 2 + (-10)/8. Does -1 = p?
False
Let s = -80417/22 + 8135/2. Which is greater: s or 411?
s
Let i = 1543307/5 + -299682. Which is greater: 8980 or i?
8980
Suppose 134*v + 372 = 135*v. Let h = v - 378. Is -3 > h?
True
Let d be (3224/4216)/(2/34). Which is smaller: d or 82?
d
Let a be (-2)/8 + 1/4. Suppose 2*n = a, 5*o + 0*n - 2*n = 5. Let j be ((-510)/75 - -2)*(-20)/(-8). Which is smaller: o or j?
j
Let r(w) = -11*w + 270 - 136 - 104 + w**2. Let d be r(6). Which is bigger: d or 15/14?
15/14
Suppose -3*w = 4*p - 1172, -9*w + 7*w - 3*p + 783 = 0. Which is bigger: 381 or w?
w
Suppose q + 115 = 5*a - 0*q, 4*a - 78 = -2*q. Suppose -35*n + a*n = 0. Are n and -21 non-equal?
True
Suppose -109*g - 512 = 4*g - 60. Let j = -27 - -9. Which is smaller: j or g?
j
Let r = 1/2014172 - 9757656269/30212580. Let u = r - -323. Let g = -3 + 4. Are g and u nonequal?
True
Let s = 162 - 152. Let j = 5914 + -71017/12. Let l = 13/3 + j. Do l and s have different values?
True
Let c be (1 + 2)/(-8 + 11). Let q be 3/((-2 + 1)/(-1)) - c. Let d be ((0 - 1)*8)/(q/(-8)). Which is smaller: d or 33?
d
Let m = 525 + -297. Suppose m + 715 = -4*w + 5*i, w + 223 = -3*i. Is w less than -231?
True
Let w = -149 - -153. Suppose 12 = w*j + 4*t, -j - 7 = -3*t + 2. Which is greater: 1/36 or j?
1/36
Let t be (1*11/72)/((-66)/(-9) - 6). Is 0 greater than t?
False
Let x = -441.89 + 441.69. Let u(f) = 3*f**2 - 6*f + 1. Let t be u(6). Which is bigger: t or x?
t
Let s be -5*2*(-4)/8. Suppose 2*a - s*y = 92, -3*a - y + 53 = -2*a. Let n = a + -64. Is -11 < n?
False
Let n = 46.84 - 39.5. Let y = n + -7.4. Let a = y + 83.06. Which is bigger: 0 or a?
a
Let r = -5518 - -5520. Suppose q + 0 = 4. Suppose -3*k = -q*p - 16, -7*p + r*p - 2*k = -3. Is -4/13 smaller than p?
False
Let n be (-6489)/(-147) - 2/14. Suppose -7*k - 124 - n = 0. Let z be 36/k*(-56)/(-6). Is -13 greater than z?
True
Let c = 276 + -292. Which is bigger: 0 or c?
0
Let m = 2100 + -3048. Let s be m/(-10)*(-320)/48. Which is smaller: s or -633?
-633
Let h = -0.24 + 77.24. Let z = h + -73. Do z and 20/3 have the same value?
False
Let k be 212/3498 + 10886/66. Is -12 less than k?
True
Let h = 0.1 + -0.5. Suppose -5*y + 1 = 2*w + 13, 0 = -w - 2*y - 4. Let k be (-2)/w*(-2)/(0 + 4). Is h <= k?
True
Let r = -2.28 + 0.88. Is r at most -2/15?
True
Let i be 3/(-9) - ((-705)/504)/5. Let u = -19/56 - i. Let p = 0.05 - 0.07. Which is smaller: p or u?
u
Let y = 257 + -255. Suppose -3*f - 6*h + 8 = -7*h, -3*f + y = 2*h. Which is smaller: 20 or f?
f
Suppose -3*f = 24 - 39. Suppose -4*h = -f*d + 8, 4*d - h = -2*h + 19. Which is bigger: 45/11 or d?
45/11
Let a be 4792 + (-18)/105*-7*10/(-4). Is -2/3 less than or equal to a?
True
Let g(i) = 2*i + 6 - 3 + i**2 + 2. Let w be g(0). Suppose 2 = -3*h + w. Is 2/157 at most h?
True
Suppose 34*z + 958 = 992. Which is greater: z or 88/367?
z
Let a be -3 + 116/12 + (-15)/9. Suppose 4*q + a*c = 983, 8*c + 720 = 3*q + 6*c. Is 241 less than or equal to q?
True
Suppose -v + 45 = 4*v. Suppose f - v*f = 208. Let g = 39 - 38.9. Which is smaller: f or g?
f
Let i(u) = -u**3 - 3*u**2 + 7*u + 11. Let g(r) = 2*r**2 - 23*r + 26. Let b be g(10). Let p be i(b). Let h be 3/p*-1 + (-38)/14. Is -1/3 >= h?
False
Let g(m) = -58*m**2 - 2*m - 1. Let d be g(-1). Suppose 283 = -4*a + 291. Suppose h + 3*h + 216 = a*c, 4*c = 2*h + 96. Is d less than h?
True
Let j be ((-100)/(-50))/((-8502)/1694 + 1). Let b = j - -16/37. Suppose -3*m = -0*m - 3. Which is smaller: b or m?
b
Let w = -24 + 28. Let v = 1 + w. Suppose 3*n - 4*i = -16, -n = n - v*i + 20. Is 3/35 at most n?
False
Let x be 3 + -5 + 5 + -3. Suppose x = 2*d + 3*d - 10. Which is greater: d or 3?
3
Let k = -6513684522/26447 + 246292. Which is smaller: k or -1?
-1
Let r = -7 + 4. Let a = r + 3.1. Let f = 13.562 + -13.442. Is f < a?
False
Suppose 0 = -3