9 + 175538864388. Let p = -2428798 + t. Let m = 474 + p. Which is greater: 0 or m?
0
Suppose -4*i - 1101 = -261. Which is bigger: i or -215?
i
Let v(x) be the second derivative of -x**3/6 - 11*x**2/2 + 27*x. Let c be v(-8). Suppose 0 = -4*m - 4*i - 6 - 2, 4*i - 4 = 0. Is c bigger than m?
False
Let u = -1194.4 + -127.6. Do -2/5 and u have the same value?
False
Suppose 28 = -9*u + 19. Let c = -105 - -107. Is u smaller than c?
True
Let o = 10 - -4. Suppose 52*s + 28 - 249 = 91. Suppose s*q + o = -112. Is -1 smaller than q?
False
Let n = -319.6 + 283. Let g = -34 - n. Let p = 2.7 - g. Which is bigger: p or -18?
p
Let q = -3320614/35 + 94854. Let l = 9721/455 + -33/65. Let g = q + l. Is -1 greater than g?
False
Suppose 0 = p + 2*f + 77, 3*p - p - 3*f = -175. Let n = -127648 + 127647. Which is bigger: n or p?
n
Let k be ((-169)/(-1521))/((-1)/747). Which is bigger: -88 or k?
k
Let p = -16 + 14.6. Let t = -193.84 + 190.44. Let c = p - t. Is c not equal to -7?
True
Suppose -4 = 2*p + 98*r - 100*r, 5*r = 2*p + 16. Which is greater: p or -1191?
p
Suppose 4*p + 6 = -36*p + 46. Is 1/1507 <= p?
True
Let d be (5/3)/((-5)/15) + -29. Suppose 0*y - 5*g = 3*y - 32, 2*g - 4 = y. Suppose -y*w = -2*w + 68. Is w less than d?
False
Let t be 33 - 30 - 37228/(-20). Is t != 1865?
True
Suppose -1349*v = -1352*v - 15, 2*v = 5*w - 710. Suppose 4*x - 569 = 5*d, -d + 562 = 4*x + d. Is x not equal to w?
True
Let v = -1.3022 + 7.3022. Is v greater than or equal to 536?
False
Suppose -5*o - 2*m + 1 = 0, -4*o + 8*m = 9*m - 2. Let h be o - 9 - (-21 + -12). Suppose -5*s + 110 = -0*s. Which is bigger: h or s?
h
Let d = -4093/3 - -52963/39. Are d and -7 equal?
False
Let a be (-25)/(-175) + (-99)/7. Let q be (-7)/a + 33/(-138). Suppose -3 = -3*x - 6. Which is greater: x or q?
q
Let d = 0.5039 - 0.1039. Is d smaller than 0.0812?
False
Let l = 61 + -89. Let f = l - -30.3. Let x = 2.6 - f. Is -5/3 less than x?
True
Let v = 1498953 - 14975231/10. Let o = -1428 + v. Which is bigger: 2 or o?
2
Let z be (-10)/25 - 56/10. Let i = -10932 + 10927. Which is bigger: z or i?
i
Suppose -55 = -5*i + 4*z, -3*z + z - 31 = -3*i. Let b be 168/i*(-24)/9. Let n be (-6)/39 + b/(-78). Which is smaller: 1 or n?
n
Let p = -151 - -139. Let x be (3*p)/4 - -8. Are x and -28/19 non-equal?
True
Suppose -10 = -86*a + 91*a. Let c be (-196)/(-56)*8*a/(-14). Does 5 = c?
False
Suppose 0 = -2*k - 55*p + 57*p - 1536, -2*k - 3*p = 1551. Let c = 699 + k. Which is bigger: -73 or c?
c
Let u(s) = -s**3 - 25*s**2 + 25*s - 27. Let q be u(-26). Let t be ((-5)/(-15)*-3)/q. Which is smaller: t or 3/179?
3/179
Suppose -11163 - 4882 = -21*d + 3023. Is d bigger than 6352/7?
True
Let s be (2 + 5)/(-4 + 0). Let w = -45880.7 + 45881. Is s less than w?
True
Let b = -10161047 - -294717758/29. Let q = 1634 - b. Which is greater: 1 or q?
1
Let s be 13 + -12 + 58566/102 + -2. Is s != 572?
True
Let n = -408 - -243. Let a = 164.7 + n. Is 7/4 less than or equal to a?
False
Let v = -170 - -176. Let m(w) = -3*w**2 + 16*w + 14. Let h be m(v). Is 3 at least h?
True
Let i = 0.1 + -0.1. Let o = 3070.2 - 3984. Let g = -915 - o. Which is smaller: g or i?
g
Let k = 48 - 65. Let p be -14 - k - (-1 + 0). Suppose 10 - 6 = p*o. Is 0 > o?
False
Let j = 0.1442 - 0.4742. Is j not equal to -1.02?
True
Let j = -0.571 - -0.771. Which is smaller: 299/5 or j?
j
Let t = -62 - -229. Let g = t - 78. Let x = g + -37. Which is smaller: x or -1?
-1
Let j = 11.1 + -2.1. Let n be (-18)/5 + 4/(-10). Let g be 2/4*(n + 4) - 0. Is j smaller than g?
False
Let y(g) = 215*g + 192. Let d be y(-1). Is d greater than or equal to 53?
False
Let m = -100 - -89. Let z be m + (-5 - -3) + 3. Let i(a) = -a**2 - a - 7. Let f be i(-3). Which is greater: f or z?
z
Suppose -9*g + 32 = -13*g. Let w be 1/(-4) + (-258)/g. Let z = 29 - w. Which is bigger: z or -0.1?
-0.1
Suppose -2514*f - 2290 - 2680 = -2504*f. Is f less than -15?
True
Let d be (-3)/(-9)*192/256. Let y = -152 - -235. Is y >= d?
True
Let z be (-4 + 1)/3*0. Suppose -o + 4 + z = 0. Suppose -o*y = y. Which is bigger: 1/51 or y?
1/51
Let d be 18/(-5) + 3 - 66/15. Let t(p) = 4*p + 26. Let r be t(d). Suppose -j - 2*n + 7 = -r*j, 3*j - 4*n = -7. Which is smaller: 1/41 or j?
j
Suppose -112*j = -261586 - 1597642 - 78484. Which is greater: 17302 or j?
17302
Let c(h) = -h**3 + 24*h**2 - 88*h - 359. Let f be c(18). Which is smaller: 69/50 or f?
f
Let k = -7 + -17. Suppose -3*h = -g - 2*h, g - h = -2*h. Is g > k?
True
Let k = -223 + 203. Let t be ((-24)/(-32))/(k/(-64)). Which is greater: t or 2?
t
Let v(w) = w**3 + 89*w**2 + 337*w - 86. Let o be v(-85). Is 174 at most as big as o?
False
Let t = 1413 - 1248. Which is smaller: t or -1?
-1
Let n = -4560 + 5541. Which is smaller: 985 or n?
n
Let x = 81 + -155. Let j = x + 126. Let a = j - 52. Which is smaller: a or 11?
a
Suppose -n + 0*d + 9 = -2*d, -4*n - 5*d + 10 = 0. Let z(x) = -x**2 + 5*x - 1. Let h be z(n). Let p be ((-8)/(-36))/(5 - 0). Is p less than or equal to h?
False
Suppose 24*i + 50 - 79 = 67. Are i and 80/19 unequal?
True
Let z(g) = g**2 + 14*g - 29. Let p be z(-16). Suppose 63 + 99 = -p*j. Is j >= -54?
True
Let b(o) = 14*o - 95. Let v be b(7). Let x be (-1)/v + (-59)/3. Let c be (-1)/(1/(-20)*-1). Do c and x have the same value?
True
Let y be 60/36*(-9480)/(-56) + (-2)/14. Is y at least 282?
True
Let a = -0.23 - -0.07. Let r = 0.04 - a. Let o be (-12)/7*(-1)/((-156)/(-26)). Which is smaller: o or r?
r
Let d = -37959.8 + 37959. Do -2/435 and d have the same value?
False
Let d be (5/(-3))/(602/(-462)). Is 0 bigger than d?
False
Let r = 19829 + -19829. Is 922/5 < r?
False
Suppose 0 = 21*r - 733 - 527. Suppose 179*m - 169*m = r. Let k = 2 + -1.9. Which is greater: m or k?
m
Let i(d) be the first derivative of d**4/2 + 2*d**3 - 4*d**2 - 5*d + 5. Let v = -51 - -46. Let a be i(v). Is a less than -65?
False
Let x = 22 + -17. Suppose 0 = -0*r + 4*r - 44. Suppose 210 = -x*y + r*y. Is 35 <= y?
True
Let v = 171 - 192. Let x be 12/(-15) + 6/((-270)/v). Which is bigger: -10 or x?
x
Let z = 7529/26 + -553/2. Which is smaller: 13 or z?
13
Let a be 171*(-4)/(-6) - (-1 + 6). Let i be 327/(-1)*(-1)/9*3. Is a != i?
False
Let h = -46131 - -46130. Suppose -5*i = -i - 320. Which is smaller: h or i?
h
Let p = 949/3 + -6646/21. Which is greater: -366 or p?
p
Suppose -75*a = 14*a - 356. Is a <= 159?
True
Let t = 2088 - 2089. Which is greater: -334 or t?
t
Suppose -4*q = -0*b - b - 1, 3 = 4*q - 3*b. Suppose -7*v + 3*v + 24 = q. Let u be (3 - 5 - v/(-2))/15. Is 1 at most u?
False
Let y = 875 + -920.9. Let q = 46 + y. Which is bigger: q or -0.127?
q
Suppose 0 = -10*k - 82*k - 552. Suppose 0*v - 5*v + 15 = 0. Do v and k have different values?
True
Let t be (-512)/(-3072)*1*2. Are t and 12174 unequal?
True
Suppose 264 + 51 = -5*r. Let y be (3/2)/(r + 66). Suppose 445 = -7*c + 2*c. Is y smaller than c?
False
Let o = 13330 - 13339. Which is bigger: o or 26?
26
Let c(k) = k**3 + 2*k**2 - 36*k - 105. Let u be c(-5). Are 1/7042 and u equal?
False
Let b = -4097 + 241722/59. Which is greater: b or -0.1?
b
Let n = 237 + -417. Let h be (-11412)/40089 + -4 + n/(-42). Which is bigger: h or 0?
h
Let i(w) = -w**3 + 2*w**2 + 3*w - 3. Let b be i(2). Let r be ((-1)/(-6)*-2)/((-1)/b). Let t be -2 + (r + 4/(-1) - 19). Is t less than -25?
False
Let y = -5 + -13. Let m = -13.8 - y. Let k = -4.18 + m. Which is smaller: k or -1?
-1
Suppose -9*u = 563 - 545. Is u > -49/75?
False
Let f be ((-16)/28)/(6/(-672)). Let t be 8/(f/(-24)) + 1. Is 20/7 greater than or equal to t?
True
Let m(y) = -84*y + 756. Let i be m(9). Let s = -1109 + 23293/21. Let a = 1/7 + s. Is i less than or equal to a?
True
Let h be (312 - 3)*((-81)/(-9))/(-27). Which is bigger: h or -102?
-102
Let k = 39824/12155 + -4/1105. Let p = -52 + 40. Let h = -10 - p. Which is bigger: k or h?
k
Suppose 5*l - 3 = -8, -5*o + 25 = 5*l. Suppose -15*y + o*y = 0. Which is greater: -5/36 or y?
y
Let t = -4 + 16. Let u be (-1)/(t/(-14) + 1). Which is smaller: u or 20?
u
Let w(b) be the first derivative of 5*b**4/4 - 2*b**3/3 + b**2 - b - 11. Let k be w(1). Suppose 2*f = -4*z - 1 - 7, 0 = k*f + 3*z - 4. Is 16/3 at most f?
False
Let o = -22108/5 - -4422. Which is bigger: o or -0.2675?
o
Suppose 13*p = 16*p. Let h be p/(1*-2) - (4 + 29). Does h = -4?
False
Let z be 1 + 25/10 + (-1)