n - 4. Let a be w(8). Let z be ((-2)/(-6))/(a/(-96)). Let h be (35/z - 4)*2. Is h greater than 0?
True
Let f = -19535 + 449307/23. Let w = -2 + 3. Which is smaller: w or f?
f
Let f = -430 + 2581/6. Which is smaller: 0.1 or f?
0.1
Let o = -7757/11 + 705. Which is bigger: o or -0.041?
-0.041
Let x = -2.2 - 35.8. Let r = 39 + x. Let g = -6.8 - -6. Which is smaller: g or r?
g
Let a be 938/1630 + (-51)/85. Are 0 and a equal?
False
Let b = -70 - -85. Suppose -3*y = -f + b, 26 = 2*f - 0*y - 4*y. Which is smaller: f or 0.06?
0.06
Let f = 206 + -408. Let w be 2/10 + 45305/225. Let c = w + f. Is c at least as big as -0.1?
False
Suppose -63 = -2*a - a. Let h(d) = -110*d - 3169. Let k be h(-29). Is a greater than k?
False
Let h be (-20)/(-88)*(-3 + 46/10). Let f = 8 + -14. Let g = 4 + f. Is h != g?
True
Let y = 31.7 + -33. Let f = -45 - -43.7. Let d = y - f. Is 2/7 at most as big as d?
False
Let h be ((-66402)/1036)/((-2)/(-20)). Let l = h - -641. Which is bigger: -1 or l?
l
Let n = -1 + 1. Suppose n = -0*y - 5*y - 5. Let u be (-2)/(-6) - (-2)/(342/(-75)). Are y and u non-equal?
True
Let r(p) = 7*p**2 + 3*p. Let i be r(4). Is i equal to 124?
True
Let l = -2123 + 78546/37. Which is bigger: -1 or l?
l
Let c = -177 + 168.01. Let z = c - 0.01. Let g = z - -8. Is -0.4 less than g?
False
Let k = 1.7 + -2. Let u = -5.3 + 5. Let s = u - k. Is -1/9 < s?
True
Suppose -2*i = 2*i + 12, 30 = -5*c - 5*i. Let h = -1589.93 - -1590. Which is smaller: h or c?
c
Suppose 5*x + 4*n + 4 = -0, 3*n + 3 = x. Which is greater: x or 25/23?
25/23
Let g(n) = n**3 + 13*n**2 - 11*n + 17. Let b(x) = 12*x**2. Let i be b(-1). Suppose -w - 26 = -i. Let o be g(w). Is -25 >= o?
True
Let r = -3 - 2. Let c be (4/5)/(r/25). Let v(w) = 2*w + 14. Let y be v(-9). Is c smaller than y?
False
Suppose 39*g + 6420 = 24*g. Which is bigger: 0 or g?
0
Suppose -130 = -4*v - 2*m, 5*v = -3*m + 94 + 67. Which is smaller: v or 32?
32
Suppose 3 = 3*g + 6. Let t be (24/(-7))/(g/7). Let z be 2/(-8)*(t + -13). Which is greater: -3 or z?
z
Let m(x) = x**2 - 1. Suppose 6 = -2*s + 2. Let t be m(s). Suppose -28 = 3*h + 5*z, -t*h - 18 = z + 2*z. Which is smaller: -4/3 or h?
-4/3
Let m = 21 - -6. Suppose 2*h + 8 = n - m, -4*h = -n + 71. Is h greater than -19?
True
Let q be -3*((-155)/45)/1. Let f = -732/11 - -1877/33. Let x = f + q. Is 2/5 less than x?
True
Suppose -10*o = -6*o - 60. Let n(g) = 2*g - 12. Let i be n(o). Which is greater: i or 17?
i
Let g = 586 - 585.9. Let f = 3 + -2. Is g greater than f?
False
Let w(c) = c**2 + 16*c - 89. Let f be w(-20). Let a(r) = -r - 2. Let v be a(-4). Let o be (1 - 2)/(v/14). Which is smaller: o or f?
f
Let k(n) = n + 6. Let s be k(0). Suppose -2*b - 1 = 2*l - 81, -l - 4*b = -34. Suppose -3*i - l = -57. Is s != i?
True
Let k = -2 - -22. Suppose 40 + k = 4*u. Is -0.1 not equal to u?
True
Let k = 0.913 - 0.713. Is k greater than or equal to 195?
False
Let c = 10 - 17. Let l be 2 + -4 - (88/66 - 4). Which is greater: c or l?
l
Let l = 2.9 + -3.38. Let y = 0.8 + l. Let s = y - 0.4. Which is smaller: s or -1/4?
-1/4
Let b(r) be the first derivative of r**2/2 - r + 5. Let h be b(1). Let p = -1/15 - 17/45. Are h and p equal?
False
Let u be (66/(-9))/(26/(-6) + 4). Is 22 < u?
False
Let m be (-12)/40 + 42/(-60). Are m and -9/89 nonequal?
True
Let a = 2/675 + 1324/8775. Let c be (-2)/(1*(4 + 1)). Which is greater: c or a?
a
Suppose 0 = 4*v - 3*w - 12, -2*w + 15 = 5*v + 3*w. Let g = 6 - 8. Let j = g + v. Do 1/3 and j have different values?
True
Suppose -2 = 5*q - s, 0 = -2*q + 3*s + 2 - 8. Let l be (-28920)/1155 + 19 - 6*-1. Is l greater than q?
False
Let b be 4/(-10) + (-77)/(-5). Let g = -1153 + 1164. Suppose -h + v + 3*v + g = 0, b = -5*v. Does -2/15 = h?
False
Let n = 83 + -72. Let q be (n/26 - 12/24)/(-3). Let s be 2/(-3) + (-3)/9. Which is bigger: q or s?
q
Let k = 12.734 + 0.266. Are -7 and k equal?
False
Let z = -1.4 - -1.49. Let h be 1/5*(4 + -2). Is z not equal to h?
True
Suppose 1026 = -13*o - 2913. Do -302 and o have the same value?
False
Suppose -3 = -13*y + 16*y. Let u be (y - 1)/(-1 - -2). Is u < -20/9?
False
Let s = 266 + -266. Is 131 greater than s?
True
Let t(v) = -38*v - 1. Let s be t(-5). Let r be (s/2)/3 - 4. Let l = 27 - r. Which is greater: 0 or l?
0
Let q = 117 + -118. Let c be 1/1 - 2 - 3*q. Is c greater than 15/14?
True
Let v = 32519171/25304580 - 109/36995. Let n = -27/19 + v. Let d = -1/36 + n. Which is smaller: d or -0.2?
-0.2
Let q = -5 + -19. Let x = -25 - q. Let g be (-2)/6 + x/(-3). Which is greater: 9/8 or g?
9/8
Let m(l) = 2*l + 28. Let q be m(-17). Let h be (-26)/q - (-6)/9. Do 1 and h have the same value?
False
Let u be (-24)/(-231) - 20/70. Suppose 1 + 3 = 4*h. Let q be h*3/(-9)*0. Is u bigger than q?
False
Let n = 0.02 - 0.22. Suppose -k + x + 2 = 0, 4*x = -3*k + 28 - 8. Which is smaller: n or k?
n
Suppose -1242 = d + 5*o, -3*d = -0*o + 4*o + 3726. Is -1242 < d?
False
Let p be (-412)/384 + 2/(-6). Which is smaller: -1 or p?
p
Suppose -4*o + 2*o = 3*l + 44, -3*o + 4*l = 49. Is o < -17?
True
Let h be -2 - 1/1 - 25. Let n be 169/h - 6/(-21). Do n and -6 have the same value?
False
Let r(k) = k**2 - 7*k + 8. Let a be r(2). Let l be (-16 - -12)*(-1)/a. Is l < -12/13?
True
Let w = -6 - -6.2. Let u = 0.04 - w. Let p = -47 + 47. Which is greater: u or p?
p
Let g = 868/9 + -97. Is -0.08 bigger than g?
True
Let y = 2033/9 - 227. Which is bigger: -1 or y?
-1
Suppose -5*o - 10 = 3*x, -3*x - 4 = 13*o - 11*o. Is x less than or equal to 1/238?
True
Let z = -4888 + 953162/195. Let k be 1*(-2)/(-4) - 0. Is z at least as big as k?
False
Let l(d) = -3*d - 12. Let m = -18 - -12. Let t be l(m). Suppose -2*y + t = 10. Is y bigger than -2/3?
False
Suppose -3*d + 13 = -44. Suppose 0 = -4*k + 29 + d. Let l(a) = -a**3 - 2*a**2 - a + 1. Let u be l(-3). Is k at least u?
False
Suppose -17 = -3*k - 5*y + 20, -8 = 3*k - 4*y. Is k less than or equal to 7?
True
Suppose -5*d + 46 = -3*u - 37, -5*u = -d + 21. Do 16 and d have the same value?
True
Let f = 108 - 96. Suppose 0 = 6*p - 18 - f. Is 1 != p?
True
Suppose 2 = -t + 2*t. Suppose -u + 12 = u. Suppose u = t*h - 0. Is 3 < h?
False
Suppose -4*h - w - 35 = -h, -4*w = 20. Let g = h + 11. Suppose -l = -o - g, 3*o + 13 = 5*l - 0. Which is bigger: l or 3?
l
Let f(s) = -56*s - 14*s + 3 + 29*s. Let l be f(1). Are -38 and l unequal?
False
Let f(c) = c**2 + 21*c + 17. Let r be f(-13). Which is greater: r or -86?
-86
Suppose -2*m = 4 - 4. Let o be 2 - (-1)/(2 + -3). Suppose o = -5*r - 4. Which is greater: m or r?
m
Let a = 51 + -48.6. Let x = -2.5 + a. Which is greater: -15 or x?
x
Suppose -p = m, -3*p - m = -3*m - 15. Suppose p = -6*c - 21. Let n be (-1*1)/1 + -1. Which is bigger: n or c?
n
Let o be 16/(-22) - 168/616. Which is smaller: 11/58 or o?
o
Let g = 2.5 - 2.3. Let n = -3 - -2.92. Let k = n + -0.02. Which is smaller: g or k?
k
Let f(r) = -r**3 - r**2 + r + 1. Let y be (-7 + (5 - -5))*2/(-3). Let j be f(y). Which is smaller: 7 or j?
j
Let i = -277 + 278.8. Which is smaller: -1/3 or i?
-1/3
Let n be (1 - 7) + ((-42)/1 - -3). Which is greater: -10 or n?
-10
Let j be (-13)/(3/(-3)*-1). Which is smaller: -17 or j?
-17
Suppose 4*z + 48 = 4*y, 0*z - y - 48 = 4*z. Let a be z/(-20) - (-52)/5. Let o be (11 - a)/(1 - 0). Which is smaller: 0.01 or o?
o
Suppose d = 2*d. Suppose -5*o - 12 + 37 = d. Let h be -1 + (-2)/(-2)*3. Which is smaller: o or h?
h
Let r be 1/7*147/42. Let k = 0 - -4. Let v(a) = -a - 1. Let w be v(k). Do r and w have different values?
True
Suppose 94*p = 105*p - 121. Is p > 162/13?
False
Let m be 108/(-20) - (-1)/(3/12). Which is smaller: 0 or m?
m
Suppose -6*p - 105 = -111. Is 1/93 less than p?
True
Let v be (-1 + -1 + 1)*1. Let l(r) = -6*r**2 - 9*r**2 + 0*r + r + 3*r**2 - 2*r. Let h be l(v). Which is greater: h or -19/2?
-19/2
Let j = -1 - -34. Let k = j - 25. Does 8 = k?
True
Let h be (30/8)/3*-23. Let s = h - -29. Let p = -1.2 - -1.5. Which is bigger: p or s?
p
Let s = 0.7 + -0.6. Let o = 0.5 + -0.3. Let m = o - s. Which is bigger: m or 3/7?
3/7
Let a = -2328 + 18667/8. Are 6 and a unequal?
True
Let w be 4/10 + (-159)/(-15). Suppose -25*f + 19 + 3 = -23*f. Is f at most w?
True
Let l be 10/15 + -11558*74/(-606). Let o = -1412 + l. Which is smaller: 0 or o?
0
Let c(z) = -z**3 + 11*z**2 - z - 13. Let p be c(9). Let s be p/(-6