4?
4
Let r = -286 - -497. Let x = r - 95. Is x at least -0.1?
True
Let k = 1.88 - 1.74. Does 0.017 = k?
False
Suppose -22*b + 2449 = 733. Which is greater: 82 or b?
82
Let k(t) = t**3 + 7*t**2 - 9*t - 47. Let q be k(-6). Let j be (-212)/2*2/4. Let n = q + j. Which is bigger: 0 or n?
0
Let h(d) = d**2 + 13*d + d - 15*d + 2. Let x be h(0). Let m be x*3*29/6. Which is smaller: m or 28?
28
Let l = 75 - -1. Let u = 76.1 - l. Let g = -7.1 + -0.9. Is g != u?
True
Suppose 555*k = 553*k + 20. Which is smaller: 12 or k?
k
Let k(l) = l**3 + 101*l**2 + 326*l - 42. Let a be k(-97). Which is bigger: 5973 or a?
5973
Let p be 3/((30/8)/(-5)). Suppose -9*u + 74 = -6*u - 4*k, 4*u = -k + 124. Let r be u/(-55)*2*1/p. Which is greater: r or 0?
r
Let t = -91.1 + 77. Let u = -14.2 - t. Is 0.32 bigger than u?
True
Let r = -1143 + 2585. Let t be (-591632)/408 - (3 + -11). Let u = r + t. Which is bigger: 0 or u?
0
Let o(l) = 2*l**3 - 4*l**2 + 8*l - 74. Let v be o(4). Which is smaller: v or 520/23?
v
Let s = -344 - -345. Which is smaller: -4/67 or s?
-4/67
Suppose -17*y = -10*y + 2121. Let n = 309 + y. Let f be (-9)/(-2)*6/5. Do n and f have the same value?
False
Let w(k) = -4*k + 84. Let p be w(13). Suppose -33*b = -p*b. Which is greater: b or -1/166?
b
Suppose 16 - 10 = d. Suppose 0*z + 3*a = -4*z - d, 3*z = 3*a - 15. Let r be z - -3 - 6 - -2. Which is smaller: -7 or r?
-7
Suppose -c + 16 - 23 = -4*l, 3*c = -l + 5. Let p(i) be the third derivative of -i**5/60 + i**4/3 - 2*i**3 - 3*i**2. Let m be p(5). Which is bigger: m or c?
m
Let c(d) = -3*d**3 - 2*d**2 + 22*d - 1. Let z be c(-3). Which is bigger: z or -21/4?
z
Suppose s = 4*n + 3*s + 710, 3*n = -5*s - 543. Let q be 0 + -178 + n/(-44). Are -175 and q unequal?
True
Let n be ((-56)/(-12))/(2/24)*(-61632)/5992. Is n smaller than -583?
False
Let d(x) = x**2 - 4*x - 1. Let t be d(7). Let u = t + -14. Suppose 3*q - u*q = -111. Is 38 at least q?
True
Suppose -29*q = 7429 - 759. Which is greater: q or -689/3?
-689/3
Let o(u) = -u**2 - 16*u + 39. Let y be o(-18). Suppose -i = -3, y*n + 2*i = 5*i + 3. Suppose l + 43 = 5*b - 6, 86 = -n*l - 2*b. Is -25 not equal to l?
True
Let c = -373 + 1108. Suppose -6*x = 4*r - 2*x - 620, -5*x - c = -5*r. Which is smaller: r or 2?
2
Let f = 13 - -62. Let w be (-215)/f*3 + (1 - -1). Let d = 3 - 2.9. Is d at most w?
False
Let n = 2.0849 + -3.0849. Which is greater: -91.46 or n?
n
Let i be (4 + (-2)/2)*60/18. Let k be i/45 - ((-752)/180 + 4). Do k and 0.15 have the same value?
False
Let w(l) = 2*l**3 - 75*l**2 - 38*l + 1. Let z be w(38). Let c be (-92)/(-85) - (6/17)/(-3). Does c = z?
False
Let n = -26.7 - 3.3. Let d = -1.32 + 31.72. Let h = d + n. Are h and 0.2 non-equal?
True
Let f be (5*(-9)/90)/((-1)/(-4)). Let d be f*(-15)/(-36) - (-38)/(-228). Which is bigger: 57 or d?
57
Let b = 3.91 - -197.09. Let m = 200.91 - b. Are m and 0 nonequal?
True
Let n be 5/1*(30 + 75808/(-2530)). Which is bigger: n or 9/238?
n
Let l(k) = -2*k**2 - 12*k - 22. Let y be l(-7). Let q be (-80)/y + -2 + 2. Is 3 less than q?
False
Let m = -75089/33 + 91520503/40260. Let q = 3/244 - m. Let t = 5 + -3. Is q at most t?
False
Let f = -1.08 - 29.92. Let q = 71 + -61. Let w = f + q. Is 2/5 smaller than w?
False
Let v = -468.442 + 8.402. Let b = -460 - v. Are 18 and b equal?
False
Suppose -6*c + 2*c = -5*p + 59, -43 = -4*p - c. Suppose p*n = 44*n - 66. Which is greater: 4 or n?
4
Let c = -997970/273 - -337/273. Which is greater: -3655 or c?
c
Let k = 1006 + -1011. Suppose 0 = 5*r - 0*r - 20. Let g be 2*-2 + r + k. Which is smaller: -3 or g?
g
Suppose 5*x + 6*r = 3*r - 426, 273 = -3*x + 4*r. Let m = x + 96. Let b be m/(-66)*(-48)/36. Which is smaller: -1/32 or b?
-1/32
Suppose -15*z = -6*z - 31878. Let b = z + -1457. Let i be (3/9)/(b/(-522) - -4). Is 58 at least i?
True
Let w be (18/10)/((-1587)/(-5290)). Are w and -2/3039 equal?
False
Let d = 289379.2 - 289377. Let p be ((-10)/(-7) - 1) + 0. Which is greater: p or d?
d
Suppose -2*b - 2*b + 4*g = 88, -3*g + 3 = 0. Let i = 435786/5 - 87177. Is i > b?
True
Let c = 36 + -26. Let r be 1344/2240*2*5. Is r bigger than c?
False
Let p(z) = 3 + 3 - 78*z + 486*z**2 - 6 + z**3 - 493*z**2. Let i be p(-6). Is -3/37 bigger than i?
False
Let r = -280 - 382. Let x = -663 - r. Is x bigger than 3/439?
False
Suppose -878 - 2242 = -8*x. Let t = x + -638. Is t > -248?
False
Let i = -6.7 + 6.597. Let a = 19.6817 + -2.5787. Let p = a + i. Is 3/4 >= p?
False
Let d be (-9)/((-126)/(-32)) - -2 - 75/(-140). Is d not equal to 4580?
True
Let j be 29/2*(-2 - -12). Let y = j + -54. Let h = 89 - y. Is -0.22 greater than h?
True
Let h be -2 - 448 - (-1 - (3 - (-3 - -12))). Which is smaller: h or -477?
-477
Let w = -8362 + 8371. Let q be 2/(-10) + 112/10. Is w != q?
True
Suppose -7*u - 576 = 2*u. Let k be (2/80)/(u/(-80)). Which is smaller: 2/3 or k?
k
Let s = 73788/472033 + -105/1189. Is s at most as big as -1?
False
Let n(t) = t**2 - 12*t + 9. Suppose -2*s - 4*j = j - 23, -5 = -5*j. Let o be n(s). Let i = 105.1 - 105. Which is smaller: i or o?
o
Let i = -136 + 135.42. Let c = 1.62 - i. Is c at most as big as 3/8?
False
Let s(h) = -h**2 - 5*h + 2. Let t be s(-5). Suppose 9 + 703 = -2*l + k, -5*l + 2*k = 1781. Let f be ((-18)/l)/(t/14). Which is bigger: -1 or f?
f
Let h = -24359.2 - -24357. Are h and -264 nonequal?
True
Let h = 93.6 - 124.53. Let v = h - 0.07. Is -0.1 at most v?
False
Suppose 3*w = -2*s + 6*w - 18, 0 = s + 3*w. Let x be ((-1)/s)/((-51)/9 - -6). Is -8.7 at least x?
False
Suppose 419*h - 4221275 = 187862. Are 10524 and h non-equal?
True
Let z be 6170/210388*(144/(-390))/1. Let m = -10/1937 - z. Which is smaller: m or 1?
m
Let b be (-2924)/(-119) + 17 + -5. Is 38 < b?
False
Let q = -4246775 - -35503038473/8360. Let n be 25/(-38)*(-2)/110. Let r = n - q. Is 1 > r?
True
Let z be ((-3)/81)/((-12)/18*3/60). Is -2/11 smaller than z?
True
Let c(a) = 4*a**2 + 24*a + 14. Let r be c(-9). Let t = 112 - r. Let y be 5/t + 23/(-2). Is -10 at most y?
False
Suppose z = -2*p + 10, p - 2*p + 12 = 4*z. Let x be (1*3/6)/(-4 + z). Which is greater: -2/23 or x?
-2/23
Let k be 11 + 2/(-4)*-2. Suppose 3*v + 15 = -k. Suppose -5*n = 3*o + 30, 4*o - 189 = -n - 178. Do n and v have different values?
False
Suppose -2*j = -2 - 22. Suppose -v = -4*v + j. Let w = -1194478/9 + 132724. Which is greater: w or v?
w
Let d(g) = -144*g + 431. Let p be d(3). Which is greater: p or -1/21752?
-1/21752
Let f be 411/60 + -7 - (-4)/10. Is f > -374?
True
Let r be ((-42)/(-17325))/(32/(-336)). Are 0.06 and r equal?
False
Suppose -6 = 2*p - 0*p + 5*f, -4*f - 4 = 2*p. Suppose -p*v + 62 = -18. Suppose c + 17 = 3*o + 48, 135 = 3*c + 5*o. Is v smaller than c?
False
Suppose 102*i + 204565 = -186707. Which is smaller: -3837 or i?
-3837
Let u = 0.013 + 46.987. Let j = u - 46.925. Let b = 0.217 - -0.783. Which is greater: b or j?
b
Suppose -b - 4 + 8 = -3*l, -3*b + 2 = -4*l. Let v(x) = -26*x**3 - 4*x**2 + 5. Let y be v(b). Is y greater than or equal to 196?
True
Let f be -11408*(48/22 - (-10)/(-55)). Let t be f/(-651) + (-1 - 9/(-7)). Let c = -41 + t. Which is smaller: c or -6?
-6
Let f = 50653 + -50652. Let x = -2.01 + 0.01. Let d = 2.2 + x. Do d and f have the same value?
False
Let l be (-2 - -1) + 2/1. Let g = 440724 - 18510407/42. Which is smaller: g or l?
g
Let h be ((-1)/(-2))/(21800/5232). Suppose 3*t - 4 = -1. Which is greater: h or t?
t
Let t = 0.315 + -1.315. Is 22/29 less than t?
False
Let o = -2340.6 + 2348. Which is smaller: o or -2?
-2
Let b = 12.3 + -11.17. Let i = -1.17 - b. Let y = -3.3 - i. Which is bigger: -0.08 or y?
-0.08
Let j(o) = 3*o**2 + 56*o - 18. Let d be j(-19). Let r(b) = -106*b**2 + 2*b - 1. Let z be r(d). Does z = -106?
False
Let m(f) = f**2 - 17*f - 112. Let c be m(-5). Which is bigger: c or -70/43?
-70/43
Suppose -3*h = 4*f - 20, -3*f + f + 10 = -5*h. Suppose -4*c = -5*c + f*s - 601, -2*s - 6 = 0. Let m be 4/(-22) - 1267/c. Which is smaller: 3 or m?
m
Let w be (-852)/(-248)*(1*(0 + -2))/6. Are 0 and w non-equal?
True
Suppose -5*g + 8*g = 435. Suppose -j = -4*d - 85 - 64, -3*d - 728 = -5*j. Is g greater than j?
False
Let r = 5068 + -5063. Which is smaller: 47/11 or r?
47/11
Suppose 104*h = 683129 + 200663. Which is smaller: h or 8496?
8496
Let j = 150 - 171. Let s be (-11)/(j/(-105) + 17/(-60)). Is s greater t