ppose 2 = q + 6. Let h = q - -4. Let k = -29 - -553/19. Is h less than k?
True
Suppose 5*k - k + 20 = 0. Let r be 5/25 + -1 - 96/30. Is r >= k?
True
Let t(c) = -24*c - 2. Let h be t(-2). Let m = h + -44. Is 1 at most as big as m?
True
Let k(b) be the second derivative of b**4/12 + b**3/3 + 4*b**2 - 31*b. Let t be k(0). Are t and 9 non-equal?
True
Suppose -3*j + 4*k = 52, -4*j - 81 = 24*k - 27*k. Let c = -68 + 46. Which is bigger: c or j?
c
Suppose -2*z + 5*z = -81. Suppose 25 = -b - 0*b - 5*w, 4*b + 2*w + 100 = 0. Which is bigger: z or b?
b
Let z be (-24)/40 - (-122)/220. Which is bigger: z or -0.1?
z
Let i be 8/(-10)*1 + 7/40. Let x(f) = f**2 - 10*f + 9. Let k be x(9). Suppose k = -4*p - 2*v - 8, 2*v + 8 = 3*p - 8*p. Are p and i equal?
False
Let b = 20/103 - 77/927. Suppose 0 = 3*y - 15, -2*u - y = -u - 5. Which is smaller: b or u?
u
Let u = 42 - -20. Suppose -5*m + 3*m + u = 0. Let d = -13 + m. Which is smaller: 17 or d?
17
Let z be 48/(-22) + (52/44 - 1). Let c be (z + 0)*34/12. Is c < -7?
False
Let l = 23 + -18. Suppose l*w = 9*w - 16. Let a be 2 + 1*2/(-2). Is w greater than or equal to a?
True
Let v = 6 - 8. Let u be (1 - 0) + v + 6. Is u greater than or equal to 5?
True
Let u be 15/5 - (-96)/(-22). Let b = u - -21/11. Let m(d) = d**2 - 8*d + 2. Let c be m(8). Which is greater: c or b?
c
Let v(l) = l**3 - 5*l**2 + 3*l + 4. Let i be v(3). Let c(s) = s**2 + 6*s - 1. Let r be c(i). Let m be (-4)/(-4) + 2/r. Which is smaller: m or -1/2?
-1/2
Let t = -23 - -10. Let i = -8 - t. Is 3 >= i?
False
Suppose 0 = -3*p + 6 - 51. Let m = -1.07 + 0.07. Which is smaller: m or p?
p
Let c(n) = -10*n - 4. Suppose -7*l + 2*l - 15 = 5*a, -3*a = -3*l - 27. Let p be c(l). Let i be 58/p - (-8)/(-28). Which is bigger: i or -0.3?
i
Suppose 551*g = 542*g. Is g greater than -6/161?
True
Suppose 0 = 5*i + 2*g - g - 6, -6 = -3*i - 3*g. Which is smaller: i or 7/24?
7/24
Let s be (4 + 255/(-65))*-2. Let j(x) = x**3 + 4*x**2 - 4. Let h be j(-4). Let y = h - -3. Do y and s have the same value?
False
Suppose -2*c - c = -3*r - 9, 9 = 2*r + 3*c. Let m(u) = -u + 129. Let y be m(r). Let t be y/39 - (-1 + 4). Which is greater: t or 1?
1
Let b be 10/6 + (-4)/2. Suppose 9 = -6*x - 3*x. Let w be x/(-3) + 20/(-36). Is b at least w?
False
Let o = 3/7 - 23/21. Let s = -23 - -21. Which is smaller: o or s?
s
Let p = 2.033 - 0.033. Let w = -4 + 3.92. Let t = w + -0.02. Is t less than or equal to p?
True
Let i = 884627/289 + -3061. Which is bigger: i or 0?
0
Let q = -8887/40 - -1555/8. Suppose 2*c = 5*z - 138, -7*z - c + 141 = -2*z. Let i = z + q. Is -2 equal to i?
False
Let a be (77/28)/(2/8). Let p be (0 - (-4)/(-10))*-30. Is a at least as big as p?
False
Let x be 6/9*(-21)/6. Let j = 17/6 + x. Which is greater: 0 or j?
j
Let i(d) = -4*d**3 + 4*d**2 + d + 3. Let o(s) = -s**3 + s + 1. Let g(q) = i(q) - 3*o(q). Let j be g(3). Suppose -5*b + 25 = -0*b. Is j not equal to b?
True
Let a(c) = -c**3 - 5*c**2 - 2*c - 2. Let n be a(-5). Let r be (((-644)/n)/7)/(0 + -2). Is r < 5?
False
Let j = 366 - 438. Is -73 greater than j?
False
Let g(m) = m**2 - 11*m + 3. Suppose 3*d + 30 = 3*c, -3*c = 4*d - 3*d - 34. Let b be g(c). Which is smaller: 1 or b?
1
Let p(d) be the first derivative of d**2 + 3*d - 2. Let w be p(-2). Let i be 6 + (-1)/(8/72). Which is greater: w or i?
w
Let y = 386 + -385. Which is smaller: y or -7/67?
-7/67
Let r(f) = f**3 - 7*f**2 + f - 43. Let m be r(9). Are m and 130 unequal?
True
Let b(u) = u**2 - 10*u - 451. Let r be b(27). Is r not equal to 13?
True
Let s be 4/(-9) - 4416/(-4347). Which is bigger: -5 or s?
s
Let d be (-29)/(-15) + 1/(-3). Let t = 8 - -20. Suppose 31*l = t*l + 3. Which is smaller: l or d?
l
Let m = 0.0423 - 114.0423. Which is greater: 2/9 or m?
2/9
Let c(i) = 5*i**2 + 7 + 0 + 6 + 13*i. Let h(u) = 4*u**2 + 12*u + 12. Let z(a) = -3*c(a) + 4*h(a). Let t be z(-8). Which is greater: t or 2?
2
Let c be (2740/(-124))/5 - -5. Which is greater: 2 or c?
2
Let p = 40 - -94. Let x = p + -1207/9. Suppose -5*i + 6 = 1. Are x and i nonequal?
True
Let h be (-4)/(-21) - (-2 - -2). Let a = -1/7 - h. Suppose -2*z + 0*z - 4*r = -6, 0 = -5*z + 5*r. Are a and z unequal?
True
Let j = 527 + -2604/5. Let t = 57/10 - j. Let w be -2 + 1 - (-16)/12. Which is smaller: w or t?
t
Let w = 169 - 169.04. Is 3/50 bigger than w?
True
Let x = 0.95 - -0.05. Let k = x - 1. Suppose -3*c = o + 15, -4*c + 4*o = -c + 30. Is c not equal to k?
True
Let d be (-1)/(-3) + (-19)/(-171). Let m = d - -43/45. Are m and 0 non-equal?
True
Let a = -149.4 - -121. Let k = -28 - a. Let m be (-6)/1*4/6. Which is bigger: m or k?
k
Let j(z) = z**2 + z - 1. Let d(q) = 3*q**2 + 9*q + 4. Let h(a) = -d(a) + 4*j(a). Suppose 6*o - 28 = 8. Let b be h(o). Which is smaller: 0 or b?
b
Let g = -0.2 - 0. Let r = 0.1 + -0.07. Let z = -0.33 + r. Which is bigger: g or z?
g
Let q(z) = -15*z**2 + 11*z + 9. Let u be q(-1). Let s = -3 + -8. Let n = s + -5. Which is greater: n or u?
n
Let k = 91 - 77. Let o be (-8 - -11) + (-60)/k. Is -0.1 < o?
False
Suppose 3*d - 3*k + 504 = 0, k + 3*k = d + 156. Is d less than -171?
True
Let f be (165/(-25))/((-6)/(-210)). Which is bigger: -1152/5 or f?
-1152/5
Suppose -j = -4*f - 25, -3*f - 8*j + 5 = -4*j. Let l(u) = 10*u + 37. Let h be l(f). Is h less than -16?
False
Let z be (-7)/63*(-1 - (-20)/5). Is z bigger than -47?
True
Let d(j) = -2*j + 1. Let n be d(2). Let i be (28 + -10)*64/(-408). Is n not equal to i?
True
Suppose c = k - 192, -1 - 4 = -k. Which is greater: c or -188?
c
Let g(l) be the first derivative of -l**2 - 13*l - 6. Let x(i) = 6*i + 38. Let p(n) = 11*g(n) + 4*x(n). Let k be p(-6). Is k != -3?
False
Let y = 248.4 - 248.3. Let i = -15.5 - -12. Which is greater: y or i?
y
Suppose 2*g - 1 = -0*g - w, -2*g = -5*w + 17. Let x be 2/(-8) + g/(-4). Let f = -2177/5480 + -3/1096. Is x smaller than f?
False
Let n be 6/(-16) - (-43)/8. Let q(a) = a**2 + 7. Let z be q(n). Is 31 bigger than z?
False
Let t = 735 + -734. Which is smaller: -2/23 or t?
-2/23
Let q = -24 - -19. Let w be ((-1)/(-10) + 3/q)/2. Which is greater: 7 or w?
7
Let s(w) = -w**2 - 17*w + 20. Let v be s(-18). Suppose 0 = -10*g + 8 + v. Let y = -8016/35 - -229. Which is bigger: g or y?
g
Let i(z) = -z**3 + 5*z**2 + z + 11. Let l be i(5). Suppose -3*y = -4*y - 2. Let n be y/4 - l/(-56). Which is smaller: n or 0?
n
Suppose 20 = -5*m + 4*j, 15 = -3*j + 6*j. Suppose -5*u = h - 2*h, 5*h = 4*u + 21. Let i be (h/8)/((-3)/4). Which is smaller: i or m?
i
Suppose 8*d - 25 = -9. Suppose -12 = -3*y - 2*i - i, i - 5 = -d*y. Suppose 4*j - 2*x + 8 = 0, 2*j + 5*x - 2*x = 4. Is y less than or equal to j?
False
Let u be (9/(-1074))/(12/(-32)). Is -1 greater than u?
False
Let b be (-2)/8 - 1858/(-9928). Let p be (23/1679)/((-2)/(-8)). Let c = b - p. Which is smaller: -1 or c?
-1
Let u = 1022.04 + -1022. Which is smaller: u or 91?
u
Let d(i) = i + 22. Let r be d(11). Suppose -2*s + r = 27. Is 2 at least as big as s?
False
Let h be 14539/693 + -1 - (-2)/(-22). Are h and 20 equal?
False
Let f = -24/173 + 3301/2595. Which is smaller: f or 2?
f
Suppose -8 = -q - 5*i, 2*q + i - 13 = -2*q. Suppose 0 + 3 = -q*y. Let o be (-4)/(-10) - (-4)/15. Which is smaller: o or y?
y
Let h(v) = -v**2 + 7*v - 10. Suppose -16 = 2*l + 4*f, -l - 3*l - 2*f = 8. Suppose 3*c - 2*c - 5 = l. Let b be h(c). Which is greater: b or 1/23?
1/23
Let m(z) = z**3 - 13*z**2 - 9*z - 19. Let p be m(14). Let h = p - 58. Suppose -j - 3*j - 28 = 0. Is h at least j?
True
Let l(d) be the third derivative of -d**5/60 - 7*d**4/24 + 4*d**3/3 - d**2. Let c = -123 - -116. Let g be l(c). Is g less than or equal to 8?
True
Let h be (-96)/(-288) + 2/3. Is -197 > h?
False
Let f = -172 - 9. Do -178 and f have the same value?
False
Let c = -0.22 + 0.2. Let p = c - 1.98. Let z(s) = -s**3 - 6*s**2 - 5*s + 1. Let n be z(-5). Do p and n have the same value?
False
Let z = -34.2 + 34.2. Do z and 4 have the same value?
False
Let b(v) = 3*v**2 + 48*v + 357. Let a be b(-9). Is 168 at least a?
True
Let y = -247/469 - 3/67. Suppose 0 = -2*w + 3*w. Is w >= y?
True
Let g(z) = 9*z**2 + 5*z + 5. Let h(a) = 8*a**2 + 4*a + 4. Let k(f) = -5*g(f) + 6*h(f). Let n be k(-1). Let t be (-1)/(-33)*(n + -5). Which is greater: -1 or t?
t
Let l = -1392 - -1086. Is l bigger than -306?
False
Let n(u) = -21*u + 179. Let g be n(9). 