0599860975. Let v = 5268/7 - p. Are 0 and v non-equal?
True
Let m be (-2 - (-2 + -2))*1. Let l be ((-3)/(-45))/(12/160). Is m != l?
True
Let u be ((-36)/(-288))/(21/168). Let q be (-2)/44*12/62. Which is smaller: u or q?
q
Suppose 12*b - 4*b = 8. Let f be (((-27)/(-12))/b)/((-559)/(-104)). Which is bigger: f or 1?
1
Suppose -2*d = -d - 3*p - 5, -6 = -2*d + 4*p. Which is smaller: d or -2/5097?
d
Suppose 2*z + 2*m = -18, 2*z - 2*m + 6 = -8. Let d be -2*2/(z/(-118)). Is d at least -56?
False
Suppose 0 = -7*q + 9*q + 8, 0 = 4*r + 2*q + 16. Let t be (-63)/(-42) + 187/r. Does -91 = t?
False
Let y = 52012 - 12638894/243. Which is smaller: y or 0?
0
Let v = 1/40596 - -6983/7347876. Which is smaller: v or -1?
-1
Suppose 23*p - 2*p - 210 = 0. Suppose a = d, -6 = 8*a - p*a + 4*d. Is 6 greater than a?
True
Let w = -16/565 + -2438/1695. Let o(q) = -q + 1. Let t be o(2). Which is greater: t or w?
t
Suppose 4*b - 2 = -4*i + 2, 2*i - b = 8. Let o = -80015/19 + 4215. Is i <= o?
True
Let b(w) be the third derivative of -w**6/120 - w**5/5 - w**4/2 - w**3 - 49*w**2 + 1. Let o be b(-11). Is -7 >= o?
False
Let x = -63803 - -63144. Let d be (-17787)/27 + 2/(-9). Is x bigger than d?
False
Let n = 11989890/263 - 45589. Is 1 > n?
True
Let d be -49 - -23 - (-4)/(-1). Which is smaller: d or -32?
-32
Suppose 47 - 87 = 5*p. Let m = 5.09 + -3.29. Which is greater: m or p?
m
Let u = -0.23 + -14.77. Let x(g) be the second derivative of g**5/20 - 5*g**4/12 + g**3/3 + 4*g**2 + 63*g. Let c be x(4). Which is greater: c or u?
c
Let w(h) = 48*h + 87. Let p be w(-2). Are p and 33.5 nonequal?
True
Let j = -1598 - -1904. Which is greater: 305 or j?
j
Let p = -281 + 386. Let v be ((-6)/(-10))/(p/(-60)). Is v at most as big as -1?
False
Let s be (-80)/(-44) + -1 + -2 + 224/1232. Which is greater: -1/196 or s?
-1/196
Suppose -5*b - 744 = -249. Suppose 0 = -3*c - 99 - 201. Is c not equal to b?
True
Suppose 0 = u - 4*p + 4, 9*u + 2*p - 2 = 4*u. Is -3/70 > u?
False
Let n = -2673152/5621 + 3329/7. Let q = -38579/5621 + n. Is q less than or equal to -8?
False
Let h = 29.06 - 10.06. Are -11/9 and h non-equal?
True
Let l(m) = m**3 - 24*m**2 - 197*m - 36. Let z be l(32). Which is smaller: 1851 or z?
1851
Suppose 13*h - 7 = -20. Which is smaller: 4/515 or h?
h
Let b be (-91)/(-286) - 3/(1 - -2). Is -1 less than or equal to b?
True
Suppose -4572 = 5*l - 12. Let m = l - -911. Let b = -0.15 + -0.13. Is m at most b?
True
Let f(m) = -4*m**3 - m**2 - 3*m + 5. Let g(o) = 5*o**3 + 2*o**2 + 3*o - 6. Let l(w) = -6*f(w) - 4*g(w). Let t be l(2). Let a be 7/140*4*t/(-92). Is 0 at most a?
False
Let p be (2/(-6))/(3 + -1). Let v(w) = -w**3 - 7*w**2 - 10*w - 14. Let j be v(-7). Let g be 8/7*(-196)/j. Which is greater: g or p?
p
Let k be (958/10)/(-21 - 1908/(-90)). Which is greater: k or 1435/3?
k
Let i(y) = y**2 - 15*y + 3. Let h be i(15). Let x(r) = r**3 + r**2 - 11*r + 30. Let z be x(h). Which is smaller: z or 34?
z
Let u = 12157/21 + -579. Suppose 6*t - 45 + 15 = 0. Suppose -t*z - 14 - 11 = 2*x, -15 = 3*x + 3*z. Are x and u equal?
False
Let o = 43 + -49.04. Let k = o + 0.04. Let d = -43904 - -43892. Are k and d non-equal?
True
Let k be (-3 - -4) + 0 - 4. Let b = -29 + 34. Suppose 7*g + 8 = b*g. Is k greater than g?
True
Let s be -14 - (-4 + -18 + 9). Are -20/961 and s non-equal?
True
Let a be ((-2)/(-23))/((-2)/8). Suppose 34 = -70*i + 66 + 38. Which is greater: i or a?
i
Suppose 0*h + 5*m = 3*h - 65, 27 = h + m. Suppose -5*l = 5 - h, -38 = -2*j - l. Are j and 16 nonequal?
True
Suppose 2*d + 416 = -2*d. Let s = 11081/13 + -9727/13. Let h = d + s. Which is bigger: h or 1?
1
Let y = 1638 - 14773/9. Let k = 281343 + -281346. Is y greater than k?
False
Suppose 5*y + 2*i + 144 = 0, -13*y + 5*i = -12*y + 45. Is -38 >= y?
False
Let h be (-513)/(-4275)*(2/16)/(3/(-42)). Which is bigger: 0 or h?
0
Let l be 31020/(-3663) + (-1 + 8)/(37 + -36). Which is bigger: l or 0?
0
Let x be 0 + (-66)/(-12)*(3 + -1). Suppose 3*b = b + 4*s + 2, 3*s = -b + x. Which is smaller: b or -0.05?
-0.05
Let y = -1785 + 1786. Are y and 1/1323 non-equal?
True
Suppose 38*g = 7*g + 93. Let p be 247/83 - (0/11 + g). Which is greater: p or 0?
0
Suppose 9*p - 2*p + 8 = -p. Which is bigger: p or 642?
642
Let h = -1.1 + 0.1. Let l = h - -1. Let r be -16 - (190190/(-132))/91. Are r and l nonequal?
True
Suppose -2*s = -16*s + 28. Let l be 49/(-70)*(s - 7)*-2. Which is bigger: l or 0?
0
Let h = -70/101 + 873/3737. Which is smaller: 0 or h?
h
Let c = 5 + -2. Suppose 2*s = c*v - 13, 5*s + 28 - 2 = v. Let d be (-88)/(-132) - (-1 - 122/(-66)). Is d bigger than s?
True
Suppose -3*j + 46*j = 21887. Does j = -1/2?
False
Let l = 85 + -109. Let f(v) = 6*v + 12. Let c be f(-6). Are c and l non-equal?
False
Let x be -3808 - (16 - 32) - (0 - 5). Which is greater: -3784 or x?
-3784
Let j = 697 - 697. Which is smaller: j or 33/47?
j
Let n = -743/268254 + -11/2129. Let t be (2/2)/(2/2). Is n >= t?
False
Let s = 0.108 - 2.108. Let f be 171/24 + (-2)/16. Let a = 27/4 - f. Which is greater: s or a?
a
Let h = 1510 - 1482. Is -37 at least h?
False
Let m = 75 - 80. Let c = -1147 - -1156. Is c at most m?
False
Let o be -2 + ((-15)/1 - -29). Which is bigger: o or 99?
99
Suppose 15*q - 3 = 121 + 86. Let h = 5 + -20. Let o be (h/2)/((-3)/6). Is o at most q?
False
Let t(n) = n**3 - 7*n**2 - 296*n + 4137. Let g be t(15). Which is smaller: 16482/11 or g?
g
Suppose -52*g + 270 = -43*g. Suppose -5*t + g = i, 16*i + 15 = -2*t + 21*i. Is t < 63/10?
True
Let q(k) = k**2 + 11*k + 28. Let t be q(-8). Suppose t = -9*o + 40. Suppose -6*c + 5*b - 20 = -c, o*b - 12 = 0. Which is smaller: 8/19 or c?
c
Let a be -1 - -2 - (2 + -2). Let c = 17681/3549 - 104/21. Let u = c + 1317/1183. Do u and a have different values?
True
Let i be ((-20)/(-3) - 0)*1614/(-25). Which is greater: -429 or i?
-429
Let g be 0/(-12 - (19 - 34)). Which is smaller: g or 9/1328?
g
Let c be ((-1265)/506)/((30/(-8))/3). Suppose -c*m - 10 = -0*m, -2*y + 4*m = -440. Is y smaller than 210?
False
Suppose -4*d = -3*i - 27, 0*d = -3*d - 4*i - 11. Suppose -4*c - d = -7. Let q be 2*c - (-6 - -3). Are q and 5 equal?
True
Let x = -163 + 277. Suppose -21*v + 159 = -x. Suppose 0 = 4*u + 8, 9*p - 53 = 4*p - u. Does v = p?
False
Let g = -1.19 + -5.81. Suppose m - 6 = -q, -2 = 3*q - 4*q. Suppose 4*y = 2*t + t + 2, 10 = -3*t - m*y. Is g >= t?
False
Let r = 244/53 - -9253/212. Which is smaller: r or -0.08?
-0.08
Let f = -14705 + 14611. Which is greater: -102 or f?
f
Let t(r) = -2*r**2 - 57*r + 58. Let n be t(1). Does 8/251 = n?
False
Let t = -79.5 + 403.5. Let h = -224 + t. Which is smaller: h or 1?
1
Let t = -4.2631 - 4.2369. Let r be (2/25)/(2/10). Which is smaller: t or r?
t
Let r(m) = -m**2. Let i be r(1). Let z be (2/(-1) + 1)/i. Let k = 59662/209 - 5410/19. Is k at most z?
True
Let q = -11236/2635 + 130/31. Suppose 0 = -64*z + 20 + 44. Is z < q?
False
Suppose -4*i - 340 = 5*c, 10*i = 5*i + 5*c - 380. Let j be (-35)/10*i/28. Suppose 11*v = j*v + 7. Is 7 greater than v?
False
Let l be 4/682134*(-6)/70*-5. Let k = l - 6762108103/28649628. Let y = k - -236. Is y at most as big as 1?
True
Let m be (2/(-4))/(1/(-2)). Let j(s) = -s**3 - 7*s**2 - 29. Let x be j(-7). Let d(k) = -k**2 - 32*k - 89. Let c be d(x). Which is smaller: c or m?
c
Let p = 0.0843 + 971.9157. Let h = 1037.3 - p. Let q = h + -67. Which is smaller: q or 1?
q
Let t be 2/4*2/(-5). Let x be (-31 - -25)*(-31)/3*2. Are x and t equal?
False
Let o = -4423/4 - -1106. Is o greater than 0.909?
False
Let w be ((-56)/24 - -2)*-15. Let j = -9 + 13. Suppose -i + 5*p = 4*p + 2, i = j*p - w. Which is bigger: i or -1/65?
-1/65
Let x = -6.366 - -0.166. Let l = -6.2 + 12.3. Let g = l + x. Is g at most 51?
True
Let a be (3/42)/(5 + 3476/(-28)). Which is smaller: a or 0?
a
Let m be ((-16 - -1) + 231)/62. Which is smaller: 4 or m?
m
Let l = 57.61 - 95.61. Which is bigger: l or 0.2?
0.2
Let j(h) = -77*h**2 + 59*h + 565. Let f be j(-8). Does -4836 = f?
False
Let c = -3490 - -48921/14. Which is bigger: 3 or c?
c
Let v be ((-1)/(-5))/(4/40). Let p = -3002054069/1991238 + 41/104802. Let u = -1507 - p. Which is smaller: v or u?
u
Let n = -1336 - -793. Let s = 533 + n. Which is bigger: 9 or s?
9
Suppose -22*w + 23*w - 3*u = 55, 5*u = -4*w + 288. Let s(v) = -7*v - 32. Let p be s(-13). Suppose q + 