(0). Suppose -8*p + v = -45. Which is smaller: 4 or p?
4
Let y be ((-288)/1245)/(342/30 + -11). Which is bigger: -1 or y?
y
Let f = -4846 + 4848. Are -0.1867 and f equal?
False
Let u be 88573/(-3) - 12/36. Let g = u + 29177. Let h = g + 356. Which is bigger: h or 9?
9
Let k = 2354 + 1018. Let l be k/(-33) + 0 + (-2)/(-11). Is -100 smaller than l?
False
Let o = -205 - -220. Suppose -154 + 2989 = o*w. Which is smaller: 188 or w?
188
Let n = -0.03369 + -0.00131. Is n at most as big as 209?
True
Let m be 2/(-15)*(-188 + 193). Let k = 1.8 + -2. Let t = 0.2 + k. Which is smaller: t or m?
m
Let o(l) = -l**2 - 19*l - 4. Let t be o(-16). Let h be (15/(-25)*-5)/(6/t). Let u = 26 - h. Is 1/14 at least u?
False
Suppose 56700 = -86987*o + 87005*o. Which is smaller: o or 4?
4
Suppose 10*o - 2736 = o. Suppose -106 = -2*j + 15*d - 11*d, 0 = 5*j + 3*d - o. Is 58 less than j?
True
Suppose -6 + 15 = f. Suppose -2*r + 0 - f = -3*z, 3*z - 9 = 5*r. Which is smaller: -32/23 or r?
-32/23
Let i = 385.8 + -378.8. Which is smaller: i or -265/6?
-265/6
Let d(l) = -3*l + 77. Suppose -17*y + 59 = 4*q - 22*y, 2*y - 115 = -5*q. Let h be d(q). Which is bigger: h or 17?
17
Suppose 24 = -4*a + a - 5*k, 3*k = 2*a + 16. Let p = -1871 - -1866. Is a > p?
False
Let m be ((-8)/10)/(3/(-105)). Suppose j + m = a, -a + 4*j = -6*a + 131. Let b be (-20)/15*a/(-24). Is b equal to -0.8?
False
Let r be 1 - (-1 + 3/(-18)*-14). Let m be (-3 - (-183)/63) + 290/2604. Is m greater than or equal to r?
True
Let k be (1 - 32/20)/(102/(-4)). Let h(s) = s**2 + 32*s - 69. Let f be h(-34). Is f greater than or equal to k?
False
Let k = 80.3895 - -0.0105. Let h = -80.534 + k. Is 2 greater than h?
True
Let v(y) = 13 - 27*y + 53*y - 22*y. Let r be v(-4). Let t(z) = -z**2 + 16. Let a be t(r). Is 7 <= a?
True
Let t be (-3)/(2/((-120)/342)). Let l = t + -21/76. Is l greater than -54?
True
Let b = -12549 + 10996. Is -1550 > b?
True
Let v be 3393/(-9) - (-12)/2. Let q = 234 + v. Do q and -138 have different values?
True
Let q be (7 - 5303/759)*(8 + (-159)/21). Is q bigger than -1?
True
Let n(h) = -215*h**3 + 5*h**2 + 9*h + 6. Let d be n(-2). Is d less than 1725?
False
Suppose 7*b - 112 = 3*b. Let z(q) = 2*q - 10. Let a be z(-17). Let r = a + b. Which is smaller: -17 or r?
-17
Let u = -7308.2 - -7308. Is u bigger than -2562?
True
Suppose -5*k + 4*u = -16, -4*u - 2 = 3*k - 18. Let s be (3 + -2)*k/8. Suppose 7*h - 2*h - 10 = 0. Which is greater: s or h?
h
Suppose -l + 5*l + 67 = 5*z, 4 = -4*z. Let j(h) = 3*h**2 + 36*h - 21. Let a be j(l). Is 302 > a?
False
Suppose 2 = 2*l - 50. Suppose -l = -5*s - 6, -5*s + 33 = -h. Which is greater: h or -16?
h
Let t = -59432 + 59443. Let x(k) = -k**3 - k**2 + 3*k - 2. Let f be x(-4). Suppose 0 = -3*z + 3*w + w + 14, f = 5*z - 4*w. Which is smaller: z or t?
z
Let q = 183 - 181. Let x be 5 + -2 + -4 - -2 - -1. Let d be x/(-8) - 83/(-44). Is d at most as big as q?
True
Let i = -359/50 + 36/5. Let w = -16511.04 + 16511. Is w >= i?
False
Let u = -46.4 + 46.96. Is -14 greater than or equal to u?
False
Let z(u) = -2*u + 19. Let c be z(8). Let b be (14/(-49))/((-4)/14). Let p be ((-10)/20)/(b/(-8)). Is p < c?
False
Let q = 2891313011/1653880 - -1/330776. Which is smaller: 1748 or q?
1748
Let l = 1367 - 1570. Which is bigger: l or -187?
-187
Let a = -3039/16775 + -1/1525. Which is smaller: a or 400?
a
Let a = -125 - -199. Suppose 10 - a = -16*o. Let k be 2/4 - o/(-3 + -5). Is 21 < k?
False
Suppose -4*s = 2*w + s + 22, -3*w = -5*s - 17. Which is greater: -1/2705 or w?
-1/2705
Suppose c + 5*x - 3 = 0, -2*c + 0*x = -3*x + 20. Let s = c - -9. Suppose -2*w = s*w + 60. Is w not equal to -14?
True
Let s = -1 + 69. Suppose s = -z - 169. Let k be ((-3)/(-12))/(z/12). Which is bigger: k or -1?
k
Let k be 1/(1*((-590)/(-9360) - (-4)/(-52))). Is -35 equal to k?
False
Let q = 1340 - 1300. Which is smaller: q or 39?
39
Let s = 1.735 + -1.535. Suppose 3*y - 200 = b, 10*b - 15*b + 156 = 2*y. Is y != s?
True
Let x be (19 + -4)/3 + 916669/(-183339). Which is smaller: x or -1?
-1
Let q = 18.2361 + -1.2361. Which is greater: -542 or q?
q
Let b be 9/5*(-952)/(-255)*25. Are b and 162 nonequal?
True
Let b(w) = w**2 - 4*w + 5. Let p(l) = -l**2 + 4*l - 5. Let x(i) = 3*b(i) + 2*p(i). Let d = 7 - 5. Let m be x(d). Is m > 1/28?
True
Suppose 5*b + 2*x = 3528, 3*b - 629 = -x + 1487. Are b and 696 nonequal?
True
Suppose 1215*g - 21315 = 1244*g. Are -735 and g nonequal?
False
Suppose 4*r - 2*l = 80, 3*l = r + 4*r - 102. Which is smaller: r or 19?
r
Let q = -0.92 + 185.92. Let j = q - 186. Which is bigger: -77 or j?
j
Let a = -1.552 + 1.6. Let g = 2902.9 + -2903. Which is smaller: g or a?
g
Suppose -p + 4*p = -2*h + 25, -5*p = -5*h. Let n be 5 - 44/10 - 8/h. Let z be (-371)/70 - (-3 + n). Which is smaller: z or 0?
z
Suppose -5*v + 202*o = 203*o + 8434, 2*v + o + 3376 = 0. Is -1687 at most v?
True
Let s = -625/12 - -35203/660. Which is smaller: 0 or s?
0
Let h = -0.033 - 0.567. Is -1.9 < h?
True
Suppose -j + 27 - 17 = 0. Let p be 5/j*(-55038)/39. Let i = 706 + p. Which is smaller: i or -2/7?
-2/7
Let r = 29421/11 + -2671. Let g = r + -233/55. Suppose -30 - 8 = 4*y + j, 4*y + 5*j + 46 = 0. Which is bigger: y or g?
g
Let s = 89676.047 + -89624. Let v = s - 0.047. Let u = v + -52. Which is bigger: -0.07 or u?
u
Let j be (-39)/13*(-355)/(-45). Is -24 less than j?
True
Let w(y) = -247*y - 247*y + 499*y - 142. Let r be w(10). Which is smaller: -94 or r?
-94
Suppose -4*m + c = -19, 9*m + 5*c - 5 = 4*m. Suppose 9 = -m*n + 25. Suppose 0 = -4*t + f - n, 3*f = -6*t + t - 5. Is 2/9 less than or equal to t?
False
Let g(w) = 3*w**3 - 3*w**2 - 3*w - 3. Let u be g(5). Suppose 4*b - 210 = -5*q + 96, -5*q + 2*b = -u. Which is bigger: q or 233/4?
233/4
Let m = -0.613 + -0.037. Let w = 10.7 + -10.07. Let k = w + m. Which is greater: k or 0.1?
0.1
Let u(q) = 4*q**3 - 41*q**2 - 384*q + 255. Let n be u(16). Let o = 5355 - 423051/79. Is o at most as big as n?
False
Let q = 5034 + -13664. Is 0.1 at most as big as q?
False
Let p(k) = -5282*k + 110952. Let g be p(21). Let h(d) = -3*d**3 + 3*d**2 + 3*d. Let v be h(-2). Suppose v = 2*b - b. Does b = g?
True
Suppose -p + 7 = 1, -18 = 2*c - 3*p. Which is smaller: 2/18133 or c?
c
Suppose -4*u - 5*i + 29 = 0, u + 4 = 39*i - 38*i. Which is smaller: -1/26950 or u?
-1/26950
Let u be 32/(-280)*(-24585)/6. Let t = -468 + u. Which is smaller: t or 2.2?
t
Let o = 47 + 37. Let h = o - 80. Suppose -h*f + 5*g = 1, -5 = f + g - 7. Which is greater: f or 16?
16
Let v = -8964 + 8963. Is v smaller than 503?
True
Suppose f = -5*a - 6, -2*f + 5*a - 45 - 12 = 0. Suppose 0 = 145*p - 117*p + 2240. Let c be ((-18)/8)/((-10)/p). Is c less than or equal to f?
False
Let l(p) = 13*p + 73 + 7*p + 34 + 15. Let c be l(-6). Is 3 <= c?
False
Let a = -347 - -503. Suppose 168 = -12*f - a. Are f and -27 non-equal?
False
Let j be (-4)/(-12) + (-19637)/42. Let o(m) = 36*m + 71. Let n be o(11). Let z = n + j. Is -2/5 greater than z?
False
Let o be 5401036/102*(-3)/(-146). Let d = o + -1088. Is -1 greater than or equal to d?
False
Suppose -z + 72 = 3*a, 5*a + 3*z = 32 + 88. Suppose -c - 15 = -4*p, -4*c + 3*p = 7*p - 40. Suppose -3*l = 3*o + a, 5*l + c*o = l - 30. Is -10 < l?
False
Let m = 25 - 341. Let v = 315 + m. Which is greater: v or 2/85?
2/85
Let q(v) = 184*v - 3750. Let f be q(20). Is -0.57 not equal to f?
True
Let z(j) = 13*j**3 + 8*j**2 - 4*j - 1. Let d be z(-2). Let k be (-236)/(4/(-1))*-1. Which is bigger: k or d?
k
Let z = -2 + 2.2. Let b(u) = u**3 + 8*u**2 - 87*u - 14. Let l be b(8). Let v = -1562/5 + l. Which is greater: v or z?
v
Let p(v) = -5*v - 9. Let g be p(2). Let s be 56/(-30) + g/(-95). Which is greater: 81 or s?
81
Let u(y) = -11*y**2 - 10*y + 2. Let q be u(-17). Let w be (q/(-124))/(1/4). Is w at most 97?
True
Let j = 24 + -19. Let h be 5/j*-1 + 19. Suppose -5*v = 38 - 128. Is h at least v?
True
Suppose 168*u + 120*u - 158 - 130 = 0. Do -26/661 and u have the same value?
False
Suppose 2*m + 5*z = 30, -m = 5*z - 38 + 8. Is m at most 2/433?
True
Let t = 0.11 + 0.19. Let l = -0.23 + t. Let g = l + -7.07. Is -1/7 < g?
False
Suppose -r - 89 = 22. Let y = -175 - -64. Does r = y?
True
Let h be 18/(-48)*(26/6 - 0). Let c = 30 + -32. Let f = c + 0. Is f >= h?
False
Let r(z) = 671*z + 3167. Let y be r(5). Which is great