Let i be (-1152)/(-160)*10/6. Let n be i/(-48)*(2 - 2). Which is greater: 2/165 or n?
2/165
Let u(y) = -y**3 - 2*y**2 + 2*y. Let d be u(3). Let q = d - -43. Suppose -2*j + q*f - 28 = 2*j, 0 = 5*f - 5. Which is smaller: j or -9/2?
j
Let x = 0.002 - -60.998. Let c = 642 - 644. Is x equal to c?
False
Let v = -2.79 + -8.21. Are v and -4 equal?
False
Suppose -10931 = -r - 16*r. Let c = 644 - r. Is 172/5 < c?
False
Suppose -o = 5*k + 13, 12*k - 12 = 16*k. Let t = 17 - 13. Suppose t*z = -z. Which is bigger: o or z?
o
Let w = -172.86 - -174. Let z = w - 0.98. Do z and -3 have the same value?
False
Suppose 180 = 103*i - 98*i - 2*x, 0 = -4*i - 7*x + 187. Suppose 5*r - 4*r = 0. Suppose -d - 5*j + 49 = -r*j, 0 = d + 4*j - 47. Which is greater: i or d?
d
Let l = 2911 - -6047. Is l smaller than 8958?
False
Let l be (-42954)/(-45) + 12/18. Let q = l + -954. Let r = 1 - 1. Which is smaller: q or r?
r
Let c = -5950 + 7498. Is c at least -2?
True
Let d = 8266 - 8266.4. Which is bigger: 304 or d?
304
Let j = 0.7084 + -284.4084. Let v = -419.6 - j. Let k = v - -136. Which is bigger: k or -38?
k
Let f = 51 + 27. Let b = f + -55. Let k = b + -17. Is 2 less than or equal to k?
True
Let s(t) = -2*t**3 + 303*t**2 + 1857*t + 2. Let h be s(-6). Let w be ((-1194)/9)/((-2)/3). Is h less than w?
False
Suppose -4*p - 4*j - 116 = 0, -8*p - 128 = -4*p - 2*j. Let f be (-2)/8 + (-365)/12. Let v = f - p. Is 2/11 at most as big as v?
True
Let v = 3.3166 + -0.0666. Let u = v + -2.95. Which is smaller: u or 73?
u
Let v = -457 - -510. Suppose 2*p + i - 147 = -0*p, 0 = 4*p - 4*i - 276. Let s = p - v. Which is smaller: s or 20?
s
Suppose -5*d + 19 = 4*f + 88, 4*f - 2*d = -34. Suppose 0 = w - 1, 4*h - 3*w + 7*w + 36 = 0. Is f != h?
True
Let s = -61 - -64. Let m be 5/(4140/(-1744))*-1 - s. Let x = 18/23 + m. Which is greater: x or 1?
1
Let o = 888 - 131. Let u = o - 756.9. Suppose 0 = 2*p - 10, -3*r + 15 = -2*r + 4*p. Is u greater than r?
True
Let q(h) = h + 4. Let u be q(4). Suppose 2 = -u*g + 10. Let y = 6/11 + -8/55. Is g greater than y?
True
Suppose -11*y = -16*y + 15. Suppose q + 67 = -3*q + 5*u, -y*u - 93 = 5*q. Let l be 51/21 + q/42. Which is smaller: l or 2/3?
2/3
Let f = 69721/2814189 + -2/13863. Do f and 0 have the same value?
False
Let o = 452/669 - 2/223. Suppose -10*d - 6325 = -33*d. Let u = d + -832/3. Are u and o unequal?
True
Suppose -82625*q = -82638*q - 16237. Which is greater: q or -8740/7?
-8740/7
Suppose -5*f + 37 = -3*x, 0*f - 3*x = -4*f + 29. Let t be (32/12)/f*3. Let a be (-5)/(-15) - (76/(-30))/2. Which is greater: a or t?
a
Let s(k) be the second derivative of 5*k**4/12 + k**3 - 9*k**2/2 + 2*k - 22. Let o be s(1). Let t = -410/23 - -5384/253. Which is smaller: t or o?
o
Suppose 4*r + 4*u = -20, 5*u + 22 + 3 = -2*r. Let c = -441481/15 - -29432. Which is smaller: c or r?
c
Let y(l) = -l**2 + 32*l - 82. Let r be y(29). Suppose -q - 15 = 4*q, r*d + 3*q = 71. Which is bigger: d or 11?
d
Let w = 0.06391 + -0.16391. Is w smaller than -0.019?
True
Suppose -2*d - 22 = -2*o, 3*d - 5*o - 265 + 320 = 0. Let t(n) = n + 7. Suppose 0 = 4*z + 3*s + 41, -3*s + 3 = -z + 4. Let r be t(z). Is d less than r?
False
Suppose -36786 - 23107 = -593*i. Let x = 280 + -180. Which is greater: i or x?
i
Let l be -10*(-15)/10 + 3. Let v be -2 - l/(0 - 3). Let s be ((v/(-6))/(12/(-9)))/29. Which is bigger: s or 1?
1
Let m = -87/2 + 433/10. Let g = m - 57/65. Is g greater than -2?
True
Suppose 0 = c + 3*c - 1240. Let i = c - 257. Are i and 55 unequal?
True
Let l be -1 + 0 + 1 + 1. Suppose -2*d + 4 = -x + l, -d = -2*x. Which is smaller: x or -2/417?
-2/417
Let x be (-14)/(-7)*6*2/8. Suppose 5*f - 27 = -q, -f - x*q = 2*q - 15. Suppose 3*j + 52 = -2*r + 12, -f*r - 25 = 0. Is j less than or equal to -32/3?
False
Let w be ((-176)/18)/(-1) + (-174)/(-783). Suppose 5*t + 507 = -2*v, -w*v = -8*v + 3*t + 513. Which is greater: v or -260?
-260
Suppose -3*g - 5*f = -4*g - 26, g - 2*f = -11. Let x(m) = -5*m. Let j be x(g). Let r = -2108/9 + 238. Which is smaller: j or r?
r
Suppose -10*o - 139297 = 5717 - 15984. Are -12904 and o unequal?
True
Let j be 4/(-34)*54/6. Let k(g) = -g**3 + 18*g**2 - 18*g + 20. Let y be k(17). Suppose -8*c + 5*c = y*l + 9, 3*l = -3. Is j at most as big as c?
False
Suppose 10946 = -6894*d + 6868*d. Which is bigger: d or -412?
-412
Let p(i) = 8*i**2 - 5*i + 7. Let u be p(4). Suppose 118*h = u*h + 21. Is h less than -0.6?
False
Let w = -15.09 - -1.69. Let g = 0.081 + 4.319. Let a = w + g. Which is greater: a or 0.3?
0.3
Suppose 20 = -5*d, 3*d + 0*d = -2*x - 12. Suppose -4*q - 12 = x, -2*l = -q - q + 50. Let o be l/(-42) + 106/(-6). Is -17 < o?
False
Let z = -420 + 1155. Suppose -64*i = -71*i + z. Which is smaller: i or 107?
i
Let u be (26/3)/((-4)/6). Let s = u - -21. Let i(k) = -15*k - 100. Let r be i(-7). Are r and s equal?
False
Let n = -169 - -149. Let k be (-10)/n + (-90)/52. Are -2 and k non-equal?
True
Let y be (-9)/(-18)*18 - 11. Let w = 76.4 + 17.6. Which is bigger: y or w?
w
Let q = 26159 - 52319/2. Is 11130 equal to q?
False
Let w(b) = -b**3 + 3*b**2 + 11*b - 1. Let h be w(4). Suppose 14*x - 16*x + p - h = 0, -3*p - 23 = 2*x. Which is bigger: -17 or x?
x
Suppose -u - 2*u = 2*v + 1339, 5*v - u + 3305 = 0. Let f = -454 - v. Is -1 greater than or equal to f?
False
Let w = -1 + 1. Let y = 6993 + -6995. Let m be 9/6 + (y - (w - 4)). Are m and -2/7 unequal?
True
Let y = -106 - -97. Let r be 96*(y - -4)/(-5). Is 97 <= r?
False
Let o = 251.66 + -1.66. Let p = o - 249.78. Is -0.03 != p?
True
Let j = 131 - 5107/39. Is -19 less than j?
True
Suppose -4*k + 0*k + 44 = 0. Let j(y) = -34*y + 241. Let h be j(6). Suppose -23*c + 9 = -h. Which is smaller: c or k?
c
Let k = 98 - 106. Let o be (k/7 - 8/(-56))*-1. Which is smaller: 2/111 or o?
2/111
Let k be (-1120)/(-91) - 16/4. Which is greater: k or 8?
k
Let a = 73 + -70. Suppose 0 = j + a*u, 4*u + 8 + 8 = 0. Does 11 = j?
False
Let k = 942.483 + -942. Let z = -3591 + 3590.9. Is z <= k?
True
Let s(t) = -7*t**2 + 18*t + 7. Let g be s(-12). Let f = -530 - g. Let a = -4800/7 + f. Which is smaller: a or 1?
1
Suppose 5*g + 20 = -10. Let r(b) = -4*b - 22. Let l be r(g). Let k = -101/2 + 52. Which is bigger: l or k?
l
Suppose -14*n = 5*v - 13*n - 1569, -4*n + 1566 = 5*v. Is v at least 316?
False
Let c be 20/5 - 1/(-1). Suppose 17 = -22*d + c*d. Does d = 1/25?
False
Let s = 1 + -1.09. Let u = 0.47 - s. Let i be (-510)/1540 + (-3)/(-66). Which is smaller: i or u?
i
Suppose -48*x - 24168 = -8333 + 7109. Is x < -478?
False
Let o = -29 - -31. Suppose w + 430 = -4*w - 3*j, -4*w = o*j + 344. Let m be 3 + (w/(-28))/(-1). Which is smaller: m or 1?
m
Let f(b) = -41*b**2 + 4*b - 5. Let u be (-32)/(-8)*1/4. Let y be f(u). Let w be (-14)/20 - y/210. Which is bigger: w or -0.094?
-0.094
Suppose -4*o = 319 - 271. Let b(h) = -h**3 - 13*h**2 - 10*h + 24. Let j be b(o). Suppose -5*s - 5 = 0, -r - 3*s - 2 = 8. Is r equal to j?
False
Let g = -25178.3 - -25200. Are g and 4 equal?
False
Let r(y) = y**2 - 30*y + 125. Let x be r(5). Suppose x = -164*c + 165*c - 38. Is c <= 36?
False
Let m(w) = -w**3 + 11*w**2 - 11*w + 16. Let o be m(10). Suppose o = 4*x + 10. Let u = -7/41 + -443/287. Is x at least u?
True
Suppose 3*x - 4 = -3*t - 7, -2*t + 1 = x. Suppose -y = t*b + 10, y + 4*b - 10 = 7*b. Let p be 2/(-4)*10/3. Is y at least p?
False
Let h be (-55)/1958*(3 + 833/(-35)). Which is smaller: h or 2?
h
Let p = 258 + -152. Let v be p/76 + (-12)/8. Suppose 41 = 35*a + 6. Is a greater than v?
True
Let d be (-273)/(-12) + (-2 - (-18)/8). Suppose 14*t = 48*t - d*t. Which is smaller: 2/1079 or t?
t
Let y(q) = q**3 - 12*q**2 + 7*q + 5. Let h be y(1). Which is greater: -7/78 or h?
h
Let n be (-890 - -785)*(0 + 17 + 1). Which is smaller: -1891 or n?
-1891
Let f = 7401956/317 + -23350. Which is smaller: -1 or f?
-1
Let z = 9/379 - -21107/4927. Let f = 3324 - 3319. Which is bigger: z or f?
f
Let o = -47.2 - -46.2. Let z be (0 - -1)*(12 + 24). Let w = z - 49. Which is smaller: o or w?
w
Let j(r) = r**3 - 3*r**2 - 13*r + 40. Let c be j(4). Suppose -2*u + c*u + 39 = s, -2*u = 2*s + 48. Let m = -45 + 24. Is u < m?
False
Let v be (2/4)/(5 + -2 + -15). Suppose 0 = -3*w + 2*w + j + 57, -53 = -w + 3*j. Let p = 58 - w. Which is greater: p or v?
v
Let i = -177 + 21. Let f be (-6)/2 - i/48. Wh