be o(z). Is 58/7 != c?
True
Let m be ((20/(-3))/(-5)*84/(-56))/85042. Which is smaller: 0 or m?
m
Let r = 359.7 + -399.4. Which is smaller: 0.3 or r?
r
Let d = -359 - -330. Let t = -19 - -34. Let l = d + t. Which is greater: l or 0.1?
0.1
Let o = 217.87 + -1.87. Let c = -215 + o. Which is bigger: c or 3/2?
3/2
Suppose -5*x - 8 + 75 + 13 = 0. Which is smaller: x or 8?
8
Let r = -836/645 - -50/43. Is r at most as big as 269?
True
Let r = -2/4277 - -14666/4277. Let s be (-67)/268 - (34/8)/(-1). Suppose -25 = 3*t + 2*t, 2*t + 2 = -s*x. Is r less than or equal to x?
False
Let i(v) = 8*v + 4*v**2 + 803 - 799 + v + 8*v**2. Let n be i(-1). Suppose -7 = 2*j - 3*j. Is n smaller than j?
False
Let k = -1756313609/83609305 - -9345/46579. Let c = k + 2/359. Which is smaller: c or -20?
c
Let i = -64 - -79. Let z(s) = s**3 - 9*s**2 + 15*s + 7. Let c be z(3). Which is smaller: c or i?
c
Let n = 17255 + -17212. Let a = 0.5 - -5.5. Let x = a + -6.1. Which is smaller: n or x?
x
Suppose -67*v = -64*v - 24, -2*v + 11 = 5*s. Which is greater: s or 1/46142?
1/46142
Let c = -7.09 - 1.736. Let k = -0.174 + c. Which is smaller: k or 22?
k
Let m be -8*3835/(-84) + 20/14. Which is smaller: 368 or m?
m
Suppose 359 + 81 = -w. Let i be ((-1)/(-4)*2)/((-55)/w). Suppose 90 = i*m + 22. Which is smaller: 16 or m?
16
Let a be ((-1)/2)/1*(4 + -4). Suppose -4*q + a*i - i = -11, 0 = 2*q + i - 3. Suppose 1 = 3*g + 2*l, -q*l - 4 = -0. Is g not equal to 4/11?
True
Let u = -363.4 - -123.4. Which is greater: u or 0.09?
0.09
Suppose 6*r + 4 = -14. Let k be 1/(-1*(r + 4)). Which is smaller: 3/8 or k?
k
Suppose 38*g + 17498 - 1082 = 0. Do -431 and g have different values?
True
Let r be 13/(-2) - (-3)/6. Let m = -1442 - -1437. Let t be (r/m)/3*1/(-2). Which is smaller: 24 or t?
t
Let z = 160 + -146. Let h be -23 + (-1)/((-2)/z). Which is smaller: -19 or h?
-19
Let r(f) = -f**3 + 4*f**2 - 3. Let c be r(4). Let q = 938 - 937.371. Let d = 0.589 - q. Which is bigger: d or c?
d
Suppose -2*v - 12*v = -4*v. Suppose -8*x + 3*x + 3*f + 131 = v, 2*x - 42 = -4*f. Which is greater: x or 27?
27
Let t = -705594366/55 - -12828644. Let b = 1177636/3455 - -242/691. Let f = b + t. Which is smaller: -4 or f?
-4
Let a = 9639 + -9675. Let s be (-270)/8 - (-2)/(-1). Is s at least as big as a?
True
Suppose -370 = -4*q - 2*i, -4*i + 6*i = 2*q - 176. Suppose q*r = 80*r - 11. Which is bigger: r or 4/45?
4/45
Let t = -138/35 - -19/5. Suppose -9*u + 3*u + 234 = 0. Let i = u + -39. Does t = i?
False
Suppose -5*t - 6*k + 16 = 0, 1007 - 967 = 4*t - 2*k. Is -1330 >= t?
False
Let p = -3815208861/2735639 + 17/143981. Let q = p + 1395. Is q at least as big as 0?
True
Suppose -2*x - 40 - 78 = 0. Suppose 4*l = 8, -w - 2*l - 1 = -5*l. Let s be (-2)/((x + 4)/w). Which is greater: -2/9 or s?
s
Let y = 7964 + -7962. Which is smaller: -17 or y?
-17
Let x = -193 + 1934. Which is bigger: x or 1740?
x
Let n = -1591 + 1591.1. Which is smaller: 27.1 or n?
n
Suppose 2*w = 134 + 74. Suppose -8*g + w = -0*g. Let m be ((-1)/5)/(g/91). Which is smaller: m or -1?
m
Let x = -9 - -9. Suppose 4*t + 52 = -b - 4*b, x = 3*b + t + 34. Let l be (4/b + 3)/((-4)/(-6)). Do l and 4 have the same value?
True
Let a = -4669/11 - -425. Let j be ((6/(-4))/(9 - 189/18))/1. Which is bigger: a or j?
j
Let g = 242 - 144. Let y = 80 - g. Let o be (3/13)/(y/12). Which is greater: o or -5/3?
o
Let m be 1*-4*(-6)/(7 - 222/6). Is -23.8 >= m?
False
Let d be 12/(-6)*(-304 + -1) + 2. Suppose -12*l - 492 - d = 0. Is l less than or equal to -90?
True
Suppose -247*k + 76*k = -5814. Suppose 3*o - 21 = -4*y, -o + 0*y + y = 0. Which is bigger: o or k?
k
Let w = -4814 + 33626/7. Suppose 0 = 12*z - 48*z + 2016. Suppose -z*f - 33 = -53*f. Is w != f?
True
Suppose 4*i - 3363 + 339 = -4*d, -16 = 4*d. Is 760 < i?
False
Let j = 115 - 59. Let w = 88 + j. Suppose -w = -5*g + 61. Is g smaller than 42?
True
Suppose 17495*u + 460 = 17497*u. Which is smaller: u or 8?
8
Let g(v) = -26*v + 10. Let f be g(2). Let y = f + 29. Is -16 bigger than y?
False
Let r be (-52)/((8/32)/(-2 - -3)). Let a(h) = 35*h + 3. Let i be a(-6). Is i not equal to r?
True
Let n = 2831.1 - 2831. Is -0.0276 greater than n?
False
Let l = -6753 + 6754. Is l less than -430?
False
Let s = -0.291 + 0.391. Let f = -0.69 + s. Which is greater: -1 or f?
f
Let i = 0.4334 - 0.0334. Let a be (-580)/(-6) + (-1)/(-3). Let l = -487/5 + a. Is l >= i?
False
Suppose 3*p + 1136 = -5*l, 670 = -4*l + p - 215. Let j = 0.7 + -0.6. Which is smaller: l or j?
l
Let w = -3814 + 3766. Is -5 >= w?
True
Let o(b) = -b**2 + 7*b + 10. Let t be o(8). Suppose w = 5*y + 5, y + 12 = -t*w - 0*w. Is -0.027 < y?
False
Suppose 6 + 14 = 5*o. Let m be -2 + (-207)/(-6)*o. Which is smaller: m or 135?
135
Let u(d) = 12*d - 208. Let o be u(18). Let f be (1/((-1)/(-7)))/1. Suppose 0 = m - f*m + 42. Which is smaller: o or m?
m
Let l = -26477453 + 1879929056/71. Let s = -421 + l. Let o = 129949 - 129948. Is s != o?
True
Suppose -65*n + 39*n = -14430. Let b = n + -555. Which is smaller: b or -1/92?
-1/92
Let p(r) = -624*r**2 + 35*r - 9. Let c be p(2). Which is smaller: c or -2433?
c
Let v = 23/44 - 17/22. Which is bigger: v or -14/69?
-14/69
Let h be (-779)/8 + (-23)/184 + (-4)/(-8). Let u = -77 - 17. Which is smaller: h or u?
h
Let y = 3194 - 3194.4. Is -263 smaller than y?
True
Let o = 5.1 + -5. Let q = -125.5973 - -0.5973. Is q > o?
False
Let z be 13756544/1040 + 4/26. Let h = z - 13269. Is -41 smaller than h?
False
Let s = -68873/96205 - -165/271. Which is bigger: -1 or s?
s
Let n = -113 + 109. Let b be 140/(-350) - n*4/25. Which is smaller: b or 1?
b
Let i = 3585149317/1659 - 2161030. Let c = -2/553 - i. Does 1 = c?
False
Suppose 16*i = 2142 + 354. Let o = i - 171. Which is smaller: 1 or o?
o
Let g(z) = 29*z - 16. Let f be g(-3). Let b = f - -194. Is 1/3 equal to b?
False
Let w(c) = 8*c - 20. Let a be w(6). Let r be (-7)/(a/16) + 18/4. Is -1.91 at least as big as r?
False
Let d(w) = 56*w + 365. Let t(u) = -18*u - 122. Let o(j) = -3*d(j) - 8*t(j). Let q be o(-5). Let b be ((-45)/(-48))/((-33)/(-4)). Is q less than b?
False
Let j = 0.5022 - 20.5182. Let d = j - -0.016. Is 1 <= d?
False
Suppose -325916*f + 325885*f = -1364. Let d(p) = 11*p + 2. Let u be d(4). Which is smaller: u or f?
f
Let z be (-49)/(-84)*(-1644)/42. Which is bigger: z or -23?
z
Let h be 3 + (-104)/96 + 1 + (-236)/48. Which is smaller: 5.56 or h?
h
Let u = -205 - -229. Let f be -2*3 + u/11. Is -5 less than or equal to f?
True
Let l(c) = c**2 + 5. Let i be l(5). Let t be (-4)/20*3*i/(-58). Which is greater: t or -1?
t
Let j be 2/((-3)/(42/4)). Let u(l) = -l**3 - 7*l**2 + 8*l + 7. Let m be u(j). Let f(a) = -2*a**2 - 6*a + 58. Let r be f(-9). Is r less than m?
True
Let u(i) = -74*i - 455. Let s be u(-8). Which is smaller: -10/9 or s?
-10/9
Let l = -604 + 1313. Which is greater: l or 712?
712
Suppose v = -l - v + 1, -4*l - 5*v - 8 = 0. Suppose 0 = 32*m - 30*m - 4. Let o be (38 + -33)*m/(4/(-3)). Which is bigger: o or l?
l
Let g = -15589 + 15585. Is -1311 greater than g?
False
Let g(b) = 17*b**2 - 4*b + 8. Let n be g(3). Suppose 3*l - n = 40. Is l < 59?
False
Let s = 716 + -774. Let o = 50 - 107. Which is smaller: s or o?
s
Let b = -1 + -2. Let x(i) = -i + 2. Let n be x(-4). Let z(h) = h**2 - 3*h - 19. Let p be z(n). Is p smaller than b?
False
Let g = 17371.153 + -17371. Do -6.5 and g have the same value?
False
Let m be (6 - 1419/(-418)) + -9. Do m and 0 have different values?
True
Let n be 3 - (-4)/8*(0 + -2). Suppose -n*c = 6 + 14. Suppose -8 = -4*i, -5*a + 0*i = 4*i + 52. Is c at most a?
False
Let f = -8364 - -23614. Which is bigger: 15249 or f?
f
Let s be (-1)/(-4) + (-174)/(-8). Suppose 0 = 5*w - 19*d + 16*d - 140, 2*w - 2*d - 60 = 0. Let t = s - w. Which is smaller: 0 or t?
t
Let i(n) = n**3 - 2*n**2 - 3*n + 1. Let p be i(3). Let k be (534/4)/((-147)/126). Let f = -114 - k. Which is bigger: p or f?
p
Let f = 21278 + -14577. Is 6700 at most f?
True
Suppose 0 = 4*c - 839 - 341. Suppose -4*k = -9*k + c. Suppose -b = 5*u - 3*u + k, -3*b - 3*u = 162. Which is greater: b or -50?
b
Let d = 1879.1 + -1879. Which is bigger: d or 7398?
7398
Let t be 8/10*(-69)/6. Let i = t - -19/2. Suppose 44*l - 3*f = 45*l + 9, -4*f - 12 = -4*l. Which is bigger: l or i?
i
Let b be ((-2)/6*4)/(-6). Let k(i) = i - 2. Le