Let f(o) = o**2 + 31*o + 205. Let h be f(-20). Do h and 40 have the same value?
False
Suppose 0 = 13*o - 39. Let b be (148/(-48) + o)/((-1125)/72). Which is bigger: b or 0.1?
0.1
Let t = -29 + 29. Suppose 9*d + 727 - 7 = t. Let z = d + 78. Is -2 greater than or equal to z?
True
Let c(r) = r**3 - 6*r**2 + 7*r + 3. Let p be c(5). Suppose 3*z - p = h, -5*h + 0*z + 3*z = 41. Which is smaller: h or -4?
h
Let j be 43*(-510)/189 - (9 - 8). Suppose 585 = t + 4*t. Let u = t + j. Are u and 0 non-equal?
True
Let q = -2326 + 1344. Which is smaller: -981 or q?
q
Let d be (-234)/156*((-1)/(-1) - -1). Let g be (48/1656)/(1/d). Is g at least -1?
True
Let s = 50 + -31. Let v = -76649/5 + 74612/5. Let h = 407 + v. Which is smaller: s or h?
h
Let m(q) = 7*q - 28. Let s be m(13). Let u be s*(2/(-3) + 0). Is -43 at most u?
True
Suppose -3 = -2*p - 9, 0 = -n - 2*p - 3. Is n at least 46/25?
True
Let q = -108.81 - 0.19. Let p = q - -133.9. Let m = p - 22. Which is smaller: 0.1 or m?
0.1
Let f be -6 - 14 - -23 - 4927. Which is greater: -4923 or f?
-4923
Let v be -1 + 4/(24/1782). Let h be (-18)/(-63)*28/v. Is h at least as big as 1?
False
Let p be (-253)/3312*-12 + 1*(1 - 2). Is p at least as big as -200?
True
Let j = -51239/468 + 1428/13. Suppose 15*i + 6 = 18*i, 3*i - 6 = -4*q. Which is smaller: q or j?
q
Let r = -684 + 686. Suppose r*l = 10*l - 1176. Is 147 greater than l?
False
Let t = -6326/9 + 702. Let j = -77 + 79. Let m be (0 - (j - 4))*8/(-16). Are t and m equal?
False
Let x be ((-2)/(-15))/(((-8)/(-84))/((-63)/147)). Do -510 and x have different values?
True
Suppose 100 - 8012 = -172*t. Which is smaller: t or 41?
41
Let u(l) = -l**2 + 8*l + 2. Let o be u(8). Let x be (-3)/o*12/(-9). Suppose 3*d - x*v - 47 = 0, 0 = v + 1. Is 14 bigger than d?
False
Suppose -36*n + 50 = 40*n + 126. Is n equal to 5/66?
False
Let x be -3 + (-28)/(-6) - 175/105. Let i = 146.058 + -0.058. Is x greater than i?
False
Let o(r) = r**3 + 26*r**2 + 25*r - 12. Let v be o(-25). Let b be 354/v - (-12)/8. Which is smaller: b or -27?
b
Let o be 116 - (8/28 - -3 - 50/175). Do o and 103 have the same value?
False
Let h = -60 + 64. Suppose -h*q + 5*r + 288 = 0, 360 = 5*q - r + 5*r. Let t be ((-1)/(-2))/(6/q). Which is greater: t or 7?
7
Suppose -5*l = 2*z + 6, 3*l = 5*z - 17 + 1. Suppose f + 6 = z. Suppose -u - 128 + 145 = -3*k, 3*u = -2*k - 15. Which is smaller: f or k?
k
Let t(g) = 11*g**3 - 6*g**2 + 11*g + 6. Let m be t(4). Let p = 13163/20 - m. Are p and -1 unequal?
True
Suppose -23*q = -25*q - 2*x - 690, 3*x = -5*q - 1725. Is q >= -341?
False
Let z be (8/10)/((-8)/260). Let u be ((-65)/z)/(3/(-2) + 2). Suppose -y - 19 = -4*m, 11 = -2*y + u*m - 24. Is -15 <= y?
True
Let j = 60 - 23. Let y be (18/8)/((-210)/(-3920)). Let z = y - j. Is z smaller than -1?
False
Suppose 27 = 5*a + 7, -4*d - 4*a = -4. Let w be 10/45 + d/((-270)/2878). Let m = -1082/35 + w. Which is smaller: 0 or m?
0
Let o be -4*(-22 - -20) - 592/(-2). Does o = 300?
False
Suppose 6*t + 291 + 75 = 0. Let y(n) = n**2 - 2*n - 6. Let b be y(4). Let d be -2*b/4*61. Is t equal to d?
True
Let w(h) = -4*h**3 + 17*h**2 + 5*h + 6. Let q(p) = -5*p**3 + 17*p**2 + 6*p + 7. Let g(k) = -5*q(k) + 6*w(k). Let n be g(-17). Let f = 1 - n. Is 1/13 > f?
True
Let l = -281 - -231. Let u = l - -49. Which is smaller: 0.045 or u?
u
Let y be (8 - (-10 - -18))/((-6)/2 - -4). Is -33/104 smaller than y?
True
Let k = -2 + 3. Let p = 455 + -238. Let n = p - 183. Which is smaller: k or n?
k
Let b(r) = -r**3 - 5*r**2 - 10*r + 21. Let i be b(-8). Suppose v - 124 = -2*f - f, -3*f = -2*v + i. Which is bigger: v or 138?
v
Let z = 0.8 - 0.2. Let y = -5.4677 - -0.0477. Let d = 3.42 + y. Is d at least as big as z?
False
Let t = -1441 - -2174. Let d = t - 733.3. Let j = -1109/12 + 351/4. Which is smaller: j or d?
j
Suppose -2*z = -3*m - 6*z - 18, 2*m - 4*z + 12 = 0. Let g be (-2)/(-1 - m - (-14875)/(-2950)). Is g bigger than 46?
True
Suppose -3*d - 17089 = -2*c, -4*d - 13782 - 8980 = 2*c. Is -5694 at most d?
True
Let l be (-44)/6 + 1 + -1. Let b be (-165)/50*20/(-12)*-2. Let n be 0 + 2/b + (-5550)/814. Is n greater than or equal to l?
True
Let m = 4 - 7. Let d = 2.5511 + 7.4489. Which is greater: d or m?
d
Suppose -s - 1225 = -3541. Is 2317 > s?
True
Let y = -20/403 - -121886/3627. Which is bigger: 35 or y?
35
Suppose -25*q - i = -29*q + 15, -5*q - 5*i = 0. Suppose -83*c + 79*c - 32 = q*p, p + c + 9 = 0. Suppose 0 = 3*d - 0*d + 3. Is p less than or equal to d?
True
Suppose 5*y - 2*x - 361 = 0, 424 = 5*y + 2*x + 75. Which is smaller: y or -39?
-39
Let t be 60/25 + (-2)/5. Suppose 0 = -6*m + 5*m + t. Suppose b - a = -4, m*a = -2*b - 3*a + 20. Is 6/19 > b?
True
Let m(h) = 7*h**2 + 2*h - 8. Let b be m(1). Is b smaller than -1/11603?
False
Let t be (-6)/(-8) + (-36)/240*45. Let h(c) = -3*c**3 + 5*c**2 - 6*c - 5. Let y(q) = q**3 + 1. Let f(b) = h(b) + 4*y(b). Let o be f(t). Is -6 < o?
True
Let w = 207.8 - 91.8. Is -0.1 at most as big as w?
True
Let w = -2274 + 2274. Is 1/2559 != w?
True
Let l = -1 - -14. Suppose 5*v + l - 613 = 0. Suppose u + 3*u + v = 3*j, 4*u = -4*j - 92. Which is smaller: -25 or u?
u
Let k = -2039 - -63203/31. Let t be (-156)/(36/(-6)) - (2 - -1). Let w be 2/(-4)*(25 - t). Which is bigger: k or w?
k
Let g = -1/66712 - 800155/25950968. Is 1 at least as big as g?
True
Let j = -218.81 - -219. Let h = j - -0.81. Let l = 27 + -59. Which is smaller: h or l?
l
Suppose -5*h + h = -10*i + 5386, 0 = 5*i + 5. Are -17556/13 and h non-equal?
True
Let o = 11 - 15. Let s be (-16)/5 - (o - -4). Let g be 13 - -5 - (-3 - -25). Which is smaller: s or g?
g
Let p = 509 + -357. Let w = 8766 + -8917.955. Let y = w + p. Which is bigger: 1 or y?
1
Let n = -104.24 - 2832.76. Is -2 equal to n?
False
Let l be (-25536)/256 + 5/(-4). Is -99 > l?
True
Let a(c) = 34*c + 42. Let m be a(10). Let x = m - 7254/19. Is x equal to 1?
False
Let z = 18.75 - 19. Let v = 0.35 + z. Let f = -159.4 - -159. Is v greater than or equal to f?
True
Let p = 3.5 + -3. Let b = -3925.3 - -3738. Let i = 187 + b. Which is bigger: p or i?
p
Let z be 3/(-15) + (-48)/(-15). Let y = -325 + 282. Let t = -42 - y. Which is bigger: t or z?
z
Let p = -474 - -163. Let b = 309 + p. Which is bigger: 126 or b?
126
Let x = -5150878/657 - -7840. Let f = 5 + -4. Is f >= x?
True
Let s = 965626.9 + -965627. Let m be 1184/(-5)*(-10)/114. Let k = 62/3 - m. Is s < k?
False
Let q be (-10 - -4 - -19)*(-1)/(-4 - -5). Which is smaller: 0.38 or q?
q
Suppose -3*b - 10*b = -130. Let s be (1 + -2)*(120 - (3 - b)). Which is greater: s or -129?
s
Let h(w) be the second derivative of w**3/3 + w**2 - 7*w. Let g be h(-4). Let t = -44 + 38. Is t bigger than g?
False
Let v be -51*(-1)/(-33) + (-18)/(-33). Are v and -1901 unequal?
True
Suppose 3*j - 19 = 2*w - 3*w, -3*j + w + 29 = 0. Are j and -257 equal?
False
Suppose 23*a - 22*a + 9*k = -304, -a - 220 = -5*k. Which is greater: a or -232?
-232
Let h = -44113/666 - -596/9. Let f be -1*(112/8 + -14). Is h not equal to f?
True
Let m(z) = -z**2 - 35*z + 3601. Let l be m(45). Is l > 30/427?
True
Let w = 372 - -878. Suppose -692*h + 697*h = w. Is 249 greater than or equal to h?
False
Suppose 2*h - 5*x = 13034, h - 32562 = -4*h + x. Which is bigger: h or 6511?
h
Let p(b) = -20*b + 1341. Let n be p(68). Let x = 16/3 + -53/6. Are n and x equal?
False
Let n = -1033 - -1028. Let x(c) be the first derivative of c**4/4 + 4*c**3/3 - 5*c**2/2 + 7. Let r be x(n). Is r at most as big as 24/25?
True
Let y be (-6)/9*1719/(-6). Let h = -38 - -230. Which is smaller: y or h?
y
Let f be -14*42/108*(-20)/245. Is -581 less than f?
True
Let s = -2654 - -2592. Are -44 and s non-equal?
True
Let c be 420/(-252)*(-189)/19. Is c at least 18?
False
Suppose 578*r - 575*r = 114. Is r bigger than 1086/29?
True
Let u(w) = -w + 6. Let a be u(0). Suppose 4*p = a*p - 6. Let m be 34 - 39 - (-5)/1. Are m and p non-equal?
True
Let j be (-1)/2*(-9 + 3) - 33. Let r be (2/j*-18)/((-4)/145). Is r smaller than -44?
False
Let x = -111 - -162. Let v = x - 4. Is -0.2 equal to v?
False
Let y(q) = 2*q**2 - q - 13. Let d be y(4). Let h be (-249)/d + (-24)/(-40). Which is smaller: 8/9 or h?
h
Let l be ((-451535)/38)/5 - -25. Which is bigger: l or 1/3?
1/3
Let z = -14 + 143. Let i(p) = -p**3 - 7*p**2 - 18*p + 55. Let k be i(-6). Which is smaller: