uppose 0 = -y - 3*k + 459, k - 2350 = -5*y - 3*k. Let t be v/(-3) - y/(-369). Is t less than 0?
True
Let w = -5823 + 5629. Is w greater than or equal to -194?
True
Let z = -429.89 - -464. Let r = z - 3.11. Is -3 bigger than r?
False
Let o = 95 + -95. Let g(d) = d**2 - d - 3. Let f be g(3). Let r be -2 - (f + -4 - o). Is -6 >= r?
False
Let z(a) = -a + 16 + 5*a - 6*a - 4*a. Let v be z(26). Is v at most -139?
True
Let c = -8914 - -285277/32. Which is smaller: c or 2?
c
Let m(d) = d**2 + 562*d - 6309. Let w be m(11). Let k = 259/6 + -43. Is k at most w?
False
Let t be 6/20 - 305109/(-870). Is 353 smaller than t?
False
Let t be 9/4 - (-6)/(-3). Let d = 4.192 + 0.938. Let x = d - 6.13. Is x greater than or equal to t?
False
Let p = 0.43 - 85.43. Let k = 84.92 + p. Which is smaller: -7/3 or k?
-7/3
Suppose 4*b = -24 - 12. Let y be (-27)/(-44) - b/(-12). Let z = -7/11 - y. Which is greater: z or 0.2?
0.2
Let i(l) = 3*l**3 - 15*l**2 + 34*l - 4. Let c = 75 - 72. Let z be i(c). Which is greater: 46 or z?
46
Let n be 0 + 4 + (-517)/1. Let y = 6662/13 + n. Suppose -2*a = 6*o - 3*o + 10, 3*a + 2*o + 10 = 0. Which is greater: y or a?
y
Suppose 2*r + 28 = 12. Let g(s) = s**3 + 6*s**2 - 4. Let n be g(-6). Let a = n - r. Which is smaller: a or 0?
0
Let b = -5.12 + 5.32. Is -2917 != b?
True
Suppose 0 = -10*b + 681 - 181. Suppose -10*x + 15*x = b. Suppose -17*g = -x*g + 63. Do -9 and g have different values?
False
Let y = 1/13346 + 26673/253574. Which is greater: 2203 or y?
2203
Let l be 76/57*3/(-4). Let t be 2*l - (-54 - (-120)/15). Are t and 44 equal?
True
Suppose 1483*f = 1440*f - 578522. Which is smaller: f or -13453?
f
Let k = 3190 - 3189. Is 84/95 greater than k?
False
Let q = -7775/7 - -1105. Which is smaller: q or 1?
q
Let w be (28/(-70))/(1 + (-11)/10). Suppose -13 + 33 = w*y. Let x(d) = d**2 - 1. Let p be x(-3). Is y at most p?
True
Let q be (-6)/(-9)*((-2159)/(-6) + (-96)/72). Which is bigger: q or -3?
q
Let c be ((-11)/2 - -6)*-12. Let w be ((-1888)/314 - c)/(0 - -1). Is w > 0?
False
Let l be 124 - (18/(-14) - (-6 + (-40)/(-7))). Suppose 521 = 3*i - 2*p, -4*p - 14 = 2. Let q = l - i. Which is smaller: -1 or q?
q
Let p be -29 + 32 - (-43)/(-13)*3. Suppose -3*t - z + 3 = 25, 0 = -4*t + 5*z - 4. Is t at most p?
False
Let o = 252945 - 252922. Let j = -11 + 42. Which is smaller: j or o?
o
Let c be ((-2)/(-4)*-2)/((42/(-14))/(-720)). Is c equal to -250?
False
Let x be -9 - (1040/(-4))/26. Let j be 8/9*(-21)/(-4228). Do x and j have the same value?
False
Suppose v + 37822 - 535768 = 0. Let p = 103573357/208 - v. Let q = p + -36/13. Do q and -1 have different values?
True
Let p = 304.879 - 304.2. Which is smaller: p or -3?
-3
Suppose -3 = -m, 0*r = -r - 3*m + 6. Let j(q) = q**3 - 7*q**2 - 4*q + 59. Let x be j(6). Which is smaller: r or x?
r
Let j = -0.375 - -0.456. Let h = -0.081 + j. Let q = 0.4 - 0.39. Which is bigger: h or q?
q
Let x = -6280 - 13682. Which is greater: -19961 or x?
-19961
Let t(b) = b**3 - 12*b**2 + 5*b + 74. Let m be t(11). Let j(o) = o**3 - 7*o**2 + 5*o - 13. Let v be j(m). Which is smaller: v or 92?
v
Let g = -5 + 7. Suppose 427 = 4*v - 27*f + 24*f, 2*f + 93 = v. Do v and g have different values?
True
Suppose -71 + 42 = -166*i - 527. Are 1 and i equal?
False
Let h = -57 + 59. Suppose -t + 3*q = 3*t - 143, -4*q - 74 = -h*t. Suppose -t*z = -36*z. Which is smaller: 4 or z?
z
Let u be 2/(-4)*16/(-199800)*-30. Is u < -1?
False
Suppose 17*o = -34*o - 5253. Are -109 and o equal?
False
Let z = 1 - 1. Suppose -17*m - 99 = -28*m. Suppose 5*v - m*v = -12. Which is smaller: z or v?
z
Let c be 9/(-7) + (-50)/(-175). Let j be 46/5 - 6/(-30)*c. Which is bigger: j or -2/5?
j
Suppose -6 - 5 = -4*h + f, 2*h - 3*f = 13. Suppose 2*k - h = -10. Let x be (-3)/72*k*(-3 + 0). Is 4/13 bigger than x?
True
Let p be 2457/546 - 551/(-2). Is p equal to 296?
False
Suppose 0 = 105*w + 1155 + 1260. Is w equal to 1?
False
Let i be ((-10)/3)/(18/(-81)). Let m(o) = -10*o + 239. Let z be m(i). Is z at most as big as -3?
False
Let t be (64/12)/(4/6). Let g be (t - 10) + (2 - -1). Suppose g + 0 = -f. Which is smaller: f or 3/13?
f
Suppose -3*l = 3*y - 151 - 5, 2*l - 5*y = 139. Let a be 12/(-16) - l/(-12). Which is bigger: a or 64?
64
Let l be (-4)/(-2)*(5 - 25/10). Suppose 0 = 5*o + 2*b - 18, -5*o - 3*b + l*b + 2 = 0. Suppose -13*h - o = -11*h. Do h and -1/9 have the same value?
False
Let h(m) = 840*m + 8435. Let k be h(-10). Are 1076/31 and k nonequal?
True
Let m(n) = n**2 + 43*n - 816. Let d be m(14). Suppose -w + 5*r = 0, 5*w + 3*r + 12 = -100. Which is smaller: w or d?
w
Let x(v) = v**3 + 95*v**2 - 1934*v - 153. Let r be x(-112). Is r at most 3207?
True
Let s(k) = k**3 - 97*k**2 + 1645*k + 134. Let l be s(75). Which is greater: -211 or l?
-211
Let w = 1442.95362 + 0.04638. Which is greater: w or -0.4?
w
Suppose 10*y - 84 = 31*y. Let s be (-1544)/(-590) + 8 + -10. Let o = s - 1/59. Is y bigger than o?
False
Let o = 11172 + -11160. Which is smaller: 188 or o?
o
Suppose 245*g = 222*g. Is 10/337 less than or equal to g?
False
Suppose -16*g - 37 = 27. Let u be (-20)/(-30)*66/g. Which is greater: -17 or u?
u
Let p = -218 - -220. Suppose 0 = -20*l + 22*l - 2. Which is greater: p or l?
p
Let h(k) = -2*k**2 - 5*k + 10. Let t be h(5). Let q be (-1)/((t/120)/13). Is q < -1?
False
Suppose 2*c - 2*h = 352, 5*h = 3*c - 155 - 377. Let s = -633 + 807. Is s greater than c?
False
Let b = -105 - -124. Suppose 2*h + 3*d = -2*h - b, 2*h - 18 = 4*d. Let z be (-9)/51*1/(-3). Is h >= z?
False
Let u(t) be the third derivative of -t**4/12 - 11*t**3/3 + 8*t**2. Let n be u(-16). Suppose 0 = -331*g + 324*g + 70. Is n at least as big as g?
True
Suppose 2*y = -3*j, 3*y + 3*j = 8*y. Suppose -4*s + 9*s - 15 = y. Suppose 4*d + s*m + 204 = 0, -d = -3*d - 5*m - 88. Which is bigger: -53 or d?
-53
Let a = -0.06 + 5.46. Let c = a - 5.15. Let f = c - 0.35. Which is greater: 5 or f?
5
Let c(b) = -7*b - 761. Let p be c(20). Are -903 and p nonequal?
True
Let n = 11469 + -10646. Which is bigger: 2 or n?
n
Let v be 745/(-5) + 0/3. Let w = 36 + v. Are -112 and w non-equal?
True
Suppose -5*o - g + 850 = 4*g, 5*g + 725 = 4*o. Are o and 173 unequal?
True
Let g be (3 - 4135)*(-60)/160. Is 1550 < g?
False
Let i be (1200/(-125))/(-12) + 2/(-5). Is -5854 > i?
False
Let x = 6 - 6. Let y = 84088 + -2438562/29. Are y and x unequal?
True
Let n = -44 - -48. Suppose -5*w - 15 = -n*w. Let l be (2 + (-2)/5)/(2/(-20)). Are l and w non-equal?
True
Let y = 362 - 370. Let n be 24/9*y/288. Is n not equal to 1?
True
Let l be 18/(-117) + (-159867)/975. Let r = l + 164. Is 1 not equal to r?
True
Suppose -12*i + 32887 - 2506 = 29*i. Which is greater: i or 738?
i
Suppose 0 = -0*r + 5*r. Let b = -0.522824 + -50.670876. Let v = 0.1937 + b. Are v and r unequal?
True
Let o(d) = d + 7. Let p be o(-7). Suppose -3*s + 245 = v, p*v - 3*s + 496 = 2*v. Let r = v + -173. Is 79 at most as big as r?
False
Let t(x) = -x + 0*x + 16 - x**2 + 5*x. Let v be (-21)/4*16/(-12). Let u be t(v). Is 2 at least u?
True
Suppose -18*r + 137 - 65 = 0. Which is greater: r or 8?
8
Let s = -586549/50 + 11731. Let t(u) = u**3 + 15*u**2 + u + 16. Let f be t(-15). Which is greater: f or s?
f
Let n be -5 + 2 + (20/5 - 5). Let g be (2 + (n - 140/(-75)))*5. Is 14/5 not equal to g?
True
Let p(j) = 2*j + 5. Let k be p(0). Suppose -5*l + k*r = 17 + 3, 4*l - 9 = -r. Which is smaller: -3/31 or l?
-3/31
Let s = 0.594 - -1.586. Let v = s + 3.82. Is -0.6 greater than or equal to v?
False
Let p = -432494/5 + 86799. Let n = 3537/10 - p. Does n = 55?
False
Suppose -2*y = 10, -10*d - 5*y = -8*d - 93. Is 67 != d?
True
Let g = 0.141 + 563.859. Let w = 373 - g. Which is smaller: 0 or w?
w
Let h = 1.95 - 0.25. Let j be 380/(-855)*3/4 + (-7)/15. Which is bigger: h or j?
h
Let y(c) = -2*c**2 + 41*c + 10. Let f be y(10). Let g be (-1)/(-2)*f/(-187). Is 0 >= g?
True
Let s = 6 + -21. Suppose -3*a + 3*w = 45, 5*w - 34889 = 4*a - 34828. Which is smaller: a or s?
s
Let c be (378/49)/(((-9)/3)/(-3)). Let d = -3435/448 + c. Is -1 less than or equal to d?
True
Let n(r) = -r - 3. Let h be n(-5). Let l = 201/17 + 2089/85. Let k = l - 179/5. Which is smaller: h or k?
k
Suppose 0 = -2*l + 4*l - 2. Let p = 108349/22 + -4924. Which is smaller: l or p?
p
Let z = 1943 + -3887/2. Suppose 17 = -4*q - r, 3*r -