 = 97 - 96.816. Let o = -0.214 + w. Which is greater: -1/32 or o?
o
Let p = -14 + 56. Let n = p + -87. Is -45 greater than or equal to n?
True
Let x be 5 - -2 - (-10)/(-2). Suppose x = 5*b - q, 9*q = 2*b + 4*q - 10. Let i be (-1 - 22/(-6)) + -2. Which is smaller: i or b?
b
Let o = -202.326 - -0.326. Let v = o + 209. Which is smaller: v or -3?
-3
Suppose 1077*s - 1066*s + 198 = 0. Let d be (256/(-264))/(-16)*s. Is 0 > d?
True
Let h(m) = m**3 - 111*m**2 - m + 38. Let x be h(111). Is x < -74?
False
Let p(y) = -y**3 - 3*y**2 + 4*y - 5. Let g be p(-4). Let o be (3 + 2 + g)*-1. Let c be ((o - -4) + -3)/(-1). Is c at most as big as -4/21?
True
Let t be (121/(-22) + 8)/2 + (-1437)/(-28). Which is bigger: 1 or t?
t
Let s = -3642/13 + 10928/39. Which is smaller: s or 179?
s
Let m be (-8 + 18)*(-4)/((-8)/3). Are m and 420/29 unequal?
True
Suppose 3*q + 88 + 9 = -2*o, -2*o = -q + 85. Which is smaller: -431/10 or o?
o
Let l = 0.1844 + 0.0276. Let a = l + 153.788. Which is bigger: 1/3 or a?
a
Let s(l) = l**3 + 26*l**2 - 26*l + 33. Let z be s(-27). Suppose 5*b - z*b - 7 = 0. Is -4 != b?
True
Let j(h) = h**2 + 4*h + 7. Suppose -8*s + 66 - 2 = 0. Suppose 8*f + s*f = -48. Let g be j(f). Is 5 > g?
True
Let d = -2 + -50. Let g = d + 88. Let m = 28 - g. Is -7 equal to m?
False
Let l = -2079/128 + 2704731/166528. Are 1 and l nonequal?
True
Let q = -252849 - -252864. Suppose 9 = u - 5. Is q at most as big as u?
False
Let v(u) = 10*u - 45. Let k be v(7). Let b = k + -131. Which is smaller: b or -107?
-107
Let v be (6/(-4))/((1080/(-496))/45). Which is bigger: v or 73?
73
Let p(n) = -543*n + 810. Let i be p(-15). Is 8954 bigger than i?
False
Suppose 0 = -r + 2 - 0. Suppose k = -1 - r, -5*m + 17 = -4*k. Suppose -2*y + 2*d - m = -11, 29 = 5*y - 3*d. Is 6 at least y?
False
Let r(h) = h**3 - 24*h**2 + 75*h + 9. Let n be r(27). Let w = n - 966607/229. Which is bigger: w or -1?
w
Let k be 2/6 - (-5780)/(-20400). Which is smaller: k or 35?
k
Let v = 4121 + -4122. Which is greater: v or 385?
385
Let f be 7*(-10)/(-210)*-9. Let x be f/(-7) + 272/1162 + -1. Which is bigger: -1 or x?
x
Let k = -1350 + 1350. Is k greater than -6/65?
True
Suppose -3 + 0 = -3*c - 3*g, 2*c = -3*g + 3. Let u(l) = -l**3 - l**2 - 28. Let w be u(c). Let y = -15.903 - -14.903. Are w and y unequal?
True
Let c = 13407 + -13404. Is c at most as big as 7.102?
True
Let n = 49445/13743 + -8/1527. Which is bigger: 4 or n?
4
Suppose 2*y = -5*i + 41, -18 = -y - 3*i + i. Let a = y - 10. Let n be ((-208)/(-195))/(1/((-25)/10)). Which is smaller: n or a?
n
Let b(s) = 15 - 4*s**2 + 5*s**2 - 9*s + 0 + 2. Let p be b(5). Let f be 0 - (2 + p + (-123)/(-3)). Do -0.1 and f have the same value?
False
Suppose 40*g - 45*g - 915 = 0. Let s be (-36)/12 - g/(-4). Let i = -49 - s. Is i greater than 21?
False
Suppose -3*b + 24*j = 23*j - 345, 0 = -5*b + 5*j + 555. Is 117 greater than or equal to b?
True
Let u be (8 + 330/(-44))*3162/(-9). Which is smaller: -175 or u?
u
Let u = -77 - -78. Let z = -31082 + 41245812/1327. Do u and z have the same value?
False
Let x be 3094/1092 - ((-25)/6)/(-5). Which is bigger: 246/119 or x?
246/119
Let b(h) = -h**3 - 7*h**2 + h - 57. Let f be b(-8). Which is greater: f or 19/199?
19/199
Suppose -10710 = -8*u + 25*u. Which is smaller: -629 or u?
u
Let r = -24 + 78. Suppose -4*c + 3*c + r = 0. Suppose -2*o = -c + 62. Which is smaller: o or 1?
o
Let m be -7*(3 - 2)*1. Let l be (1 + m)/2 - -2. Let p = -2.52 + -17.48. Is l >= p?
True
Suppose 0 = 7*z - 2*z + 4*s - 30, 0 = z - s + 3. Suppose 2*r = 4*g + z, -4*g - 5 = 3*r - 2*r. Are -4 and r nonequal?
True
Suppose -13*h + 170 = -183*h. Which is smaller: h or -10/5327?
h
Let s = 177 - -4. Let c = s + -203. Which is greater: c or -20?
-20
Let z(x) = -19*x**2 - 4*x + 3. Let a be z(-4). Let s = a + 1404/5. Let p(h) = h**2 + 4*h + 1. Let j be p(-2). Is j at most s?
False
Suppose 2*o + 7 = 5*c + 3, 2*c = 4*o - 24. Suppose -o*u + u - 287 = 0. Let q = u + 122/3. Which is smaller: -1/2 or q?
-1/2
Let a be ((-202)/(-354))/((-34)/119) + (-2)/(-1). Is 0 at most a?
True
Let q be 0 + 30/(-20)*626/(-3). Let f = q + -1562/5. Is -0.063 != f?
True
Let l = -207 + 207.409. Let n = 0.289 - l. Do -0.1 and n have the same value?
False
Let y be 13 + (-32)/(8 - 4). Suppose 0 = 2*i - y*m + 2, 1 = i - m + 2. Suppose 5*n - 60 = -0*n. Is i smaller than n?
True
Suppose -192 = -17*f + 16*f. Suppose -306 = -6*y + f. Is y at least 84?
False
Let v be (20/24)/((-406)/42 - -13). Let s = 2 - 3. Let t = s - -2. Which is bigger: t or v?
t
Suppose -q + 4*a = -4 - 22, 4*a = 0. Let b = q - 24. Suppose p + 6 = -b*p. Which is smaller: p or 14?
p
Let v = -45317/1334892 + 20/597. Which is smaller: v or 1?
v
Let m = -5.7 + 6. Let y = 14.0158 + 10.9842. Which is smaller: m or y?
m
Let d be (-41838)/180 - (-6)/(-4). Let q = d - -3988/5. Let l = q - 559. Which is greater: 2/3 or l?
l
Let a = -54 - -54.05. Suppose -5*j - 34 = -m, 0 = 2*j + 4*m - 2*m + 4. Let c be j/2*(-13)/(-39). Which is greater: a or c?
a
Let r(m) = m**2 - 11*m + 14. Let v be r(10). Suppose 2*c + 8 = 4*h - 2*h, -v*h + 16 = -2*c. Suppose -5*y = 3*d - 29, -d - 2*d - 6 = c. Is 0.05 > y?
False
Let h = -1631397617/35 - -46616758. Let x = h - 5397. Does 0 = x?
False
Let m be 3 - (-1 + (-2 - (-16)/4)). Suppose 2*d = 0, -5*o + m*d = -13 - 17. Suppose 0 = o*h + 3 + 3. Which is greater: h or -4/59?
-4/59
Let b = 2399 - 2388. Which is bigger: -43 or b?
b
Suppose -2*s = -r - 36, 0*r = 2*r + s + 82. Let b = -19 + 27. Let v be ((-8)/(-42))/(b/(-12)). Which is smaller: r or v?
r
Let k be (-15)/35 - 69/(-161). Which is greater: k or 2/7781?
2/7781
Let a = -8312 - -108137/13. Which is smaller: a or 5?
5
Let s(j) = -j**3 - j**2 + 3*j - 2. Let r be s(1). Let y(z) = 17*z**3 - 2*z - 1. Let b be y(r). Which is smaller: -18 or b?
-18
Let v(q) = -2*q**3 + 70. Let d be v(0). Let y be d/(-90) - 8/36. Which is greater: y or 2/23?
2/23
Let g be (6 + 0)*(-21)/(-6). Let f be 4/8 - (-14)/(-28). Let x be -1 + f + 21 - (29 + -31). Which is bigger: x or g?
x
Let b = 946/7 - 171240/1267. Which is smaller: 3/8 or b?
b
Let h = 2077 - 2077. Does h = 3/1642?
False
Let o = 8.897 + -9.897. Which is smaller: -1896 or o?
-1896
Let o be (2574/(-42))/(-11) - 40/70. Is 11/25 at most as big as o?
True
Let x = -53 - -52. Let c be 5/(-7)*(9 - (-11)/x). Which is greater: c or 1?
c
Suppose 0 = -5*n, 4*r - 5*n = 7*r - 15. Suppose 2*i = 12 - 2. Suppose 29 = 3*j + j + i*b, -j = -5*b - 1. Which is smaller: r or j?
r
Let w be (0 - (-2)/5) + (-23754)/1110. Which is greater: w or 156?
156
Let o = -0.34 - -26.34. Let m = 25.77 - o. Let z = -0.172 - -0.072. Which is bigger: z or m?
z
Suppose 3*c - 100 - 1302 = 4*l, -3*c = 5*l + 1739. Let y = l + 336. Let h be 82/(-6) - 4/(-6). Is h bigger than y?
False
Suppose -4*h - 2 = p - 3*h, 4 = 3*p - 2*h. Let t be (-2)/((-3)/2 + 1). Suppose 4*q - 2*b - 18 = p, 21 = -t*q + 8*q - 5*b. Is 4 greater than q?
False
Let o be (-3)/(-30) + (5 - 84/40). Suppose -o*y = 5*m - 59, -26*m + 21*m + 69 = -2*y. Is m greater than or equal to 9?
True
Let k = 2577 + -2579.5. Is 16 less than or equal to k?
False
Let v(f) = 12*f**2 + f - 33. Let p be v(-19). Let w = p + -17267/4. Is w bigger than -38?
True
Let v = 2351671/11376 - 114347/158. Let g = 517 + v. Does g = -1?
False
Suppose -4*b = -2*r + 3662, -6*r - r = -4*b - 3637. Are b and 5 equal?
False
Let i = -3824.698 + 3818. Let d = 6.6 + i. Which is bigger: d or 0?
0
Let r be ((64/(-6))/2)/((-6)/9). Suppose 2628 = -r*f + 11*f. Let t = f + -11382/13. Is 0 greater than or equal to t?
False
Let w(k) = -k**3 + 2*k**2 + 115*k - 17. Let q be w(-12). Which is smaller: q or 620?
q
Let i = -177 + 443. Let k = i + -264. Is -8/5 less than or equal to k?
True
Let i(h) = -2*h**2 - h. Let x be i(-1). Let g be 0/(-1 + 3) + -3563. Let f = g - -488133/137. Is x at most as big as f?
True
Let d be ((-605)/(-66) + -9)/(74/18). Which is smaller: 0.6 or d?
d
Suppose 5*s = d - 16 + 21, -2*s = 3*d + 66. Let m = -32 - -16. Is m greater than d?
True
Let k = -256.3 - -256.4. Which is greater: k or -3371?
k
Suppose 100 = 6*r + 166. Let w = -138 + 143. Is w greater than r?
True
Let m = -173024/43 - -4024. Let d = 115905330/52417 + -117180/53. Let v = m - d. Which is greater: -0.4 or v?
v
Suppose 4*o = -4*k + 32, 2*o - o - 4*k + 17 = 0. Let p(y) = y*