 is greater: h or b?
b
Let d(y) = -y**3 + 17*y**2 - 25*y + 145. Let r be d(16). Is r greater than -2/953?
True
Let c = 947 - -96. Is 1043 smaller than c?
False
Let f(j) = 9*j - 155. Let r be f(16). Let c(h) = 13*h. Let a be c(-1). Which is smaller: r or a?
a
Let b be (-4235)/(-1590) + (5 - (-1 + 3)). Let y = -1/318 - b. Suppose 0 = -j - 2*r - 9, 2*r - 2 = -4. Which is greater: y or j?
y
Let z be ((-285)/(-100))/(2/(-10)). Is -14 greater than z?
True
Let k be 3/(-27)*-48*138/4. Is k equal to 184?
True
Suppose -f + 59 = -3*q - 3*f, 2*f = -q - 25. Suppose -6*y - 13 = 77. Which is smaller: q or y?
q
Let x be (-6)/2 + (-228)/(-95). Let i = -11/15 + x. Is i not equal to -1?
True
Let c = 193/18 - 21/2. Let n = 29 + -31. Let i be -1 + 4 + 6/n. Which is greater: c or i?
c
Suppose 7*h = -5*h. Let m = -1.5 + 2. Let f = m - 0. Which is bigger: f or h?
f
Let y(i) = 31*i**2 - 3*i - 24. Let t be y(4). Is t less than or equal to 460?
True
Let f(w) = -26*w**2 + 17*w - 66. Let i be f(4). Is i at most -414?
True
Let k be 46/(-391) - 354/(-2720). Is k >= 8/3?
False
Let n(f) = 119*f - 52. Let z be n(0). Is -464/9 greater than z?
True
Suppose 0 = -b - 16*b + 40*b - 184. Let i be 1 - 6*(-6)/4. Which is bigger: i or b?
i
Suppose -45*i + 42*i = 0. Suppose 20*p - 24*p + 16 = i. Is 23/5 greater than p?
True
Suppose -5*t + 41 = -3*f, -4*t + 4*f = -29 - 7. Which is smaller: 11/2 or t?
11/2
Let s be (4/60*3)/((-2)/604). Let y = -2698/45 - s. Which is bigger: 0 or y?
y
Let a be (70/84)/((-5)/(-3)). Which is greater: -96 or a?
a
Let v(w) = -w**2 - 5*w - 3. Let p be v(-6). Let j(t) = 6*t - 3. Suppose -72 + 75 = -3*x. Let u be j(x). Is u greater than or equal to p?
True
Let q = 49.95 + -49. Let a = -0.85 + q. Does a = -1/2?
False
Let k be 155/(-15) + -3 + 1. Are k and -12 equal?
False
Let b(w) = -2*w**2 + 14*w - 13. Let h be b(9). Which is greater: h or -50?
h
Suppose 3*a = -3*j + 6, 2*j + 8*a = 3*a + 10. Suppose j*w + 4*m = 2*w - 28, -4*w + 2*m + 32 = 0. Suppose 2*c - 1 = 3*v, -2*c = -3*v - w*c + 29. Is v <= 18/7?
False
Suppose -5*k - 16 = -6. Let w be 128/24 - (-6)/k. Are 1 and w equal?
False
Suppose -18 = -11*m + 17*m. Let a be (2/(-18))/(((-9)/(-3))/m). Do 0.9 and a have the same value?
False
Suppose -14*g - 72 = -32*g. Let l be ((-1)/1)/((-2)/8). Is g greater than or equal to l?
True
Let s = -1456.956 - -1449. Let z = s - 0.044. Suppose 7 = 4*c + 3. Do z and c have the same value?
False
Let o(g) = g**3 + 2*g**2 - g + 1. Let m be o(0). Let i = -0.297 + -10.553. Let n = 11 + i. Which is bigger: m or n?
m
Let x be -23 - (-5)/(-19 - -14). Let s(w) = 4*w**3 + 4*w**2 + 4*w + 2. Let d be s(-2). Is x bigger than d?
False
Suppose 3*a = a - 4, 13 = -3*w + a. Let c(i) be the second derivative of -i**5/20 - 3*i**4/4 - 3*i**2 + 20*i. Let s be c(-9). Is w <= s?
False
Let h = 220/7 + -31. Let l = 6 + -4. Suppose -l = -2*g - 4. Which is smaller: h or g?
g
Suppose -101*m + 104*m = 372. Is m at most 126?
True
Let f(k) = 2*k - 9. Suppose 4*c - j - 16 = 0, -5*c + 12 = -4*j + 3. Suppose o - 21 = c*i, 0 = 3*o - 5*i - 23 - 10. Let t be f(o). Are 1 and t equal?
False
Suppose -5*u - 7663 = 2362. Which is bigger: -2006 or u?
u
Suppose 3*h - 10 = 2*h. Let s be (h/(-24))/((-3)/(-12)). Suppose -r = -2*r + 5*y - 3, 0 = -r + 3*y - 3. Is r not equal to s?
True
Let u be (-14)/(-21)*2/12. Let h be (-4)/(-26) + 32/(-208). Suppose 0 = -2*z + 3*c - 5 - 2, h = z + 4*c - 13. Which is greater: u or z?
z
Let v = -1.03 - -1.028. Let t = 0.012 + v. Which is greater: t or 7/4?
7/4
Suppose -68 = 4*j - 64. Which is greater: -1/1024 or j?
-1/1024
Let i(q) = -32*q - 293. Let z be i(-10). Which is smaller: 29 or z?
z
Let c be (-216)/10 - 2/5. Let b be 22/(-121) - 246/c. Which is bigger: 1/3 or b?
b
Let o(y) = -3*y + 22. Let p(d) = -4*d + 43. Let g(f) = -5*o(f) + 3*p(f). Let w be g(-12). Is w < -3?
True
Let g = -0.449 - 1.551. Is 17 less than g?
False
Let i = -12218.082 - -12231. Let p = i - -0.082. Is p less than or equal to -0.2?
False
Let m(i) = 48*i**2 - 8*i + 9. Let o be m(1). Let h be ((-2205)/(-14))/(2 + 1) + -3. Which is smaller: h or o?
o
Suppose 0*c + 2*c = -5*q - 25, q + 5 = -2*c. Let f be ((-10)/(-5) + -1)*c. Suppose d + 4*y + 4 = -3*d, 3*d = 2*y + 2. Are d and f equal?
True
Let j(l) = 4*l + 2. Let n be j(1). Suppose -h = -8 + n. Is h bigger than 11/7?
True
Suppose 26 = -g + 3*g - 2*d, 4*d - 44 = -4*g. Let n be 1 - (2 + g/(-13)). Suppose 0 = u + b - 2, -4*u = -204*b + 205*b - 5. Which is smaller: u or n?
n
Let q(c) = -8*c**3 + 4*c**2 - c - 4. Let o be q(2). Let g = o + 83. Is g >= 28?
True
Let y = 37 + -44. Let p = y + 14. Which is smaller: 10 or p?
p
Let k = 11.22 + -0.22. Let w = -0.057 + -8.943. Let i = w + k. Which is smaller: -1 or i?
-1
Let t(y) = -y**2 + 2*y - 31. Let o be t(4). Let w be (-2 - -1) + 0 - o. Which is smaller: w or 36?
36
Let j = -9.9 + 9.23. Let p = -0.33 + j. Are -12 and p non-equal?
True
Let r = 82 + -17. Let w = r + -10. Which is smaller: w or -0.1?
-0.1
Suppose 8661*x + 3006 = 8664*x. Which is smaller: x or -0.1?
-0.1
Let d(y) = -3*y + 50. Let f be d(0). Let x = 251/5 - f. Let m = 0 - -1. Is x not equal to m?
True
Suppose 1 = -3*z + 10. Let h be ((-120)/(-14))/z - 3. Let j = 3.9 + -2.9. Which is greater: h or j?
j
Let i = -47 - -50. Let n(k) = 4*k - 11. Let b be n(i). Is 14/15 > b?
False
Let r be ((-2 - -2) + 0)/(-2). Let v(w) = r*w**3 - 7 - w + 5*w**2 + 4*w**3 - 3*w**3. Let j be v(-5). Which is smaller: j or -1?
j
Let r be (-133)/(-154) + 2/(-4). Let l(u) = u + 3. Let g be l(-5). Let x = g - -3. Which is smaller: r or x?
r
Let b = -5/294 - -2995/3234. Let f be (32/80)/((-22)/(-55)). Which is smaller: f or b?
b
Let d = -36 + 54. Let h be 0/((9/d)/(2/4)). Which is smaller: -2/93 or h?
-2/93
Let u = -575/871 + 3/67. Let h = u + 4/91. Which is smaller: h or -1?
-1
Suppose 0 = -4*n + 17 + 3. Suppose -n*g - 18 = 2*r, -3*r - 2*r - 20 = 0. Let t be (3/17)/(1 + g). Is t at most -1?
False
Suppose -3*t + 4 = -2. Suppose 2*r - 5 = 9. Suppose r = 2*v + 6*k - 3*k, v - 8 = 3*k. Is t at most as big as v?
True
Let v(t) = -t**3 - 47*t**2 - 93*t - 135. Let o be v(-45). Is o smaller than -76?
False
Let b = 1034.2 + -1034. Let f = -10 + 35. Suppose 0 = 5*m + 20 + f. Which is bigger: b or m?
b
Suppose 2*k + 26 = 268. Which is smaller: k or 112?
112
Let j(q) = -26*q - 2. Let c be j(-2). Let m(f) = -f**3 - 19*f**2 - 21*f - 52. Let v be m(-18). Suppose -4*w - 4*g = -v*g + c, 3*w - 4*g = -65. Is -16 >= w?
False
Let f be -199 - (24/(-48))/((-3)/(-18)). Which is smaller: f or -198?
-198
Let p = -305 - -113. Which is smaller: -193 or p?
-193
Let y be 3/(-2) + (8 - 9020/1360). Which is smaller: y or 0?
y
Suppose -5*g + 105 = -5*d, 3*d - 6 = -g - d. Which is smaller: 19 or g?
g
Let g be 0 + 3 + 1 + 1/5. Which is smaller: 2/7 or g?
2/7
Let j = 0.2 - 0.3. Let c(f) = -f**2 + 28*f - 11. Let s be c(27). Suppose -3*h + 46 = s. Which is greater: j or h?
h
Let r = 0.08 + -0.73. Let f = 16.15 + -16. Let d = r - f. Which is bigger: 0 or d?
0
Let l = -241 - 35/2. Which is bigger: -258 or l?
-258
Let n = -1 + 9. Let c = -7.7 + n. Let q = -2122/9 - -236. Is c greater than q?
True
Suppose -2*g + 3 = 11. Let k be -1*16/g - 25. Let s = k + 20. Which is smaller: s or 1/5?
s
Let a be 5*((-3704)/(-1850) - 2). Suppose -13*i = -292 + 279. Is i at most a?
False
Let d = 0.5 - 0.5. Let g(b) = b**3 + 11*b**2 + 28*b - 5. Let a be g(-6). Which is smaller: d or a?
d
Let v be ((-4)/10)/(171/95). Suppose -5*h = 3*n, 3*h - 3*n = 5*h + 9. Suppose -h = -b - 4. Which is greater: b or v?
v
Let c = 6.2 + -195.2. Is 0.1 less than c?
False
Suppose 5*r - 90 = 3*p - 32, -4*p = r - 7. Let f(m) = -4*m**3 - 11 + 5*m**3 + 2*m + 11*m**2 - m**3 - m**3. Let z be f(r). Is z greater than or equal to 11?
True
Let q be ((-2 + 37)*1)/(1 + 5). Let i = 6 - q. Are i and 1 unequal?
True
Suppose -z = 3 - 0, -t + z = 108. Which is greater: -558/5 or t?
t
Let n = -3175 + 5068. Is n at least 1894?
False
Let k = -78.2 + 58. Let n = k - -21. Which is smaller: n or 2/3?
2/3
Let o = -42 + 45. Suppose -o*c = -6*c. Which is bigger: c or -28?
c
Let d be (2/(-21))/((72/(-42))/(-4)). Let l(i) = -i**3 - 4*i**2 + 5*i + 3. Let t be l(-5). Suppose 3*v = t - 0. Which is greater: d or v?
v
Let t = -20.26 + 20. Let n = 15.74 - t. Let x = n + -16. Do x and -5 have different values?
T