48 + s. Is f >= 2?
False
Let l = 500590584/37 + -13531370. Let r = l - -1895. Does r = 0?
False
Let v = -13481136/413 - -32642. Which is smaller: -1 or v?
-1
Let m = 14455 + -11604. Which is bigger: m or 2852?
2852
Let x(h) = h**2 - 127*h + 506. Let d be x(4). Which is smaller: 205/16 or d?
205/16
Suppose 13 = -3788*h + 3775*h. Let v = 163.068 + -0.068. Is h greater than v?
False
Let v be (-2)/(-26) - ((-11)/(-88) - 2868795/(-936)). Which is smaller: v or -3067?
-3067
Let u = 183 - 197. Let j be -10*(1 + u/12). Which is greater: -1 or j?
j
Suppose 57*m - 67 = -20*m + 10*m. Which is smaller: 6/751 or m?
6/751
Suppose 5 = -i + 7. Suppose 156 = -i*t + 54. Let j be -53 + ((-6)/3 - -3). Is t <= j?
False
Let w = 4362 + -4361.991. Is w bigger than 3/8?
False
Let w(s) = -53*s**2 - 48*s + 48. Let c be w(1). Let h(n) = 6*n - 7. Let d be h(-7). Is d at most as big as c?
False
Let t = 97401/61 - 1597. Do -1 and t have the same value?
False
Let x(i) = -i**2 - 6*i + 519. Let s be x(20). Which is bigger: s or 25/64?
25/64
Let u be (4 + -1)*(88/99)/((-12)/(-12807)). Which is bigger: 2849 or u?
2849
Let z be 1104/84 + -13 - (-48)/(-385). Which is bigger: z or 0?
z
Let r be (-18)/(-117) + -2 + (-22)/(-26). Is r greater than -10/219?
False
Let o(s) = s**3 - 5*s**2 + 10*s - 10. Let c be o(6). Suppose 4*b = -3*w + 355, -4*w - 453 = -3*b - 218. Which is smaller: b or c?
b
Suppose -4*r = -6*r + 600. Let l = r + 4. Is l greater than or equal to 303?
True
Let i = 16755 + -16755.1. Which is smaller: -0.03176 or i?
i
Let b = 106987 - 962669025/8998. Which is smaller: b or -1?
-1
Let o be (14/35)/1*280. Suppose 41*r = 34*r - o. Is r greater than -14?
False
Let f = 40.01 + -40. Let z = 115 - 104. Let r = z + -4. Which is smaller: r or f?
f
Let f be ((-4)/(-6))/((-12)/(-702)). Suppose 0 = 2*v + q + 2*q + 27, -3*v - f = 3*q. Suppose -650 = 58*l - 12. Is v less than or equal to l?
True
Let i = -90899 - -45904093/505. Is -1 at least i?
False
Suppose 1243*w = 1276*w. Which is bigger: w or 3/3572?
3/3572
Let r = 240 - 245. Let c(v) = -16*v**2 + v + 19. Let x be c(r). Are x and -386 equal?
True
Suppose -10*a + 957 = -313. Let m = a - 165. Let j = m + 32. Is j < -23/4?
True
Let g = 2/1601099 + -9915606155/38426376. Let f = g + 258. Which is greater: f or 0.2?
0.2
Let u(x) = -50*x**2 + 94*x + 7. Let i be u(2). Which is smaller: -14/103 or i?
i
Let x be (24/8)/((6/2134)/(9 + -11)). Are -6400/3 and x non-equal?
True
Suppose 75*y - 3072 = -18297. Which is smaller: -403/2 or y?
y
Suppose -2*t + 85 = 3*t. Suppose -18 = t*h - 205. Which is bigger: 121/10 or h?
121/10
Let b = -65691.57 + 66135. Let m = b + -446. Is m greater than or equal to 0?
False
Suppose 9*z - 3 = -q + 10*z, 0 = 5*q + 5*z - 25. Let x be q + 7 + 1004/(-52). Which is bigger: x or -8?
-8
Let s = -8 + 53. Let v = s - -223. Is 0 at least as big as v?
False
Let l = 216 - 201. Let a = -899 + 907. Is a <= l?
True
Let r = 2672 - 1859. Which is smaller: 808 or r?
808
Let t = 102510/11 - 9328. Is -8 less than or equal to t?
False
Let x(n) = -6*n - 7. Suppose -8 = 10*q - 2*q. Let r be x(q). Is r > 1/50?
False
Let u = -716 - -716. Which is greater: u or -13/47?
u
Let d(h) = h**3 - 5*h**2 - 174*h + 2248. Let o be d(15). Which is bigger: 1885 or o?
o
Let a = 19323 - 193231/10. Which is smaller: a or 0.7?
a
Let v(z) = 4*z + 2. Let x be v(4). Suppose -y + 4*p = 4, -38*y = -41*y - 5*p - 63. Let r = y + x. Which is bigger: 1 or r?
r
Let u(r) = 2*r**3 + 73*r**2 - 32*r + 185. Let c be u(-37). Let g = 53972/4565 - 2/415. Let x = -1712/143 + g. Is x not equal to c?
True
Let a be ((-2)/((-6)/(-3)))/(3/(-21)). Let l be (250/35)/(4/a). Which is bigger: 14 or l?
14
Let l = -195744 - -195744.75. Let z = -0.1 + -2.9. Which is smaller: z or l?
z
Let i = -7.636 - 239.364. Which is smaller: 0.9 or i?
i
Let g = 319 - 462. Let t = 100 + g. Let i = t + 43.2. Is i greater than or equal to 0.6?
False
Suppose 0 = -5*z + 4*v + 38 + 430, -3*z + 284 = -4*v. Are z and -1/20 equal?
False
Let l be (-6179150)/(-600) - (-10)/24. Are 10299 and l unequal?
False
Let v(a) = -116*a + 3. Let d be v(0). Let x(m) = 2*m - 7. Let f be (-7)/(((-1)/1)/1). Let c be x(f). Which is greater: c or d?
c
Let w = 379879 - 379670. Let g be 1 + (-1 - 2/(-6)). Which is bigger: g or w?
w
Let z(k) = 1 - 2*k + 1301*k**3 - 12*k**2 - 2608*k**3 + 1306*k**3. Let h be z(-11). Are h and -100 equal?
False
Let p = -29/505 + 26/101. Which is smaller: p or 324.4?
p
Let k = 222 - 243. Let i be 0/(-1) - 3*(-7)/k. Which is greater: 1/72 or i?
1/72
Suppose 0 = 4*n - 2*y - y + 483, -2*n = 5*y + 235. Let f be ((-6)/n*5)/(-1). Which is bigger: 4 or f?
4
Let h(l) = 40*l**3 - 6*l**2 - 34*l + 124. Let s be h(3). Is s >= 1067?
False
Let b be (-2)/((-1070769)/50988 + 23 - 2/1). Are b and 4856 nonequal?
False
Let p = 320 - 339. Let v = 17.2 - 35.9. Let r = v - p. Which is greater: r or -0.1?
r
Let c = -5299/9 - -589. Let s = -13/38 - -1583/4655. Which is smaller: c or s?
s
Suppose 3*g + 1299 = -4*s, -2*s = -2*g + 248 + 412. Let l = -322 - s. Which is smaller: l or -4?
-4
Let t = -506 + 725. Suppose -t = -12*d - 279. Is d at least as big as 9?
False
Let d be (-15348)/(-46116) - (-2)/(-6). Which is greater: -1 or d?
d
Let v be 68/8*-1*(11 - 23). Is -9 greater than or equal to v?
False
Let w = -982 + 130611/133. Is w at least 0?
True
Suppose -389*s = -391*s - 5*y - 246, -s = y + 132. Which is smaller: -139 or s?
-139
Let n = -12863 - -12820. Let x = -12 - -16. Suppose -8 = -x*g - 3*a + 5*a, -3*a - 12 = -2*g. Is n less than g?
True
Let t = 3830 - 3566.1. Let g = t + -264. Which is greater: g or -47.1?
g
Let o = -282368/55 - -5134. Are -36 and o equal?
False
Let x = -22 + 15. Let v be 1*(3 - (-6)/2). Suppose -5*b - v = 19. Is x < b?
True
Let k(h) = 84*h**2 - 5376*h. Let j be k(64). Let n = 3/29 - 41/116. Is n != j?
True
Let m = -7430.14 + 7430. Let p = -0.28 - -0.3. Let f = m - p. Which is smaller: 1 or f?
f
Let m be (-12 - (-564)/66) + -12. Is m at least -14?
False
Suppose 5*o - 4*r - 70 = r, 6 = -o - 4*r. Suppose -5*y + 35 = -o. Suppose y*b - 2 = -29. Is b less than -1?
True
Let i(t) = 7*t**2 + 10*t - 8. Let d(r) = -5*r**2 - 9*r + 7. Let f(l) = -3*d(l) - 2*i(l). Let h = 2 + -12. Let p be f(h). Which is smaller: p or 24?
24
Suppose q - 362*i + 365*i - 5192 = 0, -4*q - 5*i = -20782. Is q <= 5199?
True
Let w(k) = -11*k**3 + k + 1. Let q be w(-1). Suppose -p - 6 = -q. Let g(c) = 5*c**2 + c + 1. Let a be g(-1). Is p <= a?
True
Suppose -2*x = 0, -5*v - 2*x - 40 = -x. Let m = v - -10. Let h be (0 - m/(-8))/((-6)/(-16)). Which is greater: h or 2/11?
h
Let z be (-21)/(-12) - (-2)/8. Let o be (-1 + 9/5)/(z/5). Suppose -o*n - 5*w + 0 = -18, -22 = 2*n - 5*w. Are n and -3/7 equal?
False
Let w = 2.51 + -2.53. Is w smaller than -2/567?
True
Suppose -52*f + 741500 = 73*f. Are 5930 and f equal?
False
Let o = 4.581 - 4.99. Which is smaller: o or 0.1?
o
Let b = -113 - -198. Let d = b - 85. Let k = 40 - 122/3. Is d greater than or equal to k?
True
Suppose f = -t - 12, -3*t - 11 + 3 = -4*f. Let s be 1/t - (-104370)/847504. Is 1 at least s?
True
Suppose -5*o + 5*r + 2850 = 0, 2*o - 3*r - 1155 = 2*r. Let d = o + -611. Suppose 2*l = -0*l - 94. Is l greater than or equal to d?
False
Suppose -4*c + 7 = 75. Suppose -3*n = 5*m - 149, m + 3*n - 35 = 5*n. Suppose -3*p - 23 = m. Is p > c?
False
Let l be (770/168)/55*36. Let g(w) = 2*w + 3. Let u be g(-4). Is u at most l?
True
Let l = -93 - -7. Let j = 304 - l. Let c = -5463/14 + j. Which is smaller: 1 or c?
c
Let i be 23/(-20) + (-12 - -1) + 12. Let t be ((-1)/(-3))/((-4)/(-3)). Do i and t have different values?
True
Let m be ((-1557)/2076)/(2/1896). Which is smaller: m or -707?
m
Let f = -0.04 - -0.14. Let v = 0.24 + -43.24. Let j = 41 + v. Which is smaller: f or j?
j
Let y be 15832/(-3940) - (-4 - (8/2 - 4)). Is 1 less than or equal to y?
False
Let j = 2980 + -2975. Let d(z) = 2*z**2 - 3*z. Let l be d(2). Suppose l*m - 9 = k - 2, 3*m - 9 = 2*k. Which is greater: k or j?
j
Let q = -12308 + 12307. Which is greater: q or -36?
q
Suppose 4*g = v - 69, 2*v - 58 = 5*g + 29. Let m = 33556/7 - 4811. Let c = m - g. Which is smaller: -7 or c?
-7
Let l be (-10)/(-11)*(306/(-187))/18. Let t = 12 - 11. Which is bigger: l or t?
t
Suppose -63 + 66 = v. Suppose v*o - 1707 + 474 = 0. Which is smaller: 41