at least as big as c?
True
Suppose 5*p - 10 = o, 2 = 3*p - 2*p - 3*o. Let g(k) = k**2 - 2*k + 2. Let m be g(p). Let u be ((-6)/9)/(m/3). Which is bigger: -2 or u?
u
Let m(q) = -q - 12. Suppose -5*r - 26 = -3*r. Let y be m(r). Which is bigger: y or 5/12?
y
Let c(a) = 3*a**3 + 7*a**2 + 8*a - 7. Let u be c(-3). Is u >= -48?
False
Let c = 20 + -8. Let y be 6/c*(4 - 2). Let z be ((-2)/(-3))/(y/(-1)). Is z less than -2/17?
True
Let y = 1.02 - -3.25. Let x = -4.3 + y. Is 1 at most as big as x?
False
Suppose -5*k - 5*j = -70, j + 56 = -8*k + 12*k. Is k >= 12?
True
Let v be (-71)/(-1 - (1 + -3)). Let k = v + 139/2. Which is bigger: 0.04 or k?
0.04
Let l = -26 + 54. Let i be 8/l - 99/(-21). Suppose 3*v + 14 = i*v. Which is bigger: 8 or v?
8
Suppose 2*i - i = 1. Suppose 0 = -0*d + 4*d + 800. Let o = 1804/9 + d. Are i and o nonequal?
True
Let w = -6 - -44. Let c = w - 37. Is c less than or equal to -16?
False
Let b = 133 + -112. Let m be (b/6)/(-1 - (-1)/2). Are m and 3 equal?
False
Suppose -k - 3*h = 5, 3*k + 0*h = -3*h - 9. Let l be (-3 - k - 2) + -4 + 6. Which is greater: 4/39 or l?
4/39
Let f(i) = 2*i**2 + 15*i + 9. Let m be 28/16*-2*2. Let r be f(m). Let x be 6/(-1)*7/(-35). Is r bigger than x?
True
Let b = 32524/7 + -4658. Which is smaller: -12 or b?
-12
Let k = -0.5 - -0.3. Let p be -4*(15/(-6) - -2). Suppose -p*l - l - 6 = 0. Which is smaller: k or l?
l
Suppose -3*m + 2*m = -3, -s + 4*m = -3. Suppose -20 = -5*r - s. Is r not equal to -13?
True
Suppose -10 = -5*p - 5*j, 1 + 3 = 4*p + 2*j. Suppose -24 - 4 = -4*o. Suppose -4*z = -a, 3*a = 5 + o. Which is greater: p or z?
z
Let o be (-1 - (0 + -3))/1. Suppose o*h = 5 + 5. Let a be 1/h + 413/(-315). Is -2 bigger than a?
False
Let a(h) = -2*h - 85. Let m be a(-30). Is m at most as big as 3?
True
Let t = 43015/24 - 1792. Let q = -19/24 + t. Is 68 less than q?
False
Let k = 17 - 9. Let b be (-4)/(-8)*k/4. Is b < -1/30?
False
Let h be 1*(-3)/((-36)/(-3)). Let i be -2 - (0 + 98/2). Let d be i/42 + 3 + 6/(-4). Which is smaller: h or d?
h
Suppose -z = -0*z. Suppose z = -17*x + 13*x. Let a = -514/1915 - -2/1149. Which is greater: a or x?
x
Let w be (-20)/(-50)*(12 + -2). Let d(q) = q - 4. Let o be d(w). Are -3 and o nonequal?
True
Let f(a) = 2*a**2 + 6*a - 4. Let u be f(-3). Let z = -179 - -179. Which is greater: z or u?
z
Let k(w) = -20*w + 578. Let v be k(29). Which is greater: -29/27 or v?
-29/27
Suppose -5*k = -0*k - 8*k. Is 2/159 >= k?
True
Let y(u) = 14*u + 69. Let o be y(-6). Let k = o - -13. Which is bigger: k or -17/8?
k
Let p = -115.1 - -115. Which is bigger: p or 0.3?
0.3
Let f = 34 + -32. Suppose -5*m - f = -3*m. Let n = -29/25 - -11/225. Which is bigger: m or n?
m
Let s(x) = x**3 - 6*x**2 - 7*x - 7. Let l be s(7). Suppose -633 = 116*t + 404 - 109. Which is smaller: t or l?
t
Let u = -526 - -526.177. Is u bigger than 0.1?
True
Suppose -4*q = -9 - 7. Suppose -2*g - 3*s = -q - 11, 5*g = 5*s + 100. Let y be (-7)/(-7) - 16/g. Is -1 greater than or equal to y?
False
Let a(p) = -2*p - 16. Suppose -15 = -0*g + g. Let z be a(g). Suppose -24 - 44 = 5*b - 4*n, -2*b = 5*n + z. Is -13 bigger than b?
False
Suppose 0 = -3*h + q + 446, 0 = -4*h - 2*q + 537 + 71. Which is smaller: 152 or h?
h
Let d(l) = l**2 + 11*l + 14. Let u be d(-10). Suppose u*f - 5*m + 4 = 0, -2*f - 5*m = -0*m - 28. Suppose f*r - 57 = 3*q + 17, 4*r - 2*q - 72 = 0. Is r >= 18?
False
Let f(j) = j**2 + 20*j - 475. Let t be f(14). Which is bigger: 2/1767 or t?
t
Let p = 0 + 0.02. Let f = 0.15 - 0.07. Let d = p + f. Is -0.26 at most as big as d?
True
Let n = 47 - 91/2. Let u(w) = 3*w**2 - w - 1. Suppose 4*g + 5 = 1. Let z be u(g). Is n at most as big as z?
True
Let q(n) = 7 - 15 + 8 - n**2. Let z(s) = 6*s - 6. Let r(c) = 2*q(c) - z(c). Let u be r(-5). Which is smaller: u or -13?
u
Suppose 5*m - 100 = -3*x - 25, -2*m + 30 = -x. Let g = 14 - m. Is g less than 2/11?
True
Let i be (-2)/4 + (-342)/(-668). Let x = 1177 - 1177. Is i < x?
False
Let a = -18 - -17.7. Let q = 120636 + -28711293/238. Let b = 1/34 - q. Is a bigger than b?
False
Let f = -1756 + 1812. Is f bigger than 52?
True
Let a(n) be the first derivative of n**5/4 + n**3/3 - n**2/2 + 5*n - 2. Let u(z) be the first derivative of a(z). Let v be u(1). Which is smaller: 2/3 or v?
2/3
Let h(u) = u**2 + 6*u + 2. Let p be 3 + (0 + 0 - 0). Let g be h(p). Let s = -26 + g. Is s greater than 2?
True
Let z = -29 - -28. Let c be ((-46)/11 + 4)/z. Is 1 smaller than c?
False
Let z = -27.37 + -0.63. Let w = -27.97 - z. Which is smaller: 0 or w?
0
Let y be 8/6*(-42)/20. Is y at most as big as -2/11?
True
Let q be -1 + 4/7 + (-1242)/10626. Which is smaller: q or 3.3?
q
Let h = 28.1069 + -0.0069. Let z = -28 + h. Which is greater: z or 6/11?
6/11
Let g = 5900 + -784712/133. Which is bigger: g or -1?
g
Let q = 1044 - 300. Is 746 equal to q?
False
Let m(u) = -21*u + 180. Let v be m(10). Is -31 less than v?
True
Let m(z) = 67*z - 401. Let u be m(6). Which is smaller: -18/137 or u?
-18/137
Suppose 15*m = 21*m + 618. Let q = 150 + m. Which is greater: q or 45?
q
Let c be 0 + (-4 - 1 - -35 - -4). Which is smaller: c or 35?
c
Let y(v) = v**2 + 4*v - 6. Let j be y(-6). Suppose 2*w = j*w - 20. Let u(i) = -i**3 + 8*i**2 - 16*i. Let o be u(4). Which is greater: o or w?
w
Suppose -2*x - a = -2*a - 11, -4*x + 17 = -a. Let f be 15/99 - 1/x. Let l = 4574 + -4575. Is l at most as big as f?
True
Let m be (-32)/4 + (0 - 1). Let o = 7 + m. Let w be o/(-12) + (-175)/1554. Is w >= 1?
False
Let h be (0 + 0)/(-2) + 13. Let u(m) = -m**2 + 18*m + 20. Let k be u(19). Let s be 12/k - 0/(-31). Which is bigger: h or s?
h
Let w = -7271/393 - -1/786. Which is smaller: w or -19?
-19
Suppose 3*i = -13 + 10. Which is smaller: 6 or i?
i
Suppose -4*b = 7 - 23. Suppose -i + 4*n + 25 = -0*i, b*i = -4*n. Let t be ((-22)/(-77))/(16/280). Is i > t?
False
Let j be 2*22*2/4. Which is bigger: j or 17?
j
Let a = 19 + -14. Suppose 5*h = -k + 9, 7 = -h + a*h + k. Let f(n) = -n**3 - 8*n**2 - 8*n - 6. Let j be f(-7). Which is smaller: j or h?
j
Suppose -2*t - 19 = -11, 0 = -3*c - t - 298. Is -96 less than or equal to c?
False
Let d = 6 + -11. Suppose -a + 10 = -0*a + 5*b, -3*b + 34 = 2*a. Let j be d/a*(-8)/18. Which is greater: j or 0?
j
Let b = -692211674511/214855 - -3221762. Let m = b + 1940355513/1718840. Let k = m + -1127. Is k smaller than 3?
True
Let k be ((-25)/(-125))/((-1)/5). Let n be 2856/4221 + (-16)/6 + 2. Is k at least n?
False
Let w(l) = 3*l - 7. Suppose 4*u = -10*y + 5*y + 25, 5*y + 3*u - 25 = 0. Let p be w(y). Let j be 3*(-12)/(-9) + 20/4. Which is smaller: j or p?
p
Let q be 0 - 4 - (7 - (18 + -5)). Suppose 0 = x - 3*f + 7, -3*x + 7*f = q*f + 33. Which is greater: -7 or x?
-7
Suppose s + 10 = 6*s. Suppose l + 3 = -s*l. Let y be (l/25)/(2/2). Which is smaller: -1 or y?
-1
Let y(c) = c**2 - c - 144. Let z be y(0). Let r = -1294/9 - z. Let s = 0.548 + 1.452. Is s less than r?
False
Suppose -3*z + 0*z + 4*x = -1472, 2*z - 5*x = 979. Are z and 492 nonequal?
False
Let v be (-276)/5616 + ((-4)/9)/(-2). Is -1 not equal to v?
True
Let s(l) = l**3 + 8*l**2 - 9*l + 5. Let p be s(-9). Suppose -2*q = 4*m + 18, -3*m = p*q - 4*q + 13. Does -1/8 = q?
False
Suppose 5*w + 629 - 124 = -5*g, 0 = -5*w - 4*g - 503. Let d be (-202)/18 - 22/w. Is d less than or equal to -4?
True
Suppose 23 = k - 7*j + 2*j, -2*j = 6. Let v be (3*-1)/((-156)/k). Let b = 31 - 32. Do v and b have the same value?
False
Suppose n + 0*n = 4. Suppose 0 = 4*h - n + 8. Which is smaller: h or -2/13?
h
Let o = -2277 - -2277. Let t = -0.1 + 0.15. Which is bigger: o or t?
t
Let p = -685 - -671. Which is bigger: p or -26?
p
Let h(m) = m**2 + m. Let f be h(-6). Suppose -17*r + 15*r = -f. Suppose 4*a - 5*x = r, -a - 5*x - 25 + 10 = 0. Which is smaller: -2/7 or a?
-2/7
Let y = 2 - 2.2. Let i be 28/(-462) - 39/(-2277). Which is smaller: i or y?
y
Let p be (-33)/(-3)*(4 - 10). Let z = p - -79. Suppose 0 = -j + 3 + 10. Is z at least j?
True
Let t = 19 + -18. Let g be (-2)/(-6) - 9707/33. Let k = g + 294. Is k greater than or equal to t?
False
Let a be (-1)/20 + 3/(-15). Does a = 36?
False
Suppose o - 2*z + 10 = 0, -o + 2*z - 6 = -2*z. Let u(h) = h**3 + 13*h**2 - 16*h - 19. Let j be u(o). Let v = j + -17/2. Do v and 1 have different values?
True
Suppose -3*z + 3*a + 3 = 0, 2*a = -5*z + 13 + 27. 