10*k - 5*k + 30. Let i = k + 6. Let f be (-3)/6*(-5 + -1). Which is greater: i or f?
f
Suppose 3*f + 4*f - 840 = 0. Suppose -3*j + 354 = s, -s - 348 = -3*j - 4*s. Which is smaller: f or j?
j
Let g(d) = 210*d - 1357. Let i be g(5). Is i smaller than -11?
True
Let o(c) = -c**2 - 38*c - 980. Let q be o(-23). Which is bigger: q or -631?
-631
Let u = 564 + -553. Let b be -9 + u + (-3 - (-36)/39). Are b and -2/11 unequal?
True
Let u = -9 - -11. Let i = -2/2149 + 3459/1407595. Let h = 3266/5895 + i. Which is bigger: u or h?
u
Let l = -688/27 + 779585/30591. Is l greater than 1?
False
Let h(v) = 3*v - 15. Suppose 5*w = -3*i + 13, -3*w + 0*w + 1 = -5*i. Suppose -w*s = -0*s + c - 6, 4*s = 2*c + 28. Let k be h(s). Which is bigger: k or -3/44?
k
Let h be -3*951*(-5)/(-45). Let b = h - -306. Which is greater: -9 or b?
-9
Let c(l) = l**3 + 54*l**2 - 119*l + 58. Let s be c(-21). Is 17110 at least s?
True
Let p = -1119005/8178 - 3/1363. Is -2/3 != p?
True
Suppose 13*y - 3670 = -11665. Let n = -861 - y. Let q = -23123/94 - n. Is 1 greater than or equal to q?
True
Let n = 109 + -109. Suppose a + 69 + 32 = n. Is -101 not equal to a?
False
Let t = -396.81 + 399. Let c = 4.19 - t. Is -35 less than or equal to c?
True
Let y(c) = -c**2 - 18*c + 5. Suppose -19*n = -23*n - 44. Let q be y(n). Suppose s + 28 = -2*b - 4, -3*s - q = -b. Which is bigger: s or -27?
-27
Let h(k) = 2*k**2 + 23*k + 21. Let v(m) = 2*m**2 + 23*m + 21. Let x(u) = 5*h(u) - 4*v(u). Let p be x(-11). Is p > 2?
True
Suppose 2*h - 2*v = 3*v + 132, 5*v = 0. Let c be (0 + -1)/(-3 + h). Let g = 106/63 + c. Which is smaller: g or 2?
g
Let d(t) = -160*t**3 + 2*t**2 + t - 1. Let h be d(-1). Let r be (-192)/(-33) + -6 + h/33. Let u = r - 5. Is 1 greater than u?
True
Let h = 1.4328 + -1.1908. Which is bigger: h or 2/35?
h
Suppose 229*n = 5*o + 230*n - 757, 314 = 2*o - n. Let f(p) = 11*p**2 - 6*p + 1. Let v be f(4). Is o bigger than v?
False
Let q = 4452 - 4452.069. Which is smaller: q or -6/31?
-6/31
Let a = -48 - -68. Let d be 2/a*(-84)/(-14). Which is smaller: d or -33?
-33
Let w = 719 + -721. Let r be (11 - 9)/(0 - 38). Which is smaller: r or w?
w
Let b be (1/22)/((-20)/53500). Let i = b - -245/2. Let g be 1*-1*2/8. Which is greater: i or g?
i
Let i be (-422 + 7 + -6)/((-14)/(-4)). Which is bigger: -121 or i?
i
Let a = -6 + 2.8. Let t = a + 3. Let k = -7827 + 70441/9. Which is smaller: t or k?
k
Let x = 455 + -453. Let c be (-38)/((1 - 2)/1). Suppose -x*u - c = -0*u. Is -18 bigger than u?
True
Let a = -377 - -398. Suppose 0 = 30*f - a*f + 1089. Is f bigger than -120?
False
Let q = -6936/91 + 1083/14. Which is bigger: q or 2?
2
Let w(y) = -36*y + 55*y - 32*y + y**2 - 12. Let m be w(11). Let k = -34 - m. Is -2/35 greater than or equal to k?
False
Let j be -2 - (2/(-27) + -2). Let i be (-4)/(-14) + (-2)/21*24. Let d be -7*(-10)/140 - i/(-6). Is d less than j?
False
Let s = -246020 - -1233903/5. Which is smaller: s or 761?
s
Suppose 9*v = 7*v + v - 2175. Which is smaller: v or -2172?
v
Let x be (60/(-13) + 5)*59. Let b = -3079/91 + x. Which is smaller: -10 or b?
b
Let g = 1929 - 1804.1. Let r = 125 - g. Do r and -59 have the same value?
False
Let c = -612 - -585. Let x = 202 + -223. Which is smaller: x or c?
c
Suppose 0 = 80*y - 11*y + 6348. Is -52 less than y?
False
Let c = -2.136 - -522.136. Which is smaller: c or -4/11?
-4/11
Let s = -128 - -49. Suppose 0 = 4427*q - 4440*q - 39. Which is smaller: q or s?
s
Let s = -46 - -46.2. Let i = -0.043 + 16.043. Let w = i - 14.9. Which is bigger: s or w?
w
Suppose -93 = 8*z + 19. Suppose -237 + 913 = 4*a. Let k be 26/a + z/13. Which is smaller: -1 or k?
-1
Suppose 0 = -4*l - l + 115. Let n(d) = d**3 + 6*d**2 - 14*d - 30. Let m be n(-7). Is l bigger than m?
True
Let z be (9 - 6)/(-2568)*38. Is -1 > z?
False
Let d = 169.338 - 0.338. Let a = d - 160. Does 5 = a?
False
Let h be 20/(-40)*-4*(-1)/2. Let l be 1/473*(6 - 4). Is h greater than or equal to l?
False
Let u be 432/(-128) - ((-14)/49 + 57/(-42)*2). Let m = 0.557 + -0.59. Which is smaller: m or u?
u
Suppose 106 = 3*j - 4*v, -4*j = v - 132 + 16. Let n be (-5)/j*2404 + (-6)/(-9). Is -401 at most as big as n?
True
Let b = -0.14 - 44.86. Let y = -45.008 - b. Suppose 0 = 4*w - 3*u + 2*u - 2, 0 = 4*w + 5*u + 10. Which is smaller: w or y?
y
Let o be (26/6 + -5)*-3. Suppose -b - 86 = -o*h - 0*h, 0 = -4*b - 16. Suppose -40 = 2*m - 120. Is m bigger than h?
False
Let x(k) = -k**3 + 3*k**2 + 10*k + 6. Let u be x(5). Let s be 5353/(-117) - (u + -9). Let i = 498/13 + s. Which is smaller: -4 or i?
i
Let r be (-1 + 57/30)/(195/325). Are -1660 and r nonequal?
True
Let j be (-1)/3 - 1393/(-4170). Which is greater: j or 2/3?
2/3
Let i be (-23 - -11)*1*(-2)/4. Let a = -9 + i. Let o be (a/22)/(1/(8/18)). Which is smaller: o or 0?
o
Let z = -6768 + 236857/35. Suppose 0 = 14*g - 11*g + 5*u - 22, g = 3*u - 16. Is z bigger than g?
True
Suppose 25*v = 9*v. Which is smaller: v or 3712?
v
Let r = -1119 + 1162. Which is greater: -68 or r?
r
Suppose -10*o = -22*o. Let g be (-252)/(-130) - (3 - (-26)/(-10)). Let i = 166/91 - g. Is i not equal to o?
True
Let q be (-10)/3*-5*(-18)/(-15). Let c be ((-170)/q)/((-3)/18). Which is bigger: c or -6?
c
Let n be 4 + 7456/3828 - 18/3. Which is greater: n or -1?
n
Let q = -1.2 + 0.2. Let x = 1.195 - 1.195. Is x < q?
False
Let j = -0.14242 - -0.17442. Which is smaller: j or 4?
j
Let b = 76 - 73. Let o be (14/4)/(1/2). Let v be -2 + o/(-8) + b. Which is greater: v or 0?
v
Let o be 4 - ((-27513)/860 - 1). Let j = -52/215 + o. Let u = 37 - j. Is u bigger than 0.2?
True
Let v be (-877)/146 - (-261 - -21)/40. Let s = 0.11 + -0.01. Is s not equal to v?
True
Let s be -6 + 4 - 17/(-1). Let p(g) = g**3 - 14*g**2 - 16*g - 16. Let v be p(s). Let w be -2 + v*4/(-68). Which is greater: -1 or w?
w
Let f = -19497 - -19490. Is 252 greater than f?
True
Let q(w) = -6*w**2 - 199*w - 224. Let o be q(-32). Which is greater: -16/21 or o?
o
Let x(s) = -s + 3. Let i be x(-5). Let a = 181 + 8. Let o = -180 + a. Is o smaller than i?
False
Suppose 0 = 4*u - 4*w - 128, -2*u + 45 = 4*w - 7. Which is smaller: u or -1.9?
-1.9
Let w be 2*((-20)/(-5) - 2). Let u be 0 - (w - (-25)/10) - 3. Is u bigger than -2?
False
Let s = 420471/27829 + 14/1637. Which is smaller: 15 or s?
15
Let m = 358.44 - -5.56. Let y = -388 + m. Let k = 91/2 + -823/18. Is k < y?
False
Let j be (-9)/(42084/(-44)) - (9 - (1 - -8)). Is j <= -1?
False
Let r(p) be the third derivative of p**6/120 - 13*p**5/60 + p**4 + p**3/6 + 255*p**2. Let d be r(10). Which is smaller: d or -61?
-61
Let q(l) = -2*l + 3. Let j be q(-1). Let z(c) = 4*c**2 + 4*c - 12. Let p be z(j). Suppose -44 = 2*d - 3*x, -3*d + x = d + p. Is 1/2 at most as big as d?
False
Suppose 0*v + 204 = -12*v. Let a be (1 + 0 + -2)*v. Suppose a*y - 12*y - 5 = 0. Is 2/271 smaller than y?
True
Suppose 3*r + 13615 + 637 = 31*r. Which is bigger: 0 or r?
r
Let w = 109 - 202. Let d = w + 93.4. Let y be 15/110*(1 - -1). Is d at most as big as y?
False
Suppose 4 = -f, 4*r - 4*f = 23 + 13. Suppose -r*a - 17 = -32. Suppose -6*q - a = 3. Which is smaller: 2/185 or q?
q
Let h(k) = -k**2 - 6*k - 4. Let p be h(-7). Let m = -225 - -356. Suppose 54 = 7*s + m. Are p and s non-equal?
False
Suppose 2*x + 4 = 14, 5*x = b + 6. Suppose -2*q = b - 1. Suppose -5*m = -3*g + 4 - 47, -2*g + m = 24. Which is bigger: q or g?
q
Let p = -356 - -355. Let j = -76 + 233/3. Which is greater: p or j?
j
Let m be 281781/70478 + 4/(-1). Is 1 smaller than m?
False
Let z = 180.01796 + -0.01796. Suppose -25 = 5*a + 5*q, -19 = 5*a + 4*q - q. Which is smaller: a or z?
a
Let f = -570 - -1320. Let z be (-3)/(-9) + (-475)/f. Which is bigger: z or 23?
23
Suppose 4 = w, 5*y + 3*w + 2*w = -40. Let a be (8/y)/1*-39. Let j = 34 - a. Is 8 at least as big as j?
True
Let j(k) be the third derivative of k**5/6 + k**3/6 + 2*k**2 + 2*k. Let s be j(0). Is s smaller than -53?
False
Suppose -o + 6*o = 0, 2*n - o = -12. Let s be n/(-63) + -7 - -7. Is -3.3 at most as big as s?
True
Let n = -2619 + 2650. Which is smaller: -0.2 or n?
-0.2
Suppose 6 = -20*a + 23*a. Suppose -4 = a*k + 2. Let u = 38 + -39. Is k <= u?
True
Let d = -7 - 58. Let m = -25 - d. Let f(r) = -2*r + 20. Let t be f(-11). Which is bigger: t or m?
t
Suppose -8*a = 14*a + 44. Let g be ((-106)/13 + 6)*(-6)/(-4). 