921735969 - -602836/69267. Let c = -6/1901 - r. Is c > -54?
True
Let c be 4/((-8)/6)*(-4)/3. Let k be (-4)/(-24)*3*10/1. Suppose -k*n = -c*n - 6. Is 6 > n?
False
Let u = 67608538/99789 - -85408/1147. Let b = u - 752. Let q = b - -188/609. Is q < -0.08?
False
Suppose s = 5*o - 9*o - 14, -4*o - 8 = 4*s. Let i be s*(3 - 1)*82/164. Let l = 9 + 0. Is l bigger than i?
True
Suppose 0 = -5*g + 3*r + 16, 0 = 4*g - 5*r + 7*r + 18. Do 24/989 and g have the same value?
False
Let d be -6 + (49 + -1 - -3). Let a be ((-1263)/(-1110) - 1) + (-6)/d. Is a greater than or equal to -1?
True
Let h be 14/6 + (-3800)/1500 + (-2)/(-10). Is h greater than or equal to 11/413?
False
Suppose 0 = -4*i + 8, -3*q = -39*i + 37*i + 49. Let t be (9/q)/(8/(-5)). Which is smaller: 0 or t?
0
Suppose 5*o = -5*g - 40, -4*g + 3*o - 1 = -4. Let m = -3264 - -3295. Which is bigger: g or m?
m
Suppose 418 + 709 + 903 = -35*p. Which is greater: -43 or p?
-43
Let c(m) = -2*m + 52. Let g be c(25). Suppose -g*v + 13 = 1. Let q = 1 - -5. Does v = q?
True
Let l = 191.2 - 190.66. Which is greater: l or -56/3?
l
Let z(y) = -y**2 + 13*y + 16. Let l be z(14). Let f be (-30)/10 + 20/l. Let h = -520 - -519. Are h and f non-equal?
True
Let t = 45077 + -45079. Suppose -c + 4*i - 17 = 0, -i = -5*c + 2*i. Suppose -c*v - 26 = 5*n + v, 4*n - v = -4. Is t smaller than n?
False
Let k(l) = -3*l - 2. Let z be k(-6). Suppose 27*p + 14 = 34*p. Suppose 0*b = -p*b + 36. Which is greater: b or z?
b
Let v be (56/10 - 2)/(15246/(-924)). Which is smaller: 0.2 or v?
v
Let v be (-6)/(-15) + 98631/(-255)*1667. Let m = -645444 - v. Let i = m + 668. Which is smaller: 1 or i?
i
Let z(c) = 2*c**3 - 41*c**2 - 45*c + 1240. Let k be z(20). Is 148 at least k?
True
Suppose 5*h - 3*i + 5 = 2*i, -6 = 4*h - 5*i. Is h at most -2/12093?
False
Let i = -137591/1298 + 1165/11. Which is bigger: -1 or i?
i
Suppose 5*h - 4*h = 57. Let j = 57 - h. Suppose 2*p - 15 + 27 = j. Is 1 > p?
True
Let q = -4021 + -3615. Is -1 bigger than q?
True
Suppose -315*c + 10412 = -452*c. Which is bigger: -100 or c?
c
Let s = -707/2 + 353. Which is bigger: s or 41?
41
Let z = 133 - 1733/13. Let t = 2 - -6. Let d = 8 - t. Is d less than z?
False
Let i(p) = -719*p - 10109. Let g be i(-14). Let a = 44 - 89. Is g not equal to a?
True
Suppose -o + 5*j - 270 = -5*o, -5*j + 345 = 5*o. Which is smaller: o or 98?
o
Suppose -74 + 18 = 8*l. Suppose 0 = 4*c - c + 2*h - 2, 14 = 2*c - 5*h. Suppose -c*u - 4 = -u. Which is bigger: l or u?
u
Let g = -138 + -37. Let c = -177 - g. Is c < -2.4?
False
Suppose 0 = 10*t - 8*t + 146. Let h = 64 + t. Which is smaller: -2 or h?
h
Let r = 2152848 + -2152411.0503. Let x = r - 437. Is x less than or equal to 1/3?
True
Let s(c) = 2*c**2 - 18*c + 17. Let v be s(1). Is v less than 16/215?
False
Suppose -5*h + 22 = 2*l, 3*l + 3*h + 18 = 42. Let k be (l/(-3))/(252/66 + -4). Is k bigger than 4?
True
Let a be 26 - (-11 + (10 - 8) + 5). Is -3/11 smaller than a?
True
Let n = -148 + 192. Let l be (6 + n/(-8))*2. Is 28/13 equal to l?
False
Let y be (-1)/((-3341)/(-559) + -6). Which is greater: 15 or y?
y
Let w(n) = n**3 - 16*n**2 + 15*n + 16. Let t be w(15). Suppose 0 = 12*l - t*l. Is l at most as big as 4/117?
True
Let b be (-1079547)/945 + ((-8)/36)/1. Does b = -1143?
False
Let f = 26/24513 - 12608399/514773. Let n = 196/9 + f. Is n greater than 1/3?
False
Let w be 2/(-16) - (-9)/(72/(-67)). Suppose -5*r = -4*o + 56, -2*o = -5*r - 4*o - 32. Are r and w equal?
False
Let u(s) = -5*s - 305. Let z be u(-40). Which is smaller: -108 or z?
-108
Let x = -0.15497 - 37.84503. Is 4/35 greater than or equal to x?
True
Let o = 59.56 - 252.56. Is o less than -0.7?
True
Let u be (12/(-62316))/((-5)/(-60)). Which is greater: -1 or u?
u
Let a = 219 + -216.024. Let m = 0.0498 - 0.0258. Let r = m + a. Is 0.5 >= r?
False
Let x = 83992/15 - 17954/3. Which is greater: x or -386?
x
Suppose 0 = a + 21*a + 3607 + 2311. Is a at most -266?
True
Let t = -33.535 + 33.693. Is -17 bigger than t?
False
Let x = 738 - 1539/2. Let h = -35 - -35.1. Do h and x have different values?
True
Let m = -73 + 75. Let b = 1 - m. Let n be ((-308)/(-300) - 1)*1. Are n and b unequal?
True
Let k = 1841 + -1834.95. Is 0.1 less than k?
True
Let h be ((-1830)/40)/((-10)/(-64)). Is h at most as big as -293?
False
Let j = 102 + -106. Let d be (j/(-6))/(18/27). Which is smaller: d or 4/233?
4/233
Let i be (-1)/3*(-112)/21. Let n = 25922 - 25920. Which is smaller: n or i?
i
Let v = -78 + 132. Let z = v + -27. Let y = z - 26. Is y > -1/5?
True
Suppose 5*r = -26 + 6, 3*y + r - 20 = 0. Suppose -y*x + 13*x + 2065 = 0. Which is smaller: x or -414?
-414
Let d be (3 + -3 + -1 - -5)*(-7 - -11). Is d greater than or equal to -133?
True
Let l = -291 + 559. Let o be l/402 + ((-95)/147)/1. Is o bigger than 0?
True
Let m be (-8)/12 - (-10)/6. Suppose 0 = 4*i + u + 5 + m, 2*i = 4*u + 6. Let t be 12/80*116/(-870). Which is greater: t or i?
t
Let y be (-2082)/(-112)*(3 + -7). Let r = y + 75. Which is greater: 2 or r?
2
Let u be 111/(-3)*(-11)/((-33)/(-6)). Let d = 76 - u. Suppose 23 = -s + 4*h, -3*h + 1 = -s - 18. Is d at least s?
True
Let o = 127 + -197. Let z = 69.13 + o. Is z bigger than 0.1?
False
Let t be ((-1)/2 - (-51)/90) + 48625/(-766875). Which is smaller: t or 1?
t
Let x(v) = 5*v**2 + 28*v - 6. Let f be x(-6). Let c be 130/(-4)*f/90*8. Is c at most as big as -18?
False
Let r = 6727 + -6723.49. Is r at most 2?
False
Suppose 2*c - 10*c = 2*c. Suppose 7 = o - c*o. Let n be (2*(-1)/2)/((-9)/54). Is o equal to n?
False
Let z be 123/12 - (7/4)/7. Suppose 10*f + z = 15*f. Which is bigger: 24/11 or f?
24/11
Let w = -0.14672 - -0.05672. Let z = -75 - -151/2. Is z less than or equal to w?
False
Suppose -4*b + 9257 = 3*p, 3*b - 5*p - 186 = 6706. Which is bigger: 2312 or b?
2312
Suppose -1 + 37 = 4*l. Let r = -60 - -198. Let c = r + -136. Which is smaller: c or l?
c
Let u be 1510/(-4) - ((-17 - -45) + -29). Suppose r + 205 + 173 = 0. Which is greater: u or r?
u
Let z = 4888/3 + -2409772/1479. Are 1 and z nonequal?
True
Suppose 7*k = 14*k + 105. Let z be -1*(200/k)/(-10). Is 0 != z?
True
Let b be ((-9)/(-162))/(-6*7824/(-27)). Which is smaller: b or -1?
-1
Let k be 368/(-224)*-14 + -116. Are 23 and k unequal?
True
Suppose -9 = -4*t + 15. Let a be 7 + t + (3 - 7). Suppose -g - 4*f - 2 = 0, -f = -g + 2*f + 19. Which is smaller: g or a?
a
Let k = -0.25 - -0.35. Let u = -133.8 - -111.771. Let l = u - -0.029. Is k equal to l?
False
Suppose 10*u + 5*r + 125 = 5*u, 81 = -3*u + 3*r. Let s = -876 - -1018. Suppose t - 9 + 38 = -f, 5*f + s = -2*t. Is f >= u?
False
Suppose 2*l + 296 = 4*w, 15 + 134 = -l + w. Is l at least -20?
False
Let w = 15397 + -15280. Suppose -2*b = 5*p - 574, 0 = -3*p + 2*p + 5*b + 131. Are p and w nonequal?
True
Let v = 0.0438 - 0.1858. Let t = v + 90.142. Is -1/2 not equal to t?
True
Let j(u) = 105*u + 3999. Let c be j(-38). Is -4.76 smaller than c?
True
Let o(q) = -3*q**2 + 28*q + 31. Let a be o(10). Let l be (-12)/a*4*(-8)/(-6). Is -6 > l?
False
Let p(z) = 3*z + 1 + 5*z**2 - 2*z - 1 - 2. Let f be p(2). Suppose 8*a - f = 4*a. Which is bigger: 7 or a?
7
Let o be 3958/(-10320) + (-12)/(-42) + 16/140. Do -1 and o have the same value?
False
Let v be (-4)/6*-4*216/(-960). Which is bigger: 154 or v?
154
Let h be (-674)/111 - ((-14 - 0) + 8). Suppose -2*s + 6 = -5*x, -3*x - 8 - 4 = -4*s. Are x and h equal?
False
Let o(s) = s**3 - 17*s**2 - 43*s. Let c be o(-8). Which is smaller: c or 0.1?
c
Let r be (-3 + -416)/(37/(-185))*(-3)/5. Is r at least -1256?
False
Suppose 3*s = -3*a + 12, -11 = -4*s - 3*a + 3. Suppose -s*k + 3*k = 0. Suppose 5*p - 114 = 3*d, k*d + 5*d - 10 = 0. Are p and 24 unequal?
False
Suppose 134*q = -8*q + 198898 - 8334. Which is smaller: 4027/3 or q?
q
Let h = -3664 - -2009. Let x be (-116)/406 + (-1)/(-14)*h. Which is smaller: x or -118?
x
Let c = -171800 + 7215937/42. Let z = -17/2 + c. Which is smaller: z or 0.1?
z
Let l be 1837/22 + 1/(-2). Suppose 0 = -13*w + l + 34. Is w < 18?
True
Let x = 1001 + -1006. Which is greater: x or -1.5?
-1.5
Let t(s) = -175*s - 507. Let n be t(8). Which is greater: n or -1906?
-1906
Suppose 4*t = -5*b + 51192, 4*t + 36215 = 5*b - 14953. Which is smaller: -1 or b?
-1
Suppose 3*r - w = 6, -18 = -5*r + 3*r - 4*w. Suppose p - i + 3*i = -43, p - 3*i + 48 = 0. Let 