 l at least as big as c?
True
Let w = -38.9 - -41. Let r = -13.1 + w. Let q be (-84)/240 - 6/(-8). Is q >= r?
True
Suppose 0*b + 2*b - 44 = 0. Let m be (1/(-22))/(b/(-8) + 3). Is m less than or equal to 0?
True
Let c = -230223 - -10360609/45. Let y = c - 66/5. Which is smaller: 1 or y?
y
Let j be (492/(-8))/((63/12)/7). Is -82 > j?
False
Let h(r) = r**3 + 7*r**2 + 5*r + 11. Let t be h(-6). Suppose -t = 3*k - 14. Which is smaller: k or 6?
k
Suppose 0 = -o - o - 92. Suppose 6*r + 2 = -280. Which is smaller: o or r?
r
Let n = 988.2 + -1016. Is 2/3 smaller than n?
False
Let h be (-32)/130 - (-2)/5. Let g(o) = 3*o**2 - 20*o + 11. Let l be 7 - -4*1/(-4). Let a be g(l). Is a equal to h?
False
Let d = 135.1 - 149. Let m = d - -13. Let u = m - -0.6. Which is greater: 0.05 or u?
0.05
Suppose -5*o + 27 = -3*l + 5*l, 5*l = -5*o + 90. Which is smaller: l or 16?
16
Let j = 3241502/233 - 13912. Which is bigger: j or 1?
1
Let i be 4/14 + 6692/(-98). Let r be 13/(702/(-12)) - i/630. Which is smaller: 1 or r?
r
Let f be ((-61)/6*3)/(-1). Which is greater: -1 or f?
f
Let t = 3 + 0. Suppose -5*n = 2*p + 10, 6*p = t*p + 5*n + 10. Is 2 <= p?
False
Let c = 38.9 + -85. Let a = c + 49. Let w = 2.1 + a. Which is smaller: -0.4 or w?
-0.4
Let g be ((-97)/(-9) - 11)/((-344)/(-12)). Is 0 bigger than g?
True
Suppose -108 = -2*q - q. Let a(m) = -2*m**3 + 27*m**2 + 18*m - 19. Let v be a(14). Which is smaller: q or v?
q
Let k(c) = c**2 - 5*c + 4. Let l be k(6). Let v = 25 - l. Is 14 smaller than v?
True
Let m be 39/2*(-4)/3. Let f = 6 - m. Is f bigger than 33?
False
Let y = 1661/216 - -410/27. Which is smaller: 23 or y?
y
Let c be 37/9 + 4/18. Suppose 3 = 22*p - 107. Is c greater than or equal to p?
False
Suppose -6*a - 604 = -604. Is 8/245 bigger than a?
True
Suppose 0 = -5*p + 4*i - 46, -3*p = -2*i - 2*i + 26. Let m = 13 + p. Suppose 0 = w - m + 2. Is 24/11 at most as big as w?
False
Suppose -1 = -4*c - 161. Let l be 2/5 + 136/c + -2. Let s = -4 - -1. Is l bigger than s?
False
Let d = -523519 + 1950631621/3726. Let k = d - -2/81. Which is smaller: -0.1 or k?
-0.1
Let f = 40.4 - 1.4. Is -0.2 at most f?
True
Let p = 38 - 38.046. Let z = p - -0.016. Which is bigger: 2 or z?
2
Suppose h - j = -3*j, 0 = 4*h - j. Suppose -3*b = 5*z - 2851, z - 2*z - b + 571 = h. Let y = 11377/20 - z. Is 1 not equal to y?
True
Suppose -12*s + 160 = -32*s. Which is smaller: s or -46/5?
-46/5
Suppose 0 = t + 5*n - 4*n + 4, 11 = t - 4*n. Let h be ((-345)/57 + (1 - -5))/1. Is t greater than or equal to h?
False
Let n be ((-4)/3 - 4)*3. Is -15 less than n?
False
Let a = 3 - -29. Let v = -269 - -302. Which is smaller: v or a?
a
Suppose -4*o - 4*n - 52 = -20, n - 6 = o. Is o bigger than 3?
False
Let m = 204 + -202. Is m < -2.8?
False
Let q = -319/18471 + 4/393. Is q < 0?
True
Let s = 953 + -1789. Which is bigger: s or -837?
s
Let s be 1265/15*-1 - 2/(-6). Let m = 207/2 + s. Do 19 and m have different values?
True
Let o = 11 - 7. Suppose h + o = -h. Let x = -10/101 + -81/202. Which is greater: x or h?
x
Let y be (-22)/(-85) + 17/(-85). Do y and 0 have the same value?
False
Let b = -219 - -355. Let g be 4 + b/108*-3. Do g and 0.5 have the same value?
False
Let z be ((-66)/(-30))/(208/(-40)). Let q be 1 + 0 - 24/26. Let s = q - z. Is -0.2 greater than or equal to s?
False
Let y be (-1 - -3)/(28/42). Let d be 22/(-8) + y/4. Is -2 < d?
False
Let u = 4270139/259 - 16487. Is u less than 0?
False
Suppose -4*o + j = -124, -3*o + 71 = -5*j - 5. Which is smaller: o or 156/5?
156/5
Let g = -7 - -11. Let n = 4.1 - g. Let s = -53 - -50. Is n bigger than s?
True
Let w = -13 - -12.9. Let n = 26.1 - 26. Which is greater: n or w?
n
Let k(p) = p + 1. Let s be (-1 - -4)*(-24)/(-36). Suppose 4*d - s*g - g + 6 = 0, -3*d + g - 2 = 0. Let x be k(d). Is -4/17 bigger than x?
False
Let m(g) = 3*g + 11. Let v(w) = -9*w - 34. Let a(q) = 11*m(q) + 4*v(q). Let s be a(-5). Is 1 bigger than s?
True
Suppose 2*m = -m + o + 12, -5*o = m + 12. Let r be 3*m*8/(-60). Let q = 22 - 24. Which is greater: r or q?
r
Let s = -1 + -18. Let l = 15 + s. Is l less than or equal to -5?
False
Suppose -12*l + 12*l = -13*l. Which is greater: l or 8/47?
8/47
Let o be (2 - 5/2)*44/429. Is o > 0?
False
Suppose -2*d = -2*u + u - 15, -21 = -5*d - 3*u. Let n(h) = -3*h + 13. Let c be n(d). Let g = 3 + c. Is 4 greater than or equal to g?
True
Suppose 4*r + 2*t - 14 = r, -4*r = 2*t - 18. Suppose 2*h - r*h = 0. Are 2/147 and h non-equal?
True
Let m be ((-340)/15)/((-198)/162). Are 18 and m non-equal?
True
Let h = 393/11 + -4768/143. Which is smaller: 3 or h?
h
Let w = -66 - -123. Let t = -56.8 + w. Do -11 and t have different values?
True
Let f be ((-2)/5)/(60/(-6275)). Which is smaller: f or 42?
f
Suppose 4*j + 22 = 5*y - 9, -4*y + 2*j + 20 = 0. Let s be (-4)/(3 - 11) + (-5)/2. Let r = y + s. Which is smaller: 2/15 or r?
2/15
Let c be (10/485)/(11 - 10). Which is bigger: -1 or c?
c
Let a(m) be the third derivative of 7*m**4/8 + m**3/6 - 6*m**2. Let v be a(1). Let y = v - 25. Is -4 greater than y?
False
Let q(d) = 2*d - 32. Let r be q(17). Suppose w - u = -2*u + 2, -24 = r*w - 5*u. Which is smaller: -4 or w?
-4
Let q = -212.1 - -212. Is q smaller than -1.27?
False
Suppose -5*d = -16*b + 17*b + 5, 0 = -3*b. Are -2/1143 and d nonequal?
True
Let z be -6 + (-112)/(-18) - (-94)/(-342). Suppose 5*a - 7 = -4*u + 28, 0 = -u + 5. Let q = -4 + a. Which is greater: q or z?
z
Let n be (-168)/(-60) + -9 - 0. Let y be -5 + (-1)/2*2. Are y and n non-equal?
True
Let d(y) = -12*y**2 + 214*y + 39. Let z be d(17). Is 206 bigger than z?
False
Let x be ((-8)/9)/(-1) - (-80)/(-360). Does x = -51?
False
Suppose -1 + 2 = d. Let q = d - -5. Let y = -59 + 63. Is q bigger than y?
True
Suppose 6*s - 4*s = -4*j + 16, 0 = -5*s - j + 31. Let k = -0.04412 - 4.95588. Is s at least k?
True
Let j(k) = -4*k + 3. Suppose 0 = 7*p - 4*p - 9. Let y be j(p). Which is bigger: -10 or y?
y
Let y = 2 - 1. Let b be 2 - 3 - (y - 1). Let m be 8/(32/(-18)) - 10*6/(-24). Is m bigger than b?
False
Let h be (-2)/8 + 70/88. Let x be (-2 - -3)*4/1. Suppose 3*q - 7 = 4*f, 9 = x*q - 5*f - 0. Which is greater: h or q?
q
Suppose 2*t = 4, -2*t - 51 = -5*l - 355. Let q be (l/8)/1*8/10. Suppose 3 - 19 = 4*c. Is q at least c?
False
Let f be (3 - (11 + -6))*1/2. Is 150 greater than or equal to f?
True
Suppose 2 = 2*z - 0*z + 2*s, 2*s = 2*z - 14. Suppose 3*y = -g + 4, -z*g - g - 10 = 0. Is y < 3?
True
Let y = -1682.4 - -1679. Which is bigger: 3 or y?
3
Let i(q) = -2*q. Let s be i(-1). Suppose 7*u - 10 = 4*u + 2*r, -s*r = 10. Suppose -2*k + 8 = 0, -6*k + 3*k + 17 = 5*o. Which is smaller: o or u?
u
Let t = 14418/5 + -2897. Which is smaller: t or -12?
t
Let u(w) = 2*w + 11. Let d(j) = j + 5. Let g(t) = -7*d(t) + 4*u(t). Let r be g(6). Does 13 = r?
False
Let o = -195 + 281.8. Let u = -87 + o. Which is greater: -0.1 or u?
-0.1
Let g be -1 + -3*585682/459. Let h = -3829 - g. Is 0 at least h?
True
Let z(o) be the second derivative of 4*o**5/5 + o**4/4 - o**2 + 29*o. Let q be z(1). Do q and 17 have the same value?
True
Let n be 4 - -27*3/(-21). Let g = 326 + -1961/6. Let k = g + 1/6. Which is greater: k or n?
n
Let n be (-6 - -7808)/2*2/(-14). Let w = 556 + n. Does 0 = w?
False
Let w be (-62)/(-16)*(-3)/((-6)/4). Which is smaller: w or -1/4?
-1/4
Let f(x) = -2*x**2 - 15*x + 3. Let v(k) = -k**2 - k + 1. Let h(a) = -f(a) + 3*v(a). Let i be h(14). Is i at most as big as -27?
True
Let d(v) = -v**3 - 7*v**2 - 2*v + 3. Let z be d(-3). Let g = z - -19. Let x be (2/52)/(2/g). Is x != 1?
True
Let q(a) = -a**2 - 7*a + 12. Let m be q(3). Let g be (-3 + (-55)/(-15))/(3/m). Which is smaller: -5 or g?
-5
Let q = -1693 + 1703. Are 12 and q equal?
False
Let y = -8.74 + 2.107. Let u = -0.133 - y. Is u greater than or equal to -0.2?
True
Suppose -15*j - 13 + 118 = 0. Is j less than 17/5?
False
Let h = 0.01 + -10.01. Let p = 0.3 + 11.7. Let c = p + h. Which is greater: 0 or c?
c
Let i(a) = a**2 + 2*a - 13. Let f be i(-5). Suppose 3*d = -3*h - 45, d - f*d - 30 = -2*h. Is -22 greater than d?
False
Let z be 4/(-10) - (-11)/(-10). Let p(m) = 2*m**2 + 3*m + 2. Let s be p(-2). Suppose -1 = -2*n + 3*g + 5, -s = -4*n + 4*g. Which is smaller: n or z?
n
Let y be 2007/36 + (-6)/8. Let x be 24/11 - 10/y. Let i be -2*(x + (-12)/8). Is i at most 2/23?
True
Let x be