is greater: v or 2/77?
2/77
Let g be (((-1)/1)/3)/(-1). Let j = -1.2 - -1.8. Let h = 0.8 - j. Which is smaller: h or g?
h
Suppose -8 = 7*f + f. Let p be (0/1)/(2 - 0). Let a be (f - -1) + (p - -2). Which is smaller: a or 0?
0
Let x = -24 - -23. Do x and -1/58 have the same value?
False
Let g(i) = 2*i**2 - 4*i + 4. Let a be g(0). Let m(o) = -o**2 + 6*o - 3. Let l be m(4). Which is greater: l or a?
l
Let j = -8/3 - -62/21. Let l be 2 + (1/5 - 2). Which is greater: j or l?
j
Let c = 0.1 + -0.1. Let x = 8.3 - 8. Is c bigger than x?
False
Let u be 1 + 1 + 0 - -5. Is u > 8?
False
Let q be 2/((-4)/(-8) + 0). Does q = 5?
False
Suppose w = 2*w - 6. Suppose 3*j - 3*g - w = 0, 5*j - 6 = 2*j - 5*g. Let i be j/(-12)*-3*0. Are i and 0 equal?
True
Let x be 4/(-8)*-16 + -1. Suppose x*p - 6 = 10*p. Let w = -267/470 - 3/94. Is p at least as big as w?
False
Suppose 5*j + 5*r + 15 = 0, j + r + 1 = -2*j. Let u be 0/(-11) + (-2 - j). Which is smaller: -1 or u?
u
Let j(v) = 1 - 3*v + 1 + 4*v. Let k be j(-3). Let l be (-1)/(1/(-3)*-2). Is l less than k?
True
Suppose -35 = -5*u + 3*x, 3*x = x - 10. Let a = u + -4. Is -2 less than a?
True
Let k(j) = j + 2. Let q be k(0). Suppose q*n = -2*n. Let y = 40 + -39. Which is bigger: y or n?
y
Let c(z) = -z**3 + z**2 + z + 10. Let a be c(0). Let s = a + -7. Which is bigger: s or 2/5?
s
Let y = -39 + 41. Is 10/7 smaller than y?
True
Let f = 6.99 + -7. Let l = 0.09 - f. Which is bigger: -0.06 or l?
l
Suppose 16*y - 230 = 6*y. Which is bigger: y or 21?
y
Suppose 5*y - 6 = -11. Which is smaller: -3/10 or y?
y
Suppose 0 = -4*c + 31 + 29. Let p be (-3)/(3/(-1))*3. Suppose -p*g + 0*w + 3*w = -c, -w - 14 = -4*g. Is g < 2?
False
Let k be 2/5 + 86/10. Suppose -6*n = -k*n. Let o = n - 0. Which is greater: o or -0.1?
o
Let g = -38 - -34.8. Let v = -5.5 - g. Let l = v + 0.3. Is l less than or equal to 1?
True
Let i = 15 - 21. Let n be (i/16)/(3/2). Is n at most as big as 2/3?
True
Let w = -9.1 - -9. Let h = 0 - w. Which is smaller: h or -2?
-2
Let c be 4/5 - (-7)/((-175)/135). Is -5 greater than or equal to c?
False
Let i(b) be the third derivative of -b**5/60 + b**4/12 + b**3/2 - 4*b**2. Let o be i(3). Are 6 and o nonequal?
True
Suppose -3 - 3 = 3*j. Is -6/11 > j?
True
Let w = 3.7 - 0.7. Let g = -12967/5 + 2602. Let d = 139/15 - g. Which is smaller: d or w?
d
Let t = 12 - -9. Is 21 at most as big as t?
True
Let b(k) = -k**3 + 7*k**2 + k + 8. Let p be b(7). Let z be p/20 - (-1)/4. Let t be ((-7)/21)/(z/(-3)). Which is greater: 0 or t?
t
Let a(u) = u**3 - 7*u**2 + u - 4. Let b be a(7). Is b at least 0.08?
True
Let o be (2/3)/((-16)/24). Is o <= 2/101?
True
Let a = -85 - -85. Let p = 3/44 + -71/396. Is p at most as big as a?
True
Let t = -0.123 - -0.123. Is 4 <= t?
False
Suppose -3*v - 7 = g + 4, g + 5*v + 21 = 0. Let p be 10/(-4) - 2/g. Which is bigger: p or -4?
p
Let y = -135 + 135.29. Which is smaller: y or -0.1?
-0.1
Let r = -11 + 12. Suppose 4*s - 18 = 2*a, -3*s + 15 = -a + 3. Suppose s*l = -l. Does l = r?
False
Let u = 3 + -3.2. Let w be (6/(-9))/(8/4). Which is smaller: u or w?
w
Let l(i) = -3*i + 4. Let r be l(4). Let w be 6/r - (5 + -6). Is 0 smaller than w?
True
Let b = 221.8 + -222. Which is greater: -42 or b?
b
Let g be 44/21 - (0 - -2). Suppose 3*r - 3*s - 12 = 0, r + s = 5*r - 4. Is r less than g?
True
Let d(y) = -y**2 + 1. Let a be d(1). Let p = 7 + -9. Let k be (p/2)/((-20)/(-12)). Which is smaller: k or a?
k
Let v be (-6)/(-45) - (-2853)/(-135). Which is greater: -24 or v?
v
Let d be 12/10*(-15)/(-6). Let b(x) be the first derivative of x**3/3 - 2*x**2 + 4*x - 4. Let t be b(d). Which is bigger: 1/5 or t?
t
Let s = 53 - 52. Which is smaller: 1/138 or s?
1/138
Let t(n) be the third derivative of -n**4/24 - n**3/2 + 2*n**2. Let q be t(-4). Let c be (1 - 3)*(-1)/(-5). Are q and c equal?
False
Let a be (-8)/(-56) - 376/14. Let j = 27 + a. Let i be 3/14 + 2/(-4). Is j < i?
False
Suppose 2*g = 5*c + 3, 2*c + 4 = 5*g + 7. Let k(i) = -i**3 - i - 1. Let j be k(c). Which is bigger: j or 3/7?
j
Suppose 4*i - 2 + 1 = 3*c, 4*i - 9 = -5*c. Let k be (0 - (-47)/15) + -3. Are k and i nonequal?
True
Suppose 4*f - 2*n - 11 = 31, 3*f = -5*n + 38. Suppose 4*i = 27 - f. Suppose 4*z = -i - 4. Is -1 at least as big as z?
True
Let m be (5/(2*-10))/1. Which is greater: 1/15 or m?
1/15
Let i = -2 - -1. Suppose -2*v + 8 = 2*v. Suppose -v*k = -4*k. Is i at most k?
True
Suppose -n - n - 4*p - 4 = 0, -5*n - 3*p - 3 = 0. Which is bigger: n or -6/5?
n
Suppose 0*g + 3*g - 12 = 0. Suppose -16 = h + g*w, 0 = -h - 2*w - 5 - 3. Let o = -1 - -2. Is h >= o?
False
Let z be -4 - 2/((-8)/18). Is 1 less than z?
False
Let m = -6.99 + 7. Let n = -2.01 + m. Which is greater: 1/5 or n?
1/5
Let r be (2/(1 - -3))/(-2). Let c = 1 - -1. Do c and r have the same value?
False
Suppose 0 = 8*d - 12 - 4. Which is greater: d or 6/11?
d
Let h be 2/(-9) - (-7514)/117. Are h and 64 equal?
True
Let r = 1.7 + -7.7. Are 2/9 and r unequal?
True
Let v be -4*2/(-28) - 0. Suppose 2*d - 3 = -5. Is d less than or equal to v?
True
Let v be 4/(-14) + (-216)/(-462). Let l = -9.7 - -9. Let r = -0.3 + l. Which is greater: v or r?
v
Let i = -133 + 4391/33. Is i at least 0?
True
Let m = -2/19 + 11/285. Which is smaller: m or 0?
m
Let a = -1.5 - -4.43. Let v = -0.07 - a. Which is bigger: v or -1?
-1
Let b(v) = v**2 + 2*v - 1. Let i be b(-2). Which is smaller: i or -1/14?
i
Let y be 2/3*1/2. Let l = 0.14 - 0. Let z = l + 0.06. Are y and z equal?
False
Suppose -4*m = n - 130, 4*m = 5*n + 151 - 9. Let w = m + -19. Which is smaller: 15 or w?
w
Suppose 0 = -53*b + 48*b + 3*a + 10, 3*b - 4*a = 6. Suppose 4*r = -r. Suppose -x + 7 - 3 = r. Which is greater: x or b?
x
Let r be ((-19)/(-38))/((-2)/(-8)). Let l(n) = -n**3 + 8*n**2 - n + 11. Let m be l(8). Is r at least as big as m?
False
Let m = 0.6 + 2.4. Let t = m - 2. Is 4/3 equal to t?
False
Let c = 2 - -2. Is c less than or equal to 5?
True
Let r = -28 + 17. Which is greater: -7 or r?
-7
Suppose 8 = t + 3*w, 10 = 3*t + 5*w - 2. Suppose l + 0 = 1. Let i be l - t/((-3)/(-9)). Is i at most 4?
True
Suppose -c - x + 2 = -3, 0 = -2*c - x + 8. Suppose 14 = v + 4*u, v + c = -u + 8. Suppose -v*r = -3*r - g, 4*g = -r. Which is smaller: r or 1/4?
r
Let h be 3*2/(-6)*-4. Suppose 5*s = -h + 24. Suppose -40*x = -37*x - 9. Are x and s nonequal?
True
Suppose n + 3 = -l + 1, 0 = 5*l - 20. Let v be 3/9 - (-26)/n. Suppose 2*r + 3 = -1. Is r equal to v?
False
Let h = -1/24 + -83/312. Is -1 at least as big as h?
False
Let r = -206 + 143. Let c = -565/9 - r. Is -1/2 less than c?
True
Let h = 79 + -467/6. Is 1 smaller than h?
True
Let u be 8/3*(-9)/2. Let m be (4/u)/(3/(-9)). Which is greater: m or 2/43?
m
Let h = -529/237 - -414847/4503. Let a = h - 90. Which is greater: a or 1?
1
Let a = -0.1 + 0.3. Which is bigger: a or 0.4?
0.4
Let d = -8/799 + 6/47. Which is bigger: 0 or d?
d
Let v be 2/12 + (-299)/3450. Which is smaller: -1 or v?
-1
Suppose 4*y - o + 14 = 56, -y + 2*o + 7 = 0. Which is smaller: 15 or y?
y
Let r(o) = o**2 - 5*o + 1. Let u = -2 + 7. Let f be r(u). Let c = 178 + -178. Which is bigger: c or f?
f
Let d = 2.4 + -3.8. Is d at least as big as 1?
False
Suppose -p = 2*p - 18. Let w be (-1 + 5/p)*1. Is w greater than -0.1?
False
Let y(z) = -z**2 + 7*z + 6. Let w(a) = 4*a**2 - 29*a - 25. Let j(u) = -2*w(u) - 9*y(u). Let h be j(-3). Suppose f - h = -3*f. Is 4 less than f?
True
Let k be (-6)/9*(-5 - 1). Suppose -1 + 2 = u - 5*w, 4*u - 4*w = k. Suppose 3 = -j - u. Which is bigger: j or -1?
-1
Let n be 12/(-4) + (-38)/(-8) - 2. Is -2/33 > n?
True
Let u(b) = b**3 + 3*b**2 - b. Let h be u(-3). Suppose -5*z = -3*g - 3, -5*g = z - h*z + 5. Suppose 2*m = 2 - z. Is 3 less than m?
False
Let k(y) = 5*y - 4*y - 2 + 0. Let g be k(-8). Let v be (-1)/2 - g/4. Is 3 < v?
False
Let r = -1919 + 1908.21. Let w = -0.21 + r. Let v = 10.97 + w. Is 0 smaller than v?
False
Let c(v) = -4*v**2 - 1 - v**3 + 0*v + 2*v + 5. Let d be c(-4). Let b(f) = f**3 + 2*f**2 + f - 3. Let z be b(0). Which is greater: z or d?
z
Let o be 0 - ((0 - 1) + 2). Let w be 12*-3*o/6. Suppose 10 = -5*b, -3*b + w = -4*q - 4*b. Do 0 and q have different values?
True
Let u = -6 + 2. Let v be (2/6)/(u/(-72)). Is v >= 7?
False
Let n = -234/203 + 21/29. Is n < 0?
True
Suppose 0 = 5*d - 2*d + 9. Which is smaller: -6 or d?
-6
