 m + 34.925. Is -0.1 less than g?
True
Let r(i) = -14466*i**2 + 258*i - 257. Let h be r(1). Which is smaller: h or -14466?
-14466
Let z = 1 - 3. Let u = -201 + 204.8. Let d = 3.7 - u. Is d >= z?
True
Let o = 282 - 281. Let c = 73 - 37. Let b = 0 - c. Which is smaller: o or b?
b
Let s = 47 + -53. Let a = 18 + s. Let m be ((2 + 0)/a)/((-13)/39). Which is greater: m or 17?
17
Suppose -544 = -z - 2*z - c, -c + 908 = 5*z. Suppose 12*k + z = -82. Which is smaller: -24 or k?
-24
Let j be -6 - (3 + 177668/(-20356) - (-2)/(-7)). Which is bigger: 1 or j?
1
Let z = -4624 - -4781.3. Is z not equal to -4?
True
Let w = -10243472/321937 - -2/29267. Is w at most as big as -33?
False
Let x be (-92)/14 + 15/(-35)*1. Let i be 0/x - (220/18 + -2). Is -9 greater than or equal to i?
True
Suppose -3*j = -4*h + 9118 + 1174, 0 = -10*h - 2*j + 25654. Does 2568 = h?
False
Let d = -128 + 133. Let b be d + 1 - 12/(-3). Which is bigger: b or 11?
11
Let c = 556.2 + -556.1. Which is smaller: -5030 or c?
-5030
Suppose 0 = 221*s - 224*s + 5*n - 2471, -6*s - 4898 = n. Is s > -821?
True
Let y = -1998 + 7871/4. Which is bigger: 0.11 or y?
0.11
Let d(s) = s**2 - 21*s - 75. Let c = 146 + -121. Let y be d(c). Is 122/5 >= y?
False
Let s = 1.3 - 1.1. Let j = 3889 - 3664. Which is greater: s or j?
j
Let d = 1901 + -1902. Is d smaller than -3/464?
True
Suppose -d = 3*f - 484 - 6012, 0 = 4*d - 17*f - 25926. Is 6492 equal to d?
False
Let h = 4021 - 156857/39. Is h greater than -1?
True
Let n = 41357/2148 + -77/4. Let c(v) = 3*v + 21. Let u be c(-7). Which is smaller: u or n?
u
Let n = 6924.2 - 6924. Which is smaller: -18.85 or n?
-18.85
Let x = -146/919 - 1946966/8271. Do -237 and x have the same value?
False
Let o be ((-3)/(-18))/1 + 383/6. Suppose -8*u + 104 + o = 0. Suppose 4*l - u = -17*l. Which is smaller: l or 1/66?
1/66
Let b(o) = 13*o + 17. Let z be b(-5). Let u be (z/(-40))/(6/(-20)). Let t be u/(-3)*(-3)/(-2) + 16. Is t greater than 18?
False
Let a = 4221.9 - 4222. Which is smaller: 5/112 or a?
a
Let f = 8471 + -8471. Is -62/29 greater than f?
False
Let h = -3 + 13. Let c = 51 + -37. Suppose -4*m + 14 = -c. Are h and m equal?
False
Suppose 0 = 3*w + 439 + 53. Let r = 163 + w. Is 8 at least r?
True
Suppose -5*i + 20 = -i. Let n be (-1)/(3/(-11 + 2)). Which is smaller: n or i?
n
Suppose 4*u - a = 6202, 4657 = 3*u - 0*u + 2*a. Let v = u - 125633/81. Are 0 and v non-equal?
True
Let q = 11943/16 - 746. Suppose 18*l - 655 + 259 = 0. Let h(r) = -r**3 + 22*r**2 + 1. Let s be h(l). Which is smaller: s or q?
q
Let m be (-174658)/616 - (-6)/(-8). Let p = -284 - m. Are p and 0.011 nonequal?
True
Let u be (-2392)/(-792) + -6 - (-14)/(-126). Is u > -2?
False
Let r = -8252/9 + 916. Let x = -735 - -735. Is x smaller than r?
False
Let n(k) = -5*k - 104. Let w be n(-18). Let l be -1 + -3 + w/91. Is -3 smaller than l?
False
Let q be (2/1054)/(4*(-3)/48*10). Which is smaller: q or 1?
q
Let s be (-49)/(-87) + (-26 - -22). Let f = s + 3/29. Let z(q) = q**3 + 15*q**2 - 15*q + 13. Let m be z(-16). Are f and m equal?
False
Suppose 0 = -6*b - 19 + 1. Let v be b/(20/(-16) - -2) + 3. Let s(p) = -22*p**3 + 2*p + 1. Let g be s(v). Is g > 16?
True
Let t = -193/32 + 2313/32. Which is bigger: 1 or t?
t
Let d(t) = t**3 - 7*t**2 - 7*t + 1. Let m be d(7). Let z be (m + 0)*70/40. Is z at least as big as -84?
True
Suppose 0 = -m + 5*f + 3 + 3, 3*m - 3*f = -18. Let p be 84/m + (-11)/(-33). Let z be (p/(-366))/(-3)*(-4 - 0). Is 2/7 at least as big as z?
True
Let h be -2*(-237)/54 + 6/27. Suppose 4*d - 19 = h. Let g = 9661/1150 - 1/1150. Is d not equal to g?
True
Let m = -924.9706 + 925. Let j = m + -8.0294. Is j at least -45?
True
Let f = 61 - 62. Let r be (4576/440)/(f/((-350)/(-4))). Let d be (40/r)/(2/(-7)). Is 0.1 at most d?
True
Let l(a) be the first derivative of a**3/3 - 6*a**2 - 27*a - 68. Let s be l(-2). Is 15/8 < s?
False
Let y be (-6)/(-8) - 4771/52. Let f = -90 - y. Which is bigger: -4/59 or f?
f
Let q = -98671/570 - -2602/15. Let r be (2 - (-45)/(-27))/((-38)/(-3)). Let u = q - r. Is 0 less than or equal to u?
True
Let p(i) = 3*i**3 - 25*i**2 - 20*i + 13. Let z be p(9). Which is bigger: z or -27/7?
-27/7
Let x = -3332 + 4828. Suppose -8*a = -4*a - x. Is a > 373?
True
Let u be -20 - 5/(-35)*-14. Let j = 0.4 + 0.4. Which is smaller: u or j?
u
Let o(h) = h**3 + 73*h**2 - 46. Let j be o(-73). Suppose 5*d + 218 + 32 = 0. Does d = j?
False
Let m be (-24928)/5964 + 8/2. Let v = m + 6/71. Let i(r) = r**2 + 2*r - 4. Let f be i(-3). Which is smaller: f or v?
f
Let x be ((-16)/10)/((-2)/10*2). Let y(t) = 3*t**2 + 1. Let u be y(-1). Suppose -168 = -4*f - u*k, 5*f = -x*k + 66 + 149. Which is smaller: 46 or f?
46
Let z = 121.8 + -57.7. Let x = z + -70. Let q = 6 + x. Is q at least as big as 2/13?
False
Suppose 10*p + 6 = 16. Let a = 146/199 - 155596/211537. Let k = a - -3203/7441. Which is smaller: k or p?
k
Let c be (-777)/(24/4 + -5) - (6 - 8). Is c less than -770?
True
Let s = 64 + -61. Suppose 2*c - s*c - 12 = 5*k, -5*k = -c - 12. Let o be (2/c)/((-9)/(-27)). Which is smaller: o or 10/3?
o
Let w = 843 - 895.7. Let x = w + 79.5. Which is smaller: x or -0.1?
-0.1
Let r be ((-3275)/110)/((-2)/(-4)). Let o = 59 + r. Let j = 1/22 + o. Which is bigger: -2/7 or j?
-2/7
Suppose 280421 = 130*k - 74*k - 110963. Which is smaller: k or 6990?
k
Let y be (-2)/(-6) + 5/3. Suppose y*q - 6*q + 8 = 0. Suppose -q*v - 2 = -4. Which is smaller: v or 3?
v
Let y = 0.08 + -1.08. Let c(v) = -16*v**3 - 2*v**2 + 9*v + 13. Let t(p) = 13*p**3 + 3*p**2 - 8*p - 12. Let g(j) = 4*c(j) + 5*t(j). Let q be g(-8). Is q <= y?
True
Let f = -9076 - -167787/19. Let o(w) = w**3 - w**2 + w - 245. Let q be o(0). Let l = f - q. Which is bigger: 0 or l?
0
Suppose b - 5 = 11. Let r(n) be the first derivative of n**4/4 - 16*n**3/3 - n**2 + 33*n - 10. Let j be r(b). Is j > -2/37?
True
Let h = 2 + -5. Suppose 0 = 8*o - 78 + 70. Let c be ((-20)/1830)/(o/h). Which is greater: -1 or c?
c
Let x = 3592/903 - 85/21. Let u = 53 + -48. Suppose -p = -u*o + 20, o + 2*o - 12 = -4*p. Which is bigger: p or x?
p
Let b = 337088492476/150677398817 - -91/5766673. Let i = b - 119/53. Which is bigger: i or -1?
i
Let a be (-16*2)/(33/7 - 5). Let u = a + -126. Are -18 and u nonequal?
True
Suppose 5*v = 2*h + 3, -4*h + 8*v + 6 = 10*v. Do 3/124 and h have the same value?
False
Let i = 1404031/81 + -17333. Which is smaller: i or 2?
i
Let f = -26044 - -26042. Which is smaller: -1/172 or f?
f
Suppose -15509 = 8*b - 5*b - 5*k, -25843 = 5*b - 3*k. Are -5170 and b equal?
False
Let z be (-4)/(-42) + (-186388)/45339 - -4. Suppose m = -5*d - 7, -3*d - 3*m - 6 = 3. Are z and d non-equal?
True
Suppose 4*t = -3*j + 11, -25*j + 20*j - 2*t + 9 = 0. Which is greater: j or -4/145?
j
Let t = -78 - -58. Let w = -67 + t. Do 0.1 and w have different values?
True
Let d = 25 + -35. Let w be ((-3)/d)/(6/55). Let n = 3114.2 + -3114. Is n less than or equal to w?
True
Let o(h) = -3101*h**3 - h**2 - 5*h + h**2 - 3*h**2 - 6 + 3100*h**3. Let t be o(-2). Is t bigger than -2/585?
True
Let y(p) = -3*p**3 + 11*p**2 - 6*p + 5. Let v be 8/(-6)*-3 + 0. Let b be y(v). Which is smaller: -33 or b?
b
Suppose -4*d - 229 = -249. Suppose 0 = 2*s, 2*s = -d*q - 3*s + 300. Is -2 <= q?
True
Suppose 0 = -2*j + 14, -11*o = -14*o + 4*j - 17710. Is o less than -5895?
False
Let s = 481 + -474. Let b be 1/s*(-25 - -39). Is b <= 11/8?
False
Let u be (((-2234)/12)/((-7)/56))/(42/(-63)). Is u less than or equal to -2234?
True
Let r(y) = -y**2 - 11*y + 14. Let s be r(-12). Let z = s - -2. Suppose z*h = -h + 15, -n + 42 = 3*h. Is n bigger than 35?
False
Let n(f) = -2*f**3 + 5*f**2 + 20*f + 32. Let z be n(-4). Is z less than 151?
False
Let n = -2.7 - -3.7. Let q = -10 + 16. Let f = q - 7. Is f != n?
True
Let g = 18/7 + -65/28. Suppose 26*x + 10*x - 1008 = 0. Suppose 0 = -8*m + x - 36. Is m at least g?
False
Let n = 0.0189 - -1.4211. Let y = n - 1.34. Let q be -1*((-1 - -1) + 1). Is q < y?
True
Let v = -3282 + 3282. Which is smaller: -16/51 or v?
-16/51
Let m = 21454.34 + -21815. Let f = m + 361. Is f <= 6?
True
Let t = 17 + -69/4. Let p = -30 - -32. Let n = p - 1.9. Which is smaller: t or n?
t
Suppose 0 = 3*k - 15*k + 1692. Suppose -2*h + k = -h. Let c = h - 142. Is 5/41 less than or equal to c?
False
Let z be (4 - 1)*(200/(-15))/2. Let v