*b**3. Let u be y(-7). Are -11 and u equal?
True
Let g = -74/5 - 58/15. Is g less than -18?
True
Let w be (-1 + (-4)/(-6))*33. Let t = w - -22. Let l = t + -12. Is l > -1/13?
False
Let x be 1*-1*(-48)/10. Let o = -26181 - -26187. Which is greater: x or o?
o
Let r = 608.7 - 549. Let o = r + -59. Which is smaller: o or 0?
0
Let w = 23.49 + -23.4. Is w > 2?
False
Let f = -396 + 396.05. Which is bigger: f or 1?
1
Let n(y) = 18*y - 6. Let r be n(2). Let g = -32 + r. Which is greater: g or 13?
13
Suppose 7*f = 2*f + 15. Suppose 2*b - f*u + 8 = -u, -5*u = 2*b + 36. Which is smaller: b or -55/6?
-55/6
Let x = -62/5 - -987/80. Let d(r) = -r**2 - 2*r + 7. Let f be d(2). Is f less than or equal to x?
True
Suppose -13 = -3*h - 1. Suppose 2*s + h*j = -2*s + 8, 4*s - 2*j - 20 = 0. Let t be (-13 - s)*1 - 2. Which is smaller: t or -20?
-20
Let o = 79 + -50. Let m = o + -28. Which is smaller: m or 4/13?
4/13
Let x = -2019/7 + 26258/91. Which is bigger: 1 or x?
1
Let u be (-9 + 12)*14/6. Which is greater: 0 or u?
u
Let p = -60 - -72. Suppose 230 = 17*u - p*u. Is u at most 46?
True
Let n be 330/56 + (1 - 0)/(-7). Which is bigger: n or 1/2?
n
Let v(a) = -a - 2. Suppose -15 = 5*q + 5. Let d be v(q). Suppose 0 = 11*x - d*x. Are x and -3/11 unequal?
True
Let u(c) = c**3 - 14*c**2 + 30*c + 9. Let i be u(12). Is i greater than 82?
False
Let m = -2 - 0. Suppose -2*f + g - 3 = 0, -70*g = 3*f - 71*g + 4. Is m > f?
False
Let m = 25/951 - 24173/991893. Which is greater: m or 1?
1
Let d(y) = y**2 - 8*y - 9. Let r be d(9). Suppose -2*w + r*h - 60 = -h, -w - h = 27. Is -28 equal to w?
False
Let i(r) = 2*r**2 - 96*r + 93. Let z be i(47). Is z greater than -1/455?
False
Let r be (-68)/42 + 4/14. Let f = -1208 + 1213. Which is bigger: f or r?
f
Let j = 1112 - 1113. Which is greater: j or 26/9?
26/9
Suppose 0*k + 90 = 9*k. Suppose -k*b = 50 + 10. Is -22/3 not equal to b?
True
Let x = 12 + 13. Suppose 2*z + x = u + 4*u, -17 = 4*z + u. Which is smaller: 1/3 or z?
z
Suppose -2*t + 0*t - 3*f = 1, -4*t + 4*f = 52. Let s(j) = 2*j + 16. Let z be s(t). Suppose -2*y - 2*y - 2*w = 18, -y + 23 = -5*w. Is y bigger than z?
False
Let f be -2 - -60*(-1)/(-1). Suppose -3*o + g = 158, -o = -0*o + g + f. Let a = -379/7 - o. Which is smaller: a or 0?
a
Let u be (5/5)/((-3)/((-18)/(-159))). Which is smaller: u or -1?
-1
Suppose 4*r - 607 = -3*f, -465 = -3*r + 4*f - 3*f. Suppose r + 2 = -13*s. Is -12 <= s?
True
Let h = -128 + 161. Is h != -2?
True
Let o be (-2)/3*(-18753)/4256. Which is smaller: o or 4?
o
Let g = -24 + 56. Let a = g + -31. Is a at most as big as 46?
True
Let i(o) = o**3 + 2*o**2 - 10*o + 303. Let s be i(0). Does 302 = s?
False
Suppose 6*j = 12*j. Is j equal to 3/43?
False
Let z = -108.25 - -109. Let u = z - 0.55. Which is smaller: 17/3 or u?
u
Let z be 24*(-4 - -1)/(-9). Suppose p - z = -5. Suppose -p*l - 13 = -22. Which is greater: l or 4?
4
Let g = -0.98 - -4.86. Let v = -0.88 - -1. Let c = g + v. Which is smaller: -2/5 or c?
-2/5
Let w = -2.4 + 2.13. Let l = w - -1.57. Let k = 1.4 - l. Are k and -0.1 equal?
False
Let s be -7 + 18 - (-1 - -5). Let t = -14 + s. Is t != -6?
True
Let d = 691 - 691. Suppose 2*y - 12 = -0. Is y less than d?
False
Let f be 28/(88/16 + -5). Is 56 at least f?
True
Let b = -297/508 + 1/762. Let o = b + 1/12. Suppose -5*r + 0*r = -5. Which is greater: r or o?
r
Let m = 0.73 + 0.214. Let a = -0.056 - m. Is 25 > a?
True
Let a(w) = w**2 - w - 1. Let v(h) = -5*h**2 + 7*h + 10. Let p(o) = 6*a(o) + v(o). Let d(g) be the first derivative of p(g). Let q be d(1). Is q less than 2?
False
Let c = -20 - -22. Let f be ((-4)/(-7))/c + (-45)/35. Do -4 and f have the same value?
False
Let r = 124.959 - 125. Let p = 62.959 - r. Is p at least as big as 1/2?
True
Suppose -4*r = -h - 25, 2*h - 27 = -3*r - 0. Let v be (-75)/(-24) + (-7)/56. Let w = v + 6. Is r > w?
False
Suppose -4*y + 4*w - 764 = 0, -y - 569 = 2*y + w. Which is smaller: -191 or y?
-191
Let w = -47.866 - 2.014. Let t = w + 0.88. Which is greater: t or 1/2?
1/2
Let f(g) = -g**3 + 13*g**2 + 11. Let y be f(13). Suppose 0*u - 3*l = -3*u - 60, y = -u - 2*l. Let n(v) = 6*v + 1. Let d be n(-3). Is u != d?
False
Let a be 24/4 + 11 + 4/(-2). Is 20 bigger than a?
True
Suppose -4*g - 20 = -3*u - 7, 4*u - 16 = 4*g. Let f be (g - (-1 + -1)) + -5 + 3. Which is smaller: f or -12/5?
-12/5
Let s(r) = -r**2 + 7 - 85*r**3 + 84*r**3 - 4*r**2. Let a be s(-5). Suppose -a = f - 4*n + 12, 0 = f - 2*n + 15. Which is bigger: f or -12?
f
Let d = 138.9 + -138.8. Which is bigger: -460 or d?
d
Suppose -x = -4*d - 92, -20 = -0*x + 5*x. Which is bigger: -23 or d?
-23
Suppose 10*q + 153 = 43. Suppose 0*w = -5*w - 35. Which is bigger: q or w?
w
Suppose 27 = -3*c + 5*h, 3*h + 21 + 15 = -4*c. Let t be 3/6*-2*9. Is c greater than t?
False
Let j = 4/2327 - 5154/290875. Suppose -r - 4*r = 0. Which is greater: j or r?
r
Suppose f + 7 = 4*u, 2*f + 20 = 173*u - 168*u. Which is bigger: 8 or f?
8
Let v be (-209)/4 - -1*(-3)/(-12). Is v greater than 4?
False
Let g = -0.678 + 0.038. Let l = g + 0.55. Is l > -4?
True
Let i = -1.9316 - 0.0684. Which is smaller: 3.4 or i?
i
Let h(s) = s**2 + 8*s - 10. Let c be h(-10). Let a be (-4)/c - (-5 + 197/45). Are a and -0.02 equal?
False
Let l be 6/(-21) - (-37)/105. Let q be 3/(-4) - 795/(-530). Which is smaller: q or l?
l
Let a = 818/9 - 28624/315. Do a and 1/2 have different values?
True
Suppose 25 = -3*d + 2*s, 2*d - 4*s + 13 = -1. Suppose 0 = -6*z + 4*z + 22. Suppose z + 24 = -5*i. Which is bigger: i or d?
i
Let p = -5041/12 + 420. Which is greater: 2 or p?
2
Let y = -217/1424 + 8/89. Let w be (-6)/15 - (-26)/(-10). Let p = w + 3. Which is smaller: p or y?
y
Let s be 4/(25/(-10) - -2). Suppose -3*i + 15 = c, -5*i = -3*c + 49 + 24. Suppose -2*t = -10, 4*p = t - c - 12. Which is bigger: p or s?
p
Let r = 209/117 + -3316/117. Is r less than -27?
False
Let u be 4/5 + 611/505 + -2. Do u and 1 have the same value?
False
Suppose b = 2*d - 4*d - 2, 4*b - 17 = -3*d. Let w = -9 + b. Let g = -89 - -625/7. Which is smaller: g or w?
w
Let f(s) = s**3 + 26*s**2 - 30*s - 81. Let k be f(-27). Which is smaller: 145 or k?
k
Let j(g) = g**3 + 4*g**2 + 2*g - 4. Let d be j(3). Let s(a) = 3*a - 12. Let h be s(6). Let q be d/(-21) - h/(-2). Is 1 not equal to q?
True
Let w = -294/17 + 2525/204. Which is smaller: -4 or w?
w
Let l be 57/21 + 8/28. Suppose l*w + 0*w = 3. Is -2/11 not equal to w?
True
Let w = 20.6 - 3.6. Let l = w + -17.3. Which is smaller: -1/5 or l?
l
Let k = 3067.9 + -3068. Let b = -254.1 + 268. Is k at least as big as b?
False
Let d = -40/11 + 1109/308. Let u = -1530 + 1531. Is u not equal to d?
True
Let f(n) = n**3 + n**2 - n + 1. Let a be 14/42 + (-4)/(-6). Let g be f(a). Let w be g*2 + 0 + -11. Which is bigger: w or -6?
-6
Let g = -7 - -11. Let q = 4 - g. Let v be 5*8/60 + (-20)/15. Which is smaller: v or q?
v
Let y = -1284 + 6422/5. Is y smaller than 20.88?
True
Let o(h) = h**2 - 4*h - 32. Let i be o(9). Are i and 10 equal?
False
Let y(i) be the second derivative of -17*i**3/3 + i**2 - 12*i. Let u be y(-1). Let g = 38 - u. Is g less than 2?
False
Let w = 0.0469 - -0.9531. Which is smaller: -29 or w?
-29
Suppose 2*s - 3*l = -16, 2*s + s = 4*l - 22. Let b be ((-12)/(-6) - (4 - 2))/s. Is b at least 1/167?
False
Suppose -353*y = -355*y + 98. Is 151/3 smaller than y?
False
Suppose -487*w - 632 = -495*w. Is 77 equal to w?
False
Let f be (12/207)/((-4)/(-6)). Is f not equal to 3?
True
Suppose -71 = 4*n + 3*x, -3*n + 2*x = -3*x + 17. Let l be n/(-21)*6/(-88). Which is bigger: l or 1?
1
Let t be (-2)/12 + (-437)/114. Let c be (t + (-14)/(-4))*0. Let z = c + -7. Is z > -10?
True
Let v(a) = -a**3 + 5*a**2 + 8*a - 8. Let i be v(6). Let h(g) = -2*g**2 - 4*g - 2. Let r be h(-3). Let c = r + 11. Are i and c unequal?
True
Let d = 10 - 9. Let y = -18758/15 + 1250. Is d > y?
True
Let d(c) = 2*c**2 + 8*c + 7. Let k be d(-7). Let q be (-7)/26*((-175)/k + 3). Is 2/33 greater than q?
False
Suppose 4*q - 2*y = 100, -9*q + 4*q - 3*y = -136. Suppose 20*s = q*s + 6. Is s < -35?
False
Let q(i) = i**3 - 7*i**2 + 8*i - 6. Let y be q(6). Suppose -3 = -4*a + n + y, 5*a - 25 = 4*n. Is 3 greater than a?
True
Suppose 2*q + 6 = -4*q. Which is smaller: q or -5/32?
q
Let h = 0.275 - 3.175. Is h greater than -1?
False
Let p = 602 + -473. Which is gr