ue?
False
Let m = -28 + 29. Let k = 1.838 - 18.838. Do m and k have different values?
True
Let b = 3959 - 3951. Which is bigger: b or -220/3?
b
Let x = 0.6 + -8.8. Let w = -88/255 - -38/51. Does x = w?
False
Let b = -21.941 + 22. Let n = b - 0.159. Which is smaller: n or 10?
n
Let q = -1030 - -292. Let y be (-85475)/117 - 14/(-63). Let r = y - q. Is 9 at most r?
False
Let y be (-30)/(-12)*(29/5 - 3). Let u be (6/(-4))/(y - (5 + -4)). Which is greater: u or -189?
u
Let l be -24*(18/4 - 14/(-28)). Let v = l + 122. Let c be (v - 279/138)/(4/8). Is 1/4 at most c?
False
Let h(u) = -u**2 - 5*u + 2. Let i be h(-4). Suppose 0 = -4*k - b, 2*b - 2 = i. Let d be (-432)/792 + 4/11. Which is smaller: d or k?
k
Suppose -4*y - 7 = 5*b, 10 = -4*b - 2*y + 2. Suppose -15 = 5*m + 2*a - 48, 5*a = 20. Let x be m + -3 - b - 4. Is 2 less than x?
False
Let g = -0.45 + 0.05. Suppose 92 = 5*c - 4*m, 4*c + 125*m - 120*m = 8. Is g at least as big as c?
False
Suppose 5*m - 15 - 15 = 0. Suppose -7*x - 247 = m*x. Suppose -l - 21 = -2*p, -4*l + 5*l + 24 = 5*p. Are x and l nonequal?
False
Suppose 2*z - 7*z + 90 = 0. Suppose 3*c - 6 = -z. Let p be c*((-154)/(-48))/(-11). Is 2 greater than or equal to p?
True
Suppose -3*n = -14*n - 33. Let v be 0*(-5)/(-35)*(2 + n). Which is bigger: v or -5/6?
v
Let x be 4/(-24)*-4*3 - 4. Let j be x/(-7) + (-1 - (5 + -4)). Is j greater than or equal to -3?
True
Suppose 70*w = 48*w. Suppose 4*u - 4 = -2*m - w, -4*m = 3*u - 3. Which is smaller: 1/248 or m?
m
Let g be -1 + -2 - 1191/(-399). Let s be (56/168)/(5/(-15)). Is s not equal to g?
True
Let j(s) = -140*s**2 - 13 + 11*s - 28*s + 141*s**2. Let x be j(19). Which is smaller: 26 or x?
x
Let m = -1378 - -1467. Let d = 7 + -3. Let u be 89 - -3*d/12. Do m and u have the same value?
False
Let y be (-29)/(1015/480) + 14. Let g = -0.3 - -1.3. Let w = g + -1. Is y not equal to w?
True
Suppose 12*y = 7*y + 15. Suppose 3*a - 47 = -2*m, a - 38 = -3*m + 3*a. Suppose 0 = -5*v + b - 20, 5*b - m = 2*v + y*b. Which is bigger: v or -30/17?
-30/17
Let j be ((-11079)/(-6) + 2)*25/(-15). Let q = j + 3068. Which is smaller: -13 or q?
-13
Let i = -2568 + 2432.3. Let b = -20.7 - i. Let r = b - 113. Which is smaller: r or -1/2?
-1/2
Let p(d) = -4*d**2 + 3*d - 4. Let u be (30/18)/(1/3). Let o be (6/(-4))/(21/6 - u). Let g be p(o). Is g at most as big as -6?
False
Let x be ((-802)/28)/((-10)/(-4)). Let c = -90/7 - x. Which is bigger: c or -3?
c
Let h(u) = -u + 29. Let w be h(19). Let l be w/(-3)*(-5)/(25/(-6)). Let b be (-14*3/4)/((-5)/l). Are -8 and b unequal?
True
Let n = -340/23 + 974/69. Which is bigger: n or 6178?
6178
Let y = 1799 + -1216. Let g = y + -631. Is g bigger than 0.1?
False
Suppose -4*v + 0*v = -104. Suppose 0 = -48*q + 1952 - 656. Which is bigger: v or q?
q
Let d = 37 + 12. Let b = 11634 + -11634. Which is greater: b or d?
d
Let r = 0.007 - -156.993. Let m = -157 + r. Which is bigger: 2/167 or m?
2/167
Let v = -30/1019 - 61588/54007. Is 0 at least v?
True
Let h(k) = 8*k + 80. Let g be (220/33)/(4/(-6)). Let v be h(g). Which is smaller: 2/63 or v?
v
Let i = 244 + -236. Suppose 4*y + 125 = -3*w, -4*y = 12 + i. Let r be 103/(-3) - 1/(-3). Is w <= r?
True
Let j(p) = -p**3 + 10*p**2 + 2*p - 13. Let o be j(10). Let x be (-3838)/(-2261) - (4/o)/2. Which is smaller: 2 or x?
x
Let x = 1026 + -1025. Do x and -8/57 have the same value?
False
Let z = -59 + 766/13. Let t = 622 + -619. Suppose 9 = -6*w + t*w. Is w >= z?
False
Suppose 0 = 8*k - 7*k + 3*b + 2, -2*b - 24 = 2*k. Let p(h) = -h**3 - 19*h**2 - 24*h + 4. Let t be p(k). Is t != -166?
False
Suppose 21*f = 6*f + 45. Suppose -z + 16 = -f*r, 11*r + 71 = 4*z + 6*r. Which is smaller: z or 11?
11
Let a(m) = -40*m**3 - 2*m**2 + m - 1. Let y be a(2). Let d be -1*(36 - 58 - -348). Which is smaller: d or y?
y
Let v = -1929 + 2195. Is 264 greater than v?
False
Let r(m) be the second derivative of -2*m**3/3 - 35*m**2/2 + 26*m. Let z be r(-8). Let n be (-1 + 1 - (z - -3))/4. Which is greater: n or 0.05?
0.05
Let s = -32298994315/2556 + 12636539. Let h = -2/639 + s. Do -132 and h have the same value?
False
Suppose 27 = 5*z + 4*n, -3*z + 3 = 2*z - 4*n. Suppose -5*l + 2 = z*f - 8, -l + 2*f = 11. Let a be 146/(-114) + 1*(-5)/(-15). Do l and a have the same value?
False
Suppose 5*u - 2*v + 114 = 0, 4*v = -4*u - 0*u - 108. Which is greater: u or 69?
69
Let d be 105/758*(-12)/(-18)*(70 - 68). Is d equal to -1?
False
Suppose -2*r + 399 = x, -4*x = 4*r - 0*r - 1592. Let v = -390 + x. Let o = -2 + 10. Is v < o?
True
Let w = 1214 - -4872. Is 6086 at least as big as w?
True
Let z be (-8)/6 - (-41)/(-3). Let d be 9/(-30)*((-140)/z)/7. Is d <= -3/7?
False
Let t = -0.01 + -4.99. Let k = 23.3 + t. Let c = -18 + k. Which is greater: 0.08 or c?
c
Let u = -223/1853 - -9608093/79806857. Is 0 bigger than u?
False
Let r be ((-10)/(-15))/(4/6). Suppose -4*k - 13 = -r. Let a(m) = -m**3 - 3*m**2 + m + 2. Let i be a(k). Do i and -1 have the same value?
True
Let v(r) = 3*r**2 - 7*r + 8. Let y be v(1). Suppose -b - 3*l + 6 = 0, y*l = -2*b + 9 - 1. Is -3/101 equal to b?
False
Let k(z) = 600*z - 152. Let w be k(8). Let j be w/(-70)*5/(-6)*-3. Are j and -167 unequal?
True
Let r = 2475/7 - 352. Let g(h) = -h**3 - 10*h**2 - 7*h + 16. Let x be g(-9). Let f be (3/x)/((-12)/24). Is f smaller than r?
False
Suppose 3806 = -3*j + 2307 - 2452. Do -1317 and j have different values?
False
Let s = 42.1875 - 42.234. Is 1/6 at least s?
True
Let x be (4/(-6))/((-5)/3). Suppose -4*v = -3*s - 386, -v - s - 27 = -134. Do v and x have different values?
True
Let g = 383 - 436. Suppose 0*r + 456 = -8*r. Which is smaller: g or r?
r
Let s(w) = -2*w**2 - 4*w**2 + 12*w + 10 + 2*w - w**3 - 3*w**2. Let o be s(-10). Let p = o + 32. Which is smaller: p or 2/3?
2/3
Let r be (90/(-35))/(-6) + ((-27)/(-21))/(-3). Which is smaller: r or 2/5449?
r
Let t = -1196578/121 - -9889. Let h = 680/10769 + t. Let i be ((-5)/(-4))/((-460)/(-184))*0. Which is bigger: i or h?
i
Let b be (744/(-15))/((4 - 5) + (-39)/(-45)). Is b at most 1867/5?
True
Let x be (-7)/(-3)*30/(-20). Let v(a) = -a**2 - 11*a + 21. Suppose -8*o = -15*o + 14. Let q be v(o). Is q at most as big as x?
True
Let n be (-27 - -33) + (0 - 3) + -2. Let o(c) = c**3 + 11*c**2 + 10*c - 2. Let x be o(-10). Let g be (4*(0 - 2))/x. Which is bigger: n or g?
g
Let q = -1378.56 - -1378.36. Let n = -137.7 + 121. Let t = 0.7 + n. Which is greater: t or q?
q
Suppose 71*b = -26*b + 17654. Which is greater: b or 178?
b
Let m be (-28)/49 + (-343444)/(-287). Let u = m - 1196. Suppose 12 = 4*h, k = -0*h + h - 3. Is u != k?
True
Let s = 224 + -224. Suppose s = 7*u + 9 + 75. Suppose 2*a + 3*p = -13, 0 = 3*p + 2 - 5. Is a > u?
True
Let k be (4 + -8)*-2 + 893. Let q = k + -902. Which is smaller: q or -1/11?
q
Let r(z) = 2*z**3 + 201*z**2 + 98*z - 180. Let c be r(-100). Let w = 1 + -5. Which is smaller: c or w?
w
Let b = -266.0664 - -0.0664. Let p = b - -265.98. Is -0.7 at least p?
False
Let c = 8 - 8. Suppose -3*u + 4*p + 12 = c, u - p - 1 = 2. Suppose u = -7*a + 6*a. Is 1/29 less than a?
False
Suppose 14*c = 20*c - 18. Which is smaller: 86/21 or c?
c
Let c(v) = 20*v**2 - 12*v + 50. Let g be c(12). Let x = g - 8639/3. Let u = x - -83. Is u bigger than -0.1?
False
Suppose -16*j - 381 = 1059. Are j and -88 non-equal?
True
Let v be 120/(-792)*27/30. Let j(g) = -g**3 - 9*g**2 + 9*g - 9. Let y be 20*(7 + -3)/(-8). Let f be j(y). Which is smaller: v or f?
v
Let b = 17 - 9. Let d(s) = -s**3 - 15*s**2 + 30*s - 60. Let q be d(-17). Let g = b - q. Is g greater than or equal to -4/11?
True
Let m(g) = -13 + 2*g + 15 + 4. Let s be m(-3). Suppose -5*i - 4 = -9*i. Which is greater: s or i?
i
Let c(w) = -26*w**3 - 2*w**2 - 69*w - 66. Let d be c(-1). Let o = -12 + 36. Which is smaller: o or d?
o
Let o = 4481 + -4479. Which is smaller: 85 or o?
o
Suppose -84 = -27*w + 34*w. Let u be 11 + -11 + w/(-38). Suppose -2*j + 5 = -7*j. Which is smaller: u or j?
j
Let x = 678 + -365. Let s = -439 + x. Let q = s + 116. Which is smaller: -2 or q?
q
Suppose 188*c = 3390 - 1648 + 5590. Is 201/5 less than or equal to c?
False
Let q = -50 - -65. Let k = 5 - 5. Suppose -6*y + 53 + 19 = k. Which is bigger: q or y?
q
Let u(g) = -6*g + 12 - 6*g**2 + 9*g**2 - 14*g - 5*g**2. Let i be u(-10). Let j = -238 + 241. Is j < i?
True
Suppose 33