 0. Which is bigger: s or -9/7?
s
Let m = -31 - -12. Let f = 9761/552 - 3/184. Let a = f + m. Which is smaller: a or -1/3?
a
Let r = 68199 - 5387601/79. Is 3 >= r?
True
Let w = -4463.4 + 3737.4. Which is smaller: 9 or w?
w
Let h = 0.248 + 0.352. Let x = 0.466 - -1.534. Is h less than x?
True
Suppose 695*a - 693*a = -126. Is a at most -66?
False
Let c be -79 - (-7 - (3 - 10)). Is -79 >= c?
True
Let m be 0 + 4*4/(-2). Let f be (10/5 + 2)*(-3)/(-4). Suppose 18 = -f*l - 9. Is m bigger than l?
True
Suppose 12*u + 23*u = -13*u - 3024. Let c(m) = 2*m**3 + 5*m**2 + 3*m - 3. Suppose -w + 33 = -3*w + 5*a, 5*w = -5*a + 5. Let o be c(w). Is u at most o?
True
Let y be 14*((-1397)/209 + 3). Which is bigger: -53 or y?
y
Let l = 0.108 - -1.112. Let c = l + -35.22. Let h = 34.01 + c. Does -0.2 = h?
False
Let k be 7/(14/300) - 2. Let x be 9 + ((-80)/10 - -7) + (4 - -135). Which is greater: x or k?
k
Let l = 9449 + -9405.69. Let z = l + -43. Let v = z - 0.31. Is -4/3 smaller than v?
True
Let g = -2540 - -2612. Which is greater: -2/77 or g?
g
Let s be (47 + 3)/(89/(-2)*-2). Let q = s - -641/1869. Which is smaller: 1 or q?
q
Let h = -1575 + 1604. Is h at least 6/7?
True
Suppose -f - 13 = -13. Let q = -12 - 10. Let i be (12/(-36))/(q/(-12)). Which is bigger: i or f?
f
Suppose 1768 + 1169 = -33*k. Let v be 0 - (-1)/((-1)/(-81)). Let p = v + k. Is -3 at most p?
False
Suppose -h + 22 = z, 0 = -2*z + 4*h + 26 - 6. Let d be (-488)/336 - 3/z*-1. Which is smaller: -6 or d?
-6
Let p be 264/22*1/4. Suppose 0 = -2*n, p*a - 3*n - 4 = -a. Is a equal to 4?
False
Let b = 6.753 - 5.753. Which is smaller: -22/19 or b?
-22/19
Suppose 0 = 15*m + 13*m - 56. Suppose m*r + 3*q - 2 = 5*q, 5*r + 3*q - 5 = 0. Is -2/321 < r?
True
Let f = 628/23 + -1907/69. Is f bigger than 176?
False
Let u = 6487 + -6292. Which is smaller: u or 194?
194
Let m = 21/5140 - -3093629/159340. Is 19 at most as big as m?
True
Let z(l) = l**3 - 16*l**2 - 2*l - 115. Let b be z(17). Let k be 40/b + 1/(-7)*2. Let g = -1/407 + -751/25641. Is g less than k?
True
Let f = 0.35116 - 26.35116. Which is bigger: -62 or f?
f
Let w(g) = g**2 + 6*g + 4. Let x be w(-4). Let u be (x/2)/(1*2)*-52. Suppose -u = -7*h + 11. Is h bigger than 6?
True
Let p = -5839 + 5700. Is 9 < p?
False
Suppose 4740 = -3*k + 5*x + 512, k - x = -1410. Which is smaller: k or -1410?
k
Let p(g) = -g**3 - 37*g**2 + 2*g + 12. Let v be p(-37). Let x = 66 + v. Do 4 and x have the same value?
True
Suppose -5*m + 2*h = -155909 + 59475, -77146 = -4*m + 2*h. Is 19288 less than or equal to m?
True
Suppose -6 = 2*w - 10. Suppose -w*d + 5*r = -163, 111 = 3*d + 5*r - 171. Let n = -90 + d. Which is smaller: -4/7 or n?
n
Let q = -95 + 105. Suppose -q*o - 34 = -24. Which is smaller: o or -2/23?
o
Suppose -132*y - 148828 = -16*y. Is y less than or equal to -1285?
False
Suppose 7 = -2*v + r - 67, -3*r = 3*v + 102. Let g = v + 40. Suppose 2*y + 2*j + g = 0, 0 = 2*j - 7*j + 5. Is 3 smaller than y?
False
Let t = 31895 + -31731. Which is smaller: 161 or t?
161
Let r be (-13853)/42 - (-320)/20. Is -313 bigger than r?
True
Suppose 17 = p - 5*h - 15, 3*p = -4*h + 20. Suppose 4*l = l + p, -5*l = 2*c - 14. Which is smaller: -4 or c?
-4
Let k be ((-4)/(-4))/((-2)/8 - 31/(-636)). Which is smaller: k or -4?
k
Let o(q) = -3*q + 35. Let p be o(7). Suppose p*w = 1 - 1. Which is bigger: w or 5/23?
5/23
Suppose -22 - 1 = -3*s + y, -5*s = y - 49. Let p(u) = 1 + 15*u - 34*u**3 + 64*u**3 - 8*u**2 - 2*u - 29*u**3. Let d be p(6). Is s greater than or equal to d?
True
Suppose -5*n + 144 = -2*n. Let a = 47 - n. Let g be (a/2)/(3/(-12)). Is 15/7 != g?
True
Suppose 20*b = -3*j + 16*b - 172, -3*j + b = 197. Let u be j/(-28) - (-1 + (-24)/(-6)). Let k = -2/277 - 544/1385. Which is bigger: k or u?
k
Let t be (-46)/(-4)*(2 - 0). Suppose -27*g - 116568 = -116109. Which is bigger: g or t?
t
Let s be (-6)/8 + 4072554/(-3140424) - -2. Let t = s - -8/217. Which is bigger: t or 1?
1
Let m = -214 + 232. Let f be -3 + (-9)/(m/4). Do f and -11 have the same value?
False
Let s = 226 + -209. Suppose -5*n - 2*g = -5*g - 22, -4*n - 5*g = 12. Let h(c) = -c**2 + 2. Let u be h(n). Which is greater: s or u?
s
Let z be 26*(11/33)/((-2)/21). Let i be (z/(-14))/((-1)/(-10)). Which is smaller: 64 or i?
64
Let h = 2/293985 - -636183526/2057895. Which is smaller: h or 308?
308
Let u = 20526 - 3304725/161. Let k be (-50)/(-92) - 1/2. Let d = u - k. Which is greater: d or 1?
1
Let o = -2/16023 - 2155/1073541. Is o greater than 0?
False
Let g(z) = -z**3 + 22*z**2 - 27*z - 4. Let i be g(21). Let t = i - -92. Let v = t + 14. Is -25 at most as big as v?
True
Suppose -2*n - 39 + 103 = 0. Let s = -223 + 258. Which is bigger: s or n?
s
Let u = -117 + 120.1. Let b = 4.9 - u. Let p = b + -3.8. Is 2 at most p?
False
Let d be ((-72)/(-117792))/(36/(-32)). Which is smaller: d or -1?
-1
Let s = -3306 - -3311. Are 101/23 and s equal?
False
Let y be (-7)/(-70)*55 - 2/4. Suppose -y*j - 30 = 5*x, -x = 20*j - 22*j - 24. Is j smaller than -75/7?
False
Suppose -210*j - 3*w - 21 = -209*j, 5*j - 4*w - 28 = 0. Is j at least as big as 1/2619?
False
Let g = 252 - 269. Let w = g - 108. Which is bigger: -123 or w?
-123
Let z(d) = -8*d**3 - d**2 - d. Let q be z(-4). Suppose -40 = 504*b - q*b. Does -53/6 = b?
False
Let w = 175.9 - 57.9. Is -5 at most as big as w?
True
Let p be -154 + -12*1/(-4). Let d = p - -152. Do d and 2/321 have different values?
True
Let a(c) = c**3 - 7*c**2 - 101*c - 943. Let v be a(17). Let i(p) = -46*p + 1. Let d be i(-5). Which is greater: d or v?
d
Suppose -76*c = -66*c + 830. Let n = -240 - c. Do n and 1 have the same value?
False
Let y be 9 - 100/(24 + -14). Is y <= 2/2165?
True
Let j be ((-255)/(-25))/((-18)/(-30)). Suppose -j*n + 466 - 483 = 0. Which is smaller: 18/101 or n?
n
Suppose 0 = -18*d + 16*d + 8. Suppose 10*h - d*h + 492 = 0. Which is bigger: h or -83?
h
Let s = -195 + 3511/18. Let o(l) = l**2 + 6*l + 10. Let j be o(-5). Suppose -7*v = -j*v - 5*v. Is s != v?
True
Let t(u) = -57*u - 1311. Let j be t(-23). Which is bigger: j or 13/81?
13/81
Suppose -5*j + r = 1057, 24*j - 26*j = 3*r + 433. Which is smaller: -187 or j?
j
Let i be (32/480 - (-39)/90)*(7 + -4). Which is smaller: 0.312 or i?
0.312
Let n = 19507 - 19473. Suppose -4*h + 4 = 0, -4*i - 2*h = -6*i + 6. Suppose -k + 3*f + 2 = -19, i*k - 2*f = 124. Which is smaller: n or k?
k
Let i(h) be the second derivative of -h**4/12 - 7*h**3/3 - 15*h**2/2 - 107*h. Let k be i(-11). Do k and 9 have the same value?
False
Let u = -336078/25 - -13440. Which is smaller: u or -1?
u
Let i be 9/(-6) + (0 - -1). Let r be (63 - -1 - 0)*(-14)/(-28). Let v = r + -32. Is i < v?
True
Let v = 0.3 + -0.2. Let h = -906.443 - -907. Let c = 0.467 - h. Are v and c equal?
False
Let c = 834/35 - 3991/35. Let a = 1358/15 + c. Is 30/11 greater than or equal to a?
True
Let p = -17.27 - -0.27. Let b = -34.3 + 36. Let r = b + -1.5. Do p and r have the same value?
False
Let b be 3/(-12) - 191/(-2). Let c = -96 + b. Let j = 1256 + -1258. Are j and c nonequal?
True
Let c = 11094 - 11076. Is 1/20 equal to c?
False
Let g(x) = -10*x - 522. Let m be g(-57). Let k = -37159/5 - -7480. Is k <= m?
False
Let h = 4740 - 4739. Which is bigger: -207/17 or h?
h
Let t be (-3 - -3)/9 + (470 - 0). Let p = t + -470. Let c = -2/1049 + 2172/38813. Is c != p?
True
Let q = 0.3 + -0.16. Let g = -86.792 - 0.208. Let o = g - -88. Which is greater: o or q?
o
Let a = -704.3 - -704.6. Is 260/7 less than or equal to a?
False
Let h = 142820/103129 + -2/7933. Suppose -478*v - 251 = -729. Which is smaller: h or v?
v
Let k = -9214 - -9347. Which is smaller: k or 111?
111
Let w(p) = p - 3. Let f be w(0). Let s be f/(-9)*(-3)/(-4). Let u be (((-6)/(-9))/((-8)/(-3)))/((-225)/(-1620)). Which is smaller: s or u?
s
Let k(y) = -52*y - 2912. Let m be k(-56). Let p = -1957/4906 - -18/223. Which is smaller: p or m?
p
Let r = -2263 + 2264.2. Which is smaller: r or 116/15?
r
Let z be 12/10 + 451/(-55)*1. Let q be (z - 243/(-36))/((-2)/(-8)). Which is bigger: q or -30/17?
q
Let m = -47321 + 160181584/3385. Is m bigger than 0?
False
Let n = 384 + 55. Let l = n - 438. Which is greater: l or 3/349?
l
Let f = 57.8 + -306.8. Let l = f - -246. Are l and -0.21 unequal?
True
Let o be ((-2)/3)/(392/2352)*1/35. Suppose -2 = -4*i + 2*i. Is o at most as