28)/24 + 4/2. Let r = 7.2 - 4.2. Which is greater: r or k?
r
Let k be (14 + 4/2)*2 - 2. Let y = 22 - k. Let r = y - -8. Which is smaller: r or -5/21?
-5/21
Let a = -899 + 1271. Let c = -394 + a. Are -25 and c unequal?
True
Let i = 80 - 135. Let p = -309 + i. Which is bigger: p or -363?
-363
Let f be 2/48*((-3)/(-457))/(-1). Let z = f + -782375/32904. Which is greater: -25 or z?
z
Let h = -6498728/493 - -13182. Let p be 4/(-16) - 1/(-4). Which is smaller: p or h?
h
Let m = 36 - 51. Let f be (3 + 51/m)/(-1). Let o = -275 - -275.2. Which is bigger: o or f?
f
Let x = -11850 - -12275.96. Let i = x - 426. Which is greater: 25 or i?
25
Let w = 5882 - 123518/21. Which is greater: -1 or w?
w
Let a = -741.9 + 818.9. Is a <= -20/7?
False
Suppose 4*c - 20 - 116 = 0. Suppose -3*l - 3 = x - 3*x, 2*l + c = -4*x. Let t be x/(-4)*(-62)/3. Which is smaller: t or -30?
t
Suppose 0 = -4*l - 40*c + 38*c + 8, -3*c - 15 = -3*l. Which is smaller: -301 or l?
-301
Let r be (-16331)/20235 + (76/20 - 3). Let o = r - 2/285. Which is greater: 1 or o?
1
Let v(i) = 39117*i**2 + 5*i - 5. Let z be v(1). Let x be (-102)/z - (1 - 1). Do -0.1 and x have the same value?
False
Suppose -83*l - 2416 = -296 + 3441. Which is greater: l or 4?
4
Let w = 438 + -437. Let d be (-36)/5*11/165. Is d less than or equal to w?
True
Let b(n) = n**2 + 14*n - 11. Let h be b(10). Let j be 0 - 3/h*13/(-39). Is 1 <= j?
False
Let t = -3.31 + 127.11. Let x = t - 124. Are 2/5 and x non-equal?
True
Let c = 1390 + -6103. Is c at most as big as -4714?
False
Let s(z) = -2*z**2 - 77*z - 14. Let t = 270 + -308. Let r be s(t). Which is greater: r or -1/6?
r
Let i = 2/15735 + -122104/3147. Let n(d) = -d**2 + 262*d + 1570. Let m be n(-6). Which is greater: i or m?
m
Let z = -68692/7 + 789464/77. Let d = z + -438. Which is smaller: 1 or d?
1
Let q = 301/83 - 859573/237048. Which is smaller: q or -1?
-1
Let r be 4 - (-8)/((-32)/36). Let x be (1 - 2) + 57*r/15. Which is greater: -19 or x?
-19
Suppose 0 = -217*f - 45808 + 10003. Is -1827/11 < f?
True
Let t = -208 + 212. Suppose 4*z - t*u - 168 = -9*u, 4*z - 172 = -4*u. Which is smaller: 48 or z?
z
Let s be (-6)/27*(-9)/(-6)*-9. Suppose 3*k = s*d - 2*k - 26, 2*d - 16 = 2*k. Which is smaller: d or -3?
-3
Let d = 6155 - 5776. Which is bigger: 378 or d?
d
Suppose -6*z + 0*z - 2*z = 0. Suppose z*i - 103 = -i - 3*w, 3*w + 188 = 2*i. Which is greater: i or 96?
i
Let j(k) = -k**2 - 4*k. Let h be j(-2). Let i(w) = -w**2 + 6*w - 4. Let d be i(h). Let v be (-8)/(-18) - d/6. Which is smaller: v or 1?
v
Suppose -699*p + 607*p = 172040. Is -1870 at most p?
True
Let h = 3789317/101 - 37519. Which is greater: -1 or h?
-1
Let c(n) = n**2 + 17*n - 17. Let t be c(-19). Let k be (-510)/35 - (-12)/t. Which is smaller: k or -20?
-20
Let n be (-39751)/146812 - ((-1)/4)/1. Which is greater: 0 or n?
0
Let s = -9.586 + -0.414. Which is greater: s or 4.4?
4.4
Let x be 1/1 + (6365/(-38))/(-67). Let r be 6/(-15) + 44/10. Does x = r?
False
Suppose -204 = -17*f - 34*f. Let i be (2/f)/(-10 - (-147)/14). Which is smaller: -4/95 or i?
-4/95
Suppose -2*i = -3*c - 6 + 40, 4*i - 44 = -2*c. Let h(p) be the second derivative of -p**4/12 + 7*p**3/3 - 11*p. Let n be h(c). Is n at most 4/11?
True
Let z(l) = 2 - 1 + l + l**3 + 5*l**2 - 8*l**2 + 2*l**2. Let y be z(-1). Are y and -15/7 nonequal?
True
Suppose 14*o + 11 = 15*o. Suppose -156*d + 166*d = 40. Is d <= o?
True
Let i be ((-4)/(-18))/((-22)/(-3)). Let n be ((-50)/10)/(15/(-18)). Let k be -12 + n + 7 + 0/2. Is i at most as big as k?
True
Let u be (-408)/102 - 1014/(-7). Is 142 <= u?
False
Let g = -0.0254 - 165.5746. Let f = g + 263. Let i = f + -102. Which is bigger: 1 or i?
1
Suppose 3*q - 8*n + 62 = -3*n, 2*q + 34 = -4*n. Let z be (-802)/10 + q/(-95). Do 1 and z have the same value?
False
Let w(f) = f**2 - 6*f - 16. Suppose -52 = -4*o + t - 0*t, 52 = 4*o + 2*t. Suppose -3*y + o = -11. Let m be w(y). Is 1/34 bigger than m?
True
Suppose -2*d - 4*d = 0. Suppose 0 = 85*b - 83*b - 4. Let q be (-6 - (-4540)/755)/b. Which is smaller: d or q?
d
Suppose 5*k = -o + 5, -2*k + 0*o = -o - 2. Let q(s) = 46*s**2 - 3*s + 3. Let m be q(k). Which is bigger: m or -1?
m
Suppose -75*j = -69*j + 1746. Is -292 at most as big as j?
True
Suppose 8*a + 4*o = 4*a - 4932, -2*o + 2470 = -2*a. Let k = a - -941541/763. Is k at most as big as 1?
True
Suppose -3*r + 2442 = 1806. Is 210 greater than or equal to r?
False
Let a = 7 - -8. Suppose 0 = 3*k - 4*k + a. Let m(b) = -2*b + 4. Let n be m(k). Which is greater: n or -27?
n
Let z be (-2 + -36600)/((5 + -2)/3). Let c = z + 55891252/1527. Which is greater: -1 or c?
c
Suppose -446*r - 298 - 49 = 99. Which is greater: r or -25/519?
-25/519
Let f be ((-1996140)/7515)/19 - -14. Is 1 at most as big as f?
False
Let s(m) = m**2 + m. Let c(h) = -6*h**2 - 12*h - 9. Let z(f) = c(f) + 5*s(f). Let q be z(-3). Suppose q*g + 2*g = 405. Is g >= 80?
True
Suppose 0 = 68*r - 118 + 254. Which is smaller: r or -101/35?
-101/35
Let i = 1188 - 826. Suppose -i = 12*g + 310. Which is bigger: g or -57?
g
Let u = -32 - -32.312. Let h = u - 0.012. Let i = 7/13 + -5/13. Do i and h have different values?
True
Let k be 33/(-198) + 283/6. Let g = -191 + k. Which is greater: 2/5 or g?
2/5
Let u = -774572/141473171 - -2/128729. Which is greater: -1 or u?
u
Suppose -84*d + 1 = -85*d, 0 = 5*m + d + 231. Are -741/16 and m unequal?
True
Let s = 35 + -60. Let z = -20 - s. Is -2/9 at most as big as z?
True
Let i be ((-35)/(-70))/((-2)/4). Let q be -1*(i - 540/25). Which is greater: 22 or q?
q
Suppose -14 = 3*i + 5*r, -53*i + 54*i - 14 = 3*r. Suppose -156*o = -154*o + i. Is o < -4?
False
Let k = -3.9093 - 38.4607. Which is greater: k or -0.2?
-0.2
Let q(m) = -6*m**3 + 2*m**2 + 2*m - 4. Let h be q(1). Which is smaller: h or -126/25?
h
Let m(x) = -12*x**3 - x. Suppose 0 = g + 5*k, 3*g - 6*k - 80 = -k. Let c be 3/5 + 8/g. Let w be m(c). Which is bigger: w or -1/4?
-1/4
Let u = 9333 - 9332.9. Is u less than 193?
True
Let y be (-1 + 1)/((-2352)/294). Does -42/41 = y?
False
Let z = -3.536 + 3.8. Let n = -0.164 + z. Is n greater than -0.4?
True
Let w be (-36)/(-6) - 5 - (0 + -3). Let j(a) = -a**2 - 1. Let k(p) = 5*p**2 + 2*p + 2. Let t(m) = w*j(m) + k(m). Let u be t(3). Which is greater: 11 or u?
u
Let i = 35 - 8. Let s = 191390 - 191387. Which is bigger: i or s?
i
Let o = 8131056900889/8 - 12565938611109930769/12363400. Let n = 250/8831 + o. Let q = -4/25 - n. Is 4 less than or equal to q?
True
Let x = -5529/2 + 2770. Which is smaller: 3.4 or x?
3.4
Suppose 63736 = 10276*n - 10250*n - 30436. Which is bigger: n or 3623?
3623
Let f(t) = -32*t**2 - 899*t + 64. Let m be f(-28). Is 139 >= m?
False
Let d = 18 + -18. Let v = d + 0.012. Let r = v - -0.158. Is 1 smaller than r?
False
Let l = -202 + 269. Let h = 70 - l. Is -29 less than or equal to h?
True
Let f be ((-1)/(-2))/(35/(-10)). Suppose 3*c - 5*r - 1 = 0, 4*r = 2*r - 10. Let h be 74/9 + c + (-7)/(-9). Which is smaller: f or h?
f
Let a(s) = -50*s**3 - 5*s**2 + 7*s - 5. Let j be a(3). Let y = -4178/3 - j. Is y greater than -15?
True
Let x(c) be the second derivative of -c**4/12 - 19*c**3/6 - 42*c**2 + 128*c. Let k be x(-8). Is 44/9 < k?
False
Let c(w) = -w**3 - 18*w**2 - 9*w + 6. Let h be c(-17). Let u be 4/22 - h/11. Is 43/4 >= u?
False
Let t = -5058/13 - -13133/39. Which is smaller: -24 or t?
t
Let t(d) = -11*d**3 + 38*d**2 - 42*d - 7. Let j be t(11). Do j and -10512 have the same value?
True
Let z = -19663.666 - -19664. Let n be (72/(-20) - -4)*-1. Do n and z have different values?
True
Let p be -5 + 7 - 1 - (-6 - 1). Suppose f = -7 + p. Suppose 3*j + 5*o + 120 = 0, 3*o - 5*o = -j - 40. Which is bigger: f or j?
f
Suppose 72 = 3*m + 4*h, -49*m + 54*m - 120 = 2*h. Let y(z) = -2*z**3 + 2*z**2 - 2*z. Let t be y(2). Let b = t + m. Is 12 > b?
False
Suppose -4*l - 4*n + 23632 = 0, l + 80*n - 5920 = 83*n. Is l smaller than 5910?
False
Suppose -2*s = 2*b - 4, -150*b - 3 = -153*b. Let i be (-63)/(-145) + (44/(-10) - -4). Which is greater: i or s?
s
Let k = -492047204 + 5108434066403/10382. Let b = k + -7/358. Is -1 bigger than b?
False
Let v(t) = t**2 - 10*t + 17. Let b be v(7). Let o(d) = -2*d**2 - 51*d - 23. Let c be o(-27). Let x = 101 + c. Which is smaller: b or x?
b
Let l = 1 + 1. Let q be 78/(3 - 0) + -2. Suppose -32 = -q*v + 8*