t) = t**2 + 14*t - 190. Let m be r(8). Let k be 3/m*18/(-54). Are 0 and k equal?
False
Suppose 1365 + 5317 - 1516 = -41*r. Which is smaller: -119 or r?
r
Let n = -4980 + 4980. Is n > -4/119?
True
Let w = -2643 - -2384.1. Let z = -259 - w. Which is smaller: 13 or z?
z
Let a = -79 - -78.7. Let y = 366 + -349. Is a < y?
True
Let h(p) = -55*p + 894. Let o be h(12). Let l = 22 + 213. Is l at least as big as o?
True
Suppose -2*u = 5*c + 530, -217*u = c - 222*u + 106. Which is smaller: c or -10?
c
Let a = -23228 - -25879. Which is smaller: a or 0?
0
Let f(g) = -21*g + 222. Let a be f(8). Suppose -245 = -a*y + 187. Let t be 0/(-1) - 0 - -5. Is y >= t?
True
Suppose -q = -2 - 0. Let h be ((-77)/1617)/(2/370). Let v = h - -64/7. Is q bigger than v?
True
Let r(j) = j**3 - 61*j**2 + 282*j - 9. Let p be r(5). Which is bigger: -1/10319 or p?
p
Let f = 1478 + -7214/5. Let v = 533/15 - f. Do v and 2/341 have the same value?
False
Let v = -0.77 - 415.23. Let k = v - -426. Are -1/4 and k nonequal?
True
Let d be 0 + 0 - (1 - -8). Let m(b) = 47*b + 386. Let c be m(-29). Let w = c - -969. Are d and w equal?
False
Let w = 8596509/139 + -61845. Which is smaller: -1 or w?
-1
Suppose 11*r - 7*r = 20, -3*j + 4*r = -5293. Is 1 >= j?
False
Let h = 0.845 + 1.155. Which is bigger: h or -119/3?
h
Suppose 167*d = 146*d - 630. Is -45 greater than d?
False
Suppose 29*a = 23*a - 36. Let r be ((-26)/(-6))/(a/(-90)). Which is smaller: 64 or r?
64
Let g = 320 + -9919/31. Suppose -21*c + 140 = 7*c. Suppose -j - c = -6*j. Is g equal to j?
False
Let n be (-113280)/715 - (-178)/(-979). Is n bigger than -160?
True
Let y be ((-62)/(-3))/((-2)/3). Let n = 21 + y. Let u = n - -3. Is -40/7 greater than u?
True
Suppose 2*o + 48 = 5*m, 6*m = 3*m - 3*o + 12. Suppose -b = -3*g - 6*b + 24, 2*b + 32 = 4*g. Suppose g*d = -0*d + m. Is -2/31 > d?
False
Let u(o) = -7*o**2 - 113*o - 62. Let b be u(-15). Is 59 at most b?
False
Suppose -6*u + 4 = -4*u, -3*u = w - 18. Suppose 3 = -15*q + w*q. Is q < 54?
True
Let r be 1*605*(-1 - 46/(-10)). Suppose 44*h + r = 35*h. Is h not equal to -241?
True
Suppose -532*u = -527*u + 5. Is u <= 0.007?
True
Let t be 20/(-40) + -5*14/(-20). Is t < 134/53?
False
Let c = 330.6 - 330.7. Is -12/43 less than c?
True
Let z = 68 - 54. Suppose 1 = -z*l + 1. Suppose -v - 9 + 3 = l. Is v less than -1?
True
Let h = 17342 - 17342.03. Is h smaller than 40/11?
True
Let s be 228*((-130)/312)/((-31)/4). Is s bigger than -1?
True
Let d = -801 - -812. Suppose 9*u - d*u + 4*v = 506, -5*u - 1313 = 2*v. Which is bigger: u or -262?
u
Let d = -0.0195 + 1.4195. Let w = d - 0.4. Is w at least 0.1?
True
Suppose 5*h + 0 = -3*z + 9, -4*h = -12. Suppose m - 6 = -2. Let t be 481/148 + 3/m. Which is bigger: z or t?
t
Let y = 7166510/29 - 247180. Let s = y + 59. Which is greater: s or 0?
s
Suppose -8*h + 840 = 1096. Let j be 2 - (-230 + h/(-8)). Is j less than 227?
False
Let l = -2929 + 2927. Is 56 less than or equal to l?
False
Suppose -2*t - 6*b = -5*b - 6, -33 = -5*t + 2*b. Suppose -8*p - 25 = -13*p, l - 5*p + 25 = 0. Suppose -35 = -t*g - l*g. Are g and 9 equal?
False
Suppose 6*z + 36 - 81 = -39. Is 66/145 <= z?
True
Let a be (-8023)/(-1469) + 6/(-13). Let p be 1 - (2 - 1*8). Let z = a - p. Which is bigger: 1/2 or z?
1/2
Let z(o) be the third derivative of -o**5/60 - o**4/6 + 2*o**3 + 5*o**2 + 3*o. Let g be z(-6). Are 4/3 and g equal?
False
Let v be (-50)/(-10) - (1 + -1). Suppose -v*i = -18 - 82. Is 10 less than or equal to i?
True
Let i be -9 - (-290)/35 - 5/(-7). Is -2/2627 at least as big as i?
False
Let y(n) = 2*n + 4. Let i be y(-4). Let q(l) = -l + 5*l + 14*l**2 - 25*l**2 + 12*l**2 - 7. Let j be q(-5). Is i at most as big as j?
True
Let l(v) = v**3 + 2*v**2 + 3. Let b(n) = 5*n**3 + 3*n**2 - n - 1. Let s be b(1). Suppose 4*a + s = 7*a. Let g be l(a). Is g > 20?
False
Let b be ((-42)/(-35))/((-9)/(-30)). Suppose 4*j - 2*n - 8 = 0, -b = -2*j + 7*j + n. Is -5/13 at least j?
False
Let f(w) = -w**2 + 3*w + 7. Let z be f(-6). Suppose 3*k = -5*v + 225, -k - 8 = v - 55. Let j = v + z. Which is smaller: j or -9?
-9
Let d be (-8)/((-80)/(-210))*205/(-15). Let y = 256 - -31. Is d equal to y?
True
Let l = 143.032 + -137. Let d = -0.572 + l. Let k = -5 + d. Is 1/3 not equal to k?
True
Let k(q) = -2*q**2 + 17*q + 13. Let l be k(9). Suppose 2*a - 4*m - 8 = 0, -a + 0*a + l = -m. Let w = a + -7. Which is bigger: w or -11?
w
Let h = -33 + 4. Let a(p) be the first derivative of p**4/2 - 5*p**3 + p**2 + 7*p + 180. Let y be a(7). Is y at least as big as h?
True
Let f(u) = 2*u**3 - 11*u**2 + 12*u - 65. Let a be f(6). Suppose -10 + 2 = 4*r. Let l be -110*(r - (-16)/10). Which is greater: a or l?
l
Let c = 7738 + -7716. Is c greater than 31?
False
Suppose -164 = 8*g + 28. Let p be (g/10)/(6*8/(-640)). Let c be 94/p - (-32 + 35). Which is bigger: c or 0.2?
0.2
Let n be (1 + (-2)/6)/(13150/(-525) + 25). Let i be ((-89)/(-8))/(39/(-52)). Is n smaller than i?
False
Let w(d) = d**2 + d - 37. Let x be (16/4 + -2)*-3. Let k be w(x). Is k greater than or equal to -5?
False
Let n be 6 - 4 - (2/8 + (-7227)/(-4)). Is n > -1805?
False
Suppose 0 = r + 3*h + 11, 3*h = -h - 8. Let j be 6*((-1336)/(-267) + r). Which is bigger: 1 or j?
1
Suppose 169*u - 62*u - 86*u - 21 = 0. Let d be ((4 - 6)*2)/437. Which is smaller: d or u?
d
Let j be 4 + 0 - (4 - (-8)/(-2)). Suppose -j*q = -2*a + 278, -8*a - 4*q + 580 = -4*a. Is a less than or equal to 144?
True
Let r = -15 + 7. Let d be 2 + ((-15)/(-8) - 1/r). Let l = -298 + 905/3. Which is smaller: l or d?
l
Let a = -836 - -835.25. Let g = -0.41 - 1.24. Let u = a - g. Which is smaller: 1 or u?
u
Let c = 154 + -163. Let y = c + 9.4. Is 1 bigger than y?
True
Let f = -5250 - -5287.89. Let q = f - -0.11. Is 1/10 less than q?
True
Let r = -25948 + 18207. Is -7739 at least as big as r?
True
Let g = 29470/3 - 9857. Suppose 4*h - 4*f + 121 = h, -5*h = -f + 179. Is h at least as big as g?
False
Let v = 0.029 + -0.629. Let s = -32.4 + v. Let r = -33.05 - s. Is r > 1/4?
False
Let t = 0.05 - -39.95. Let i = -34 + t. Let d = 1 - 0. Is d at most i?
True
Suppose -10332 = 10*f + 468. Let x = 7548/7 + f. Which is smaller: 5 or x?
x
Let i = -0.3 + 1.3. Let r = 43.22 + -40.22. Let b = r + i. Do -7 and b have the same value?
False
Suppose -4*g + 2*l - 178 = 0, 0*g + 3*l = 5*g + 222. Let q(x) = 2*x**2 + 10*x + 22. Let j be q(-8). Let o be g/j + (-1)/(-6)*3. Is o smaller than 2?
True
Suppose -4*m = 3*t - 636, -m + 39*t + 136 = 34*t. Is m > 156?
False
Let i = -5924 - -645710/109. Let y(t) = t**3 + 7*t**2 + 1. Let z be y(-7). Which is smaller: z or i?
i
Let t be (9/(-24))/(6/28). Suppose 18*j - 62 = -692. Is j at least t?
False
Let q = 2 + 0. Which is smaller: q or 155/63?
q
Suppose 5*l + u - 2*u - 19 = 0, -4*l = 3*u. Let f(g) = 2*g**3 - 7*g**2 + 7*g. Let y be f(l). Does y = 16?
False
Suppose 4412 = 3*j - 4*a, -5*j - 4*a = -0*j - 7332. Let u = j + -278921/190. Is u greater than 0?
False
Let j be (-73 - -2)/((-156)/468). Which is bigger: j or -7/6?
j
Let r = -144.15 - -220.85. Which is greater: r or 2?
r
Let t(f) = f**2 - 16*f - 13. Suppose -3*g = 14*g - 272. Let p be t(g). Which is smaller: -77/6 or p?
p
Let u = 0.226 + -7.226. Let l = 1 + u. Which is bigger: 24 or l?
24
Let i be ((-4)/5)/(1*14/6335). Let v = i - -676. Which is smaller: 313 or v?
313
Let b be 21/(-28) - (1 - (-8898)/(-312)). Is 27 != b?
True
Let o = -37 + 90. Suppose 8 = -51*u + o*u. Suppose u*c = 5*b + 63 + 9, -3*b + 127 = 5*c. Which is smaller: 22 or c?
22
Suppose 2*a - 4*f = -22, 0 = 2*a - 4*f + 3*f + 34. Let b = 3/1169 + -254875/12859. Is b at least as big as a?
False
Let k(d) = -d**3 + 15*d**2 - 10*d - 15. Let z be k(10). Suppose -z*b + 391*b = 198. Is 6 less than b?
True
Let o(n) = -n**3 - 48*n**2 + 197*n + 144. Let h be o(-51). Does h = -2099?
False
Let r = 7879/325626 - 3/7753. Let l = 2 - 1. Is r < l?
True
Let s(c) = -33*c + 461. Let m be s(14). Are 30 and m equal?
False
Let n be ((-5)/(75/(-235)))/((-35)/(-21)). Which is bigger: n or 55?
55
Suppose 2*m - j - 119 - 53 = 0, 5*j - 75 = -m. Let d = m + -83. Suppose -d*a + 2*a = -3*a. Is 12/17 at most a?
False
Let r = 13018361/412 + -31598. Which is smaller: 1 or r?
r
Let w = 43270/19 + -2278. Let i = -19 + 30. Suppose 13*p = i*p - 2. Is p bigger than w?
False
Let y = 317 - 317. Let g be (y/1)