et n be 22/49544*(2 + (-64)/20 + 0). Which is smaller: n or -1?
-1
Let q = 5313 - 8282. Let j = -132296120 - -17066582483/129. Let h = j + q. Are -1 and h nonequal?
True
Let y be ((-39)/4)/((-105)/12012) - 14/35. Which is smaller: 1116 or y?
y
Suppose m + 9 = q, m - 3 = -3*q + 4. Suppose -2*p - 98 = -q*p. Suppose 19 + p = 2*w. Do 34 and w have different values?
False
Let a(h) = -249*h**2 - 3*h + 4. Let s be a(1). Let i = -252 - s. Which is smaller: -6 or i?
-6
Let v(l) = -5*l**2 + 6*l - 2. Let n(r) = 1. Let q(k) = 3*n(k) - v(k). Let f be q(1). Is 44 at least as big as f?
True
Suppose 110*w - 2544 = 104*w. Let c = 398 - w. Is -123/5 greater than c?
True
Suppose -4*l - 515 = -475. Let s(q) = -q**2 - 5*q + 4. Let j be s(-7). Does l = j?
True
Let l = -1 + 0. Let f be (1 + -2 - -3) + l. Let d be (-444)/64 + (-11 - (-2800)/256) + -1 + -11. Is d <= f?
True
Let m = -50.1 + 33. Let k = -17925 + 17908. Let t = m - k. Which is smaller: t or 1/35?
t
Let j = 6852 - 6817.21. Let v = j + -4.79. Is -0.6 > v?
False
Suppose -3666 = 58*w + 8804. Is -216 >= w?
False
Let g = 589 + -630.8. Let r = g - -41.9. Are 35/6 and r nonequal?
True
Let b be ((-7740)/(-49880))/(3/8). Let w be 1/(-4)*(-6 + 2). Is b not equal to w?
True
Let k(q) = 4*q**2 - 10*q - 7. Let d be k(4). Suppose 3 - 20 = d*u. Let s be 864/212 + -3 - 1. Which is smaller: s or u?
u
Suppose -7*j - 4843 + 20308 = 8*j. Is 1 less than or equal to j?
True
Let q be (0 + 3*-1)*((-322000)/(-42))/25. Which is smaller: -919 or q?
q
Let p = -359 + 363. Let s be (-112)/(-294)*p*1. Which is smaller: 2 or s?
s
Let o = 1741 - 3642. Is o at least as big as -1901?
True
Suppose 0 = 3*j + l + 4, 5*j + 2*l + 2*l = -9. Let b(h) = 0*h**3 + 270 - 5*h**2 - 268 + 4*h + h**3. Let v be b(2). Which is greater: v or j?
j
Let i = -2316 - -2315.9. Is 1273 > i?
True
Let x be (-9 + -9)*(-9525)/45. Which is bigger: 3806 or x?
x
Suppose 216*r = 219*r + y - 99, 0 = -5*r + y + 157. Is -1/2 not equal to r?
True
Let t be 2 - (3 - (70/(-62) + 2)). Suppose -7*v + 5*v = -4. Suppose -v*a = -4*a. Which is smaller: a or t?
t
Let o(p) = -247*p - 132 + 123*p + 102*p. Let d be o(-6). Which is bigger: 3 or d?
3
Let i be 20/(-18) + (-4)/(-2). Let y = 25/18 - i. Let t = 289.3 - 289. Is y not equal to t?
True
Let p(a) = -a**2 + 9*a - 16. Let c be p(8). Let t = -105/13 - c. Which is bigger: t or 0?
0
Let f(n) = 2*n**3 - 2*n. Let i be f(2). Suppose 0 = -8*b + 3*b - j + 30, 0 = -4*b - 4*j + 24. Let p be (13 - -1) + 4/((-8)/b). Which is bigger: i or p?
i
Suppose 101 = 3*j + 2. Let h = 13 - j. Let c(n) = 2*n**3 - 4*n**2 - 35*n + 6. Let q be c(5). Is q < h?
False
Suppose 0 = 2*z - 4*m + 202, 2*m = -49*z + 46*z - 295. Let g = -170 - z. Which is greater: -3/5 or g?
-3/5
Let p = -629 + 609.82. Let u = 19 + p. Let w = -7070 - -7070. Is w < u?
False
Let v = 235 + -234. Suppose 5 = -5*g - l, -2*g - 17*l + v = -16*l. Is -31/14 greater than g?
False
Let q(d) be the third derivative of d**6/120 + 11*d**5/15 + 31*d**4/6 - 61*d**3/6 + 126*d**2. Let p be q(-41). Which is smaller: p or -103?
-103
Let u(k) = -k**2 - k + 12. Let a be u(5). Let g be ((-2)/4)/(2619/a). Which is smaller: g or 1?
g
Let r = 31895.49 + -31895. Let d = -0.64 + -0.06. Which is greater: r or d?
r
Let r = 1326 + -1870. Let j = r + 544.1. Do -130 and j have the same value?
False
Suppose -20 = -4*p, -n - 36 = -5*n - 4*p. Let t be 0*2/n*1. Let j be 2/(-11) - 1224/(-1287). Which is greater: t or j?
j
Let b = -54589/808 - -365/606. Let n = -67 - b. Let j = 7/24 - n. Which is bigger: j or 0.6?
0.6
Let b be ((-324)/30)/(-9) + (-3588)/15. Is -233 equal to b?
False
Let s(k) = 16*k. Let i be s(-2). Let t = -37745 + 37742. Is t less than i?
False
Suppose 5*w - 1 = 4*w, 0 = 2*o + 3*w - 1455. Let r = o + -1314. Is r > -588?
False
Let c be (-40)/70 - ((-8)/7 - -1). Is c at most as big as -200?
False
Let f = -4712 - -2508. Which is greater: -2201 or f?
-2201
Let v(g) = 6*g**2 - 16*g - 6. Let z(w) = -w**3 - 22*w**2 + 66*w + 25. Let t(b) = 9*v(b) + 2*z(b). Let r be t(3). Which is smaller: r or -15?
-15
Let v = 3317499/364 + -9114. Which is smaller: v or 0?
0
Suppose 0 = -2*g + 2*v + 10, -9*g = -5*g - 3*v - 21. Suppose -g*h = -5*h - 28. Suppose -5*c - h = 2*t + 16, -4*t = -4*c + 60. Is -13 > t?
True
Let r be (-4)/(-16)*12 + 1 + 0. Let a be 2375/(-418) + (r - -1). Is a at least -2?
True
Suppose -1 - 3 = 4*k. Let f(v) = 28*v**2 - 7*v - 3. Let q(j) = -19*j**2 + 5*j + 2. Let d(w) = -5*f(w) - 7*q(w). Let r be d(-1). Is k less than or equal to r?
False
Suppose -4*d + 5696 = 4*f, -4152 - 124 = -3*f - 2*d. Suppose 0 = -17*i - 0*i - f. Is i != -84?
False
Let h(a) = -a**2 - 28*a + 42. Let p be h(-24). Let g = 42364/307 - p. Is g > 0?
False
Suppose -7 = 4*v - 15. Let r be -3 + -1 + v - 34. Let m = -38 - r. Is m <= -2?
True
Let b(r) = -r**3 + 2*r**2 - 3*r + 2. Let c be b(2). Let o be 7 + -7 + 41 - -6. Suppose -15*j - 28 = o. Which is bigger: j or c?
c
Let c(w) = -w - 170. Let j be c(-10). Is j not equal to 10/9?
True
Let j be (50/5)/(1/(-4)). Let c = 0.38267 - -0.01733. Which is bigger: c or j?
c
Let r = -1786.49 + 1787. Which is bigger: -27 or r?
r
Suppose 0*f = -6*f - 2*f. Let d be 12/(262/6 - -5). Which is greater: d or f?
d
Let y be 12/88*(-2316)/99 - 3/(-1). Which is greater: 1 or y?
1
Let j = -14913 - -14912. Is 51/304 less than j?
False
Suppose -z = -4*q + 7*z, -4*q = z - 9. Suppose 2*v - 2*k = -354, 27*k + q = 25*k. Is v at least as big as -177?
False
Let w = -43.61 + 44.61. Is w > 186.9?
False
Let l(i) = -2*i + 15. Let j be l(13). Let c(q) = -q**3 - 11*q**2 - 3*q + 10. Let r be c(j). Which is smaller: 42 or r?
42
Let n = 4469/15 + -287. Let w = n - 12718/1155. Let f = w - -4/11. Does 46 = f?
False
Let u = 57/337 - 276185/1640853. Is 1 at least u?
True
Suppose -z + 10 = -5*q + 7, z = 2*q + 3. Is z >= 228/55?
False
Let q(j) = -151*j - 740. Let u be q(-7). Which is smaller: u or 2/9?
2/9
Let r be (-24 + 18)*2/(-4). Suppose -s = 2*s - r. Let v be (1 - -2)/(9/(-138)*2). Which is smaller: v or s?
v
Let j = -70.67 + 0.67. Let r = 86 + j. Let k be (8/30)/((-2)/5). Which is smaller: k or r?
k
Let i(y) = -2*y + 42. Let v be i(20). Let w be (4/6)/(v/93). Which is smaller: w or -0.3?
-0.3
Suppose -1099*w = -1059*w + 16600. Which is smaller: w or -416?
-416
Let s = -14 + 17. Let z be 2 + (s - 8)/5. Let t be z/(-3) - 295/(-840). Is -1 < t?
True
Let d = 90 - 131. Let c(v) = -4*v + 34. Let m be c(9). Let a be (-1 - 45) + (m/(-1) - -1). Which is bigger: a or d?
d
Let h be -2 + ((-176)/(-4) - -4). Suppose 0 = -h*x + 6387 - 1833. Is 99 less than or equal to x?
True
Let n be 1 - (-90)/(-12) - (-96)/16. Is n at least as big as -1295?
True
Let i(x) = -x**3 + 16*x**2 + 57*x - 56. Let q be i(19). Which is bigger: 6 or q?
6
Let u(m) = m**2 - 2*m. Let l be u(0). Let f be (-496 + l/1)*(-32)/96. Is f <= 164?
False
Let c be (-2445)/(-815) + 2/((-4)/7). Let t = 98.5 + -97. Which is bigger: c or t?
t
Suppose 0 = -18*a + 6*a - 3312. Let z = 272 + a. Which is bigger: -29/11 or z?
-29/11
Let p be -44 + 43 + 80/66. Which is bigger: p or 0?
p
Let z be ((-60)/64)/((-38)/8). Let v = -1/19 - z. Is 1/2 less than or equal to v?
False
Let c be -2 + 16/20 - (-3267)/3135. Which is bigger: 13/5 or c?
13/5
Let b be 1 + 2 + 3572/(-1155). Let d = 2/77 + b. Let c(r) = -r**2 - 4*r + 6. Let m be c(-5). Which is bigger: d or m?
m
Let v(j) = 10*j - 836. Let t be v(81). Let m be -1 - ((0 + -1)*-3 + -4). Is m at least as big as t?
True
Let y = -154 - -157.46. Let r = y + -1.16. Is -2/3 at least as big as r?
False
Let r = 118 - 120.41. Let q = 0.81 + r. Is 1 <= q?
False
Let v = 0.04 - 0.44. Let m = 43466 - 43462. Which is smaller: v or m?
v
Let i(l) = -l. Let w be i(-3). Suppose w*m - 17 = 13. Let y = m + -9. Is y at most as big as 2/99?
False
Suppose -11*w + 980 = -6*w. Let y = w - 72. Suppose -5*o = -9*o - y. Is o bigger than -30?
False
Let x(f) = 9*f - 22*f + 8*f - 15 + 10*f. Let d(g) = g + 2. Let h be d(4). Let i be x(h). Are i and 16 equal?
False
Let o = 121 - 113. Let q be (-2)/o*(-90)/72. Which is smaller: 0 or q?
0
Let y = 34.11 + -33.68. Which is smaller: y or 3/2?
y
Suppose y + 5*y - 876 = 0. Suppose y = -8*m + 3*m + g, m = g - 26. Let n = 34 + m. Is n < 34/9?
False
Let s = 84/13 + -381/65. Let q(o) = o**3 - 3*o**2 - o + 16. Let r be q(4). Let b be (r/7 + -6)/(-1