 0 = -19*c + b + 100. Is c at most -3?
False
Let y = 63 + -17. Let p = y - 37. Let s = 29 - 21. Which is smaller: s or p?
s
Let b(g) = -23*g + 73. Let v be b(3). Suppose v*j + 3*o - 95 = 19, -o = -5*j + 152. Is j bigger than 25?
True
Let f = 1174.3 + -3098.3. Which is smaller: -2/7 or f?
f
Let u be (112/1120)/(1805/(-6) - 1). Which is smaller: u or 1?
u
Let r(h) = -h**2 + h + 22. Let c be r(0). Let t be (30/(-21))/((-86)/301). Let m be (c/4 - t)/((-7)/(-4)). Which is smaller: m or 9/4?
m
Let q = -141 - -126. Let m be (12/(-45))/(-2)*(-18)/q. Does m = 0?
False
Let w = -14637 - -14636.96356. Are w and -2 non-equal?
True
Let d be (((-40)/24)/(-5))/(1/435). Let r = d - 148. Which is bigger: -1 or r?
-1
Suppose 4*c + 0*c - 4 = 0, -5*x = 4*c - 29. Let l = 10 + -16. Let a be 76/15 - (-4)/l. Which is greater: x or a?
x
Let k(s) = -s**2 - 150*s + 1092. Let g be k(-157). Suppose -4*m = 5*l + 5, -2*m = 2*l + 2*m + 14. Suppose -l*w = -4*w + q - 14, q = 2. Is g at least w?
True
Let c = -3278447/103 + 31830. Which is greater: 1 or c?
1
Let b = -15 - -15. Let v(s) = -15*s**2 - 3*s + 4. Let u be v(4). Let m be 2*2/u*2. Are m and b unequal?
True
Let q = 3050 + -3062. Which is bigger: -23 or q?
q
Suppose -68 = 5*b + 217. Let s be (88/12 - 7)/(14/(-21) - 0). Which is greater: s or b?
s
Suppose -1805 + 2115 = 310*n. Let i = 20/11 - 413/209. Is n greater than or equal to i?
True
Let s be 48/(-72)*69/(-2). Suppose s*y = 4*y + 114. Is y not equal to 5?
True
Let u be ((-261)/4)/(6 + 125/(-20)). Suppose 0 = -6*t - 381 - u. Which is smaller: -108 or t?
-108
Suppose 3*p + 15 = 3*h, 2*h - 4*p = -0*p + 20. Let g be 9/76 + (-15)/(-60). Let u = g + -15/247. Which is bigger: u or h?
u
Let p be (-3146)/30 + 128/(-960). Let v = 359 - 464. Do v and p have the same value?
True
Let g(k) = k**3 + k**2 + 2*k + 3. Let c be g(0). Let x be c/2*(-130)/195. Which is smaller: x or 8/45?
x
Suppose -128 = -2*o - 6*o. Suppose -s = 3*t + s - 10, 3*s = -5*t + o. Let l = -0.04 - 0.06. Which is smaller: t or l?
l
Let t(b) = 6*b - 8. Let r be t(3). Let l be ((-2)/r)/(7 - (6 - 3)). Is 1 greater than or equal to l?
True
Let s(c) = -33*c + 332. Let g be s(11). Let y = -148 - g. Do y and -0.1 have the same value?
False
Let q(t) be the third derivative of t**6/120 - 5*t**5/12 + 11*t**4/6 + 43*t**3/6 + 49*t**2. Let b be q(23). Is -27/14 bigger than b?
True
Let m = -7 + 53. Suppose 4*w + 62 - m = 0. Let p be 1/w - 1079/156. Is -6 greater than p?
True
Suppose -2 + 11 = 5*l - 2*o, 0 = l + 4*o + 7. Let j = -2067/47470 - -1/1010. Which is smaller: j or l?
j
Let m be 4/(-5) - 25850/(-36375). Are m and 0 equal?
False
Let l = 3006 + -3004.2. Is l at least -3/19?
True
Let n be 183/2*((-2)/3 + 2). Let r = -145 + n. Let o = -14 - r. Which is smaller: 4 or o?
4
Suppose -1891*l = -1893*l - 4*u - 16, -2*l + u = -4. Is -5/1992 at least as big as l?
False
Let c be 2/3*(-51)/34*-2. Suppose -7 = -2*b + 5*w + 27, c*b - 10 = -w. Let k be (10/35)/(2/14). Which is bigger: k or b?
b
Suppose -114*l + 119*l - 405 = 0. Let b = -63 + l. Suppose -5*c - 5*d = -61 - 29, c - 2*d - 21 = 0. Is c greater than b?
True
Let b be 224/175*((-6)/4)/(3/(-14)). Which is smaller: 8 or b?
8
Suppose -4*c + 2*d = -116, -4*d - 7 = -c + 8. Suppose 5*p = 156 - c. Let w be (-1*2 - 23)*-1. Is w greater than p?
False
Let i = -0.0665 + 342.0665. Let z = -367 + i. Which is smaller: -7 or z?
z
Let j = 46.65 + -46.45. Is -36 less than or equal to j?
True
Suppose -11*z = -4*b - 38 - 74, 5*b = -4*z + 73. Suppose 5*t - 1252 = 1013. Suppose 3 = z*c - t. Is c less than 37?
False
Let k be (-37 + -7)/11 - 3501/(-876). Which is smaller: k or -1?
-1
Let b = 872.365 - 1666.386. Let c = -794 - b. Which is smaller: c or 0.07?
c
Let t = -127.866 + 128. Let o = t + 0.066. Let a be -2 - (16/4 + 0). Is o bigger than a?
True
Let v = 38 + -36. Suppose -v*u + 0*u = -6. Suppose 4 = -3*j + u*w - 32, 0 = 5*j - 2*w + 57. Which is smaller: -10 or j?
j
Let n be 9/(-8)*2*7/84. Do -1 and n have the same value?
False
Suppose 0 = -5*c, -5*c - 228 = 4*r - 0*c. Let d be (-1667)/8 - 76/r. Let k = 207 + d. Does k = 1?
False
Suppose 73*x = 47*x - 66*x. Which is greater: x or 2/8591?
2/8591
Let t(b) = -b**3 + 166*b**2 + 2716*b - 182. Let f be t(181). Are 3/23359 and f equal?
False
Let d be (-9)/2*(-16)/36. Suppose -2*l + d*h + 3*h = 23, -5*h = -25. Let u be (3/3)/(l*-1). Which is smaller: u or 1?
u
Suppose -4*d - 3*u - 29 = 0, 2*d + 405*u - 403*u + 12 = 0. Which is bigger: d or -434?
d
Let l(p) = -16 + p**2 + 51 - 2*p - 18*p - 17. Let w be l(19). Is w at least -1/63?
False
Let m = 16266 + -16259. Is 340 less than or equal to m?
False
Suppose 3*h - 750 = 5*d, -4*d + h - 314 = 279. Let l = d - -159. Let u = 1 - 1. Is l < u?
False
Suppose 3 = -8*z - 93. Let a be z*8 + -1 + 3 + -4. Is -100 greater than or equal to a?
False
Suppose -14*a + 39*a = 0. Is a equal to 6/311?
False
Let c(f) = -2*f + 53. Suppose 29*b - 28*b + 4*v - 42 = 0, 0 = 4*b + 4*v - 156. Let d be c(b). Which is bigger: -25 or d?
d
Let w = 249 - 749/3. Which is smaller: -3346 or w?
-3346
Let i(b) = b**3 - 7*b**2 + 3*b + 22. Let d be i(6). Suppose 3*p + 5*h = -93, -d*p - 120 = -p - 4*h. Which is bigger: -34 or p?
-34
Let y = 8013 - 6622. Is 1389 < y?
True
Let s = 97 + -79. Let q be -2 + 75/s + (-3 - -1). Let x(g) = 4*g + 33. Let c be x(-8). Is q bigger than c?
False
Let m(z) = z**3 + 5*z**2 - 10. Let r be m(-3). Suppose -y = -4*d + 6*d - r, -3*y + 6 = 0. Which is smaller: d or 20/9?
20/9
Let z = 570 + -951. Let s be z*(-9)/(-702) + (3 - -2). Suppose v + 3*v - 4 = 0. Is v at most s?
False
Let y = 1889 + -1807. Is 2 greater than y?
False
Suppose 2*b + 148 = -3474. Let c = -219132/121 - b. Which is smaller: 1 or c?
c
Let b = -38/11 - -305/66. Let k be (-16)/12 + (64/12 - 4). Suppose u = 2*p + 2, k*p = -u + 5*p + 2. Does u = b?
False
Let a be ((-17 - 1)/(-3))/((-35)/70). Let p be 8*2*(a + 0)/24. Which is smaller: p or 4?
p
Suppose -j + 16 = 5*v, 3*j - 4*v + 27 = -1. Let f(b) = 7*b**2 - 12*b - 68. Let y be f(j). Which is smaller: y or 1?
1
Let a = 467 + -10271/22. Suppose 0 = -9*g + 13*g - 912. Let v = g - 229. Which is bigger: a or v?
a
Let i(w) = -104*w - 86. Let r be i(-16). Let d = r + -17346/11. Let f = 2 - 3. Which is smaller: f or d?
f
Suppose -8*g - 14 + 158 = 0. Suppose 20 = 2*c - 5*m, 4*c - 3*m - g = -6. Are c and 2/713 nonequal?
True
Let d = 2.776 - 6.466. Is d >= 2?
False
Let g = 121 - 127. Let l be -18*8/16*2/g. Suppose -w = -l*h - 47, 5*w = 3*h - h + 40. Do -11 and h have the same value?
False
Let r(z) = -z**3 - 11*z**2 - 4*z + 4. Let t be r(-11). Let m be (-3 - 50) + -6 + 11. Let d = m + t. Which is smaller: -19 or d?
-19
Let b be (528/6)/(-22) + 8598/10. Is b != 855?
True
Let y be (-20272)/(-3696) + 1/3. Suppose 4*l = 2*s + 32, -13 = -l + 4*s + 2. Is y <= l?
True
Suppose c = 1, 3*b - 795 - 4519 = -10*c. Is b <= 1766?
False
Let u(z) = -z**2 + 2*z - 2. Let m be u(2). Let d = -733 - -740. Suppose l - 3 = 4*x - d, 0 = 4*x - 2*l. Which is bigger: m or x?
x
Let k be (78/4)/(14/(-644)). Which is greater: -895 or k?
-895
Let x(n) = 160*n + 801. Let j be x(-5). Let t = -0.08 - 12.92. Let a = -2 - t. Which is bigger: a or j?
a
Let f = -231.032 - -233. Let a = f - -0.032. Let c(w) = -w**3 + w**2 + 5*w - 2. Let t be c(3). Which is greater: t or a?
a
Suppose -2*y - 75 = 3*y - r, -y = -4*r - 4. Let f = -14 - y. Let k be 4/(-10)*20/(-6). Which is greater: k or f?
f
Let c be (-24)/40*150/(-1305). Which is smaller: -101/2 or c?
-101/2
Let m = 91 + 100. Let b = m - 121. Suppose 0 = 2*q - 7*q + b. Is q smaller than 5?
False
Let q = 1622.9 - 1551. Let a = -0.008 + -71.992. Let z = q + a. Is 3/2 less than z?
False
Let t = 152927/1909842 + -50/627. Let y = -501829/1523 + t. Are -331 and y non-equal?
True
Let m be (-24)/32 - -5 - 2/(-24). Is -2/7 bigger than m?
False
Let h be (3 - (0 - 0)/(-1)) + 0. Let k be (-2 + (-654)/(-14))/(-1). Let m = k - -45. Is m less than h?
True
Let f(m) = -4 + 3*m**2 - 782*m + 788*m + m**2 + m**3 - 2*m**3. Let g be f(5). Let a = 17 - 14. Is a less than or equal to g?
False
Suppose 3 = -3*k, -11*k + 123 = -h - 6*k. Let l = h - -260. Suppose 7*y - l = 3*y. Which is bigger: y or 32?
y
Suppose 11*u - 21 = 2*m + 6*u, -3*u = 4*m - 23. Suppose -q = -4*b - 8, -5*q + 0 + 4 = -m*b. Which is smaller: -2/3 or q?
-2/3
Let 