True
Let c be (1809/(-54))/((-2)/20). Let r = c - 3697/11. Do r and -2 have different values?
True
Let o = 28/95 + -179/285. Is -133.1 greater than or equal to o?
False
Suppose 5*g = 3*c + 14, 3*c + 58*g - 57*g - 10 = 0. Suppose -2*i = -4*v + 68, -11*i + 7*i = c*v - 34. Which is smaller: 18 or v?
v
Let f = -26109 + 26215.1. Is 4 < f?
True
Let q = -158 - -160. Suppose -5*a - 49 = q*a. Which is smaller: a or -25/4?
a
Let o = -393 - -372.9. Let j = -20 - o. Let m = -65 - -66. Are j and m non-equal?
True
Let g = -12861 - -12860.9. Is g at least 0.1501?
False
Let k(u) = 3*u + 51. Let o be k(-10). Let n = o - 19. Suppose 175 = 5*j - m, -j - n*j + m + 105 = 0. Which is greater: j or 34?
j
Let u = 14199 - 14197.9. Which is smaller: -749 or u?
-749
Let w be 1/(1/(-6 + 0)). Let f = -65810949/77080 - -9/15416. Let t = 847 + f. Which is smaller: w or t?
t
Let i(z) = -z**2 - 7*z + 61. Let c be i(-12). Let q be 50/(-175) + 276/987. Is q bigger than c?
False
Let k = -0.45881 - -0.05881. Which is bigger: -110 or k?
k
Let m = -0.2 - -0.2. Let r = -421.14 - -421.42. Is m >= r?
False
Let p(f) = 22*f + 1013. Let h be p(-46). Which is smaller: 2/19631 or h?
2/19631
Let t = -51.844 + -0.156. Let w = 60 + t. Is w smaller than 2/3?
False
Let z = 8305305/7 - 1188690. Let i = z + 2209. Is -9 > i?
False
Let h = 3002 + -3002. Is h bigger than -686?
True
Let h be (181/46 - 4) + 4/46. Is h greater than or equal to -2/7?
True
Suppose 24*o - 5382 = -9*o - 36*o. Is 85 > o?
True
Let s(o) = o**2 - 2*o - 4. Let f be s(-2). Let t be -601*4*(-2)/8 + f. Is t < 604?
False
Suppose 11*t = -8527 + 497. Let z = -731 - t. Which is greater: z or -1/47?
-1/47
Let j = 476 + -1435/3. Suppose -11*i - 11 - 22 = 0. Which is smaller: i or j?
i
Let w(v) = v**3 + 2*v**2 - 3*v - 3. Let t be w(-2). Let m = -1.2 - 4.9. Let p = m + 6.3. Which is smaller: p or t?
p
Let s be -15*((-24)/9 + 2). Let i(u) = u**3 - 11*u**2 + 7*u + 30. Let c be i(s). Let v = 0.94 + -8.94. Which is bigger: c or v?
c
Suppose -35*o + 21*o = -9618. Let p = o - 686. Which is smaller: p or 1/126?
1/126
Let o be 142/9 + 22/99. Suppose 3*y + p = 0, -4*y + o = -5*p + p. Which is bigger: y or -6/67?
y
Let v be 5*(0 + 231/35). Does 97/3 = v?
False
Let r be (-323)/5 + (-54)/135. Let y(z) = 9*z + 63. Let h be y(-7). Which is bigger: r or h?
h
Suppose -12*y + 12*y - 7*y + 9919 = 0. Is 1413 smaller than y?
True
Suppose 5*u = -s + 29, 73 = -5*s + 4*u + 102. Is s bigger than -270?
True
Let b be 1530/(-3705) - 12/(-114). Do b and 15 have different values?
True
Let n = -36160 - -45342. Are n and 9182 non-equal?
False
Let f(t) = -2*t + 3. Let p be f(7). Let h = 229 - 229.01. Let c = -3.01 - h. Which is smaller: c or p?
p
Let i be ((-3)/12)/(-1 + 104/106). Which is smaller: 14 or i?
i
Suppose -8 = -4*p - 4*z - 0*z, -3*p + 10 = 2*z. Suppose p*w = 4*w + 4. Suppose -4*a - 595*x = -598*x - 124, -2*x = -5*a + 169. Is a not equal to w?
True
Let z be ((-95)/30)/19 + 1226/12. Let p be 0 - (-546)/z - 7. Is p less than -2?
False
Let w be 4 - (13706/14 + 19). Which is greater: -995 or w?
w
Let x = 26.89 - 37.89. Which is bigger: x or -134?
x
Suppose 0 = 5*n + 54*t + 396, 3*n - 286*t - 18 = -290*t. Let a = -17 - -40. Do n and a have different values?
True
Let m(q) = 3*q**2 - 3*q + 2. Let o be m(1). Suppose -w - o*f = w + 8, 0 = w - 2*f - 8. Suppose 6*v + 0 + 0 = w. Which is greater: -2/11 or v?
v
Suppose 4*j - 4*t + 912 = 0, -j + 3*t - 226 + 0 = 0. Let z(r) = -2*r**3 - 29*r**2 - 21*r + 5. Let h be z(-13). Are j and h unequal?
False
Let j = -303 + 302. Let s be ((-34)/17)/(1*(j + 2)). Suppose -c - 3*p = -4*c - 15, 4*c + 29 = p. Which is bigger: s or c?
s
Let o be -4 - -8 - ((-1 - -11) + 3712/(-40)). Suppose 0 = 5*h - 188 - 252. Is o greater than or equal to h?
False
Let s(r) = -r**3 + 7*r**2 - 1. Let x be s(5). Let p = x - 42. Let y be (2/(-6))/(p/21). Which is smaller: 8 or y?
y
Let q = -1/1640 + -2713/929880. Let n = 247/1134 + q. Let h(k) = k**2 - k. Let u be h(1). Are u and n unequal?
True
Let b = -28 + -2. Let q = -559 - -184. Let a = 376 + q. Which is smaller: a or b?
b
Let z be (24/(-14922))/((2/(-162))/((-7)/(-21))). Are 0 and z nonequal?
True
Let f be -1 + -37 - (4 + -6). Let i be -5 + (-186)/f - 38/(-60). Which is greater: i or 4?
4
Let r be (8/6)/(8/(-12)). Let q be ((-14)/(-70))/(r/(-470)). Which is greater: q or 46?
q
Let o = 20473/7368 - 67/24. Let s = 2.5 + -2.5. Which is greater: s or o?
s
Let w = -48 - -203. Suppose -i + w + 338 = 0. Let j = i + -6413/13. Which is smaller: j or -1?
-1
Let w = 13231 - 13229. Do w and -2058 have different values?
True
Suppose 232 = 3*g - 2*h - 2*h, 0 = g + 4*h - 104. Let x be (-465)/9*((-220)/(-50) + -6). Which is smaller: g or x?
x
Let p = -1824.7 - -1824.6. Let t = -33.028 - -0.028. Let k = t + 13. Are p and k equal?
False
Let a = -0.7926 + -1.0074. Is a bigger than 26/7?
False
Suppose 5*r - 4*u - 16 = -0, 5*r - 5*u - 20 = 0. Let h be 2/9 - ((-28)/36 - r). Let k be h/(-6) + 2/12. Which is bigger: 2/37 or k?
2/37
Let m = -0.04 + 7.04. Let z = -12 + m. Let k be (-96)/(-256)*(2/(-7))/((-6)/(-14)). Which is smaller: z or k?
z
Suppose 6 = j - 5*z, j + 6*z = 10*z + 5. Suppose -5*i + 24 = -j. Which is smaller: -2 or i?
-2
Let s be (-20007833)/(-164593) - ((-2)/(-6))/((-13)/3). Which is bigger: -2 or s?
s
Let m = 0.83368 + -2.83368. Let v = -246 + 142. Which is smaller: m or v?
v
Suppose 70 = -2*x - 2*a, -x + 70 = -6*a - 8*a. Which is smaller: x or -1/11?
x
Let c = -125/71 - 724/355. Is c less than or equal to -30?
False
Let v be -2 - 263/(-132) - 0. Let q(g) = -2611*g - 133161. Let n be q(-51). Which is bigger: v or n?
n
Let u be -4 + -1 + -2 + 0. Let p = 5 + u. Let v be (241/87 - 2/3) + p. Is 0 at least v?
False
Suppose 6 = z - 2*a, -z - 5*a + a - 6 = 0. Suppose -z*x + 20 = 3*m, 3*x = -3*m + 21 + 3. Suppose m*u + 5*u = 504. Is u equal to 56?
True
Suppose -19 = 4*g - 5*x, -1091*g + 2*x = -1093*g + 4. Which is bigger: g or -11/776?
-11/776
Let l = -2/113973 + -2165165/18349653. Is l < -1?
False
Suppose -20754 = -5*n - 11*i + 15*i, -2*n + 8274 = 3*i. Are 4146 and n equal?
True
Let u(j) = -j**2 - 12*j - 8. Let y be u(-11). Let b(o) = o + y*o**2 - 9*o**2 + 4*o + 11 - o**3. Let h be b(-6). Are -20 and h equal?
False
Let t = 7.6 - 8.6. Let o = t - -1.2. Which is smaller: 55 or o?
o
Let t be -5*(-3)/15 - 2. Let d be 1 - 4 - (-4 + (-1085)/(-1035)). Let h = -1216/33741 - d. Which is bigger: t or h?
h
Suppose 1134 = -22*p + 4*p. Suppose -2*k - k - 192 = 0. Which is bigger: p or k?
p
Let f(m) be the third derivative of m**5/60 - m**4/12 - m**3/6 + m**2. Let p be f(2). Let j = 23993/8 - 3000. Which is greater: p or j?
j
Let w be (4 - (-2 - 0))/((-152)/(-20)). Let x = 59/171 - w. Which is smaller: 0 or x?
x
Let l be ((-5)/(-8) - (-18)/48)*24. Let m = l + -25. Let s(d) = -d**3 - 6*d**2 + d + 3. Let t be s(-6). Is t at most m?
True
Let l be ((-15)/290 - -5) + (-110)/22. Let x = 3 - 3. Does x = l?
False
Let n be 9/42*100/29475. Which is smaller: -1 or n?
-1
Let j = 24 - 32. Let y be 2/(2/5 + 8 + j). Let t be 0 - (-1 - 9/y). Which is smaller: t or 3?
t
Suppose 109*h - 66*h = 322*h + 19530. Let c be 2/7 - (-471)/(-7). Which is smaller: h or c?
h
Let r = -7551 + 7052. Which is bigger: -495 or r?
-495
Let a = -131716533/1871 - -70399. Which is greater: a or 1?
1
Let u = -4518.00047 + 0.00047. Which is smaller: u or -0.2?
u
Let k(d) = -d - 6. Let m be 7/((-14)/6) - (6 + 11). Let b be k(m). Is b != 12?
True
Let b be (1272/(-78) + 1)/(2/30). Let d = -230 - b. Let o = d - -28/39. Is o at least as big as -1/14?
True
Let j be 3 - 4 - (-1233 - 1 - 3). Let x = j + -21020/17. Is x less than 1?
True
Let o = 94 + -92. Do -81 and o have different values?
True
Let r(j) = 4*j + 8. Let s be r(-2). Let c be (-68)/((3/6 - s)/(-1)). Let d = -30 + 166. Is c < d?
False
Let g be (-7794)/(-6) - -18 - (-6 - 2). Is 1325 less than g?
False
Let z be (6/10 + 66/(-55))*30/36. Is z at most 8525?
True
Let m = -23890 + 23891. Which is greater: m or 17886?
17886
Let m = 5873 + -5873.1. Is m less than -2/9915?
True
Suppose 0 = -3*c - 3*i + 1110, 43*c + 5*i = 45*c - 705. Which is smaller: c or 363?
363
Suppose 0 = -2*w - g + 99 - 19, -5*w + 244 = -3*g. Suppose 2*m + 0*m - 92 = 0. Which is smaller: w or m?
w
Let v be (3/(-76))/(-5 - (-38585)/7720). Is 20 at most a