6*b + b. Let u be 20/(-1)*(-3)/(-18). Which is greater: u or f?
f
Suppose -h + 14 = x, 52 = -0*h + 4*h + 3*x. Which is greater: 1 or h?
h
Suppose 0*d - 2*o = d - 36, 4*d - 130 = -o. Let q be 5*(5 - -1) + -3. Let b be d/63 + (-6)/q. Is b at least as big as -2?
True
Let b(q) = -q + 16. Let h be b(13). Which is bigger: h or 22/9?
h
Suppose -23 = -2*n - 9. Let j = 6 - n. Which is bigger: -2/5 or j?
-2/5
Let n = 0.3 - -0.7. Which is smaller: n or 0?
0
Let q = -0.6 - 1.4. Let r = q - -2.4. Which is smaller: 1 or r?
r
Let i be ((-6)/65)/(42/280). Which is bigger: i or -1?
i
Let m be 15/64 - (-14)/(-56). Which is smaller: m or -1?
-1
Let b be ((-15)/(-90))/(2/12). Does b = 28?
False
Suppose 2*f - 2 = f + 2*i, 5*f + 5*i = -5. Suppose 4*t + t = -3*c - 8, 4*t - 3*c + 28 = f. Is t <= -4?
True
Let p(h) = -h**2 - h - 3. Let o be p(0). Let g = -1 + 2. Let q be ((-5)/2 + g)/3. Is q less than or equal to o?
False
Let c = -2 - -3. Which is smaller: c or -3?
-3
Suppose 4*a = a - 15. Let q = 4 + a. Is -1/5 at most as big as q?
False
Let t = 18 - 19. Is -4/33 at least as big as t?
True
Let l = 13 - 13.031. Is 1/4 >= l?
True
Suppose v + 11 = 3*u - 1, -13 = -v - 2*u. Let x = -85 + 175/2. Is v at least x?
True
Let w = 157 + -1885/12. Is 1 greater than or equal to w?
True
Let d = 17 - 18. Are 3/8 and d equal?
False
Let k(q) = q + 13. Let m be k(-9). Let p be (2 - 0) + -6 + m. Which is greater: 3 or p?
3
Suppose 2*a - a + 4 = 0, 5*u = 2*a + 18. Are 4/3 and u non-equal?
True
Suppose 0 = -3*m + 4*c - 0*c - 9, 2*m = 3*c - 6. Let q be (2/8)/(m/6). Which is smaller: 1 or q?
q
Let x(t) = t**2 + 5*t - 2. Let y be x(-3). Let d(c) = -c - 4. Let k be d(y). Suppose 0 = 3*s - k*s. Which is smaller: s or 1?
s
Let c = 38/3 - 12. Is 0.1 equal to c?
False
Let i be 4/14 + 4/(-14). Is i at most as big as 0?
True
Let n be 0/4 + (-2 - -5). Suppose -v = -n*v. Is 4/3 less than or equal to v?
False
Let w(p) = p**3 - 6*p**2 + 6*p - 7. Let k be w(5). Let z(b) = -b**3 - 2*b + 1. Let o be z(1). Let a be 2*o - (-4)/2. Is k smaller than a?
False
Suppose -4*s - 2*h + 4 = 0, s - 4 = -h - 2. Suppose s = -0*m - 2*m - 12. Are -5 and m non-equal?
True
Let j(d) = 5*d - 19. Let g be j(4). Is g equal to -0.02?
False
Let a(o) = o**3 - 2*o**2 - o - 2. Let f be a(3). Suppose -2*r + f*r = 0. Let c be r*(1 - (-2)/(-4)). Which is greater: c or 2/7?
2/7
Suppose 3*u = 5*u. Suppose 2*z - z - 1 = u. Which is smaller: -4/9 or z?
-4/9
Let j(i) = i**3 - 5*i**2 - 4*i - 7. Suppose -18 = -2*p - 6. Let l be j(p). Is l < 4?
False
Let x(s) = 2*s**3 - 6*s**2 + 3*s - 10. Let j be x(4). Are 34 and j equal?
True
Suppose 4*h - 11 = -5*l, -3*l + 0 + 7 = 2*h. Let v be 3/(3/(-1))*h. Let j = 0 - v. Which is greater: 0 or j?
0
Let a = -325 - -671/2. Let o = -11 + a. Is 0 less than or equal to o?
False
Let h = 11/2 - 29/6. Suppose 97*x + 4 = 101*x. Which is bigger: x or h?
x
Let s = -36/79 - -555/1738. Is -1 greater than or equal to s?
False
Suppose 6*m + 60 = 9*m - 3*a, -4*m = a - 75. Are m and 16 unequal?
True
Let y be 5*14/(-36) + 2. Is 1 at least y?
True
Let i be (18/(-4))/(3/6). Let z = i - -7. Is z < -5/7?
True
Let x = -9 + 9.1. Let y = x + 0.2. Let s = -0.2 + y. Which is bigger: 4 or s?
4
Let g(m) = 6*m**3 + 2*m**2 - 1. Let s be g(-1). Which is greater: s or -7?
s
Let z = 3 - 3.2. Let k = -0.4 - 0.3. Let y = 0.8 + k. Which is smaller: y or z?
z
Let t be 3/2 - 6/4. Suppose 2*o = p - 8, 4*o + 2*p - 3*p + 14 = t. Is o >= -2?
False
Let l(b) = 25*b**2 - 1. Let o be l(1). Let k be ((-4)/42)/(o/(-1526)). Let u = 35/6 - k. Is u equal to 1?
False
Suppose 25 - 5 = 5*f. Suppose -11 = f*j + 9. Suppose -3*y - 9 = 6. Is j at least as big as y?
True
Suppose -d = 2*d. Suppose -2*k = -d*k + 4. Is k > -2?
False
Let p(m) be the second derivative of m**4/12 - 5*m**3/6 - 7*m**2/2 - 2*m. Let t be p(6). Which is bigger: 1/10 or t?
1/10
Let r be 22/6*1 - 2. Suppose 2*a + 0*a = 4. Which is smaller: r or a?
r
Let i = 2092/23 + -91. Which is smaller: i or -2?
-2
Let w = -1922/35 - -286/5. Is 3 bigger than w?
True
Let g = 40 + -40. Which is smaller: g or 1/2?
g
Suppose 3*f - 5*w - 24 = f, 5*w = -20. Let a(m) = -m**3 + 12*m**2 + m - 9. Let o be a(12). Is f < o?
True
Let r be 8/(-48)*3/(-2). Suppose 0 = z - 0 - 2. Suppose -7 + z = -5*u. Which is smaller: u or r?
r
Let f = 0.13 + -5.13. Let r = f - -4.2. Is 0 <= r?
False
Let i(n) = n**3 - 12*n**2 + 10*n + 1. Let h be i(11). Is -8 <= h?
False
Let u = 25 - 21. Suppose -u*w + w - 9 = 0. Which is smaller: w or 0.3?
w
Let c = -6 + 6. Suppose c = -8*b + 3*b - 25. Do -4 and b have different values?
True
Let y be (0 - (-12)/(-20)) + 17/20. Is y at most as big as 37?
True
Let r = 6 - 7. Let m be ((-1)/(-1) + -2)*r. Is 6/13 at most m?
True
Suppose -6*l = -l. Suppose l = -4*p - 4*s + 16, -5*p + 2*p = -s. Which is smaller: p or -1/8?
-1/8
Let i be -2 + (88/15 - 2). Let c = i - 16/105. Let u = -11/7 + c. Which is greater: -1 or u?
u
Let r = -2.72 + 2.9. Let g = r + -1.18. Is g smaller than -0.05?
True
Let j = -239 - -2153/9. Which is smaller: j or 0.1?
0.1
Suppose -n + 5*n = -3*q + 55, -5*q + 86 = n. Is q at most as big as 16?
False
Let a be (30/(-3))/(2 + -1). Suppose f = y + 3*f, 0 = 2*y - 5*f + 45. Is a <= y?
True
Let p be (-85)/130 + 2/13. Let o = 1.1 - 6.1. Let h = 5.3 + o. Which is smaller: h or p?
p
Let a = -0.12 - -0.02. Let y = -1.9 + a. Let p = 0 + 1. Is p > y?
True
Suppose -2*u - 2*u = -16. Suppose 0 = -u*j - 3*a - 0 + 8, -5*a + 15 = 5*j. Is j at least as big as -1?
True
Suppose k = 2*d - 0*k - 2, -9 = d - 3*k. Let x = d + -2. Let m be (x - 4) + 1 - -3. Is -1/4 equal to m?
False
Let c be (-1)/(1*1/(-17)). Let a = c + -17. Which is smaller: a or 6/19?
a
Suppose 4*h = 12 + 8. Is 50/9 >= h?
True
Let x = 8 - 12.2. Let g = x - -4. Let a = -6 + 6. Is g > a?
False
Suppose u + 4*u - 4*f - 3 = 0, u - 9 = -2*f. Which is bigger: u or -5?
u
Suppose -3*k - 8 = k. Let v = 10 + k. Let l be v/6*(-1)/4. Is l greater than or equal to -2?
True
Let a = 0.09 - -7.91. Let s = a + -7. Are s and -2/7 nonequal?
True
Let n(m) = -8*m + 19. Let q(v) = -3*v + 6. Let k(c) = 4*n(c) - 11*q(c). Let w be k(-6). Suppose w = -4*f - 4. Is f < -3?
False
Let l(j) = j**2 + 4*j - 5. Let s be l(-4). Let a be ((-8)/(-5))/((-2)/s). Let q = 3 - a. Which is smaller: 0 or q?
q
Suppose 7*g - 20 = 3*g. Suppose -g = -3*p + 10. Suppose q + 2*b + 5 = -p, 5*b = -q - 22. Which is greater: -1 or q?
-1
Let u = 0.074 + 0.126. Which is greater: u or -1?
u
Let l be -1*(-2)/92*-20290. Let s = 441 + l. Which is bigger: s or -1?
s
Let v(l) = -6*l + 3*l + 2 - l**2 + l. Let a be v(-2). Suppose 0 = -5*t - 3*f - 15, -t + 25 = a*t - 5*f. Are t and -2 equal?
False
Let r = -0.125 + -0.845. Let p = -0.03 + r. Which is bigger: -2 or p?
p
Let q = 2.287 - -0.013. Does q = 1/2?
False
Let u be (3/(-27))/((-7)/6). Suppose -3 = 6*k - 3*k. Is u <= k?
False
Suppose 0 = 4*h + 5*j - 9, -h + 0*j + 15 = -3*j. Suppose -4*g + 10 = -h. Do g and 4 have the same value?
True
Let t(x) = x**2 - 1. Let z(i) = -3*i**2 + 3*i + 6. Let m(y) = -4*t(y) - z(y). Let l be 6/(-4)*(-4)/(-3). Let f be m(l). Which is bigger: 1 or f?
1
Let r(o) = -o**3 + 4*o**2 - 4*o + 2. Let i = -1 - 1. Let h be (i/5)/((-1)/5). Let b be r(h). Which is smaller: 2/3 or b?
2/3
Let a = 42 + -44. Does a = 10?
False
Suppose -5 = 3*r - 4*r. Suppose 5*g - 4 - 1 = -5*y, 2*y + 3*g = -2. Is y <= r?
True
Let g = -8/99 - 28/99. Let o(z) = -3*z**2 - 7*z - 1. Let t be o(-2). Which is smaller: g or t?
g
Let a be 799/(-9) - (-32)/(-144). Is -89 bigger than a?
False
Let l be 2 + ((-54)/(-58) - 3). Let y = 4 + -3. Is y > l?
True
Let r(p) = 2 - 2 + p**3 + 1. Let b be r(-1). Let t be (b - -1)*0/2. Which is smaller: t or 2?
t
Let a be -3*((-8)/(-3))/(-8). Let c be (-4)/9 + 0/(-2). Which is smaller: c or a?
c
Suppose -3*a + 5*g + 25 = 0, -5*a + 13*g - 17*g + 54 = 0. Which is bigger: 0.5 or a?
a
Let x = -123 - -123. Which is bigger: -15 or x?
x
Let o = -73.8 + 74. Do -4/19 and o have different values?
True
Suppose -3*j = -3*f, 2*f + 1 = 3*j - 2*j. Let m be (-42)/(-56)*(-1 + 7/15). Are f and m unequal?
True
Suppose -6*k + g - 17 = -k, 2 = -2*k + 2*g. Let n be k/(-2) + (-84)/30. Which is smaller: -1 or n?
-1
Let w = -0.081 - -0.081. Is -71 at least w?
False
Let l(x) = -x + 98 - 98. Let i be l(2). Is i equal to -2?
True
Let w = -4 - -8. Suppose -4*q + 