l?
True
Let b(f) = -f**3 - 4*f**2 + 5*f - 3. Let z be b(-5). Let m = z + 4. Which is smaller: m or -3/5?
-3/5
Let p be (20/(-3))/(-5)*-3. Let c = -3 + 1. Which is smaller: p or c?
p
Let p = 292/357 - -2/51. Are p and 1 unequal?
True
Let c(a) = a + 1. Let f be c(2). Suppose 7 = q - y - 2*y, 4*q + f*y + 2 = 0. Let w be (q/(-3))/((-2)/(-6)). Is 1/5 > w?
True
Let c(m) = -2*m**3 - 5*m**2 - 13. Let z be c(-4). Which is smaller: z or 36?
z
Let i = 20.3 + -13.2. Let k = i - 7. Is k bigger than 3?
False
Suppose 6*c - 2*c + 56 = 0. Do -14 and c have different values?
False
Suppose 0 = 3*k - 24 + 66. Which is smaller: 0 or k?
k
Let j = 3 + -3. Let w = -2 + 3. Let q = w + j. Is q less than 2?
True
Let t = -0.6 + 2.6. Let d = 4 - t. Are d and 0.4 nonequal?
True
Let m = -1 - 0. Suppose -5*j = 5*o - 2*o - 268, -3*j = 5*o - 148. Let v be (-4)/6*24/j. Which is smaller: v or m?
m
Suppose -2*g + 2*u = 14, 3*g - 3*u = 2*g - 3. Let f be g/12 - (-54)/8. Are 8 and f equal?
False
Let f be 6/(-9)*(-2)/(-4). Is f < -1?
False
Let l(d) = d + 9. Let r be l(-7). Let k = -1.5 + -0.2. Let x = k + 1.69. Which is smaller: r or x?
x
Let y = -1718.07 + 1703. Let g = -15 - y. Let m = g + 0.03. Which is smaller: m or 1/6?
m
Let f = 2.93 + -0.33. Let w = f + -2.8. Is w at least as big as 0?
False
Let u be (-3)/(-1)*(-830)/(-225). Let l = -32/3 + u. Are l and 1 equal?
False
Let p = -379/3 + 126. Is -2/67 > p?
True
Let a be 4 - (6 - 3) - 2. Let b be -3 + 2 + (-19)/(-21). Which is smaller: a or b?
a
Let w be ((-3)/(-5))/((-56)/(-20)). Is 1 >= w?
True
Let x be (-17)/476 + (-2)/8. Which is smaller: 1 or x?
x
Suppose 0*a - 3*a - 11 = -i, 3*i + 5*a + 9 = 0. Suppose 3*l - 8*l = -55. Let x = l + -8. Which is greater: x or i?
x
Let v = -9 - -14. Let s = 5 - v. Is s > -1/2?
True
Let r(i) = -i - 6. Let p be r(0). Which is smaller: p or -2?
p
Let v = 78 + -77.94. Is v equal to -0.07?
False
Suppose -2*n = -j, 3 - 11 = -5*j + 2*n. Let x = 96/4585 - -1/131. Let f = x - -103/70. Is f > j?
False
Let y = -2 + 4. Let w = y + -3. Which is smaller: w or 2/9?
w
Suppose -4*d = -3*d - 3. Suppose -d*t = t. Let b = 11 + -15. Which is smaller: t or b?
b
Let p = -2 + 2. Suppose 5*i - 10 + p = 0. Suppose -1 = -i*o + 1. Is 0 smaller than o?
True
Let v be (-2)/7 - (3537/21)/9. Which is smaller: v or -18?
v
Let y(s) = -s**2 - 7*s - 4. Let f be y(-6). Suppose -5*b = -7 - 13. Suppose -b*u + 8 + 0 = 0. Do u and f have the same value?
True
Let h = 0.15 + -0.82. Let b = h - 2.63. Let w = b + 3. Which is greater: w or 0?
0
Let p = 7 + -19. Let n = -12 - p. Is n greater than 3/7?
False
Let h be ((-18)/(-72))/(2/(-8)). Which is smaller: h or -4/19?
h
Let l = -0.02 + 0.03. Let u = l + -0.41. Which is bigger: 0.1 or u?
0.1
Suppose 3*h = -5*z + z + 15, -z + 6 = h. Which is smaller: 55/6 or h?
h
Suppose -3*l = -l + 20. Are -11 and l unequal?
True
Let w = 5 - -2. Which is smaller: 2 or w?
2
Let k(j) = -j - 8. Let v be k(-7). Let q be (-1)/(1/(1/(-18))). Let o = -4/9 - q. Which is greater: v or o?
o
Let n be (-4)/(-9)*(-6)/68. Which is bigger: n or 1?
1
Let g(x) = -x**2 - 2*x - 2. Let c be g(-2). Let q = c + 2. Which is smaller: -2 or q?
-2
Let g = 10673234 + -46631358798/4369. Let y = g - 2/257. Which is smaller: 0 or y?
0
Let g = 0.067 - 4.267. Which is smaller: -2/3 or g?
g
Let h = -0.26 - -0.14. Which is bigger: 0.1 or h?
0.1
Let h = 27/22 - -3/11. Suppose 2*f = w + 3*f + 2, w + 4*f = -14. Let d = w + 1. Is d != h?
True
Let z = -2/949 - 144/949. Is z at most as big as -1?
False
Let r = 7 - 6.2. Let a = 0.1 - -0.1. Let s = a + r. Is s smaller than 1?
False
Let o = 11 + -25. Let w = -10 - o. Let i be w*(3/6 + 1). Is 6 not equal to i?
False
Suppose -3*k = -k. Suppose -5*f - 5 = -k. Let j be 4 + (-2 - (-28)/(-12)). Which is greater: j or f?
j
Suppose 14 = -2*f - 0*k + 5*k, 0 = -5*f + k + 11. Let u be (16/10)/((-2)/(-5)). Suppose -u*b = -b + f. Which is smaller: -2 or b?
-2
Suppose -4*u = -9*u + 2*x - 125, -u = -3*x + 12. Let k be -3 + u/33 - -3. Let h = k - -47/44. Which is greater: -4 or h?
h
Let m = 61 - 53. Which is smaller: 2 or m?
2
Suppose -2*n + 4 = -0*n. Suppose -2*c + n = 0, -10 = -6*x + x - 5*c. Is x at least 1/17?
True
Let k be 54 + (-3)/(-6)*4. Let j be 4/(-14) - 26/k. Is -2 > j?
False
Suppose -3*c = k + 11 + 8, 0 = 5*k + 3*c + 35. Let o be -3*(-4*1)/k. Is -2 > o?
True
Let r = 3 + -3. Suppose y + r*y - 2 = 0. Suppose 2*u = -y*u. Is -1/2 at least as big as u?
False
Let t(k) = 2*k - 16. Let w be t(10). Suppose a + w*a - 5 = 0. Let o = 1 - 0. Is o != a?
False
Let h(t) = 2*t**2 - 18*t - 8. Let s be h(9). Which is smaller: s or -7?
s
Let f be (-4)/3*72/128. Suppose -2*d + 7 = -3*x, 4*d = 6*d + 3*x + 23. Let l = -5 - d. Which is smaller: l or f?
l
Let s = 0.7 + -0.8. Let n = s - -0.2. Let k = -3 - -2. Are k and n equal?
False
Let f = 39.194 - 0.094. Let v = 37 - f. Let y = v - -2. Which is smaller: 1/5 or y?
y
Let y = -29.09 + 0.09. Let x = y + 28. Are x and 1 nonequal?
True
Let r = -28 - -44. Let y = r - 31. Which is bigger: -14 or y?
-14
Suppose -2*q + 4*q + 4*b = -12, 5*q + 30 = 3*b. Suppose 0 = m - 2*m + 16. Let v be (8/m)/(1/q). Are v and -3 nonequal?
False
Let v = -0.43 + 0.03. Let g = 2.8 - 3. Let b = g - v. Which is smaller: b or -0.1?
-0.1
Suppose 2*s = 6*s + 8. Suppose 4*b - 3*h = 36, 3*b + 2 = -h - 4*h. Suppose 3*i - 6 = b*i. Is i at most s?
True
Let y = -2 + 3. Let j = -10 + 14. Suppose -2*o = -4*x + 2*x - j, x + 2 = 4*o. Is y != x?
True
Let v = -32.15 + 0.15. Let d = v + 33.3. Let p = d + -0.3. Is -2 less than p?
True
Suppose -36 = 2*k - 5*k. Let r be 35/4 + (-2)/(-8). Let z be ((-2)/(-8))/(r/k). Is z equal to 0?
False
Let f be (77/(-72))/((-15)/6). Let h = f - 1/36. Is 3 > h?
True
Let a be (1 + -1)/(3/(-3)). Let j be -3 - 0 - (-2 - 0). Let o = a - j. Is o greater than -2/5?
True
Let w(k) = k**3 + 6*k**2 + 6*k + 6. Let d = -12 - -7. Let h be w(d). Which is bigger: -2 or h?
h
Let t = -0.2 + 0.1. Let q = 6.3 - 0.6. Let y = 6 - q. Which is bigger: y or t?
y
Let b be ((-97)/372)/((-6)/(-4)). Let y = -3/62 + b. Let r = -10 + 31/3. Do r and y have different values?
True
Let p = -3 + 3. Let l be (-2 + p)*(-1)/2. Is l at most as big as -4/9?
False
Let m be 1/(-1 + 0) - -1. Let d = -4947/28 + 729/4. Let u = d + -5. Which is greater: u or m?
u
Let p = 99 + -75. Is 24 != p?
False
Suppose -u - 1 = -3*r - 0*u, -4*r + 4*u - 4 = 0. Which is smaller: r or 4/7?
4/7
Let u be 10/(-6) + 8/12. Which is greater: u or 4/11?
4/11
Let k be (8/20)/((-1)/(-25)). Suppose -5*g - k = -0. Which is smaller: g or -1?
g
Suppose -5*m + 10*m - 230 = 0. Is 46 < m?
False
Let m = -154367/57 + 2707. Let i = 1/742 - 7439/14098. Let v = i - m. Which is smaller: 0 or v?
0
Let r be 4 + -2 - (1 - 2). Suppose 2*f + r*s - 5 = 0, s = 5*f - 0*s - 21. Let h = f + -5. Does -2/15 = h?
False
Let a(m) = -10*m**2 + 5*m + 0*m + 9*m**2 + 2. Let j(l) = 2*l**2 - 10*l - 4. Let h(x) = -5*a(x) - 2*j(x). Let f be h(5). Is -7/4 not equal to f?
True
Let b(r) = r**2 + 14*r + 22. Let d be b(-12). Is d greater than -8/5?
False
Suppose l + 3*l - 188 = 0. Suppose 5*w - 8 - l = 0. Is 11 < w?
False
Let d = -13/38 + 1/114. Is 0 less than d?
False
Let l(a) = -a**2 + 9*a - 9. Let n be l(7). Suppose k + 3*s + 2 = -0*k, k + 6 = -n*s. Let g(y) = y**2 + 3*y. Let c be g(-4). Is c >= k?
True
Let u be -2 - 0 - (-2 - 0). Suppose 5*s = -5*k - 20, -4*s - 4 = -7*s + 5*k. Let c be s/(-4) + 2/4. Which is greater: u or c?
c
Let g = -1 + 4. Let f = g + -3. Is -1 at most as big as f?
True
Suppose 3*i - i = -40. Is i less than -58/3?
True
Let j(t) = -t**3 - 9*t**2 - 7*t + 5. Let m be j(-8). Let l = -607/12 - -189/4. Which is greater: m or l?
m
Let s = 4 - 8. Let k be (s/(-45))/((-10)/(-25)). Which is bigger: k or 1?
1
Let c be 2*2 + 0 - -1. Let u be (-21)/((-43)/10 - (-1)/(-5)). Which is smaller: u or c?
u
Let w = 0.07 - 0.07. Is 1 bigger than w?
True
Let o be 1/(-2) + (-20)/(-8). Suppose -2*r = o - 20. Suppose 2*y = n - 16, -3*y + 8*y = -20. Do r and n have different values?
True
Let h(p) = -p**3 - 7*p**2 - p - 9. Let x be h(-7). Let t be (-2)/(-5) - (-5)/(-25). Is x less than or equal to t?
True
Let t(k) = k + 3. Let v be t(-4). Let m be 2/v + (2 - 1). Let x be m - (4 + -1)/(-1). Is x greater than 1?
True
Let r = -4 + -2. Let q = r + 14. Suppose -7 = -3*i + y, y = 3*y + q. Is i <= 1?
True
Let