5. Does -1 = k?
False
Suppose 0 = x + 6*x. Which is bigger: -9/11 or x?
x
Let w(c) = 7*c**2 - c**3 - 3 + c + 9 - 8*c. Let v be w(6). Do v and 0 have different values?
False
Let m be (0 - -3) + -5 + (-34)/(-12). Which is bigger: m or 2?
2
Let s be 2/(-1)*15/(-6). Is 5 greater than s?
False
Let c be 2*2 - ((-224)/(-7))/8. Which is greater: -9 or c?
c
Let p = -26 + 19.5. Let m = -7 - p. Is 1 at most m?
False
Let b = 1.4 + -1. Let v = 0.3 - b. Let s be (-2)/(-9) + (-50)/225. Is v != s?
True
Let k(q) = -q**2 + 3*q + 11. Let m be k(7). Is m equal to -1?
False
Let y(p) = -4*p + 11. Let x(h) = 2*h - 5. Let f(i) = -5*x(i) - 2*y(i). Let n be f(2). Let j be 9/(-12)*4/6. Which is smaller: n or j?
n
Let r = 0.26 + -0.43. Let q = r + -5.83. Which is smaller: 2 or q?
q
Suppose -4*d - 94 = -7*d + 2*w, 2*d - 4*w = 76. Let f = -58 + d. Let v be (-1)/(-3) - f/(-9). Which is greater: v or -2?
-2
Suppose -24 = 5*a - 2*a. Is a < -1/2?
True
Suppose 0 = -4*g + 3*g + 2. Suppose 5*t = g*t + 6. Let c = t - 3. Is c less than 1?
True
Let n = 16427/25 + -657. Which is greater: n or 0?
n
Let h = 35 - 32. Which is greater: h or 1?
h
Let q be (-2)/(-12) + 3/6. Which is smaller: q or 0?
0
Suppose 231 = 14*r - 133. Is r at most as big as 24?
False
Let h = -41 + 63. Let i = 20 - h. Is -1 at most as big as i?
False
Let w(k) = k**3 - 9*k**2 + 5*k + 20. Let o be w(8). Suppose 6 = d - n, -10 = -0*d - d + 3*n. Suppose 5*x = -0*x + 5, -d*r + 3*x = 19. Is o equal to r?
True
Let q = -2.02 - -0.02. Let s = -5 - q. Let b(o) = -o - 2. Let r be b(-1). Is r at most as big as s?
False
Let x be (-7 + 3 + 2)*-8. Do x and 15 have different values?
True
Let o be (-8)/(-42)*30/20. Is o > 0.08?
True
Let b = -1 + 0.92. Let g = b - 0.02. Which is smaller: g or -0.09?
g
Let j be -1 - 1 - (-8)/4. Is 3 bigger than j?
True
Let y be 12*(-3 - (-44)/12). Which is greater: 15/2 or y?
y
Let o(v) = v**3 - 8*v**2 + 9*v - 7. Let b be o(7). Is b less than 9?
True
Let h = -15992/39 + 410. Is h greater than 1?
False
Let i(z) = -z**3 + 5*z**2 + z - 4. Let n be i(5). Is n at least as big as -2?
True
Suppose -4*x + 11 - 7 = 0. Which is bigger: x or 4/11?
x
Let d(v) = v**3 + v**2 + 2. Suppose 2*h = -h. Let y be d(h). Which is smaller: 3 or y?
y
Let y = 0.57 - 0.17. Is y at most as big as -0.2?
False
Let x = 5 + -9. Let m = -2 + 6. Let b = m + x. Which is smaller: -1/2 or b?
-1/2
Let g(m) = -34*m + 5. Let w be g(-4). Let t = -22205/4 - -5411. Let f = t + w. Is 0 at most as big as f?
True
Let z = -274 - -13153/48. Is z less than or equal to 1?
True
Let h be 2/(-7) - (-531)/315. Are h and 1 equal?
False
Let t = -195 - -197.93. Let l = t + 0.07. Which is greater: l or 0?
l
Let o = -1824/149 + 234701/1341. Let p = 163 - o. Are p and 1 equal?
False
Let q(c) = -c**3 - 6*c**2 + 7. Let s be q(-6). Suppose 2*i + 15 = s*i. Let z = -603/5 + 121. Which is smaller: z or i?
z
Let q = 5 + -4.9. Let z = 1.9 + -2. Which is greater: z or q?
q
Let x be (-4 + 2)/(-1) + 1. Let l be (-50)/(-12) + (-1)/6. Which is smaller: l or x?
x
Let l(o) = 2*o**3 + o**2 + 5*o - 3. Let f(r) = -r**3 - r**2 - r. Let q(w) = -3*f(w) - l(w). Let h be q(-3). Let n = -356/5 + 71. Is n equal to h?
False
Suppose 2*u = 2*i + 4, -2*i - 6*u + u - 11 = 0. Let c = i - -6. Suppose -5*z = t + 6, 0 = 2*t - 3*t - c*z - 4. Which is bigger: t or -2?
t
Let m = -74 - -516/7. Suppose 2*q - 8 = 6. Suppose -2*p - q - 5 = 0. Do p and m have different values?
True
Let r = 35.64 + -35. Let x = r - 0.04. Let a = x + -0.4. Is a less than -0.1?
False
Let g(x) = -x**3 + 9*x**2 + 9*x + 9. Let w be ((-1 + -1)*-5)/1. Let a be g(w). Let h = a + 0. Which is smaller: 2/9 or h?
h
Let l = 32 + -38. Suppose -5*g - 31 = -6. Is l at most as big as g?
True
Suppose 2*r = 6*r - 704. Let z be 1 + 4/r*4. Do 0 and z have different values?
True
Let q = -10 + 10. Let m be ((-2)/(-3))/((-10)/(-6)). Which is smaller: q or m?
q
Let x = -2 + 2. Let d be (3/(-5))/((-72)/80). Which is smaller: x or d?
x
Let j be (-5)/(-2)*3/(-18). Let r = -1/6 - j. Is r at least -2/15?
True
Let g = 58/7 + -211/28. Which is bigger: -0.2 or g?
g
Let y(a) = -a**3 - 4*a**2 - 3*a - 1. Let k be y(-3). Let d = -8 + 14. Let h = 6 - d. Are h and k nonequal?
True
Let v be (-5)/(-33) + (-2)/6. Let d(w) = w**3 - w**2 - 2*w + 1. Suppose 0 = x - 0*x - 2. Let p be d(x). Which is greater: p or v?
p
Let o = 218 + -217.01. Let z = 0.01 + o. Which is smaller: -0.1 or z?
-0.1
Let c = -8.98 - -9. Let q = c - 6.02. Is -2/5 equal to q?
False
Let g = 4.15 + -0.35. Let b = g - 11.9. Let r = 8 + b. Are r and 0.01 equal?
False
Suppose 0 = 5*a + 5*z - 70, 2*a + 3*z = 26 + 3. Suppose 13 + 12 = -5*i + 5*y, -2*y + a = -5*i. Let t be i*(-1)/2*-2. Which is smaller: t or 2/5?
t
Let j(u) = u**3 - 6*u**2 + 6*u - 5. Let a be j(5). Which is smaller: a or 4/23?
a
Suppose 2 = 3*a - 7. Suppose -v = 2*h - 7, 0 = -v - h + a*h - 1. Suppose 3*l = -4*b - 4, -l - 3*b = v*l + 3. Which is smaller: l or -2/11?
-2/11
Let w be 3 + -2 - 2/(-2). Let c be 1 + 7 + 2/w. Let y be 2/8 - c/(-12). Is y <= 1?
True
Let j be (14 - 13)/((-3)/15). Let z(f) = -f**2 + 8*f - 4. Let s be z(6). Let l be (1 - 4)*s/6. Does j = l?
False
Suppose -7 = -4*u + p, u - 4*p + 9 + 8 = 0. Suppose u*r + 6 = 3*o, -o + 8 = -3*r - r. Is 1 bigger than o?
True
Suppose -j = -5*j. Let l be ((-294)/8)/1 - 0. Let t = l + 37. Is j equal to t?
False
Let c = -2 + 4. Suppose 0*t + t = 3. Is t >= c?
True
Suppose -o + 23 = 4*h + 2, h + 2*o - 14 = 0. Suppose p = k + 1, p = -p + h*k + 2. Let r be -1 - -1 - (-2)/21. Do p and r have different values?
True
Let k be (-6)/(-15) - (-4)/(-10). Suppose -l - g + 10 = k, -2*g + 5 = -5. Suppose 3 = -l*r - 2. Are -1 and r equal?
True
Suppose -5*d + 4*p = 206, 2*d + 7*p - 3*p = -88. Does d = -41?
False
Let q be (-3)/(-2) + 2/4. Let w = 8 - 8. Which is greater: w or q?
q
Let u(t) = t**3 + 7*t**2 + 7*t + 6. Let i be u(-6). Suppose 3*j + 2*j = i. Is 2/9 bigger than j?
True
Let q = -185 - -121. Is q equal to -62?
False
Let r(h) = -h + 2. Let a be r(-2). Suppose 3*z = 5 + 7. Suppose 4*c = a*u - 24, 2*c + u - z = c. Is c >= 0?
False
Let o be 0/2*1/3. Is 2/439 bigger than o?
True
Let y = 5/134 - 8827/1340. Let g be 144/(-30) - (2 - 1). Let m = g - y. Is m bigger than 1?
False
Let s = -80/3 + 26. Is s <= 0.31?
True
Suppose -z = -3*z - 14. Let b(h) = -h**2 + 8*h + 6. Let d be b(8). Let g = z + d. Is g greater than or equal to -1/3?
False
Let b be 48/28 + 2/(-1). Let f(k) = k**3 - 2*k**2 - 4*k + 4. Suppose 4*p + 2 = -6, v - 1 = -p. Let j be f(v). Is b less than j?
True
Let z = -119 - -117. Which is greater: z or 2?
2
Suppose -4*b + 3*t - 32 = -t, -12 = -b + 5*t. Let k = -11 - b. Which is bigger: 3 or k?
3
Let z = 1150 - 786. Let r = 3280/9 - z. Which is smaller: 0 or r?
0
Let m = 27 + -111/4. Let q = m - -1/4. Suppose 4*n = d - 28 + 8, 25 = -5*d - 5*n. Does d = q?
False
Let g = -0.211 - -0.111. Is -1/17 bigger than g?
True
Suppose 5*r - 5 = 4*r. Suppose k + 10 = 5*c - 8, -9 = -r*c - 2*k. Which is bigger: c or 4?
4
Let o(n) be the third derivative of -1/3*n**3 - 5/24*n**4 - 1/60*n**5 + 3*n**2 + 0*n + 0. Let c be o(-4). Does 3 = c?
False
Let y = 4.07 - 0.07. Let l = 3 - y. Is l equal to -2?
False
Let s = 2/463 + -1894/9723. Let g = 10 + -10. Which is smaller: s or g?
s
Let k be 2/(-4)*(-1 - 1). Let n be ((3/(-6))/k)/(-1). Which is greater: n or 2?
2
Suppose 4*z + 2*z + 0*z = 0. Which is smaller: -1/8 or z?
-1/8
Let q = -2 - -3/2. Let k be 5 + (-2 + 5 - 2). Suppose 2*x - k*x = 4. Is x not equal to q?
True
Let u = 18 - 19. Suppose -2*a - 6 + 0 = 0. Are a and u equal?
False
Let r = 9 - 4. Suppose 0 = 4*s + r*v + 37, 5*s - 5*v - 6 = 4. Is 0 greater than s?
True
Suppose r + 4 - 3 = 0. Suppose 13 - 9 = 4*p. Is r less than p?
True
Let f(u) = u**3 - u**2 - 5*u - 1. Let r be f(3). Let w be ((0 - 0)/(-1))/r. Is w > -2/19?
True
Let x be ((-38)/(-4))/(7/14). Is 18 greater than or equal to x?
False
Let j = -145 - -717/5. Is j smaller than -2?
False
Let z = 15 + -14. Which is smaller: z or 2/17?
2/17
Let k = -8.6 + 8. Let f = k - -0.7. Let l = -0.1 + 0.3. Is f != l?
True
Let b(n) = 7*n + 2. Let h be b(-3). Let q be (-4)/(-2)*h/(-10). Let k = 18/5 - q. Is k less than 0?
True
Suppose -4*a - 20 = h, 2*a = -2*h + h - 14. Let w = 3 + h. Which is greater: -6 or w?
w
Let d(n) = -n - 5. Let c be d(-8). Suppose 5*r = s 