Which is smaller: 1/5 or p?
p
Let l(q) = q**3 - 6*q**2 + q - 4. Let x be l(6). Suppose -x*b + 3*b - 6 = 0. Let n be (b/(-8))/(0 + -3). Which is greater: -1/4 or n?
n
Let h = 6 + -4. Let a be h/4 - (-73)/(-2). Let l be 3*-2*2/a. Which is smaller: l or 0?
0
Let k be 1 - (1/7 - (-12)/14). Is k not equal to 0?
False
Suppose 4*o + 4*d = 3*d + 11, -5*d = 4*o - 7. Suppose o*u = u + 2. Is -0.05 smaller than u?
True
Let b be (-28)/(-36) + 2/9. Suppose 5*y + 17 = 12. Which is smaller: y or b?
y
Suppose -y = 2*d - 9, -d - 2*y = -0*d - 3. Suppose d = -q - 4*v, q - 2*v = -q + 10. Is q greater than 3?
False
Let c = -0.038 + -0.362. Which is smaller: 1 or c?
c
Let w = 122 - 5. Which is smaller: w or 118?
w
Let g(v) = -6*v + 66. Let x be g(11). Which is smaller: -1/7 or x?
-1/7
Let j = -0.2 - 0.3. Let a = j - -1.5. Which is smaller: a or 2/3?
2/3
Let k be 16/24 - (-4)/(-6). Are -1/7 and k nonequal?
True
Suppose 0*a - 10 = -5*a. Suppose 3 = -x + 4*x. Let n = 1 + x. Is n equal to a?
True
Let o = 5 - 7. Which is smaller: o or 1/6?
o
Let d = 0.162 + -1.162. Which is smaller: d or 1/14?
d
Let h(n) = n**2 - 3*n - 4. Let z be h(5). Let u be 1/z*(5 - 3). Suppose -15 = y + 2*y + 5*d, -2*y = -2*d - 6. Which is smaller: u or y?
y
Let m be 6 + -2 - 6/2. Is 2/5 < m?
True
Let o = -1.3 - -0.8. Let c = o + 0.5. Is 0.05 greater than c?
True
Let a = 649/805 + -1/161. Let c = 10 - 8. Which is greater: a or c?
c
Let d = -16/5 - -166/55. Let t(v) = -v**2 + 2*v - 1. Suppose -5*h + 3 = -3*a - 19, -2*a + h - 3 = 0. Let j be t(a). Are d and j non-equal?
True
Suppose 2*k = 3*s + 21, 4*k = k. Which is smaller: s or 1/2?
s
Let d = -3 + 6. Let u be (0 - d)*(-2)/2. Let r = 1 + -1.1. Is r at least as big as u?
False
Let s be -4 - (-2)/(16/35). Is s != -1?
True
Suppose 0 = -2*k + 6*k + 4. Let n(y) = -3*y**2 + 4*y**2 - 4*y + 2*y + 0*y - 3. Let i be n(3). Is i bigger than k?
True
Let c = 13.7 + -14. Let b = 2 - 2.1. Is b <= c?
False
Let j = 11 + -5. Suppose -j*k = -k - 5. Suppose k = 3*b - 2. Is b < 1?
False
Suppose -5*p + 2*f = 29, -5*f = -9 + 24. Let r be -2*p/18 - 1. Is -2/7 <= r?
True
Let n = 24 - 25. Is -10 < n?
True
Let m = -23 - -23.6. Which is bigger: -1/4 or m?
m
Let x be (1 - 0)*25/(-20). Suppose 0 = 5*s - c - 2*c + 2, 4*c + 2 = 2*s. Which is smaller: x or s?
x
Let i be (-4 - (-17)/5)*1. Is i != -2/11?
True
Let u = 12 - 12.95. Let w = u - 0.05. Is 0.2 <= w?
False
Let c be (-6)/54212*4/(-6). Let l = c + 338762/853839. Let o = l + -1/9. Is -1 less than o?
True
Let s be (4/6)/((-2)/21). Is s <= 1?
True
Let s = -63 + 64. Is 7.5 >= s?
True
Let b = -39 - -58. Which is smaller: b or 18?
18
Let h(i) = 2 + 0 + 0 + 2*i - 1. Let f be h(4). Which is greater: f or 8?
f
Suppose -5*o - 7 = -32. Suppose -5*i - 30 = -o*m, 0 = -m + 5*i - 0 + 2. Suppose -3*f - 2*r + 30 = -m*r, 0 = -5*f - 5*r + 10. Which is smaller: 6 or f?
f
Let h = 4 + -5. Let b = -2 + 12/7. Is b > h?
True
Let r = 3.1 - 3.05. Which is smaller: 0.2 or r?
r
Let g = -41 + 73. Is -2 greater than g?
False
Suppose -8*y - 6 = -10*y. Which is greater: y or 0?
y
Let h = 17 - 36. Let d = 27 + h. Let j be 3/9 + d/12. Is j bigger than 1/5?
True
Suppose 0 = 5*q + 5*v - 50, -26 = -2*q - 6*v + v. Let n = q + -11. Let r be n/2*14/(-21). Which is greater: 1/3 or r?
r
Let a = 98 - 98.08. Suppose 4*b + 0*b + 8 = 0. Which is smaller: b or a?
b
Suppose -o = 3*o - 12. Suppose 0 = -5*z + 4*y + 17, -5*z = -o*z - 4*y - 14. Let c = -5 + 8. Which is bigger: c or z?
c
Let x = -12 + 23. Which is greater: 12 or x?
12
Let x = 4 + -1. Let z(b) = b**3 - 5*b**2 + b - 2. Let c be z(5). Let q = c - 1. Which is smaller: q or x?
q
Let m be 4 + (4 - 3) + -3. Suppose 4 = -2*x - 2*x + 4*y, 2*y = 4*x - 2. Suppose m*r - x = r. Which is bigger: r or 1?
r
Let h be (-7)/(-2) + (-2)/4. Suppose -3*d + 3*p - 10 = -d, h*d = 4*p - 14. Let u be -2 - ((-4 - d) + -6). Is 6 equal to u?
True
Let l = -2.99 + -0.01. Let u = 19 + -19. Let x = u - l. Is -1/2 at least x?
False
Let q = 1349/15 + -90. Which is smaller: q or -1?
-1
Let t = -1346/5 + 171079/635. Let p = -2/127 + t. Suppose 5*l - 4*l = i - 1, -3*i = l + 5. Are p and i nonequal?
True
Suppose -2*u - 4*d + 16 = -22, -u + d = -7. Is u at most 12?
True
Let a = -10 + 10.07. Let f = a - 0.37. Let m = 0.1 + f. Is m equal to 1/3?
False
Let u(v) be the first derivative of -v**4/4 + 4*v**3/3 + v**2 - 2*v - 1. Let d be u(4). Let f = -3 + d. Are 0 and f equal?
False
Let u(n) = n + 10. Let h be u(-3). Let z(v) = -v**3 + 7*v**2 + 2*v - 4. Let c be z(h). Which is smaller: 0 or c?
0
Let i(q) = q**2 - 6*q + 1. Let o be i(5). Let u be 14/o + (-2)/4. Which is greater: u or -2?
-2
Let s = -9 - -6. Let n be -2 + (2 - s - 2). Is n bigger than 3/5?
True
Let k(t) = t**2 - 3*t - 5. Let h be k(4). Let a be ((-1 + 14)*h)/(-7). Let c = a + -86/35. Is -2 greater than or equal to c?
False
Suppose 5 = 5*t + 5*r, 2*t + 2*r - r = 1. Which is greater: -1/6 or t?
t
Let o(b) = b**3 - 8*b**2 + 3*b + 8. Let c be o(7). Which is greater: -19 or c?
-19
Let m be -3 + (1 - -1) - -2. Suppose -3*i + 4*i + 3*h + 12 = 0, -5*h = -i - 20. Let j = -14 - i. Are m and j non-equal?
False
Let u(o) = o**2 - 7*o + 6. Suppose 17 = 3*j - 1. Let a be u(j). Is 1 at least a?
True
Let b(a) = a**2 - 2*a + 1. Let g be b(1). Suppose g*d + 4*d - 8 = 2*z, 2*d = 6. Which is smaller: 4 or z?
z
Let g = -193.53 - -185.6. Let z = g - 0.07. Is z at least as big as -2/5?
False
Let z be -9*(8/16)/(3/(-8)). Which is smaller: 11 or z?
11
Let p = -3 - -2.5. Let z = -5.3 - -6.3. Which is bigger: z or p?
z
Suppose 4*i - 6*i = -274. Let c = -541/4 + i. Is c less than 0?
False
Let p(x) = -x**3 + x**2 - 2. Suppose -3*a - a = 0. Let q be p(a). Let y(o) = -o**2 - 11*o - 13. Let w be y(-10). Which is greater: w or q?
q
Suppose -2 = y - s, 8*y - s + 3 = 6*y. Let k = -88 - -881/10. Which is smaller: k or y?
y
Let d = -0.11 + 4.11. Which is bigger: d or 1/2?
d
Suppose w = 2*w + 4. Let d be w/63 + (-2)/9. Suppose 5*t = -4*z + 19, z + 2*z = -t + 6. Is d equal to z?
False
Let h be (0 - (1 - -2)) + 0. Let z be (-153)/6*4/h. Let p be 4/(-14) + z/(-28). Which is smaller: -3 or p?
-3
Suppose w - 20 = -17. Suppose 4*s = s + 6. Are s and w non-equal?
True
Suppose 2*o - 3*l = -0*o + 11, 2*o + 2*l = 6. Let a be (2 - 4)/(1/o). Let t be (9/(-12))/(2/a). Which is greater: 5 or t?
5
Let d = -37 - -37.17. Let x = d + -0.07. Let y be (-2)/(-1)*1/(-5). Is y less than x?
True
Let u = -2281/8404 + -1/764. Suppose -i - 3*i - 5 = -5*d, -2*i - 2*d = -2. Is i < u?
False
Suppose 0 = -4*r + u - 11, -3*r - r = -2*u + 14. Is -15/11 < r?
False
Suppose -2*h = 2*a + 26, 2*h + 3*a = -23 - 3. Are h and -13 nonequal?
False
Let j = 2.84 + 1.16. Let p = 1.9 - -0.1. Is j less than or equal to p?
False
Let z(x) = -x**3 - 6*x**2 + x + 4. Let m be z(-6). Let k be 2*((-11)/(-5) + -2). Are m and k non-equal?
True
Let h = 1 + -1.7. Let u = 0.1 + h. Is -2 at least u?
False
Let j = -3.1 + 3.07. Which is bigger: -3 or j?
j
Let y be ((-2)/2 - -1)/(-1). Let v be 266/130 + 2/(-10). Let b = 31/52 - v. Is b greater than or equal to y?
False
Suppose -5*y = -4*b - 17, 7 + 0 = -5*y - 4*b. Which is bigger: 12/5 or y?
12/5
Suppose 0 = -4*z - 8, 3*d - 2*z = 93 - 2. Which is bigger: d or 28?
d
Let n = 16 + -11. Let i = -2 + n. Let q = -3 + i. Is q at most as big as 2/3?
True
Suppose 0 = 2*a - 10, -2*q + 2 = 2*a - 28. Let s = q - 5. Is 2 > s?
False
Let z = -1.97 + 2.1. Which is bigger: z or 1?
1
Let l = 8 - 13. Let g be l/(10/(-4)) - 4. Suppose 3 = -3*v, 5*t + 5*v - 15 = -5. Which is smaller: t or g?
g
Let b = 200 + -87. Is b > 113?
False
Let l be (2/(-3))/((-7)/(-21)*-409). Is l at least as big as -1?
True
Let s = -0.2 + 0.7. Let t = -0.49 + s. Let i = t - -0.19. Is 0 > i?
False
Suppose 5*y - 45 = 7*v - 3*v, -2*y + 3*v + 18 = 0. Let z(o) = 11 - o - 9*o**2 + o**3 + 0*o**3 + 0*o. Let s be z(y). Is s equal to 1/2?
False
Suppose -15 = -0*i + 3*i. Let c be (-1)/(-2)*(-2)/i. Which is greater: 0 or c?
c
Let j = 7 + -4. Suppose -3*r - 3*g = 6, 2*g - 1 = 5*r - 5. Is r >= j?
False
Let p be ((-10)/(-75))/(-2 + (-34)/(-20)). Which is smaller: p or -6?
-6
Suppose -w + 2*a = -6 - 5, -5*w = 5*a - 10. Suppose -w*u + 48 = p, 6*u - 2*u + p - 38 = 0. Let s be 4*(1/u + 0). Is 1 greater than s?
True
Let r be 3 + -1 + (2 - 0). Let h = -6 + r. Let j be h/2*(4 + -4). Is j != -2/5?
True
Suppose 3