7 + -72. Let y = a - c. Is 1.6 at least as big as y?
True
Let x be 151*(6/(-3) + 3). Let l = -139 + x. Suppose -2*n + 45 = 17. Is n < l?
False
Let o = 34.081 + -0.081. Let y = 55.45 + -54.85. Which is greater: y or o?
o
Let o = -20 + 9. Let y = 0.70836 - 0.59836. Does y = o?
False
Let p = 17472 + -16798. Which is smaller: p or 677?
p
Let a(y) = -y**2 - 6*y - 3. Let w be a(-3). Let x(o) = -3*o**2 + 10*o + 5. Let t(b) = -4*b**2 + 12*b + 3. Let s(v) = 2*t(v) - 3*x(v). Let c be s(w). Is c <= 2?
True
Let w be ((336/(-20))/(-7))/(2/(-55)). Which is bigger: -265/4 or w?
w
Let i = 7466/5235 - -5/698. Let w = -11/10 + i. Which is smaller: 1.2 or w?
w
Let n(z) = -z**2 + z + 27. Let m be n(0). Let b = -15 + m. Let x be (11 - b)/(1/11). Is x at most -10?
True
Let c be (-45)/405 - (-313)/3060. Let d = 801/24820 - c. Is 1 at least as big as d?
True
Let n = 511.9129 + 0.0871. Let u = -514 + n. Let c = -7 + 5. Is c > u?
False
Let r = -530 - -682.91. Let b = r - 153. Which is greater: -6/11 or b?
b
Suppose 4*o - 4*b + 12 = 0, o = -4*b + 11 + 11. Let q be (-4)/8 + 137/o. Let y = q + -39. Is y smaller than 29?
False
Let d = 1.9006 + -2.7506. Which is greater: 72 or d?
72
Let v be 12 + -2*4/((-48)/(-30)). Suppose -10*i = -3*i - 7. Is i less than v?
True
Let j be ((-729)/36)/(4/(64/6)). Let s = 57 + j. Suppose y = -7 - s. Which is smaller: y or -29/3?
y
Let t = 1692 + -1214. Which is smaller: 482 or t?
t
Let h = -1.5389 + 35.5389. Which is smaller: h or -1/101?
-1/101
Let t(f) = -35*f**2 - 30*f + 29. Let r be t(1). Is r less than 18?
True
Let z = 3950 - 3960. Is -2/255 greater than z?
True
Let s be 6/(-3) + (-3 - ((-6440)/75)/8). Which is smaller: s or -0.6?
-0.6
Let m = -2/221 - 66/221. Suppose 3*y = 5*d - 52, -195*d = 3*y - 193*d - 25. Are m and y nonequal?
True
Let m(l) = l**3 - 16*l**2 + 16*l - 124. Let s be m(15). Let x = s + 113. Is x greater than 30?
False
Let w(x) = -x**2 + 4*x - 2. Suppose 0 = -b + 3*n + 18, 11 = -3*n - 4. Let s be w(b). Let r be (-1 + s + -5)/(-1). Which is smaller: r or 6?
r
Let i = -3.7457 + 0.7457. Let m = -3 + 2.94. Which is smaller: m or i?
i
Suppose -4*z = -3*y + 37, -3*y - z - 8 = -25. Are 189 and y unequal?
True
Let m = -339161/112396286 - -3/66823. Which is smaller: m or 0?
m
Let n = 765789/80 + -9573. Which is greater: n or -2?
n
Let o be ((-3 + 3)/(-4))/4 + 108. Let v be 1 - (3 - 2) - o. Are -106 and v unequal?
True
Let h = -95.882 + 96. Let r = h - 15.118. Is r at most 2?
True
Suppose -36 = -f - 5*k, 7*k - 96 = -4*f + 3*k. Suppose -2*n = -4*x - 26, 2*n + 3*n = -x + f. Let l be (7 + x)/((84/(-8))/7). Which is greater: l or -17?
l
Let m(q) = -3 + 3 - 28 - 24*q - 12. Let i be m(-5). Which is bigger: i or 78?
i
Let n = 5430 + -5500. Is n bigger than 45?
False
Suppose 0 = -5*v - u + 21, 4*v - v - 3*u = 9. Let z be 2/(-9)*10/v. Suppose -6 = 11*h - 6. Which is bigger: h or z?
h
Let l be (-1)/((-2)/(-20)) + -623 + 633. Which is smaller: l or -8/935?
-8/935
Let g(v) = v + 11. Let d be g(-8). Suppose -2*t = -7*t - d*t. Let f = -0.1 + 0.1. Is f at least t?
True
Let p = -3833/4 + 7045/12. Is p bigger than -370?
False
Let w(z) = -38*z - 5572. Let d be w(47). Which is bigger: d or -7356?
-7356
Let l be (-21*1/6)/((-7)/(-154)). Which is smaller: l or -1?
l
Let b = 3150 + -3153. Which is greater: 33/19 or b?
33/19
Let b(p) = -2*p**3 - 44*p - 18. Let f be b(0). Let j be -7*(-3)/7*-2. Let g(s) = s**3 + 6*s**2 + 4*s + 8. Let z be g(j). Is z != f?
True
Let b = 32.38 + -32.4278. Does 0.01 = b?
False
Suppose 9344 = -19*t + 3*t - 16*t. Which is greater: t or -286?
-286
Let n = 48 + -65. Let a = n - -30. Suppose 3*r = a*r + 280. Is r at least -27?
False
Let z be (21/(-33) - -1)*(-410)/(-11685). Is z at most as big as 0?
False
Let k(g) = -8*g - 7*g + 89 + 0*g. Let m be k(7). Which is bigger: m or -14?
-14
Let n(g) = g**2 - 77*g + 221. Let l be n(74). Is 11/115 greater than l?
True
Let p = 308297 + -308293. Let s be 1/(-2) + 54/20. Which is smaller: p or s?
s
Suppose 5*o - 6*o = -967. Suppose o + 553 = 8*w. Do w and 190 have the same value?
True
Let p(r) = 15*r - 88. Let f be p(6). Suppose f*h - 11 = j, 5*j = 2*j - 5*h + 11. Which is smaller: j or -18?
-18
Let g = 1.1201 + 0.0439. Let q = g - 0.164. Is q <= -12/13?
False
Let j(o) = o**2 - 7*o - 146. Let h be j(-9). Let w = -1.058 - -1. Which is smaller: h or w?
h
Let z(c) = -34*c + 129. Let j be z(4). Which is greater: -607 or j?
j
Let u(q) = q**3 - 126*q**2 + 237*q**2 - 118*q**2 + 7*q. Let m be u(6). Which is greater: -2/9 or m?
m
Suppose 4*k + 83882 + 22222 = 12*k. Are 13263 and k unequal?
False
Let m = -3283/5 - -659. Suppose 8*s + 4*s - 420 = 0. Let z be (-7)/s - (-22)/10. Is z greater than or equal to m?
False
Let r(j) = -26*j + 160. Let f be r(6). Let n be (f - -303)*5/(-25). Is n greater than or equal to -60?
False
Suppose 4*a - 5 = 9*a. Let r be (-17 + 16 - (0 - 0))/a. Let i be ((-4)/(-6))/((-15)/6). Does r = i?
False
Let p = -7808 + 8001. Does p = -0.2?
False
Let s = 591.9669 - -0.0331. Let j = s + -590. Do j and 0.76 have different values?
True
Suppose -6*i = -5*t - 16627, -3*i = -5*t - 8676 + 380. Is 2777 less than i?
False
Suppose -40786 = -440*o - 12174 + 21548. Are o and 107 unequal?
True
Let z be -2 + (-6)/3 - 1*(-526)/140. Is z < 1?
True
Let h = 59.27 - 59.17. Let u = 4.726 + -4.7. Is h less than u?
False
Let i be (-49768)/(-583240)*-5 + 1 + 4/(-7). Which is smaller: i or 0?
0
Let z = 24 - 22. Suppose 0 = -3*k + 5*f - 1, z*k + 3*k = -4*f + 23. Suppose -3*i = -5*h + 19, -h + 8 - 1 = i. Which is bigger: k or i?
k
Let g = 16/429 + -16964/408837. Which is bigger: 1 or g?
1
Let l = -19/2903 - 10952924/14515. Is -755 < l?
True
Suppose 6*i + 312*i = -482724. Which is smaller: -1517 or i?
i
Let y = -3758.8 - -3759. Which is smaller: y or 2.71?
y
Let s = 161453 - 484357/3. Let g = -3 - -12. Which is smaller: g or s?
s
Suppose i + 5*l - 97 = 0, -3*i = -0*i - 3*l - 237. Which is bigger: 3/2 or i?
i
Let v = 33190 - 33123. Which is bigger: v or -45?
v
Suppose 9*g - 45 = 4*g. Suppose -w + g = 32. Let a = w + 57. Is a not equal to 34?
False
Let b = 28066891/707994 + 1/50571. Let f = 39545/994 - b. Which is greater: -1 or f?
f
Let l = -0.1985 - -86.2985. Let i = l - 86. Which is greater: i or 0.051?
i
Let l be ((-32)/(-6))/((-58)/87). Is -18 < l?
True
Suppose -9*d + 10*d = 3. Let b be d + -2*(-11)/(-2). Let l be (b/296*3)/(3/2). Which is greater: l or 0?
0
Let y = 2302 + -2303. Are 75.9 and y non-equal?
True
Suppose 481 = -5*y + 2*m, -5*m - 472 = 5*y - 4*m. Let q = y - -93. Let c be ((-3)/(-6))/(q/4). Which is bigger: c or 2/297?
2/297
Suppose -162 = 3*r + 186. Let v = -96 - r. Is 17 greater than or equal to v?
False
Let f be (4/(-22))/(6/33). Which is bigger: 2/345 or f?
2/345
Let h be 530238/39 - (-20)/130. Does 13596 = h?
True
Let d = -15.438 - -0.338. Let k = 15 + d. Which is greater: k or -33?
k
Let c(j) = j - 1. Suppose -s = 4*s. Let g be c(s). Let i = 405/1213 + -6877/6065. Is g less than or equal to i?
True
Let j = 2295.7 - 2295.6. Let f(b) = -14*b + 6. Let x be f(4). Is x less than j?
True
Let l(u) = -u**3 + 5*u**2 + 17*u + 14. Let g be 3/(21/14) + 6. Let a be l(g). Is -42 smaller than a?
False
Let i = -39815/6 - -6915. Which is smaller: i or 278?
278
Suppose 1134 + 5906 = -8*r. Let p be 36/(-10)*r/24. Do p and 263/2 have different values?
True
Let s(d) = 3*d**2 - 71*d + 11. Let z be s(24). Let w be ((-8)/(-10))/(14/z). Is 2.2 at most as big as w?
False
Let f(b) = 276*b**2 + 2*b - 1. Let x be 511/438 - (-2)/(-12). Let u be f(x). Are u and 277 non-equal?
False
Let g = 12 - 3. Let d(j) = 9 + 28 - 2 + 4 - 14 - 3*j. Let o be d(g). Which is greater: 1 or o?
1
Let z = 2701/8112 - -1/2704. Is 3074 at least as big as z?
True
Let u = -136 - -141. Suppose -5*v + m + 0 = -u, v + 5*m = -25. Is v < 2/69?
True
Suppose -3*n = -7*n - 7*n. Let j be ((-1)/456)/((-3)/(-33)). Let i = 2837/79800 + j. Which is smaller: i or n?
n
Suppose 7 + 7 = -j - 4*m, -m = -j - 4. Let u(i) = i**3 + 5*i**2 - 11*i - 9. Let v be u(j). Let c be 333/(-2037) - (-1 - 2)/v. Which is greater: c or -1?
c
Let s be (135/(-84))/(-3) - 37/148. Which is greater: 845 or s?
845
Suppose -30*g - 3040 = -25*g + 2435. Which is greater: g or -1096?
g
Suppose -254*w = -2426*w + 91224. Let n(x) = x**3 + x**2 + 4*x - 2. Let c be n(3). Are c and w 