se -600 = 7*k + 513. Let v be -8 - (4*1015/28 + 5). Is k not equal to v?
True
Let h(p) = -p**2 + 15*p + 250. Let l be h(25). Let d be (-24)/(-27)*(-4)/2. Let z = d - -55/36. Is z less than l?
True
Let u = -214 + 242.2. Let n = u - 28. Let q = 4.6 + 13.4. Which is greater: n or q?
q
Let x be -93 + (4 - 1)/(-3). Let h(g) = -11*g**2 - 2*g + 1. Let l be h(1). Let j = l + -82. Does x = j?
True
Let c(r) = 8*r + 7. Let m be c(-5). Let w = -95 + 138. Suppose 2*d - w = t, 10*d + 10 = 12*d. Is m smaller than t?
False
Let m = 5.422 + -5.3944. Which is smaller: m or -2/5?
-2/5
Suppose -r = -4*r - 4*b - 72, 2*r + 5*b + 48 = 0. Let s(g) = -g**3 + 6*g**2 - 8*g - 11. Let j be s(6). Let m = j - -36. Are m and r unequal?
True
Suppose 71 = 4*t - 3*h, -32 - 80 = -5*t - 4*h. Suppose -3*i - t = 1. Suppose 3*k + 11 = -13. Is i equal to k?
False
Let b(q) = 3*q**2 - 37*q - 547. Let s be b(21). Let h = -61/5 - -661/55. Is s greater than h?
False
Let n = 36 + -38. Let u be (5/(-2) - n)/(49/98). Which is greater: -10/9 or u?
u
Let n(h) = h + 32. Let r be n(-32). Suppose r = -4*a + 10*a + 60. Are -15 and a equal?
False
Let t(z) = 9*z + 72. Let v be t(-10). Let g be -1 - ((-520)/234 - 4/v). Which is greater: g or -141?
g
Suppose 3026 = -3*s - 114*b + 109*b, -s - 1032 = -3*b. Is s less than -1017?
False
Let d(b) = -b**3 + 17*b**2 - 32*b + 18. Let y be d(15). Let f be (-18)/72 + (-171)/y. Which is greater: 8 or f?
f
Let c = -1034 - -12415/12. Let i(a) = -29*a - 174. Suppose 4*p - 13*v + 4 = -9*v, 5*v = -25. Let b be i(p). Which is smaller: c or b?
b
Let u = 6.857 + 0.143. Let x = -18 + 11. Let o = x + 9. Is u greater than or equal to o?
True
Let u(k) = -k**3 - 35*k**2 + 37*k + 39. Let t be u(-36). Suppose 0 = -t*y + 105 - 54. Which is smaller: y or 4?
4
Let u be (6/1636)/(33/(-44)). Let a(d) = -d + 16. Let h be a(17). Which is bigger: h or u?
u
Let h = 0.2845 - 0.6845. Let w = -58 + 410/7. Which is smaller: h or w?
h
Let t = -765/8 + 776187/8120. Is 0 greater than t?
True
Let m = -27530/21 + 224452216/171213. Which is smaller: m or 1?
m
Let g be ((-104)/39)/((-7)/((-252)/(-11))). Which is greater: g or -1/30?
g
Let f(b) = -b**3 + 19*b**2 + 23*b - 55. Let l be f(20). Let x be (-6 + 7)*(4 - 2). Let z be -2*(4 - (l - x))/(-31). Is -0.1 at least z?
False
Let g = -2.94 - -1.68. Let l = -1.2 - g. Is l < -2?
False
Let t = 32315 - 18548. Is t less than 13767?
False
Let v be (2/3212)/((-369447)/(-73890) + -5). Let p = v - -169/11. Which is smaller: -1 or p?
-1
Let s = -756.11 - -760. Are s and 5 nonequal?
True
Let u(r) = 7*r - 1 - 5 - r**2 - 2 - r**2. Let p be u(6). Suppose -158*t + 78 = -160*t + o, 0 = -4*o. Which is smaller: p or t?
t
Suppose -5*j - 10370 = -5*i - 580, -5*i + j = -9770. Suppose n + i = 22*n. Is 2 > n?
False
Let d(x) be the second derivative of -x**5/20 - x**4/6 - x**3/3 + x**2/2 - 7*x. Let i be d(-2). Suppose -i*v - 63 = -203. Which is bigger: v or 27?
v
Suppose 5*z = -u - 3, -49*u + 4*z + 2 = -50*u. Which is bigger: u or 62/43?
u
Let d = -16988/3 + 5662. Is d > -305.7?
True
Let u = 1822 + -1709. Which is bigger: 128 or u?
128
Suppose 94446 + 20717 = y. Let k = y - 611630695/5311. Let q = 127454/26555 - k. Which is greater: 5 or q?
5
Suppose 0 = 5*f - 0*f + 5*a - 30, -f = 2*a - 9. Let k be f/(-2)*576/54. Let m be 1 + 0 + k/(-12). Is 1 at most as big as m?
True
Let c be ((-156)/72 + 2)/(-2 - 64/(-24)). Do -2.7291 and c have the same value?
False
Let q(b) = b**3 - 19*b**2 + 18*b + 24. Let k be q(18). Let i = k + -27. Let a be (-2 + (-34)/(-6))/((-1)/i). Are 2/11 and a equal?
False
Suppose 0 = -211*c + 205*c - 36. Let b(n) = 10*n**2 + 62*n - 8. Let p be b(c). Which is smaller: -1 or p?
p
Let g = -2.8959 - 0.0741. Let q = -0.03 + g. Let v = 10.5 - 12.5. Which is bigger: v or q?
v
Let w(m) = 3*m**2 + m - 157. Let x be w(-10). Suppose 0 = -x*b + 153*b + 80. Let p = 4 + -8. Is p <= b?
True
Let j be -2*(-6)/(-4) - -3. Let q be 0 - (-1)/(-17)*3966/(-1386). Let f = q + -19/77. Is j >= f?
True
Suppose 0 = 15*a - 12 - 3. Let r be -19 + 23 + a/((-2)/174). Is -84 at least r?
False
Let w be ((-3)/(-2) - 2)/((-1)/8). Suppose 193 + 71 = 24*c. Which is bigger: w or c?
c
Let y be -2 - -151*(1 + 0 - 2). Let n = y - -224. Is 72 not equal to n?
True
Let x = -651.6 - -644.6. Is 0.88 at least as big as x?
True
Let c = 355/44 - 203327/25212. Let m = c - 65/382. Which is smaller: -1/26 or m?
m
Let r = 3521 + -73943/21. Let k = 19 - -2. Which is smaller: k or r?
r
Let w = -231.886 - -115.83. Let t = w + 0.056. Let j = t + 117.5. Do 3 and j have the same value?
False
Suppose 160*q - 416 = 176*q. Which is greater: -383/14 or q?
q
Let w be 15/20*84/8 + -6. Suppose -3*k - 3*o - 2*o = -38, 5*k - 22 = 2*o. Let d(m) = -m**2 + 5*m + 8. Let s be d(k). Which is smaller: s or w?
w
Let g(b) = -b**3 - 2*b**2 + 7*b + 19. Let x be g(-3). Suppose 6*o - x*o - 5 = -z, -2*o - 5*z + 11 = 0. Let l be 1 + -1*(-6)/(-3). Which is smaller: o or l?
o
Let j be -5 - (-96)/72*(-1 - -7). Is j < 87/23?
True
Let k = 21776 + -20946. Which is smaller: 3315/4 or k?
3315/4
Let g be 9912/(-33099) - 2/(-11). Is -69/5 greater than g?
False
Let y be 12 - (-2 + 20) - (286 + 1). Is y at least -294?
True
Let q be 10/55 + (-13)/11. Let c be -2 + (-239)/(-79) + q. Suppose -8*z + 10 = 18. Is c less than or equal to z?
False
Suppose -713 = -3*o + 5*i - 3604, -4*i = 2*o + 1942. Is -967 less than or equal to o?
True
Let i be (40/800*-4)/(1/2). Which is smaller: i or -38/157?
i
Let i be 1931/2 - ((-592)/32 + 20). Which is smaller: -2/5 or i?
-2/5
Let p(b) = b**2 + 22 + 4*b - 4 - 18*b. Let g be p(14). Let y be (-464)/g + (-20)/90. Is y <= 0.1?
True
Let l = -385945/2 + 15824130949/82002. Which is greater: l or 0?
l
Let q = -7.2 - -13. Let h = 390 + -246. Let j = 145 - h. Which is bigger: q or j?
q
Suppose 809 = 23*w + 53 - 1084. Let z be (8/10)/2*197. Are w and z unequal?
True
Suppose 6*b + 785 + 1321 = -1650. Is -625 at least as big as b?
True
Let d be (-2 + (21 - 1))*3/9. Suppose -d - 24 = 3*c. Let o be ((-20)/(-1 + -1))/(-56 - -55). Is o != c?
False
Suppose 3*j + 27 = 4*j - 2*z, 142 = 5*j - 3*z. Let h = -27 + j. Suppose -5*m + h*w = 6*w - 47, m - 13 = w. Is m less than or equal to 9?
False
Let z be (0 + -1)/((-38)/42). Let t(g) = g**2 - 577*g - 48900. Let l be t(-75). Which is greater: z or l?
z
Let d = 2/1917 + 2554/1917. Is 1.07 greater than or equal to d?
False
Let h = 144805/141 - 1027. Is h bigger than 0.29?
False
Let k = -210 - -258. Let j be 1/(-5) - 8335/(-175). Let u = j - k. Is u != -2?
True
Let m = 4785 - 4832. Is -66 not equal to m?
True
Suppose 0 = 6*i - 24 + 12. Let a be 16/6446*8749/(-13). Let j = -10/293 - a. Which is smaller: i or j?
j
Suppose -5*r = 3*j + 22, 5*j = -41*r + 39*r - 5. Is j not equal to 109/112?
True
Let t = -8396 + 8395. Is -5/271 greater than or equal to t?
True
Suppose 0 = -4*b + t - 101, -b + 384 = 3*t + 406. Let w be 55/(-3) - 14/21. Which is bigger: b or w?
w
Suppose -5*o - 4*j - 14984 = 0, -3*o - j = 2*j + 8988. Is o < -0.1?
True
Let c be 24/36 + (28/12)/7. Let b be -665 + 11 + c/(4/20). Which is smaller: -648 or b?
b
Let c(b) = b**3 + 38*b**2 + 276*b + 12. Let y be c(-10). Are y and 943/18 non-equal?
True
Let a = -6281 - -6280.9337. Is -6 smaller than a?
True
Let h be 2 + (-5)/7 - 1. Let l(w) = w**3 - 2*w**2 - 22*w + 6. Let t be l(-4). Let c be (3/t)/((-810)/(-240)). Which is greater: h or c?
h
Suppose 4*z + 24 = 0, -2*r = 5*z - 1832 + 378. Which is smaller: r or 752?
r
Let q = -0.076231 - -521.407231. Let c = q + -522. Let o = c - -0.72. Do 0.1 and o have the same value?
False
Let g = 21040 + -21041. Which is smaller: 14/311 or g?
g
Let x = 1/15345 - -9764/15345. Which is greater: 0.2 or x?
x
Let u(v) = v. Let o(i) = 18*i + 104. Let y(r) = -o(r) + 3*u(r). Let t be y(-7). Let z be (2/(-45) - 0)*-3. Do z and t have the same value?
False
Let t = 2560 - 2559. Is -8/61 bigger than t?
False
Let s be (-1 - -70) + (-54)/(-18). Suppose s*y = 82*y. Is 5/112 >= y?
True
Let k = -21.151 + -2.849. Which is greater: k or -0.46?
-0.46
Let t be (-10)/(-38) - (-15 + 12). Let b = 36925 + -36923. Is b at least t?
False
Let o = 87 + -57. Suppose g - 73 + o = 0. Is g < 44?
True
Let l be 472/(-26) - 4/(-26). Let k = l + -15. Suppose -17*p + 72 = -3*m - 14*p, -5*m = 4*p + 183. Which is smaller: m or k?
k
Suppose -5*s 