-8/13 have the same value?
False
Let u be (-173)/(-69930) + 18/(-180). Let r = u + -2/189. Which is bigger: r or 0?
0
Let f(q) = -q - 2. Let w(k) = 14*k + 118. Let s(i) = -6*f(i) - w(i). Let t be s(-12). Is t < 0?
True
Let h = -826 - -1443. Let w = h + -547. Is 2 at least as big as w?
False
Let b be -36*(3 + -2)*18/(-112). Is -0.2 <= b?
True
Let k = 29.99 + 0.01. Let r = 1955 - 1954.8951. Let v = r + 1.8951. Are k and v equal?
False
Suppose 5*n = -3*h + 3*n + 98, 2*h = 5*n + 97. Suppose 27*c + 126 = h*c. Suppose 2*z + 2*z - 52 = 0. Which is greater: c or z?
c
Suppose 0 = 2*i + o - 3 - 6, 3*o - 21 = -5*i. Let a be 2/((i + -4)/(-92)). Are -93 and a unequal?
True
Let g = -1.42188 - -226.18888. Let q = -225 + g. Which is smaller: 1/3 or q?
q
Let l = 1897238960/723561 - -167265/11218. Let d = -2637 + l. Is d bigger than -1?
True
Let s = 0.7327 + -0.8927. Is s greater than or equal to -0.439?
True
Let p = 366 - 37706/103. Let c = -78 - -77. Which is bigger: p or c?
p
Let m = -17.6 - -8. Let r = m - -9.3. Is r less than -2?
False
Let m(y) = -y - 100. Let s be m(22). Let t = -25 - s. Do 97 and t have the same value?
True
Let d(v) = v**3 + 37*v**2 - 39*v - 29. Let f be d(-38). Let a be f/3 + (-374)/124. Which is bigger: 0 or a?
0
Let f(o) = -2018*o**2 + 52*o + 54. Let j be f(-1). Does 1/3 = j?
False
Let j be (-16 + 16)/(-4 + 1). Suppose 2*q + 0 - 6 = j. Let y be q - 54 - (-1 - 0). Which is smaller: -51 or y?
-51
Let s = 74062 + -74296.057. Let r = 234 + s. Is r != -1?
True
Let l = 22479231/1080707 - 3141/151. Is 0 smaller than l?
False
Let o = 202.8 + -192. Let x = -1.2 - o. Which is bigger: x or -0.4?
-0.4
Let s be (-100)/(-140) + 5 + (2 - 3 - 2). Is s smaller than -2/23?
False
Let s be 48/192*(-3 + (-4 - (-13 - 2))). Suppose -2*u - 6 = -5*u. Let f be 4/u + (-3 - -2). Is s at most f?
False
Let h = 523 - 526. Let t be -3*h/36 - 2214/120. Is -18 less than t?
False
Let m(p) = -6*p**3 - 3*p**2 - 3*p + 5. Let l be m(1). Is 4 > l?
True
Let n = 5550 + -5556.302. Let q = -1.788 + n. Let a = q + 7.9. Which is smaller: -2/5 or a?
-2/5
Suppose 5*p - 2*w - 631 = 0, 4*w + 9 = w. Let t be (-1516)/6*79/(-158). Which is bigger: p or t?
t
Let n(l) = -l**3 + 9*l**2 + 23*l - 12. Let s be n(11). Let a be (-17)/15*-2 + (-3 - s). Let j = -0.02 + -0.08. Is a <= j?
False
Let k be (-3 - (-195)/66)*-4. Let m = -1.4182 - -0.0402. Let v = m + -0.022. Which is greater: v or k?
k
Suppose -5*a + 2*v + 90 = 0, 4*v = -a - 7 + 25. Let c = -54 - -14. Let s be 16/c + (-164)/(-10). Are a and s equal?
False
Suppose c = -c. Suppose -4*n + 16 = 2*t, -n + 1 = 2*t - 2*n. Suppose -2*d + 3*l = d + 42, l - t = c. Is d bigger than -13?
True
Suppose -12*f = -9*f - 27. Suppose 15 = -f*m - 3. Is -7 less than m?
True
Suppose -22 = 4*b + 5*q + 320, b + 89 = -3*q. Let j = b + 231. Suppose -43*n + 47*n = -j. Is -36 >= n?
True
Suppose -3*x - 2*p + 3 = 0, -11*p + 3 = 3*x - 6*p. Are x and 8/3163 non-equal?
True
Let p(u) = -u - 13. Let q be p(-32). Suppose -39 = -q*o + 6*o. Which is smaller: 0.25 or o?
0.25
Let w(q) be the third derivative of 5*q**4/8 - 19*q**3 - 121*q**2. Let z be w(9). Which is smaller: 18 or z?
18
Let l be (1/(-4))/((-11)/220). Suppose 40 = l*d + 10. Let c = -58/61 + 1998/305. Which is greater: d or c?
d
Let k = 3264642 - 62009232/19. Let r = k - 998. Is r > 1/4?
False
Let o be 2*2/(-4) + 1. Let x = -69564/125 - -12934/125. Let r = x - -453. Is o <= r?
False
Let u(m) = -9511*m - 1200. Let d be u(-1). Are 8311 and d unequal?
False
Let l(h) = -h**2 + 19*h - 18. Let m(q) = q**2 - 20*q + 18. Let i(p) = -2*l(p) - 3*m(p). Let j be i(20). Let w = 57 + -34. Which is smaller: w or j?
j
Suppose 77 = -3*z + 5*g, 98*g = 2*z + 103*g + 68. Is z != -69?
True
Suppose r + 2252 = 2253. Which is bigger: 3/2875 or r?
r
Let h = -245 + 217. Is h >= -6?
False
Let y be 24/10500*7*-1230. Is y less than -21?
False
Let r = 0 - -0.3. Let n = 53.84574 - -0.15426. Is n at least r?
True
Let o = -151/2 + 76. Let c = -59 - -116. Suppose -5*i + 14 = -3*j - c, 0 = 3*j + i + 83. Is o equal to j?
False
Let m = 899 - 555. Let h = m - 385. Which is bigger: 1 or h?
1
Let p(j) = j**3 - 21*j**2 - 190*j - 395. Let w be p(26). Are -1953 and w non-equal?
True
Let i = 12262 - 8227811/671. Do 1 and i have the same value?
False
Suppose 0 = 110*z - 121*z + 55. Suppose -6*a = -2*a - 4, z*a = -3*p + 77. Do 17 and p have different values?
True
Suppose -4*u - 2*w - 320 = 0, 2*w = -u + 5*w - 94. Let k = u - -99. Suppose -182 = -k*m + 362. Is 33 smaller than m?
False
Let l be (15/((-315)/(-28)))/((1328/(-36))/(-2)). Let j be 3/(-6)*2 + 1. Which is bigger: l or j?
l
Let q be ((-280)/(-135) - (-10)/(-135))/(4 - 84). Let u = -1 - 0. Which is bigger: u or q?
q
Let t be (-24)/11208*(-21)/3. Is 0 at most as big as t?
True
Let r(v) = 10*v - 62. Let o be r(-10). Let u = o + 143. Which is smaller: -89/5 or u?
u
Let c = -1880.646 - -1876. Let i = 4.7 + c. Let s = i + -2.054. Which is bigger: s or -0.06?
-0.06
Let i = -13 + 13.2. Let o = -5409.47 - -5410. Which is smaller: i or o?
i
Let q = -431 - -685. Is 254 >= q?
True
Let w(y) = y**2 - 4*y. Let t be w(5). Suppose 8*v + 2*g = -2*g, 4 = -2*g. Suppose -t + v = 4*f, -3*k = 4*f + 22. Which is greater: k or -5?
-5
Let q = 4709099/660 - 7135. Which is greater: 1 or q?
1
Let u = 3.982 - 3.072. Which is smaller: u or -6?
-6
Suppose w + 543 = -y, -4*w + 7 = 3. Let m = -544 - y. Let q = 242 - 7261/30. Is m greater than q?
True
Let m be ((-153)/(-18) + -9)/((-2)/(-4)). Suppose 27*u = 22*u. Which is bigger: m or u?
u
Suppose d + 3 = -3*k + 19, 4 = 4*d. Which is greater: k or -3?
k
Let n be (273/9 - -1)*117/12. Let o = 306 - n. Are 1.1 and o unequal?
True
Suppose n - 3*c = 26, 12 = 2*n - 0*n + 4*c. Let l be ((-1)/n)/(6/90). Is -1 less than or equal to l?
False
Let b(s) = s + 4. Let d be b(-3). Let m be 3 - (d - (-204)/100). Let j = m - -27/50. Which is smaller: 1 or j?
j
Let l = -0.11 - -0.21. Let q be (1 + -2)/(1/(-55)). Let y be -1*(q/(-4) + (-2)/8). Is y > l?
True
Let t = 247.2 - 248. Let s(v) = 4*v - 26. Let l be s(6). Which is smaller: l or t?
l
Suppose -2*w - 121 + 316 = -5*j, -2*w - j + 165 = 0. Is w <= 53?
False
Let y be (3 - 1)*-1*1. Let p(s) = -s**3 + 55*s**2 - 106*s - 2. Let v be p(2). Let n be (v/(-21)*-6)/y. Which is smaller: 9 or n?
n
Let n(b) = -10*b + 332. Let d be n(35). Which is smaller: d or -13?
d
Suppose -287*b + 130*b = 399*b - 1668. Is 137 != b?
True
Let t be (-3222)/358 + (0 - 5639/(-3)). Is t < 1871?
True
Let z be (16/6)/(-4)*(-36)/(-48)*-2. Is z < -21/53?
False
Let v = 1038 - 1167. Suppose 0 = 4*q + 402 + 114. Do v and q have the same value?
True
Let j = -3249 + 3249.7. Is j at least 177?
False
Let n = -5379.98 - -5380. Which is bigger: n or 50?
50
Suppose 5*m = 3*x + 4087, -2*m = -8*x + 7*x - 1362. Are -1365 and x non-equal?
True
Let s be 4/6 - (-2)/(-5). Suppose 0 = -2*w - 3*o - 72, w + 32 = -3*o - 10. Let c be (3/w)/(2/(-20)). Which is smaller: c or s?
s
Let b = 94 - 150. Let x = 49 + b. Let q = x + 5. Is -4 >= q?
False
Let q(l) be the third derivative of -19*l**4/24 - 25*l**3/3 - 101*l**2. Let o be q(7). Which is smaller: o or -182?
o
Let c be 6/21 + 18/(-14). Let o be (-1*c/2)/((-5)/(-10)). Which is greater: -4/155 or o?
o
Let w = -212 - -213. Let d = -417 - -405. Which is smaller: w or d?
d
Let i(q) = q**3 + 8*q**2 + 38*q - 380. Let b be i(9). Is 9367/7 < b?
True
Let f = 22739 - 79927591/3515. Does 0 = f?
False
Let c be (-6732)/26631 + (-4)/(-16). Is c less than or equal to -1?
False
Let x(g) = -g**2 + 22*g - 36. Let d be x(24). Which is bigger: d or -3?
-3
Let k be (6/8)/(1/(-3 + 7)). Suppose 3*l + k*z = -z + 2, -4*l = 5*z - 4. Let j = -1092 - -7696/7. Is j < l?
False
Let s be (-2 + 1)/(28/(-2492)). Which is smaller: 51 or s?
51
Let m(w) = 273*w - 831*w + 258*w + 70 + w**2 + 274*w. Let b be (-33)/(1/(2/(-3))). Let t be m(b). Are -18 and t non-equal?
False
Let n = 63946555539772/16176754451 - -17/77400739. Let p = n + -3953. Do 1 and p have different values?
True
Suppose -79 = -5*k + 3*b, -k + 5*b + 0*b = -7. Suppose 5220*q - 5199*q - 315 = 0. Which is bigger: k or q?
k
Let b = 2.649 + -2.249. Which is bigger: b or 0.0394?
b
Suppose 0 = -40*i + 187*i - 21168. Is 141 > i?
False
Let d(w) = 5*w**2 - 30*w + 6. Let h be d(6). Suppose 0 = -t - m - 9, -h*m - 29 = 5*t - 9*m. Is t equa