*48 - -1. Is z > y?
False
Let i be ((-8)/6)/((-2)/(-6)). Let n = 39 + -877. Let w = n + 836. Which is smaller: w or i?
i
Let m be -1 - (-3 + 0) - 3. Let s = 1025 + -15377/15. Is s at least as big as m?
True
Let a = 10927 - 10955. Does a = -54?
False
Let f(g) = -62*g**3 + g**2 + 5*g + 2. Let h be f(-1). Let p = h - 241/4. Let r = 0.65 - -0.37. Which is smaller: p or r?
p
Suppose -2*c + 2*n = -2*n - 316, 3*n = -4*c + 599. Is 152 > c?
False
Let o(q) = -34*q + 253. Let i be o(28). Let w = -779 - i. Which is bigger: w or -75?
-75
Let t(o) = -2 - 6*o**2 + 4 - 5*o - o**3 - 2*o + 6. Let y be t(-5). Suppose -2*f + y = 2*a - a, -a + 5*f = 3. Which is greater: 14 or a?
14
Let s = 13.4 - -81.6. Let z = 112.1 - 16.1. Let a = s - z. Which is bigger: a or -5/23?
-5/23
Let q(h) = -3*h**3 + 88*h**2 + 149*h + 116. Let m be q(31). Which is greater: m or -18?
-18
Let y(d) = d**2 + 2*d + 14. Let i be y(0). Suppose o - 2*u + i + 4 = 0, 4*o - u + 51 = 0. Let v = o + 29. Which is greater: v or 16?
v
Let k = 928 + -610. Let o = k + -400. Which is smaller: 1/5 or o?
o
Let z = -588579575491409/363945 + 30727202646/19. Let r = -13013/349898 + 31/822. Let o = z - r. Which is bigger: -23 or o?
-23
Suppose 6*x = -2*x + 40. Let m(y) = y**3 - 3*y**2 - 9*y - 5. Let h be m(x). Suppose h = 11*k - 12*k + 3. Do k and -1 have the same value?
False
Let s(c) = 48*c - 2. Let a be s(1). Suppose 3*y + 28 = a. Let z be (-6 + 7)/((-75)/y). Is z >= 1?
False
Let o = 136055/148 - -1386/37. Which is greater: o or 956?
o
Suppose 2*s = 3*l + 2, 0 = 4*l - 12*s + 7*s + 5. Is 19/1958 less than or equal to l?
False
Suppose -3*x + 8 = -q, -7 = -0*x - 4*x + 5*q. Suppose 4*j + 32 = x*l + l, l + 4*j + 17 = 0. Suppose -4*s - l = 9. Are -11/4 and s equal?
False
Let p = 6012485/44088 + 2/5511. Does p = 136?
False
Let n(w) = -4*w + 0*w + 0*w - 41. Suppose 125*t + 4*t + 0*t = 903. Let o be n(t). Is o >= 1?
False
Let u = 1 - 5. Let l be (-6)/28*u/(-3). Let s = -9647/7 - -1377. Which is smaller: l or s?
s
Suppose -4*v + 5*r - 82797 = 0, 4*v - 6*v = 6*r + 41356. Is v < -20693?
False
Let j = -0.067 + -0.133. Suppose 4 = 2*l - 30. Which is smaller: l or j?
j
Let y be 9/((-252)/(-232)) - (-2)/(-7). Suppose -3*p + y*p + 5*j = 185, j = 5*p - 161. Suppose 0 = -5*f + 4*r + p, -2 = -3*r + 7. Is f > 39/4?
False
Let m(n) = n**3 + n**2 - n - 33. Let g be m(0). Let j be (3 - 2) + 29 - (-17)/(-51)*-6. Let v = j + g. Is v >= 3/11?
False
Let v = 46.534 - -0.066. Let g = v + 0.4. Let t = -39 + g. Which is bigger: -0.2 or t?
t
Let m = -4620 - -1207. Is m less than -23890/7?
True
Let z = 6 + 221. Let k = -211 + z. Let d(a) = a**3 + 6*a**2 - 3*a - 3. Let o be d(-6). Which is greater: k or o?
k
Let j(r) = 4*r**2 - 56*r - 6. Let i be j(14). Let o be (-8)/i - (0 - (-592)/(-72)). Is 10 != o?
True
Let u = 98/5 + -467/20. Suppose 0 = 3*y + 10 - 1, 0 = -4*r - 5*y + 1. Suppose 3*a = 2*s + 7 + 7, r*s + 2*a + 12 = 0. Are s and u nonequal?
True
Let f be 15 + (-1)/1*3. Let m be 13/3 - -2*4/f. Suppose -3*a - b + m = -5*a, 0 = 4*a - 3*b + 11. Is a <= 1?
True
Let q = -116 - -432. Suppose 13*x - 11*x + q = 0. Which is smaller: -156 or x?
x
Let s(f) = 26*f + 8 - 11*f + f**2 - 9*f. Let x be s(-2). Let u = -157/110 + 5/22. Which is smaller: x or u?
u
Let k = 196 + -133. Let f be (-1022)/k + 4/18. Which is smaller: -7 or f?
f
Suppose -2*u = 2*u - 708. Suppose -u*f = -170*f - 329. Let h = -0.1 + 0. Which is bigger: f or h?
f
Let n be (372/(-279))/((-14)/176). Which is bigger: n or 16?
n
Let i = -49.91 - -50.0501. Which is smaller: -2 or i?
-2
Let w = 2.78 - -0.72. Let o = -3.02 + w. Let h = o - 0.38. Which is smaller: -0.09 or h?
-0.09
Suppose -48 = 2*c - 2*y, -3*c = -6*c - 4*y - 51. Let m = -21 - c. Suppose m = -0*u + 4*u - 136. Is 33 <= u?
True
Let y(i) = -3*i**3 + 6*i**2 + 33*i - 6. Let a be y(-7). Is a at most as big as 1086?
True
Let g = 238/5 + -48. Let b = 736 - 734. Let x be (1/(b/4))/((-1414)/303). Is x >= g?
False
Let g(l) = 17*l**2 - 2*l - 2. Let t(n) = 25*n**2 - 4*n - 3. Let v(y) = -3*g(y) + 2*t(y). Let k(a) = -4*a**2 + 1. Let d be k(1). Let o be v(d). Is o at most -3?
True
Let s be ((-5)/4)/(3/(-12)). Suppose s*y - 42*x + 1846 = -41*x, -2*y - 2*x = 736. Is y at least -369?
True
Let k = -2.94 - -3. Let i = -0.24 - k. Let w = -401.3 + 401.1. Do w and i have the same value?
False
Suppose 0 = 2*o - 3*o. Let n = 109 + -115. Let u be (-884)/1479 + (-4)/n. Which is bigger: u or o?
u
Let p = 17337 + -17356. Is -316 != p?
True
Suppose -29*j = 33*j + j + 205947. Is j < -3271?
False
Let m = 0.935 + -1.235. Which is smaller: 2 or m?
m
Let x be ((-32)/90)/(-4)*(-2016)/(-448). Which is greater: -2637 or x?
x
Let a be (-1)/((-6)/10)*-36. Let x be ((-6)/(-4))/(a/(-16)). Let h = -58/45 - -7/5. Which is smaller: h or x?
h
Let z be 7/14*-21 - (-3)/6. Let i be (-24)/1740*(-1)/(134/z). Is i bigger than 0?
False
Let v = -394406/149 + 2647. Let u = v - -462/745. Is u != 20?
True
Suppose f + 2*w - 169 = 0, -77*f - 193 = -78*f + 4*w. Which is bigger: f or 182?
182
Let o be (-189)/(-36) + 2/(-8). Suppose -50 = o*b - 2*v, 4*b + 40 = -v - 4*v. Let h = -352/5 + 70. Are h and b unequal?
True
Let k(n) = -n**3 - 3*n**2 - 2*n - 1. Let a be k(-1). Let p = 219181/133 + -1648. Is a at most as big as p?
True
Let i = 1 - 176. Let j be (-6)/(-4 - 690/i). Is 105 <= j?
True
Suppose 2*x - 74 + 66 = 0. Suppose 3*l - 18 = -x*z, -l + 10 = 2*z + l. Let m be 4/18 - (-7)/9 - z. Which is smaller: m or 0?
m
Let v be 0/(-12 - -6) - (5 + 962 + -2). Do -965 and v have the same value?
True
Let p(j) = -j**3 - 7*j**2 - j - 8. Suppose -55 + 27 = 4*a. Let f be p(a). Let u be 172/(-4) - (1/(-1) - f). Which is smaller: u or -42?
u
Suppose 10*g - 14*g = -12. Suppose 0 = g*j - 4*x + 145, 10*x - 7*x = 4*j + 184. Is j <= -41?
True
Let y(z) = 390*z - 8131. Let r be y(21). Is 241/4 less than or equal to r?
False
Suppose p = -4*q + 2 - 5, -1 = -p. Is -3/1544 less than or equal to q?
False
Let d be ((-56)/(-432))/((-2)/6). Suppose -110*n = -89*n + 21. Is d greater than n?
True
Let z = 47.557 - 9.447. Let c = z + -38. Is 1 not equal to c?
True
Suppose -2*a + 4*a - 3*l = 2, -5*a - 3*l = -26. Suppose 0 = -h - a + 7. Suppose -4*b - i - 3*i = 0, 6 = -3*b + h*i. Which is smaller: b or -1/5?
b
Let k be 2 + (40/(-15))/((-266)/(-201)). Let y be (5/20*0)/(2 + -1). Is k less than y?
True
Let y be (1/((-126)/4))/(31 - (-2938)/(-78)). Does y = -0.1?
False
Let x = -18/9043 - 50474/10987245. Is 1 at least x?
True
Suppose -3*v + 19 = 4*i, -4*i - 24 = -8*i - 4*v. Let r be 1*(-4)/((-12)/(-9)). Is i <= r?
False
Let x(q) = 13*q**3 - 313*q**2 + 26*q - 47. Let w be x(24). Is -3/8 at most as big as w?
True
Let o(c) = -c**3 - 8*c**2 + 2*c + 17. Let l be o(-9). Let u = 87 - l. Suppose -4*z - 1 = -u*z - n, 0 = -3*z + n - 7. Which is bigger: z or -1/20?
-1/20
Suppose 0*r = -3*r - 96. Let l be -9*((-36)/(-27))/((-7)/21). Let i = r + l. Is i > 4?
False
Suppose -528*t + 801 + 1286 = -25. Which is smaller: t or -1520?
-1520
Suppose -76*p + 282136 + 172496 = 0. Are 5981 and p nonequal?
True
Let c = 513 + -410. Suppose 5*i - 4*f + c + 332 = 0, 2*f + 374 = -4*i. Which is greater: i or -90?
-90
Suppose -5 = 2*v + 3*d, 3*d + 14 = v + 12. Is 3/4498 >= v?
True
Suppose -n = -y + 5, 3*y - 5*n - 19 = 4. Do -2/1373 and y have the same value?
False
Let t = -3473 - -6431/2. Suppose 809 = 3*u + c, -3*u + 425 = -4*c - 359. Let w = t + u. Which is greater: w or 12?
12
Let q = -298 + 3076. Is q < 2779?
True
Let y(t) = -5838*t**2 + 7. Let f be y(1). Is f bigger than -5830?
False
Let l = 253 + -253.106. Let a = -1.416 - l. Which is smaller: a or 1?
a
Let h = -3 - 55. Let g = -26 - h. Let n = 65 - g. Do 33 and n have different values?
False
Let q = 583 + -65. Let f = -520 + q. Is f less than -2?
False
Let w = 15.4 - 1.4. Let h = 10941 + -10941. Which is bigger: w or h?
w
Let l = 2/1731 + 11969/128094. Let a = 6/259 - l. Which is greater: a or -4?
a
Let q be -42 + (-6 - -2) + -3. Suppose 295 = -5*j - 4*n + 19, 3*n + 168 = -3*j. Is j at most q?
True
Suppose -z - 3*p = -1, 0 = 4*z - 4*p + 3*p - 17. Let s be 2/4*(8 + -10). Let c be s/4 + 33/(-12). Which is smaller: z or c?
c
Suppose 0 = 7*a - 2*a - n - 57, -5*a + 2*n + 54 = 0. Let q(r) = r**3 - 14*r**2 + 21*r + 21. Let u be q(a). Is -13 at least as big as u?
True
Let r be 9/660*192/5112. Which is small