at least as big as 87?
True
Suppose -5*k + 24 = 4*w + 8, 4*k + 4 = w. Let b be (-2)/w - (-39)/26. Let d = 1709/13 - 131. Is d > b?
False
Let m be ((-66)/(-10))/((-80)/400). Is m equal to -30?
False
Let j = 200687/7 - 28829. Let t = -6021/35 - j. Is t not equal to -14?
True
Let t be (3/(-4))/((-40)/(-14080)). Which is greater: t or -265?
t
Let d = 1.0298 - 0.0298. Which is greater: 0.12 or d?
d
Suppose 2*n + 2*n = 196. Let j = n + -13. Is j at most as big as 36?
True
Let a be ((-14)/(-18))/((-120)/(-270)) - 2. Which is bigger: -792 or a?
a
Let b = 1114 + -765. Which is smaller: b or 350?
b
Let q = 185.4 + -189.4. Is q smaller than 94?
True
Suppose -2*z + 42 = -36. Suppose -b - b = -l - z, 3*l + 5*b + 95 = 0. Is -34 at least l?
True
Let k = -1240 + 1239. Is k at least as big as -472?
True
Suppose -9*u = -0*u + 18. Let r(l) = -15*l**3 - l**2 + 2*l + 4. Let c be r(u). Is 115 smaller than c?
True
Suppose 0 = 10*h - 83 + 393. Are h and -32 nonequal?
True
Let o = 62/11 + -1776/319. Which is greater: -5 or o?
o
Let j = -17 - -13. Let z = -9 - j. Which is bigger: -4 or z?
-4
Suppose 0*y - y = -4*o - 63, -o = -y + 69. Let k be (23045/30)/11 - (-3)/3. Let l = k - y. Is l less than 0?
True
Suppose -2*p - 878 = -2*z, -z = 4*p - 2*p + 890. Does -446 = p?
False
Suppose -6 = -k + 2*k + 2*o, 0 = -k + 4*o + 24. Let b = 6389/1236 + -1/412. Is k >= b?
False
Let g(b) = -36*b - 120. Let n be g(-4). Which is greater: 18 or n?
n
Let w be (-2637)/162 - (-4)/(-18). Let v = w + 16. Are -2 and v equal?
False
Let d = -66 + 95. Which is smaller: 143/5 or d?
143/5
Suppose 7*c - 9 = 4*c. Suppose -10*t = -0*t. Suppose -4*u - 12 = a, -a + 5*u + 24 = -t*a. Which is smaller: c or a?
c
Let m = 0.13 - 0.05. Let p = m - -1.22. Let s = -1.9 + p. Which is smaller: 1 or s?
s
Suppose m + 2 = -2*a + 3*a, -2*m = -2. Suppose -4*c - 5 = -3*d + 43, a*c = 5*d - 36. Is c smaller than -12?
False
Let w = 146 + -142. Which is smaller: 0.042 or w?
0.042
Let s = 2514 - 2891. Are s and -382 non-equal?
True
Let o = -0.39 - -16.39. Let r = o - 16.5. Let d be 3 + -7 + 2 + -2. Which is smaller: d or r?
d
Let z be (45/(-6))/(-5)*4832/456. Is z greater than 17?
False
Let y(b) = 12 - 5 + 9*b**2 + 7 + b**3 - 9*b. Let u be y(-10). Suppose 2*t - 3*v + 0*v + 19 = 0, -4*t + u*v = 32. Which is bigger: -3 or t?
-3
Let w = -61.871 + -0.129. Let y = 42 + w. Which is smaller: -1 or y?
y
Let m(s) = s**2 - 11*s + 14. Let v = 10 - 4. Let d be m(v). Is -16 greater than or equal to d?
True
Let l = 24 + -53. Let s = l + 31. Which is bigger: s or 1/2?
s
Let w be (((-32)/(-6))/1)/(6/9). Let r = w - 13/2. Does r = 2?
False
Suppose -f + 6*f + 65 = 0. Suppose -3*u - 2*j = 47, -13*u + 8*u + 4*j - 49 = 0. Is u < f?
False
Let x = 81/50 + -1987/100. Which is smaller: -18 or x?
x
Let g be 3 - (2/21 + 615/231). Is g < -1?
False
Let h(s) = -18*s - 20. Let c be h(-2). Suppose -4*t - 5 = -l, 4*l - 29 = 3*l - 4*t. Is l smaller than c?
False
Let f(y) = -14*y - 3. Let v be f(-1). Suppose -5*s + v - 1 = 0. Let a be (-2)/(4 - 0)*0. Is a bigger than s?
False
Suppose -4*p = 1 - 5, 3*i - 3*p = 0. Let v be -15*16/(-720) + 26/(-42). Which is smaller: v or i?
v
Let m = 10 - 12. Let b be (8/(-28))/m + (-52)/70. Is 0.04 < b?
False
Let k = 32 - 52. Let h = k + 20.3. Are h and -1/2 non-equal?
True
Let c = -181 + 187. Which is bigger: 78/17 or c?
c
Suppose -2*z + 14 = -0*z. Let y = -10 + 18. Is z at most y?
True
Suppose 0 = 24*k - 18*k - 6. Is k < 1/422?
False
Suppose 4*u = 25 - 1. Let w be (2 - u/4)*-2. Is -8/7 less than w?
True
Let j be 324/90 + (-6)/10. Suppose -6 = j*u - 63. Is 15 at least as big as u?
False
Let s = -26.1 - -19.1. Is s greater than or equal to -12?
True
Suppose 4*z = 5*x + 2*z - 9, 9 = x - 4*z. Let d = 390913/357 + -1095. Which is greater: d or x?
x
Let o = 2/201 - -169/3216. Suppose 3*b - 9 = 3*i, -3*b + b + 5*i = 0. Let p = 4 - b. Which is greater: o or p?
o
Let f = 36.96 - 2.96. Do f and -0.1 have the same value?
False
Let c = -17 - -16.78. Let u = 0.24 + c. Is u < -1?
False
Let q(g) = g**2 - 5*g + 3. Let t(l) = -l**2 + 5*l - 3. Let i(v) = -3*q(v) - 4*t(v). Let w be i(6). Is 9 less than w?
False
Let y = 28 + -26. Suppose -y + 79 = 5*p + j, -28 = -2*p + j. Which is bigger: 14 or p?
p
Let b = 108 - 106. Let d be b/3*-3 + -20. Is -22 at most d?
True
Let n = 949 - 314. Is n != 635?
False
Let n = -1 + 0. Suppose -94*j = -89*j - 55. Suppose 0 = 3*b + 14 - j. Is b >= n?
True
Suppose 20*g + 270 = 10*g. Is g bigger than -24?
False
Suppose -3*k + 193 = 58. Let n = -27 + k. Suppose -6*l + n = -9*l. Which is bigger: l or -7?
l
Let k = -123/26 + 22157/78. Let x = -64532/231 + k. Is x >= -1?
True
Let r = 21 + -21. Suppose -q - 3*m + m - 4 = 0, 2*q = -m - 17. Let o be q/(-6)*(-5)/(-175). Are r and o nonequal?
True
Suppose 4 = -3*t + t. Let v(u) = 34*u**2 + 2*u - 1. Let d be v(1). Let k be t/(-12) + d/(-120). Is 1 at most as big as k?
False
Let b = -90 + 1891/21. Suppose -k = -3*k. Which is smaller: b or k?
k
Let u be 13/(91/(-532)) + -4. Is -82 at least as big as u?
False
Let x = -10 + -3. Let h(u) = -5*u + 22. Let y be h(7). Is y != x?
False
Let a(t) = 49*t + 749. Let u be a(-17). Which is smaller: u or -78?
u
Let s(y) = 4*y - 8. Let u be s(11). Let l(m) = 2 + 3*m - 34*m**2 - 4 + u*m**2. Let p be l(1). Is 1 at least p?
False
Let i = -40.4 - 2.6. Let l = 41.1 + i. Let g = 0.9 + l. Is 6 equal to g?
False
Suppose 3*b = -5*c - b - 38, -2*c - 5 = 5*b. Let o be (-4)/10 - 34/c. Suppose -2*f - f = -o. Are 3 and f unequal?
True
Suppose a + 4*p - 64 = 0, -4*a = 3*p + 14 - 335. Let w be -2 - (-48)/21 - (-81)/a. Is w equal to 0?
False
Let i(t) = 8*t - 171. Let o be i(13). Which is greater: o or -59?
-59
Let r(w) = w**2 - 10*w + 11. Let k be r(8). Let q be (-320)/50 - 2/k. Are q and -5 unequal?
True
Let f = 122 - 188. Is f at most -65?
True
Let a = -2032337/2292 + -95/764. Let n = 893 + a. Is n at most as big as 7?
True
Suppose -14 = -2*u - 20. Let y(l) = 9*l + 2. Let w be y(u). Is -24 greater than or equal to w?
True
Let j = -173 - -173. Is j at least 8?
False
Let z = 10 - 7. Let f(j) = -4*j + 28. Let q be f(7). Suppose 2*o + 8 - 10 = q. Is o <= z?
True
Let y = 0.95 - -0.05. Is y at most as big as -121?
False
Let k be ((-2)/(-4))/((-75)/(-330)). Let o be (5 - 1)*(-5)/4. Let s be (24/15)/(-4)*o. Which is smaller: s or k?
s
Let q be (-246)/8*((-228)/(-24) - 9). Is 2/5 < q?
False
Let k be 7/4 + (-486)/324. Which is bigger: -1905 or k?
k
Suppose 6*w + 60 = 8*w. Let f be 363/18 - 5/w. Suppose 2*a + 2*t - t - 4 = 0, a = 5*t - f. Is 2 >= a?
True
Let l = 627 + -687. Is 0 greater than l?
True
Let p be (2/(-3))/(4/6). Let q be (-640)/(-120)*(-1 - (-74)/72). Let j = q + 2/27. Is p at least j?
False
Let b = -35.22 - -35. Let d = b - -1.22. Are d and -3 nonequal?
True
Let c(p) = p - 3. Let z be c(3). Suppose -4*y + 6*y - 6 = z. Suppose -d - 4 = -5*i + 1, d + 3 = y*i. Is -2/39 bigger than i?
False
Suppose 0 = -d - p - 6 + 14, -2*d + 2*p = -8. Let i be 9 - d*5/10. Let j(m) = m + 13. Let u be j(-7). Is i bigger than u?
False
Suppose -2*j = -4*v + 8, -4*v + 5 = 4*j - 3. Suppose -2*r - 12 = -j*r. Let a = r + 3. Is 5 <= a?
False
Let m(i) = 9*i**2 - 3*i - 1. Let f(l) = 10*l**2 - 3*l - 1. Let u(o) = -5*f(o) + 6*m(o). Let b be u(1). Is b at most -11?
False
Suppose -2*l + 66 + 194 = 0. Let i = -80617/4 + 20025. Let k = l + i. Is k greater than or equal to 1?
False
Let n = -13/6 + 5/3. Let g = 5/9 + -11/9. Let k = n - g. Which is bigger: 2 or k?
2
Let i = 131.77 - -3.23. Let c = -133 + i. Which is bigger: -10 or c?
c
Let f be 2/13 + -10 + -1 + 11. Let x be (-2)/5 + (-6)/(-15). Is x smaller than f?
True
Let q be (11 + -14)/(-1 - 0). Let o be (105/(-2))/(q*-1)*2. Do o and 0.1 have the same value?
False
Let l = 1703 - 1120. Which is bigger: l or 2?
l
Let s = -74 + 81. Suppose -4*p - s*d - 36 = -3*d, d + 41 = -5*p. Is -55/8 at least p?
True
Let p be (-20)/3*(-90)/620. Which is smaller: p or 2?
p
Let b = 10306091311/1611418572 - -1/4366988. Let w be 134/(-18) - (2 + -3). Let y = b + w. Do 0 and y have the same value?
False
Let p = -1.01 - -0.01. Let j be 12/(-32)*14*-4. Suppose v = -2*v + j. Is v at least p?
True
Let l = -866/7 - -124. Suppose -108*i + 104*i = 16. Let q be (i/(-36) + 0)*-1. Which is greater: q or l?
l
Let i(o) = 2*o + 118. Let x be i(3). Let u be (121 + 2)*1 