s d bigger than -8?
False
Let p(s) = 17*s + 19. Let o(a) = -8*a - 9. Let d(t) = 13*o(t) + 6*p(t). Let r be d(4). Let g(m) = 2*m + 2. Let q be g(-6). Is r >= q?
False
Suppose 8*v = -28*v + 20340. Is v less than or equal to 566?
True
Let z = 2.7 + -2. Let o = 1 - z. Let a = -35 - -29. Do o and a have the same value?
False
Let b = 1013 + -1012. Let v be (2 - (-52)/93) + -1. Let d = v - 7/31. Which is smaller: d or b?
b
Let t be 525/(-12) - 1/(-1). Let c = t - -1181/28. Suppose 0 = -5*y - 5. Which is smaller: c or y?
y
Let u = -35 + 36. Are u and 2/187 non-equal?
True
Let p(x) = -x**2 + 12*x + 1. Let y be p(12). Let o(g) = -5*g + 2. Let v be o(y). Is v equal to -9/5?
False
Let b = -12.4 - -106.4. Let d(z) = -2*z - 24. Let n be d(-12). Which is bigger: b or n?
b
Let j = -248.1 - -248. Which is greater: 0.0714 or j?
0.0714
Suppose 6 = 2*w + 2*d, -3*d + d - 6 = -w. Suppose -2*m - 4*k - 24 = 0, -16 = 5*m - 0*k - k. Let n = m - -6. Which is greater: w or n?
w
Let g = 617.9 - 618. Is g > 1/220?
False
Let i be (-171)/(-2) + 5/(-10). Let a be ((-4)/i)/((-4)/(-10)). Suppose 0 = 8*r - 2 - 6. Is r > a?
True
Let j be (-1 - -3) + 0 - 29762/(-23). Is j >= 1296?
True
Let t = -1.44 - 82.56. Let z = -84.03 - t. Is z < 0?
True
Let v be 14/(-35) + (-174)/(-10). Is 15 less than or equal to v?
True
Let w be 11/(11 - (-585)/(-50)). Is -15 not equal to w?
True
Let f = -11 - -11. Let c = -4 + 6. Suppose 0 = 3*v - 5*s + 5, 2*s - c = 2*v - f*s. Is 0 less than or equal to v?
True
Let z = 0.0581 + -1.0581. Is z < -448?
False
Let u = -1 - -3. Let s(d) = 2*d**2 + 20*d + 4. Let r(i) = i**2 + 14*i + 3. Let v be r(-13). Let m be s(v). Is m <= u?
False
Let f = 33 + -32.946. Let q = 0.354 - f. Which is smaller: -0.2 or q?
-0.2
Let o = 2.29 - 2.19. Which is smaller: 7/23 or o?
o
Suppose l + 4*l = -35. Let x be 12/l - 2/7. Suppose -922*b = -924*b + 6. Which is smaller: x or b?
x
Let d = 3.29 + -2.29. Which is greater: 2/25 or d?
d
Suppose 0 = 3*o + 15, 0 = 4*g + 10*o - 12*o - 834. Do 205 and g have the same value?
False
Let m = 158.1 - 158. Is m greater than -21/22?
True
Let n = -1 - -1. Suppose -3*d + 4*i = -56, -3*d - i = -6*i - 52. Let s be (-2)/4*d/(-27). Which is bigger: n or s?
s
Let i be (-1 - -3)/(3/18). Let c = 35 - i. Let g = -35 + c. Is -13 greater than g?
False
Let u = 119/100 + 3/50. Suppose -10*w - 25 = -25. Which is bigger: u or w?
u
Let b = -1885 - -1884. Let v = -15 - -43. Is v less than or equal to b?
False
Let g = -3.1 - -3.3. Let f = -9/64 + 237/320. Is g < f?
True
Suppose 0 = 2*c - s + 2, 0*c - 9 = -c - 2*s. Suppose -15 = -2*p + 21. Let i be 34/(-12) + p + -15. Are c and i equal?
False
Let g = -4 - -4. Let w = g + 0.1. Let k = 162 + -163. Is k < w?
True
Suppose -45*v + 412 = -83. Let g be (-12)/(-3) + -1 + 0. Which is smaller: v or g?
g
Suppose 7*h + 240 = 205. Which is smaller: -37/10 or h?
h
Let t be 5/4 - (-2)/(-8). Let z be (1 + -52)*518/111. Let c be z/(-48) + (-15 - -10). Is t equal to c?
False
Let f = 0.18 - -0.02. Let j = 582/11 - 12244/231. Which is smaller: j or f?
j
Let m = -75 - -34. Are m and -41 equal?
True
Let a be -1 + 9 + -2 - (1 + 4). Do a and 1/49 have different values?
True
Let g be (-6)/(-10) - 324/(-60). Let d = -3 + g. Suppose -d - 5 = -4*x. Is x smaller than 2?
False
Let y = 117 - -65. Is y <= 181?
False
Let p = 90.2 + -160.2. Is -0.3 greater than or equal to p?
True
Let i = 33/53 + -1051/1007. Is i not equal to -1?
True
Let v(x) = -7*x**2 + 2*x - 2. Let u be v(1). Suppose y = -m - 5, 5*y + 3 = -4*m - 23. Which is smaller: y or u?
u
Let y = 92 - 91.9. Let q = -19.9 + 19. Let o = q - y. Which is smaller: -1.2 or o?
-1.2
Let v = -165.5 + 164. Which is smaller: v or -0.09?
v
Let b = 4348 + -4462.94. Let j = b + 114. Let v = j + -0.06. Which is bigger: v or -1/4?
-1/4
Let w = -12 + 17. Suppose w*q - u - 2*u + 2 = 0, 6 = -4*q - 2*u. Let x be (-58)/154 + 2/7. Which is smaller: q or x?
q
Let x be ((-34158)/4878 - -7)*18/(-4). Are x and -1 non-equal?
True
Let m(b) = -4*b - 6. Let q be m(4). Let l = q - -22. Which is smaller: 6/13 or l?
l
Let i(q) = 4*q + 5*q - 3 - 3*q - q**2 + 8. Let l be i(6). Suppose -3*d + 5*n = -6*d + 41, -l*d + 4*n + 93 = 0. Is d >= 17?
True
Let h = -241 + 261. Is h bigger than 16?
True
Suppose -3*k = 2*k - 375. Suppose -210 = 80*q - k*q. Which is greater: 1 or q?
1
Suppose 9*g - 3 = 12*g. Is -4/5 equal to g?
False
Let b = 566 - 565.7. Which is smaller: -28 or b?
-28
Let l = 8/17 + -27/238. Are l and -1 unequal?
True
Suppose 0 = -4*z + 3*g + 211, -29 - 132 = -3*z + 5*g. Let l be (3 - 1) + z/(-29). Let i = 47/87 - l. Are -1 and i non-equal?
True
Suppose 30*z - 25*z - 270 = 0. Let f = 64 - z. Let j = 4 - -5. Are j and f unequal?
True
Let u = 54783/44 - 1245. Are u and 1 unequal?
True
Suppose 4 = 5*q - 6. Let d = 80 - 866/11. Which is bigger: d or q?
q
Let f = -0.03 - -0.13. Let t = -0.1 + f. Let p = 11 + -3. Is t at most p?
True
Let y = -45 - -35. Let z = -15 - y. Let b be -2 + 0 - (-6)/3. Which is greater: z or b?
b
Let j = -1 + 3. Let c(u) = u**2 + 166*u - 203. Let x be c(-167). Is j bigger than x?
True
Let u be (1/(-9))/((-2)/6). Let v = -3326 - -3326.7. Which is smaller: u or v?
u
Let x = -70 + 72. Let q = 2.318 + -0.408. Let h = q - x. Which is greater: h or 0.1?
0.1
Suppose -8*w + 40 = -4*w. Suppose -4*s + 0*s - 48 = 2*n, 2*s = n - 20. Let m = w + s. Is m < -2?
False
Let q = 0.07 + 1.93. Let s be (-1780)/(-15)*12/(-7). Let j = s + 203. Which is smaller: j or q?
j
Suppose 28*b = 25*b. Let p be 2/4*b/12 - 17. Is -19 greater than p?
False
Let q = 228 - 4790/21. Suppose -12*x + 13*x = 5*z + 156, 3*x - 480 = 3*z. Let c = -162 + x. Do q and c have the same value?
False
Let o be (6/(-12))/(1/2). Let l be 0/(-2)*1/o. Which is bigger: l or -0.2?
l
Let y be (3 - -9)*1/(-3). Let j be (2 - 2) + 15 + y. Suppose j = 4*v + s, -5*v + 3*s = -2*s - 20. Is 0 at least as big as v?
False
Let s(a) = a**3 - 4*a**2 - 94*a + 19. Let u be s(-8). Suppose r = 2*r - 4. Which is bigger: r or u?
r
Let v = 8591/27268 - 5/802. Let p = v - 809/3060. Which is smaller: -1 or p?
-1
Let g be (3 - 344/112)*4. Let b(h) = h - 5. Let t be b(6). Which is smaller: g or t?
g
Let k = -183 + 173. Let b = -5 + -6. Which is greater: k or b?
k
Let m = 18 - 28. Let r = m - 3. Let p be ((-2)/(-3))/(2/(-39)). Is p > r?
False
Let v = 619 + -606. Is -23 less than or equal to v?
True
Let q be 4/(8/(-3))*(-40)/6. Suppose -4*y + 2 = q. Which is greater: -14/11 or y?
-14/11
Suppose 6*k + 20737 = 799. Let c = 23327/7 + k. Is 8 bigger than c?
False
Let k = -35/164 - -4643/8692. Which is smaller: -0.1 or k?
-0.1
Let b = 29 - 17. Suppose -4*v = 3*z - 40, 5*v - 8*v - z = -35. Which is smaller: v or b?
b
Suppose -9*h - 20 = -4*h. Let a be (-4)/132*3*h. Which is smaller: -1 or a?
-1
Let b = 1539410/217 - 7094. Are 1 and b equal?
False
Let h(i) = -i**3 + 10*i**2 + 13*i - 6. Let g be h(11). Suppose 4*k - 2*k = -g. Let t = k - -1. Do -11/2 and t have different values?
True
Let u = -5 - -8. Let b(i) = 4 + 5*i - 4*i + 0 - 2. Let v be b(1). Is v smaller than u?
False
Let n = 6 - -3. Let t be (-3)/(3*3/n). Let b be t/(-9) - (-14)/(-6). Which is greater: b or 2?
2
Let m(i) = -i**3 + 7*i**2 + 8*i + 3. Let k be m(8). Suppose 0 = k*l + 22 + 17. Let f(j) = -j - 1. Let g be f(l). Which is smaller: 13 or g?
g
Suppose h - 2*h = 3, -44 = -5*k - 2*h. Suppose -2*v - 5*s = -1 + 12, 2*v - 2*s - k = 0. Let w(j) = -j + 3. Let u be w(v). Is u greater than or equal to -1?
True
Let m = -938 + 1116. Is m smaller than 179?
True
Let p = -182/9 + 719/36. Which is bigger: -14 or p?
p
Let l = -119 - -117. Let k be (-34)/29 + -2 + 5 + l. Which is smaller: k or -1?
-1
Let n = 42200486 + -708335158153/16785. Let g = -6/373 - n. Which is smaller: -1 or g?
-1
Let s(m) = m**2 - 10*m + 8. Suppose 0*n + 20 = 4*n, -r = 4*n - 29. Let u be s(r). Let k be (51/(-12) - u) + 3. Do 4 and k have the same value?
False
Let o = -104 - -103.97. Let q = 0.03 + o. Is -25 > q?
False
Let h be ((-24)/132 - (-136)/22) + 77. Does 82 = h?
False
Let z be (-5 - -3)/(8 - (-420)/(-54)). Is z bigger than -87/10?
False
Let n = -198 + 175. Is n < -2/9?
True
Let p = -176 - -168. Which is bigger: -1 or p?
-1
Let g = 98 + -101. Let z = -67/20 - -18/5. Which is smaller: g or z?
g
Suppose -12*o + 42 = -6*o. Which is greater: 104/15 or o?
o
Suppose -20 