ller than w?
True
Let q = -552529 - -30386947/55. Let p = q - -390/11. Let v(m) = -2*m**3 + 104*m**2 - 108*m + 305. Let t be v(51). Which is smaller: t or p?
p
Suppose -5*w - 10 + 5 = 0. Let y be (-42)/(-35) - (-5)/w. Is -3 smaller than y?
False
Suppose -7*m - 178 = -59. Let o be ((-2)/4*-1)/(m/(-204)). Let s = 5 - o. Which is greater: s or 1/35?
1/35
Let y = 1.203 - 1.1303. Let x = -1.3283 - y. Let f = -0.001 - x. Which is bigger: f or 0.2?
f
Let v = -376/5 + 19923/265. Suppose -241 = 13*g - 254. Is v at least g?
False
Let c = -3.5374 - 31.6086. Let d = c - -0.146. Is 2 less than or equal to d?
False
Let s = 6.9 + -45.9. Let g = 1276 + -1314. Let o = s - g. Which is smaller: 0.04 or o?
o
Let n = -8135 + 8141. Let c be (0 + 1)/1 - -30. Let v be (-1*(-4 + n))/c. Which is smaller: v or 0?
v
Suppose -4*f = t - 18, -3*f - 17 = -6*f + t. Suppose 3*k = f*o - 10, -5*o + 45 = -k + 5*k. Let z be (4/10 - 17/k) + -52. Is -55 at most as big as z?
True
Let w = 42761442 - 237539811411/5555. Let g = -2/1111 + w. Suppose -3 + 7 = 2*q. Which is smaller: q or g?
g
Let h = 0.047 - -1.953. Let u = -33 + h. Let m = -30 - u. Which is bigger: m or 11?
11
Suppose -8 = 4*q, l = -0*l + 5*q - 681. Let r = l + 725. Is r at most 171/5?
True
Suppose 0 = 24*c + 4608 - 552. Let h = c - -217. Are h and 48 nonequal?
False
Suppose -5*t + 8*t + 996 = 5*n, n = 5*t + 186. Let b be n*(56/(-12) - -5). Which is bigger: 65 or b?
b
Let v(j) = 2*j**3 + 8*j**2 + 6*j - 2. Let m be v(-6). Let y be 19/m + 5/35. Let o = -8 + 9. Which is smaller: o or y?
y
Let n = 6981 + -6980. Which is greater: 0.363 or n?
n
Let j = -4.18 + 4.1. Is 2.07 < j?
False
Let k be (0 + (-1)/(-10))*-8. Let o be (90/150)/(6/50). Suppose 0 = a + 1, 3*c + a = c - o. Which is smaller: c or k?
c
Let k = 50 - 47. Suppose -8*b - 540 = -k*b. Let s be 2/12*(-8)/b*-3. Which is greater: 1 or s?
1
Suppose 3*k - 1329 = 4*i, -5*i + 2145 = -161*k + 166*k. Is k less than or equal to 449?
True
Let o = 3.1 - 3. Let w be (-29)/261 + (-1 - (-334)/9). Let i be (-25)/(-10)*(w/(-75))/3. Is i greater than o?
False
Let r = -20 - -18. Let g(m) = -2*m - 4 + 3*m - 28*m**3 + 3*m**2 + 29*m**3. Let x be g(-2). Is r greater than x?
False
Let r = -1610843047/13770067 - 98/121859. Let p(o) = 4*o - 109. Let s be p(-2). Let a = r - s. Which is bigger: 1 or a?
1
Suppose 2*p = 2*q - p - 3, q = -3*p + 24. Suppose q + 0 = 3*k, 4*k = 4*n - 248. Is n >= 65?
True
Suppose 5 + 3 = 2*c + 5*q, -3*c - 9 = -3*q. Let p = -613890 + 6748303/11. Let d = p + 407. Which is greater: d or c?
d
Suppose -26 = 21*d + 5*d. Let s be ((-3)/(-50))/((-12)/48). Does d = s?
False
Suppose -4*z - 3*b = -385, 3*z - 198 = 5*b + 127. Suppose -114*h = -109*h - z. Let m be (-6)/h*(-5)/(-6)*-1. Is m less than 0.3?
True
Suppose 3*f + 53 = -5*n, n + 1 = f - 2*n. Let m(w) = -8*w**3 + 328*w + 5 - 10*w**2 + 6 - 312*w + 7*w**3. Let h be m(f). Which is greater: h or -43?
-43
Let s be (20 - 4304/232)*-62. Which is bigger: -89 or s?
-89
Let j = -535 + 463. Let t = j + 142. Is t at most 70?
True
Suppose 3*n - 1 = 2*n. Suppose -f + 4 = 0, 2*f - n = q + 6. Which is smaller: q or -4/41?
-4/41
Let l be ((-77)/(-33))/((-35)/(-15)). Is l at most as big as -3/244?
False
Let a(k) = 3*k**3 - 24*k**2 - 8*k + 81. Let h be a(9). Which is smaller: h or 235?
235
Suppose 24*t - 8626 - 806 = 0. Is t equal to 1181/3?
False
Let a be ((-1160)/(-87) - (25 - 9))*(-3)/16. Which is smaller: 13/171 or a?
13/171
Suppose 5*n + 5*n = 50. Let d be -2 + (-1 - -40) + n + -1. Which is smaller: 40 or d?
40
Let z = -122 - -127. Suppose z*a + 3 = 4*s + 4*a, -5*s - 5*a - 15 = 0. Let o = 1/628 + 67/7222. Is s at most o?
True
Suppose 0 = 6*t - t - 25. Suppose -24 = 2*b - 4*i, 72 = -t*b + i + 3*i. Let h be (9/21)/(21/14). Is h at most b?
False
Let p = 4.93 - 3.93. Let u(h) = -116*h**2 - 5*h - 6. Let g be u(-1). Is p at least as big as g?
True
Let g(t) = -2*t**2 - 7*t + 5. Let v be g(-5). Let i = v + 13. Suppose -6*q = -i*q - 33. Is 9 greater than or equal to q?
False
Let r = 1 - 1.06. Let a = 67 - 68. Let x be a/6 + 228/72 + -6. Is r equal to x?
False
Let f = -25731 - -4399999/171. Which is smaller: 2/19 or f?
f
Let q = 13020 + -12892. Which is smaller: 98 or q?
98
Let x = 1011 + -2701. Is -1691 greater than x?
False
Let a(k) = -2280*k - 560. Let x be a(-1). Which is greater: 1721 or x?
1721
Suppose -159*f - 117*f = 32*f + 24640. Is -81 greater than or equal to f?
False
Let n be (-67)/3 - 1675/1005. Let t(w) = -21*w**3 - 2*w**2 + w. Let v be t(1). Which is smaller: v or n?
n
Let d(g) = -7*g**3 - 6*g**2 + 9*g - 7. Let k be d(3). Let y = k + 205. Do -18 and y have the same value?
True
Suppose -80 + 80 = 9*o. Let x be 1 - (o - (-4)/(-8))*0. Is -7/27 equal to x?
False
Let t be 27/(-162) + 1124/1992. Which is greater: 1 or t?
1
Suppose 0 = b + 2*b - 168. Let q be ((-1902910)/(-900))/37 - (78/108)/(-13). Which is smaller: q or b?
b
Let a be 14178/2193 + 16/(-2). Let l be 656/(-4472)*271/26. Let k = l - a. Are k and -1 unequal?
True
Let f be (-9)/(-15)*10/(-32). Suppose 10*w - 19*w = 29*w. Which is smaller: w or f?
f
Suppose 0 = -z, -5*o + z + 952 = -183. Is o smaller than 224?
False
Let k = 80 - 78. Suppose x + k = -2*i + 6*i, x = -2*i + 4. Is x > -0.2?
True
Let c = -14 + 16. Let p be (-1)/(3 + (-20)/6). Suppose p*v + 2 = -d - 0, c*d = v - 4. Which is smaller: -11/8 or d?
d
Suppose -5 = -10*f + 55. Let a be (-9)/f + (-185)/10. Is a equal to -64/3?
False
Suppose -4*k + 3*x = -9*k + 15, 3 = k - 2*x. Suppose -2 = k*q + 1. Let a be 1/(-4)*(-368)/1058. Is q smaller than a?
True
Let n = -2695/282 + 53/6. Let d = -1642/329 + n. Is d less than or equal to -7?
False
Let h = -22601.1 - -22600. Are -96 and h non-equal?
True
Let l = -248.62 - -206.496. Let q = 5.5 - 5.376. Let h = q + l. Which is smaller: h or 1?
h
Let h = 7366/25 + -2091901/7150. Let o = 24/11 - h. Suppose 2*m = -4*w - 14, 0*w - 2*w - 9 = -m. Which is greater: o or m?
m
Let o be (-92)/(-1*(-1)/1). Suppose -5*r = 2*u + 209, -494 = 4*u + u + 3*r. Let k = o - u. Are k and 5 equal?
True
Suppose 42 - 2 = 4*q. Let l be 12/q*(-120)/(-36). Suppose -4*c - 4*k + 24 = k, -2*c + l*k - 14 = 0. Which is greater: c or 3/104?
c
Let r be 1/(-17) + (6 - (-968)/(-17)). Is -852/17 less than or equal to r?
False
Let r = 4836 - 4798.5. Which is bigger: r or 0.2?
r
Let f be ((-2835)/(-630))/((1/(-8))/((-1)/2)). Which is bigger: f or -6?
f
Let k(r) = 6*r - 7. Let q be k(2). Let v = 94.925 - -0.075. Let p = v - 94.94. Is q < p?
False
Let z = 489 + -472. Let w = 5 - z. Is 0.06 greater than or equal to w?
True
Let k be (4 - 2/1)*-1. Let g = k + 38. Let j = -37 + g. Is j greater than or equal to 1/3?
False
Suppose 50 = -3*r - 19. Suppose -113 = -10*o - 73. Let v be (-5 - -9) + -32*1 + o. Do r and v have the same value?
False
Let w = 3924.8 - 3925. Which is smaller: -4.97 or w?
-4.97
Suppose -2*i - 14 = 4*m, -3*i = -5*m + m + 51. Let d = i - -18. Suppose 3*r = -0*v - v - 18, -d = r. Which is smaller: -2 or v?
v
Let o be ((-224)/84)/((-4)/6). Suppose 2*n + 4 = 0, 0*m - o*m + 58 = 3*n. Is 17 at least m?
True
Let c be (0 - -2)/(6/9). Suppose -c*k = 2*k - 5. Let b = 121356/539 - 2478/11. Which is smaller: k or b?
b
Let v = 18752807/678 - 27659. Is -1 equal to v?
False
Let i = -0.989 - -2.289. Do -16/7 and i have the same value?
False
Let u = 0.1221 - 485.1221. Which is smaller: u or -1?
u
Let a be (-21)/(-3) + ((-189)/27 - -30). Let n = 0 - -2. Is a < n?
False
Let w be (9 - (-4 - -4) - 10)*0/2. Let j be 4 + ((-2832)/(-100))/(-6). Is j != w?
True
Let v = -0.102 + 4.482. Let a = 4.31 - v. Is 41 > a?
True
Let c = -2818 + 2780.9. Is -1/2 at least c?
True
Let h = 0.5119 - -0.4251. Which is smaller: h or 4?
h
Let y = -131.79 - -132. Let q = -1.92 + 1.7. Let d = y + q. Is d != -0.1?
True
Let v be 2/(-8) + (-43)/4. Suppose -6*x + 9*x = 18. Suppose -4 = k + x. Are v and k unequal?
True
Let z = -39.001 - -0.001. Let i = -168.9 + 131. Let d = z - i. Is 2 smaller than d?
False
Let c = 71 + 1. Suppose 0 = 4*y + c + 504. Let q = 717/5 + y. Which is greater: -2 or q?
q
Let j = 10.2 - 224.2. Let u = j - -214.04. Which is smaller: 13 or u?
u
Suppose -2*k - k + 3 = 0, 0 = -5*t + 3*k + 62. Suppose 0 = -j + y - 4 + 3, -j - 3*y = t. Is j equal to -2/19?
False
Let x(j) = -j**2 - 157*j + 481. Let y be x(-160). Which is bigger: y or 1/155