Is b less than or equal to n?
True
Suppose -2*d - d + 14 = 5*f, -d - 22 = -5*f. Let z be (82 - 3)/(f + 15/(-5)). Is z smaller than 82?
True
Let h = 739/9 + -82. Let g = 42 + -68. Let b = 26 + g. Which is greater: h or b?
h
Suppose c = -3*c - 160. Let x be ((-109048)/1806 - -20) + 2/3. Which is bigger: c or x?
x
Let x(g) = 6*g + 70. Let y be x(-14). Let i be 12/(-8)*y/21. Is -2/407 at least i?
False
Let r = 6906 + -7525. Is 1/2 at least as big as r?
True
Suppose -162*x + 576 = -164*x. Let k = 20 + -19.9. Are x and k unequal?
True
Suppose 705*b + 69468 = 684*b. Which is bigger: -3307 or b?
-3307
Let n be (2/(-10))/((-102)/(-72) - 150/90). Which is greater: -657 or n?
n
Let v be 0*(403/(-26) + 15). Is 18/71 greater than or equal to v?
True
Suppose -3*q - 3*v - 299 + 95 = 0, 4*q - 3*v = -300. Which is greater: q or 7/3?
7/3
Let k be ((-45)/(-6)*21/525)/(6/4455). Is 224 bigger than k?
True
Let a be -4*(-2)/64 - (-99)/(-24). Let m be 4/(-48)*-9*4. Suppose -5*b + 1 = m*c, -2*b = -3*c - 6*b - 4. Which is greater: c or a?
a
Let x = 4407 - 4408. Is 2.37 smaller than x?
False
Let b be 0 + 3*(-2)/(-6). Let z = -7887332/1285 + 6138. Is b greater than z?
True
Let f(h) = -h - 3. Let l be f(-3). Suppose -13*n + 10*n - 9 = l. Which is smaller: -15/4 or n?
-15/4
Let q be 341 - 7/(-21)*-3. Let r = q + -1711/5. Which is bigger: r or 0.6?
0.6
Let d be 114/570*(-3 + -1142). Is d smaller than -229?
False
Let j = 209 - 170. Let b be (-10 - (-403)/j)/(2/(-6)). Is -7/115 less than b?
False
Let c(o) = o**2 - 39*o + 288. Let l be c(15). Which is smaller: -73 or l?
-73
Let y be ((-1512)/64)/27*(-10)/(-7). Is -306.7 at least as big as y?
False
Suppose -2*v + 69 = -449*w + 444*w, -4*w = -5*v + 45. Is 3 at most as big as w?
False
Let v = 1588 + -7828/5. Let q be ((-57)/6 + -1)*-2. Is q <= v?
True
Suppose 261*t = 1185 - 4317. Which is bigger: t or 156?
156
Let t(w) = 162*w**2 - 294*w - 1195. Let g be t(-4). Are g and 2573 non-equal?
False
Let s = -143.4 + 194.4. Which is smaller: s or 1/13?
1/13
Let p = -252.7 + 258.7. Is p smaller than 0.148?
False
Let m(j) = -8*j**3 + j**2 - 9*j - 10. Let c be m(-1). Which is smaller: 158 or c?
c
Let g(x) = -x**2 - 4*x + 4. Let h be g(-8). Let l be -871*(12/h)/((-2)/14). Let w = l + 28723/11. Which is smaller: w or -2?
-2
Let o be ((-7)/(-2))/(7/(-14)). Let p be 128*o/450 - -2. Suppose 0 = 3*u + 2*u. Is u < p?
True
Let m be (-280)/(-154) + 4/22. Let l = 120 + -106. Let a = l - 14. Is m >= a?
True
Let f = -25 + -736. Let k = -756 - f. Which is bigger: k or -25?
k
Let r = 89/1590 - 6/265. Let s(u) be the third derivative of u**4/24 - 3*u**2. Let b be s(1). Is b at least as big as r?
True
Suppose 2*z + 6 = 627*l - 630*l, -5*l + z + 3 = 0. Is -2/27915 bigger than l?
False
Let a = 4133192/7305 + -8486/15. Which is smaller: a or 0?
0
Suppose -202 = 19*h + 13*h - 1994. Suppose -3*b + 8*b - 785 = 0. Suppose 3*i = n + b, 3*n + 5 = 20. Do h and i have different values?
True
Let c = -0.02436 - 1.97564. Let v = -11 - 1. Is c at most as big as v?
False
Let r = 441 - 449. Let y(h) = -h**2 - 3*h + 6. Let m be y(2). Do r and m have the same value?
False
Let k = -624 - -618. Which is greater: k or -1.4?
-1.4
Let t = 239 - 545. Is -1225/4 at least as big as t?
False
Suppose -5*l + 34 = -3*i + 2, 0 = l + 2*i + 4. Suppose -5*k + 15 = 4*g, -1 = -l*g + 2*k - 7. Which is greater: g or 2/173?
2/173
Let n = 38 + -14. Let c = 2/1419 + 3868/1419. Let z = c - 248/99. Which is bigger: z or n?
n
Suppose -5*p + 4*d + 19 = 0, -5*d + 2*d + 33 = 3*p. Which is bigger: p or -53?
p
Suppose 42*f - 62*f - 7700 = 0. Which is greater: f or -384?
-384
Let n(p) = 5*p**2 - 290*p + 261. Let w be n(57). Are w and -594/25 equal?
False
Suppose 51*z - 114 - 52 = -32*z. Is z greater than or equal to 56/67?
True
Let s be (93/(-45))/(-6*(-3)/102). Let u = -106/9 - s. Is 0 equal to u?
False
Let p = -983 - -44233/45. Which is smaller: -172 or p?
-172
Let n = 477650/17 + -28089. Does 8 = n?
False
Let c = 23892.627 - 23893. Is c < -8?
False
Let g = 2141 - 4472. Which is bigger: g or 0?
0
Let t = -1805.3 + 1840.3. Suppose 3*b + b + 10 = -3*j, b = 5*j - 14. Suppose z = -4*c - 18, z + j*c + 5 + 5 = 0. Is z greater than t?
False
Let o = 66/5 + -13. Let m = -203 - -208. Suppose -8 = 4*r + x, -4 = r - m*x - 23. Which is bigger: r or o?
o
Let t be (1 - 7)*(6 + -7 - (-3870)/(-20)). Is t greater than 15168/13?
True
Let w = -1796 + 1796. Which is smaller: w or 8/7?
w
Suppose 32331 = 33*w - 21921. Which is greater: 18090/11 or w?
18090/11
Let f be 1245/9 - (170/(-30) - -5). Is f <= 140?
True
Let k(a) = 4*a**2 + a + 1. Let y be k(-1). Let p = -964 - -979. Let o be 6/(-5)*(p + 665/(-38)). Is y > o?
True
Suppose 5*w - 3*t - 15 = 4*w, 5*w + 4*t = -20. Suppose 38 - 55 = -17*v. Is v bigger than w?
True
Let w = -578.86 + 579. Let k be (-1)/15*3*-5. Let l be (-108)/18*k/(-27). Are l and w non-equal?
True
Let j(w) = -106*w + 45. Let d be j(-10). Let i be (-3)/((-108)/(-8)) + d/4797. Is i > 1?
False
Let u = -4 + 4. Suppose -b - 6 + 0 = u. Let k = -54.77 - -49.77. Which is smaller: k or b?
b
Suppose -2*p = -5*n - 814, n = 117*p - 116*p - 413. Which is smaller: 412 or p?
412
Let q = -0.2217 + -0.1783. Is q at least 3696?
False
Let y = -17206 + 68823/4. Which is smaller: y or -37.3?
-37.3
Let v = -8157 + -1940. Which is greater: v or -10095?
-10095
Let a(o) = 33*o + 267. Let n be 11 + (-1 - 6) + -12. Let g be a(n). Let j be ((-2)/12)/(2/(-44)). Is g bigger than j?
False
Let q be 952/748 + (-6)/22. Is q equal to -48/413?
False
Let w = -708.2 - -712.2. Which is bigger: w or 96?
96
Suppose a + 4*m = 3*a + 178, 3*m = -3*a - 267. Let h = -36226 - -36136. Is a smaller than h?
False
Let w be 6 + 308/(-55) - 7894/19810. Does w = 1?
False
Suppose 23*a + 0*a = 2093. Suppose 0 = 5*i - c + 493, -3*c = 2*i - a + 278. Is i at most -102?
False
Suppose 3*i = -4*p - 2724, 12*i - 2043 = 3*p + 7*i. Is -2039/3 at least p?
True
Suppose 14*o - 120 = -36. Suppose 4*j + 26 = 2*h + o*j, 5*j = 2*h + 9. Which is smaller: 13 or h?
h
Let m = -35 - -42. Suppose i = m*i - 18. Suppose 0 = -4*p + i*p. Is 12/19 less than or equal to p?
False
Let y(t) = -2425*t - 16988. Let g be y(-7). Let a = 520 - 2662/5. Is a equal to g?
False
Let w = -2.4208 - 0.5792. Is w at least as big as 191?
False
Let q = -24 - -43. Let g = -3423 - -10270/3. Is q <= g?
False
Let s = 3 - 2. Suppose 378*n = 382*n - 608. Let x = 1370/9 - n. Which is smaller: x or s?
x
Let v = 11/16 + -257/304. Suppose 3*z + 5*f = 568, -3*z - 4*f + 818 - 252 = 0. Let m = -187 + z. Is m bigger than v?
False
Let t = -16274 + 16274.1374. Which is smaller: 1 or t?
t
Let s = 15 + -4. Let c = -179.713 - -180. Let x = c - 3.287. Which is smaller: x or s?
x
Suppose -3*k - 6279 = -4*i, 221*i - 2093 = k + 223*i. Which is greater: k or -2094?
k
Let w = 1345080 + -95463478/71. Let m = 524 - w. Let j = 9236 + -9237. Are m and j non-equal?
True
Let u = -0.522 - -0.41. Let h = u - -0.112. Which is bigger: h or -53?
h
Suppose -2*z + 12000 = 4*q, 3*q - 50*z + 54*z = 8985. Is 3003 at least q?
True
Let x(r) = 5*r + 68. Let k be x(17). Let n = k - 152. Let a be (((-4)/1)/(n - -1))/2. Which is bigger: -21 or a?
a
Let w = 0.719 + 843.281. Let z = w + -575. Is z <= 0.1?
False
Let o = -281.4 - -316. Let n = o - 34.5. Which is greater: n or 0.82?
0.82
Let b = 3 + -2. Let t be (b/2)/(2/4). Let v = -265529/12 - -22128. Is t at most v?
False
Let o = 65964670082/1335 - 49411766. Let z = o - -422/15. Which is smaller: 1 or z?
z
Let c = 427/1350 - 8/27. Suppose -5*o - z + 0 = -73, 0 = -2*z + 6. Suppose o = -p - 3*t, 2*p + 23 = 5*t - 10*t. Is c equal to p?
False
Let s(x) = -x**2 + 46*x - 513. Let y be s(27). Let h = 33.1 + -36. Let q = h + 14.9. Which is greater: y or q?
q
Let b = 2 - 9. Let f(t) = 2*t**2 + 5*t + 8. Let c be f(-5). Let x be 6/10 - c/5. Is b at most x?
True
Let d = -1884.6 + 1891.6. Is d > 2/289?
True
Let g be -1*(-2)/(-1)*(-1575)/50. Let v be 3/((g/(-119))/3). Are -29 and v non-equal?
True
Let f be (-33)/(-9) + -3 + -1 + 1825/3450. Let i = 2 - 2. Is f < i?
False
Let c(w) = -132*w + 264. Let k be c(2). Which is greater: k or 2/8093?
2/8093
Let k = -0.317 + 0.656. Let v = 1804.039 + -1804. Let h = v - k. Does h = 0.03?
False
Let b = -11.914 - 4.086. Which is bigger: b or 1/20?
1/20
Let n(d) = d**2 - 9*d - 4. L