0.027
Let i = 532 - 6904/13. Suppose -y + 5*y + 8 = 0. Which is smaller: i or y?
y
Let q = 1339 + -1294.455. Let d = q + -0.145. Which is smaller: 0 or d?
0
Let u(d) be the first derivative of 2*d**3/3 + 3*d**2 - 5*d + 14. Let i be u(-3). Let b be i/15*1 - (-121)/3. Which is smaller: 39 or b?
39
Let y = 248 + -346. Let j = -97.9 - y. Let t = 1 + -22. Is j != t?
True
Let p be ((-1722)/(-185935))/21*(-10)/46. Which is bigger: -1 or p?
p
Let z(m) = -9*m**2 + 15 - 4*m - 8*m**2 + 18*m**2 + 9*m. Let v be z(-9). Suppose -54*n + v*n = 21. Are n and -6 equal?
False
Let n be 48/168 - (-135)/(-7). Let w be 0 + (-440)/25 + (-1 - 1). Is n equal to w?
False
Let f = -30923.19 - -30696.1707. Let w = f - -0.0193. Is 0 != w?
True
Let d = 205.3 + -181. Let k = 22.3 - d. Suppose -h - 1 = 1. Is h greater than or equal to k?
True
Let i(v) = v**2 - 4*v + 5. Let p be i(6). Suppose -95 = 7*t + p. Let y(z) = -3*z**2 + 13*z - 7. Let f be y(5). Which is greater: t or f?
t
Let b be (-477)/(-106)*(-700)/15. Which is smaller: b or -1044/5?
b
Let q(s) = 2*s - 196. Let m(o) = 3*o + 2. Let i(v) = 3*m(v) + q(v). Let t be i(40). Which is smaller: t or 249?
249
Let x be (-109118)/19254 - (-1989)/351. Is -1 at least x?
False
Let n = 7 - -19. Suppose -32 = q + n. Let y = -55 - q. Is y less than or equal to 0?
False
Let g = 75.6 + 3.4. Let u be (24/162)/(2 + 38/(-15) - (-588)/(-4410)). Is g < u?
False
Let n(z) = z**2 + 6*z + 6. Let h be n(-5). Suppose -4*f + 1627 = y, -2087 = -4*f - 3*y - 462. Let q = 5703/14 - f. Which is smaller: h or q?
q
Let w = -0.826 - -341.826. Let m = w + -324. Which is greater: m or 8?
m
Let b = 24440 - 24438. Is -9515 >= b?
False
Let w be 6/141 + 2593536/(-6204). Which is smaller: -419 or w?
-419
Let c(j) = 6*j**2 - 14*j + 22. Let y be c(2). Suppose y*d + 7 + 11 = 0. Is 1.21 < d?
False
Suppose -4*s - 5*p + 106 = 0, -5*s - 2*p - 20 = -6*s. Let c(i) = -5*i + 0*i + i**3 + s*i + 0*i**3 - 19*i**2 - 19. Let v be c(18). Which is bigger: -3.4 or v?
v
Suppose 4 = -4*y, -30 - 1 = -3*b - 5*y. Let k be 22/b*-4 - 4/6. Let h be 1*2/k - 52/(-80). Which is bigger: -29 or h?
h
Let o be -2*2/10*85. Let f = 466 + -435. Suppose 0 = -4*p + 4, 2*p = 11*l - 12*l - f. Which is smaller: o or l?
o
Let j = -1021 - -199096/195. Let q = -85019333/780 - -435987/4. Let c = j - q. Are c and 2 equal?
False
Suppose -3*x - 43 = -4. Suppose -5*i + 30 = -11*p + 8*p, 3*i + 9 = 0. Let c = -29 - p. Is x at most c?
False
Let y = 4.1 + -1.7. Let q = 3 - y. Let g be (-1 - -4)/(1*(1 - -2)). Do g and q have the same value?
False
Let s = 160410 + -147737624/921. Which is smaller: 1 or s?
s
Let z = -0.023 + -0.043. Let l = 0.134 - z. Let h be (-180)/(-100)*(-10)/(-3). Which is bigger: h or l?
h
Let b(o) = -4*o - 81. Let a be b(-19). Let i be ((-342)/(-72) - 2/(-8)) + a. Are 16/33 and i non-equal?
True
Let c be 0 - (-3 + (-326024)/(-108664)). Are 1 and c non-equal?
True
Suppose 4099*a - 6378 = 4097*a. Which is smaller: 3188 or a?
3188
Let b(u) = -3*u**3 + 284*u**2 - 26*u + 933. Let l be b(95). Is -10561 at least l?
True
Let v be 4/(4 + -12)*8/((-896)/(-609)). Which is smaller: -2 or v?
v
Let y be (-824)/309*1/(-172). Let q(d) = 40*d + 39. Let r be q(-1). Are y and r unequal?
True
Let a be 126/273 + 4/(2184/(-291)). Suppose -5*w - 5*o = -w - 22, 3*o = 2*w. Suppose -6 - 14 = -5*h + 5*l, 2*l = -w*h - 13. Which is smaller: h or a?
h
Let u be ((-1)/((-10)/4))/(1/15). Let d be (50/(-75))/(20/u). Is -2/13 at most as big as d?
False
Suppose 0 = -35*k + 39*k - 2212. Let r = -2841/5 + k. Does r = -16?
False
Suppose -w + 46 = -5. Suppose 0 = 16*a - 13 - w. Is 36/11 < a?
True
Let l be 36/(-270) + 10471/(-30). Let d = -348 - l. Do 3 and d have different values?
True
Suppose 0*k = 2*k - 710. Let b be (-6 - -8) + 359 - 5. Is k >= b?
False
Let w = 25443 + -25376. Which is bigger: w or 56?
w
Suppose -1399*k = -1391*k - 888. Suppose 0*n + 555 = 5*n. Is n less than k?
False
Suppose -3*w + 4 + 17 = 0. Suppose r + w*r - 912 = 0. Is r at most 115?
True
Suppose 252 = -p - 3*z, -3*z = 4*p - 7*p - 828. Which is bigger: p or -2?
-2
Let v(n) = n - 5. Let p be v(5). Suppose -180*f + 591 + 136 = 75 - 1148. Which is smaller: p or f?
p
Suppose 594*x - 640*x = 644. Which is greater: x or -0.09?
-0.09
Suppose -3*t = 3, -8 = -m + t - 5. Suppose 0 = m*d - 6*d + 984. Which is smaller: d or 489/2?
489/2
Let i = -404571986/6445 - -62773. Is i less than or equal to -1?
False
Let v(j) = 3*j**2 - 4*j - 11*j + 14*j - 2*j**2 - 38 - j**3. Let x be v(0). Let i(z) = -8*z + 66. Let g be i(13). Is g less than or equal to x?
True
Let m be (291296/20)/(-3*(-31)/(-10)). Let l = -122841847/78771 - m. Let f = -24/121 + l. Is 5 >= f?
False
Let y = -11 - -15. Suppose 3*q - y*u = 10, -q + u - 2*u + 8 = 0. Let v be (-1)/2*-3*4/q. Is 2/105 less than or equal to v?
True
Let p be (459/180)/17*8/(-50). Let d be 1/(2 + ((-4)/4)/1). Is p >= d?
False
Let k(d) = -2*d**2 + 2*d + 2. Let q be k(4). Let f(b) = -b**2 - 25*b - 50. Let t be f(-23). Let l be (t/2)/(2/23). Do l and q have the same value?
False
Let m = 1624 - 25999/16. Let p be (-8 + 5)*1 - -3. Are p and m equal?
False
Let u be (6 - (-144)/(-30))/((-3)/(-15)). Let y be 15/(-16)*(-4)/u. Let g = 7 - 6. Which is smaller: g or y?
y
Let f = -16 + 17. Let z = f + -0.9. Let x be (-2)/(-16) + (-15 - (-80469)/5400). Which is greater: z or x?
z
Let a = 5.71 + -5.7. Let i = -180 + 180.3. Which is greater: i or a?
i
Let f = -3889 + 688349/177. Let w be 0 - (-2 - (-1 - 2)). Do f and w have different values?
True
Let v be 6*(-7)/21 - 0. Let s be v/21 + 11883/1071. Which is greater: 1 or s?
s
Let t = 1.339 - -0.061. Let c = 10.4 + -10. Let i = c - t. Which is smaller: 1 or i?
i
Let y = -18.4 - 142.26. Let j = y + 91.7. Let t = 69 + j. Does 5 = t?
False
Let q = -54 - -27. Let g = -368 + 487. Suppose 22*r + f = 21*r - 29, g = -4*r - 5*f. Which is smaller: r or q?
q
Suppose -4*l = -3*o - 208, 5*o - 344 + 119 = -5*l. Suppose -47 = x - f, -f = x - 0*f + l. Let a = -98 - -50. Is a smaller than x?
False
Suppose 17965 + 26689 = -161*r - 5*r. Is -287 not equal to r?
True
Let h(g) = -3*g**3 + 8*g**2 + g - 2. Let a(l) = 4*l**3 - 9*l**2 + 3. Let m(o) = -2*a(o) - 3*h(o). Let x be m(6). Let p = x - -16. Which is bigger: -8/5 or p?
-8/5
Suppose 0 = 40*w - 31 - 609. Are w and 61 unequal?
True
Let u = 1 + 0. Let a be (-4)/(-10) + -16 + 308652/19720. Which is bigger: a or u?
u
Let p = -126.5 - -114. Let r = 7.5 + p. Which is bigger: r or 1/2?
1/2
Let m be (-184)/3*(-4)/(-8). Suppose -10 = 5*c - 3*c, -5*c = -5*h - 135. Is h greater than m?
False
Let f be (-776)/(-1067)*(3 - 8/(-1)). Which is smaller: 1 or f?
1
Suppose 72*z - 71*z = 0. Suppose 7*j - 208 + 838 = z. Does -0.1 = j?
False
Let a = 296 + -287. Let f be 4*-1*a/(-36). Is 2/25 <= f?
True
Suppose 0 = p - 17 - 0. Let t = -188.969 + 189. Let k = t + 1.969. Which is smaller: p or k?
k
Let l be ((-2)/(-4))/(5/290). Let v = -47 + l. Let g be (-1)/3*1 + (-6)/v. Is -5 at most as big as g?
True
Let w = 526 - 127. Let h be 70/6*(-380)/w. Is -11 at least h?
True
Suppose 0*z - h - 1 = -z, 5*z = 4*h. Let m = 75 + -70. Suppose -15 = m*v + 35. Do z and v have the same value?
False
Suppose 0 = 4*o - 3 - 17, -299 = -3*i + 2*o. Suppose -2*m - i = -119. Let y(x) = 2*x - 18. Let g be y(m). Is g at least -1?
False
Let p = -0.38669 + 0.88669. Which is bigger: p or -148.3?
p
Let x be ((-2)/5)/(9/225). Let o(u) = 2*u + 22. Let d be o(x). Let f be -1*(27 + d + 1). Is -31 equal to f?
False
Let p be (-8)/(-12)*324/8. Let w = -3.827 + 11.827. Which is smaller: p or w?
w
Let a = -124079467/4790120 - 3/154520. Which is smaller: a or -25?
a
Let r be 198/(-462) - (5/(-28))/(3/3048). Which is smaller: 182 or r?
r
Let g = -24044 - -24042.03. Which is smaller: g or 50?
g
Let h be -12 + (-19 - (-62)/2). Which is greater: h or 1/1320?
1/1320
Suppose 2*x + 108 = 3*c + 3*x, 5*c - 3*x - 180 = 0. Let n be ((-3)/(-4))/(c/(-8)). Let p be (49/(-21))/((-77)/33). Is p > n?
True
Let u be (((-2178)/125 - (44 - 53)) + 8)*-1. Is -1 < u?
True
Let f be ((-1)/(-2))/((-2)/(-604)). Let v(p) = 9*p**2 + 48*p + 45. Let a be v(-7). Is f >= a?
True
Suppose s + 7*j - 9*j - 32 = 0, -4*s - j + 83 = 0. Let q = 23 - s. Suppose i = -4*b + 15 - q, -i - 3*b + 11 = 0. Is 16/9 bigger than i?
False
Let s(w) = 63*w**2 - 21*w - 42. Let i be s(-2). Let a