ue
Let h be (-239641)/8162 + (-11)/(198/45). Let s = 223/7 + h. Is s less than -1?
False
Suppose 5*k + 37*q = 40*q - 2, -3*k + 5*q = 14. Suppose 0 = 8*b - 4*b - k*i - 16, 3*b + 4*i - 12 = 0. Which is bigger: b or 27?
27
Let s = 36.06 - 36.46. Which is bigger: s or 2476?
2476
Let k(t) = 42*t + 299. Let j be k(-12). Let y(g) = -2*g**2 - 9*g + 15. Let a be y(-13). Which is greater: j or a?
j
Let s = 3.5 + -3.46. Let m = 0.24 - s. Let r = 6.8 + -5.4. Is m at least as big as r?
False
Let j be 1743/83 - (-1 + 21). Is j smaller than -75/622?
False
Let k = -1224 - -1224.046. Let s = 28.076 + -28. Let q = k - s. Which is smaller: q or 0.3?
q
Let x = 283823/10 + -28381. Is -4/29 > x?
False
Let s = -31 + 34. Let y be -12 + ((-1 - -3) + -2)/s. Let n be (-2)/(-4)*y/42*-7. Is n at least as big as 6/41?
True
Suppose 36*v - 41*v - 4*t - 3262 = 0, 2*v + 1268 = 3*t. Which is smaller: v or -643?
v
Let p(u) be the third derivative of u**5/30 + 25*u**4/24 + 41*u**3/6 + 28*u**2 - 3. Let g be p(-7). Is g < -109/3?
False
Let k(w) = 855*w - 1227. Let n be k(-2). Which is bigger: -2938 or n?
n
Let l(p) = 4*p**2 - 16*p + 31. Let b be l(-19). Which is smaller: b or 16004/9?
16004/9
Let j be (((-24)/16)/((-22)/4))/57. Does 3 = j?
False
Let q = 1.7 + -2.7. Let o = -68.94053 + -0.05947. Are q and o non-equal?
True
Let g be 658 - (-17 - -17) - 1. Which is smaller: g or 661?
g
Suppose -5*m = -2*f + 12 - 37, 2*f - 20 = -4*m. Suppose -3*a = -l - 71, -m*a - 2*l + 4*l = -120. Let i be 7 - 4 - 74/a. Do i and -2/9 have the same value?
False
Let g be (30/1)/((-57)/24). Suppose 0 = 5*a + 270*o - 265*o + 95, -2*a = 5*o + 53. Which is bigger: g or a?
g
Suppose -5*h = 5*k, -2*k = 5*h + 2 + 1. Let f = -440/2353 - -6/181. Are k and f non-equal?
True
Suppose 0 = 2*z - 4*b - 80, -b - 21 + 17 = 0. Which is bigger: z or 24?
z
Let k = -1615971/31 - -52128. Let n = 6 + -3. Let c = n + -2. Which is smaller: k or c?
k
Let x be ((-1888)/112 + 17)/(2/(-1906)). Is -136 greater than x?
True
Let r(l) be the second derivative of l**5/20 + 5*l**4/12 - l**3/6 - 3*l**2 - 2*l + 1. Let m be r(-5). Let q = -5155 + 1242357/241. Which is greater: m or q?
q
Let t(z) = z**2 - 3*z - 18. Suppose -a - 29 = -4*f, -f + 45 = 4*f - 3*a. Let c be t(f). Suppose 4*g - 4*j + j = -49, c = -j - 1. Is -10 smaller than g?
False
Let s(t) = -3*t**3 - 32*t**2 - 44*t + 4. Let f be s(-9). Which is smaller: f or -73/18?
f
Let f be 150/(-225) + ((-5376)/(-9))/2. Which is bigger: f or 295?
f
Let d = 1.96 - -0.04. Let t = 568331 - 7388295/13. Which is smaller: d or t?
t
Let v = 1910849/5364 - -19/1341. Let a = v + -351. Let d(r) = 2*r**2 + 5*r + 2. Let i be d(-3). Is i greater than a?
False
Let n(v) = 2*v**2 - 25*v - 3. Let b be n(23). Suppose b = 8*a + 4*a. Which is greater: a or 39?
a
Let y(t) be the first derivative of 10*t**2 + 66*t - 44. Let p be y(-4). Is -15 > p?
False
Let j be ((-74157)/(-76))/((-33)/(-12) + -2). Is j >= 1300?
True
Let v = -26.54 - -10.81. Let h = -15.8 - v. Is 2 greater than or equal to h?
True
Let u be 60*9/(-2)*(-2)/2. Suppose 213*l = 203*l + u. Is l < 28?
True
Let c = 642 - 545. Does 97 = c?
True
Suppose 1525*n - 3*v + 18 = 1522*n, -4*n + 39 = 5*v. Which is smaller: n or 14/3533?
14/3533
Let k = -367/3 - -2563/21. Suppose -2*g - g = 4*q - 416, -5*q - g = -509. Which is smaller: q or k?
k
Let n = -1980587482/224279 + 97140/11. Is n bigger than 0?
False
Suppose 0 = -4*w - 2*f - 14, -18*w + 16*w - 3*f + 3 = 0. Let y be (3 - 6)/((-3)/(-4)). Is w bigger than y?
False
Let z = -1003802/11 - -91119. Which is smaller: z or -136?
-136
Let v = 0.3 - 0.5. Let z be -4*((-2)/11 + (123980/(-6600) - -19)). Which is bigger: z or v?
z
Let r = 9182.4951 + -9182. Does 1 = r?
False
Suppose -5*s - 5*a = -65, -s + 5*a - 17 = -0*s. Let o(i) = -22*i + 86. Let k be o(s). Is k at least as big as -90?
True
Let m(n) = -n**2 - 7. Let f be m(0). Let h = 12 + f. Suppose -u - 2*v = 2*v + 15, -h*v - 24 = 2*u. Is -6 at least as big as u?
True
Suppose -5*c = 77*i - 76*i - 95, -4*i + 260 = 5*c. Let t(z) = -z**3 + 8*z**2 - 2*z - 7. Let y be t(5). Are y and i equal?
False
Let z be 1/(-1) + -12 + (-1678 - -515). Is -1180 equal to z?
False
Let f = -161 + 172. Let y be 11/f + (-1 - 1 - 79). Is -80 less than or equal to y?
True
Let q = 174.8 + -159. Let b = 12.6 - q. Is 0.1 at least as big as b?
True
Let y = -0.607 - 0.033. Let l = 40.64 + y. Let j = -40.08 + l. Which is smaller: -2 or j?
-2
Let m be (-1089726)/1980 + (-2)/(-4). Let y = -1850/3 - m. Is -67 at least y?
False
Let d be -15*396/(-2700)*10/(-2). Is -18 smaller than d?
True
Let h(z) = 26*z + 4. Let j be (-2)/4 - (21/6)/1. Let a be h(j). Suppose -408 = 8*u + 400. Is a < u?
False
Let i(m) = -2*m**2 - 51*m + 204. Let a be i(-29). Suppose -4*r + 12 = -2*r - h, -3*r + 3*h = -21. Let t = r + -3. Which is smaller: t or a?
a
Let r(m) = 28*m - 2733. Let a be r(104). Are a and 1600/9 equal?
False
Let b be 26/(-39)*(2 + (-10820)/5392). Which is greater: 0.4 or b?
0.4
Let r = -32 + 37. Suppose -r*f - 8 = -f. Let g be f/4 + (-279)/(-54). Which is greater: g or 6?
6
Let k = -2880 + 2172. Do k and 0.1 have the same value?
False
Suppose 5*r - 3*r + 5*y + 724 = 0, -5*y + 1740 = -5*r. Let x be 2/(-9) + r/(-1746). Which is greater: x or 1?
1
Let b(t) = 89*t - 1969. Let d be b(3). Which is smaller: -1703 or d?
-1703
Let a = 1/8967 + 4811/10464489. Which is greater: -1 or a?
a
Let b = -1084663.968 + 1089717. Let d = b - 5032. Let c = d + -0.032. Is 0.1 greater than or equal to c?
False
Let c = -24884.81 + -94.19. Let f = c - -24922.045. Let z = 57 + f. Is -0.1 at most z?
True
Let k = -1265 - -1267. Are k and 627 equal?
False
Let a = 191/10 - 2007/70. Which is bigger: -10 or a?
a
Suppose -54*k = -33*k - 45360. Is k at most as big as 2161?
True
Let a = 37/25 + -923/725. Let q(i) = i**3 + 15*i**2 + 57*i + 10. Let c be q(-8). Suppose 4*w - c*w = 2. Which is smaller: a or w?
a
Suppose 2*b - 65 + 10 = -3*n, 2*n - 5*b = 24. Let o(i) = i**3 - 17*i**2 - i + 19. Let s be o(n). Let l be 0/((2 - 3)*s). Is -2/3 greater than l?
False
Let m = -90 + 92.39. Let t = -2.242 + m. Is t > 0?
True
Let d = 676 - 681. Let n = -28.3 + 29.8. Is d <= n?
True
Suppose -m + 304 = -5*m. Suppose 0 = 99*d - 168*d + 3174. Let n = d + m. Which is smaller: -28 or n?
n
Let b(k) = 12*k**2 - 501*k + 2897. Let u be b(6). Let i = -699 + 1022. Is u greater than or equal to i?
True
Let v = 15853 + -15857. Which is smaller: -0.0198 or v?
v
Let n be (-962)/(-117) + -8 + 5016/27. Let r = 2 - 3. Is r less than n?
True
Let n = 14479 - 14479.238. Which is smaller: n or -1/32?
n
Let z be (-21)/70*(-2)/(-1) - 1438/(-5). Is z at least as big as 287?
True
Let w = 2830 + -2828. Are w and -5/2 nonequal?
True
Let f(y) be the second derivative of -y**4/6 - 2*y**3/3 - 2*y**2 + 48*y + 2. Let q be f(-1). Let v = 119/4 + -29. Which is bigger: q or v?
v
Let g = -3209 - -3206. Is -83 <= g?
True
Let l(t) = t**2 - t - 50. Let w be l(-7). Suppose o - 95 = w*o. Which is greater: o or -89/5?
-89/5
Let k = -4.428 + 3.428. Is -398/5 at least k?
False
Let i be 9 + (27/18)/((-3)/(-2)). Let v = -76 + i. Is -68 greater than v?
False
Let l be (-11 + 5)/(7 + -4) + 2272/1134. Which is greater: -1 or l?
l
Let d = 145 - 128. Let i = -1 - d. Which is smaller: i or -0.1?
i
Suppose -t - 2 = -8*q, 271*t = 3*q + 273*t + 4. Which is smaller: q or -15/2683?
-15/2683
Suppose 0 = 32*i + 25775 + 17553. Let b = -96136/71 - i. Is 0 not equal to b?
True
Suppose 0 = -2*b + 3*p + 5, b - 3*p - 13 = -3. Let r be (-135)/(-27)*(1 - (-4)/b). Is 2/353 at least r?
False
Let x(p) = 8*p - 13. Let i be x(-4). Let h = i - -48. Which is bigger: h or 32/19?
h
Let b be (33 - -1)*(2 + -1). Let h be -7 + 4 - -3 - -4. Suppose -5*d + 163 = h*f, -f - 122 = -4*d + 21. Which is greater: d or b?
d
Let i(m) = -m**3 + 8*m**2 + m - 8. Let y be i(8). Suppose -4*p - 3*c = -3975, -c - 2*c = p - 987. Let t = -12958/13 + p. Is t equal to y?
False
Let y(v) = -v**3 - 29*v**2 + 36*v + 76. Let u be y(-31). Suppose 10*f - u = f. Is f at least as big as -2?
True
Suppose -245 - 67 = 39*g. Let a = -32 - -22. Is a bigger than g?
False
Let z be (114/20 - 6)/((-12)/16). Is 32/33 not equal to z?
True
Let r be 11*36198/(-1386)*-14. Which is greater: 4024 or r?
4024
Let v be ((-3)/(-12) - 30/(-8)) + 0. Let r be (-871)/(-26) + 2/v. Is r bigg