Which is smaller: b or 1/2?
1/2
Let k = 67624/51 - 1326. Which is bigger: k or 1?
1
Let k = -74 - -215/3. Suppose 0 = -4*u - 4*i - 16, -3*i - i = -4*u. Is k at most u?
True
Let z = -94 + 88. Let u be (4/30)/((-3)/15). Is u at most z?
False
Let q = 231 - 937/4. Suppose 34 = -10*j - 24*j. Is q greater than or equal to j?
False
Suppose -4*n - 516 + 1740 = 0. Suppose -17*i = -11*i - n. Is 50 bigger than i?
False
Let i(v) = -v**2 - 6*v + 1. Let u be i(-3). Suppose -2*b + u = 3*b. Is b greater than or equal to 2?
True
Let d be 24 + -23 - 25*3. Which is smaller: -8 or d?
d
Let t be (-20)/(((-30)/9)/5). Suppose -i + 6*i + 5*h - 30 = 0, 4*i + h = t. Suppose 4*z + 3 = 27. Which is smaller: z or i?
z
Let q(p) = p**3 - 6*p**2 - 6*p - 3. Let x be q(7). Let v = 3 - x. Let a = 2/15 + -7/15. Which is smaller: v or a?
v
Suppose -20*p + 217 - 1977 = 0. Is -89 at least as big as p?
False
Let u = -0.9 + 1.1. Let r = -1 + u. Suppose -g + 6*g = 5. Is g less than r?
False
Suppose 1534 = 15*u - 401. Which is smaller: 128 or u?
128
Let z = 1017 + -7135/7. Which is greater: -2 or z?
-2
Let m = 506/9 + -11674/207. Does m = -1/3?
False
Let v be (-4)/(-18) + 129/27. Suppose n + 4 = f, -v*n = -5*f - 10*n - 30. Is 2/195 <= f?
False
Let i = 1620 + -1615. Which is bigger: i or 1?
i
Suppose 5*t = -3*f + t + 11, 0 = 5*f + 4*t - 13. Let w(x) = -12 + 12 - x**3 - x + 6*x**3. Let z be w(f). Which is smaller: 6 or z?
z
Let t = 0.376 - -1.624. Are 34 and t unequal?
True
Suppose 3*h = 5*o + 290, -22*h - 97 = -23*h + 2*o. Which is greater: 96 or h?
96
Let q = 1210.419 - -2.581. Which is smaller: 1 or q?
1
Let t = -12051/5 - -2391. Which is bigger: 1/4 or t?
1/4
Let m be (-1)/4 - 33/(-4). Let r be (-3 - 0) + m/(-8). Let k = -0.2 + 0.3. Is r <= k?
True
Suppose -5*x + 6 = -2*x. Suppose -2 = i - c, -x*i + 4*i = -c - 1. Is i < -2/7?
True
Let d(q) = -q**2 - 9*q - 10. Let m(f) = -f**3 + f**2 - 3*f + 2. Let l be m(2). Let n be d(l). Let c be ((-9)/(-24))/(4/(-8)). Which is bigger: c or n?
c
Let z = -16.72 + -0.28. Let f = z + 16. Let u = -0.9 - f. Which is smaller: u or 1/8?
u
Let g = 8 - 5. Suppose -q + 3 = -a - 4*a, 5*q - 2*a - 38 = 0. Suppose 4*f = -m + 44, 5*m + 2 = g*f - q. Is 9 not equal to f?
True
Let t be (-2)/(-5) - 128/(-80). Suppose 4*l + 5*g = 18, 0*l = -4*l + t*g + 32. Let z be l + -5 + 3*-3. Which is bigger: -5 or z?
-5
Let g = 0 - -1. Let y be (-3)/(146/(-4) - g). Is y < 1?
True
Let q be (-3 - -6 - (-15)/(-3)) + 2. Is -4/149 less than q?
True
Let r = 515 - 519. Let d be (-2)/3 - 64/(-6). Which is greater: d or r?
d
Suppose 19*v - 23*v = -100. Which is smaller: v or 31?
v
Let m = -0.8696 - 0.1304. Is 439 bigger than m?
True
Let p = 10.03 - 0.03. Let d = p - 10. Let v = -9.6 + 9.53. Is v at least as big as d?
False
Let s = 0.3258 - 0.0258. Is s smaller than -8?
False
Let c be (36/(-16))/((-9)/24). Suppose 0 = -5*f - 5, f - 38 = 3*d + c*f. Do -11 and d have the same value?
True
Let p(l) = l**2 - 4. Suppose 0 = g + 2 - 0. Let w be g - (-4 + 6/3). Let u be p(w). Which is smaller: u or -5?
-5
Let d = 33.99 + -34. Is -11 greater than d?
False
Suppose -35 = k + d, 0*d = -3*k - 2*d - 100. Let s(u) = -5*u - 6. Let w be s(5). Let j = w - k. Which is greater: 5 or j?
5
Let n(p) = p - 7. Suppose g + 14 = 3*g. Let a be n(g). Suppose a = -6*u + u. Is u at most as big as 3?
True
Suppose 4*a = -2*i + 18, 4*i = 3*a + 1 - 31. Let c(t) = -t**2 + 6*t. Let f be c(a). Is 2/15 >= f?
True
Let h(v) = -2*v**3 - 4*v**2 - 2*v. Let p be h(-2). Suppose -p*j + 120 = -j. Suppose j = 6*z - 2*z. Which is smaller: 9 or z?
9
Let j = 0.01 - -0.99. Let f be ((-280)/21)/(4/(-522)). Let z be (-2)/18 - f/135. Is j smaller than z?
False
Let w be 4 + -6 + (-4 - -38). Let d be 2/(-8)*(-5)/(6060/w). Is 1 >= d?
True
Let j = -376 + 377. Is -10/111 not equal to j?
True
Let a = 141 + -198. Which is bigger: -58 or a?
a
Let y(n) = n**3 + 10*n**2 - 13*n - 22. Let l be y(-11). Suppose 0 = 4*m, 2*c + l*c = 5*m - 2. Is -12 < c?
True
Let p be 55 - 53 - (-27 + 0). Which is smaller: 28 or p?
28
Let x = 104 - 113. Let v = -25/3 + 8. Is v smaller than x?
False
Let h(w) = w**3 - 7*w**2 - 10*w - 6. Let v be h(8). Let b = -4 - v. Let u be 6/9 - (-294)/18. Which is smaller: u or b?
u
Let q = 0.098 - 5.098. Let z = 3.97 - -0.03. Is z >= q?
True
Let m = -213 - -223. Which is smaller: m or -1/5?
-1/5
Let h(a) = -5*a**3 - 2*a**2 - a. Let f be h(-1). Suppose 0*x + f*x - l = -37, 0 = -3*x + 5*l - 49. Let b be (x/52)/(2*-1). Is b at least as big as 0?
True
Let p be -9*((-4)/(-6))/1. Let f be ((-6)/(-11))/(p/(-4)). Which is greater: -1 or f?
f
Suppose -5*a - 1252 = -4*g, 0 = -7*a + 10*a - 3*g + 750. Which is greater: a or -256?
a
Suppose 3*v - 90 = -v - 2*w, 0 = 3*w + 9. Let s = -1.14 - -0.14. Which is greater: v or s?
v
Suppose 3*s + 20 - 8 = 3*q, 0 = 5*s - 4*q + 16. Which is bigger: s or -32/31?
s
Let k = 1193 + -1175. Suppose -46 = -5*r + 29. Let v = 32 - r. Which is smaller: k or v?
v
Let t be -3 + (6 - 6*-17). Is t >= 105?
True
Suppose 4*q - 294 = -2*q. Suppose q = 3*u - 2*u. Let h = 389/8 - u. Is 1 less than h?
False
Let w be 168/36*(-6)/189. Which is bigger: 0 or w?
0
Suppose -5*l = -2*q + 1, -4*l - 8 - 6 = 5*q. Let n = -3 + 3.02. Which is bigger: l or n?
n
Suppose -3 = -c - 2*c. Suppose p - c = -2. Let n be ((-6)/(-333))/(2/(-6)). Is p <= n?
True
Suppose 5*b = -t + 288, 2*b = 8*b + 4*t - 354. Is 54 bigger than b?
False
Let z(q) = 2*q**3 - 19*q**2 - 10*q + 17. Let w be z(14). Let f be -3 - (w/(-198) + 0). Let d = f - 49/11. Are d and 0.1 non-equal?
True
Let h be -2 - (4/2 - 4). Suppose h = 5*a + 7 - 2. Let z be 108/56 + 76/(-38). Which is smaller: z or a?
a
Let k = -1.26 - -0.26. Let n = k - -11. Let z = 9.9 - n. Which is bigger: -4 or z?
z
Let o = -0.013 + -2.787. Let w = 2.6 + o. Are w and -22 nonequal?
True
Suppose 0 = -19*i + 25*i. Suppose t - 4*t = i. Are 1/2 and t equal?
False
Suppose 0 = -5*b + 3*t + 37, -3*b + t + 9 = -2*b. Suppose -r = -2*a + 5, a - 14 = b*r + 2. Is a greater than -23?
True
Let t be 6*(444/90 + -6). Which is greater: t or -7?
t
Let l(m) = m**2 - m + 13. Let y be l(9). Let k = -110 + y. Is k > -28?
True
Suppose -3*m = 5*p + 7, 0*m + 5*p + 15 = 5*m. Let c be (6/(-75))/(m/5 - 0). Do -5 and c have different values?
True
Let f = -19 + -32. Suppose 5*z + s + 258 = 0, -7*s + 3*s = -8. Is f < z?
False
Let a = -82 + 67. Let n be (-4)/(-6) + 5/a. Let p = 0.03 - 0.03. Which is greater: p or n?
n
Let a = -0.3 + 11.3. Let x = 25 - a. Let m = x + -20. Which is greater: m or 2?
2
Let m be (-2)/36*15/(-25). Let o = 167/390 + m. Let u = -1 - -2. Which is bigger: o or u?
u
Suppose -c + 854 = 6*c. Let u be 8/24 + c/(-15). Which is smaller: -8 or u?
-8
Let h(v) = 3*v - 7. Let d be h(6). Let w = 963 - 954. Is d > w?
True
Let g = 61 + -31. Let a be g/(-12)*12/(-75). Which is smaller: -20/11 or a?
-20/11
Suppose o + 1 = -1. Let z be 9/(2 - o - 3). Let q be (104/12)/(6/z). Is q <= 13?
True
Let f = -4 - -6.6. Let y = -1.4 - f. Let q = y - -4.2. Which is smaller: 0.4 or q?
q
Let j be 895/179 + (-4606)/922. Which is greater: 1 or j?
1
Let r(l) = l**3 - 3*l**2 + l + 1. Let x be r(3). Let y be 1/2 + (11747/10 - -3). Let d = y + -1174. Which is greater: d or x?
d
Let j be 24*2/(-4) - 3. Is j smaller than -76/5?
False
Let u be 24 + -22 + 2456/(-1226). Is u smaller than 0?
True
Suppose 7*w + 54 = -2*w. Let v = -11 - -20. Let c = -15 + v. Is c at most w?
True
Let t(k) = k**2 + 81*k - 251. Let r be t(3). Which is smaller: 136 or r?
r
Suppose 0 = -5*m + 14*m. Let g be 88/847 - (-4)/22. Which is smaller: g or m?
m
Let r = 0.01 + 0.05. Let k = -0.89 - r. Let g = k + -0.05. Is g <= 2?
True
Let s be (14/(-4))/((-3)/(-6)). Let i(d) = -d**2 - 7*d + 6. Let w be i(-5). Suppose 2 - w = r - 2*x, -x - 2 = r. Which is smaller: r or s?
s
Suppose 0 = -0*r - 2*r - 2. Let b = 44 + -44. Suppose b*q = -5*q. Is r greater than or equal to q?
False
Suppose 7*m = 3*m. Suppose m = -2*o - 2*o. Is -1 < o?
True
Let c be ((-31)/682)/(1/624). Which is smaller: -27 or c?
c
Let x(o) = o + 8. Let n be x(10). Suppose -n = -4*r - 2*r. Is -0.2 at least r?
False
Let u = 0.079 - -76.921. Let c = -78 + u. Let j = 8 - 8.11. Is c < j?
True
Let m(u) = -u**3 + 5*u**2 - 4*u + 1. Let r be m(3). Suppose -50 = 33*q - 28*q. Let t = r + q. Which is greater: -4 or t?
t
Suppose -5*m = -5*j + 35,