1*b. Which is bigger: b or 4?
4
Let i(v) = v**2 - 5*v + 9. Let r be i(3). Suppose -4*z + 4*s - 9 = -29, r*s = -9. Suppose 4*b + 5*j + 6 = 0, 0*b + 4*j + 6 = -z*b. Is 2/85 at least b?
False
Let w = -112 - -151. Let q = -29.3 + w. Let o = -9 - -8.9. Is o < q?
True
Let i = -25760 - -25726. Let h(c) = -c**3 - 7*c**2 + 4*c - 7. Let s be h(-7). Which is smaller: i or s?
s
Suppose 4*b + 2*t = -166, 3*b - 3*t + 2*t = -112. Let s = 74 + 1783. Let v = 1855 - s. Which is smaller: b or v?
b
Let t(w) = 3*w**2 - 1. Let k be t(1). Suppose 5*a = 4*j + 1 - 23, 16 = -5*a + 2*j. Let u be k*(-1 + (-61)/a). Is u >= 60?
False
Let o = 18 + -28. Let c be 40/(-16)*(-8)/o. Let d(u) = -154*u + 4771. Let t be d(31). Which is smaller: t or c?
t
Let t(m) = -357 - 1 + 60*m - 57 + 23*m. Let f be t(5). Let z be (-84)/(-9)*6/(-4). Which is smaller: z or f?
z
Let t(r) = -r**3 + r**2 + r + 2. Let s be t(-2). Suppose -2*a - s = -a + 3*o, -2*o + 47 = -3*a. Let l be (132/(-18))/(a/(-9)). Is -3 not equal to l?
True
Suppose 4*j - 16462 = 2*j. Let o = j - 15567/2. Let x = 3569/8 - o. Do x and -1 have the same value?
False
Let f be -12*5/(40/(-26)). Let n(s) = f*s**3 + 14*s**3 - 3 - 2*s**2 - 10*s**3 + 4. Let u be n(-1). Are u and -44 nonequal?
False
Suppose -13*m - 402 = -16*m. Let n = 292 - m. Is 158 less than n?
False
Let z be (-245)/(-98)*3/177. Is z at most -2/5?
False
Let v = -25 + 30. Suppose -16 = 4*k, v*i = k + 89 - 10. Let y be i/2*7*(-4)/(-14). Which is smaller: y or 16?
y
Let j = 97.66 - 1.16. Is j less than -2/17?
False
Let m = 557.1 - 1043. Let t = 486 + m. Let r = 90 + -808/9. Which is greater: r or t?
r
Let l = -3654 + 2158. Is l bigger than -1496?
False
Let h = -3.3149 + 0.2118. Let q = 0.0031 + h. Which is greater: -3 or q?
-3
Let n be (-29)/(58/(-22)) + 10106. Which is bigger: n or 10116?
n
Let f = 148 - 3939. Which is bigger: -3790 or f?
-3790
Let t = 3424 - 6798. Are t and 1 equal?
False
Let f = -11 - -16. Suppose 3*y + 4*s = 2*y + 15, f*y + 25 = 5*s. Let u = -33 - y. Is u greater than -31?
False
Let h = 20402.3 + -21290. Let n = 888 + h. Is 0 at least n?
False
Let n(k) = 12 - 2*k**2 - 6 - 3*k**2 - 28*k + 4*k. Let u be n(-5). Is u not equal to 1/38?
True
Let x(n) = -n**3 + 13*n**2 - 17*n + 16. Let g be x(12). Let y be -10*6/(-12)*-9 - (-34 + 30). Which is smaller: y or g?
g
Let d be 27*(60/9 - 3). Suppose d = 4*p + 175. Which is greater: p or -25?
p
Let f(y) = 9*y**3 + y**2 - 8*y - 31. Let u be f(8). Which is greater: u or 4578?
4578
Let w(d) = d**3 - 17*d**2 + 27*d + 46. Let k be w(15). Let r = -2131/2210 + 16/17. Which is bigger: k or r?
k
Let o = -318 + 321. Suppose -o*p + 3*b = -6, 3*b = 2*b - 2. Which is greater: p or 3/271?
3/271
Let o(y) = -29*y + 1020. Let w be o(37). Is w <= -54?
False
Let q be 992/(-5) + 54/(-90). Suppose -4*p - 805 = -0*p - h, -2*p + 2*h = 410. Which is bigger: q or p?
q
Let a be ((-9)/(-3))/((-3)/(-176)*4). Let m = a + -44. Are -7/5 and m equal?
False
Suppose 0 = -22*r + 18*r - k + 40, -5*r + 2*k + 37 = 0. Let l = -2 + 6. Is l at least r?
False
Let a be -2 - 20/36*-3. Let b = -2914 - -26198/9. Which is bigger: a or b?
a
Suppose 0 = 2*f - 56*h + 58*h + 2, 3*h = -5*f - 7. Let i be f/(-9) + -2*(-368)/(-2340). Which is smaller: i or 0?
i
Suppose 0 = 5*a - 2*h - h - 115, -a + 40 = -4*h. Let m be (((-352)/a)/4)/(-2). Let o = m + -13/5. Which is smaller: o or -0.39?
o
Let p(w) = w**3 + 16*w**2 + 29*w + 12. Let v be p(-14). Let o(j) = 5*j**2 + 12*j + 23. Let d be o(v). Which is greater: 22 or d?
22
Suppose -41*w + 5913 = -122*w. Which is bigger: w or -105?
w
Let z be 242640/(-36) - (49/(-21))/((-1)/3). Which is greater: -6746 or z?
-6746
Let d be -8 + (-8)/4 + 215. Suppose -5*i = -162 - 858. Which is smaller: i or d?
i
Suppose 43*w = 41*w + 5*r + 37, 4*r + 50 = 5*w. Suppose -2*q - 28 = -5*g + 2*g, -27 = -2*g + 3*q. Suppose g = -w*c - 0. Are 1/15 and c unequal?
True
Let k be (-9 - (6 + -6))*(0 - 1). Suppose -2*j - 63 = -k*j. Let z(q) = -q**3 - 15*q**2 - 2*q - 21. Let r be z(-15). Is j at least r?
True
Let h = -2.674 - -0.374. Let u = 2.8 - 7.1. Let p = u - h. Which is greater: 1 or p?
1
Suppose 0 = -3*n, 2*f = 4*n + n + 4. Let l = 13849/5542 - -3/2771. Is f greater than l?
False
Let i(d) = d**2 + 2*d - 4. Let p be i(-4). Let o be ((-65)/(-2))/13 - (9 + (-190)/(-20)). Is p > o?
True
Let n(d) = -d**2 + 14*d + 21. Let z be n(15). Let j be ((-124)/z)/((-8)/132). Let k = j + -31029/91. Are k and 1 non-equal?
True
Let x be 1 - (4/(-6))/(15/45). Suppose -10 = -3*r - x*d + 8, -2*r + 2*d - 4 = 0. Which is greater: r or 1?
r
Suppose 175 + 119 = 6*l. Suppose 0 = -4*g + l - 53. Which is bigger: g or 2/117?
2/117
Let v = 25/2 + -13. Let c = 5347 + -5349.07. Which is bigger: c or v?
v
Let i = -4967 - -4863. Do -105 and i have different values?
True
Let z = 70.175 - 0.175. Let q = z + -69.71. Which is smaller: q or -1?
-1
Let o(v) = 6*v - 28. Let i be o(4). Let k be -5 - ((i - 0) + 10). Let d be ((-18)/252)/((-1)/(-6)). Which is smaller: k or d?
k
Let p = 21430 - 21430.1. Which is smaller: 14680 or p?
p
Let t(c) = -148*c + 13. Let u be t(2). Let s = -283 - u. Which is smaller: 4/23 or s?
s
Let k be (-15)/(-6)*(-20)/40*32/(-40). Let z = -5663/22 + 257. Let i = 14/33 - z. Are i and k nonequal?
True
Let c(q) = -5 - 2 + 2*q + q. Let a be c(7). Suppose 5*v - 3*v = -2*t - a, 2*v + 3*t + 16 = 0. Is v != 1?
True
Suppose 0 = 5*o - 10*o + 85. Let i(c) = c**3 + 2*c**2 - 6*c + 12. Let d be i(4). Let h = 102 - d. Is h greater than or equal to o?
True
Suppose 2*z = -2*r + 1066, -4*r + 429 + 1683 = -z. Is 525 > r?
False
Let h be 3/(-4)*80/270. Suppose -5 = -5*z - 4*t, -t + 4*t + 4 = 4*z. Suppose 8*f = z + 7. Which is bigger: f or h?
f
Let t(p) = p**2 + 27*p + 15. Let i be t(-27). Suppose 672 = -k + i*k. Let b be k/28*7/2. Which is smaller: b or 7?
b
Let j be -6*((-456)/(-48) + -1*2). Let k be (j/10 - -5)/((-725)/(-10)). Which is smaller: k or 0?
0
Let m(f) = 28*f - 2304. Let b be m(38). Is -1243 >= b?
False
Let a = -43696 - -43696. Let r = -3721/9 - -413. Which is greater: a or r?
a
Let q(a) = -5*a + 12. Let f be q(2). Let p be 1 - 1*-1*(3 - f). Which is greater: 22 or p?
22
Let v be (-48616)/(-24) - 10 - (-7)/3. Is v at least 2017?
True
Let f = 513137/181 - 2835. Let q(u) = -u + 5. Let h be q(6). Which is smaller: f or h?
h
Let h(v) = -v**3 + 11*v**2 + 2*v - 20. Let a be h(11). Suppose -3*m - a*m = -x - 100, -3*m + 60 = -5*x. Is 12 < m?
True
Let s = -842 - -996. Which is bigger: 161 or s?
161
Let b = 10423 - 10829. Which is smaller: -405 or b?
b
Suppose 2*i + 9 = -2*h - 1, 3*h = 2*i - 10. Let n be h - ((-1953)/2)/9. Let d = -110 + n. Is d < -5?
True
Suppose 7 = -4*b - 13. Suppose -5*k - 72 = -6*k. Suppose -10*q + 34*q = -k. Do q and b have the same value?
False
Let j(g) = -2*g**3 + 10*g**2 - 3. Let u be j(5). Let c be 3/(-9)*(u - (-6)/(-3)). Which is smaller: -5 or c?
-5
Let o be 552/28 - (0 + (-4)/14). Let n(z) = 10*z**2 + 26*z + 40. Let d be n(o). Let s be d/525 - 1*4/10. Is s > 9?
False
Let g(f) = f**3 - 2*f**2 - 46*f - 95. Let p be g(-3). Let x be (-2)/9 + (-10)/(-18). Which is smaller: p or x?
p
Let r be (342/(-63) + 6)/((-4)/(-14)). Let q = 1209/4 - 301. Is q less than or equal to r?
True
Let g = -39145/14 - -5511/2. Let k be 15187/((-28)/24*-321). Let x = k + g. Which is bigger: 1 or x?
1
Let a = 6 - 4. Let p = 515 + -510. Suppose 0 = -p*t - 70 - 35. Is a < t?
False
Let a = -10351/12 + 2590/3. Let y = 5.5 - 4. Which is bigger: y or a?
y
Let w(x) = -x**2 + x + 2. Let g be w(2). Suppose g*z + 28 = -2*r + 2*z, 3*z = r + 8. Which is smaller: -6 or r?
r
Suppose 4*v - 11 - 2 = -f, -f + 4 = v. Let u be 12/7*3/6. Let m = u - 37/35. Which is greater: f or m?
f
Let t = 0.31 + 15.79. Let w = t - 15.1. Which is smaller: w or 75?
w
Let l = 3.5765 - 4.2265. Suppose 4*m - 2*k = 8, 8 = -2*k + 4*k. Is l >= m?
False
Let j = 2897724/55 - 52688. Is -2 smaller than j?
False
Let a be ((-1)/212)/(4*41/(-43624)). Which is greater: 0 or a?
a
Let o be -3 - (49/4)/(2/(-16)). Let c = o - 95. Is c not equal to -3/10?
True
Suppose -5*p - 8 = -7*p. Suppose p*k - 15 = -2*s - 67, 39 = -3*k + s. Is -27/2 not equal to k?
True
Let v be 18356/(-10)*(-9)/(162/(-90)). Is v >= -9178?
True
Suppose -67 = -105*n + 38*n. Let a be 4/78*24/(-128). Which is bigger: n or a?
n
Let k(z) = 40*z + 130. Let v be k(