5. Is i at most n?
False
Suppose 382*k - 184 = 290*k. Let r be (6/(-8))/(6/(-4)). Is k not equal to r?
True
Suppose -5*d - 195*x - 15942 = -193*x, -12714 = 4*d - 5*x. Which is bigger: -3187 or d?
d
Let g(x) = x**3 + 17*x**2 - x + 11. Let u be g(-17). Let t be -2 - (-9)/(135/u). Let i be 24/56 + (-18)/42. Which is smaller: t or i?
t
Suppose -3*u = -0*r + r - 192, 0 = -5*u + r + 320. Suppose 0 = -6*p - 2*p + u. Suppose -3 = 5*n - p. Is 25 greater than or equal to n?
True
Let o be 2/(2*2) - 7161/462. Let z(r) be the first derivative of -r**2 - 36*r + 1. Let f be z(o). Do f and -6 have the same value?
True
Let p be 72/90*10/4. Suppose 69 = p*d - 5. Let y = d + -36. Which is smaller: y or -2/7?
-2/7
Let l = 2/17063 - 2713025/68252. Let u = 145/4 + l. Which is smaller: -4 or u?
-4
Let b = 0.14 + -15.14. Let o = 42.0565 - 42.2. Let j = -0.0435 - o. Is b greater than j?
False
Let o = -218 - -66. Let h = 151.9 + o. Which is smaller: 61 or h?
h
Let r(w) = -2*w**3 - 20*w**2 - 54*w - 27. Let h(s) = s**3 + 10*s**2 + 26*s + 13. Let o(d) = 5*h(d) + 2*r(d). Let x be o(-10). Is -210 not equal to x?
True
Suppose 8*z - 3*z = i - 51, -5*i = 5*z - 165. Suppose i = 49*k - 47*k. Which is bigger: 92/5 or k?
92/5
Let m = -26 - -47. Let t = -292.057 - -292. Let c = 0.943 - t. Which is smaller: c or m?
c
Suppose v - 808 = 5*o, -4*o = -o + 2*v + 477. Let p = o + 252. Are 91 and p nonequal?
False
Let p = -4234 - -4299. Which is smaller: 68 or p?
p
Let b = 330.964 + -332. Let r = b - -0.036. Let d be (-2)/(-42) - (-2)/(-6). Is d less than r?
False
Let h be 36249/36 - ((-100)/650 + (-22)/(-312)). Is 1/2 greater than or equal to h?
False
Let o be (6/27)/((-15)/(-18)). Let c(w) = -w**2 + w + 4. Let h be c(0). Suppose -2*u + h = 2*t + 16, -u + 5*t + 24 = 0. Which is smaller: u or o?
u
Let b be ((-2)/3)/((-40)/(-17700)). Is b <= -292?
True
Let r be -5 - (0 - 0 - 1). Let w = 1168/93 - -331936/465. Let q = 727 - w. Are q and r non-equal?
True
Let m be (102 - 101)*(1 + -1). Are 4/5719 and m equal?
False
Let u = 8.803 + 0.197. Which is greater: u or -8/11?
u
Let g = -13.71305 + 13.689. Does -0.1 = g?
False
Let q = 2876.993 + -2877. Let w = -4 + 6. Is q not equal to w?
True
Let c be (78/(-65))/((-4)/(-665)). Let z = c + 198. Is 0.3 <= z?
False
Let c = 31 + -10. Let g(t) = -c + 0 - 8*t - 5*t - t**2. Let v be g(-11). Which is greater: 2/7 or v?
v
Let j = -753 + 778. Suppose -j*o = -16*o - 1242. Suppose -3*h + 158 = -256. Do o and h have the same value?
True
Let a be (-1292)/(-1830) - (392/(-42))/(-14). Is 0.2 less than a?
False
Let w(n) = -7*n**2 + 68*n - 200. Let o be w(25). Which is greater: -2876 or o?
o
Let u = -3605 + -2538. Which is smaller: -6144 or u?
-6144
Let q = 2/611 - -5471/8554. Let d = 499 + -495. Suppose d*y - 3*p = -12, y + y = 3*p - 12. Is q equal to y?
False
Suppose -37*s = -18*s - 25*s - 6432. Is -1060 >= s?
True
Let g = -6/25 - -526/1775. Let o be 0/(-3 + -2)*(-7)/(-21). Is g at most o?
False
Let u = 20.7004 - -0.2996. Are u and 45 nonequal?
True
Let z = 232 + -163. Suppose -5*l + 11*o = 15*o - 354, 278 = 4*l - 2*o. Which is greater: z or l?
l
Let q(t) = t**3 + 5*t**2 - 8*t - 10. Let l be q(-6). Suppose l*r = 5*r. Is r at most 6/13?
True
Suppose 14*p = 1627 - 4427. Let w = p + 240. Which is greater: w or 41?
41
Let y(p) = p**3 + 14*p**2 + 24*p + 17. Let i be y(-13). Let d be (2 - (-3)/(-2))*18. Let b be (-2)/d + (-37)/i. Which is bigger: -1 or b?
b
Suppose -2*m = 3*n + 5, 3*m + 3*n = -1 - 5. Let u be ((-14)/35)/((-1401)/15). Which is smaller: u or m?
m
Let z be 496/12 + -5 - (-2)/3. Suppose -z*o + 46*o + 6300 = 0. Is o > -701?
True
Let v(k) = -k**3 + 11*k**2 - 10*k + 2. Let b be v(10). Suppose b*l - 74 = 142. Let n be (-12)/(-3) + l/(-22). Is -1 at most n?
True
Let u = -24.69 - -23.2. Let j = -71453/5 + 14291. Which is greater: j or u?
j
Suppose -10*i - 80 = -14*i. Suppose 3*b - i - 151 = 0. Let n be (12/(-5) - -2)/(b/1235). Which is bigger: n or -8?
-8
Let g(k) be the second derivative of -5*k**4/12 - 5*k**3/6 - 5*k**2/2 - 8*k. Let a be g(-3). Let r = -0.6 - -0.6. Which is smaller: a or r?
a
Suppose 4*o - w + 25594 = 0, 0 = 17*o + 2*w - 3*w + 108755. Is o greater than -6397?
False
Let i be 4776/108 - (-4)/(-18). Let v = i + -50. Let t = 98 - 103. Which is smaller: t or v?
v
Let i be (0 + -3 - -1)/((-4)/12). Suppose -4*t - 88 = -i*t. Let a = -44 + t. Which is bigger: a or -14?
a
Suppose 3*p = -2*l + 53, -5*p + 3*l = -22 - 60. Let r = -198 - -213. Which is smaller: r or p?
r
Suppose -11 = -5*b + 4*k, -4*b = 4*k + 4 + 16. Suppose -119*t - 60 = -109*t. Let z be t/(-18)*6/8*b. Is 8/9 <= z?
False
Suppose 32 = 11*l - 3*l. Suppose -n + l*v = -1 + 7, -4*v + 16 = 0. Suppose 3*r = 3*c + n + 68, -3*c + 4*r - 73 = 0. Which is greater: -2 or c?
-2
Suppose 24*d + 362*d + 43059 = -77*d. Let w = -189 - -96. Is w at least as big as d?
True
Suppose -11 = -v + 3*w, -823*v = -828*v - 2*w - 13. Which is smaller: 1/9 or v?
v
Suppose 3*l - 31 - 35 = 0. Let q = 75 + -75. Suppose 65*f - 61*f - 92 = q. Is l < f?
True
Let q(n) = 103*n + 4386. Let g be q(-41). Is 168 not equal to g?
True
Let h(i) = 7*i**2 + 16*i + 7. Let t be h(-5). Let b be 909/(-6)*6/(-9). Which is greater: b or t?
t
Let f be -280 + 0/(-1) + 2. Let b = f + 179. Let m be 6*(0 - (-6)/b). Is 0 less than or equal to m?
False
Suppose 4*h = n - 147, -h + 2*n + 4 = 32. Let r be ((-1)/3)/(57/h). Is -2/9 less than or equal to r?
True
Suppose -4*t + 2*i = -3102 + 604, t - 629 = -i. Let l = t + -2533/4. Which is greater: l or -6?
-6
Let i be -1*(-87)/(-5 + (-12)/(-2)). Suppose 30 = -i*a + 77*a. Suppose -4*z = 7*f - 2*f + 7, -5*z + 7 = f. Is z at most as big as a?
False
Let o = -266 + 270. Suppose 4*k + 42 + 12 = -i, 5*k = o*i - 78. Is k bigger than -18?
True
Let b = -9116 - -27347/3. Which is smaller: -191 or b?
-191
Let c = -0.144 + 2.694. Let q = -120.45 - c. Is -1 smaller than q?
False
Let u(f) = -f**3 - 23*f**2 - 23*f + 10. Let q be u(-22). Suppose i = 6*k - k - 16, -2*i = -4*k + q. Is 4/7 <= i?
False
Suppose -14*v + 429 = 1423. Let s = 72 + v. Let l = -18 - -18.06. Is l at least as big as s?
False
Let h = 666/7 + -8686/91. Let l = -62 + 95. Let t = -32 + l. Which is smaller: t or h?
h
Let g(l) = l**3 + 2*l**2 + l + 2. Let x be g(-2). Let z be (2/(-4))/((-1829)/(-124)*2). Which is greater: z or x?
x
Let v(k) = k**3 - 2*k**2 - 2*k - 2. Let o be v(3). Let i be 2822/5478 - (80/165)/8. Which is greater: i or o?
o
Let u = -0.185 + 0.485. Which is smaller: u or -949/7?
-949/7
Let i = 27831 - 32386. Are -4555 and i equal?
True
Let u = -9 + 13. Suppose u*a = 6*x - x + 1834, 0 = -3*x + 4*a - 1094. Let r be 2/4 - x/(-20). Is -18 at most as big as r?
True
Let c(q) = -28*q + 785. Let b be c(28). Is -5/314 less than b?
True
Let d be 56/(-154) + 5/44. Let n = -0.16 + 0.2. Let y = n - -0.16. Is y at most as big as d?
False
Let i(m) = m**3 + 2*m**2 - 11*m - 10. Let w be i(-4). Suppose -5*y + 7*t = 2*t - 80, -w*t = 4*y - 46. Let c be ((-1)/2)/(5/(-30)). Which is greater: c or y?
y
Let h = 37 + -34. Suppose h*u - 1680 + 282 = 0. Let l be (-10)/(-35) + 1/((-14)/u). Is -32 equal to l?
False
Let p = 1106 + -1107. Let z be (1 + -7)*5/(-885). Does z = p?
False
Suppose 3319*c - 3323*c - 196 = 0. Which is bigger: c or 9?
9
Let f = -187/7 - -27. Let r = -346 + 343.57. Let p = r - -2.33. Are p and f non-equal?
True
Let a = 198 - 49. Which is bigger: a or -0.06?
a
Let s = 73 - 65.9. Let z = 56 - 52.95. Let p = z - 3.15. Which is greater: p or s?
s
Let f = 79069 - 553481/7. Let n = 87 - 32. Is f at most n?
True
Let u = -1436 - -1438. Suppose 5*t - w + 16 = 51, 2*t + 2*w - 14 = 0. Suppose 4*g + 6 + 0 = u*j, -j + t = -3*g. Which is smaller: g or -1?
g
Let l(j) = -j**3 - 7*j**2 + 10*j + 81. Let k be l(-6). Let b = -48785/7 + 6953. Which is bigger: k or b?
k
Let k = -0.04847 + -1.05153. Which is bigger: 1/18 or k?
1/18
Let p be (-2)/(6 + -12) + 3701/222. Let j = p - 17. Is j at most 0?
False
Let z(m) = -m**3 + 9*m**2 - 5*m - 18. Let a be z(8). Let k be 4*a/7152*2. Is k at most 1?
True
Let t be (-3 - -5)/(14/49). Suppose 4*b = 2*u + 2, -u - 2 = t*b - 10*b. Let j be (-2)/3 - (-20)/(-15). Which is smaller: u or j?
j
Suppose 0 = -5*y + 7*y - 6. Let c be y + (-2)/2 + 3. Suppose -c*w + 70 = -5*v, -54 = w - 6*w - 3*v. Is 16 less than or equal to w?
False
Let w be 