than or equal to f?
False
Suppose 20*q = 7473 - 6953. Is 642/25 at most as big as q?
True
Suppose 5*m - 1533 = -4*i, i - 523 = -4*m - 126. Suppose 6*w + 217 + i = 0. Are -99 and w non-equal?
False
Let a = 0.0438 - 2.1538. Let y = -3.11 - a. Which is bigger: y or 0.087?
0.087
Let r(d) = -d**2 + 3*d - 3. Let u be r(-7). Let s = 3 + u. Suppose 9*a + q + 630 = 2*q, 3*a + 210 = -q. Is a smaller than s?
False
Let x be (-12874)/(-480) + (-316)/2370. Which is smaller: x or 26?
26
Let d = 346766906/8155 - 42522. Which is greater: d or -1?
d
Let u(v) = -v**2 + 6*v - 1. Let b be u(6). Let s be (60/(-48))/(255/(-72)). Which is smaller: b or s?
b
Suppose 4*s = j - 27, -3*j + j - 3*s - 1 = 0. Let q be 42/(-343)*j*14/(-50). Is q at least as big as 0.05?
True
Let m be (-260)/312 + (-4654)/(-12). Do 415 and m have the same value?
False
Let p be (-4)/(-3)*510/55*11. Which is bigger: 1077/8 or p?
p
Let u(h) = -2*h**2 + 43*h + 20. Let v = 901 - 879. Let l be u(v). Is l less than -1?
True
Let f = 153 - 130. Suppose 7*n = f*n + 16. Let y be 2/3 + 556/(-825). Is n at least as big as y?
False
Let h = 123.37 - 2.37. Let m = -332.2 - -216.2. Let g = m + h. Is g less than 0.8?
False
Suppose -751*g - 2*v = -755*g + 156, v - 127 = -3*g. Is g not equal to 41?
False
Let q(b) = b**2 + 10*b - 24. Let d be (-16)/2 + 44/22. Let t = d + -6. Let a be q(t). Are a and 6 non-equal?
True
Let m be 4/6 - (16/(-3) + -5). Suppose 3*h + 13 = -m. Let k = h - 12. Which is bigger: k or -21?
k
Let y(t) = -t**3 - 6*t**2 - 14*t - 159. Let f be y(-7). Is f greater than -3/215?
False
Suppose -5*j = 20, -4*s + j = -6*s - 2. Let b be (9/(-9))/(0 + -2 + s). Suppose -b = -5*q + 4*z + 35, 2*z = -5*q + 42. Do q and 8 have the same value?
True
Let w = -102 - -70. Let a be 5 - -10 - (-1470)/(-30). Is a at least w?
False
Let m be ((-2)/(-4) - 0/(-5 + -1))*147. Is m bigger than 0.9?
True
Suppose 0 = 5*h + 5*d + 20, -8 = -33*h + 27*h + 2*d. Is h <= -4229?
False
Let x = 5910 - 5910. Which is smaller: x or -1/392?
-1/392
Let z(b) = 3*b - 14. Let n = -126 - -110. Let u be z(n). Is u greater than -62?
False
Suppose 2*b = 5*r - 3, -20*r + 18*r + 4 = 2*b. Which is smaller: 2/5303 or b?
2/5303
Suppose 132*b - 15 = -15. Is b less than 2/11515?
True
Let i be (-70110)/25 + (4 - (-54)/(-15)). Let q = i - -64502/23. Which is bigger: q or 0?
q
Let w = -2919 + 2815. Let h(r) = -17*r - 7. Let l be h(5). Let a = w - l. Are -13 and a equal?
False
Let z = 904 + -904.02. Which is bigger: z or -3/5?
z
Let c = 3026 + -400. Are c and 2626 equal?
True
Suppose -2*h = -h + 5*f - 13, 5*h - 7 = 4*f. Suppose -6*q + 18 = -2*r - 2*q, -h*r + 9 = 3*q. Which is greater: -15/17 or r?
-15/17
Let m = -25 - -25.04. Let g = m + 0.06. Let q = 88.4 - 87. Which is smaller: q or g?
g
Let n = -0.17 + 0.09. Let h = n + 1.08. Let g = -35.9736 - 0.0264. Is g less than h?
True
Suppose 0 = -5*t + 5*p - 40, -5*p = -t + 2 + 2. Suppose -4*l - 3*w + 5*w - 230 = 0, 0 = w + 3. Let b = -72 - l. Which is greater: b or t?
t
Let j be 5/(-40) + 0 + (-275)/(-88). Which is greater: 2/291 or j?
j
Let p(w) = -14*w + 42. Let m be p(3). Suppose 13*a + 1046 + 2217 = m. Which is smaller: -250 or a?
a
Let h = 14 + 6.3. Let s = h + 24.7. Are -0.1 and s non-equal?
True
Let m = -5535 + 5534.80054. Let v = -8.19754 + m. Let a = v - -8.3. Which is smaller: 1/3 or a?
a
Let b = -4001551/40 + 100045. Which is smaller: b or 7?
b
Let r = -12955 - -12947. Which is greater: r or 385?
385
Let d(c) = -12*c**2 + 401*c + 92. Let h be d(34). Let t be -2*74 - (0 + -1). Is t at least h?
False
Let g = -477 - -701. Let c = 225 - g. Which is smaller: -0.335 or c?
-0.335
Let r = 422 + -393. Suppose -5*q = 3*c - r, -6*c + 11*c + 3*q - 27 = 0. Is c smaller than 19/10?
False
Suppose -33*v - 11*v + 1408 = 0. Suppose v*x - 39*x = -5194. Is x less than 742?
False
Let c = 2.1 + -0.1. Let w = 1.1182 + -24.1182. Is w less than c?
True
Let t(w) = -71*w - 3710. Let f be t(-38). Which is smaller: f or -1014?
-1014
Let k = 2.99 + 2.71. Let z = -13.7 + k. Do z and -5 have different values?
True
Let s = 4.89331 + 0.10669. Is 255 < s?
False
Let y(a) = a**2 + 24*a + 75. Let c be y(-4). Let b = -1345 - -1336.032. Let o = b - 0.032. Is c bigger than o?
True
Let n be (-1)/7 + 348/(-14). Is n bigger than -28?
True
Let v be 5/(-2) - 1*(-4 - -1). Let r(w) = w**3 + 6*w**2 - 8*w - 3. Let x be r(-7). Suppose -4*j - x = y, -3*y - 8 = -j - y. Is v less than j?
False
Suppose q - 307 = 3*v, 208 = -2*v - 0*v - q. Suppose -5*w + a + 457 = 3*a, 0 = 2*w - 4*a - 202. Let h = w + v. Which is smaller: -1/4 or h?
h
Suppose -5*k - 4 - 11 = -2*z, -5*z = -k - 26. Suppose 5*q - 65 = -0*d - d, 4*q - 23 = 5*d. Let b be (-2)/q + 438/3060. Which is smaller: k or b?
k
Suppose 2*v - 18*v - 20 = -6*v. Which is smaller: v or -21?
-21
Suppose 197 = -18*m - 523. Suppose -4*p = -3*p + f + 44, 112 = -3*p + 2*f. Is m equal to p?
True
Let h be (-1 + 0)*((-740)/(-70) + -11). Let b = -63 + 63. Which is smaller: h or b?
b
Suppose 4*x - 13*h + 35 = 0, 5*x + 3*h - 11 = 3*x. Which is smaller: -4/111 or x?
-4/111
Let l(u) = 2*u + 45. Let o be l(-12). Let s be 5/(-1) - ((-90)/(-9) + -33). Is o less than s?
False
Let z(u) = 5*u**3 - u**2 - 6*u + 5. Let m be z(4). Let x be 1797/m - 12/114. Which is greater: 0.1 or x?
x
Suppose 36*f + 39022 = -19*f - 124*f. Is -221 < f?
True
Let l = 813.4 - -155.6. Let h = -969 + l. Is 224 equal to h?
False
Suppose m = 5*a + 1827, -4*a = m + 717 + 750. Is a at most -363?
True
Let f = 13467 - 13466.828. Is -6/7 smaller than f?
True
Let b be (9/(-6) + (-88)/(-48))*-579. Is b smaller than -192?
True
Let j(l) = 62*l + 99. Let g be j(13). Let z = g - 28051/31. Is 0 >= z?
False
Let l = 762 - 762.609. Let r = -62 + 61.991. Let a = r - l. Are a and 0 unequal?
True
Let b(f) = 17*f - 1763. Let n be b(87). Which is smaller: -283 or n?
n
Let p = 27.976 - 28. Let x = p - -0.224. Let j = 1330/9 + -442/3. Which is smaller: x or j?
x
Let y = -6424 - -6425. Let m be 3/(2 + 151/(-74)). Which is smaller: m or y?
m
Suppose -4*v = -2*v + 2*x - 106, -4*x = -5*v + 220. Suppose -61*i + 57*i = -v. Is 11 greater than i?
False
Let u = 1643 - 1163. Suppose -5*x = x - u. Suppose 15*w + x = -w. Which is smaller: -2 or w?
w
Let h be (-4)/(-18) + 11842/(-1719)*1*601. Is -4139 less than h?
False
Let f = 9462 - 9522. Is -59 less than or equal to f?
False
Let m be (5/4 - 1) + 5402/1752. Are -101 and m equal?
False
Suppose 232*o + 221 = 16*o - 5*o. Do 15/146 and o have different values?
True
Let o be (22/4 + 1)*-2. Let u be ((-338)/(-39) - 22)*(-45)/(-52). Is o less than or equal to u?
True
Let u = 247 + -153. Let j = -86.215 - -0.215. Let r = u + j. Are r and 2/5 non-equal?
True
Let y be (0/2)/3 - -1. Let o(i) = -11*i - 38. Let w be o(-4). Let f be y*w + -19 + 14. Which is bigger: f or 3/46?
f
Let g be 3 - 1 - (-141)/(-70). Let k be 35/5 + 1 - -99. Let c = -107 + k. Is c at most as big as g?
False
Let b = -5219 + 5222.069. Let n = 0.069 - b. Which is smaller: 14 or n?
n
Suppose 0 = 5*p - 0*p - 25. Suppose -p*y + 10 = -i, -2*i - y - 6 = 3*y. Let g(o) = o**3 + 7*o**2 + 8*o + 4. Let r be g(i). Is r at least 14?
True
Let a(c) = c**3 - 2*c**2 - 31*c + 19. Let p be a(0). Let b be (18/5)/((-3)/(-20)). Is b at most p?
False
Suppose -2*v - 1221 = x, 5*x + 2912 = -5*v - 133. Let r = v + 363. Are -248 and r equal?
False
Let i = -13 + 38. Let b = i + -14. Let k = 8637 + -43184/5. Which is smaller: b or k?
k
Let h be (-498)/1328*(-16)/3. Which is greater: -2/6765 or h?
h
Let o(n) = 3*n**3 - 9*n**2 + 4*n - 13. Let s(q) = q**3 - 4*q**2 + 2*q - 7. Let x(a) = 2*o(a) - 5*s(a). Let d be x(-3). Is 7 < d?
False
Let w = -0.76 + 35.76. Let u = w - -61. Let f = 95.9 - u. Is f smaller than 3/17?
True
Let c = -18186 + 13917. Is -4267 != c?
True
Let w = -196 - -242. Suppose -2*y = 44 - w. Let p = 0.2 - 2.2. Is p at least as big as y?
False
Suppose 0 = -34*k + 21*k + 962. Let p be (-369)/k + 4 + (0 - -1). Is p < -1?
False
Suppose 12*r + 4*y = 7*r - 183, 97 = -3*r + 4*y. Is r at most -9?
True
Let c = 95 - 93. Suppose -2*k + 4*j + 186 = -1354, -c*j = 0. Let z be -5 + 0 + k/155. Is 1 greater than or equal to z?
True
Let f be (4 - 81/18)*0. Are 5/204 and f unequal?
True
Let o = -282105/31 - -9099. Are o and -1 non-equal?
True
Let d be 3/3 + (-5 + 0)*-7. Let p = 40 - d. Suppose -p*s + 5*s =