76/7 - r. Is c at least as big as 0?
False
Let n be 462/(-154) - 55/6. Let x be 3/(-2) - 1/(-1). Which is smaller: x or n?
n
Let w(a) = -6*a + 62. Let f be w(9). Suppose 7*l + f*l - 135 = 0. Do l and 6 have different values?
True
Let z = -0.012 + 1.612. Let x = z - 25.6. Let d = 24.12 + x. Is d < -2/9?
False
Let z(m) = 6*m + 5. Let g be z(4). Let r = g + -72. Let w = -5472 - -5429. Is r > w?
False
Let a = -29 + 42. Let z = -112.8 - 86. Let k = z - -199. Which is smaller: k or a?
k
Let u = 2547 + -2535. Which is smaller: 17 or u?
u
Let u = -92/317 - -264020/951. Does 278 = u?
False
Let r be 2/2 + (-356410)/475832. Let s = 2/2051 - r. Which is greater: s or -1?
s
Let r = -301 + 17760/59. Let u = r - -57/118. Which is bigger: -1.4 or u?
u
Let f = -14 + 558. Let i = 591 - f. Is 50 greater than or equal to i?
True
Let a be (-2)/2 - (-33 - -38) - 2. Let l = -26178/119 - -1488/7. Which is smaller: a or l?
a
Let t be -1 - (-12)/9 - (-2928)/18. Let y = -863 + t. Let j be 5/y*-5*-6. Which is greater: j or -2/9?
j
Let z(w) = w**2 - 56*w + 779. Let s be z(30). Is s <= -108/253?
True
Let v = 2205 - 2350. Which is smaller: -141 or v?
v
Let f be ((-6)/(-8))/3 + 2085/60. Let r = -34 + f. Which is bigger: r or 0.058?
r
Let o be (-2)/((-160)/(-49704)) + (-15)/30. Which is greater: -0.2 or o?
-0.2
Suppose 86*s - 83*s - 33 = 0. Let j(b) = -15*b**3 - 2*b**2 - 2*b - 1. Let l be j(-1). Suppose 2*v - 28 = -2*i, 6*v + l = 2*i + v. Is s at most as big as i?
True
Suppose 200 + 362 = 2*b. Let u = -243 + b. Which is smaller: u or 35?
35
Suppose 0 = 19*q - 6*q + 351. Let y be ((36/q)/(-4))/(2/8). Is 1 at most y?
True
Let s be (-60)/(-25)*7/((-399)/(-10)). Let t = s + -78/95. Let m(i) = -i**2 + 3*i - 1. Let p be m(2). Are p and t non-equal?
True
Suppose 2*h = 9*h - 28. Let m be 0/(-3) + (-7)/h + 2. Let w = 0.065 - 0.565. Which is bigger: w or m?
m
Let o = 0.0412 - -0.1588. Which is greater: 4070 or o?
4070
Suppose 586 = -9*g + 586. Is -3/88 equal to g?
False
Let x = 2.3 - 0.3. Suppose -39*z - 29 = 556. Which is bigger: x or z?
x
Let d = 3 - 2.7. Let k = -1522 + 2885. Let g = 1389 - k. Is d smaller than g?
True
Suppose 3 - 7 = -4*z. Suppose 5*d + 7*g - 5*g - z = 0, -2*d - 4*g + 10 = 0. Which is smaller: d or -3/106?
d
Let a be ((-528)/(-36))/(74/(-24) + 3). Let o(k) = k**3 + 14*k**2 + 12*k - 7. Let q be o(-14). Is a > q?
False
Let v = 793 + -174. Let z = v + -618.41. Which is smaller: z or -0.4?
-0.4
Suppose -66*y + 55*y + 3*c + 10099 = 0, -y = 4*c - 948. Is y greater than or equal to 922?
False
Let o(g) be the second derivative of -g**5/20 + 13*g**4/12 - 2*g**3 + 2*g**2 + 10*g. Let p be o(12). Suppose 17*k = 19*k + p. Which is smaller: -5 or k?
-5
Let p be -1 - -1 - (139 - 7). Let k be (-28)/(-5)*330/p. Let t be 1/((6/4)/3). Which is smaller: k or t?
k
Suppose 4*n + 28 = -2*b, 4*b + 3*n + 22 + 14 = 0. Let w be (b/(-90))/(1/6). Is -20/9 greater than w?
False
Let j be (-10)/((-3820)/(-6))*1/(-3). Suppose 25*p + 1 = 24*p. Which is bigger: p or j?
j
Let c = -80.02 + 89. Let a = 0.02 + c. Let z = a - 6.5. Which is smaller: 2/7 or z?
2/7
Let g be 4/(-162) - 4545406/(-13527). Does g = 338?
False
Let q = 25.6 + -25.832. Let o = -0.181 - q. Which is smaller: o or 0.2?
o
Let c be (-3 + -4 + 6)/(2/8). Let h be c/(8/2) - -1. Suppose 0*u = u - 4*s - 8, 2*u - 3*s - 6 = h. Which is smaller: -9/14 or u?
-9/14
Let h = -27847 + 27857. Are h and -146 non-equal?
True
Suppose -18*j - j + 57 = 0. Suppose -44*f + 47*f + j = 0. Which is smaller: f or -5/49?
f
Let z be (45/250)/((-432)/(-96))*(4 - -1). Let a = -42 + -13. Is z at most as big as a?
False
Let j(c) = 7*c - 27. Let o be j(7). Let w = -20 + o. Suppose -3*t - 51 = 2*p + 6, -w*p - 2*t - 52 = 0. Which is smaller: p or -20?
p
Suppose -3349*w + 96 = -3445*w. Is 1/25480 less than w?
False
Let y = -0.419 + -9.181. Do 0.9 and y have different values?
True
Let l be (0 + 165/(-9))*-3. Suppose 123*r - 109*r - 14 = 0. Let j(w) = 58*w**3 - w**2 - 2*w + 1. Let i be j(r). Which is smaller: i or l?
l
Let v(y) = -2 - y + y - y - 2*y. Let o be v(-2). Suppose 3*x + z - 86 = 0, -110 = -o*x + 5*z - 4*z. Which is smaller: x or 27?
27
Let a(k) = -24*k + 516. Let l be a(21). Is l at least -13?
True
Let i be ((-154)/110)/(4/780). Is -4 < i?
False
Let r = 0.029 + 314.971. Let n = -314.7 + r. Which is greater: 0.42 or n?
0.42
Let u be (4200/(-126))/((-2)/(-45)). Is -750 >= u?
True
Let t(x) = 836*x + 1474. Let d be t(-4). Which is bigger: 5 or d?
5
Let k(z) = -14*z - 8. Let q be k(-2). Suppose 5*b - 20 = 5*f, 3*b = -2*f - 2*b + q. Which is greater: f or -19?
f
Let k = -391/26 + 15. Let o = 188 - 932. Let i = -743 - o. Which is smaller: k or i?
k
Suppose 3*q + 5*s - 89 - 18 = 0, q + 4*s = 31. Suppose -v = -2*l + q, -2*l = -4*v - v - 59. Are 71/4 and l nonequal?
True
Suppose -2*r - 10 = -3*g, 5*g - 18 = -3*r + 5*r. Let l = 80 + -105. Is l greater than or equal to r?
False
Suppose -3*h = m + 3 + 2, 25 = -3*h - 5*m. Let b be 1*-3 - (h - 4 - -9). Let q be 4/(2/b - 13/(-68)). Is q at least as big as -68?
True
Suppose 3*t + n + 4 = 0, -t - 3*n = 4*t. Let p be (-5)/(-90)*(-70 - -1). Is p less than or equal to t?
True
Let w = 23971 - 26172. Is w >= -2200?
False
Let n be (-319)/(-58) + -5*1. Are n and -3.77 non-equal?
True
Let h = 232 - 85. Let o = h - 148. Are -72 and o equal?
False
Let m be (-1 - -1)*(-236)/472. Is 0.05057 < m?
False
Suppose 31*n = 16*n - 135. Let y(u) = u**2 - 5*u - 44. Let w be y(n). Is 82 greater than w?
False
Let c = -178319/12 - -14871. Which is smaller: c or 11?
11
Suppose -30 = -4*g + 10*g. Suppose 2 - 10 = -4*s. Let d be (g - (2 - 2)) + (s - -1). Does -2 = d?
True
Let k be (-130)/(-70) + 3/(3 + 18). Is 103/35 equal to k?
False
Suppose 2*r - 2 = 2. Let z = 3 - r. Let c be 1603/(-2061)*(-12)/14. Which is greater: z or c?
z
Let p be -3 - (-325)/(-10)*14. Let x be 6/(-24) - p/(-8)*-1. Let o = -5075/89 + x. Which is greater: o or 1?
1
Suppose -5*u - 2*h = -112, 0 = 4*u + 2*h - 3*h - 87. Suppose u + 3 = 5*z. Let b be (z/(80/12))/(-9). Is -1 equal to b?
False
Let m = 6183 - 6198. Is 184 != m?
True
Let r(i) = 27*i + 52. Let v be r(-10). Let z = 2 - v. Does 221 = z?
False
Let q = 1046916/23 - 45511. Is 6 less than or equal to q?
True
Let q be ((5 - 1) + -1)*16/(-9096). Let x be (-10)/15 - (-1)/(-3). Which is bigger: x or q?
q
Suppose -77*x - x - 633 = -555. Let t = 44967/85 - 529. Which is greater: x or t?
t
Let s be 167 - (-15)/(1 - 4) - -8. Is s > 17?
True
Let s = -54 - -21. Let k = 242.98 + -242.98. Is s at least k?
False
Let d = -3 - -1. Let n(h) = h**2 - 18*h - 79. Let g be n(25). Suppose -6*f + g = 102. Which is smaller: d or f?
d
Suppose 7*k + 3*b + 3 = 3*k, 2*b = -2*k - 2. Suppose k = 5*n - 11 - 29. Let i = -2 + 11. Do n and i have the same value?
False
Let g = -1191 + 1209. Suppose -2*w - g = -3*o, -17 = -5*o - 12*w + 11*w. Let s = 1.7 + -2. Which is smaller: s or o?
s
Let d = -4756/897 + 71/13. Let v = d + -34/69. Is -3.32 equal to v?
False
Suppose n + 13 = 4*k - 3, n = -k + 9. Suppose n*s = -0*s - 36. Suppose -2*v = 3*v + 2*a + 32, -5*a + 44 = -3*v. Is v greater than s?
True
Let b be ((-62)/42)/((-54)/(-21)) - (-316)/4266. Do 18/2021 and b have the same value?
False
Let v = 0.2094 + -58.2094. Suppose 2*c + 2*c = 0. Which is bigger: v or c?
c
Let x = -128757 - -77382938/601. Is 1 greater than or equal to x?
True
Suppose -15 = 2*g - 3. Let m be (2/g)/(8/900). Which is smaller: m or -38?
-38
Let m = -1113/11 + 101. Let z = -4.1566 + 27.9566. Are m and z equal?
False
Let a = -73 - -117. Let i = 1445 - 1403. Which is smaller: a or i?
i
Let g be ((-2)/4)/((-26)/52). Let u be 39 + 2 + (6/g - 2). Is 1 at least as big as u?
False
Let l be 0 - (-149)/5 - 4/(-20). Suppose -l = 5*h - 10. Let n(u) = -u**2 - 7*u - 8. Let r be n(h). Is 4 bigger than r?
False
Let l be 63/(-30) - 2/5. Suppose -3*f = 2*p + 4, -4*f - 3*p + 3 - 7 = 0. Let t be (-93)/124 - (45/f)/(-5). Does l = t?
False
Let l(s) = -10*s - 8*s + 3*s**2 + 12 + 5*s - 2*s**2. Suppose -3*h + 35 = -1. Let i be l(h). Which is smaller: i or 2/59?
i
Suppose 3*m = 6 + 6. Suppose 5*s = m*s - 96. Is s at most -97?
False
Let r = 880.9 - 953. Let q = -72 - r. Is -8.6 smaller than q?
True
Suppose -27288 = -501*x + 537*x. Which is bigger: -756 or x?
-756
Let n = 5003/5180 - -1/140. Suppose -5*y + 0*y = -3*g + 2