05. Is 1 < p?
False
Let f = -11/12 - -79/12. Is 1 equal to f?
False
Let i = 0.2 - 0.9. Let u = 0.3 - i. Let f be 1 - -1 - (3 - 2). Is u equal to f?
True
Let f(t) = -t - 2. Let s be f(-3). Let k be 8/(-116) + 1 + -1. Which is greater: k or s?
s
Let z = 53/63 - 5/9. Let o = -1 + 4. Which is smaller: z or o?
z
Let c = 27 + -283/11. Is 1 less than c?
True
Let s(b) = b + 14. Let t be s(-7). Which is smaller: -1 or t?
-1
Let z = 43 + -41. Is z > 6/11?
True
Let w be ((-4)/42)/(2/(-3)). Suppose -5*y = -11 + 1. Let i = y + -1. Which is smaller: w or i?
w
Let y = -100 - -99. Which is smaller: y or 17?
y
Suppose 20 = 4*f + f. Is 5 greater than or equal to f?
True
Let f(s) = -3*s + 2. Let b be f(2). Let c be 1*b/2 - -9. Let m be (c/21)/(1/3). Which is bigger: m or 2/7?
m
Suppose 0 = 4*a + 3*q + 2*q + 101, 2*a + 2*q = -50. Is -24 bigger than a?
False
Let m = -3.9 + -1.1. Let j = 4 + m. Let r = -23 - -47/2. Which is greater: r or j?
r
Suppose -2*n - 5*p + 7 = -4*n, 0 = 3*n + 2*p - 18. Let i be -1*n*2/(-4). Suppose s + 1 = 3. Is s <= i?
True
Let t(k) = -4*k - 3. Suppose -3 - 7 = 5*v. Let r be t(v). Is 5 greater than or equal to r?
True
Let u = -0.21 + 0.01. Let d = 31 - 34. Which is bigger: u or d?
u
Let l(h) = -h**3 - 3*h**2 - 3*h - 3. Let j be l(-2). Let g = -5 + 9. Let t be g + -1 - (2 - 0). Which is smaller: j or t?
j
Let q = 57749/854 - 285/122. Let c = q + -65. Which is smaller: -1 or c?
-1
Let h be 2/10 + (-152)/10 + -3. Are h and -18 unequal?
False
Let r = 14 + -7. Suppose 49 - r = 7*o. Is o > 4?
True
Let b(n) = -n - 1. Let p be b(-2). Let i be (-88)/(-42) + (-1 - p). Let k = 5 - 4. Which is smaller: i or k?
i
Let d = 56.93 - 0.93. Is -1 at most as big as d?
True
Let j = -632755786762/24269819 + 4/3467117. Let k = j + 26126. Let d = k - 54. Which is smaller: d or 1?
d
Let l be (-2783)/(-92) - 1/4. Which is smaller: 31 or l?
l
Let f(c) = -c**2 - c - 1. Let r be f(-2). Let i be 1 + (r - (-18)/21). Suppose 2*q + 0*t + 5*t - 16 = 0, 3*q + 22 = 4*t. Are q and i non-equal?
True
Let l(z) = 10*z - 5. Let o be l(4). Let a be (-4)/o + (-2)/(-5). Let f = 1 + -1. Which is greater: a or f?
a
Let v = -12 + 11. Let n be (-3 - v)*15/10. Which is bigger: n or -2?
-2
Suppose 3*s - 3*q = 27, 4*s + 2*q = 9 + 3. Suppose 0 = -4*g - 4*a - 0 + 4, -g = -s*a - 25. Is g <= 5?
True
Suppose 3*g = 2 + 13. Let m be 2/6 + 68/12. Is m < g?
False
Suppose 5*v + 22 = 2*w - 7, -4*v - 14 = 3*w. Suppose 0 = -3*n - 0*n + 15. Let y = -4 + n. Which is smaller: w or y?
y
Let k = 29.2 - 29. Are k and 7 nonequal?
True
Let p(w) = -10*w - 5 - w**2 + 2 + 4*w. Suppose 3*c + 2 + 16 = 0. Let k be p(c). Is -4 greater than k?
False
Let t = -24 - -22. Let m be 7 - (1 - -1)*t. Does m = 9?
False
Suppose 0 = 5*s - 10*s + 65. Are 8 and s non-equal?
True
Let d be (1 - 5/(-2))/(11/22). Which is smaller: 4 or d?
4
Let h(s) = 8*s - 2*s**2 - 2 + 0*s - 4. Let i be h(5). Let m be 6/8 - 4/i. Which is smaller: m or -2/5?
-2/5
Let p be 3/(-36)*(-2)/3. Is 0 less than p?
True
Let x(n) = 2*n**2 + 22*n + 1. Let t be x(-4). Are t and -55 equal?
True
Let c be -3 - 0 - (-1 + 9). Which is bigger: -12 or c?
c
Let v(s) = -2*s**3 + 4*s**2 - 4. Let c be v(3). Let f be (-6)/(-15) - c/(-30). Let u(k) = k + 6. Let x be u(-5). Is x >= f?
True
Let v(j) = j**2 - 7*j. Let w be v(7). Let n be -1 - (w - 1)*-1. Which is smaller: n or -1?
n
Suppose 0 = j - 5 + 8. Let s = j + 10. Is 7 smaller than s?
False
Suppose -3 = 3*g + 24. Let j = 30 + g. Let t be 0 - (-1 + 27/j). Is -2/9 != t?
True
Let z(g) = 8*g**2 - 10*g + 9. Let k be z(4). Which is greater: 98 or k?
98
Let g = -0.03 - -0.08. Let w = g - -6.95. Which is bigger: -1 or w?
w
Let q = 3.88 - -2.03. Let a = -0.09 - q. Which is greater: 1 or a?
1
Let d = -0.4 - -1.4. Let a = -0.4 - 0.4. Let m = -1 - a. Is d > m?
True
Suppose -o = 2*z - 2, -5*o + 0 = -4*z - 10. Suppose 0 = -z*n + 3*n. Let y(s) = s**3 + s**2 + s. Let h be y(n). Is 1 at least h?
True
Suppose 2*c = 2*n - 4*n + 28, 3*n - 33 = -2*c. Let r be -1*(-2 + 3) - -11. Which is greater: c or r?
r
Let v = -0.09 - -0.09. Which is bigger: 18 or v?
18
Let p = -3 + 4. Let m be -3*p - (0 + -2). Let b = -3/11 + -2/33. Which is greater: b or m?
b
Let l be 0 - 0 - (-18)/33. Let v be (2 - 8)*(-3)/9. Is l greater than v?
False
Suppose b - 10 = -0*b. Let k be b/(-15)*6/(-4). Which is greater: 3 or k?
3
Suppose -5 - 1 = -4*j + 2*v, 4*j - v - 3 = 0. Are -12/11 and j unequal?
True
Let r be 5/40*(9 - -1). Which is smaller: -1/3 or r?
-1/3
Let o = -6.3 - -6.6. Let s = -0.4 + 0.2. Is s bigger than o?
False
Let a = -5.97 + -0.03. Let h = -8 - a. Let r = 3 - 3.2. Which is smaller: h or r?
h
Let d = 180.45 - 181. Is 2 greater than d?
True
Let l = -2/195 + 1/13. Which is smaller: l or 0?
0
Let m be (-4)/12*(282/8 + -3). Which is greater: -10 or m?
-10
Let p = -0.2 - -0.2. Are 15 and p equal?
False
Let m be 19/(-10) - 2/(-1). Let v(n) = -n**3 + 14*n**2 + 16*n - 14. Let a be v(15). Is m less than or equal to a?
True
Let d = -201 + 200. Is 2/65 equal to d?
False
Suppose -237 = o - 63. Let h = o + 266. Let s = -280/3 + h. Is s at most as big as -2?
False
Let x = -15 + 15. Which is smaller: x or -1?
-1
Let o = -2/9 - -5/9. Is o at most 5?
True
Let t be ((-3)/(-2))/(0 - -3). Let l = 14 - 14. Let x be 0/(-1) - (l - 2). Which is smaller: t or x?
t
Let p be 3*3/(513/58). Let s = p + 6/19. Which is greater: s or 1?
s
Let v(y) = 5*y**3 + 2*y**2 - 3*y - 2. Let x be v(-2). Is x > -28?
False
Let m = 16 - 16. Suppose -q - 2*v + 18 = -m*q, 2*v - 30 = -2*q. Is 12 less than or equal to q?
True
Let s(r) = -r**2 + 5*r. Let c be s(6). Let z be 2/(-2)*1/c. Suppose 10*h - 6*h = 0. Which is smaller: h or z?
h
Let o(d) = -d**3 - d**2 + d + 1. Let w be (-2)/(-3) - 6/9. Let u be o(w). Let j = 22 + -19. Is j less than u?
False
Suppose -x + 2 - 34 = 0. Do -32 and x have the same value?
True
Suppose -2*v + 5*p = -v - 43, v + 4*p = -2. Is 19 less than or equal to v?
False
Suppose -t + 18 = 8*t. Does t = -1?
False
Let d = -183 - -182.01. Let q = d + -0.01. Is 0.3 at least as big as q?
True
Suppose -2*t - 4*n = -4, 0 = t - 3*n - 26 + 4. Let o = t + -6. Let v(w) = w - 5. Let f be v(o). Is 0 at least f?
True
Let z = 17 - 22. Is 1/3 bigger than z?
True
Suppose -h + j - 14 = 0, j - 54 = 5*h - 0*j. Let t(z) be the first derivative of z**4/4 + z**3/3 + 2*z**2 + z - 3. Let y be t(-2). Which is greater: h or y?
h
Let k = -4 - -7. Let o = k - 4. Is o >= -4?
True
Suppose -r - 4*r = -10. Suppose 2*x + r*j - 30 = 0, -4*x = 2*j + 3*j - 58. Let i = x + -12. Are i and 3 nonequal?
True
Let c = -2 - -1. Suppose 4*x - m - 3 = 0, 2*x + 4*m - 17 = 7. Let y be -1 - (0/(-2) - x). Which is smaller: y or c?
c
Let w(f) = f**2 + 10*f + 14. Let v be w(-6). Which is smaller: -57/5 or v?
-57/5
Let i = -1/1162 - -106907/3486. Let s = -30 + i. Which is greater: 1 or s?
1
Let s be (-32)/(-26) + 1 + -2. Let k = 24/65 + s. Which is greater: k or -0.1?
k
Let j = -77 - -81. Is 1/6 at least as big as j?
False
Let j be (-3 - -5 - 1)*-2. Which is smaller: j or -4?
-4
Let j = 0.1 - 0. Let u = 1.7 + -2. Let c = u - j. Which is greater: 0.1 or c?
0.1
Let f = 17.77 - 18. Let w = 0.77 - f. Which is smaller: 8 or w?
w
Let k be 10/(-8)*36/(-153). Is k less than or equal to 0?
False
Let f(b) = b**3 + 10*b**2 + 8*b - 11. Let l be f(-9). Let k be -2*1/(l/3). Let p be ((-6)/(-5))/(k/(-15)). Is p not equal to -5?
True
Let s be (2 - 0/(-3))/(-2). Let y(d) = d + 4. Let p be y(0). Let w be (3 - p)/(s - -2). Is -1 < w?
False
Let q be ((-6)/(-15))/(16/(-10)). Which is bigger: 1/5 or q?
1/5
Let z = 1 - 0. Let c be -3*(-2)/8 - (-21 - -21). Is z < c?
False
Let j(h) = 0*h - 2*h**2 + 5 + 3 - 8*h - 4. Let q(m) = -m**2 - 4*m + 2. Let u(v) = -3*j(v) + 5*q(v). Let s be u(-4). Which is smaller: s or -6/5?
s
Let z be 0/2 + 55/217. Let i = 1/31 + z. Is i < 0?
False
Let b be (-23)/(-63) - 19/133. Is -3.3 < b?
True
Suppose -3 = -3*f, 17 - 7 = -4*m + 2*f. Let o = 1 - m. Let u = o - 6. Is 0 at most as big as u?
False
Let p = 6 + -8. Let h = p + 3. Let c be (-74)/(-120) - 9/12. Do c and h have the same value?
False
Let c = -0.336 - 0.664. Suppose 5*t - 3*h = -56, -4*t - 2*h = 41 + 17. Are c and t equal?
False
Let k = 0.05 + 0.91. Let j = k + -0.06. Which is smaller: 1 or j?
j
Let q = 0.19 + -0.09. Let l = q + -1.1. Which is greater: -1/7 or l?
-1/7
Let z = 