 Let t = 5.08 - 5. Is j less than t?
False
Let p(f) = 21*f**3 - 8*f**2 - 4*f + 21. Let l be p(-3). Let m = l + 366. Are m and -238 nonequal?
True
Let h = 0 + 0.2. Let i be (2222/(-101))/((-8)/(-21) - 18/(-63)). Do h and i have the same value?
False
Let d = 1466656/16993965 + -2/66643. Is -1 >= d?
False
Let b = 0.0514 - -3.0486. Let d = -169.9 - b. Which is greater: d or -2/9?
-2/9
Let a(s) = s**3 - 6*s**2 + 3*s - 152. Let h be a(8). Which is bigger: h or 459?
459
Let r be (-2 + 370/188)*1. Let y = 6553 - 6553. Is r != y?
True
Let f = 1.61 - 0.21. Let t = 32.01 + -32. Which is smaller: t or f?
t
Let d be 652/2013 - (-118)/(-649). Which is smaller: d or 1?
d
Suppose 0 = -4*d + 3*z - 6, d + 111 = -4*z + 119. Let o(a) = a**2 + 13*a + 10. Let r be o(-12). Let j be 1/25*(r + 1). Which is greater: j or d?
d
Let k = -2606 + 2921. Are k and 314 equal?
False
Let t = 0.03183 + -0.01183. Which is smaller: 2/9 or t?
t
Let k be (21/5)/(11/(-55)). Let u = 66 + -171. Let t = u + 103. Is t greater than k?
True
Let l = -5.999 - -3.999. Which is greater: -2160 or l?
l
Suppose -4*v + 3*v + 2*z - 6 = 0, v - 4*z + 14 = 0. Let m be v/10 - (-3)/(-15). Let b be (4/48)/(((-27)/((-324)/(-8)))/2). Is b at most m?
True
Let f = -16 + 17. Let g be (0 + 4)*f/53. Which is smaller: 0 or g?
0
Let h = 234.025 + -0.025. Suppose 7*z + 50 = 100 - 57. Which is greater: h or z?
h
Suppose -4*t - 160 = -3*t + 2*u, -2*t = -2*u + 314. Let m = t - -180. Is m at most 23?
True
Suppose 0*m = 2*l + m - 5, 2*l - 10 = 4*m. Suppose 74 = l*c + 2*q, -3*c + 2*c + 25 = q. Suppose 5*g + 3*g + c = 0. Which is smaller: -28/11 or g?
g
Let d = 0.6 - 0.7. Suppose -38 = -3*p - 2. Let r be 65/6 + p/72. Is d at least as big as r?
False
Let y = -65489658316/171 - -382982977. Let f = -2519 + y. Is f != 0?
True
Suppose 2*v = 6*v + 1136. Let m = 283 + v. Let r = -164388/85 - -1934. Which is smaller: m or r?
m
Let i = 339.08 + -342. Let f = 3.02 + i. Is f greater than -24?
True
Let r(x) = x**3 - 6*x**2 + 168*x - 1006. Let c be r(6). Which is smaller: c or 32?
c
Suppose 4*u - 2*u = -128. Let d(n) = -39*n**2 + 16*n - 41. Let l be d(1). Is u not equal to l?
False
Let h = -4116 - -4117. Is h equal to 1?
True
Let z = 206 - 205.8. Let a be (174/(-81) - 0)*3. Is z greater than a?
True
Suppose -22*h - 43 = -65. Is 2/319 greater than or equal to h?
False
Let v = -28 + 62. Let x = -7870 + 7906. Which is greater: x or v?
x
Let l(x) = x**3 - 4*x**2 - 3*x - 5. Let q be l(5). Let u = q + -1. Suppose -f - 1 = -u*d - 6*f, 4*f - 2 = -2*d. Is d > -3/8?
False
Let y = 372 - 369. Suppose -3*a + y - 45 = -f, 5*f = -2*a + 142. Which is smaller: f or 31?
f
Let h = 14630 + -15258. Does h = -636?
False
Suppose -3*x = 2*x + 125. Let h = 191902 - 191928. Is x bigger than h?
True
Let f = -156 - -1406/9. Let c = -12798/19 - -320121/475. Which is smaller: f or c?
f
Let p be (-25)/30 + 1 + 55806/(-36). Let a be p/5642 + 2/((-14)/(-3)). Suppose 0*x + x + 4*u = -20, 4*x + 25 = -5*u. Is x greater than or equal to a?
False
Let k(q) = 6*q**2 - q**2 - 4*q**3 + 5*q**3 + 2*q + 9 + q**2. Let f be k(-6). Is f at most as big as -1?
True
Let h(o) = o**3 - o**2 + 46*o - 260. Let g be h(5). Suppose 128 = -26*v + 28*v. Is v greater than or equal to g?
False
Let f = 56.4 - 51. Let q = 11.9 + -9.3. Let c = f + q. Which is smaller: 2 or c?
2
Suppose -26*n = 25*n - 46*n - 760. Which is smaller: 131 or n?
131
Let v(x) = 181*x + 1715. Let t be v(-10). Are -8 and t unequal?
True
Suppose 2 = 2*l, -5*l = -2*z + 5*z - 1163. Suppose 16*s = -3596 + 9772. Is z at most as big as s?
True
Let l = -76 + 94. Let u(m) = m**3 - 19*m**2 + 19*m - 16. Let w be u(l). Suppose 3*p = 2*j - 3*j, 1 = -5*p - w*j. Which is bigger: -0.2 or p?
p
Suppose -5*i = -3*c - 12144, -17*c - 16224 = -13*c + 4*i. Is -4053 bigger than c?
False
Let x be -1 + -7 + (-122206)/(-15326). Let k = -5/97 - x. Which is greater: 0 or k?
0
Let w be (143/2)/((((-10)/4)/1)/5). Are -140 and w non-equal?
True
Let c = -58963/165 + 16253/15. Let p = c - 727. Which is smaller: -1 or p?
-1
Let t = 73 - 66. Suppose 0 = -t*q + 2*q - 4*x + 480, -2*q = -3*x - 192. Which is bigger: q or 94?
q
Let p be (30/1940)/(9/24). Let t(j) = -j**2 + 18*j. Let u be t(18). Is u greater than p?
False
Let d be 5 + (1290/25)/(6 - 2261/385). Do d and 411 have different values?
True
Let u be (56/(-6) - 1)/((-23)/69). Suppose 3*r + 8 = -u. Let s(f) = -f**3 + 4*f**2 + 11*f - 7. Let i be s(6). Is i at most r?
True
Let n = 4922.7 - 4936. Which is bigger: n or 89?
89
Let a = 102403 + -102444. Let j(n) = -n**3 - 8*n**2 - 2*n. Let p(u) = -7*u**2 - 2*u. Let s(x) = -4*j(x) + 5*p(x). Let o be s(-2). Is a less than o?
True
Let t = 460 + -353. Suppose t + 74 = 5*z - 4*q, 0 = -2*z - q + 62. Which is smaller: z or 37?
z
Suppose -y - 4*t + 216 = 0, -y - 2*t = -7*t - 171. Is y <= 2?
False
Suppose 4*o + 28 = 18*o. Let l be 4*((-52)/(-16) - o). Suppose -2*k + 4*b = -8, 0*k - 2*k = -b - l. Does k = 2?
True
Let k = 189 - 127. Let y be (14/21*-2)/k. Which is bigger: 1 or y?
1
Let q = -34770 - -7545087/217. Is q at least as big as 0.26?
False
Let r be (13/((-39)/114))/(14/(-28)). Is r at most as big as 73?
False
Let a = 0.4 - 0.5. Suppose 0 = 75*d + 1096 + 1604. Which is bigger: d or a?
a
Let n(r) = r**3 + 12*r**2 + 12*r - 38. Let z be n(-6). Let b be (-24)/36 + z/3. Is 35 smaller than b?
False
Suppose -6 = 3*m, o + 3*m + 18 = 3*o. Suppose -5*a - 2*j + 36 + 9 = 0, 3*j - 36 = -3*a. Suppose -a*l = -l + o. Is l >= 3/14?
False
Suppose 5*j = 6*j - 88. Suppose -6*z + j = 16. Suppose -5*b - 17 = 3*s, 4*b = -3*s + s - z. Is -4 smaller than s?
False
Suppose 22*d - 145 + 35 = 0. Let r be 1 - 5/(10/(-12)). Suppose d*y + r = -2*y. Is -2 <= y?
True
Suppose -4*d - 527*b + 530*b = -64063, -b = 4*d - 64059. Does 16016 = d?
False
Let f be (-2)/7 - 580/910. Let l be ((-4)/(-130)*-1)/((-28)/(-385)). Let t = l - f. Which is bigger: t or -3/4?
t
Let i = 3040 + -3053.1. Which is smaller: i or -0.45?
i
Let x(q) = q**3 + 10*q**2 + 12*q + 10. Let k(c) = c**2 + 8*c - 9. Let d be k(-8). Let a be x(d). Which is smaller: -18 or a?
-18
Let y be (-1)/(-1)*(34 - 10)/6. Let d be (10/(-7460))/((-1)/y). Which is smaller: d or 1?
d
Let v(z) = z**3 - 26*z**2 + 50*z - 15. Let n be v(24). Suppose 5*c + n = -4*r + 2*c, 5*r + 70 = 2*c. Is r smaller than -11?
True
Suppose -368 = -4*j + 4*o, 154 = j + 4*o + 42. Which is smaller: 7 or j?
7
Let j be 7 - -3*(-1750)/(-42). Is 125 at most j?
True
Let z be -2 + (33 - (-5)/(-1)). Let d be -3 - (-81)/36 - 246/(-8). Which is smaller: z or d?
z
Suppose 7*b + 252 = b. Let o be (12404/b)/(-2 + (-8)/(-6)). Suppose o = 8*a + 43. Which is bigger: 51 or a?
51
Let p be 3900/(-65520)*(-8)/38. Is 0 bigger than p?
False
Suppose -11*z + 9*z + 2 = y, 0 = 4*y - 16. Which is smaller: -4/471 or z?
z
Let x = 237.0517 + -0.0517. Let d = x - 237.63. Is -0.2 at least as big as d?
True
Let h = 27 + 66. Let o = 72 - h. Let n = -21.1 - o. Do 12 and n have the same value?
False
Let m(y) = y**2 - 26*y + 1210. Let b be m(44). Which is smaller: b or 6010/3?
b
Let g = 25477 - 1528577/60. Which is smaller: g or 0?
0
Suppose 2*t - 14 = -4*i, 0 = 4*t + 10*i - 15*i + 11. Which is bigger: 24/349 or t?
t
Suppose 1 = -a, 5*v - 19 = -a - 20. Let d(u) = -86*u. Let h be d(v). Are h and 1/188 equal?
False
Let r = 27 + -22. Suppose -s + 96 = -r*s. Which is greater: -8 or s?
-8
Suppose 4*z = -3*i + 786, -2*z - 786 = -3*i + 2*z. Let d = i + -262. Which is bigger: 1/138 or d?
1/138
Let g = -633 - -522. Let o = 82 + g. Does -28 = o?
False
Let t = 2546 + -15275/6. Is t > 2/145?
True
Let t be -51*(12/((-3)/1))/2. Suppose 4*w = -10 - t. Let d = 1 + w. Is d != -29?
True
Suppose 0 = 38*q - 354*q - 7*q - 531981. Which is greater: -1649 or q?
q
Let b(m) = 107*m + 13. Let c be b(4). Let s = -1195/67 - 141224/335. Let j = s + c. Is j at least 3?
False
Let m(j) = j**2 + 25*j + 144. Let s be m(-33). Which is smaller: s or 401?
401
Let s be 74943/(-113135) + (4/(-3) - -2). Let q = s - -7/363. Is 0 > q?
False
Let m = 11 + -6. Suppose -17*h + 25 + 9 = 0. Suppose -m*s + o = -h*o + 27, 5*o = -5. Is s equal to -7?
False
Suppose 0 = 359*h - 434*h - 3600. Which is smaller: -65 or h?
-65
Let z = -2.8326 + 2.8326. Which is greater: 4151 or z?
4151
Let m = 224430 + -224790. Let n be (-4)/2 + 2 - 359. Which is smaller: n or m?
m
