or 2/169?
2/169
Let k = -64.89 - -65. Let r be 64/14 + -3 - 129/(-301). Which is bigger: r or k?
r
Let t be (91/(-21) - -4)/((-4)/(-34164)). Is -2850 equal to t?
False
Suppose -3*n + 14 = 4*n. Let h be n + 1 - 7/(21/36). Suppose 4*m + 7 = -2*u - 37, 3*m = -5*u - 33. Are h and m equal?
False
Let f = 4966 - 4944. Which is greater: 522/23 or f?
522/23
Suppose 5284 = -11*k - 5393 + 4187. Which is bigger: k or -1181/2?
k
Suppose -22*m + 6*m = -15392. Let h be -5*1 + m/182. Which is greater: -0.048 or h?
h
Let v(p) = -3*p**2 - 40*p + 38. Let h be v(-17). Let k be -12 + 19 + h + (-5)/(-1). Which is smaller: -133 or k?
k
Let m be (-108)/(-3)*2/(-4). Suppose 5*p = 2*r - 16, 0 = 4*r - 5*p - 16 - 6. Suppose -2*l + 4*b = 48, 5*b + r = 3*l - 4*l. Is m >= l?
True
Let m be (-1)/(3/(-33)) - 4. Let o be (-4)/m - (-243)/315. Which is smaller: -11 or o?
-11
Let o(k) = -61*k + 361. Let a be o(6). Which is bigger: a or 0.225?
0.225
Let p = 2.04 + -236.04. Let a = p - -229. Do a and 0.2 have the same value?
False
Suppose 0 = 4*z - f - 359, -3*f + 106 = 33*z - 32*z. Suppose 0 = 33*l - 20*l + z. Is -6 at most as big as l?
False
Suppose -j - 5*u - 14 + 7 = 0, 2*u + 34 = -3*j. Let c be -1 + (-34)/(-66) - j/18. Let f = 0.8 - 1. Which is bigger: f or c?
c
Let d(h) = -27*h**3 - h**2 + 15*h + 1. Let r be d(3). Let b be (1 - 2 - 1) + (-1376)/r. Does -1 = b?
False
Let n = 314308 - 2826010/9. Which is bigger: 307 or n?
307
Let k = 7 + 1484. Is 1491 != k?
False
Let w = 93 - 84. Suppose w*c = 14*c + 5. Which is greater: c or 2/31?
2/31
Suppose -8*o + 9*o - 10458 = 3*p, -6998 = 2*p - 5*o. Which is smaller: p or -3485?
-3485
Let x = -123 + 125. Let m be 5 - 9/x*1. Suppose 2*q - 6*q = 4*w, -4*q = -5*w. Is m at least w?
True
Suppose 24640 = 56*p - 34*p. Suppose -10*k = -2*k - p. Is k > 141?
False
Suppose -4*j = -10*r + 5*r - 2169, -j = -5*r - 516. Is j > 1/4?
True
Let r = -617/86430 + 1/402. Let t = -4 - -4. Is t greater than or equal to r?
True
Let q = -5 + 4. Let o be 15/10*(-36)/135*6. Is q greater than or equal to o?
True
Let y(q) = -q**3 + 3*q**2 - 8*q + 6. Let n be y(8). Let w be (n/(-8))/3 - (-27)/(-36). Suppose 0 = 2*u - 11 + w. Is u at most as big as -4?
False
Let g = 2126 - 14880/7. Is g at least 702?
False
Let y = 147.13 - 146.83. Does 1176 = y?
False
Let q(b) = 3*b - 40. Let j be q(5). Let u be (-4)/5 - (4 + (-355)/j). Let a be u/(-22) + 23/(-46). Which is smaller: a or 0?
0
Let h = 330.971 - 331. Let t = h - 0.071. Is -194 at most as big as t?
True
Let z = -39 - -43. Suppose -z*h - 2*s = -6, 3*h + 0*s = -s + 7. Let w = h + -25/6. Is w < -1?
False
Let w = -99 - -99.0352. Let k = 0.1648 + w. Let r = 2.6 - -18.4. Is k < r?
True
Let p(t) = 3*t**3 + 9*t**2 + 5*t - 6. Let d be p(-6). Let k be 6/d*-9 - (-4)/(-10). Is k less than or equal to -115?
False
Suppose 869*n - 849*n = 1400. Which is smaller: n or 59?
59
Suppose 55*a - 59*a + 8*j = 44, -5*a - 181 = -j. Suppose -147 = 5*c + 2*y + 56, -152 = 4*c - y. Is a < c?
False
Let p be (-249)/(56/(-112) + 0 + -1). Which is greater: 15 or p?
p
Let g = -717313/291 + 2465. Let u = 0.149 + -0.049. Which is bigger: u or g?
u
Suppose -5*u = -y + 26, -y + 14 - 28 = 3*u. Are 22/3 and y equal?
False
Let i = -2658 - -2657.9. Is 1584 at most i?
False
Let j = -0.5393 - -1.3393. Which is smaller: j or 30?
j
Let m be ((-13)/2 + -25 + 30 + -13)*918. Which is greater: m or 1/2?
1/2
Let q be (-8)/44 - (-23403)/(-394922)*-3. Is 1 equal to q?
False
Let c = 25.06 - 0.06. Let m = 2.61 - 2.859. Let j = m + 0.249. Which is smaller: j or c?
j
Let q(y) = -3*y**2 + 36*y + 3. Suppose 25 + 35 = 5*v. Let s be q(v). Which is smaller: s or 0.3?
0.3
Let s = -4.3 + 4.1. Let q = -50 + 50.05. Let m = q + 0. Are s and m non-equal?
True
Let j be 29*-1*2/1. Suppose 5*w + 5*o = -265, -3*o = w + 84 - 43. Let x = j - w. Is x greater than -6/35?
True
Suppose -5*i = -3*k - 10*i - 766, 0 = -2*k + 5*i - 569. Is -241 != k?
True
Suppose 0 = 76*o - 250 + 174. Is 18199 not equal to o?
True
Let n = -15524.2 + 15524. Are n and 5.349 equal?
False
Let m(l) = 33*l**3 - 4*l**2 - l - 2. Let h be m(-2). Let u = 1956/7 + h. Which is smaller: 0.1 or u?
u
Suppose -4760 = -11*z + 9*z. Suppose 0 = 5*x - 15*x + z. Is 238 at least x?
True
Let l = 19 + -31. Let z(q) = -q**3 - 4*q**2 - 10*q - 24. Let g be z(-3). Let j be 4*(g - ((-63)/l)/(-3)). Do j and -32/7 have the same value?
False
Suppose -a + 4 = -5*a. Let w(g) = 6*g**3 + 9*g + 8. Let f be w(a). Which is bigger: f or -14?
f
Let q = -4.58 + 4.9. Let i = -20.23 - -20. Let z = i + q. Which is smaller: 1 or z?
z
Suppose -8 = -22*d + 14*d. Let b be -16 + (1 + -3)*d. Let c(x) = -2*x - 15. Let p be c(b). Is 20 less than or equal to p?
True
Suppose 3*n = -2*m + 5298 + 1158, 0 = -3*n - 4*m + 6456. Is n less than or equal to 2154?
True
Let u = -66.004 + -5.006. Let v = u + 71. Which is smaller: -14 or v?
-14
Let l = -6666 - -40435/6. Is 73 at most l?
True
Let a = 2032/5 - 22232/55. Let v(q) = -q**3 + 5*q**2 - 9*q + 10. Let g = 31 - 28. Let j be v(g). Which is greater: j or a?
a
Let r = -55/18006 - 50874323/44744910. Let s be 8/36 - 2157/9585. Let q = r + s. Is q equal to 0?
False
Suppose 33 - 90 = 57*x. Which is smaller: x or 1/3265?
x
Suppose 5*g + 4*r = 28, 3*r - 31 = -5*g - 0*r. Let j be 6 - g/2 - 41. Let u = 32 + j. Which is smaller: u or -2?
u
Suppose 13*p - 7 - 45 = -39*p. Are 2/9607 and p non-equal?
True
Let x = 13.2 - 15. Let b = 1.77 + x. Let y = -793/7 + 113. Is y <= b?
True
Let i be (-81)/2*56/(-20). Let o = i - 113. Let s = -44.2 + 28.2. Which is greater: o or s?
o
Let n be -6 + -5 + 9 + (-5)/(-1). Suppose -3*t - 10 = -2*g, -n*g - 15 = t - 6*g. Which is smaller: t or -6/17?
-6/17
Let h = 21.5721 - 21.332. Which is bigger: 0.4 or h?
0.4
Let p = 4798 - 81564/17. Let z = 16 + -12. Let m be ((-2)/(-8))/(7/z). Which is greater: m or p?
m
Let c = -1135/3 + 378. Is c at most -2/957?
True
Let j = -1980.9 - -1981. Is -469 at most as big as j?
True
Let s be -3 - (-6 - -2 - -3). Let w be 4 - (s - -4) - 36. Suppose -43 = b + 4*u - 25, -3*b - u - 98 = 0. Is w at least b?
True
Suppose -2*f - 675 = 2*l + 323, -3*l + f - 1481 = 0. Which is smaller: l or -490?
l
Let l be (-2)/(-11)*26/(-4)*(-1778 - -1871). Which is bigger: l or -111?
l
Let d be 14442/28 + (16/(-28))/2. Let h = 77329/150 - d. Which is smaller: h or -1?
-1
Let n = -1458878/235 + 6208. Is n >= -1/9?
True
Let u = -1594 - -25517/16. Let f be (-1)/(-4) + 21/12. Which is smaller: u or f?
u
Let v(l) = l + 7. Let p be v(-8). Let m be (0 - p/(-29))*-3. Suppose q = 5*s + 3600 - 3598, -5*s + 2*q + 1 = 0. Which is bigger: m or s?
m
Suppose -117*b + 69455 = -164378 + 24169. Is b bigger than 1791?
True
Let m(u) = 15*u + 17*u - 2 + 19*u - 6*u**2 - 50*u. Let y be m(-2). Let r be (-6)/y - 16/(-56). Is 1 > r?
True
Let u = -2628 + 2479. Is -153 greater than u?
False
Let w = 3338 + -3500. Which is smaller: -164 or w?
-164
Let b(t) = t**2 + 59*t + 808. Let w be b(-10). Which is greater: w or 311?
w
Let f be 64/(-90) - 4/10. Suppose 277 = 16*o - 59. Suppose 12 = -3*h, 0*u + 5*u + 4*h + o = 0. Which is smaller: u or f?
f
Let r be ((-144)/42)/((-2)/7). Let i be 4/(r/(-20) - (-54)/(-10)). Let m = 3 - 5. Which is smaller: m or i?
m
Let d be 6/(-19) - 28363560/5358. Is -5291 equal to d?
False
Let n be 10 - (2 - -9) - 4/(-2). Which is smaller: -2/1675 or n?
-2/1675
Let t be -243*(-8 + (-854)/(-105)). Let m = t + 2323/70. Let h be 0 + -1 + -1 + 2. Which is bigger: h or m?
m
Let a = 484 + -34359/71. Do a and 2 have the same value?
False
Let h be 46/161 - 1840/(-1204). Which is smaller: h or 2?
h
Let d = 51 + -23. Suppose 0 = -32*i + d*i + 252. Let q be ((-6)/i)/(12/(-54)). Which is smaller: 0 or q?
0
Let q = 13.9 + -14. Let p = q - 12.9. Let y = -0.79 - 0.21. Which is bigger: y or p?
y
Suppose -7*n = -u - 20, 26 + 4 = 3*n - 4*u. Suppose 3*g = -5*p + 13 + 45, -g = -2*p - 1. Let a be (n/(-24)*g)/((-64)/96). Do 1 and a have the same value?
False
Let w = -1630/21 - -3832/21. Let p = -106 + w. Let t be (-1)/(-5) + (-2)/10. Is t at most p?
False
Suppose 10*r - 3180 = 70*r. Which is smaller: -12 or r?
r
Suppose 3*u = 5*z - 25, u = -2*z - 1 - 0. Suppose -17*m = -157 + 123. Let f be 2 + m + 56/(-8). Is u less than f?
True
Let k be 4/(-18) + (-371)/(-1386). Let l = 22 - 21. Let g be 0/((3 + -1)/l). Which is bigger: k or g?
