-1 >= k?
False
Let q = 55 - 49. Let y be (-99 + 59)/((-44)/q). Let f(g) = g**3 + 4*g**2 - 7*g - 5. Let o be f(-5). Is y > o?
True
Let g = -131096 - -131092. Let r = 10 - 20. Let c = r - -5. Is c smaller than g?
True
Let y = -3799.76 + -20.24. Which is bigger: y or 1?
1
Let h(c) be the third derivative of 11/60*c**5 - 19/6*c**3 - 2*c**2 - 1/3*c**4 + 0 + 0*c - 1/120*c**6. Let a be h(10). Which is bigger: a or 17/13?
17/13
Let x = -3460 + 3579. Which is smaller: x or 117?
117
Let s be ((-408)/510)/(24/50). Is 16/9 bigger than s?
True
Suppose -8 = -55*n + 51*n. Suppose p - n*c + 57 = 0, -292 = -12*p + 17*p - 3*c. Is p greater than -64?
True
Let w(n) = n**3 + 23*n**2 - 25*n + 23. Let p be w(-24). Let j(q) = -8*q - 6. Let t be j(-6). Suppose -b = t - p. Which is greater: -2 or b?
b
Let x = -369 + 4802/13. Let v = 28/39 - x. Is v at least as big as -196?
True
Let p = 3681 - 3682. Which is smaller: 42/127 or p?
p
Suppose 2*r + 98 = -5*s, -3*r - 66 = -14*s + 17*s. Let j be (((-4)/s)/(-2))/((-139)/834). Let n be (-2)/(-2) - (-3)/(-6). Which is smaller: j or n?
n
Let g = 4.1169 + -0.0469. Let h = -0.07 + g. Let q be (-2)/44*(-23000)/(-250) + 4. Which is smaller: q or h?
q
Let j = 4983 + -4835. Which is bigger: 7 or j?
j
Let m = -5661 - -5670. Is 3.71 < m?
True
Let u be (12/2)/(-3) + (-21)/(-21). Let y be 48213/396 - u*1/4. Which is bigger: 2 or y?
y
Let z = 0.028 - 0.086. Let f = 22 - 23. Let i be (f - 4/(-4))/(-3). Which is smaller: z or i?
z
Let b be 38/(-2 + 5 + -1). Let m = -10 - -4. Let g be (-35)/(-60) - m/(-24). Do b and g have the same value?
False
Suppose -87*v = -93*v - 19230. Is v smaller than -3205?
False
Let p = -0.02 - -0.092. Let o = 845 - 848.072. Let l = o + p. Are l and -3 equal?
True
Let u be -18*3591/1980 - (-1 + 5/2). Which is greater: -33 or u?
-33
Let t(d) = -d**2 + 31*d - 13. Let g be t(14). Let r be (2/(-5))/((-255)/g). Let p be -1*0/(-5 + 4). Are p and r equal?
False
Let h = 970.5 - 973.5. Which is bigger: h or -46/15?
h
Let m = -24003 - -53669/2. Is m at most as big as 2833?
True
Let g = -39 + 43. Suppose 76 = 3*m - 7*m - 4*d, -g*m - 91 = d. Suppose 72 = -5*i - 58. Is m >= i?
True
Let y = 0.2 - -6.6. Let d = y + 0. Let f = d + 1.2. Which is smaller: f or -2?
-2
Let i be (-22)/(-3)*72/132. Suppose -17*s + 16*s = -5*q - 23, -q + 8 = i*s. Is -23/7 at most as big as q?
False
Let d(p) = p**3 - 6*p**2 + 7*p - 8. Let m be d(5). Suppose 0*j + 5*z + 31 = -3*j, -4*z = 20. Let v be 0/(m + 2 + j). Which is greater: -2/7 or v?
v
Let v = 0.0071 + -1.0071. Is v >= 0.088?
False
Suppose 4*s - 4 = s - p, -2*p = s + 2. Suppose -3*a + 5*a + 2*i = 2, -s = -2*a + i. Let z be ((-42)/2)/(-3) - a - -2. Does 12 = z?
False
Suppose -9643*i = -9626*i + 884. Is -52 smaller than i?
False
Let d(p) = -p + 6. Let u(a) = a - 5. Let l(r) = 3*d(r) + 4*u(r). Let y be l(2). Let x = 6/5 + -136/105. Are y and x equal?
False
Let j = 133 + -130. Let o be (-1)/(-4) + (-4146)/(-1512) - j. Which is smaller: 1 or o?
o
Suppose 0 = -2*s + 5*s - 3. Let t(q) = q**2 - 15*q + 58. Let n be t(8). Suppose -3*r - n*i - 3 = 0, -4*i + 3 = -3*r - i. Is r >= s?
False
Let b = -29 - -18. Let c(f) = 2*f + 24. Let p be c(b). Let q be 252/(-72)*-4*(-3)/(-6). Which is greater: p or q?
q
Let x be ((-4)/5)/((-2)/175). Let n = 85 - x. Suppose 0 = 8*g - 12*g + 48. Is n greater than g?
True
Let k(a) = a**3 - 14*a**2 - 14*a - 12. Let n be k(15). Suppose 0 = 3*y + 4*o - 3, 2*o = -2*y - n*o + 2. Is y >= 2/665?
True
Let z = -83.749 + 203.97. Let d = z - 120. Let b = d + -0.121. Which is bigger: b or -13?
b
Let g = 2 - 0. Let b = 35.8 - -92.6. Let v = 129 - b. Is g bigger than v?
True
Suppose -5*p - 90 = -0*p. Let h be 6/(-2) - (-772)/(-3 - -7). Suppose 0 = 9*w + h - 46. Is w at most p?
False
Let y be (-20862)/10 + 5274/(-2930). Is y smaller than 1?
True
Suppose 0 = -45*d + 12*d - 936 + 8691. Is 1885/8 < d?
False
Let z = 67.6 + -67.5694. Which is bigger: -1/9 or z?
z
Let f = 559/3255 - 8/93. Let b be (2 - 1) + (-2 - 1)/(-1). Suppose 0 = b*l - 7 - 1, 5*s + l = 7. Which is smaller: f or s?
f
Let r = -324 + 351. Let d be (-676)/(-117) + (1 - 21/r). Which is greater: d or 9/2?
d
Let p be (-28)/42*63/21. Is -2939 at most as big as p?
True
Let d = -632/15 - 65/3. Let w = 6749/105 + d. Suppose 80218 = -60*c + 80218. Is c <= w?
True
Suppose 120 = -w - 4*w. Let q be 2*-2 - (4 - 5)*-5. Let l be (-28)/w*(-12)/q. Is l greater than or equal to 1?
True
Let t(i) = -i**3 + 23*i**2 - 41*i - 17. Let l be t(21). Suppose -4*j + l = 24. Let r(q) = q**2 + 5*q + 1. Let w be r(j). Is 2/85 greater than w?
False
Let i(x) = -225*x - 947. Let y be i(-4). Which is bigger: -6 or y?
-6
Let x(g) = 1476*g + 1004. Let l be x(-2). Is -5848/3 bigger than l?
False
Suppose 0*o = 6*o + 60. Let x be 3/(-17) - (10 + o). Let u = x - 7/153. Which is smaller: u or -1/4?
-1/4
Let m = -197 - -196. Let a = 1 + m. Let i be (-49)/100 - (-3)/12. Which is bigger: i or a?
a
Suppose 3*l - 11 = -2*i, -l + 5*l + 16 = 5*i. Let h = 0.1 - 1.2. Which is smaller: l or h?
h
Let l = -0.44 - 1.56. Suppose -45 + 385 = 10*d. Which is bigger: l or d?
d
Let c be (-1 - (-14)/6)/(46/276). Suppose 160 = 3*f - c*f. Let j = f - -33. Which is smaller: -8 or j?
-8
Let h = 7170 + -7169. Is h at most -4/293?
False
Let a = 0.3 - 0.4. Let m(x) = 860*x + 20870. Let f be m(-24). Which is smaller: a or f?
a
Suppose 942 = -19*t - 255. Let y be (-16)/3*t/210. Let c = -0.1 + 0. Is y less than c?
False
Let b be ((-3 + -2)/5)/((-6 - -9) + -2). Which is smaller: 2/14983 or b?
b
Let m = -23.07 + 22.86. Is -1.3 equal to m?
False
Let l be ((-292)/12)/((-3)/(-9)). Let a = l + 74. Which is smaller: -7 or a?
-7
Suppose g + 10 + 30 = -4*h, -5*h - 5*g - 65 = 0. Let p = h - -9. Suppose 3*b - 3*i + 42 = 0, 5*i + p*i = 25. Does -1 = b?
False
Suppose -4*i + 28 = -4*u, 4 = 4*u + 7*i - 3*i. Let o be 6/(-3)*(u - -2) - -2. Let b = o - 24. Which is greater: -1/2 or b?
-1/2
Suppose -4*c - 5 = 5*l - 9*c, -l = 4*c + 11. Let n be (3/l)/((4/(-10))/2). Suppose -k + 8*d = n*d - 8, -2*k = -4*d - 14. Is 19/5 smaller than k?
True
Let o be 80/56 - (0 - (-30)/21). Is -11/256 at most as big as o?
True
Let c = 901 + -11629. Are -10729 and c nonequal?
True
Let o be (-442)/6 - (-48 - -59). Is -84 not equal to o?
True
Let k = 1102 - 1102. Let i = 34 + -33. Which is bigger: k or i?
i
Suppose 518*t = 513*t - 4*w - 297, 0 = 4*t + 5*w + 243. Which is greater: -1/33 or t?
-1/33
Let c be (40/70)/(4/14) - -1. Suppose -c*b = -5*b - 22. Suppose -7*p - 45 = -2*p. Do b and p have the same value?
False
Let l(s) = -s**3 + 3*s**2 - 4*s + 15. Let a be l(7). Is a <= -1044/5?
True
Let b(t) = 4*t**3 - 14*t**2 + 40*t + 56. Let u be b(8). Is 1532 < u?
False
Let n = -912/73 - -45769/292. Which is greater: -2/7 or n?
n
Let t = 1224 - 1291. Which is bigger: t or -57?
-57
Let u(x) = x**3 + 11*x**2 + 16*x + 14. Let i be u(-10). Let k = -43 - i. Suppose 2*h - k*j + 27 = -0, 4*j = -h + 14. Is h smaller than -6?
False
Let f(o) = -6*o + 24. Let y be f(4). Suppose y = 38*q - 33*q - 195. Is q >= 39?
True
Let u(y) = 16*y - 22. Let b be u(-5). Let g = 104 + b. Is g not equal to 19/6?
True
Suppose 39243 = 4*i + y - 47221, 4*i - 3*y = 86480. Do i and 21618 have different values?
True
Suppose 264 = -47*g + 113*g. Which is greater: g or 396/83?
396/83
Let g = 0.1 - 0.1. Suppose 945 = 3*v + 309. Let s = -3182/15 + v. Is s <= g?
True
Let j = 1423 + -1458. Let g be (-2)/6 + (-321)/9. Which is smaller: g or j?
g
Let b(i) = -i**3 + 14*i**2 - 42*i + 15. Let x be b(7). Which is greater: 95 or x?
95
Let m = 762109/21 + -36291. Which is smaller: m or 338?
m
Let v be (-18 - 3)*(-8)/3. Suppose 2*i - 3*l - 116 = 0, 2*i + 0*i + l = 108. Which is smaller: i or v?
i
Suppose 3*y = -0*y + 135. Suppose 6*a - 33 = -y. Let h be (a + 0 + 8/10)*-5. Is 27/4 less than h?
False
Let h be ((-40)/20550)/(2/(-18)). Which is smaller: 0 or h?
0
Let x = 126 - 118.3. Let v = x - -0.8. Let h = -14.9 + v. Is -2/7 < h?
False
Let p = -62 + 60. Let c be p + -1 + 3 - -8. Let z be 7/2*(c - 2). Is 22 <= z?
False
Let b = 65 - 151. Let x(k) = k**3 + 99*k**2 + 71*k - 2726. Let c be x(-98). Is c equal to b?
False
Let r(c) = 3*c - 15. Let o be r(-11). Let y be ((-36)/(-80))/(4/o). Is -5 less than or equal to y?
False
Suppose -1694 = 124*w + 126*w - 236*w. Is w equal to 69?
False
Let w = 364 - 364.2