e (-104)/20 - (c + -4). Which is smaller: 0.32 or m?
m
Let g be 4/16 + 2/(64/120) + 7872/(-1353). Suppose 0 = -j - 6 + 3. Does j = g?
False
Let x(t) = t**3 - 126*t**2 + 106*t + 105. Let g be x(125). Which is smaller: g or -2268?
g
Suppose 82 = -83*r + 85*r + 266. Which is smaller: r or -16?
r
Let y be 1221/1422 - (-41 + 113435/2765). Let g = -48 - -20. Which is smaller: y or g?
g
Let y be (16/(-10))/(38/(-95)). Suppose 6 = -y*k - 4*b + 3*b, 3*k - 2 = -4*b. Let x be 3 - 4 - 3 - k. Which is bigger: -20/11 or x?
-20/11
Let i = -1161.3 - -1403.3. Which is smaller: -8 or i?
-8
Suppose 5*v - 2*o - 662 = 0, 2*v + 3*o + o = 284. Is v >= 135?
False
Let l = -0.18 - -0.2. Suppose -21*v = 10 - 10. Let d = -1/2 + v. Is l smaller than d?
False
Suppose 0*p - 2*p - 2*m + 70 = 0, 0 = 2*p - m - 64. Let r be (((-22)/p)/(-2))/((-4)/(-18)). Is r greater than 2/5?
True
Let z = 51/5615 - -2688213/769255. Is z <= 4?
True
Let w(m) = 2*m**3 - 79*m**2 + 30*m + 100. Let b be w(39). Is b bigger than -253?
True
Let u(v) = -v**3 + v**2 + 2*v + 1. Let i be u(-1). Let g = 81 + -4. Let o = g - 68. Do o and i have the same value?
False
Let m be ((-100)/(-6))/((-36)/(-54)). Suppose -1 - 2 = -l - 2*r, -15 = -5*r. Which is greater: l or m?
m
Let k = 2856983 - 2648423501/927. Let r = k - -6/103. Is 22 < r?
False
Let k be (2/19 + ((-11985)/(-1482) - 8))*2. Let a be -2 + 7 - (-2 - -4). Suppose -2*m + 6 = 3*w, -9 + 3 = -3*m - a*w. Which is bigger: k or m?
k
Let d = 92 - 93. Suppose -2*z - z = 6. Let p = z - d. Which is bigger: 2/69 or p?
2/69
Suppose -g = -5*g - 3*o - 918, -2*o + 466 = -2*g. Let a be (-4)/14 - (-2398)/g. Are 0 and a unequal?
True
Let q = -9 - -4. Let m be 8/(q/6*36/(-45)). Suppose 3*p = 3*t - m, -2*t + 4*p = -0*t - 18. Which is bigger: t or -1/8?
-1/8
Let n be (-142990)/(-140) + (-2)/(-14). Let y = n - 157327/154. Which is smaller: y or 0?
y
Let d = 17/15 - 244/255. Let m = -0.4926 + 0.0526. Let v = m - 0.56. Which is bigger: v or d?
d
Let v(k) = -54*k - 1712. Let c be v(-32). Which is smaller: c or -10?
-10
Let a = -48 + 148. Suppose 4*u = -7 + 35. Suppose a = -u*b + 16. Is -12 bigger than b?
False
Let y(s) = -s**2 - 7*s + 20. Let w be (2 - (10 - 7))*11. Let p be y(w). Which is bigger: -101/4 or p?
p
Let y = 81578 + -81611. Let p = 55 + -88. Is y smaller than p?
False
Let n be 47/((4 + 3)*-1 + -12). Which is greater: -3 or n?
n
Let a = -65905/9692166 + -1/7467. Which is smaller: 0 or a?
a
Let v(c) = -17*c + 69. Let h be v(6). Let o be (-22)/h*(-2)/4. Does 23 = o?
False
Let l = 85 - 81. Suppose l*a - 146 = -2*f, f + 2*a = 5*a + 73. Suppose -4*u = -f + 289. Are u and -54 unequal?
False
Let q(p) = 3*p**2 + 181*p - 151. Let t be q(-39). Do -5291/2 and t have different values?
True
Let a(d) = -21*d - 18*d - 98 - 72. Let o be a(-5). Is 31 > o?
True
Suppose -5*h + 15 = -25. Let l = 8 - h. Let c = 17.19 + -28.19. Are l and c equal?
False
Let o(m) = m**2 + 9*m - 3. Let h be o(-9). Let k = 2.254 + 0.046. Let l = 2.9 - k. Which is bigger: h or l?
l
Let n be -5 - (-1 + 3) - -3. Let q be 238/(-358)*6 - n. Which is smaller: q or 0?
0
Suppose 168*l - 10 = 163*l. Suppose -40*q = -41*q - 5*z + 16, 3*z - 7 = l*q. Which is smaller: q or 2/15?
2/15
Let z = -1/352 - 13/32. Let y be (3 + -3 - -1)/1. Do z and y have the same value?
False
Let c(b) = 20*b + 4. Let z be c(1). Suppose 0 - z = -d. Suppose -4 = x - d. Is 20 > x?
False
Let g = -46 + 208. Let c = -274 + g. Let z be 14/c - (-49)/136. Which is smaller: -1 or z?
-1
Let t = 59 - 59.101. Let a = 1.101 + t. Is a at most 4.1?
True
Let d be (326 - -1 - -3)*2/(-4). Let k be (12/10)/(66/d). Is -2/25 less than or equal to k?
False
Let c = 32111/505 - 35129488/526715. Let s = c - 5/149. Which is bigger: s or -2?
-2
Let t be ((9/1212)/(678/28))/1. Let y = -35163523/228260 + t. Let b = y - -154. Is 2/3 bigger than b?
True
Let p be -2 + 1859/(-464) - (-1)/(12/72). Which is smaller: p or 0?
p
Let j be 146/(-4) + (-2)/4. Suppose -13*x - 1156 = -285. Let c = x - -31. Are j and c non-equal?
True
Let j be 590/2 + -4 + 6. Let t = -294 + j. Is 15/7 less than or equal to t?
True
Let y(i) = -58 - 2*i + 4 + 6*i - 3*i. Let l be y(-6). Is l <= -62?
False
Suppose 171 = -39*k - 258. Let v be ((231/(-12))/k)/(4/(-48)). Which is greater: v or -25?
v
Let n be 4/18 - (-58106)/396. Let u = n - 147. Let d = u - -6/11. Which is bigger: 21 or d?
21
Let t be (3/(-6))/((-2)/(-16)). Let c be -9*3 + (t/4 - -3). Let r = 20 + c. Is r < -4?
True
Suppose -2*t - 102 = 8*u - 10*u, 2*t = -u + 60. Is u at most as big as 167?
True
Let t(m) = -m**3 - 53*m**2 - 3*m - 42. Let f be t(-53). Let s = -14 - 13. Let h be (12/f)/(6/s). Which is smaller: 1 or h?
h
Let m = -1 - -4. Let t be (-9)/(m/(-1)) - 16. Let g be (-4)/(-5)*(-21)/12*10. Is g equal to t?
False
Let t = -3187 - -3186. Which is bigger: 5 or t?
5
Let x be (-4)/(304/25) + 5/10. Which is bigger: x or 0?
x
Let b = 1.003 + -0.113. Let k = 22607 - 22609. Is b > k?
True
Let j = -6335 - -6805. Is -1.5 >= j?
False
Let r be ((-6)/27 - (-1952)/(-18))/((-39)/27). Is r < 74?
False
Let u(t) = t**3 + 16*t**2 + 4*t + 79. Let i be u(-14). Is i less than 415?
False
Let b = 35.5 + -31.5. Let p be (((-2)/6)/(-1))/(10/(-75)). Is b greater than p?
True
Suppose -3*w - 3*b + 6 = 0, -3 = 4*b - 15. Let t be 4/18 - 253/45. Let k = t + 4. Which is smaller: k or w?
k
Let b = -7229 - -13171. Which is bigger: 5943 or b?
5943
Let m = -2/453 + -35/26274. Let n = 7104 - 7103. Which is bigger: n or m?
n
Let c = -238 - -269. Suppose c*p - 192 = 19*p. Which is greater: 17 or p?
17
Suppose -1156 = -n - 342. Let t be (n/1452)/(1/3). Let d = -3/2 + t. Is 3 greater than d?
True
Let u = 217.0744 - 217. Let v = u - -56.9256. Let p = 2 + -3. Are p and v unequal?
True
Let u be (-4 - (2 - 3)) + 0 + (-116983)/799. Is -149 less than u?
False
Let n be (4 - 8060/35)/(20/(15400/(-15))). Which is greater: n or 11615?
n
Let c = 1226/5031 + -12/559. Is 4/21 less than c?
True
Suppose -652 = -3*t - c, -c - c + 872 = 4*t. Let y = t - 48. Let a be 4/y - 3/18. Which is smaller: 1 or a?
a
Let q = -4/30085 - -82438/2918245. Which is smaller: q or 0?
0
Suppose -45 = -2*y + 63. Let c(q) = -q**3 - 4*q**2 - 8*q - 10. Suppose 5 + 15 = -4*m. Let g be c(m). Which is bigger: y or g?
g
Let y = -3492 + 13220. Is 9728 greater than y?
False
Let p = 5528/55 - 1110/11. Are p and -204 equal?
False
Suppose -8 = -2*z, -h - z = -5*z + 18. Is h bigger than -4691?
True
Suppose 0 = -3*a - 7*j + 4*j + 9, 9 = 3*j. Suppose -1752 = 4*w - 4*n, a*w + 2*w = -5*n - 897. Let m be 1/6 - w/(-54). Is m at least -5?
False
Let y be 3/(-2)*(-4)/6. Suppose 307 = 6*q + 301. Let u be 5*q + 31 + -34. Which is smaller: y or u?
y
Suppose 2*a + 3*w - 23 = 2*w, -3*a + 4*w = -40. Suppose 6*y + a = 4*y. Which is bigger: y or -7?
y
Let q = -21025/291 + -105/97. Let i = 1798 + -1872. Which is bigger: i or q?
q
Let j(h) = 33*h - 3. Let p be j(1). Suppose 35 - 9 = i - 3*f, 5*i - p = -5*f. Suppose 4*t + i = y, -4*y - 2*t - 2*t = 16. Do y and 1/18 have different values?
True
Let f = -13595 + 13592. Is 919 less than or equal to f?
False
Let f = -78.684 - -77.61. Which is greater: 2 or f?
2
Let r = -86 - -36. Let m = 52 + r. Let y = -11.1 - -12.7. Is y equal to m?
False
Suppose 144 + 82 = -2*j. Let a = j - -52. Let v = -62 - a. Which is bigger: -3/8 or v?
-3/8
Let v be 20/(-6)*-1*(54 - (-2805)/(-55)). Which is greater: 0.023 or v?
v
Let s = 497 - 496.8. Which is smaller: s or 12.35?
s
Let y be ((-58)/(-1) - -2)/(525/(-70000)). Which is greater: -7998 or y?
-7998
Suppose 7*d - 3*d = 0. Let o be 4 + (-38)/5 + 4 - 62/(-310). Does o = d?
False
Suppose -7*l - 5*i = -6*l + 1, 17 = 3*l - 5*i. Suppose 10*a - 9*a = -l*c - 427, -326 = 3*c - 5*a. Is -107 equal to c?
True
Let b = -11.1 + 0.2. Let c = -0.9 - b. Let s = -0.5 + 2.5. Which is smaller: c or s?
s
Suppose -2*v - 105 + 657 = -5*p, 4*p = 2*v - 440. Let d be p/21*(-6)/(-4). Which is greater: d or -20/3?
-20/3
Suppose -11*r - 43*r = -17982. Suppose 322*u = r*u - 1815. Is u equal to 163?
False
Let o be ((-2008)/(-24))/(5/(-285)). Which is smaller: -4770 or o?
-4770
Let p be (-4)/(-14) - 2/((-28)/38) - 2. Is 39/371 at most as big as p?
True
Let r = 0.045 + -0.03. Let u = -127.7 + -22.3. Let j = -151 - u. Which is bigger: j or r?
r
Let q be (-1380)/84 - -16 - (-351)/84 - 4. Which is greater