 w or x?
w
Let y(n) = -n + 3. Let b(m) = m - 3. Let c(s) = -5*b(s) - 6*y(s). Let g be c(6). Let p = -1 + g. Is 3 at most p?
False
Let y = 4 - 1. Let q be (1/y)/((-2)/(-3)). Which is greater: q or -2/3?
q
Let r be ((-118)/4)/((-1)/14). Let u = 6657404/11 + -605631. Let h = u + r. Which is bigger: h or 0?
h
Let x be 0 + (1 - (-8)/(-6)). Let j be 0 - (50/(-18) + 3). Which is smaller: x or j?
x
Let q = -0.05 - 3.95. Let z = 3.04 - 3. Let l = -0.04 + z. Which is smaller: q or l?
q
Let p = 1.4 + 6.6. Let c = p + -6. Which is bigger: 0.02 or c?
c
Let r be (30/(-4))/(1/2). Let h be -1 - r/(2 - -1). Is 3 not equal to h?
True
Suppose 5*x + 3*t - 20 = 0, -8 = -3*x + 5*x - 2*t. Which is smaller: x or 1/29?
1/29
Let v = 21527/46 - 468. Which is bigger: v or 0?
0
Let c be ((-48)/10)/((-9)/30). Suppose 0 = 2*a - p + c, 4*a - p = 1 - 29. Let k be 1/2 - (-21)/a. Which is smaller: k or -1?
k
Suppose -4*j = -11*j + 42. Is 1 bigger than j?
False
Let m be (-7 - -3 - -2) + -19. Which is bigger: -22 or m?
m
Let g = -62.4 + 62. Is 0 > g?
True
Let i = 0.3 + -1. Is i > 2?
False
Let o be (8/20)/((-1)/5). Let j be o/5 - (-216)/500. Let q = 38/375 + j. Is -1 smaller than q?
True
Let b be 2*(0 - 0 - 2)/2. Is b less than -4/7?
True
Let z = -21 - -22. Is z > 3/7?
True
Suppose -b + 11 + 13 = -5*v, -2*v - 12 = -b. Which is smaller: 8 or b?
b
Let z be 5*(-1)/(-15)*1. Which is greater: z or 0?
z
Let z = 10.006 + -0.006. Is z >= 2/3?
True
Let g = 27 + -45. Let b be (-10)/6 + (-12)/g. Which is smaller: 2/7 or b?
b
Let z be (4/110)/(-1 + 24/20). Let f(c) = -c - 6. Let a be f(-6). Suppose 2*p = -a - 6, -2*r + 5*p = -17. Which is smaller: r or z?
z
Let c = 18 - 10. Let l = -7.9 + c. Which is bigger: -8 or l?
l
Let h = 3013995 - 4692789860/1557. Let q = h - 1/173. Which is bigger: 0 or q?
q
Let m = 4 - 2. Is m > -0.3?
True
Let n = -3905/21 - -186. Is -1 at least as big as n?
False
Suppose -6*m = -2*m - 4*d - 20, 3*d = 4*m - 15. Let w = 0 + m. Let u be (0 - (-12)/(-81))*3. Which is bigger: u or w?
w
Suppose 3 - 1 = o. Let h be 1*(o + -3) + 4. Is h bigger than 3?
False
Let u be (-2)/16 + (-226)/(-16). Suppose p = -4*s + 3*p - u, 0 = -s + 5*p - 26. Is -1 smaller than s?
False
Let b be (-1)/(-2)*(-1 - -5). Is b != 2?
False
Let b be 2 + (-1 - (2 + 0)). Which is greater: 6/19 or b?
6/19
Let r(n) = n - 1. Let f be r(-3). Let k = f - -6. Suppose 4*c = 3*m - 7*m + 12, -2*m + 3 = -c. Which is bigger: k or c?
k
Let n = 65/6 - 313/30. Let u = -1 + 0. Which is bigger: u or n?
n
Let n be ((-10)/(-12))/5*1. Suppose 0 = -m + 1 + 8. Let t(z) = z**2 - 8*z - 9. Let j be t(m). Is n at least as big as j?
True
Let q be (9 - 8)*(0 - 0). Which is bigger: q or -1/7?
q
Suppose -5*u - 10 = y, y = 3*u - 0*y + 14. Let j(g) = -g**2 - 4*g - 2. Let k be j(-4). Which is greater: k or u?
k
Let a(t) = -t**3 - 13*t**2 + 16*t + 13. Let h be a(-14). Which is smaller: -13 or h?
h
Let i be 2/10*(-8)/(-10). Are i and -1 non-equal?
True
Let g = 1 - -5. Let h = g + -5.9. Let i be (-4)/14 - 16/(-7). Is i greater than or equal to h?
True
Let y(w) = w - 1. Let c be y(1). Let r be (-2)/16*2 - c. Let b = 91 - 89. Are r and b nonequal?
True
Let n = 4 + -3.4. Let d = 0.4 - n. Let j = 0.8 - -0.2. Is j greater than or equal to d?
True
Let h = 0.032 + -0.022. Is -4 > h?
False
Suppose 0 = -q + 8. Let z be q*(-1)/(-5) + -2. Let l = 46 - 45. Are l and z nonequal?
True
Let u(p) = p**3 + 5*p**2 + 3*p + 1. Let s be u(-4). Suppose s*m = -15, -2*z - 2*z + m = 1. Which is smaller: -0.1 or z?
z
Suppose 3*s - 2*m + 13 = 0, -3 - 17 = -5*s - 5*m. Is s at most -6/29?
True
Let g = -172/405 + 2/81. Which is bigger: g or 0.32?
0.32
Let n be ((-3)/6)/((-1)/6). Suppose -n*j = -5 - 4. Suppose -3*y = 4*m + m + j, -m = 4*y + 4. Which is smaller: m or -2?
-2
Let u = -6 - -20. Suppose -2 = -0*i - i. Suppose -2*p + g + 0*g + i = 0, -3*p - 4*g + u = 0. Is p greater than -0.3?
True
Let f = 0.3 - -11.7. Let q = 34 + -33. Is f equal to q?
False
Let g = 7 - -1. Let a = g - 6. Which is bigger: -1/2 or a?
a
Suppose 5*d - 25 = 5*x - 0*x, -3*d - 17 = 5*x. Is -4 less than or equal to x?
True
Suppose -2*z - 3*z = -35. Which is bigger: z or 6?
z
Let x be (11/((-11)/(-10)))/(-2). Suppose -3*i - 12 - 6 = 0. Is i smaller than x?
True
Let w = -8.99 - -9. Let z = -1.99 - w. Is z greater than or equal to -1?
False
Let j = -0.791 - 3.079. Let i = j - 1.03. Let b = -5 - i. Is b greater than 1?
False
Let c be 2 + -3*3 + -2. Let d = c + 6. Suppose -5*f = -5*p + 10, 0 = 5*p + 2*f - 17 + 42. Is p equal to d?
True
Let s = 10 - 11. Suppose 4*a = 39 - 23. Is s smaller than a?
True
Let b be (3/2)/((-1)/(-4)). Let o(t) = b - 3 + 6 - t. Let n be o(7). Is n at most as big as -2?
False
Let d = 0.5 - 2.5. Let x = 0.84 + -0.84. Is d >= x?
False
Let x be 66/2*76/(-57). Is x bigger than -42?
False
Let v = -20 - -19.9. Let z = 3 + -2. Is v bigger than z?
False
Let b(v) = v**3 + 6*v**2 - 7*v + 1. Let o be b(-7). Let j be 0 - 2 - (-62)/32. Let n = -5/16 - j. Is n greater than o?
False
Let a = 6 + -4. Suppose -7 + 3 = -a*w. Suppose 0 = w*x - 7*x. Is x greater than or equal to -1/2?
True
Let q = 7.87 + 0.13. Let r = q + -8.6. Let m = r + 0.7. Is m greater than or equal to -3?
True
Let a be (-90)/(-21) - (-2)/(-7). Suppose q = -d + a, 10 = 4*d + 2*q - 10. Let h(s) = -s + 7. Let o be h(d). Which is bigger: o or 2?
2
Let g = 19 + -19.02. Which is smaller: g or 2?
g
Let o be 2/(-9) - (-22)/18. Suppose 3*p = 4*v - 0*p, -4*p + 16 = 0. Is o not equal to v?
True
Let r be 3*(13 + -4 + 1). Suppose r = -5*t + f, -t - 2*f - 5 = 2*t. Let q(x) = x**2 + 7*x + 5. Let d be q(-5). Is d > t?
False
Let s = -0.03 - 0.18. Let z = s + 0.31. Is -2 at most as big as z?
True
Suppose -4*a - 4 - 8 = 0. Let y(d) = d - d**3 + 1011 - 3*d**2 - 1011. Let n be y(a). Which is smaller: -1 or n?
n
Suppose 2*f - 82 = -4*q, 3*f + 0*q - 99 = 2*q. Which is bigger: 34 or f?
f
Suppose 0 = -4*u, 0*q + 4*u + 6 = -3*q. Let b be 1/q - (-16)/(-32). Is 1/4 smaller than b?
False
Let c be (0 + 2/(-2))/1. Suppose -2*d = -6*d - 20. Let x = d - -5. Which is smaller: x or c?
c
Suppose 0 = y + 5*w + 13, y + 0*y - 2*w - 15 = 0. Which is bigger: 37/5 or y?
37/5
Suppose 0 = -t - 4 + 8, -4*g + 8 = 3*t. Which is greater: 4/13 or g?
4/13
Let r = -7 + 6. Let b be 0 + (-6)/4*2. Let u = b - r. Is -2 smaller than u?
False
Suppose -2*o = 3*o - s - 7, 23 = 4*o + 5*s. Let n be (o/(-3))/((-1)/2). Which is greater: n or 2?
2
Suppose 0 = 3*v - 0*v - 4*b - 32, -2*v + 5*b = -33. Suppose -v*y - 5 = y. Is y at least 1/3?
False
Let n(q) = -4 - 3 + 13*q - 14*q. Let f be n(-6). Which is bigger: -2 or f?
f
Let n = -12 + 10. Suppose -4*y = r - 9*y + 13, -y = -3*r - 25. Let p be 18/r*(-2)/(-3). Is p at most n?
False
Let t be (-8)/(-6) - 2/6. Let c be 0*(2 + (-5)/3). Which is greater: c or t?
t
Let h = -8.03 - -8. Let n = -1.97 + h. Let v = -7/4 + 17/12. Which is smaller: v or n?
n
Let d(c) = -c**2 - c + 13. Let y be d(3). Which is smaller: 1/4 or y?
1/4
Let i(s) = -s**3 - 1. Let d be i(1). Is 0.12 at most d?
False
Suppose 0*u + u = -48. Let m be (-27)/(-2)*(-55)/(-15). Let g = u + m. Is 1 greater than or equal to g?
False
Let q be 1*(-1)/(-1 - 0). Let h(u) = -3*u + 8*u + 6 - u**2 - u. Let g be h(6). Which is greater: g or q?
q
Let u(q) be the second derivative of 1/6*q**3 + 0 - 3*q - 1/2*q**2. Let l be u(6). Which is bigger: 4 or l?
l
Let y be 8/(1*(3 + -4)). Are y and -7 nonequal?
True
Suppose -2*k = -6*k. Let x = -16/5 - -14/5. Which is smaller: k or x?
x
Let w = -19/15 - -5/3. Let d = 12 + -3. Let m = d - 8.9. Which is bigger: w or m?
w
Suppose 2*s - 12 = -4*g - 2*s, 5*s - 18 = -2*g. Let k be -1*4/152*-2. Is k greater than g?
True
Let h = 7 - 20/3. Suppose l + 5*y - 9 = 0, 3*l + 8 = 5*y - 5. Which is bigger: h or l?
h
Suppose 4*z + 2*q - 16 = 0, 0 = -2*z - 4*q + 6*q + 14. Let v(a) = 4 + 1 + z*a - 6*a. Let k be v(4). Is k less than 2/7?
False
Suppose 0*s = 5*s. Let o(v) = v**3 - 6*v**2. Let x be o(6). Suppose -2*f + c = -x + 12, -4*f + 5*c - 36 = 0. Do f and s have different values?
True
Suppose -4*a + 18 = 6. Let y = a - 2. Is 2 > y?
True
Let o be 1 - 1*(-1 - -4). Let w = 1 + o. Let b(x) = -2*x - 1. Let q be b(-1). Which is bigger: q or w?
q
Let c be 1253/70 - (-9)/15 - 3. Which is smaller: 17 or c?
c
Let x be 58/12 + 6/36. Suppose -x*k = -6*k. Is k < -3/8?
False
Let o = 0.