) = -m**2 - 17*m + 7. Let d be p(3). Which is greater: d or -362/7?
-362/7
Suppose -3741 = -z - 66. Suppose 71*o + z = 46*o. Which is bigger: -149 or o?
o
Let h be 1/1 + 2 + (-874690)/59180. Let r be (-63)/396*(1 - -73). Let o = r - h. Is 1 greater than o?
True
Let g be 430/18 + 1/9. Let c be (-4)/(-20)*5 + g/1. Which is smaller: 124/5 or c?
124/5
Let p be -6*(3 + (-6 - -2)). Let b be ((-14)/p + 2)*0. Suppose -3*d + j + 22 = 0, -2*j - 9 + 1 = b. Is 37/5 greater than d?
True
Let x(v) be the first derivative of -41*v**2/2 + 102*v - 14. Let f be x(6). Which is greater: f or -1?
-1
Let b = -34 - -11. Let k = 9 + b. Let u = 84045 + -588411/7. Which is greater: u or k?
u
Suppose -3*f = -0*j + 4*j - 28, 3*f - 24 = -3*j. Suppose 0 = j*m + 3*m + 28. Is -7 not equal to m?
True
Let w = 17 + -14. Let u = -4 + w. Let b = -254 + 264. Which is smaller: b or u?
u
Suppose -256 = -8*u + 24. Let t be u/(-3) + (-4)/12. Let r = -40 - -29. Which is smaller: t or r?
t
Let u be ((0/(-8))/11)/5. Does -5/856 = u?
False
Let d(s) = 19*s**2 + 41*s + 6. Let f(y) = -9*y**2 - 21*y - 3. Let n(j) = -2*d(j) - 5*f(j). Let w be n(-5). Which is greater: w or 61?
w
Let l = 12061 + -12061. Which is smaller: l or -32/213?
-32/213
Let m be (600/(-45))/(6/198). Is m > -440?
False
Suppose -3*u + 6*u = -3. Let b = 1.11 - 3.58. Let x = -0.07 - b. Which is greater: u or x?
x
Let s be (-8)/(-1145*3/(-3405) - 1). Which is greater: -907 or s?
-907
Let q(p) = -p**3 + 6*p**2 + 9*p - 58. Let j be q(6). Let x be (-44)/(-6)*2/j - -4. Is 8/3 greater than x?
True
Let r = 20.9 + -120.9. Let q = r - -99.86. Suppose 16 = 2*t - 2*d + 2, 5*t + 4*d = -10. Which is smaller: q or t?
q
Suppose -2*r = -4*c + 112, 4*c - 22 = 4*r + 86. Let s = c - 69. Let v be 5*(-1)/s*(-184 + 2). Which is smaller: -24 or v?
-24
Let g(s) = s**2 - 15*s - 17. Let a(w) = -w**3 + 7*w**2 - 6*w - 9. Let y be a(5). Let x be g(y). Is -62 bigger than x?
False
Let i be (-4 + 4)*(-8)/(-16). Let j be (i - -2) + -1 + 0/4. Is 3/29 at most as big as j?
True
Let x be (3/1 + 2/(-4))*26. Let b = x - 62. Let r be (-845)/(-312) + (-6)/16. Which is smaller: b or r?
r
Let w = -1902 - -77971/41. Which is smaller: w or 0?
w
Let q = -1/791 - -845/42714. Let b = -7 - -6. Which is greater: b or q?
q
Let f = 69 + -66. Suppose -z + 4*m = 13 + 11, 17 = -f*z + m. Is -2 equal to z?
False
Suppose g = -4*f + 7846, 2*g + 6570 = -3*f + 22277. Which is greater: g or 7859?
7859
Let h be (32252/10)/((-156)/(-130)). Let n = h - 2735. Is -46 bigger than n?
True
Let h = 111 - 235. Let i be 23*(7 + (-495)/40). Let o = i - h. Are -1/2 and o equal?
False
Let j be ((-3)/4)/(13/(1248/(-9))). Suppose -47*x = -43*x + j. Let r be -1 + ((-2)/20)/(-1). Which is bigger: r or x?
r
Suppose 3*o = -106969702 + 39312706. Let j = 1172667389/52 + o. Let q = 1036 + j. Is 1 at most q?
False
Let b be ((-45)/(-10))/((-3)/(-28)). Suppose 0 = -13*j - b - 36. Is -6 > j?
False
Let q = -184 + 184. Suppose -17*z + 12*z + 75 = q. Is 0 smaller than z?
True
Let a be 2/6*((-14705)/1632 + 9). Which is smaller: a or 1?
a
Let j = -6298 - -6249. Which is bigger: j or -0.5?
-0.5
Let l be (-6)/14 - 20/(-14). Suppose -4*t + 11*t = 0. Let o be (3 - 2)*(t - l). Is -9/13 not equal to o?
True
Let w be ((-186)/(-4))/(8 + 917/(-112)). Let m be (3/(-1042))/1*w/(-372). Is m >= 0?
False
Let v be (-3)/4*((-6504)/(-126))/(10/30). Which is smaller: -117 or v?
-117
Let d = 11.1 + -0.1. Let n = d + -13.7. Let o(c) = -c**3 - 14*c**2 + 273*c + 2569. Let s be o(-8). Which is smaller: s or n?
n
Let f be (10 - (-553)/(-49))*21. Is f smaller than -113/4?
False
Let y = 2326/39 - -12730/117. Is 167 less than y?
True
Suppose 31*d = 26*d + 675. Let j = 211 - d. Is j >= 76?
True
Suppose 0 = -8*r - 14*r - 14388. Let s be 2*(r/84 - 2/(-7)). Does -13 = s?
False
Let t(m) = -m**2 - 10*m - 8. Let f be (-1)/2*198/11. Let u be t(f). Suppose 5*q = 5*r + u + 19, 1 = 2*q + 5*r. Does q = -2/5?
False
Let d = 214660/7 - 3896143/126. Let o = 864 + -608. Let a = o + d. Is a less than or equal to 0?
True
Let r = -195 + 234. Suppose 8*u - 87 = -r. Which is greater: u or -1?
u
Let r = -0.0826 + -114.1174. Let n = 105 + r. Let d = n - -9. Is -9 less than or equal to d?
True
Let y = 4081479/188 + -21710. Which is smaller: y or -0.2?
-0.2
Let b(x) be the second derivative of -x**4/3 + 13*x**3/3 - 4*x**2 - 6*x + 3. Let q be b(7). Is -16 at least q?
True
Let w = -38.76 - -38. Let i = -0.56 - w. Let g(p) = 14*p**3 + p**2 - 2*p + 2. Let n be g(1). Is n at most as big as i?
False
Let l be (24/(-9) + 2)/(-4*(-556)/288). Which is smaller: l or 0?
l
Let n be ((-2)/(-4))/(2/4). Let p = -9735 + 9734. Which is smaller: p or n?
p
Let w(o) = -o**2 + 2*o. Let x = -332 + 334. Let n be w(x). Is n < 20?
True
Let z = -9515 + 9515.034. Which is bigger: z or -3/4?
z
Suppose -120*x + 11625 = -213*x. Do -126 and x have the same value?
False
Suppose 11*m + 261 = 6*m + 4*c, 208 = -4*m + 3*c. Suppose -l - 53 = -19*p + 16*p, -4*p = l + 39. Which is smaller: l or m?
m
Let d = 5079 - 5079.2. Which is smaller: d or -0.0519?
d
Let j be (453629/2486)/(-23) - -8. Is 0 equal to j?
False
Suppose -3*w - 6 = 3*b + 2*w, -3 = -2*b - w. Let u(t) = -3*t**2 - 2*t + 10 + t**3 - 6 - 1. Let k be u(b). Is k bigger than 1?
False
Suppose -12*y = 4*o + 64856, -254*o = -250*o - 4. Which is bigger: y or -5407?
y
Let f = 7861.4 + -7860. Let q = 1.91 - -0.09. Let k = q + -3. Is k greater than f?
False
Let l(q) = 2*q**3 + q. Let z be l(-1). Let h be 3 - (z/(-21)*-62)/(-2). Let b be (-1 + 0)/((-2)/(-4)). Which is smaller: h or b?
b
Let p = 1354 + -1336. Let n = 2.44 - 20.14. Let w = p + n. Do w and -2/9 have the same value?
False
Let d be (6/2)/((-3)/48) - 4. Does -49 = d?
False
Let p = -73 + 46. Let t be p/(-7) - 3/(-21). Let b be t/(84/(-90)*15/24). Which is greater: -8 or b?
b
Let f be 1/(-3) + (-1117100)/(-134100) - (4 + 4). Are f and 1 nonequal?
True
Suppose -4*b = -8*v - 584, -13 + 33 = -5*v. Suppose 8 = 4*u - 2*u, -5*s + 694 = u. Is b <= s?
True
Let l be ((-387)/(-36))/(-3 - (-111)/36). Suppose -16*y = 65 - l. Which is bigger: 2 or y?
y
Suppose 23*a - 1238 = 25*a + 4*s, -2*a - 1245 = 3*s. Which is bigger: a or -5695/9?
-5695/9
Let j = 68.8 + -67.4. Let w = 1.2 - 1.3. Is j >= w?
True
Let v be (15 + 0 - 12)/(-6 + 6 + -3). Which is bigger: 13/657 or v?
13/657
Let j be 55 + -1 + 2*1. Suppose 0 = o - 5*z + z + 57, -3*z - 141 = 3*o. Let w = o + j. Which is greater: 5 or w?
w
Suppose m = s - 2759, 2*s = m + 2*m + 5517. Let h be (-1 - -1)/(0 - -4 - 3). Let j be (h - 2/8) + 642/s. Which is bigger: j or -1?
j
Let i be (-3 - 84/(-9))*(65 + -5). Which is smaller: i or 379?
379
Let o = 80.17 + -80. Let l = 1.83 + o. Is -32 equal to l?
False
Let c = -432 + 410. Let p = -425/756 + -1/108. Is p at least c?
True
Suppose -5*r = 5*h + 16910, -17*h + 16870 = -5*r - 14*h. Which is smaller: -3376 or r?
r
Let i(q) = q**2 - q. Let r(s) = 4*s**2 - 17*s + 19. Let b(n) = 5*i(n) - r(n). Let c be b(-14). Suppose -11*o - 36 = -c*o. Is -19 bigger than o?
False
Let k = 0.0781 - 326.0781. Let b = -269777/4 + 67444. Is b < k?
False
Let u = -1.36 + 1.6. Let w = 2201/2 - 1101. Are w and u non-equal?
True
Let l = 0 + -16. Let x be ((-28)/21)/((-24)/342). Let a be -4 + 10 - 2 - x. Is l equal to a?
False
Let m(k) = 1. Let t(o) = o**3 + 18*o**2 + 24*o + 2. Let a(p) = 6*m(p) - t(p). Let s be a(-17). Let u = 5413/44 - s. Which is smaller: u or 0?
0
Suppose -60 = -4*l + 4*r, 4*l + l - 48 = -4*r. Suppose 8*s - 10*s + l = 0. Suppose s*t - 75 = 87. Is 28 at most as big as t?
False
Suppose -8*n + 146 = 154. Is n at most -14/131?
True
Let m be ((-2)/28)/(((-927)/(-19))/(-9) + 7). Is m at most as big as -1?
False
Suppose 11*a = 4 + 29. Let z(k) = 5*k + 4. Let t(d) = -11*d - 8. Let f(g) = 2*t(g) + 5*z(g). Let r be f(a). Do r and 13 have the same value?
True
Suppose 45*o - 3673 + 3673 = 0. Is -2/45837 at least as big as o?
False
Suppose -672 - 230 = 103*c + 334. Let g = -1 + 2. Is c <= g?
True
Let j be (-5)/((-25)/(-10)) - -1 - 22/(-44). Are 239 and j equal?
False
Let z = 10 + -2.8. Let c = 7.23 - z. Which is bigger: c or 2?
2
Let p = -108/23 + 1363/736. Let b = 2433697237/1504 + -1618147. Let j = b + p. Which is bigger: j or 1?
1
Suppose 0 = -24*o + 213*o - 103282 + 24469. Which is greater: 831/2 or o?
o
Let w = -31 + 52. Suppose -2*g + 12*p -