(f) = -2*f + 14. Let d be n(v). Suppose d*k - 12*k = 18. Is 0 smaller than k?
False
Let k = 305 + -302. Let n(q) = 7*q**2 + 3*q - 8. Let m be n(k). Is 62 > m?
False
Let q be (-3)/9 + 74/12*-4. Let b(n) = 17*n**2. Let u be b(-1). Let y = u + q. Which is greater: -3 or y?
-3
Let t(b) = -b**2 - 11*b - 24. Let l be t(-7). Let r = -506.44 + 506. Which is bigger: r or l?
l
Let q = -0.0569 - -0.0269. Let i(s) = s**3 - 3*s**2 - s - 14. Let h be i(0). Is q not equal to h?
True
Let b be 3/(-6) - (-83)/2. Let q be 2565/45 - 14/1. Are q and b equal?
False
Let q = -18.97 + 20.5. Let g = q - 3.39. Are 0.1 and g equal?
False
Suppose 5*r + g - 552 = 0, 0 = 4*r - g - 562 + 124. Suppose r = -5*d + 1740. Which is greater: d or 325?
d
Let w be (-3 - -4 - 1)/((-20)/5). Let u be 5/195*(-2 - w). Which is greater: u or -0.4?
u
Let n be -1*12*(1 - 54/8). Let k = n - 40. Which is greater: 31 or k?
31
Suppose 2*k = -4*v + 1491 + 205, 5*k + 20 = 0. Let d = -425 + v. Which is bigger: d or -2/293?
d
Let l = 59 - 77. Let i = 2317 - 25489/11. Is l bigger than i?
False
Let b be (30/(-8))/((13/(-26))/(4/(-3))). Is b >= 208?
False
Let g = 125 - 120. Suppose 4 = 2*i - 4*y + 5*y, g*i = 3*y + 21. Suppose 2*p - 3*p + 9 = -2*l, 13 = p - i*l. Is -2/137 less than p?
True
Suppose -14*l + 2*l + 264 = 0. Suppose -34*j + l + 726 = 0. Is j >= 1?
True
Let d be ((-16)/7 - (-5)/(-7)) + (-15062)/(-5021). Which is smaller: -1 or d?
-1
Let a = 919 + -933. Let g be (-308)/(-88)*(-384)/a. Which is smaller: 95 or g?
95
Let a = 1626.7529 - 1626.2. Are -0.1 and a equal?
False
Suppose p = 4*z - 68, -5*z - 2*p + 98 = -0*z. Suppose 5*x - 5*n = 20, 3*x - 5*n = -0*n + z. Do x and 17/9 have different values?
True
Let x = -21363 - -1174919/55. Is x != -2?
True
Let q = -139/19880 - 2/1491. Is q at most 0.04?
True
Let i(s) = -135*s + 4725. Let c be i(35). Is -43/183 smaller than c?
True
Suppose -7*u + 2*v - 169 = -6*u, 326 = -2*u - 2*v. Let a = -201 - u. Is -32 greater than a?
True
Suppose w + 4 = 3. Let v = 0.096 + -0.074. Let t = v - 0.092. Is t != w?
True
Let w be (1 + -2)/(-5 + 4/(-24)). Let h = -77/558 + w. Is h not equal to 0?
True
Let q(t) be the third derivative of t**5/60 + 3*t**4/8 - 4*t**3/3 + 18*t**2. Let b be q(-7). Let r = 22 + b. Is r < 5/4?
True
Suppose 7*f - 1 - 6 = 0. Suppose -4*b = 6*g - g + f, -5 = -2*b + 3*g. Let o be (b - -1) + -1*(-10)/(-4). Which is bigger: 0.15 or o?
0.15
Suppose -13 = -3*t + 4*h, 1332*t + 5*h = 1328*t - 24. Which is bigger: t or -3/1225?
-3/1225
Let m be (-486)/1276 + -3 + 3. Let t = 3802/10395 + -2/945. Let w = m + t. Are w and 1 nonequal?
True
Let c be ((-18)/8*30 - -5)*-2. Is 2638/21 >= c?
True
Let o be 4 + (-123)/3 + 4. Let y = o + 32. Let g be 14/(-105) - y/3. Is g bigger than -0.3?
True
Let f be (-120)/(-780) - 100/(-26). Suppose -f*c + 377 = 3*t, 4*c + 5*t - 374 = 3*t. Which is smaller: c or 93?
c
Let j(b) = b**2 + b - 291. Let n be j(15). Is n bigger than -154/3?
True
Let g = -38789/10 - -3878. Does g = -2?
False
Let f = -96.8 - -96.73. Is -92 smaller than f?
True
Let j be (1731 + 0)/((-1)/((-16)/6)). Let p be -1 - (5/10)/((-2316)/j). Is -1 greater than p?
False
Let j = -0.006 - 45.994. Let v = 45.9 + j. Does 136 = v?
False
Let r be (1 + (-1)/2)*6. Suppose 3*z + 9 = 0, 15 = -r*b - 4*z - 0. Which is smaller: b or -1/16?
b
Let i = -35 + -46. Let k be 5 + 5 + (-2)/i*-406. Which is smaller: k or 1?
k
Let m(b) = 3530*b + 10596. Let y be m(-3). Let s = 11 - 2. Is s at least as big as y?
True
Let p = -18867 + 18868. Is 11/452 greater than p?
False
Let t be 2/(-18)*1*-9. Suppose 2*x + t = u, 2*u = 3*x - 2*u - 1. Which is smaller: x or 0.37?
x
Suppose 35*k - 4750 = 640. Let j = 155 - k. Is j at most -1/61?
False
Let l be 0*5/(-10) - (-6 + 11). Which is greater: -355 or l?
l
Suppose -x = -h - 2, 0*x = 3*h - 4*x + 6. Let o(g) = g**3 + 3*g**2 + 3*g + 4. Let s be o(h). Suppose s*b - 2*j = 8, b + j - 3 = 3. Is b equal to 4?
False
Suppose -148 = 12*s - 40. Let h be -6*7/(-56) + 90/(-24). Is s <= h?
True
Let x = 1192 - 4453. Is x greater than -3265?
True
Let w(r) = -5*r**3 - 24*r - 162. Let j be w(-7). Which is smaller: j or 1723?
j
Let m = 701 - 728. Is -46 at least m?
False
Suppose j + j = 10*o + 16, -5*j = -o - 16. Is o >= -1/608?
False
Let v be 4*6*(-3)/(-24). Suppose 4*b = -3*c + 2*c - 4, -2*c + 14 = -v*b. Let z = 3/287 + -2897/2583. Which is bigger: b or z?
z
Let k be (0 - (10 - 13))/((-54)/(-56)). Suppose 4*w + 2 + 10 = -5*z, -5*z + 2*w = 24. Is z < k?
True
Let q(z) = 4*z**3 + 6*z**2 - 4*z + 1. Let y be q(-2). Let r be (-3 + 42/12)*(y - -685). Is 344 smaller than r?
False
Let y = 910 - 910. Suppose 8*q + 2090 + 582 = y. Is -336 not equal to q?
True
Let p = -118 - -116. Let g be (1/p)/(3 - (0 - -4)). Does g = -130?
False
Let s = 111 - 117.1. Let h = -1429 + 1423.01. Let l = h - s. Is -3 < l?
True
Let l be (1 - 2)/(1/(-4)). Let j(k) = k**2 - 5*k + 9. Let c be j(2). Suppose -b - 13*f = -11*f - 5, -c*b - f = -15. Which is smaller: b or l?
l
Let h be (-21 - -13 - -8)/(-5 + 3). Which is smaller: 5/356 or h?
h
Suppose 5*l = 2 + 3. Suppose 2*g + 876 = 116. Let q be 30/g*(-16)/(-6). Does q = l?
False
Let f(j) = 79*j**3 + 6*j**2 - 1. Let o(x) = -x**3 - x**2 + x + 1. Let y(q) = f(q) + 4*o(q). Let c be y(-2). Let b = c + 1811/3. Which is greater: b or 8?
8
Suppose 3*k + 3*z - 10 = 38, -5*k = 2*z - 92. Let p be (-4)/14 - 14471/(-5887). Let d = p + 1522/87. Which is smaller: k or d?
d
Let t be (0 + 38)*3*(-3)/9. Let a = t + 37. Is a at least -14/9?
True
Let t = -5724 + 8483. Are t and 2757 non-equal?
True
Let p = 122 + -238. Let v be ((p/(-3))/(-4))/((-2)/6). Let y = 62 - 34. Is y > v?
False
Let a = 1/28411 + 512562843/227288. Let t(y) = 321*y + 11. Let c be t(7). Let j = c - a. Is 4 >= j?
True
Suppose 0 = -5*j + 20, 6*j - 312 = -2*n + j. Let x = n - 412. Is -266 greater than x?
False
Let m = -4894553/360 + 13596. Which is greater: m or 0?
m
Let p = 2.0669 - 0.0369. Let v = -0.03 + p. Let f(a) = 29*a + 140. Let b be f(-5). Which is smaller: v or b?
b
Suppose 0 = 8*l - 5*l + 18. Let f be 2*-27 + (-5)/(15/l). Let p = 258/5 + f. Is p greater than 1?
False
Let x be 26 + 4 + 42/(-6). Let o(l) = -l**2 + 34*l - 14. Let z be o(x). Are 240 and z unequal?
True
Suppose -296 = -2*p + 2*l + 2*l, -3*l - 299 = -2*p. Suppose 4 = 2*j + p. Is j equal to -75?
True
Let i = 20090 + -18689. Which is greater: i or 2?
i
Let d be (-9)/3*(2 - (-65)/(-15)). Let o(t) = -t**3 + 7*t**2 - 3*t + 22. Let m be o(d). Is m bigger than 9/14?
True
Let k = 355.634 - 355.6. Is k >= 15?
False
Let q = -4439 - -4423.6. Which is greater: q or -2?
-2
Let k be (-258*(-5)/(-2730))/((-2)/7). Is 2 less than or equal to k?
False
Let g(y) = -4*y - 85. Let i be g(-22). Let c be ((-260)/85 + i)*(-2)/(-2). Which is smaller: 1 or c?
c
Let l = -65 + 63. Let p(z) = -12*z - 27. Let m be p(l). Which is bigger: -1 or m?
-1
Let r = 11977 + -11977.14. Which is greater: 8/15 or r?
8/15
Let w be 26/9*((-45)/(-12) - (-1 - -4)). Which is smaller: w or 13?
w
Suppose 0 = 15*f - 293 + 53. Suppose 5*r = 18*o - 14*o - f, -2*o + 6 = -3*r. Let y = -4 + 14. Is y greater than o?
True
Let v be (3/6388)/(195/(-4150250)) + 10. Does v = 0?
False
Let r be (-30)/4272*4*(-60)/25. Which is smaller: -2/23 or r?
-2/23
Suppose -401 = 11*z - 423. Let j be ((-10)/(-4))/((-2)/24). Let w be (4/10)/((-16)/j). Which is bigger: w or z?
z
Let n be (-64)/(-12) - -6*(-5)/90. Let x be (2 - n/3)/(16/48). Which is smaller: x or 6/23?
6/23
Let j = -71 - -78. Suppose b - 6 = -j. Let r be (-4)/46 - (-2 - -2). Is r < b?
False
Let f be (-6441)/(-52872) - 4/32. Let i = 97177/77105 + f. Which is smaller: 1 or i?
1
Let p(x) = x**3 + 76*x**2 + 71*x - 318. Let a be p(-75). Which is smaller: -44 or a?
-44
Let a be 515/(-250)*3 - -5. Let s = -6227/5150 - a. Is 1 less than or equal to s?
False
Suppose 23 = 30*f + f - 8. Is 20/367 bigger than f?
False
Let d be (-54)/105 - (-20 - (-2020)/100). Which is bigger: -16 or d?
d
Suppose -809 = -6*y + 871. Let f be (2/7)/(10/y). Suppose -7*o - 1 = -f. Is -2 > o?
False
Let n = -11 - -14. Let s be (-3)/(n + -4) - 3. Let q be ((-1)/(-3))/(18/(-12)). Which is bigger: q or s?
s
Let g = -26696044/509 + 52448. Which is greater: -1 or g?
g
Let b be 2/4*2/(-3)*177. Let y = -57 - b. Suppose 0 = y*m - 6*m + 20. Which is greater: m or -5?
m
Let u be (-308)/(