5. Which is bigger: h or i?
h
Let b(k) = -290 + 309 + 5*k**2 - 7*k + k**3 - 2*k**2. Let l be b(-5). Which is bigger: -6 or l?
l
Let d = 440 + 2609. Which is smaller: 3048 or d?
3048
Let f be (-3)/(-4 - (4 + 2)). Suppose 12*a + 102 + 42 = 0. Let g be ((-20)/a*12/10)/(-3). Which is bigger: g or f?
f
Let m = 217 + -273. Let y be (38/(-4))/((-21)/m). Which is bigger: -24 or y?
-24
Let t = 12176 - 11851. Which is smaller: t or 327?
t
Suppose -2*i = -5*i + 15. Suppose d - 5*f = -5, -5*d + 2*f = i*f - 87. Let k be 2 + 10/(-4) + d/(-6). Which is smaller: 0.15 or k?
k
Let b be (33 + 0)*6/(2256/7226). Let q = 2539/4 - b. Is 1 less than q?
False
Suppose -t = 2*q + q + 11, 4 = -4*q. Let u = -47 + -39. Let y = u - -77. Which is smaller: t or y?
y
Let u be (1 + -2)*(0 - 1). Let i be 5/(-75) + (-558)/(-270). Let a be (i/(-4))/(u/(-2)). Does 6/41 = a?
False
Let n = -2061.13 + 2062. Let r = -0.4 - -0.57. Let h = n - r. Which is smaller: 0.04 or h?
0.04
Let p(u) = -u**3 + 12*u**2 - 3*u - 23. Let q be p(10). Let t = 147 - q. Let f(n) = n**2 - 9*n + 15. Let x be f(5). Is x smaller than t?
True
Let v(d) = -d**3 - 6*d**2 + 10*d + 31. Suppose -9*a = 61 + 11. Let p be v(a). Let f = 79 - p. Which is smaller: f or 5/9?
f
Suppose 5*f + 3*r = 4*r - 3, 2*r = 4*f. Which is bigger: 85/9 or f?
85/9
Let w = -328 - -331. Suppose 9*u - 3*d = 4*u - 470, 0 = w*u + 3*d + 282. Which is smaller: -96 or u?
-96
Let h be (-706 - -468)/((-16)/(-34)). Which is greater: h or -506?
h
Let t = 317 + -312. Suppose 42 = -d + t*r, -d + r = 4*d + 306. Which is bigger: d or -0.1?
-0.1
Let g = -3312 + 3313. Is 15.06 at least g?
True
Let o = 89 - -386. Let x be o/70 + (-4)/14. Is x at most 8?
True
Let d be 6/15 + (-465)/1344. Let z = 1/320 + d. Let f be (-2)/4*(-2 - 0). Is z less than or equal to f?
True
Let s be 52*(-18)/(-12)*4/6. Suppose 4*z + 99 = -3*w - s, 0 = 3*w - z + 131. Let q = w - -44. Which is greater: -5/13 or q?
-5/13
Let i be 6/34*(-1855)/3 - 1066/(-9061). Which is greater: i or -133?
i
Let j(i) = 24*i + 1107. Let q be j(-30). Is q > 386?
True
Suppose -27*h + 5*b - 127 = -31*h, 5*b - 160 = -5*h. Suppose 35 = 5*p - 140. Are p and h equal?
False
Let i = -0.9785 + -31.8415. Do -0.1 and i have different values?
True
Let u = 3888 - 3888. Which is bigger: u or 1/2199?
1/2199
Let h(z) = -z**2 + 11*z + 8. Suppose r + 23 = 35. Let i be h(r). Let f be (i - 0) + 196/46. Does 0 = f?
False
Let t = 0.0439 - -28.2561. Let p = t - 28.4. Is p < 41?
True
Suppose 342*h + 219 = -123. Are -190/347 and h non-equal?
True
Let u = -2981 + -15241. Are -1/4 and u equal?
False
Let h(g) = -g**3 - g**2 + 3*g - 248. Let n be h(0). Which is smaller: -241 or n?
n
Let v(k) = 7*k**3 + 30*k**2 + 2*k - 3. Let g be v(-4). Suppose -g*i = -17*i + 276. Is i != -70?
True
Suppose 60 = -129*t + 119*t. Let a be (-25)/(-2 + (-15)/t). Which is greater: a or -52?
a
Let d be (22/(-396)*12)/(10/3). Which is bigger: d or -18/11?
d
Suppose b - n = 20 - 17, -12 = 5*b + 4*n. Which is greater: b or 6/875?
6/875
Suppose -2*o = 3*w + 119, 3*w - 2371 + 2392 = 0. Is o smaller than -20/17?
True
Suppose -4 = 3*d - 4*k, -4*d + 7*k - 3*k - 12 = 0. Is -117/14 not equal to d?
True
Suppose 23*j - 649 + 31 = -66. Is -20 < j?
True
Let d(m) = 1633*m - 11460. Let u be d(7). Suppose 0 = -2*h - 24 + 4. Let x be 138/(-5) - (-4)/h. Is u at least x?
False
Let p = 1602 + -1098. Suppose 11*j - p = 8*j. Let w be 1*55/j - 4/14. Which is smaller: w or 1?
w
Let g be (-3)/(-4) - ((-620)/80)/(-31). Do -2/11 and g have different values?
True
Let u = 308105 - 308104. Let r be (-1)/(-7)*15 + -2. Does u = r?
False
Let c = -34248 + 581852/17. Which is bigger: 1 or c?
1
Let i(t) = -t**3 - 28*t**2 - t - 46. Let f be i(-28). Let k = f + 161/9. Which is smaller: -0.1 or k?
k
Suppose -2*c = -709*u + 705*u - 432, -4*c = -3*u - 894. Which is bigger: 230 or c?
230
Suppose -u - 3 = -2*u. Suppose 20 = -5*b, -6*b + u*b - 8 = 4*w. Let a be ((-4)/(-10) - 48/20) + w. Which is bigger: -2 or a?
a
Suppose -679 - 137 = -3*q - 3*m, 2*m + 544 = 2*q. Let t be -1 + 68*(-5 - -9)/1. Which is smaller: t or q?
t
Let a = 11698/9 + -1300. Let y(p) = -p. Let r(q) = -q**3 + 7*q**2 + q - 5. Let h be r(7). Let i be y(h). Which is smaller: i or a?
i
Let j be -1 - (13 + -7) - 3170/(-454). Which is greater: 1 or j?
1
Suppose 17*d + 23 = -129 + 33. Which is bigger: d or -91/16?
-91/16
Let m(l) = -l**3 + 3*l**2 - 2*l + 1. Let s(w) = 13*w - 245. Let z be s(19). Let x be m(z). Is -66 <= x?
True
Suppose 0 = 2*s + 5*t - 13, 0 = -2*s - s - 5*t + 17. Let j be ((-2)/2)/(s - 3). Is j not equal to 43?
True
Let p = 1663 + -3137. Which is smaller: -1475 or p?
-1475
Let k = 1294/9 + -21974/153. Is k <= -1?
False
Suppose 2*o - r + 21 = 0, -3*o = -14*r + 13*r + 31. Let d(u) = u**3 - 12*u**2 + 5. Let t be d(12). Let f = t + o. Do f and -30/7 have the same value?
False
Let p(d) = d**3 + 4*d**2 + 8. Let t be p(-4). Let u be 8/(-32) + (-46)/t. Let x be (-3)/14 + u/(-12). Which is bigger: 1 or x?
1
Let s be 456/14 - (-240)/560. Is 36 at least as big as s?
True
Let w = -0.05553 + 29.94553. Let m = w + -33.3. Which is smaller: m or -0.1?
m
Let l be ((-12)/(-18))/(7/(-3)). Let h be 68/306*(1 + 110/1). Are h and l equal?
False
Let v = -9204 + 8399.2. Let f = v + 804. Which is greater: f or -0.06?
-0.06
Suppose -4*t + 5*f - 2 = 199, -4*f - 241 = 5*t. Let v = 51 + t. Let r be (68/(-8) + -5)*v/(-3). Does r = 11?
False
Let p = 58 - 26. Let c = -49 + p. Let w = c - -17.03. Which is greater: w or -3?
w
Let k = 28 + -17. Let z(i) = -5*i**2 - 11*i - 8. Let q be z(-2). Which is smaller: k or q?
q
Suppose -1 = -8*n + 39. Let f be (419/(-3))/(n/((-6)/(-6))). Let r = f - -158/5. Is r at least as big as 3?
True
Let x = 2432 - 289404/119. Suppose 0 = h - 2, -4*h + 17 - 7 = 2*t. Is t at least as big as x?
True
Let w(t) = t**2 + t + 164. Let l be w(0). Suppose 43*s = 5*y + 40*s - 858, -4*y + 561 = 9*s. Which is greater: l or y?
y
Let l(g) = 2*g**3 - 12*g - 27. Let n be l(7). Which is greater: n or -1?
n
Let d = -21632/510561 + -2/10863. Which is smaller: d or 152?
d
Suppose 28 = 4*g + 20. Let s be ((-4)/4)/(-302*g/56). Let v = 4186/453 + s. Is v > 8?
True
Let r = 136 - 96. Let h = -2472 + 2514. Which is greater: h or r?
h
Let h = -14.1 - -21.6. Let x = h - 11.5. Which is greater: 6 or x?
6
Let h = 0.0332 - -451.9668. Let y = h + -120. Is -1 at least y?
False
Let u = -105 + 50. Let h be 17/((-34)/9)*-3*2/(-9). Is h bigger than u?
True
Let c be 4659/(-30849) + (-198)/(-63) + -3. Which is smaller: c or -1?
-1
Suppose -4*h + 2*f = 10, 2*h - f + 6 = f. Let q(u) = u**2 + 73*u + 279. Let d be q(-4). Let c be (d/12)/((-5)/(-8 + h)). Which is bigger: 9 or c?
9
Let q = 122 - 852/7. Let n be 208/34 + 2/(-17) + (-651)/168. Is n less than or equal to q?
False
Let a(m) = -5*m**2 - m. Let h be a(-1). Let g be (-6)/h + (-6)/4. Let r be (58/4)/((-14)/(-56)*-2). Which is smaller: g or r?
r
Let b = 33164/7 + -4752. Which is smaller: -15 or b?
-15
Let g(j) = -4*j + 2 - 2*j**2 + 0 - 4*j**3 + 5*j**3. Let p be (-6)/(-4) - 3*3/(-6). Let a be g(p). Are a and 1 equal?
False
Let g be 8/44 + 40/22. Let r = g - 1. Let l be ((-2080)/1036 - -2)/(1/7). Which is smaller: r or l?
l
Let q = -22612 - -4709. Is q at most as big as -17903?
True
Let w = 19.63 + -20. Let s = 3.63 - w. Let y = -8 - s. Is -2 at most y?
False
Let n = -0.025 - -1.025. Suppose -3*d + 15 = 0, -4*d - 209 = -3*b - 55. Which is greater: b or n?
b
Let t = 231 + -154. Let d be 4 - t - (-1 + 4). Let s = 52 + d. Is s greater than or equal to -25?
True
Let d = 41891 + -5320207/127. Which is smaller: -1 or d?
-1
Let w = -376.9 + 377.9. Let l = -0.028 - -0.02. Is w equal to l?
False
Let b = 300785 + -50230931/167. Which is bigger: b or 1?
1
Let y be (1484/(-16))/((-15 + 2)/(-468)). Is y not equal to -3339?
False
Let r(j) = 20*j - 313. Let i be r(-24). Are -793 and i equal?
True
Suppose -13*u + 3 = -12*u. Let c be (8 - -42)*u/(-6). Is -27 less than or equal to c?
True
Let x be 906/153 - (-26280)/(-44676). Suppose 0 = 3*u - 2*u. Let i = 6 + u. Which is greater: i or x?
i
Suppose -5*z - 3*t = -17, 4*z = -0*z - 3*t + 13. Suppose -z*d + 5*i = -47, -d - 3*i + 25 = 9. Suppose 3 = d*k + 120. Which is bigger: k or -6?
-6
Let r(b) = -7 + 6*b**2 - 12*b**2 + 4*b**2 + 3*b**2 + 9*b. Let g be r(-10). Let n = g + 18. Which is 