(-1)/c. Is m smaller than p?
False
Let i = 0.6 - 0.77. Is i at least -0.3?
True
Let p = -0.14 + -0.76. Let q = 1 + p. Which is greater: q or -2/5?
q
Let y = 24 - 34. Let j be (4/y)/((-6)/(-5)). Is 0 smaller than j?
False
Let p(f) = -3*f**2 + 3*f + 5. Let r(c) = 8*c**2 - 8*c - 14. Let d(h) = 11*p(h) + 4*r(h). Let v be d(1). Is v less than or equal to 2/11?
True
Let s be (-24276)/35*(-1)/4. Let o = -4243/20 + s. Let x = o + 39. Which is smaller: -1 or x?
-1
Suppose -3*c = -8 + 2. Let q(o) = 4 - o + 0 + c - 1. Let m be q(10). Which is bigger: -4 or m?
-4
Let m = 1.07 - 0.07. Let v = 7 - 10. Which is bigger: v or m?
m
Suppose -3*f + 20 = 2*f. Suppose f*a + 1 = -7. Let i be a/(-10) - 12/10. Is -1 at least as big as i?
True
Suppose -5*v = 3*t - 17, -3*t + 3*v - 15 = -0*v. Let f be (9/30)/((-6)/(-4)). Which is greater: f or t?
f
Let f(m) = -m**3 + 3*m + 3. Let n be f(-2). Suppose n*d = -0*d. Suppose -14 = -5*i + 3*r, 6 = -3*i - 3*r - d. Are i and 1/6 equal?
False
Let b be 4*1*(-2)/8. Let j = 0.1 + 4.9. Let r = -3 + j. Is b != r?
True
Let p be (-3)/(0 - (-6)/(-4)). Let r be -2 + 2/p - 0. Let y be (3/10)/(18/(-24)). Which is greater: y or r?
y
Let g(y) = y + 1. Let p(x) = x**3 + 4*x**2 - 4*x + 7. Let l be p(-5). Let s be g(l). Let k = 2 - s. Which is greater: k or 0?
0
Let j(m) = -2*m - 5. Let x be j(-5). Suppose q - 9 = 4*z + 4, 4*z + x*q + 31 = 0. Which is bigger: z or -3?
-3
Suppose -607 = -4*k - p, -3*k - 2*p = -8*k + 775. Let f be (1 + -2)*k/77. Let b = f - -25/11. Is b at most as big as -1?
False
Let o(j) = -j**3 + 4*j**2 - j. Let t be o(3). Suppose i - 3*i = t. Is -4 != i?
True
Let y = -19 + 18. Which is bigger: y or 0?
0
Let h = 193/10 - 19. Let g be -2 + 65/25 - 2/20. Which is smaller: h or g?
h
Let l be (-3)/(-3) + (-470)/6. Let o = -78 - l. Which is smaller: -3 or o?
-3
Let b = -5 + 9. Let w = b - 3. Is w at least as big as 3/7?
True
Let y = 41 + -43. Let v = 1 - 4. Which is smaller: y or v?
v
Let o = 5 + -4.2. Is o < -0.2?
False
Let f be 1/(8/(-2))*-23. Let i be (18/15)/(3/15). Let v = f - i. Is v less than 0?
True
Let m = 0.23 - -12.77. Let k = m + -13.5. Is k greater than or equal to -1/2?
True
Let p(j) = -j + 8. Let r(k) = -2*k + 16. Let c(v) = 5*p(v) - 2*r(v). Let g be c(9). Let u be (9/((-4050)/(-24)))/(4/(-6)). Is u at most g?
False
Let f = -10 - -25. Let g be ((-1)/2)/(f/10). Are 6 and g non-equal?
True
Let h(u) = -u**3 - 3*u - 1. Let o be h(-4). Does 77 = o?
False
Let z be (-22)/(-10) + 1 - 3. Is z bigger than 0?
True
Let f be 10 + -2 + 3 + -3. Which is greater: f or 17/2?
17/2
Let j be 3/((-84)/4874) - -1. Let x = j - -173. Is x smaller than 1?
True
Let g = 8206871/327620 - -1/32762. Let s = -105/4 + g. Do 0 and s have the same value?
False
Let n = 8 + 14. Let f = 21 - n. Suppose 4*q = -r + 3*r, 5*r = -q - 11. Which is smaller: r or f?
r
Suppose 5 + 0 = k. Let q = -28 + 16. Let v be q/10*(-20)/6. Does k = v?
False
Let n(u) = u**3 - u + 1. Let v be n(2). Is 6 at least as big as v?
False
Let n be ((-85)/255)/(1 - (-28)/6). Is 7 at most as big as n?
False
Let d = 63/11 - 589/99. Let t = -5273/20 - -1207/5. Let h = t - -22. Do d and h have different values?
True
Let b(n) = n**3 + 8*n**2 + 6*n - 8. Let g be b(-6). Let o be (-8475)/g - 7/(-28). Let c = -303 - o. Is 0 at least c?
True
Let s(v) be the first derivative of -v**4/4 + 2*v + 4. Let k be s(0). Are k and 1 unequal?
True
Let n = 0.8 - -0.2. Let v = 0.66 - 4.56. Let j = 2.9 + v. Do j and n have the same value?
False
Let q = -5 + 8. Suppose -g + 5 = -q*u, u - 4*g = 5*u - 4. Suppose -10 = 5*p - 8*b + 3*b, -p - 3*b + 14 = 0. Is p at least u?
True
Let h(p) = p - 16. Let z be h(9). Is -9 < z?
True
Let x = 5 + -24. Let b = x + 21. Is b < 3?
True
Let v(t) = -t**2 - 12*t + 18. Let c be v(-12). Which is smaller: c or 19?
c
Let w = 0.1 + -5.1. Let q = 23/4 - 6. Is q less than or equal to w?
False
Let b = -62 + 61. Let c = 1 + 1.9. Let l = 3 - c. Which is bigger: b or l?
l
Let w(r) = -4*r**2 - 5*r - 2. Let y be w(-2). Is y not equal to -8?
False
Let y(i) = -3*i + 12. Let z be y(-4). Let f = z - 23. Is f != -3/22?
True
Let n be (-3)/(0 + (-1 - 2)). Is n < -1?
False
Let f = -7 - -7. Let r = -2 + f. Suppose -2*a - 12 = 2*a. Are r and a nonequal?
True
Suppose 0*m = -m + 15. Let z = 61/4 - m. Let s be (1/(-2))/((-1)/(-2)). Which is bigger: z or s?
z
Let p = -17.6 - -2.6. Which is bigger: p or 0.2?
0.2
Let x(y) = 4*y**3 - y**2 - y - 1. Let n be x(-1). Let w = -2 - n. Suppose w*v + 6 = 3*l, 0*l = 2*l + 2*v + 4. Is l less than 1?
True
Let c = -17 + 17. Which is bigger: -0.4 or c?
c
Suppose -3*i - 12 = 3*m - 2*m, -3*m + 2*i + 19 = 0. Suppose -4 + 1 = -m*f. Is f > 2/9?
True
Let i be ((-8)/12)/(24/45). Is -2 smaller than i?
True
Let k = -130 - -130. Is 1/73 at least k?
True
Let g = -5 - -3. Let z = -4 - -6. Let j be 0 - 3/(z - -1). Is j at most g?
False
Let j = -0.7 + 1.7. Are j and -0.4 unequal?
True
Let l be (2 - -1)/3 - -23. Let w be 66/l - (-3)/(-1). Which is smaller: w or 0?
w
Let n = -29/77 + -4/77. Which is smaller: -1 or n?
-1
Let d = -24 - -26. Let m = -0.1 + 0.2. Which is smaller: m or d?
m
Let p be -6 - ((-2)/2 - 0). Let v(f) = -7*f**3 + f**2 - 1. Let i be v(1). Let x = p - i. Is 3 at least x?
True
Suppose 0 = -2*q + 8 + 14. Is 82/7 less than or equal to q?
False
Suppose 0 = -2*l + 4, 4*l = -3*p - 0 - 1. Let f be (p/(-5))/((-2)/(-10)). Is 3/2 less than f?
True
Let m be (-2)/(-12) - 255/18. Which is smaller: m or -13?
m
Let b = 39 - 122/3. Suppose -2 - 9 = 2*k - l, -2*l - 2 = 4*k. Are k and b equal?
False
Let i be (8 - 5)*1/(-3). Is 0 at least i?
True
Let j be (120/35)/(-2)*-7. Is j < 2?
False
Let s be 12/(-152)*8/6. Let l(f) = f - 9. Let t be l(8). Which is greater: t or s?
s
Let z = -45/1858 + 3666239/16722. Let w = z + -219. Is w > -0.1?
True
Let h be 34/9 + 6/27. Suppose 0 = 4*w - h*u - 4 - 4, u = -w. Let k be ((-1)/3)/(-2 + 4). Is k < w?
True
Let i be (-10)/(-4) - (-7)/14. Suppose -i*z + 14 = -1. Suppose -3*m - z*a = -3 - 1, 0 = 3*m - a + 8. Which is smaller: -3 or m?
-3
Let r = -1 - -5. Let t be 2/(-5) - (-17)/5. Which is bigger: r or t?
r
Suppose 29 = -3*v - 4*p, -2*v - 17 - 4 = 3*p. Which is bigger: -16/7 or v?
-16/7
Let c(f) = -50*f - 2. Let w be c(-1). Suppose j - w = -3*j. Is j < 11?
False
Let y(m) = m**3 - 3*m**2 + 2*m - 3. Let v be y(2). Let i = v + 3. Let s be (-2)/4 - 44/(-24). Which is bigger: s or i?
s
Suppose -5*v = -2*y - v - 8, 5*y + 8 = 4*v. Is y smaller than 3?
True
Let g be 8/11*1635/(-6). Let z = g - -198. Is z > 3?
False
Let t be (-1 - 0)*(-6)/3. Suppose 0 = -3*g - 11 + t. Is -3 less than g?
False
Let w = -2 + 2.06. Let k = 1.94 + w. Let u = -2 + k. Do 2 and u have the same value?
False
Let y = 545/273 + -29/21. Which is bigger: 2 or y?
2
Suppose 2*s + 10 + 4 = 0. Let m(o) = o + 9. Let n be m(s). Is 2 > n?
False
Suppose 0 = 5*l - 5 - 0. Suppose 0*o - o = -l. Which is bigger: 5 or o?
5
Let c be -1*3/54*33. Which is greater: -1 or c?
-1
Let m = 2 - 10. Let z be ((-3)/14)/((-6)/m). Let o = 0.077 + 0.023. Is z equal to o?
False
Let j = 148 + -147.9. Is j less than -45?
False
Let f(w) = 5*w - 3. Let j be f(6). Suppose 3*k - j = -d - 2*k, -2*k = -5*d. Let a = 23 - 21. Is d equal to a?
True
Let z = 258 - 3356/13. Is z smaller than 0.2?
True
Suppose 4 = -0*h - 2*h. Let v be (-2 + h)*(-6)/(-56). Is 1 > v?
True
Let y(o) = o**3 + 8*o**2 + 2*o + 9. Let c be y(-8). Let p = 3 + c. Is -6 equal to p?
False
Let b(j) = j**2 + 6*j - 7. Let c be b(-7). Suppose 4 = 2*y - c*y. Suppose 14 = y*v + w - 3*w, 4*v - 2*w = 18. Is 3 bigger than v?
True
Suppose 5*u = u - 120. Is u at most -28?
True
Let j be (-24698)/(-10) + 2 + -2. Let s = j + -2542. Let u = 72 + s. Which is greater: 0.1 or u?
0.1
Let g = 186 + -186.02. Which is smaller: -2/5 or g?
-2/5
Let j be (-10 - -11)*1*-1. Let o = -5272/6167 + -2/881. Which is smaller: o or j?
j
Let l = 199/273 - -5/39. Which is smaller: l or 0?
0
Let i = 13 + -25. Let l = i + 10. Which is bigger: -0.4 or l?
-0.4
Let s(g) = -g - 1 + 2 + 0. Let m be s(2). Let a(p) = -p**2. Let l be a(m). Which is greater: l or 2/7?
2/7
Let j = -14 - -8. Let l(w) = -w**3 + 17*w**2 - 16*w + 4. Let c be l(16). Suppose -2 = -c*r + 5*r. Is j at most as big as r?
True
Let n = -11.8 + 13.8. Do 4 and n have the same value?
False
Let r be (-2 + 0)/(34 + -1). Which is greater: -1 o