e of h**6/120 + h**5/10 - h**4/12 - 3*h**3/2 - 2*h**2. Let f be (-6)/(-2) + -56 + 47. Let n be v(f). Which is greater: n or 30/7?
30/7
Let a be -13 + 1 + (3322674/138447 - 12). Which is smaller: a or -1?
-1
Let k = -136 - -139. Suppose -k*j - 67 = 4*v, 64 = 20*j - 24*j + v. Are -16 and j unequal?
True
Suppose 296 = 9*f - 64. Let i be ((-2)/f)/(77/264). Let s = i - 774/385. Are s and -2 unequal?
True
Let k be (-165)/99 - (-86118)/(-234). Which is smaller: k or -369?
k
Let m = -8827 - -9011. Suppose j - 33 = 151. Do m and j have different values?
False
Let j = -51.524 + 53.86. Which is greater: -1/3 or j?
j
Suppose -5*f - 83008 = 5*v + 99047, -109205 = 3*v - 4*f. Let u be (-7)/(v/(-15589)) + 3. Is 1 less than u?
False
Suppose 12*k = 16*k + 4304. Let o be 22/(-77) - k/42. Let l = 25 - o. Which is smaller: -0.17 or l?
l
Suppose -6*b = -15*b - 5*b - 266. Which is smaller: b or -52?
-52
Let v be (6/(-14) - (-42270)/42)*-1. Do -1005 and v have different values?
True
Suppose 8 = -2*r, -5*c + 10*c = r + 4669. Does 922 = c?
False
Let g = -119 + 59. Let t = -609/10 - g. Which is greater: t or 0?
0
Suppose 664*i = 1730961 + 324783. Is 3094 <= i?
True
Let d = -50605/7 + 7211. Let b be 1/(((-1)/17)/((-5)/(-5)*1)). Which is greater: b or d?
b
Let o = -75 + 373/5. Let t = 51 - 43. Suppose 2 + 22 = t*c. Is c at least as big as o?
True
Let v = -2/1212927 - 1630308633/14959433. Let p = v + 109. Suppose -2 + 7 = -5*g. Do p and g have the same value?
False
Let c = -0.046 - 3.854. Let z = c + 3.78. Let v = 2.12 + z. Is v at least as big as 7?
False
Let n = -1.46 + 11.16. Let f = 9.61 - n. Let q = f + 0.11. Which is greater: q or 0?
q
Let h be (112/(-24))/(-14) + (-1600)/(-6). Let f = -266 + h. Is f bigger than 1/619?
True
Let j = -16 + 27. Let m = -11.6 + j. Is m > 10?
False
Let b be (-9548)/(-2317) + (3 - 7). Which is smaller: -1 or b?
-1
Let c be 64/(-352) + 453/11. Suppose 0 = -3*z + 8 - c. Let x be 2 + (-31)/(-11) + (-2)/z. Are 2 and x equal?
False
Let k(p) = 3*p**2 + 158*p - 1253. Let h be k(7). Which is smaller: h or 9/784?
h
Let k = 80615/3879 + -187/9. Let b be 2/(-39) + 46/897. Which is smaller: b or k?
b
Let i = -9553 + 9656. Is -23 < i?
True
Let z be (-4)/(-2)*(-5)/(-2) + 12. Which is smaller: z or -4?
-4
Let t = -17813 + 2725385/153. Is t at least as big as -1?
True
Let f = -2 - -1. Suppose 3*o + 2*q = 110, -22 = o + 5*q - 76. Suppose o*j = 35*j + 42. Is j smaller than f?
True
Let f = 0.16 - 82.16. Let n = 83 + f. Which is greater: n or 81?
81
Let q = -12975 + 12981. Suppose 3*d - 5 = -2*d. Let m be (15*12/33)/d. Is m less than q?
True
Let l = 28794 - 28805. Which is smaller: l or -406/41?
l
Let g = -99497/61292 - -93/796. Let x = g - -1/154. Do 13 and x have different values?
True
Let s be (0 - (9 - 5))*1/426. Let g(q) = -q**3 - 2*q**2. Let u be g(-2). Which is smaller: u or s?
s
Let d = 43 - 512. Let t be 15/(5 - d/(-98)). Is -0.1 bigger than t?
False
Suppose -3*f = -5*b + 35, 5*b - 5*f = -0*b + 45. Suppose b*u - 3 = 5*n, -n = u + u + 9. Let o be n/2 + 4/((-8)/(-11)). Which is bigger: 3 or o?
o
Suppose -31*u - 154 = 2*o - 27*u, -73 = o + 4*u. Are 5 and o non-equal?
True
Let p = 72303 - 12363779/171. Which is smaller: 1 or p?
p
Let r = 1.9 - 1.66. Let w = 142.24 - 142. Let y = w - r. Which is smaller: y or 0.7?
y
Suppose -1239 - 1002 = -9*p. Let s = p + -4235/17. Let o = -0.206 - -0.006. Which is smaller: s or o?
o
Suppose -5*b = 7*n + 14558, -2914 = b + 10*n - 9*n. Which is greater: b or -2921?
b
Suppose 10*b - 2*z + 122 = 17*b, -10 = -b - 4*z. Which is greater: -26 or b?
b
Suppose -6*y + y + 5 = 0. Suppose 0 = -411*d + 13786 + 7175. Is y > d?
False
Let r(g) be the third derivative of g**4/3 + 3*g**3 + 42*g**2. Let v be r(-2). Suppose -5*c - 3 = v. Is c at least as big as 0?
False
Suppose -4*h + 3*x + 301 = h, -3*h + 169 = 4*x. Suppose 4*n - 117 = h. Which is smaller: n or 45?
n
Let n = 32 - 29. Suppose -2*l - h = -1, -n*l + 2 = 9*h - 8*h. Which is smaller: l or 2/79?
2/79
Let j be -2 + ((-1280)/(-212) - 4). Let x = -71 - -71. Suppose h + x*h = -2*h. Which is smaller: h or j?
h
Let f be (2/84)/(440/63040). Let z = f + -6/77. Let p be ((-12)/(-10))/((-6)/(-20)). Which is smaller: p or z?
z
Let f = -0.2491 - -61.2491. Which is bigger: f or -5?
f
Let d = -160.49 - -164. Let z = 2.9 - d. Which is smaller: 2 or z?
z
Let n(q) = q + 8. Let f be n(-9). Suppose -2*h - c + 219 = 0, 0 = 8*h - 3*h + 3*c - 547. Suppose 80 = -6*r + h. Is r at most f?
False
Let d(t) be the third derivative of t**5/60 - 5*t**4/24 - 7*t**3/6 - 33*t**2. Let l be d(7). Let o be 0*(3/12)/(1/2). Is l greater than o?
True
Suppose h + 27 = 4*f, 2*h - 4*f + f + 29 = 0. Let o be (6/4 - 2)*(-13 - h). Suppose -o*p - 11*p = 2*p. Is p smaller than -1/11?
False
Let q = 5731298/9 + -126255473/198. Let h = -1152 - -1995. Let w = h + q. Which is smaller: w or -1?
-1
Let s = -29223 - -33975. Do 4754 and s have different values?
True
Let g = 4746506/33 + -143876. Let u be ((-168)/189)/(3/144). Let h = u - g. Which is smaller: h or -1?
-1
Let b be (-46 + 13 + 10)*-1447. Which is bigger: b or 33280?
b
Let x be 6/(-296)*(-1 - -5). Let g be (8/12)/((-1)/(-24)). Suppose g*l - 22 + 22 = 0. Is l less than x?
False
Suppose 0 = -0*d - 6*d + 900. Let f be ((-50)/d)/(1/6). Let o(r) = r**3 + r**2 + r. Let z be o(0). Is z at least f?
True
Suppose 10 + 180 = -5*l. Let i = -44 - l. Let r = 3 - i. Does 23/3 = r?
False
Suppose 1637 = 5*y + 9*z - 5*z, 983 = 3*y + 2*z. Let b = 587 - y. Is b less than or equal to 257?
False
Suppose -3*x = -5*r + 57, 78*x - 74*x - 2*r = -90. Let d be 42/2 + (-2 - -1). Let w be d/x*(-3)/(-15). Which is smaller: w or -1/4?
-1/4
Let f = -6582760/13 - -506682. Let v = 1970 + -1654. Let s = f - v. Is s smaller than 1?
True
Let s be 9012/(-40) + -2 - 116/(-145). Is s equal to -226?
False
Let b(a) = -20*a + 99. Let p be b(5). Let u be (-40)/(-76) - p - -1. Which is smaller: u or -2/5?
-2/5
Let m = 1005 - 67493/67. Is -1 smaller than m?
False
Let d(c) = -174*c + 26. Let g be d(-4). Suppose -g = 10*y + 948. Which is bigger: y or -166?
-166
Let w(l) = l**2 + 9*l + 2. Let z be w(-9). Suppose 0 = -z*t + 6*t + 112. Let x = 15 + t. Which is smaller: x or -12?
x
Let h = -83 + 42. Let t = -1123 + 1122.94. Which is bigger: t or h?
t
Let x(q) be the second derivative of -q**4/12 + q**3/3 + 6*q**2 - 5*q. Let o be x(4). Suppose 2*z = 5*f - 1, o*f = 4*z - 3 - 1. Are f and -2/19 equal?
False
Let a = -1.4338 + 1.5338. Are a and 14/313 nonequal?
True
Let i = -75.7 + 0.7. Let l = -112 - i. Let d = -38 - l. Is 4 > d?
True
Let w = 52 - 48. Suppose 48 = w*v + 16. Let z = -2.03 + 0.03. Which is bigger: z or v?
v
Suppose -912*j = -915*j + 90. Suppose -40*v + j = -10. Is -2/523 at least v?
False
Let h = 8067099716797/1512188487858 - 2/698147963. Let l = 1/722 - h. Suppose -413*n + 650*n = -1185. Which is greater: l or n?
n
Let h be 4505/1484 + 2/8 + -3. Which is smaller: 106 or h?
h
Let x(z) = -z**3 + 8*z**2 + 9. Let t be x(7). Suppose 29*h + 14*h + 102 = 9*h. Which is smaller: t or h?
h
Let z = 8 - -69. Let w be 6/(-15)*35/z. Let u be 4 + (-5 - (-5)/10). Which is smaller: w or u?
u
Suppose 8*w - 169 = 191. Let l be (((-5)/w)/((-3)/(-6)))/(-1). Let u = 4 - 3. Is l at most as big as u?
True
Let f = 3441/17 + -202. Let j = 12248.9 + -12248.8. Is f less than j?
False
Suppose -3*y + 85 = -203. Let q = -246 + y. Which is smaller: -2 or q?
q
Suppose 4*d - 29 = 7. Suppose h = -7 + 3, 0 = 2*x - 5*h - 16. Let a be d/42 - x/4. Is a less than 2?
True
Suppose 3*o + 3*w = 114, o + 113 - 127 = 5*w. Suppose 0*b - 3*b = -99. Let g = o - b. Which is smaller: g or 1/2?
1/2
Let m be -8 + 665847/166464 + (-10)/25*-10. Is 1 <= m?
False
Suppose -4*f - 8 = 0, 5*m + 4*f = 2*f + 24741. Let u be m/8379 + 2/(-9). Is u greater than or equal to -2/5?
True
Suppose 29*j + 71*j - 100 = 0. Which is smaller: -2/7783 or j?
-2/7783
Let y = -460.432 + 461. Let j = y - 4.568. Which is greater: -30 or j?
j
Let y be (8 - -1) + (-44)/4. Let f = -12.229 - -12.1. Which is smaller: f or y?
y
Suppose 4800 = -2042*b + 2027*b. Which is smaller: b or -319?
b
Suppose -a = -3*d - 151, 4*d + 5*a + 245 = -d. Let h be 2 + 1 - 3*(-3)/9. Suppose -3*j = h*j + 350. Is j at least as big as d?
True
Let l = 124 - 33. Let a = -90 + l. Let m be ((-2)/7)/((-88)/12). Is m less 