)/((-2)/(-6)). Let r be 15/9 + p/(-3). Is r smaller than 2?
False
Let q = 3.78 + 0.22. Which is bigger: q or -1?
q
Let s be (-8)/3 - -2*1. Let q be (-4 - (-5 - 2)) + -3. Is s smaller than q?
True
Let d = -30 + 31. Is 12/13 > d?
False
Let p(x) = x**2 - 8*x - 1. Let r be p(6). Let z = r + 16. Is z at least 3?
True
Let u be (-70)/74 + 5 + -4. Which is bigger: -3 or u?
u
Let h = -24 - -23.6. Which is smaller: h or 0?
h
Let a = 2.8 + -3. Let p = 81 + -82.02. Let g = p + 0.02. Which is greater: a or g?
a
Let y = -0.092 + 13.992. Let w = y - 14. Is w bigger than -1/9?
True
Let w = 6 - 29. Is w at least as big as -24?
True
Let c be (-2)/17 - (-50)/136. Let v = 2 + -2. Is v > c?
False
Let s(n) = n - 3. Let u be s(7). Suppose -5*k + u - 9 = 0. Let v = -27/2 + 12. Is k < v?
False
Suppose 12 = 4*d - 0. Suppose o = -d*o. Which is smaller: -1/5 or o?
-1/5
Let c(s) = 12*s - 61. Let d be c(14). Are d and 108 equal?
False
Let x be (32/114 - 0) + (-1)/3. Are x and 1 equal?
False
Let k = -10531/54250 - -1/1750. Which is bigger: -1 or k?
k
Let u = 26 + -22. Is 22/7 at least u?
False
Let n = 4089 + -494772/121. Is n > 1?
False
Let k be 4/26 + (-2465)/221. Is -11 at most k?
True
Let w = -29/3 - -9. Let c = 736/605 - 2/121. Is c >= w?
True
Let y = -7 - -11. Let h = -0.6 + -1.4. Let t = y + h. Which is smaller: t or -1?
-1
Let d be (-20)/6 - (-2)/6. Let b be d + (-14)/(-3) + -1. Which is greater: b or -1/4?
b
Let z = -13 - -13. Which is bigger: z or -1/86?
z
Let s(h) = 37*h**2 - 2*h + 1. Let i = 4 + -3. Let q be s(i). Let x be (3/q)/(2/6). Which is smaller: x or 0?
0
Let y = 1 + 0. Suppose -y = 5*d + 4. Suppose 3*f + 6 = -x, 0 = 5*x + 10 + 5. Is d less than or equal to f?
True
Let s = 1 - -9. Is s at most -0.3?
False
Let y(d) = -d**2 - 3*d**3 - 2 + 2*d**3 + 4*d**2. Let s be y(2). Is s <= 2?
True
Let o be (32/(-66))/(14/(-6)). Let q = 6/77 + o. Which is bigger: -0.2 or q?
q
Let z = 1.36 + -0.16. Let o = -0.8 + z. Is 2 != o?
True
Let h(w) = 33*w**2 + 2*w - 3. Let z be h(1). Which is smaller: 2/5 or z?
2/5
Let j be -4 - (-6)/((-24)/(-20)). Is j < -8?
False
Let o(i) = -i**2 - 31*i - 43. Let b be o(-30). Which is smaller: b or -15?
-15
Let f = -1 - 1. Let i(c) = -c**2 + 8*c + 8. Let d be i(9). Which is smaller: d or f?
f
Let b = 19 + 4. Suppose 0*n - 2*o = 4*n - 2, -3*o = -4*n - b. Is n at least -2?
True
Let l(t) = 2*t**3 - 24*t**2 - 16*t - 3. Let n be l(12). Is n greater than or equal to -194?
False
Let x(q) = -29*q - 1. Let h be x(-1). Is 29 smaller than h?
False
Let i = 13 + -12. Is i < 0.15?
False
Let r(f) = -f. Let o be r(-5). Suppose 0 = -0*q + o*q. Which is smaller: q or -1?
-1
Let u be 2/(-9) + (-218)/(-9). Suppose -2*c = c + u. Is c greater than or equal to -8?
True
Let r(t) = 11*t + 5. Let z be r(5). Suppose -j - 2*j = z. Let w be ((-5)/j)/(-2 + 1). Which is greater: w or 1/4?
1/4
Let p(i) = i**3 + i. Let y be p(0). Is y greater than or equal to 5/6?
False
Let f(s) = s - 4. Let w be f(4). Which is bigger: w or -8/13?
w
Let x be (2 + -1)/(9/18*-188). Which is greater: -1 or x?
x
Let d = 78 - 379/5. Which is bigger: d or 3?
3
Let w be 10/4 - 2/(-4). Suppose w*x = x - 8. Suppose 4*m - 8 = 3*p, 24 - 3 = -5*p - m. Are p and x nonequal?
False
Let z be (1/4)/((30/(-44))/(-3)). Which is greater: 2 or z?
2
Let z = -2 + 2. Suppose z*a - a = 5*u + 6, -1 = -4*a + 5*u. Let r be 3/(-18)*3*a. Is 0 smaller than r?
True
Suppose 3*k + 2*k + 5 = 0, 0 = 4*u + k - 7. Let a = 11 + -9. Suppose 0 = -a*t + 6. Is t at most as big as u?
False
Let y = 21 - 30. Let s(g) = -g**2 - 10*g - 8. Let p be s(y). Which is smaller: -2 or p?
-2
Let o = -81 + 1135/14. Which is bigger: o or -1?
o
Suppose -r = 3*f - 0 - 3, -15 = -5*r + 5*f. Let l = -58 - -62. Which is smaller: r or l?
r
Let n = 7081 - 14511/2. Let i = n - -1206/7. Let t = i - -5/7. Is -2 <= t?
True
Suppose r = -2*f + 62, r + 91 = 3*f + 2*r. Suppose 3*p - 6*m - f = -4*m, -m + 26 = 3*p. Let w = -5 + p. Which is smaller: 3 or w?
3
Let j be ((-7)/5)/(1/(-5)). Suppose j*a = 6*a. Which is smaller: a or 1?
a
Let r = -11 - -21. Are r and -1 unequal?
True
Suppose -3*q + 70 = -8. Let u = -129/5 + q. Is 1 bigger than u?
True
Let n = -2 - 6. Let r(z) = 14*z + 2. Let a be r(4). Let s be 15/(-20) + a/(-8). Is n != s?
False
Let x be 1 - 1 - (16 - 1). Let o be 8/6*x/(-10). Let v = 0 + o. Which is bigger: v or 1?
v
Let a(k) = 2*k**2 - 44*k + 7. Let w be a(21). Which is smaller: w or -34?
w
Let y(x) = x**2 - x - 21. Let z be y(5). Is -10 greater than z?
False
Let u be -5*(86/30 + -3). Is u greater than or equal to 0?
True
Let r = 5 - 9. Let v = 17 - 3. Let g be (-5)/7 - r/v. Does g = -1?
False
Let b = 384569/95 - 4048. Let p = -2/19 - b. Which is bigger: -1 or p?
p
Let d = 16 - 9. Which is smaller: 6 or d?
6
Let t = 2/165 + -392/5115. Do 1 and t have the same value?
False
Let i be (-1 + 2)/(3/6). Let t = 4 - i. Is 2 at least as big as t?
True
Suppose h + 12 = -h. Let x be (-2)/6*h/20. Are x and 1 equal?
False
Let n be (-1)/((0 - -1)*1). Let u = 62/11 - 60/11. Is n smaller than u?
True
Let h = 4973344270123/375 + -13262242739. Let g = 8648 - h. Let i = g + -764/2625. Which is greater: i or -1?
i
Let q(t) be the first derivative of t**4/4 - 5*t**3/3 - t**2/2 + 4*t - 3. Let u be q(5). Let w be u + 1 + 1 + 1. Is 1 bigger than w?
False
Let j be (-1)/((7/(-10))/(-7)). Is -19/2 < j?
False
Let a = -97 + 103. Suppose -2*h + 6 = -h - 3*b, -2*b - 18 = -3*h. Is h < a?
False
Let t be 1/94*(-1108)/10. Let z = t + -1/47. Does z = 0?
False
Let w = 8 - 6. Let r be w + -7 + 3 - 33. Let u be 4/10 - r/(-25). Which is smaller: -2 or u?
-2
Let q = 11 - 12. Is 7 greater than q?
True
Suppose 1 = 2*x - 7. Are 5 and x equal?
False
Let c = -117/4 - -29. Which is bigger: 1 or c?
1
Let v = -8 + 9. Let x be v*(74/26 - 3). Which is bigger: 0 or x?
0
Let j be (-60)/108 - 4/6*-1. Is j smaller than 1?
True
Suppose 4*l + 6 = 2*k, 2*k - 2 = -4*l - 12. Which is greater: -1/5 or k?
-1/5
Let y = 2.18 - 0.18. Which is bigger: y or 0?
y
Let n = -0.1 - 0. Let u = -2 + -1. Let j be (-2)/5 - 0/u. Is n at least as big as j?
True
Let u = -34 + 35. Which is greater: -2 or u?
u
Let k be -3*(-2)/(-156)*4. Let d be (-14)/(-10) + 2/(-5). Is k <= d?
True
Let f = 1971 - 386319/196. Let u = f - -227/196. Is 1 < u?
True
Let f be 15/(-2) + (4 - (-21)/(-6)). Suppose -2*v + 4 = q, -q = -2*v + 3*v + 1. Which is bigger: q or f?
q
Let w be 1 - 678*1/20. Let u = w + 65/2. Suppose -4*g = 2*x - g - 4, x - g = -3. Which is bigger: u or x?
u
Let a be (-1)/(1/(9 + -3)). Let h = a + 6. Which is bigger: h or -2/27?
h
Let z = -13 + 21. Let k be 6/((27/6)/3). Suppose -d - 3*b - 8 = 0, -4*b + k = 2*d - 2*b. Which is smaller: d or z?
d
Let p = -49166 + 1769333/36. Let n = -71/4 - p. Which is smaller: n or -1?
-1
Let f = -0.18 - -0.88. Let d = -7.3 - f. Let x = d + 11. Is 2 equal to x?
False
Let k be (4/(-6))/(2/33). Which is smaller: k or -12?
-12
Let v be 0*(-4 + 3 - -2). Suppose 3*t + 1 = 10. Let c be 2/4 + t/6. Is c at least as big as v?
True
Let a(p) be the third derivative of p**5/60 - p**4/8 + p**3/6 - 5*p**2. Let x be a(2). Is -1 smaller than x?
False
Let m = -467/364 - -3/91. Is m at least as big as -3?
True
Let f = -9 - -9. Is f at least as big as -2/35?
True
Let j be 4/70 - (1 - 1). Suppose 0 = -0*w + w + 1. Which is greater: w or j?
j
Let s(t) = 3*t - 3. Let u be s(5). Let v be 52/(-24) - (-2)/u. Which is smaller: v or 5?
v
Let i(w) = w**2 - w - 3. Let k be i(3). Suppose l + 4 + 0 = -3*g, l = k*g + 8. Let c = -23 + 26. Is c at least l?
True
Let d be 1 + 2 + -1 - 0. Suppose -b = -4*a + 5*a - 4, -4*b + d*a + 16 = 0. Is b less than 5?
True
Let i = -9 - -1. Let o = i - -16. Does 8 = o?
True
Let i be (2 - 0)*-1 - -1. Let o be (2/i + 1)*0. Do 3 and o have different values?
True
Let l = 12 - 11.77. Let q = -0.77 - l. Is 1 greater than q?
True
Suppose 3*a + 6 = 5*a. Let q be 7/6 - 6/a. Which is bigger: q or 0?
0
Suppose 2*q + 2*g = -2*q - 16, -q - 2*g = 4. Suppose -4 = -a - 1. Suppose 0 = c - 2*h + 7 + 4, 0 = -a*h + 9. Which is bigger: q or c?
q
Suppose -5*z + 2*g = 20, 0*z - 3*g - 9 = -z. Let s be (-36)/15*(-20)/z. Let n be -1 + (-21)/s - 2. Which is smaller: n or 1?
n
Let m be (-1)/2 - 9/(-2). Suppose 0 = -c + 5 + m. Let w be c/12*(-1)/(-3). Which is bigger: w or -1?
w
Let n(g) = -g**2 + 4*g - 2. Let v be n(3). Suppo