3826/9. Let d = b - q. Which is smaller: d or 0?
0
Let a be (-4)/10 - (-362)/5. Let c be (4/6)/((-8)/a). Is c smaller than -7?
False
Let w be 0/2*(-1 + 0). Suppose 4*d = -o - 3, o - 7 = -2. Let q be 2 - ((-174)/(-45) + d). Do w and q have the same value?
False
Let y = -1 + 3. Let b = y + 0. Suppose 0 = 2*k + b*q + 6, 4*q - 2*q = -4*k - 6. Which is greater: k or 2/7?
2/7
Let k(x) = x + 14. Let n be k(-11). Let t be (4/(-12) - 0)*n. Which is bigger: 1/3 or t?
1/3
Suppose 7*j - 4*j - 6 = 0. Let o be 6/21 + (-978)/728. Let d = -4/13 - o. Is j greater than d?
True
Suppose -1 = -o - 2. Let p = 5 + -5. Let j be p + ((-10)/(-3))/(-2). Which is smaller: j or o?
j
Let y be ((-61)/(-15) - -2) + (-2)/3. Is y != 6?
True
Let u = -28 - -34.2. Let c = u - 6. Which is smaller: 0.3 or c?
c
Suppose 0 = -0*m + 3*m + 18. Let j = 8 + m. Suppose -3*o = 5*a - 4, 2*o + j = -a - 0. Which is greater: 0.1 or a?
a
Let m = -70 + 38. Which is smaller: m or -2/7?
m
Let i = -201 + 3818/19. Which is bigger: i or 1?
1
Let n be 7/4 + (-3)/(-12). Let l be ((-1)/12)/(10/(-90)). Which is bigger: n or l?
n
Let f be -6 + 7 - (-18)/(-22). Let j be 30/77 + (-4)/14. Let s = j + f. Is s at least 1?
False
Let z = -23 - -26. Let f = 6 + -1. Let b be 18/5 - (-2)/f. Which is greater: b or z?
b
Let q(c) = -c**3 - 12*c**2. Let x be 3 - (0 + 2 - -13). Let l be q(x). Is -1/5 at most as big as l?
True
Let n(y) = y**2 - 12*y. Let s be n(14). Let a be 4 + ((-188)/s - -1). Which is greater: -3 or a?
a
Let p be ((-18)/(-5))/(10/25). Let q = p - -6. Suppose q = 3*h - 6*m + 3*m, -4*h = -3*m - 17. Which is smaller: 1 or h?
1
Suppose 2 = -3*n + 17, q - 5*n = -25. Let d = 0 + -1. Which is greater: d or q?
q
Suppose 3*y + 3 = -5*l + 4, -2*y + 5*l + 9 = 0. Let h be (y/(-2))/((-2)/(-4)). Let g be ((-4)/15)/(h/(-5)). Are -1 and g nonequal?
True
Let n = 1/771 + 25439/3084. Which is bigger: 8 or n?
n
Let n be -4 - (10 + (-4 - -4)). Let a = 23 + n. Which is smaller: a or 8?
8
Let u(k) = k**3 - 3*k**2 + 2*k - 1. Let m be u(3). Suppose -m = -n - 3. Let t be 8/2*(-6)/(-36). Which is smaller: t or n?
t
Let b be (-1 - 3)/4 + 9. Suppose 4*x = -8 - b. Is -2 less than x?
False
Let s be ((-3)/(-9)*-3)/1. Do 2/11 and s have the same value?
False
Suppose -4 = -q - 1. Let k = 2 - 2. Suppose -q*x + 2*x = k. Do 1 and x have the same value?
False
Let y(r) = -2*r + 9. Let m(z) be the third derivative of z**4/24 - z**3/6 - 3*z**2. Let v(t) = -3*m(t) - y(t). Let s be v(-5). Which is smaller: s or -2?
-2
Suppose -4*x - 12 = -7*x. Suppose 9 = -x*d + 2*m + m, -5*m + 15 = d. Which is greater: d or -4/5?
d
Let i(q) = -q - 1. Let l be i(-15). Let z be (l/18)/(4/(-6)). Which is smaller: 0 or z?
z
Let k = -1.7 - -0.7. Let a = -2 + 1. Let t = a - k. Does t = 1?
False
Let h = -2 + 1. Let i(c) = c**3 - 9*c**2 + 11*c - 25. Let o be i(8). Is o less than h?
False
Suppose 2 = 7*k - 5. Is 1 greater than or equal to k?
True
Let t(v) = -v**3 - 6*v**2 - v - 6. Let i be t(-6). Let n = 43 - 302/7. Which is smaller: n or i?
n
Let t = -3.1 + 3. Is t less than or equal to 16?
True
Let z be (-46)/(-3) - 6/(-9). Suppose z = f - 5*f. Let d be (2 - 5)*(-11 + 12). Is d at most as big as f?
False
Let h be (0/(-6))/(-7) + (-2)/(-11). Is 2 smaller than h?
False
Let m be -4 - ((-504)/147 - 8/(-14)). Which is smaller: m or -2?
-2
Let t be (-2)/(-6)*3 - 0. Let b = 3 + t. Is 5 bigger than b?
True
Let z be 2/(-10) + (-4)/(-20). Suppose -15 = -5*i - z*i. Let h be 3/15 - 4/(-5). Which is smaller: h or i?
h
Let b(h) = h**2 - 3*h - 4. Let n be b(3). Let k be 2 - (1 + (-2)/n). Which is greater: 2 or k?
2
Let a = 3 - 3. Suppose 0 = 4*o - a*o. Let h = -40 + 40. Are o and h equal?
True
Suppose 22 = -0*k + 2*k. Suppose 3*m + 4*h + 4 = 46, 4*h + 8 = 2*m. Is m less than or equal to k?
True
Let q(h) = -4*h - 1. Let p be q(-1). Let i = p - 1. Is -7 at most as big as i?
True
Suppose -5*z - 2*o = o - 58, 5*o + 20 = 0. Which is greater: 13 or z?
z
Let a be ((-15)/45)/(1 - 0). Is a equal to 2/3?
False
Let g = 0.3 + -0.3. Let c = 0 - -1. Does c = g?
False
Suppose -4*f = 3*g - 14 + 5, 17 = 4*f - 5*g. Let w = 1 - -2. Suppose -w*m = -5*k + 9, k - 4*k = 4*m - 17. Is f <= k?
True
Let b(m) = m**3 + m**2 - m + 5. Let d be b(0). Suppose 2*h + 3*n - 33 = -h, -n + 2 = 0. Suppose 0 = -z - 4 + h. Is z less than or equal to d?
True
Let a = 4 - 0. Suppose -3*x - 6 = 3*k, -2*k = -a*x + 7 + 3. Let l be (-14)/21*3/(-8). Which is bigger: x or l?
x
Let x be -19 - (4/4 + -3). Let y = x - -18. Is y at least as big as 4?
False
Let j = -58 + 57.9. Which is greater: 11 or j?
11
Let b(z) = z**3 - 9*z**2 - 20*z - 22. Let j be b(11). Let d be 11/13*-1 + 1. Which is greater: d or j?
d
Let a = -3 - -3.1. Let d = -0.8 - -1. Are d and a equal?
False
Let j = -1.15 + 1.7. Let l = j - 0.15. Is 0 <= l?
True
Let t = 0.2 + -0.3. Let x be (-550)/(-20) + 1/(-2). Let f be (-3)/((x/(-12))/3). Which is smaller: t or f?
t
Let h be 1 + -7*(-2 - -3). Let t be (-9)/12 - h/8. Let w(y) = -y**2 + 5*y - 4. Let m be w(4). Is m > t?
False
Suppose 0*j + 4*c + 14 = 3*j, 4*j = -3*c - 23. Let a be ((-180)/(-117))/(-2*1). Which is bigger: a or j?
a
Let m(k) = -k - 1. Let z be m(-7). Let a be ((-20)/z)/((-1)/3). Let l be -1 + (24/a - 1). Is l > -2?
True
Let r = 0.3 - 0.1. Let w be 2/(35/(-103) - 0). Let c = w - -28/5. Which is smaller: c or r?
c
Let f = 1 - 1.1. Let j = -1 - -1. Let g = j + f. Which is bigger: -2 or g?
g
Let x = 5 - 5. Let b = 37/4 - 1361/148. Which is bigger: b or x?
b
Let r = 0.055 + 11.945. Which is smaller: r or 4/7?
4/7
Let a(j) = -4*j. Let y be a(-2). Let p = y + -9. Which is smaller: p or -4?
-4
Let u = -0.193 + -0.107. Is 24 greater than u?
True
Let o(h) = 3*h - 1. Let p be o(1). Suppose -p*y - 6 = -2*k, 0 = 4*y - 7*y - 9. Suppose -4*u - 3 = 3*r - 25, k = 4*r - 8. Is u > 3?
True
Let s be -1 + 1 + -1 - 0. Suppose -3 = 3*u + 3. Which is bigger: s or u?
s
Let f(a) = -a**3 + 8*a**2 - 2*a + 6. Let m be f(8). Let v be (m/5)/(6/4). Which is bigger: v or -2?
v
Let b = -116 - -54. Which is smaller: -63 or b?
-63
Let p be (-7 + 2)/(8*1). Let i = 902 - 21655/24. Let t = i - p. Which is greater: -1 or t?
t
Let n = -8 - -12. Suppose 4*r + n*d = 48, -8 + 2 = -3*d. Let x be (-5)/r*4/(-6). Do -1 and x have the same value?
False
Let n = 15 - -13. Let z be 6/n*4/(-3). Let s = -3 - -4. Is s less than or equal to z?
False
Let q = 271 + -272. Let f be -1 + 4/5 + -1. Which is bigger: q or f?
q
Let v = 51 - 33. Let q = v + -17. Which is greater: q or -3/8?
q
Let r(d) = -d. Let q = -3 + 0. Let b be r(q). Are 2 and b non-equal?
True
Let u = -142493/3 + 1572625/33. Let v = u + -32998/209. Let k = -3/19 - v. Which is smaller: k or 0?
0
Let b = -3 - -5. Let f = -1 - 1. Let r be f/(1/((-2)/18)). Which is bigger: b or r?
b
Let n = 0 - -2. Let a(q) = 2*q**2 + 3*q**2 - 4*q**2. Let f be a(-1). Which is smaller: f or n?
f
Let b = 10 - 11. Let o = 4 - 8. Let f be 1/3*15/o. Do f and b have the same value?
False
Suppose 32*z - 414 = 23*z. Do 2/7 and z have different values?
True
Let n(f) = 3*f + 4. Let y be n(-3). Let p be 9/5 + y/(-25). Is -0.2 at least as big as p?
False
Let b(u) = -u**2 - 2*u - 3. Let d be b(-2). Let h = d + 3. Suppose h = -i + 4*i - 12. Which is smaller: 3 or i?
3
Let m = -11/6 + 1/2. Let w(q) = -q**3 - 3*q**2. Let r be w(-3). Is m >= r?
False
Let b be (2/(-5))/((-1)/5). Suppose 5*t - 9 = 5*f + 11, -3*t + 10 = -f. Are t and b equal?
False
Suppose 0 = 5*f + 5, 0*b - 2*b - 2*f = -6. Suppose -b*u - 9 = -5. Are u and -2/23 nonequal?
True
Let s = 0.11 + -0.01. Let b be (-51)/630 + 1/6. Let o = b - -2/35. Which is smaller: o or s?
s
Let x = 6/7 + -104/105. Is x > -2?
True
Let p = 141 + -237. Which is smaller: -97 or p?
-97
Suppose 4 = -p - 3. Let o be 2/4 + p/14. Which is smaller: o or 2?
o
Let q(t) = -5*t - 50. Let r be q(-7). Is r greater than -18?
True
Suppose 0 = -4*o - 3*m - 20, 3*o - 5*o = 4*m + 20. Is o > 2?
False
Let u(p) = p**2 + 5*p + 3. Let d be u(-5). Suppose -4*o + 26 = d*c, 4*c - 23 = -o - 2*o. Is c != 1?
True
Let q = 118 + -116. Which is smaller: q or 0.08?
0.08
Let t(p) = p**2 - 4*p. Let b be t(4). Let w(l) be the second derivative of -l**3/6 - 7*l**2/2 - 2*l. Let o be w(-7). Is b <= o?
True
Let g = 3 - 1. Let v be (2 + 1)*(-5)/(-35). Which is greater: g or v?
g
Suppose 18 = -4*g + 5*g. Suppose -g - 14 = -3*r - 5*l, 