. Which is bigger: n or 2/11?
2/11
Suppose -73*a - 33 = -76*a. Is a bigger than 14?
False
Let h = 2869/5148 - 1/572. Let j = 27 + -27. Is j equal to h?
False
Suppose -i - 4*p = -5, -3*i + 10 = -2*p + 9. Which is bigger: i or -4/15?
i
Let a = 25/76 - -8/19. Suppose 3*w + w = 0. Suppose -b - b = w. Is a at least as big as b?
True
Let k be (-4)/(-8)*(-1 - -1). Let q = 2 - 1. Let p = q - k. Which is greater: p or 0?
p
Let a = 0.08 + 0.02. Let v = 3 - 3.1. Does a = v?
False
Let v = -5 + -2. Which is smaller: -4 or v?
v
Let r = 0.1 - -7.9. Let p = r + -6. Let j(d) = -d**2 + 6*d + 2. Let x be j(6). Are p and x nonequal?
False
Suppose 0 = -5*i + 4*u - 76, -4 + 44 = -2*i + 4*u. Is i <= -12?
True
Let t(d) = d**3 - 4*d**2 + 4. Let x be t(4). Suppose -a = -x*k + a + 10, -a - 5 = 3*k. Suppose -2*f + 5*f + 3 = k. Is -4/5 greater than f?
True
Let k(f) = -5*f + 2. Let v be k(2). Let u = 12 + v. Is u <= 5?
True
Let d = -1.1 + 0.1. Let z = 0 + 2. Let t = 2 - z. Which is bigger: t or d?
t
Let b = -0.29 - 0.84. Let g = -1.2 - b. Is -0.1 less than g?
True
Let u be (-4)/(-4)*0/(-2). Let l be 2 - (20/9 + u). Let f = 3.1 - 3. Which is smaller: l or f?
l
Let k = 993 - 38729/39. Which is smaller: k or 1?
k
Suppose 0*m = -m - 2, -m = 4*c + 6. Which is bigger: c or -18/11?
c
Let m = -42 - -47.2. Let c = -3 + -2. Let p = m + c. Is p < 0?
False
Let s be -2*((-10)/4 + -2). Suppose 3*g - 2*g = -s. Which is bigger: g or -10?
g
Let a be 1*((-4)/2 + 4). Suppose 0 = a*y - 2 - 10. Suppose v = y - 4. Which is greater: v or 1?
v
Let z = -82 + 85. Which is bigger: z or 0.03?
z
Suppose 0 = 2*f + 6 + 10. Let o be f/(-6) + 2/(-6). Let m be ((-9)/(-6))/(6/1). Is o bigger than m?
True
Let v be (-12)/8*(6 - 0). Is v > -2/3?
False
Let f be (-1)/4 + (-2373)/(-36). Let r = f - 65. Which is smaller: r or 1?
r
Let v(s) = -s**2 + 4*s - 2. Let j(b) = -b + 3. Let o be j(-1). Let d be v(o). Which is smaller: d or -3/5?
d
Let x be 1/(2/(-4)) - -1. Let p = -10/17 - -16/85. Is p > x?
True
Suppose -5*w + 5*j = 0, j = -5*w - 13 + 37. Let g = 5 - w. Which is bigger: -2/9 or g?
g
Let p be (-2)/((-4)/30*-3). Let z(s) = 5*s + 4. Let o be z(p). Let x be (6/(-4))/(o/(-4)). Is x greater than -1/4?
False
Let b(g) = -g + 1. Let m be b(8). Which is smaller: m or -8?
-8
Suppose 4*i - 2*f - 16 = 0, 3*f = -5*i - 0*i + 31. Suppose 3*c + 49 = i*v + c, -4*c = 3*v - 45. Is 11 >= v?
True
Let x(r) = -r**2 - 14*r - 16. Let t be x(-13). Let l be t + 5/1 + -3. Let q be ((-3)/(-2) + -1)*-1. Is l <= q?
True
Suppose 2*t = -3*t + 45. Which is smaller: t or 5?
5
Suppose 0 = p + o - 8, p + 0*o = o + 12. Suppose -5*x = h - p + 25, 28 = -2*x + 4*h. Let t = 3 - 7. Is x != t?
False
Let b be 3/6 + 1/(-4). Let g be ((-16)/(-24))/((-2)/(-33)). Suppose 5*m = -5*t - 11 - 9, 0 = -4*m + t - g. Which is smaller: m or b?
m
Let u = -0.57 - -0.57. Which is bigger: 6/13 or u?
6/13
Suppose 0 = 5*j + 5*f - 2 + 12, 5*j = -3*f - 6. Is j <= -12/19?
False
Suppose 0*p - 2*p = -20. Suppose 5*v + 0*v = -p. Is v at least as big as -1/2?
False
Let b = 0.1 - -0.9. Let j = b + 1. Which is bigger: j or -0.4?
j
Let q be (5 - 2)*(-50)/(-15). Let h be (q/30)/(1/(-3)). Is h < -1?
False
Let u be (-8)/(-12)*9/(-21). Which is smaller: -1/3 or u?
-1/3
Let i(q) = q**2 - 8*q - 3. Let v be i(6). Which is smaller: v or -16?
-16
Let t be 1 - (2 - 0)/(-1). Suppose 0*q = -t*w - 2*q - 2, 2*q = 4*w + 26. Let n = -12 + 6. Is w smaller than n?
False
Let t = 7 + -6.9. Is t < 0.22?
True
Suppose -3*x + x - 6 = 0, -4*z + 4*x = 24. Is -15/2 smaller than z?
False
Let t be 6 + (-176)/28 - 178/14. Is t != -13?
False
Let y be 2*(-1 + 3) - 2. Suppose 3*z = -y*z. Suppose -12 = 2*r + 2*c, z*r + c + 12 = -2*r. Is r bigger than -5?
False
Suppose 3 = 2*z + 1. Let l be ((-4)/(-6))/((-4)/(-3)). Which is greater: z or l?
z
Let t = -372/11 - -34. Let s(c) = -c**3 - 4*c**2 + 2*c - 1. Let a be s(-5). Let o be 2/a + 2/(-14). Are o and t equal?
False
Let m = 3.5 - 0.5. Let h = 4 - m. Is h not equal to -1?
True
Let r(v) = -v + 2. Let g be r(7). Suppose 2*d + 3*j = -8, 0 = -2*d + 6*d + 3*j + 16. Is d >= g?
True
Let i be (-2)/((-3)/6 - 0). Suppose 0*o + 4*o = -i. Let z be (-14)/9 - (-6)/27. Is z >= o?
False
Let i(m) = m**2 - 5*m + 2. Let l(t) = t**2 - 7*t + 5. Let q be l(7). Let j be i(q). Let v be (3/j)/((-6)/(-4)). Is v greater than or equal to -3/13?
True
Let d be 15/(-18)*6/(-4). Let n(s) = s**2 - 1. Let y(g) = -4*g**2 + 5. Let l(z) = -5*n(z) - y(z). Let m be l(0). Are d and m nonequal?
True
Suppose -n + 5 = 1. Suppose 6*i - n*i = -y + 31, -4*y = i - 12. Are i and 17 unequal?
True
Let j = -1 + 3. Let c = 1.6 - j. Which is smaller: c or -1?
-1
Let v be (2 - 2)/(6/(-3)). Does v = 1?
False
Let y be 3/(5/((-230)/(-6))). Are y and 22 non-equal?
True
Let p = 1.5 - -0.5. Do -2 and p have different values?
True
Suppose -3*t + 77 = -2*q + 4*q, -2*q + 59 = -3*t. Let f be ((-279)/(-2))/((-198)/48). Let x = f + q. Is x < 1?
True
Let f(k) = k - 5. Suppose -30 = -w - 4*w. Let r be f(w). Which is smaller: 2 or r?
r
Let l be -2 + 0 + 2 + (-1)/(-3). Suppose -9 = -5*c + 1. Suppose 0 = 2*y + 3*h - 12, -2*y - c*h + 8 = y. Is y less than l?
True
Let p = -2 - 6. Suppose -4*t + 30 = -5*f - 4, 2*t = -4*f - 22. Is f at most p?
False
Let a(r) = 2*r - 4*r + r + 2. Let l be a(4). Let s be ((-8)/36)/(l/6). Which is smaller: 2 or s?
s
Let t be (-1)/4 - (-628)/16. Let k be t/24 - 15/10. Is k <= -1?
False
Suppose 3*w + 26 = q - w, 0 = -3*q - w + 91. Is 28 != q?
True
Let a(x) = -x**3 + 4*x**2 + 5*x + 1. Let d be a(5). Suppose d = -0*z - z. Is z bigger than -1/4?
False
Let h be (-8)/(-60) - 86/(-30). Suppose t - 5 = -4*g, -3*t + g - h*g + 5 = 0. Which is greater: 1/7 or t?
t
Let w = -0.09 + -1.01. Let a = 0.7 + w. Which is greater: a or -1/2?
a
Suppose 0 = 3*d - 2*d - 2*i, -i - 3 = -2*d. Let c be 1/(-1 - (-1)/d). Do c and -2 have different values?
False
Let t = 142/9 + -16. Let v = -2 + 3. Let p = 1.1 - v. Which is smaller: p or t?
t
Suppose 0 = -2*k + 1 + 3, 4*k - 33 = -5*m. Let i be ((-3)/2)/(m/(-10)). Which is bigger: 1 or i?
i
Let q = 3 - 3. Is q equal to 2/55?
False
Let v be (-2 - -41) + (-15)/5. Let b be (-2)/(v/15) - 0. Is b equal to -1?
False
Let i = 2.858 + 0.142. Which is bigger: i or 4/5?
i
Let o = -55/483 + -2/69. Suppose -3 + 3 = -11*b. Which is smaller: o or b?
o
Let v be 3/(18/(-4))*1. Is 12/23 < v?
False
Suppose -2*w = -w. Suppose 12 = -3*n - w*n. Is n greater than -4?
False
Let l = -13 + 23. Let v be 1 + 3 + l + -7. Which is smaller: -1 or v?
-1
Suppose 56*b - 59*b = -39. Is 2 greater than b?
False
Let c = -39 - -159/4. Suppose -s = -4*s. Which is greater: c or s?
c
Let i = 7 - 7.25. Let l = i - -0.05. Let g = -1 - l. Is -2/7 less than g?
False
Let f = -30 + 89/3. Which is smaller: f or 1?
f
Let i be 0*1/(-8)*-4. Is -1/19 at most as big as i?
True
Let g = 2 - 3. Let h = 2 - g. Let t = h + -2. Is t > -0.2?
True
Let b(x) = -8 - 2*x**2 + 3*x**2 + 1 + 5*x + 0*x**2. Let p be b(-6). Do -1 and p have different values?
False
Let p(q) = q**2 - 4*q + 2. Let l be p(4). Let u be l/7 - 47/(-7). Which is greater: u or 6?
u
Let z = 0 - 0.6. Let c = z + 0.5. Is c less than -2?
False
Let b = 0.01 + -0.21. Let m = -2.8 + b. Is 0 at least m?
True
Let b = -393183443/35028 + 7265/5004. Let w = 11217 + b. Let d = w + 40/7. Is -1 at most as big as d?
True
Let d = -16 - -15.99. Let r = -0.29 + d. Which is smaller: 3/5 or r?
r
Suppose -2*h + 4*h = 0. Suppose h = -2*v - 3*v - 15, -5*m + 7 = v. Suppose i - 1 = -m. Which is smaller: i or -2?
-2
Suppose -24 = -3*z - z. Suppose -f = -6*f. Which is smaller: f or z?
f
Let s(w) = 5 - 3 + 0 - 10*w. Let y be s(-2). Suppose 3*a - 5*t + y = 0, -t + 0 = -2. Is a != -4?
False
Let j = 0.3 + 3.7. Let z = j + -3. Which is smaller: z or 1/4?
1/4
Let h = -458/45 + 92/9. Is 0.1 less than or equal to h?
False
Let x(y) = -y + 1. Let p be x(-1). Suppose 2*n - 2*c = -12, -4*c = 3*n - 2*c - 2. Is n less than p?
True
Suppose -6*p + 2*p + 4 = 0. Is p >= 7/8?
True
Let v = 11 - 11.2. Is v less than or equal to -3/4?
False
Suppose 2*h - 5*y = 22, y = -3*h + h - 2. Let i be 1/(-3) + 20/6. Are h and i unequal?
True
Let u(x) = -x + 4. Let o be u(5). Let d = -1/84 + 13/84. Is o at least d?
False
Let l(k) be the third derivative of k**6/120 - 11*k**5/60 + 3*k**4/8 + 3*k**3/2 + 7*k**2. Let a be l(10). Which is bigger: 5 