e z(n). Let i be ((-4)/14)/(b/14). Is i > 2/13?
True
Let l(g) = g**2 - 10*g + 10. Let d be l(6). Which is bigger: d or -13?
-13
Let r = 28 - 30. Is -16 less than or equal to r?
True
Suppose 0 = 3*d + d. Let h(u) = -u + 1. Let q be h(d). Are q and -3/10 equal?
False
Let k = -283 - -8195/29. Which is smaller: k or 1?
k
Let w be 2/((2 + 0)/(-1)). Let x(h) = -h**3 - 2*h**2 + 2*h + 2. Let s be x(-2). Let d be s - -1 - (-2)/5. Do w and d have the same value?
False
Let y = -8 + 24. Suppose g + g = -y. Do g and -8 have the same value?
True
Let u be 3 + -2 + (-136)/138. Are 0 and u equal?
False
Let k = -2.5 + -4.5. Is 0 less than k?
False
Suppose -4*l = -5*m - 367, 2*l - m + 3*m - 170 = 0. Let v be 4/(-18) - l/(-72). Is 1/3 less than or equal to v?
True
Let m = -29 + 29. Which is smaller: 3/4 or m?
m
Let i = -1550/7 - -221. Are 0 and i equal?
False
Suppose -14 = -5*j - 0*j + 4*f, 3*f = -3*j + 3. Let h be ((-50)/27 + j)*3. Is h <= 0?
False
Suppose 2*h = 162 - 162. Is h equal to -5/14?
False
Let x be (382/(-39))/(7/(-15)). Let h = x - 258/13. Are 0 and h nonequal?
True
Let c be (0/1)/(-2 + 1). Let a be 1*(-2 + (2 - -1)). Let t be c*1*a/(-2). Which is bigger: t or 3/4?
3/4
Let n = 18 - 18. Which is greater: -1/2 or n?
n
Let k = 24 - 24. Suppose z - 3*s + 15 = -2, k = 2*z + 2*s + 2. Which is bigger: z or -7?
z
Suppose l = -3*z + 19, -29 = -5*z + 4*l + 31. Suppose -2*r = 4*n, -n = -5*r - z - 36. Is -8 at most r?
True
Let u = 0.03 + -0.33. Let g = 1.3 + u. Let k = -0.9 + g. Which is bigger: k or 3?
3
Suppose -3*r + r = -8. Let u(a) = a**3 - 5*a**2 + 6*a - 6. Let t be u(r). Suppose -2*m = -3*l - 12, 5*m + 2*l + 3*l = 5. Which is smaller: t or m?
t
Let s = -0.6 + 0.5. Let y = 7 + -1. Let c = 6 - y. Which is smaller: s or c?
s
Suppose -4*g + 12 = -7*g. Let z be (g/(-20))/(1/5). Which is smaller: 2/5 or z?
2/5
Let a be -7 - (0 - (-19)/(-3)). Let j = -1 - -1. Which is smaller: j or a?
a
Let v(q) = 0*q + 2*q - q - 2. Let z be v(4). Let u be 1*(z + 24/(-10)). Is u at most -0.1?
True
Let v be (2/(-14))/((-5)/(-55)). Let i = v - -1/7. Are i and -2 equal?
False
Let g be 4 - 4/(-222)*-219. Which is bigger: -1 or g?
g
Let x be (-2)/(-3) - (-40)/(-150). Which is bigger: x or -8?
x
Let f = 1 + -11. Let r be 2/(-6) - f/15. Which is smaller: r or -1?
-1
Let y(h) = -1 - h**3 - 3*h**2 - 4*h + 8*h + 2*h**2. Let f be y(-3). Suppose f*c = -0*c + 10. Is 3/2 >= c?
False
Let d(j) be the first derivative of -j**2 - 5*j + 2. Let k be d(-4). Do k and 5 have the same value?
False
Let z = 2 - 0. Suppose 4*c + 10 = z. Suppose -4*d + d - 4*y - 6 = 0, -2*y = 0. Is c smaller than d?
False
Let b = 1 - 1/2. Is b at least 0?
True
Let v(c) = 2*c**3 - 4*c**2 + 2*c. Let z be v(2). Suppose -z*n = n. Which is greater: -1/3 or n?
n
Let x = 0.8 - -0.2. Let f = -6.2 + 2.2. Is x bigger than f?
True
Let x = -308 - -1519/5. Is x not equal to -5?
True
Let i = -8 + 6. Which is smaller: i or -7/4?
i
Let y = -57 - -2. Is -56 equal to y?
False
Let a = -2.72 + 2.6. Let f = -0.28 + a. Is f >= -0.3?
False
Let o = 12 - 18. Let a be 0 + 0*2/o. Which is smaller: -2/45 or a?
-2/45
Let q(z) = z**3 - 10*z**2 + 9*z - 4. Let b be q(9). Is -19/5 at most b?
False
Let m be (-3 - (3 + -5))*1. Is m > 2/91?
False
Suppose 0 = -x - 4*x. Suppose 2*d - d = x. Suppose -8*y + 41 = 33. Is d at most y?
True
Let a be (2/(-6))/(2/(-12)). Suppose 0 = -a*n + 4*n + 6. Let v be (-2 - -2)/(n - -1). Is v at least -1/4?
True
Let o be -1 + (10 - (0 + 3)). Which is bigger: o or 5?
o
Let h = -13880/3 - -4771. Let d be (11/(-3))/(2/78). Let x = d + h. Which is bigger: x or 1?
x
Let j = -8 - -2. Let f be (j/(-3) - 5) + -2. Let u be f/(-10) + 3/(-2). Which is smaller: -2 or u?
-2
Let v = -97 - -871/9. Let q = -7.9 - -0.9. Is q bigger than v?
False
Suppose p = 2*t - 6, 0 = -5*p - 0*p + 3*t - 9. Let n be -2 - p - (-18)/8. Let m = -0.12 + -0.88. Are n and m equal?
False
Suppose 37*r = 11*r - 442. Are -18 and r nonequal?
True
Let a = 23 - 45. Let h = a + 21. Is h at least as big as 0?
False
Let l = 28 - 17. Is l <= 2/5?
False
Suppose o + 37 = 5*z, z + 0*z - 5*o - 17 = 0. Let m = z + 1. Is 9 >= m?
True
Suppose -5*w = -10*w + 90. Let v = w - 12. Suppose -m - m = v. Is -1 at least m?
True
Let b = -3 - -6. Suppose 7*j - 20 = 3*j. Suppose j*s = 2*h + 23, -s + 5 = 3*h - b. Which is smaller: h or -0.1?
-0.1
Let a = -0.06 - -0.06. Let k = a - -0.1. Is k not equal to -1?
True
Let d(c) = 2 - 9 + c + 1. Suppose -6*n + 2*n - 3*h = -20, -n + 5*h + 5 = 0. Let w be d(n). Which is smaller: -4 or w?
-4
Suppose -m - 15 = 4*m. Which is smaller: m or -2?
m
Let i = -87.7 - -78. Let j = i + 1.7. Do j and 0 have different values?
True
Let x(u) = -u**3 - 5*u**2 + 4*u - 10. Let j be x(-6). Is j less than -2/7?
False
Let q be 3 + -3 - (-2)/7. Let l be (-1)/(-2) + (-20)/(-40). Is l < q?
False
Let f be (1 - -3)/(4/6). Let t = f - 6. Is t not equal to 1/2?
True
Let m = -65 + 63. Which is smaller: 16 or m?
m
Let m = 68 - 31. Which is greater: 1/3 or m?
m
Let w(i) = i**2 + 4*i - 6. Suppose -10 = j + 2*j + 5*r, 15 = -2*j + 5*r. Let z be w(j). Is z > -1/5?
False
Let p be -1 - ((-1)/2 - 0). Let f(s) = s**3 - 10*s**2 - s + 8. Let d be f(10). Is d less than p?
True
Suppose 5*i = -3 + 43. Suppose 0*h - i = -4*h. Let u(f) = -f**3 - 15*f**2 + 1. Let a be u(-15). Is a less than or equal to h?
True
Suppose 5*m - c = 3*c + 20, 0 = 2*m - 5*c - 25. Suppose m*r - 3*r = -12. Is 4 > r?
False
Let g(t) = -t**2 + 6*t + 16. Let a be g(8). Is 1/9 greater than a?
True
Suppose 48 = -19*c + 15*c. Let h = -3 - c. Which is bigger: h or 10?
10
Let j = -0.2 + 0.23. Let x = 0.13 - j. Suppose 4*d + 3*m = -0*m - 27, 2*m + 16 = -2*d. Which is smaller: d or x?
d
Let u be 6/(-27) - 16/9. Let g be -48*u/46 + -2. Is 0 greater than g?
False
Let i = 86 - 600/7. Which is bigger: i or 1?
1
Let n = -68 + 67. Is -2/17 at least n?
True
Let m = -152 - -150. Which is smaller: -3/8 or m?
m
Suppose 0 = -4*f + 5*x - 4*x + 25, -3*f - x = -10. Are 25/7 and f nonequal?
True
Let o = -14.92 + 14. Let b = -0.08 + o. Let k be (2/(-4))/((-1)/6). Which is smaller: k or b?
b
Let w = 13 + -5. Suppose w = 5*i - 12. Suppose -5*k = -3*r - 15, 0 = i*r - k + 6*k - 15. Which is greater: r or 1/3?
1/3
Let l = 41 - 89. Let i be 6/14 - l/(-14). Is -4 bigger than i?
False
Let h be (-3)/(-4)*(0 + 4). Which is smaller: 13/3 or h?
h
Let z be -6 + 11 - (4 - 0). Which is smaller: z or -2/47?
-2/47
Suppose -7*a + 8 = 351. Is -49 != a?
False
Suppose -540 = -21*g + 12*g. Is g < 59?
False
Let a(g) = -g**2 + 5*g + 2. Let o be a(6). Let t(q) = q + 3. Let m be t(o). Is m < -1/4?
True
Let d(j) = -2*j + 1. Let y be d(-1). Suppose -5*s - h + y = h, 3*h - 17 = 5*s. Which is bigger: s or -7?
s
Let p(j) = -j**2 - 10*j - 10. Let m be p(-7). Let a(d) = d - 11. Let n be a(m). Let v be 1*5/((-30)/(-4)). Which is bigger: v or n?
v
Suppose 5 = 3*w - 10. Which is bigger: 2 or w?
w
Suppose -6 = -3*x - 0. Suppose 2*u - x = -0*u. Which is smaller: u or 2/63?
2/63
Let t(m) be the third derivative of -m**5/60 - 5*m**4/24 + 2*m**3/3 - 2*m**2. Let x be t(-6). Is -1 less than or equal to x?
False
Let y be 3*(2 + -1) - 4. Let r be 4/(0/y + -2). Do -2 and r have the same value?
True
Let w(z) = -2*z**2 + 49*z + 28. Let q be w(25). Is q less than or equal to 2?
False
Let z be (-6)/(-2) + (2 - 1). Suppose 0 = -5*g - 1 + 21. Suppose g = w + 5*c - 11, w - z*c + 3 = 0. Is 5 at least w?
True
Let t be (-6)/(-9) + 15/(-9). Do t and 3/14 have the same value?
False
Let d = 538 - 4852/9. Which is bigger: d or 0?
0
Let u(z) = z + 12. Let x be u(-10). Let r be (-45)/(-30) + (-3)/x. Which is smaller: r or -3/7?
-3/7
Let b = 0.2 + 1.8. Let y = 139 + -137. Is y > b?
False
Let o = -22 + 22.14. Let c = 1.86 + o. Which is greater: c or 1/3?
c
Let h(q) = 3*q - 3. Let o be h(0). Which is smaller: o or -15/4?
-15/4
Let q = 0.02 + -2.02. Which is greater: 2 or q?
2
Let w(q) = q - 3. Let n(d) = -2*d + 7. Let b(a) = 3*n(a) + 7*w(a). Let x be b(0). Which is bigger: x or 1/10?
1/10
Let s = 7 + -11. Let r = s + 2. Is -3 > r?
False
Let x = -30 - -61/2. Which is smaller: x or -4/7?
-4/7
Let g = -4 + -5. Let p = g + 9. Which is greater: p or -3?
p
Let a be ((-3)/9)/(5/(-3)). Let p(v) = v - 5. Let z be p(8). Suppose r = -z*r - 4. Is a greater than r?
True
Let u(w) = w + 4. Let p be u(-8). Let z be (p/10)/(2/(-30