aller than 143/5?
False
Let x = 16823 - 16823.1. Is 1010/9 less than x?
False
Let d(v) = v - 1. Let i be d(9). Let w be 3/(-12) - (-2)/i. Suppose -o + w*o = -0*o. Which is smaller: -4 or o?
-4
Let g = -8782 - -5684. Is g not equal to -2?
True
Suppose 5*y - y - 67 = -5*q, 2*q - 38 = 4*y. Let h be q/69*6/15. Suppose -71 = 14*r - 85. Is h greater than or equal to r?
False
Suppose -30666 = -268*p + 10927 + 215. Which is greater: 147 or p?
p
Suppose 0 = -6*i + 2*i. Let g = -2465998/63 + 39146. Let z = -26/9 + g. Is i > z?
False
Let f = 9.711 + -0.711. Let b = -0.01 + -0.69. Which is bigger: b or f?
f
Let a = -0.379 - 0.041. Let n = a - -0.42. Let t = n - 0.1. Which is smaller: t or 1/12?
t
Let s(f) = f**3 - 7*f**2 - 28*f - 17. Let u be s(-6). Let t = u + 538. Which is smaller: 220 or t?
220
Suppose -63*c = 219*c - 348 + 66. Which is smaller: 11/38 or c?
11/38
Let n be (2 - 2/1) + 2*-161. Let c = n + 302. Which is greater: c or -12?
-12
Let f = -6.32 + 5.625. Let b = 2.695 + f. Is 0.081 at least as big as b?
False
Let q be -1*(-5 - 13)*((-5660)/(-12) - 5). Which is smaller: 8399 or q?
8399
Let p be 4/14 + (-66)/(-14) + -1. Suppose -p*z + 3*z = 4, 8 = -2*k - z. Is k greater than -16?
True
Let b = 2.0625 + -1.9525. Which is smaller: -0.0433 or b?
-0.0433
Let t = 483.234 - 484. Let u = t - -2.766. Is u bigger than 6/11?
True
Let f = 1.27 + -11.47. Let q = f - -10. Let i = 80 - 73. Is i at least as big as q?
True
Let b be (-2190)/126 - (-3 + -4 - -12). Which is smaller: -23 or b?
-23
Suppose 3180 = -4*p + 19*p. Suppose 581 - p = -3*z. Let b = z + 88. Is b at least as big as -36?
True
Let r(h) = h**3 - 29*h**2 + 94*h + 159. Let d be r(25). Which is greater: d or -58?
d
Let b = 9908 - 9907. Let n = 80098/83 - 965. Is b smaller than n?
False
Let v = -847.2 + 845.91. Does -0.5 = v?
False
Let v = 7.5 + 1.5. Let l = 11 - v. Let j = -23.21 - -23.09. Which is bigger: l or j?
l
Let h be (5/11140)/(75/30). Is h less than 0.1?
True
Let l = -46 + 12. Let o = -3 - l. Let t = o - 30.4. Which is bigger: -0.1 or t?
t
Suppose 5*d - 3*s - 6 = 8*d, 0 = -5*s - 20. Let q(y) = -6*y**3 + 2*y**2 + 4*y - 4. Let f be q(d). Let k(b) = b**2 + 13*b + 7. Let l be k(-7). Is f at most l?
True
Let q be (-1 - 12/(-8))*(-807 + 17). Which is smaller: q or -17?
q
Let h be (4/(-14))/(-1) - 10/133. Let d = -16838.8 - -16839. Is d at least as big as h?
False
Let t = 118645 - 39034169/329. Which is smaller: 1 or t?
t
Let s = 15669/5 + -3135. Which is bigger: s or -0.0563?
-0.0563
Let g = -1742/1247 + 66/43. Suppose 17 = -3*p - 5*v, v = -3*p + 4*v + 15. Is g at most as big as p?
True
Let x be 13 - (-506265)/(-56250) - (2 - -7 - 5). Which is greater: x or -0.4?
x
Let n = -179 - -178.083. Let o = n - 0.083. Are 60 and o non-equal?
True
Let q(p) be the second derivative of p**4/12 + 3*p**3/2 + 3*p**2/2 + 3*p. Let t be q(-9). Let b be 0 + (1/t - (-4 - -3)). Which is greater: 0 or b?
b
Let n be 3/(-1 - (-4 - -2)). Suppose -4*p + 2*y = -7 - 7, -4*y = p - 17. Suppose -5*i - n*l + 72 = 0, -3*i = p*l - 26 - 14. Which is smaller: i or 16?
i
Suppose 4*f + 2*n = -18, 23 = 7*f - 15*f - 3*n. Let k be ((-9)/(-31))/((-3)/(-12)). Which is smaller: k or f?
k
Let n be 21825/(-12610)*(-28)/(-5). Is -8/3 at least n?
True
Let o = -0.07 + 0.17. Let q = o - -0.3. Let s = -411/4 - -103. Is q != s?
True
Let t = -5876 + 1238. Let y = t + 4639.979. Let k = y + 0.021. Which is greater: k or -4/3?
k
Suppose -8*b + 114 = -270. Suppose -v - v = b. Are -24 and v unequal?
False
Suppose -18 = -31*f + 28*f. Suppose -f*k - 35 = -11. Suppose -4*a = -m - 0*a - 11, -4*m - 2*a + 10 = 0. Which is smaller: m or k?
k
Let v = -96 + 76. Let h be (5 - (-97)/v)/5. Let j = -131/2300 - h. Is j greater than 0?
False
Suppose -4*m + 270 = 5*v, 5*m - 4*m = 5. Let d = v - 87. Let z = -1233 - -1196. Are d and z unequal?
False
Let f = -15/17 + 5021/5729. Suppose 3*c - 3*o - 6 = 0, 9*o - 4*o = -5*c. Is c greater than or equal to f?
True
Let x = 48 + -47. Let m(g) = -g + 14. Let f be m(12). Let h be 6 + (-15)/(3 + f). Which is smaller: x or h?
x
Let u be 2 + 6 + -6 + 10*12/15. Let j = -389/6 + 147/2. Is j not equal to u?
True
Let b(y) = y**3 - 19*y**2 + 34*y + 5. Let g be b(17). Let i = 1 - g. Which is smaller: i or -2?
i
Let s(v) = -2*v**2 + 2*v + 50. Let j be s(6). Let y be j/(-120) + 55/(-180). Suppose -2*q + 1 - 3 = 0. Is y at most as big as q?
False
Suppose -29 = -i + 19. Let r be 36/i + (-9)/12. Is 2/67 > r?
True
Let v be 1815/(-88)*(-4)/10. Let g = 1052 - 1051.9. Which is bigger: v or g?
v
Let t = -108/13 - -298/39. Suppose 5*j - 8*j = -141. Is t > j?
False
Suppose 4*f + 5*q = -6 - 36, 0 = 4*f - 4*q + 24. Let m be (3/5)/(9/(-45)). Which is smaller: f or m?
f
Let m(w) = -w**3 + 22*w**2 + 89*w - 409. Let x be m(25). Is -1122/19 at least as big as x?
False
Let a = -0.0909 + -4.6891. Let r = a - -4.88. Is r less than or equal to 100?
True
Let k be -4 + (5 + -1 - 0). Suppose -3*d - 5*i + 166 = k, -d - 4*i = -6*d + 289. Is 56 greater than d?
False
Let p be -263*(-14 - -44)*2/(-6). Is -2/7 less than or equal to p?
True
Suppose 2*v - 56 = -4*y + 5*v, y + v = 21. Suppose 2475 = z + 24*z. Let j be (-2)/10 + z/165. Which is greater: j or y?
y
Let u be (-1)/(-5) - (-4 - 1230/(-25) - -10). Let m be (-2)/(-4)*(0 - 0). Are m and u equal?
False
Let f(k) = 2*k + 4. Suppose 11 = -7*h + 67. Let u(d) = -d**3 + 9*d**2 - 6*d - 18. Let j be u(h). Let y be f(j). Is y not equal to 2/25?
True
Suppose 75*t = -58*t - 5852. Suppose 0 = 5*i, 0 = g - 0*g - 4*i + 1. Let j be (46 + -3)*g - 2. Which is smaller: j or t?
j
Let h(x) be the first derivative of -x**4/4 - 17*x**3/3 + 5*x - 86. Let s be h(-17). Which is greater: s or 3?
s
Let w be ((-72)/(-45))/((-1)/(-5)) - 250. Which is smaller: w or -1204/5?
w
Suppose 67 = 5*c - 5*n + 277, 2*n - 8 = 0. Is c equal to 14?
False
Let b be ((-3080)/(-3066) + -1)/((-1)/6). Suppose y = 5*c + 2, -2*c + 5*c - 2*y = 3. Are c and b equal?
False
Let o = 0.01 - -0.059. Let i = -0.127 + o. Let p = i - -0.027. Is 2/9 greater than p?
True
Let z(k) = -k**2 - 11*k + 24. Let a be z(-12). Suppose 262*w + a = 268*w. Which is greater: w or -4?
w
Let y = -0.0901 + 0.0601. Is y > -232?
True
Let f be 21/(-12)*12/(-14). Let c(g) = -43*g**2 - 4*g - 5. Let i be c(-1). Let l be (-8)/i - (-19)/(-44) - 0. Which is greater: l or f?
f
Let j = 10 + -10. Let s be ((-2 - j) + 4)*-6. Let h be (-30)/(-28) - 3*(-2)/s. Are h and 2 unequal?
True
Let c = 3970 - 2688. Do c and 1281 have the same value?
False
Let l(w) = w**3 + 8*w**2 - 99*w - 62. Let q be l(7). Are q and -211/10 nonequal?
True
Let w be 133/4 - (-2)/(-8). Suppose 56*x - 68 = 1892. Is w greater than x?
False
Let f be 2/150*(4 + (-7)/(-70)*-4*19). Let u be 4/6 + (-5)/3. Which is smaller: u or f?
u
Let n = -1364 - -1364.5. Is n >= -178?
True
Let p = 14631 - 14630.9. Is 4501 less than p?
False
Let t = -24 - -24. Let z = 387 + -316. Which is bigger: t or z?
z
Suppose 7791*v - 62556 = 7795*v. Is v < -15640?
False
Let t = -23645/4 + 5825. Which is smaller: t or 2?
t
Let t = 454 - 440. Let f = t + 17. Is 34 less than or equal to f?
False
Let k(l) = 2*l**2 - 286*l + 3757. Let m be k(15). Do m and -92 have different values?
True
Suppose 4*d + 278 - 59 = 5*k, 3*d - 200 = -4*k. Suppose k*o - 161 = 70*o. Is o greater than or equal to -6?
False
Suppose 0 = -t + a + 1828, -5*t - 429*a + 430*a = -9128. Is 1826 at most t?
False
Let n = 1.357 - 4.357. Is n at most as big as -11?
False
Let b = 25913 - 28652. Which is smaller: 0.2 or b?
b
Suppose -2*t - 4 = -t, -4*p + 3*t = -100. Let l(b) = -b**3 + 20*b**2 + 44*b + 21. Let q be l(p). Which is greater: 20 or q?
q
Let h be (-7)/(63/6) - 650/6. Are h and -1428/13 equal?
False
Suppose -3*x = -4*x - 79. Let s = 217 + -279. Let w = s - x. Does 1 = w?
False
Let w = 207 + -1655/7. Suppose -4*o - k - 114 = 0, -39 = 3*o - 2*o - 5*k. Which is bigger: o or w?
o
Let p = -181569/8 - -22694. Is p less than or equal to -3?
False
Let j(q) = 16*q - 69 - 74 - 17*q. Let g be j(25). Is g at least -169?
True
Let z be -122*((-6)/4)/((-6)/(-2)). Let w = z + -79. Suppose -22 = -6*y - 136. Which is smaller: y or w?
y
Let m = -7816.1 + 7935. Is -0.1 at most m?
True
Let k = -4712.9 - -4713. Let j = -2/1437 + -2383/8622. Which is bigger: k or j?
k
Let y = 32 + -12. Let t(k) = 7*k + 158. Let h be t(-21).