1?
False
Let j = -3397/3 - -1138. Is 6 > j?
True
Let q = -271.2 - -315. Let w = 88.8 - q. Which is smaller: w or 3?
3
Suppose -2*c + g = -7, 0 = 2*g - 6*g - 20. Let y = 33555/4 + -8430. Let d = 21293/516 + y. Which is bigger: c or d?
c
Suppose 2*l - 3646 = -2*k - 0*k, -3648 = -2*l - 3*k. Let n be (8 - 310/40) + l/204. Which is smaller: n or 8?
8
Let y = -20 + 22. Let m = 122 + -92. Let o be (16/(-35))/((-6)/m). Does y = o?
False
Let t = 147 + -147. Suppose t = 42*f - 49*f + 28. Is 10 < f?
False
Let m be 1/(-4) - (-475)/76. Let j(o) = 2*o. Let l be j(m). Let v be 13/l + 8/(-32). Which is greater: 1 or v?
1
Let n = -42.8 - -13.8. Let o = -21 - -20.96. Let r = 0.06 - o. Are n and r unequal?
True
Let p be -1*(4 + 6/(-2)). Let n be 9951/217 + -47 - 619/(-560). Which is greater: p or n?
n
Let c = -910.36 - 0.64. Let s = c - -910.91. Let a(d) = -d**3 + d**2 + d. Let h be a(1). Which is greater: s or h?
h
Let z(i) = 3267*i - 6537. Let n be z(2). Let j(f) = f**2 + 9*f + 3. Let t be j(-9). Suppose -2*g - 15 = t*g. Is n bigger than g?
False
Suppose 228 = -3*d + 144. Let r(f) = -f**3 + 5*f**2 - f - 6. Let i be r(5). Let x = d - i. Is -17 smaller than x?
False
Let k = 0.74755 - 75.83655. Let y = k + 75. Let h = y - 0.911. Which is bigger: h or -3?
h
Let h be (-179133)/(-567) + (-92)/1242. Which is smaller: 315 or h?
315
Let j be 3748/18*(14112/64)/49. Is j less than or equal to 934?
False
Suppose -9 + 1 = 4*f, 5*f + 15 = 5*x. Which is bigger: x or -1/78?
x
Let j be (1 + -1 - 0)*-1. Let i be 3 + j/(-2) + 0/1. Suppose 5*s = 4*s - i*s. Are s and 2/125 non-equal?
True
Let n = 43/3 + -29/2. Let v = -1/3 + n. Suppose -5*r = -4*x - 2*r + 17, 11 = -4*x - r. Is x < v?
True
Let w = -18 - -70. Let f be w/208 + 3/4. Is 3/127 bigger than f?
False
Let n = 29 - 23. Let w(x) = -75*x + 169. Let u be w(n). Which is greater: -282 or u?
u
Suppose l - 4 = 0, -3*l - 14 = y - 0*y. Is y less than -435/16?
False
Suppose -25440 = 6*s + 7*s + 17*s. Which is smaller: -849 or s?
-849
Let r = 107355/91 - -1025/13. Is 1260 less than r?
False
Let p be 63/(-21) - (-164)/1. Let q = -194 + p. Is -32 at least q?
True
Let s be (((-108795)/10)/((-3)/2))/1. Is s != 7253?
False
Let y be 75/(-225) - 13*(-121)/3. Let v = -528 + y. Is -1.4 equal to v?
False
Suppose -23*t = 17*t + 23320. Which is bigger: -586 or t?
t
Suppose -20*h + 1185 = -35*h. Which is greater: h or 3?
3
Let v = -0.00737 + -0.26263. Let l be 33/3*(-2)/(-7). Let t = -124/35 + l. Which is greater: v or t?
v
Let u = 134/25 - -4839/100. Is 53 less than or equal to u?
True
Let r = 0.5862 + 0.2938. Which is bigger: r or -0.9?
r
Let a = 14946 - 74724/5. Suppose 0 = -0*m + 2*m - t + 2, 5*t - 1 = m. Are a and m non-equal?
True
Let x = 6/353 + -1658/14473. Let v = 103/205 - x. Which is smaller: 1/5 or v?
1/5
Let w be (-24)/32*8/2. Let d be (-78)/9*w/2*3. Let j be (-9)/d*(-4)/(-6). Is 0.1 less than j?
False
Suppose 0 = g - 5*q - 15, -5*g + 3*q = -11 - 42. Let n(x) = -x - 4 - 14 + 13. Let t be n(-14). Which is bigger: g or t?
g
Let f(j) = -3*j**3 + 7*j**2 + 106*j + 5. Let s be f(-5). Let p = 3 - 5. Which is bigger: s or p?
s
Let q = -665 - 1051. Is q at most -0.1?
True
Let k = -0.0884 - 0.0696. Is 0.02 smaller than k?
False
Let b = -455 + 456.27. Let k = -1.17 + b. Which is smaller: k or 131/2?
k
Let w be 14/(-7) + 9/3 - 205. Let y = w + 266. Is 63 >= y?
True
Suppose 2786 = 2*j + k, 120*k - 125*k - 4166 = -3*j. Which is smaller: 6959/5 or j?
6959/5
Let p = 2127 - 784. Are 1 and p non-equal?
True
Let q = -0.4914 + 0.0514. Let u = -0.2 - 0.54. Let f = u - q. Is -10 greater than or equal to f?
False
Suppose 9*u = 4*u + 45. Let s be ((-471)/(-24021))/((-14)/12 - -1). Is u <= s?
False
Let q(a) be the third derivative of 1/24*a**4 + 0*a - 8*a**2 + 0 - a**3. Let s be q(6). Which is bigger: s or -9/8?
s
Let r = -529 - -433. Let k = 270 + r. Is k equal to 174?
True
Suppose -f = x - 25, x - 5*x - 116 = -5*f. Suppose 3*r - 187 = 4*u, -r + f = -2*u - 67. Is -43 > u?
False
Let n = -7 + 9. Let p(s) = -s - 4 + s**3 - 258*s**n + 252*s**2 + 4*s. Let a be p(3). Does a = -0.1?
False
Let p = 3913 - 3917. Which is smaller: -194 or p?
-194
Let x(o) = -o**2 + 18*o - 19. Let p be x(17). Let w = 1 - p. Suppose -3*y + w*j + 3 = -3, 2 = -2*y - 4*j. Which is bigger: y or -1?
y
Let n be (12 + -45)/3 - (-4 + -2). Suppose -4*m + 52 - 4 = 0. Suppose -2*o = -5*o - m. Which is smaller: o or n?
n
Suppose -p - 4*s = -14, -p - s - s = -8. Let g be ((-12)/(-7))/(-1*p/14). Let c be (1/g)/(132/32). Is 0.1 != c?
True
Let y = 6.245 + -0.165. Let n = 2.92 + y. Is n > -14?
True
Suppose 2*n = -4*h - 2*n - 1800, 4*n - 1784 = 4*h. Let w = -4028/9 - h. Is 0 < w?
True
Suppose 0 = -4*l + 3*h + 12, -2*l - 15 - 5 = 5*h. Suppose -4*a - w + 5*w - 20 = 0, 0 = -4*w + 12. Let v be (-1)/3*-7 + a/6. Is v greater than l?
True
Let f = 23/5373 + -82355/11707767. Which is smaller: f or 0?
f
Let s(g) = 158*g + 1578. Let t be s(-10). Suppose 4*u - u = -6. Let r be u/8*48/78. Is t > r?
False
Let c be (((-3)/(42/(-4)))/(990/63))/1. Let r = 6 + -3. Suppose r*a + 3 = 6. Is a less than c?
False
Let a be (-3)/(-12) - ((-643)/(-3))/((-8)/(-18)). Is a bigger than -3?
False
Let n = 28 + -16. Let y be 7/3*n/(-40). Suppose 79 - 47 - 58 = 13*m. Which is bigger: m or y?
y
Let y = -2852.8 + 2853.8. Let q = 278/1919 - 4/101. Let o = q + 9/95. Is y less than o?
False
Suppose 0 = -3*b + 5*p - 94, -16 + 6 = -2*p. Let c be (-2 + 4)/(1/(-12)). Let a = c + b. Is a greater than -48?
True
Suppose 46 = r + 2*i, 4*i - 7*i = -3*r + 129. Is 58 at most as big as r?
False
Let a = -6 + 0. Let l(x) = 13*x + 5*x - 21*x - 87. Let g be l(-26). Is g < a?
True
Let u be 12 - (1135030/110 + (-30)/(-55)). Is 0 greater than u?
True
Let r be -30 + ((-38)/(-57) - 32/12). Which is bigger: -17 or r?
-17
Let v be (0/(-4 + 16))/(-5). Which is greater: -4/589 or v?
v
Let q be 4/5 + (-32)/15. Let h be 2/4 + (-31824)/(-1120). Let f = -146/5 + h. Is f greater than q?
True
Let h = -3138 - 1321. Which is bigger: h or 0?
0
Suppose 214 = -4*m + 30. Suppose 416 = 3*w + 7*a - 6*a, -5*a = 3*w - 436. Suppose -3*g = -5*j - 79 - w, -3*j = g + 138. Which is smaller: j or m?
m
Let t = -0.02 + -0.12. Let o = t + 1.94. Let m = o - 3. Is m at most as big as 1?
True
Let h = 140.95 - 140.95. Let o = -79 + 72.85. Let k = 0.15 + o. Which is smaller: k or h?
k
Suppose 14*q - 5*t - 66 = 15*q, 3*t + 352 = -5*q. Is -212/3 >= q?
True
Suppose -3*m + 9 = -q, q + 3 = 2*q + m. Let a = -22614 - -5269060/233. Which is greater: q or a?
q
Let j(m) = -26*m + 2. Let k be j(5). Let o = k - -72. Let i = -56 - o. Is i less than 3/23?
True
Let a = 3 - 2.96. Suppose -9*q + 29967 = -52*q - 7*q + 30767. Is q != a?
True
Let h = -67.833 + -0.167. Let f = -210.1 - -209.9. Is h less than f?
True
Let a = -62 + 73.2. Let f = 11.6 - a. Is f at least as big as -1/3?
True
Suppose -451*s = -425813 - 144702. Are 1262 and s equal?
False
Let o be 1*(-25 - 72/(-3)). Which is smaller: o or -113/117?
o
Let g = -701509 + 270082774/385. Let c = 54/77 + g. Let y = -18592 - -18597. Is c smaller than y?
False
Let c = 99235 + -415893887/4191. Which is bigger: 0 or c?
0
Let i = 26824 - 26829. Which is bigger: i or -70/47?
-70/47
Let a = 0.01 + 0.99. Let h = -186 - -187. Let b = h + a. Is b >= -0.3?
True
Suppose -124*h = 2*b - 122*h - 3996, -5*h = -3*b + 6026. Which is smaller: 2001 or b?
2001
Let x = 959272/3 + -319758. Let l = 175813/3961 + -755/17. Which is bigger: l or x?
l
Let n = 99427/7 - 14204. Is -2.1 not equal to n?
True
Let w = 96.2 - 18.2. Let x = -78.02 + w. Let c = x + -0.08. Which is greater: c or -9?
c
Suppose -3*l = -5*f - 13, -3*f + 3 = -2*l + 10. Let s be f*(1 + 268/(-20)). Suppose 4*p + 22 - s = -3*q, 5*p - 28 = -q. Which is greater: 6 or q?
q
Let m = 4413 + -3702. Which is smaller: -3/10 or m?
-3/10
Let k = -32343 + 32342. Is -5/142 less than or equal to k?
False
Suppose 2*k = 2*a - 2, 3*a + 24 = -a - 3*k. Let x be (60/25)/a*(-10)/(-140). Is x <= -17?
False
Suppose 4*o + 4 = 3*o, -20 = 5*s + 5*o. Let j = -19 + s. Let p(r) = -9*r + 1. Let w be p(2). Which is smaller: w or j?
j
Let l = 455 - 389.4. Let q = -4.4 - l. Do 0 and q have the same value?
False
Let k = -11 + 11.1. Let q = 120.9 + -123.9. Which is bigger: q or k?
k
Let l = -0.12 - -7.12. Let h = -5.6 + l. Let a = -164239 - -164239.3. Is