 (-66)/(-77)*(-2)/(-4). Suppose 3*m - 2*m = -c - 1, m + 1 = -2*c. Which is smaller: c or t?
c
Suppose -3*w + 12 = 5*r - 7, 0 = -5*r + 4*w + 33. Suppose -r*k + 1 = -4. Which is bigger: k or -7?
k
Suppose -8*f = -3*f + 65. Which is smaller: f or -14?
-14
Let j = 1.5 - 1.2. Let i = -0.3 - -0.3. Let w = i - 0.1. Are j and w nonequal?
True
Let p = -0.01 - -2.01. Let b = 2 - p. Does b = 0?
True
Let o be (-2)/3 - (-8)/3. Let q = 10.9 - 11.9. Which is bigger: o or q?
o
Let v = 489 - 6363/13. Is v > -0.1?
False
Let x = 5 - 5.1. Let g = x - -0.4. Is -1 not equal to g?
True
Suppose 3*v + 3 - 21 = 0. Are 5 and v nonequal?
True
Let o be 3/6*22*1. Let k = o + -6. Which is bigger: 0 or k?
k
Suppose 21 = 3*y - 9. Which is smaller: 8 or y?
8
Let q be (-4)/(3 + -1) - -6. Let g be 1/4 - 71/(-4). Suppose 2*c - g = -v + 5*v, q*v = 3*c - 19. Which is smaller: c or 5/4?
c
Suppose 3*k + 5*b - 2 = 0, -b + 5*b = -2*k - 2. Suppose 6 = 2*m - 2*o, k*m - 15 = 4*m - 5*o. Let v be 40/12 - 1/m. Which is smaller: v or 4?
v
Suppose g + 2 - 20 = 0. Let y be (-16)/48 + (-2)/g. Is 2 not equal to y?
True
Let v be (-231)/(-55) + -2*2. Let p(c) = -c**2 - 3*c - 3. Let x be p(-2). Is v bigger than x?
True
Let f = -2/823179 - 47195350/101251017. Let c = f + -2119/51660. Let z = 3/28 + c. Does 0 = z?
False
Let a = 4 + -5. Let b = a - -0.6. Let l = 0.3 + b. Which is smaller: -4 or l?
-4
Let f be ((-15)/50)/((-3)/(-8)). Is -5 at most f?
True
Let r be 4/10 + 26/(-40). Are r and 0 equal?
False
Let h = 0.1 + -0.4. Let k = h - -0.2. Let n be 2/21 + 511/(-735) + 1. Are n and k equal?
False
Let m = -151/88 - 3/88. Are -3 and m equal?
False
Let c = 0.117 + -77.117. Let g = c - -73.9. Let n = 3 + g. Is 2 > n?
True
Let q be -1*(5/6 + -1). Let h be 2/(-6)*5 + 2. Is q > h?
False
Let w = -0.3 - -0.2. Let g = 0.062 - 3.062. Is w < g?
False
Let x be (4/((-12)/39))/6. Let p be (-2)/4 - (-41)/(-21). Let u = x - p. Which is greater: u or 0.01?
u
Suppose 3*s - 5*j + 12 + 34 = 0, 0 = -s - 4*j - 4. Let g be 1/3 + 1/s. Is 0 at most g?
True
Let o = 9 - 3. Let c(g) = g**3 - 7*g**2 + 7*g - 7. Let f be c(o). Which is smaller: -2 or f?
-2
Let y be 40/(-17) - -2*1. Suppose 6*c - 2*c = 5*x + 15, 3*c - 5*x = 15. Which is smaller: y or c?
y
Let z = 26 - 25.9. Is -9 greater than or equal to z?
False
Let u = 53 + -97/2. Are -2/7 and u non-equal?
True
Let x = 2 + -1.5. Let d = 17.72 - -0.28. Let w = d - 17. Which is greater: x or w?
w
Let p be (1952/10 + -3)*-1. Let y = p + 193. Which is greater: y or 1?
1
Let q = 3 + -2. Let v be (4/(-54))/((-2)/3). Let c = -2/9 - v. Which is bigger: c or q?
q
Let s(g) = 3*g**3 + g**2 - 2*g. Let j be s(3). Let r be j/20 - 2/10. Let k = r - 6. Are -1 and k equal?
False
Let t = 2 - 6. Let c be ((-16)/3)/4*3. Is c <= t?
True
Let k(g) = g**2 + 6*g - 5. Let s be k(-7). Suppose 2*n = i - 6, 0 = -4*i + 6*i - n - 9. Which is smaller: i or s?
s
Suppose 5*h - 10 = 5. Let q be (6/(-117))/(1/h). Which is smaller: -1 or q?
-1
Let d be 12/20 - 3/5. Suppose 0*x + 158 = 5*c + 4*x, d = 5*c + 3*x - 161. Suppose 4*h - l = 20, 4*h = 3*l - 14 + c. Is h > 5?
False
Let z = -18.73 + 24.7. Let g = z + 0.03. Let l = 5.7 - g. Which is smaller: l or -0.1?
l
Let o = 125 + -225. Let m be (-1)/4 + 15/o. Is m greater than or equal to -6?
True
Let d be 2/2 + (3 - 3). Let y be (-12)/(-81) - 2/9. Is y less than or equal to d?
True
Let o be (0 + -6)*(-39)/234. Let w = -101/4 + 25. Which is smaller: o or w?
w
Let n be 2/(2 - 0) + -2. Let s be (-1)/3 - n/(-15). Let p = 1 - 2. Do p and s have different values?
True
Let g = 4 + -3.3. Let v = -0.33 + 0.03. Let c = v - g. Is -5 bigger than c?
False
Suppose 0 = 2*t - 0 - 8. Suppose 0 = m + 6 - t. Let a(v) = -v - 3. Let u be a(0). Which is bigger: u or m?
m
Let c(i) = -i**3 - 3*i**2 + 4*i + 1. Let a be c(-4). Do a and -4/19 have the same value?
False
Suppose 3*z = -0*z + 9. Suppose 0 = -z*b + 8*b + 5*f - 25, 0 = 5*f + 5. Is b < 4?
False
Let r = 57 - 283/5. Suppose -3*w = 2*w + 20. Let d be (2 + 10/w)*-2. Is r at most d?
True
Suppose 0 = -3*l - l - 16. Let p = -16 - -21. Suppose -14 - 11 = p*h. Which is bigger: h or l?
l
Suppose 0 = -3*n - 5*l + 2 + 1, 0 = -l. Is 3 < n?
False
Let r(v) = 14*v**2 - 4*v + 3. Let b be r(2). Let s be b/15 + (-8)/20. Which is bigger: 4 or s?
4
Let d = 33 - 29. Suppose d*k - 6 + 50 = 0. Which is smaller: -12 or k?
-12
Let q = 2/875 + -941/28875. Which is smaller: q or -1?
-1
Suppose -6*o = 5*o + 374. Is -1 greater than o?
True
Let a = 443/5 + -88. Let h(s) = -s**3 + 7*s**2 - 6*s - 2. Let j be h(6). Let g = 3 + j. Is g smaller than a?
False
Let x = -3.07 + 3. Let q = x + -2.93. Let b = -4 - q. Is b greater than -2?
True
Let o(a) = a + a + 0 + a + 1. Let d be o(1). Suppose -3*p - d = p. Is p at most as big as 0?
True
Let x = -0.8 - -3.8. Which is smaller: x or -2?
-2
Suppose 2*c - 4*g = -20, -c + 4*g - 18 = -0*g. Let u(r) be the third derivative of -r**4/24 + r**2. Let z be u(1). Is z less than c?
False
Let v = -18 + 17.96. Which is smaller: v or 2/9?
v
Let f be ((-1)/(-3))/((-1)/(-3)). Let n(j) = -j**3 - 5*j**2. Let v be n(-5). Is f greater than or equal to v?
True
Let c = 43.8 - 40. Let s = c + -4. Are -2/7 and s equal?
False
Let c = 29 - 18. Which is greater: c or 10?
c
Suppose m - w - 36 = 0, -10 = -2*w - 3*w. Suppose 0 = 4*a - 5*h + 17, 0 = 7*a - 3*a + 2*h + m. Is -7 smaller than a?
False
Let z = 3 - 2. Let d(l) = -6*l + 1. Let q be d(z). Is q <= -5?
True
Suppose 92 = -w + 5*u, 5*w - 41 + 414 = -4*u. Which is smaller: -76 or w?
w
Let l be 3 - 14/4*32/56. Let q = -1 - -3. Which is greater: l or q?
q
Suppose -5*n = -c + 16 - 3, -2*c = 4*n + 2. Let t = 1 - 1. Suppose 5*o - c*w = t, o + 3*w = 4*o + 6. Is 2 not equal to o?
True
Let t be 6*1/21 - (-5)/7. Is t bigger than -1.3?
True
Suppose 0 = 3*c - 0*c - 87. Let k be (-4 + -16)/(2/c). Let m = 4352/15 + k. Which is smaller: 0 or m?
0
Let w be (-4 - (-7)/2)*-12. Is 6 smaller than w?
False
Let r = -1529 - -702. Let m = -9103/11 - r. Is m less than -1?
False
Let w(b) = -b. Let z be w(1). Let c(f) = f. Let g be c(9). Let v be ((-12)/g)/((-20)/6). Is v at least as big as z?
True
Suppose 0 = -2*q + 5*q - 3. Let y be (-17)/(-15) + (-7 - 504/(-70)). Is y less than or equal to q?
False
Let k = 59/5 + -221/20. Suppose -3*o + 0*o = 9. Let s be (-2)/(-6) + o/9. Which is smaller: s or k?
s
Let s be 10/(-28) + 10/(-20). Which is smaller: -1 or s?
-1
Let b be (-331)/9 + (-8)/36. Are b and -37 unequal?
False
Let n = 0.7 + -1.7. Which is smaller: n or 7?
n
Let g = -23.01 - -23. Let v = 0.11 + g. Is -11 at least v?
False
Let h = -4.2 - 2.88. Let l = h - -7. Let o = l - -0.18. Which is smaller: o or -2?
-2
Suppose 0 = -x + 3. Let z be (-1)/((-3)/6) - x. Which is bigger: -3/4 or z?
-3/4
Let k(v) = 2*v**3 + v**2 + 2*v + 2. Let u be k(-1). Let c = -8 - -12. Let m be (-3)/c*(-4)/(-18). Which is smaller: u or m?
u
Let f = 5 - 3. Suppose 3*j - 5 = -f*j. Which is greater: -1 or j?
j
Let j(d) = d**3 - 7*d**2 - 7*d - 6. Let s be 2 + 8/(-2) - -10. Let w be j(s). Suppose w*n - 12 = -5*t, -3*n + n + 3*t - 4 = 0. Which is smaller: n or -1/7?
-1/7
Let h = 6 - 3. Suppose -6*t + 4*t - 11 = -h*c, 2*t = c - 5. Let p = 1 + -1. Is p less than or equal to t?
False
Let p be (-6)/(-21) - 24/(-14). Suppose p*l = 6*l - 16. Are l and 4 equal?
True
Let d(t) = -t**3 - 8*t**2 - 8*t - 6. Let g be d(-7). Is -4/63 >= g?
False
Let h = 13 + -28. Let v be (-5)/(-4)*20/h. Is -2 > v?
False
Let u = 16 - 25. Let c = -72.2 - -63. Let s = c - u. Which is bigger: s or -2/7?
s
Suppose 24 = 6*x - 2*x. Let j = x + 24. Let t be (-22)/j - 2/(-5). Which is smaller: t or -2?
-2
Let r = 2.93 + 0.07. Let a = r + -3. Are a and -0.4 non-equal?
True
Let m = 125/28 + -33/7. Is 1 at least m?
True
Let k = -3.2 - -3. Let b = -4 + 4. Are b and k non-equal?
True
Let z = 22/19 + -72/95. Let t = 1 + -4. Which is smaller: z or t?
t
Suppose -3*y + u + 2*u - 3 = 0, 0 = -2*y - u - 11. Let z = 4 + y. Which is bigger: z or -1/4?
z
Let t(s) = -s**3 + 4*s**2 - s - 4. Let f = 0 - -3. Let q be t(f). Which is bigger: 5/4 or q?
q
Let a be ((-2)/(-4))/((-2)/20). Let v = 244 + -249. Does v = a?
True
Suppose 3*g - 7 = -2*k + 3, 0 = g - 2*k + 10. Suppose g*h - 6 = -2*h. Do 2 and h have different values?
True
Let x be (-9)/6 + 6/(-4). Is -24/11 greater than or equal to x?
True
Let l = 4 - 3. Suppose