2)/4*-1)/(20/(-8920)). Let j = k + 897/4. Let n = -1 + 1.2. Does n = j?
False
Let n be -146 + 0 + (1 - 2). Let t = 75 + -183. Let j = t - n. Is j bigger than 40?
False
Let b(y) = -17*y - 61. Let v(i) = -2*i**3 + 6*i**2 - 2*i + 1. Let o be v(3). Let s be b(o). Which is greater: s or 26?
26
Let p be (25/(-55))/(0 - 1). Let m be 6*(1 - (-30)/9). Let f = m - 27. Is p != f?
True
Let a(k) = -k**3 + 5*k**2 + 7*k + 5. Let d be a(6). Let m be 436/(-110) - (7 - d). Let b(t) = -t**3 - 20*t**2 - 19*t. Let j be b(-19). Is m less than j?
False
Suppose 46*z = -47*z + 89 + 4. Which is bigger: 2/14433 or z?
z
Let l = -15604 + 15829. Are 219 and l equal?
False
Let g(w) = 49*w - 1. Let u be g(-2). Let y be ((-56)/30 + 2)/(u/55). Let a = -21 + 22. Is y at most a?
True
Let t be (377/(-14) - -3)*(5 - 348/60). Are t and 19 non-equal?
True
Suppose 0 = f - 5*c - 14, 5*c + 43 = 5*f + 7*c. Let t be ((-48)/(-60))/(f/(30105/(-6))). Which is bigger: -445 or t?
-445
Suppose f - 10 = -8. Suppose -f*m + 15 = 5*s - 3, 0 = 3*m - 2*s + 11. Is m less than -2/995?
True
Let z be (-2 - -2) + (2 - 398). Suppose 151*d = 2*d - 59004. Is d less than z?
False
Let z(b) = b**3 - 5*b**2 - 7*b + 5. Let d be z(6). Let h(m) = -7*m - 1. Let f be h(-5). Let i be f/(-36) + 3/6. Which is smaller: i or d?
d
Suppose 211*b + 3488 = 716*b - 4087. Suppose 11 - 5 = 3*h. Which is bigger: h or b?
b
Suppose 91*r - 30*r + 104*r = -4*r. Does r = 3/797?
False
Suppose 78*m - 1988 = 16*m + 244. Are 450/13 and m nonequal?
True
Let f(s) = -s**2 - 19*s - 79. Let z be f(-18). Let g(y) = -8*y**2 - 36*y + 11. Let p be g(-6). Are z and p nonequal?
False
Suppose -247*g + 245*g + 2*u + 9106 = 0, 0 = -4*g + u + 18218. Is g at most as big as 4555?
True
Let j = -35/108 - -2/27. Let m = 28.2 + -28.154. Which is greater: m or j?
m
Let w(n) = 161*n**2 - 1529*n + 22. Let b be w(9). Is b less than or equal to -696?
True
Let y = 830.3949 - 1.3949. Are y and -3/11 nonequal?
True
Let z be (-16)/8*-4 - 6. Suppose -2*u + 3*x + z = -17, 4*x + 7 = -u. Is -9 greater than u?
False
Let w = -69 + 75. Let p be 75/9*w/64*2. Let g = -113/16 + p. Is g bigger than -7?
True
Let v = 84 + 12. Let q = v + -213. Let z(t) = -t**3 - 20*t**2 + 6*t + 2. Let n be z(-20). Do n and q have different values?
True
Suppose -1528*u = -1518*u + 87090. Is u less than or equal to -8708?
True
Let l = 31 - 26. Let s be (14/l)/((-14)/(-35)). Are 18 and s equal?
False
Let l be 1233/(-19) + (-1 - 51/(-57)). Let b = -21 - l. Is b greater than or equal to 45?
False
Let o = -25 + 24.91. Let i = -0.1 - o. Let j = 197/120 + -49/24. Which is greater: j or i?
i
Let k = -2151451/56370 - 2/28185. Let h = -2515/66 - k. Is h bigger than -1?
True
Let d be (616/36)/2 - (-26 - -33). Which is smaller: -70 or d?
-70
Let d = -33940 - -33919. Which is smaller: d or -291/13?
-291/13
Let h be 9 - (10 + 96144/60). Is h < -1604?
False
Suppose -22961 - 20959 = -4*s + 16*s. Are s and -3659 equal?
False
Suppose -39*k = f + 182, 3*k + 899 = -4*f + 936. Let x(l) be the second derivative of l**3/3 + 5*l**2/2 + l. Let y be x(4). Do y and f have the same value?
True
Suppose 5*k - 2 = 7*k. Suppose 0 = 4*s + 2*v + 556, -4*s + 108 = -2*v + 688. Which is greater: k or s?
k
Let h be 1*2*3/2. Suppose h*a + 2*a = 0. Let q be -4 + (-198)/45 + 9. Which is smaller: a or q?
a
Let m(z) = 17*z**2 + 114*z - 12. Let u be m(-7). Suppose -5*w + 36 = -89. Which is smaller: w or u?
u
Let u be 35035/(-132) - (-6)/9. Let t = u - -183215/692. Is 0 greater than or equal to t?
False
Suppose 34*h = 4*n + 37*h - 178, 3*h - 132 = -3*n. Which is bigger: n or 657/14?
657/14
Let k be 4 - 15*(-18)/(-525)*7. Is 193.5 >= k?
True
Let y(m) = m**3 + 2*m**2 + 9*m - 24. Let g be y(2). Suppose -86 = -4*f - 38. Is g bigger than f?
False
Let w be 58*(-50)/80*4*-1. Suppose 5*r - 738 = 3*m - 15, 4*r - 2*m = 580. Which is greater: r or w?
r
Let l = 183/95 + -29/19. Which is smaller: l or 0.0402?
0.0402
Suppose -1665 = -4*z + 3*a, 2*a + 12 = -2*a. Let g be 9/(-2)*(-36)/z. Is 0 greater than g?
False
Let d = -1013 + 1010.842. Let a = 108.942 - d. Let g = 111 - a. Which is smaller: g or 11?
g
Let k(i) = i**3 - 42*i**2 - 3*i + 404. Let y be k(42). Is y equal to 214?
False
Let v = 16501.95 - 161.95. Is v < 0?
False
Let n = -0.26 - 7.74. Let b = 24 - n. Let z = b - 78. Are 0.1 and z equal?
False
Let w = 0.53 - 0.03. Let b = 3.5 + w. Let y = -4.17 - -4.67. Which is smaller: b or y?
y
Suppose -2*r - 5 - 5 = 0. Suppose -156*p + 7 + 500 = -117. Let j = r + p. Which is smaller: j or -5/4?
-5/4
Suppose -q + 3*v - 4 = 4*q, -5*q + 5*v - 10 = 0. Let j = -13341 - -386949/29. Does j = q?
False
Let c = -175 - -563. Let q = -390 + c. Which is smaller: q or 1.2?
q
Let g(b) = -b - 66. Let i be g(-10). Let t be (i - -6) + -6*8/(-12). Is -181/4 < t?
False
Suppose -4*z = 2*m - 3302, 5532 = 5*z + 3*m + 1403. Suppose -670 - z = -9*q. Which is smaller: 165 or q?
165
Suppose -7*q + 15*q = 40. Suppose 0 = -q*x - 3*x + 1856. Suppose -5*l + x - 7 = 0. Is l greater than 44?
True
Let v(i) = 2*i + 16. Let y be v(7). Let s be -6 - y/(-5) - (1 - -36). Which is greater: s or -36?
-36
Let t = 2999 + -2997. Which is bigger: t or 16/27?
t
Suppose -1989 = 90*f - 41*f - 32*f. Which is smaller: -112 or f?
f
Suppose -5*n = -2*k + 11, -2*n = k + 10 + 7. Let d = 949 - 881. Let j be (d/(-10))/((-45)/400*-8). Which is smaller: j or k?
j
Let d = -1.1956 - -0.1468. Let c = d + 0.0528. Let v = -0.004 + c. Are v and 57 equal?
False
Let d = -100 - 8. Let g = -110 - d. Which is smaller: -19/5 or g?
-19/5
Let a be -12*5/((-5)/(-2)). Let h(n) = -15*n - 40. Let l be h(-4). Suppose -5 = d + l. Which is greater: a or d?
a
Let l = 31/69 - 224/345. Is l at least 343?
False
Suppose 2*y = -3*t - 3, t + 2*t = 5*y + 18. Suppose 0 = 19*p - 545 - 557. Let b be p/(-12) - (-7)/(-28)*-12. Which is smaller: b or y?
y
Let w = -2510 - -2457. Which is bigger: -0.02 or w?
-0.02
Suppose -2 = 5*k - 12. Suppose -k*p + 396 = 16*p. Suppose 3*q + 1 = 4*s, 3*s + 5*q = 2*s - 17. Is s at least p?
False
Suppose 0 = -0*s - s - 115. Let m be ((-388)/(-132) - 3) + 2789154/(-24057). Which is greater: m or s?
s
Let h(v) = v**3 - 6*v**2 - 41*v - 29. Let m be h(13). Let z = m + -583. Which is smaller: 0.3 or z?
0.3
Suppose 0 = -46*q + 40*q + 3120. Is 520 bigger than q?
False
Let a be 2/(-8)*(-13 + 9). Is 8/1063 bigger than a?
False
Let i = 4147 - 3801. Which is smaller: i or 1034/3?
1034/3
Let t be (-12)/(-7) + 4/14. Let m be (-4)/46*((-4 - -1) + t). Which is smaller: m or 2/25?
2/25
Let j(a) = a**3 - 4*a**2 + a - 2. Let c be j(4). Suppose -v + 0*v - c*q = 0, 3*q = -4*v + 10. Let i(f) = 15*f - 23. Let o be i(v). Is 37 at least as big as o?
True
Let q be (-5)/(140/18)*2. Let t(b) = -b**3 - 12*b**2 - 10*b + 14. Let n be t(-11). Suppose -s = -n*y + 3*s - 20, 3*y - 10 = -2*s. Which is smaller: q or y?
q
Suppose s - 73*y = -76*y + 8, -5*s + 108 = -2*y. Which is greater: s or -6/43?
s
Let o = -18880 - -18879. Which is smaller: o or 8/49?
o
Suppose 2*a - 221 = -3*w, 2*a - 13*w + 10*w = 227. Which is smaller: a or 120?
a
Let o = 2.52 + -2.4. Let h = 53/253 + -9/23. Which is greater: o or h?
o
Let b(p) = -2*p**2 + 23*p - 61. Let o be b(7). Suppose 4*t = -5*i + 386, i = -7*t + o*t + 94. Suppose 5*u = 4*u. Which is bigger: u or i?
i
Let k = -10040 + 5357. Which is smaller: k or -4682?
k
Let o = -94 + 93.7. Let a = 4.16 - 4.02. Which is smaller: o or a?
o
Let v be ((-48)/(-18))/(1/3). Let o be 1/(-4 + (-34)/(-8)). Suppose -2*h = 2*w + o, -2*h + w + w = -v. Are h and -4/19 equal?
False
Let q = -319 + 732. Let z = -416 + q. Are z and -18 nonequal?
True
Suppose -y - 2*j - 19 = -3*j, 0 = y + 4*j - 6. Let r(p) = -p**3 - 14*p**2 - 3*p - 18. Let w be r(y). Let z = 24 - w. Is z at most as big as 5/6?
True
Let c(b) be the first derivative of b**3/3 + 3*b**2/2 - 54*b + 236. Let u be c(-9). Which is smaller: u or -35.6?
-35.6
Let y = -1601 - -1141. Let q = 528 + y. Is 69 >= q?
True
Let k = -3 - -2. Suppose -46*j - 360 = 18408. Let u be 2 + -1 + -201*(-2)/j. Is k >= u?
False
Let y = -2 - -7. Let t(m) = -5*m + 3. Let i(f) = -6*f + 7. Let a(w) = -3*i(w) + 4*t(w). Let j be a(-6). Which is smaller: y or j?
j
Let c be (-3)/((-45)/6) - (-18)/5. Let b be 6*(2/(-6))/(2/c). Let u = 116 + -116. Is b bigger than u?
False
Suppose -6860 - 5291 = -84*f + 8597. Is 