 25 = -39*d + 44*d. Let n be (-2)/d - (-54)/165. Is i greater than n?
False
Let p be (-7)/(7/9) + (-259511)/(-28833). Is -1 < p?
True
Let z = -16973.14 + 16973. Is -7.43 > z?
False
Let a be ((-25)/40)/(-5) - (-177)/(-8). Let m be 9933/a + 7/2 + -2. Let x be 1/2 - (-265)/m. Are 0 and x equal?
False
Let s = 2700/11 - 334767/1364. Suppose -3*o + 4*v + v = 7, v = -3*o + 5. Are o and s equal?
False
Let r = 583/37 - 395783/25123. Let c = -1 - 0. Which is greater: c or r?
r
Suppose -4*d + 10 = 2*f, 3*f = 3*d + 7*f - 20. Let m be (-9 - -14) + d + -4. Let q be -5*(6 - (-548)/(-92)). Is m >= q?
True
Let x = 286 + -276. Let p(w) = -4*w + 40. Let o be p(x). Is o <= -2/7?
False
Let s = -42 + 123. Suppose 0*j = -3*j + s. Suppose h + j = -2*t, 0*t - 2*h = 5*t + 70. Are -16 and t unequal?
False
Let n(r) = r**3 + 12*r**2 + 6*r - 40. Let d be n(-11). Suppose -l + 5*l - 8 = 0. Suppose l*x = 4*x - 32. Which is greater: x or d?
x
Let g = -17055 - -16628. Which is greater: g or -420?
-420
Let b be (267/(-54))/(21/63) - (-7)/(-1). Let q(k) = -10*k - 1. Let n be q(2). Is b equal to n?
False
Suppose -396*i = -103*i + 748029. Does -2553 = i?
True
Let b be (29/5 - 4)/((-12)/(-520)). Is b greater than or equal to 79?
False
Let r(d) = -46*d - 413. Let z be r(-9). Let t be 2 + (-64)/(-4)*-74. Let q = t - -124112/105. Which is greater: z or q?
z
Let a be (-1417)/5 - 343/(-245). Is a at most -271?
True
Suppose 7*j = 4*j - 5*a - 29, 4*a - 4 = j. Let u be j/12 - 3/(-6). Let f = 23/66 + u. Is f greater than -0.1?
True
Let r = 126 + -109. Let m = 222 - 205. Is r at most as big as m?
True
Let q be (-712)/5340*30/(-4). Is q equal to 2/13583?
False
Let g = -660 - -661. Let v be (3 + -3 + 1)*-18. Let s be (-58)/v + -17 + 16. Is s <= g?
False
Suppose 176*v - 148*v + 8 = -48. Which is bigger: v or 900?
900
Let l(r) = -r**3 - 6*r**2 - 5*r + 2. Let y be l(-5). Suppose -48 = -y*a - 2*a. Let q be (-130)/(-400) + (-4)/20 + 190/16. Do a and q have different values?
False
Let y be (-81)/2*(-8)/(-6). Let w be (63/14 + -2 + -11)/(1/6). Is w greater than or equal to y?
True
Suppose 10*f = v + 5*f - 20, 0 = v + 2*f - 6. Suppose -4*k + 22 = v. Which is smaller: k or 5?
k
Let a(y) = -3*y**2 - 15*y + 5. Let p be a(-5). Suppose 0 = -p*w + 61 + 34. Suppose -5*o - 2*b = -b - w, -3*b + 17 = 5*o. Which is greater: -3 or o?
o
Suppose -5*r + 38 = 5*x - 202, 5*r - 240 = -2*x. Let f(t) = t + 86. Let k be f(-38). Is k > r?
False
Let v(p) = -p**3 + 12*p**2 + 13*p + 5. Let q be v(13). Let o be q/(-4)*(-68)/17. Which is bigger: o or 23?
23
Let i = -16.0991 + 15.94. Is 1 > i?
True
Let u(d) = -21*d - 88. Let k be u(14). Let s = -1303/3 - k. Is -52 less than s?
False
Let v = -20 + 21.33. Let q = v + -2.33. Which is bigger: q or -5?
q
Let d(v) = v**2 - 15*v + 19. Let g be d(14). Let s(b) = 3*b - 8. Let n(y) = -7*y + 15. Let q(x) = g*s(x) + 2*n(x). Let j be q(5). Is j less than -5?
False
Let a(o) = -636*o + 1978. Let p be a(-16). Is 12154 smaller than p?
False
Let m(r) = 8*r - 21. Let y be m(5). Suppose -23 = 2*s - y. Which is greater: -4 or s?
s
Let o = 102.7 - 163.4. Is 2/5 at most o?
False
Let f(i) = 99*i + 909. Let l be f(-31). Are -2160 and l equal?
True
Let q be 2/9 - (6 + (-2904)/54). Let v = 48 - q. Let r be 6/(-8) - (-37)/92. Is r bigger than v?
False
Let a(s) = -s**3 - 7*s**2 - 5*s + 4. Let c be a(-6). Let f be ((-12)/(-5))/c*(-10)/4. Suppose -f*y + 16 = 19. Which is smaller: -1/27 or y?
y
Let p(t) = 2*t + 294. Let m be p(0). Suppose -m = -2*w + 9*w. Let b be (1 + 2 + -4)*(20 + -19). Which is smaller: w or b?
w
Let m be (-4179733)/2466 - (-6)/(-27). Which is bigger: m or -1694?
-1694
Let r(o) = -o**2 + 4. Let t be r(2). Is 4/63 >= t?
True
Suppose -9*i - 1376 = -i. Let b = -186 - i. Is b > -1/9?
False
Let x = -2987/720 - -123/80. Is -3 smaller than x?
True
Let v be (-1268)/23458 - (-14)/1628. Is -53 greater than or equal to v?
False
Let l = -6689 - -26759/4. Which is greater: 23 or l?
23
Let h = 18400.0074 - 18406. Let t = h + -0.0074. Are -5/2 and t equal?
False
Let b = -127 + 131. Let n(v) be the second derivative of v**5/20 - v**4/4 - v**3/6 + 5*v**2/2 - 12*v. Let y be n(3). Does b = y?
False
Let n = 8345 + -6451. Which is bigger: 1897 or n?
1897
Let w be 9*(90/81)/(2/(-3)). Suppose -2*g + 20 = -7*g. Let x = g + -11. Is w at least as big as x?
True
Let k be 40/(-188)*(4 + 0 + -9). Let u = -305/376 - k. Which is smaller: u or -2?
-2
Let c(r) = r**2 + 9*r + 2. Let f(d) = d**3 - 6*d**2 - 7*d - 2. Let i be f(7). Let o be i + -1 + (0 - 3). Let y be c(o). Which is smaller: y or 0?
y
Let c = -30 + 11. Let q(v) = -v**3 + 15*v**2 + 16*v - 16. Let t be q(16). Let o(g) = -3*g - 68. Let r be o(t). Is c < r?
False
Suppose 4*j - 2*j + w + 188 = 0, -j - 3*w - 99 = 0. Let c be (7566/104)/(-8 - 116/(-16)). Which is smaller: j or c?
c
Let l(k) = k**2 - 2*k - 17. Let w be l(-3). Which is smaller: -90/53 or w?
w
Let a = 1315.9 - 1316. Let h = -3.213 - 0.497. Let r = h - -0.01. Which is smaller: r or a?
r
Let y = -124 + 116. Let u be y - (-4 + (-2 - -2)). Let j = 0.17 + -0.11. Is j at most u?
False
Suppose q + 5*a + 7 = 0, -7*a + 15 = -q - 4*a. Let k be (-3)/(-3)*-1 + (-24)/q. Is 18/29 smaller than k?
True
Suppose 0*b = -6*b + 258. Let h = -47 + b. Is -2 greater than h?
True
Let z = -4517566/35 - -129084. Is 11 > z?
True
Let t be ((-321)/8 + (-57 - -53))*4. Which is smaller: t or -176?
t
Let n = 7256491/409 + -17742. Is n greater than -1?
True
Suppose 301*o + 2355 = 306*o. Let d = o - 470. Is 1/68 at most d?
True
Let f = -136031/81290 - -92/55. Which is greater: 0 or f?
0
Let z = -234 - -536. Let a = -302.115 + z. Which is bigger: a or 1?
1
Let p = -239 + 240. Let n = -4.747 - -0.617. Let w = 4 + n. Is w less than or equal to p?
True
Let t = -1382/55 - -127/5. Let r be ((-15)/(-18) + -1)*4. Which is smaller: r or t?
r
Let v = 565 + -52. Let j = 512.9 - v. Which is smaller: 302 or j?
j
Suppose 5*p + 3 + 1 = 3*u, -9 = 3*p - 4*u. Let l be -1*(7 - p)*(-7)/(-21). Which is smaller: l or -11?
-11
Suppose 753*u - 1972 = 770*u. Which is bigger: u or -1385/12?
-1385/12
Let o = 482 + -481. Let w be -2*o*2979/(-18). Which is bigger: 332 or w?
332
Let m = -123 - -363. Let l = m + -251. Which is bigger: l or 4?
4
Let r be 1096/(-1644) + 38/132*122. Which is smaller: r or 33?
33
Let l be (-11298)/(-3770) + 3 + 170 + -176. Are -1 and l non-equal?
True
Let o(c) = -c**2 - 2*c + 1. Let k be o(2). Suppose -9*t - 35 = -8. Let i be 4 - t*(68/(-12) - -2). Is k not equal to i?
False
Let j = -550 - -518. Suppose -42*m - 3 = -41*m. Which is bigger: j or m?
m
Suppose 0 = 2342*v - 2441*v. Let b = 8 + -98. Let j be ((-3)/5)/(b/(-4)). Which is smaller: v or j?
j
Suppose 0 = 8*b - 335 + 799. Let n be (-177)/3*1 - -2. Which is smaller: b or n?
b
Let k = -11.16 - -10.16. Which is smaller: k or 1/430?
k
Let j be (85*28/350)/((-264)/(-10) - 1). Which is greater: 0 or j?
j
Let i be (2385/(-4))/((-5)/20) + 11. Is -6 smaller than i?
True
Let s be ((-2)/(-12))/((56/14)/8). Let h = -0.98 - 0.02. Do h and s have the same value?
False
Suppose 4*j + 1 = -3. Let p be 5386/2864 - (-915)/(-488). Is j bigger than p?
False
Let v = -5731 - -5732. Is v at most -44/15?
False
Suppose -22865 + 3537 = 643*s + 84838. Let h(i) = -21*i + 6. Let z be h(8). Are s and z nonequal?
False
Suppose -32*g - 9 = -23*g. Suppose -2*n + 6 = -2. Let r be 0 - n - (-273)/65. Which is bigger: g or r?
r
Let u(r) = 3*r - 6. Let c be u(4). Suppose -3 + 45 = 6*s. Let m = s + -5. Are m and c equal?
False
Let a = 940871859659/17376 - 54147782. Let z = a - -2/181. Which is smaller: z or 0?
z
Let d be (-14)/15*(-2 - 188/(-98)). Which is greater: 0 or d?
d
Let t = 11579657663/29496 - 392584. Which is smaller: 0 or t?
t
Let g = -11256 + 11253. Does -5.23 = g?
False
Let n = -39541497437/142 - -16494084637147/58504. Let r = n + -3469637. Let i = r + 2/103. Do i and 2 have different values?
True
Suppose -437*x + n + 93 = -442*x, -n + 87 = -4*x. Let w be (-540)/28 - 6/(-21). Which is greater: x or w?
w
Let g = -49 + 51.15. Let l = -37.766 + 37.866. Are l and g unequal?
True
Suppose -3738 = -30*t + 8*t + 15*t. Which is smaller: t or 3209/6?
t
Suppose 107 - 3 = l + 2*v, 5*v - 401 = -4*l. Suppose z + 2*j - 41 = 0, -36*z + 2*j = -34*z - l. Which is greater: 46 or z?
46
Let x = -25307 - -43771/2. Which is small