4420. Which is bigger: o or 13?
o
Let m(i) = 35*i**3 + 17*i - 36*i**3 - 22 + 2*i**2 + 8*i**2. Let a be m(11). Suppose 77 - 209 = -3*o. Are a and o equal?
True
Let n = 0.02408 - -0.09592. Is n < -0.005?
False
Let t = -112 + 117. Suppose t*h + 4*q - 49 = -316, -3*q - 162 = 3*h. Which is smaller: h or -50?
h
Let l(u) = -39*u**3 - 10*u**2 + u + 4. Let f be l(-4). Which is bigger: f or 0?
f
Suppose -3*t + 2*t + 3*a = 28, -5*t - 4*a = 178. Let x = -1324/39 - t. Let v(m) = -m**3 + 6*m**2 + 2*m - 13. Let q be v(6). Is q <= x?
True
Let n = -8122.1 - -8122. Which is smaller: 327.8 or n?
n
Let r = -90 + 90. Let z = r + 1. Is z at most 18/13?
True
Suppose 240 = -4*j + 4*n, 1 - 130 = 2*j + n. Let y(i) = i**2 + 25*i + 83. Suppose 11*a + 64 = -112. Let m be y(a). Is j at most m?
True
Let a = -174 - -173. Let p be 1334/166*6/12 - 4. Does a = p?
False
Let v = -53 + 217. Let u = -164.3 + v. Is 0.05 less than u?
False
Suppose 46 = -29*t + 31*t + 3*i, 5*t = 3*i + 94. Which is smaller: t or -2/53?
-2/53
Suppose -5*g + 2*g = 0. Let y be ((-123)/(-230) - (-75)/50) + -2. Is g > y?
False
Let l = -3.27 - -2.34. Let z = l + -0.07. Is -83 at most z?
True
Let u be 842/18 - 2/(-9). Suppose 45*p - 5*b = u*p + 97, -59 = p - b. Are p and -59 non-equal?
True
Let b(g) = -g**3 + 4*g**2 + 4*g + 7. Let t be b(5). Let z be 0 - -13 - (-16)/(-4). Suppose 0 = -2*a + p + 32, -t*a + a = 3*p - z. Is 12 at most as big as a?
True
Suppose -2012 + 343 = 19*z + 877. Which is greater: z or -24?
-24
Let o = 4715 + -4717. Which is smaller: o or 91.53?
o
Suppose -2*d - 29*i = -27*i + 2, -2*d - 4*i + 6 = 0. Which is bigger: d or -823?
d
Let l(z) = -4*z**3 + 6 + 0*z + z**3 + 4*z**3 + 2*z - 6*z**2. Let f be l(4). Let m be (-2)/9 + 0 + (-4)/f. Does 1/3 = m?
False
Let x = -2314 + 2335.66. Let g = x + -5.66. Which is bigger: 18 or g?
18
Let w = -2/27 + -23/54. Let p = -226 - -230. Let c be -5*(-3)/20*p. Is w not equal to c?
True
Suppose 94970 = -42*i + 172*i + 15800. Does i = 595?
False
Let k = 11.74 + -0.74. Let y = k - 0. Let i = y + -11.2. Is i greater than or equal to 0.4?
False
Let i be (-62)/((8/(-40))/(28/(-20))). Which is smaller: -1/2 or i?
i
Let a(t) = 143*t**2 - 5*t - 7. Let y be a(-3). Suppose 14*w - y = -49. Which is smaller: w or 175/2?
175/2
Let f be 2 - ((-4)/8)/(2/(-20)). Let y be f + 10/212*63. Let s = y + -621/530. Is s < 0?
True
Let z = -82/299 - -1/23. Let k = -89869/558488 - -2/9973. Let u = k + -1/8. Is z < u?
False
Suppose -41*m + m - 140520 = 20*m. Is -2342 at least m?
True
Suppose 24 = 9*p - 7 - 86. Suppose 0 = -q - 2*q + 39. Is p bigger than q?
False
Let r be 464/(-32) - (-15 - 0). Let i = 3.9 - 19.9. Let u = -15.3 - i. Which is smaller: u or r?
r
Let x = 5.225 - 3.225. Let f be 29/24 + (-14)/(-21). Is f greater than x?
False
Suppose -1016 = 12*d - 4*d. Let l = 69 + d. Let c = 24 + l. Is -35 < c?
True
Let s(k) = 4*k**3 + 4*k**2 - 10. Let y(p) = p**2 + 21*p + 92. Let v be y(-6). Let x be s(v). Is x at most as big as 42?
True
Let a = -568 + 568.0144. Let f = a + 0.3856. Is 16 greater than f?
True
Suppose 154*t = -378*t + 590 - 58. Is -1/4692 >= t?
False
Suppose -89*d + 84*d + 3*m - 60429 = 0, -15 = -5*m. Is d smaller than -12084?
False
Let b = 19/220 - -8737/220. Is 39 at most as big as b?
True
Let l = -8667 - -8666. Which is smaller: 6/901 or l?
l
Let o be 861*26/(-143) - 24/(-44). Which is greater: o or -130?
-130
Let b = 3917 + -3474. Which is smaller: 437 or b?
437
Let b be (((-4)/(-34))/(42/(-7077)))/133. Let t = b + 2/323. Let o(c) = -c**3 - c**2 + 1. Let p be o(0). Does t = p?
False
Suppose 0 = -2*g + 9*g + 7. Let t be (-101)/2*22/(-1288). Let l = t + -7/8. Which is greater: g or l?
l
Let p be 5/(-1 + (-4)/(-3)). Let g = 43 + -114. Let s = g + 87. Which is smaller: p or s?
p
Let k = 18 - -7. Let j be -1 - k - (-2)/2. Suppose 8085*r = 8098*r + 325. Are j and r unequal?
False
Suppose -7*j = -17 + 3. Suppose j*d = -a + 7, 5*a - 3 = 2. Suppose d*x + 5 + 7 = 0. Which is smaller: -23/5 or x?
-23/5
Let r be (46 - (-6840)/(-150)) + (0 - 7/180). Is r > -3/5?
True
Suppose -14*u + 8*u = -66. Let d(n) = n**3 + 12*n**2 - 29*n - 3. Let w be d(-14). Is w > u?
False
Let c be 0/(8/4)*(-2)/(-2). Suppose c = 4*u + 5*f + 262 + 133, -4*u - 410 = 2*f. Is u < -107?
False
Let o = -593 - -578. Let d be ((-6)/o)/((-3)/1980). Which is bigger: d or -266?
d
Let n = 20949 + -20881. Suppose -z = 4*l - 8*l - 81, -l + 342 = 5*z. Which is greater: z or n?
z
Let o be ((-209)/2147)/((-6)/2). Is o smaller than -1?
False
Suppose -41*c + 631 = 672. Is -21/101 > c?
True
Let c(m) = 11*m**3 + m. Suppose -96 = 8*v - 14*v. Suppose -h - 17 = -v. Let q be c(h). Is q >= -10?
False
Suppose 3*p - 1774 = 3*r - 55, -5*r - 2847 = p. Is -570 equal to r?
True
Let s(a) = 8*a**2 + 12*a - 30. Let h be s(-7). Suppose -4*w + 22*k - 20*k + 272 = 0, k = -4*w + h. Which is greater: 351/5 or w?
351/5
Let k(f) = f**2 + 17*f - 35. Let n be k(-19). Suppose -4*w = -2*c - 76, 0 = -7*w + n*w + 3*c + 74. Let g = -15 + w. Is 18/5 < g?
True
Let t be -28 + 2*(-3 + (-28)/(-8)). Let u = t - -29. Let d be 4*u/24*3/(-22). Do d and 0 have different values?
True
Let t = -83.341 - -83.841. Let r = -40 - -25. Let w = r + 9. Which is smaller: w or t?
w
Let o = -23162 + 23637. Which is bigger: 492 or o?
492
Let r(i) = -164*i + 87*i + 88 + 83*i. Let z be r(-15). Let p be 2/(((-168)/(-45))/(-4)). Are p and z equal?
False
Let g = -121416/5 + 24279. Is g not equal to -116?
True
Let x = 450.8 + -450.95. Is 0.1 > x?
True
Let v be (-20)/11 + -1 + 3. Let k = 206672/9 + -22962. Is k less than v?
False
Let p = 2423 - -2982. Is p at least 5405?
True
Let j = 0.9 + -1.1. Let k = -130.258 - 0.742. Is j bigger than k?
True
Let l be (-3)/(-9) + (-62)/6. Let q = 125.19 - 1.19. Let v = 126 - q. Is l != v?
True
Let m(l) = l**2 - 1. Let j(g) = -4*g**2 + g + 12. Let x(t) = j(t) + 6*m(t). Let c = -1932 + 1929. Let n be x(c). Which is bigger: 22 or n?
22
Suppose 0 = -z + 7, -188*o - 43 = -193*o - 4*z. Are 93/22 and o equal?
False
Let s be (8/(-3) - -3)/(34/102). Is -1/12135 less than or equal to s?
True
Let n be 714/(-292593)*2049 + 0 + 6 + -1. Is n less than -1?
False
Let o = 620 - 619. Is o != -16/427?
True
Suppose -14*w + 15*w + 3*b = 34, 2*b - 56 = -2*w. Suppose 30 = -4*r + 2*j, 40 = -4*r - 3*j + 7*j. Let k = 20 - r. Is k <= w?
True
Let l = 0.5 + 0.5. Let s = -404.9788 - -405. Let w = -0.1788 - s. Is l bigger than w?
True
Suppose 0*c + 5*c = 1695. Suppose -c = 23*r + 673. Are -3 and r equal?
False
Let g = -150863/3846121 - 13/25471. Let v = -2 - -3. Which is bigger: g or v?
v
Let x = -7 - -8. Suppose 108 = 5*l + 63. Let z be ((-105)/72)/(-7)*l. Is x less than or equal to z?
True
Suppose -261*u + 2*v = -268*u + 2539, -u + 358 = 5*v. Which is smaller: u or 348?
348
Let m = -1893.9 - -1894. Which is bigger: m or -0.07937?
m
Let d(p) = 2*p + 93. Let a be (12/(-9))/((-14)/(-357)). Let u be d(a). Let b(v) = v + 26. Let z be b(0). Are u and z nonequal?
True
Let b = 3129.6 + -3064. Which is greater: b or -1/2?
b
Let g(c) = -c**3 - 8*c**2 + c - 4. Let z be g(-8). Let w = 9 + z. Let i be (-444)/165 - (-4)/44. Is w bigger than i?
False
Let s = -0.783 - -0.083. Let d = 1.03 - 1.089. Let r = d + 0.059. Which is bigger: s or r?
r
Suppose 0 = -2*h - 0*h. Suppose 3*j + 2655 = 2*v, v = -2*j + 1026 + 305. Let l = v + -110305/83. Which is bigger: l or h?
l
Let z be (-8)/((4 + -2)/1). Let w be ((-24)/11)/1 + z/(-22). Let d be ((0/(-2))/2)/(1 + w). Do 4/9 and d have the same value?
False
Let q = -125/74 + 1492/259. Which is smaller: 4 or q?
4
Let f = -290 - -598. Suppose 297 = -11*j - f. Is j greater than -54?
False
Suppose -2*x - z = -1183 - 161, -687 = -x + 2*z. Are 678 and x non-equal?
True
Let u = -9 - -12. Suppose d = -3*r + 15, 6*r = u*r + 2*d + 6. Suppose 0 = 4*x + 8, o = -3*o - r*x. Is 20/11 equal to o?
False
Suppose -d + 0*q = q - 9, -5*q + 25 = 0. Let j be (-1)/(d + -3) + (-34)/(-32). Let i = -1/144 + j. Which is bigger: 4 or i?
4
Let j = -166 - -206. Suppose -17*s + 19*s + j = 0. Which is smaller: -19 or s?
s
Let p = 15 - -20. Let l = 35 - p. Let q = 51.98 + -51.5. Which is smaller: q or l?
l
Let g = 322 - 188. Suppose 1 = -135*o + g*o. Is -65/3 less than o?
True
Let w(u) = 3*u**2 - 10*u + 14. Let j be w(6). Let y = j + -73. Suppose -40 = 3*m + 5*k - 4*k, -5*m + 2*k - 63 = 0.