*v. Let b be (v + 2)/((-4)/18). Is 9 greater than b?
False
Let p be (-20)/24 - 1/6. Suppose 3*c = -b + 4*c + 1, 4*b + c + 21 = 0. Let o be 30/48 + 3/b. Is p less than or equal to o?
True
Let x be (35/9 - 4)/((-6)/(-4)). Is x > -0.04?
False
Let a be 10*((-2)/16 - 55/(-88)). Let t(f) = f**3 + 6*f**2 + 5*f + 3. Let o be t(-5). Which is greater: a or o?
a
Suppose v + 2*q = 8, 3*v + 0 = 3*q - 12. Which is bigger: v or 6/7?
6/7
Let i = 0.181 - 9.081. Let c = 9 + i. Let t = -4 - 0. Which is smaller: c or t?
t
Let n(q) = q**3 - 2*q**2 + 1. Let v be n(-1). Suppose 547 = -2*l - 127. Let a = l + 2017/6. Does a = v?
False
Let x(o) = -o**2 - 6*o + 1. Let v be x(-7). Let t = 15 + v. Let b be 6/8*(-3)/t. Is -1 less than or equal to b?
True
Let t be 1/(2/((-48)/44)). Which is smaller: t or -2?
-2
Let m = 122/5 + -25. Suppose -5*b = -2*g - 19, 2*b + 4*g = 3*g + 4. Suppose -b*p = -0*p. Is m at most as big as p?
True
Let k = -26 + 89. Which is bigger: 64 or k?
64
Let q be 4/8 + 9/(-2). Is -7/2 at least q?
True
Let l be 22/33 + 10/(-6). Is 3.2 not equal to l?
True
Let o be 0 - (2 + 2/(-1)). Let u be 8*(-2 - (-9)/6). Let v = 5 + u. Which is smaller: v or o?
o
Suppose 8*r - 1 = 7*r. Do -3/68 and r have the same value?
False
Let j(g) = -3*g + 9. Let c be j(5). Let m(t) = -21*t**3 + 2*t + 1. Let h be m(-1). Let u be (8/(-6))/(h/c). Is 0.3 bigger than u?
False
Let j(n) = 7*n**2 - 1. Let i be j(-1). Let x be ((-15)/10)/(i - 0). Is 2 >= x?
True
Let m(h) = 3*h**2 + h. Suppose 2*y - 10 = -4*f, 5*y - 3*f + 5 = -9. Let j be m(y). Let o be (-1)/(j - 1/(-2)). Do o and 1 have the same value?
False
Let y be (-12)/8*2/(-3). Suppose -4*i + y + 19 = 0. Is i >= 5?
True
Let j be (-1)/10*(-11 - -12). Which is greater: 0.3 or j?
0.3
Let w be (-19)/(-4) + 21/(-28). Let r be w/(-44)*(0 - 4). Are r and 1 equal?
False
Let n be (4/((-20)/(-3)))/(5/25). Which is smaller: 8 or n?
n
Let c be 8/(-4390)*5/(-2). Let f be (-16)/(-2)*(4 + (-52453)/13170). Let u = c - f. Which is greater: u or 1?
1
Suppose 2*n = -5*s + 8 + 42, 0 = -3*s + 3*n + 9. Suppose 2*l + s = 2. Let y be (-3)/6 + l/(-2). Does 2 = y?
False
Let p(c) be the third derivative of c**5/60 - c**4/24 - 5*c**2. Let x be p(-1). Suppose t = 2*t - 1. Which is smaller: t or x?
t
Let h be 10*-6 - 1 - 0. Is h greater than -61?
False
Let r be 2*(-51)/24 - -4. Let d = -1 - -2. Is d less than r?
False
Let s = 6/7 - 64/91. Let d = 7 - 10. Let g(b) = -b - 4. Let m be g(d). Is m bigger than s?
False
Suppose -5*s - 2*n - 9 = 0, 4*s = s + n - 12. Let g be s/(-9) + 4/(-3). Let f be -1*(1 - g) + 2. Is 0 at least as big as f?
True
Let z = -4.6 + 4.5. Which is smaller: -15 or z?
-15
Let y be ((-8)/(-2) + (-4)/4)*-1. Is y != -40/9?
True
Let x = 0.3 - 0.2. Suppose 8 = 2*o - 4*o. Let j be 3/6 + (-2)/o. Which is smaller: j or x?
x
Let a = 5 + -8. Are a and -1 equal?
False
Let g = 946523/52 - 18197. Let o = -60/13 + g. Are 2 and o unequal?
True
Let s = 4.2 - 2. Let l = 0.2 - s. Let w = -2 + 1. Is w > l?
True
Let h be (-6)/(-2)*28/(-147). Is h < -2?
False
Suppose -3*n - 4 = -2*v, v - n - 8 = -v. Let d = -5 + v. Suppose -2*t - 3*p + 15 = d, -2*t - 5*p = -7*t. Do t and 1 have the same value?
False
Suppose 0 = 2*c - 2*i - 8, -4*i + 0 = 4*c + 16. Is 5/26 >= c?
True
Let y = 754 - 24123/32. Is -1 at least y?
False
Let m = -1 - -1.5. Let t = -2.5 + m. Which is greater: 1/5 or t?
1/5
Let x = -36 - -44. Which is greater: x or 51/7?
x
Let f be (-86)/18 + (-18)/81. Let r = -4 - f. Which is greater: r or 3?
3
Suppose -2*h = -5 - 9. Let i be (30/(-245))/(1/h). Is i < 0?
True
Let c be (0 - 1 - -4) + 0 + -16. Is c not equal to 2/5?
True
Let v(d) = -d**3 - 7*d**2 + 4*d - 8. Let h be v(-8). Suppose 0 = -3*p + h - 3. Let t be (18/(-4))/(3/(-4)). Which is bigger: p or t?
p
Let o = -0.062 + -0.03. Let l = o + -5.008. Let n = l - -5. Does n = -0.1?
True
Let b = -179/45 - -37/9. Which is smaller: -1 or b?
-1
Let c = 2997636 + -8768084824/2925. Let s = 2/225 - c. Which is greater: 1 or s?
1
Let c(p) = p**3 - 11*p**2 - 16*p + 12. Let x be c(12). Is x >= -36?
True
Let x = -0.06 - 20.54. Let l = -25 - x. Let o = l + 4. Which is smaller: 0 or o?
o
Let k(n) = -n**2 + 5*n. Let a be k(4). Do 5 and a have the same value?
False
Let u = -2/447 - -5821/2235. Let q = u + -127/45. Which is smaller: 1 or q?
q
Let x be 1/(-4) - (-49)/4. Suppose -2*i + 5*i = x. Which is bigger: i or 2?
i
Suppose -3*d + 2*d = 75. Let k = d + 54. Let y be 9/(-7) - 6/k. Are 1/4 and y unequal?
True
Let n(w) = -3*w. Let x be n(1). Let b = x + 5. Let i be 0/(b*2/2). Is -1 bigger than i?
False
Let w = -15 - -31. Is 16 < w?
False
Let q(k) = k**3 - 7*k**2 + 6*k + 2. Let j be q(6). Let t be j/3 - (-2 + 3). Which is smaller: t or 1?
t
Let x(w) = w + 7. Let j(t) = t**2 + 12*t + 14. Let l be j(-10). Let r be x(l). Which is bigger: 4/13 or r?
r
Let m = 41 - 41.5. Which is smaller: 2/7 or m?
m
Suppose -2*a + 4*a - 4 = 0. Let b = -1 - 2. Let c be (b/2)/(12/(-16)). Is c smaller than a?
False
Let v be -3*1/(-15)*5. Suppose v = -4*m + 5. Are m and -2/17 nonequal?
True
Let l(n) = n**3 + 3*n**2 + 2. Let i be l(-3). Suppose 5*v = i*v + 42. Let b be (1*3)/(4 - v). Which is greater: 1 or b?
1
Let o(c) = -4*c + 4 + 3 + 2 + c**2. Let y be o(6). Suppose -5*x + 15 + 5 = 0, -y = -f - 5*x. Which is bigger: -3 or f?
f
Let s = -0.7 + -0.3. Let t = s + 0. Let u = -377 + 377.3. Which is bigger: t or u?
u
Let y = 12.881 + 0.019. Let r = 13 - y. Let l = -2 + 0. Is l >= r?
False
Let n = -6 + 9. Let u = -2.03 + 0.03. Let x = u + n. Which is smaller: x or -1?
-1
Suppose -8*t + 3*t = 50. Let a be t/14 - (4 + -5). Let s(c) = c**2 + 8*c. Let u be s(-8). Which is greater: a or u?
a
Let o be (4/(-12))/(7 + -2). Is 1 at least o?
True
Let v(p) = -p**2 + 5*p - 3. Let y be v(6). Let l = -7 - y. Suppose 0 = i + l*i - 3. Is i at most as big as -8?
False
Suppose 21 = -2*a - z, 4*a + 3*z + 26 = -21. Is a less than or equal to -8?
True
Let v be (9/12)/((-3)/(-12)). Let w = v + 2. Which is bigger: 4 or w?
w
Let a be (0 - -6)/(12/(-96)). Is a at least -48?
True
Let g = 30 - 2068/69. Is g at most 1?
True
Let u(s) = s**2 + 7*s + 4. Let f be u(-7). Which is bigger: f or 1?
f
Let i = 3 + -4. Let d be 5 + -3 - (-1 - i). Suppose 2*m = 6 - d. Is m at least 2?
True
Let d(t) = 8*t - 1. Let r be d(7). Let y be 2/5 + (-12)/r. Is 3 at least y?
True
Let f = -0.06 + -1.94. Let s = f - -4. Let q = s + -1.9. Which is greater: -2 or q?
q
Let j be (0/(-1) - 3) + 5. Suppose j*o + 8 = -2*z, 0 = 2*o + z - 3*z. Which is bigger: -1 or o?
-1
Let p(m) = m + 1. Let o be p(6). Let g = -48 + 58. Let u = o - g. Do -3 and u have different values?
False
Let k = -11.6 + 12. Let q be (0/2 + 0)*-1. Let a(o) = o**2 - o - 1. Let n be a(q). Which is greater: n or k?
k
Let n = -10.9 - -11. Is -6 < n?
True
Let t = -13 - -14. Do 12 and t have the same value?
False
Let f be (7/(245/(-5)))/(-6 + -1). Which is greater: f or -1?
f
Let s = -16 - -22. Which is greater: 7 or s?
7
Suppose 0 = -j - 2*j + 18. Suppose g - j = -1. Is 5 equal to g?
True
Suppose 2*g + 3*k + 3 = 0, 3*k = g - 2 - 1. Let c = 28 + -27. Which is greater: g or c?
c
Let x = 124/9 - 14. Let d be -1*(16/4)/4. Which is bigger: d or x?
x
Let d be 24/(10/(-45) + 47/9). Is d equal to 6?
False
Let w be ((2 - -2) + -4)/(-2). Which is greater: 2/3 or w?
2/3
Let f = -7 + 6. Does -1/14 = f?
False
Let x = 3 + -3. Let h be x*(-1 + 0 - 0). Let c = h + -1. Is c less than 0?
True
Let a = 774/11 + -70. Let m(t) = t**3 - 15*t**2 + 14*t - 1. Let u be m(14). Is u less than or equal to a?
True
Let k = 4 + -9. Let v = -8.9 + 9. Let j = v + -1.1. Is j at most as big as k?
False
Suppose -7*g = -2*g - 5. Let r be ((-404)/(-132) - 3)*6. Does g = r?
False
Let u be (-6)/16*10/(-6). Which is greater: 1 or u?
1
Let i = 58 - 56. Let t = -7 - -12. Let r = t - 3. Is i less than or equal to r?
True
Let u = 36/5 + -169/20. Which is smaller: u or -0.3?
u
Let b = 69 - 97. Is b not equal to -27?
True
Let p = -76 + 77. Which is bigger: p or -14?
p
Let b = -51/7 - -313/42. Let v = -3.8 + 4. Which is smaller: b or v?
b
Suppose 0 = 4*h - 3*g - 15 - 18, 0 = -2*h - 2*g + 20. Let a = 8 - h. Let b = 15/8 + -89/56. Which is smaller: a or b?
a
Let a = -1 - 3. Let w = 13 - 5. Suppose -q - w = 3*q. Which is greater: a or q?
q
Let f = 30 - 30. Are f and -1/11 nonequal?
True
Let d = 11 - 9. 