((-1)/18*3)/((-44)/(-330)). Is l bigger than j?
True
Let t = -102 + 209. Let h = -103 + t. Which is greater: 0.2 or h?
h
Suppose c = 6*c - 1500. Suppose 0 = -4*g - p + 240, -g + p = 4*g - c. Let x = 6587 + -6527. Is x bigger than g?
False
Let v be 327670/(-124)*24/(-98). Is v >= 648?
False
Let h be 4389/456 - (9 - 1). Which is bigger: 1 or h?
h
Suppose -17*r + c + 1 = -18*r, -4*r + 3*c - 25 = 0. Which is smaller: r or 2/1567?
r
Let v = 10.66 - 0.06. Let h = -11.4 - v. Is 0.2 not equal to h?
True
Let w(c) = 5*c + 13. Let n(p) = 14*p + 38. Let u(q) = -6*n(q) + 17*w(q). Let f be u(8). Is -1/76 >= f?
False
Let h = -16.4 - 0.6. Let t = -26 - h. Let p = 368/5 + -74. Is p bigger than t?
True
Let k = -15.37 + 18.4. Let s = 0.23 - k. Let j = -3.7 - s. Which is smaller: j or -3?
-3
Let c be 458/((24/42)/((-12)/(-42))). Is c greater than 232?
False
Let j(s) be the second derivative of 3*s**3 + 17*s**2/2 - s + 14. Let k be j(-1). Is k >= -2?
True
Let l be (15/(840/16))/((-15)/35). Which is greater: 0.2634 or l?
0.2634
Let t be ((-48)/396*-11)/(1/(2 - 77)). Which is greater: -95 or t?
-95
Let v = -670 + 547. Let w be (8 + (-2 - 0))*(-61)/3. Which is smaller: w or v?
v
Let l(s) = 74*s - 39*s - 1 - 39*s. Suppose -16*w - 65 = -1. Let n be l(w). Are 2 and n equal?
False
Suppose 8*l = 4*l - 20. Let f = 5 + l. Let z be ((-3)/(-99))/(((-280)/(-64))/35). Which is smaller: f or z?
f
Let d be (-11130)/175 - -64 - 542/(-45). Let a = 0 - -13. Is a not equal to d?
True
Let j = -26451 + 26034. Which is smaller: -0.23 or j?
j
Suppose 0 = -2*h - 2*h - 8. Let f(b) = 4*b**2 + 17*b - 3. Let g be f(-8). Suppose -g - 4 = 11*d. Which is smaller: d or h?
d
Let p = 686 - 442. Let m = 351 - p. Which is smaller: 104 or m?
104
Let x(b) = b**2 + 7*b + 5. Let i(u) = 2*u + 10. Let q be i(-8). Let s be x(q). Suppose 2*m = -366*t + 363*t + 15, 5*m = -3*t + 42. Is t equal to s?
True
Let r be (-10)/(-70)*(-585)/(-4 - 1). Let v(h) = h**3 + 8*h**2 + 8*h - 10. Let l be v(-7). Let d = l + r. Is -0.36 less than d?
True
Let d = -9117/4 - -2280. Is -0.04 at least d?
False
Let b = 50/218403 - 199887529/1092015. Let j = b + 1327/9. Is -35 less than j?
False
Suppose 4*o + 3*r = 23, -11*o + 10*o = -3*r - 17. Let b(c) = 4*c - 26. Let i be b(7). Let m be i/(-4) - (-66)/12. Which is bigger: o or m?
o
Let k(p) = 8*p**2 + 3*p + 1. Let h be k(-2). Suppose 0 = 5*x + 2*y - 121, -h = -x - 12*y + 13*y. Are 25 and x non-equal?
False
Let c(q) = -32*q**2 + 29*q + 47. Let b be c(17). Which is smaller: b or -8709?
-8709
Let s be ((-22720)/(-324))/5 - 14. Is 80 at most s?
False
Let h = 18654 - 69254/3. Let s = -4359 - h. Is s bigger than 73?
False
Let v = 80 - 71. Suppose j = -2*l + v, -7*l + 3*l = -j - 3. Suppose 0*r - l*y - 10 = -2*r, r + 4*y = -20. Does r = 0.58?
False
Let m = 965 + -1030. Let g = 59.106 - 0.106. Let o = m + g. Is o less than -4/9?
True
Suppose -3*p - 9 = 0, -2*p + 5*p + 15 = h. Let l be (h/2 - (9 - 8)) + -2. Are l and -49 unequal?
True
Let f = -50/3 - -17. Let s = -13715 + 13765. Is s not equal to f?
True
Let b(x) = 186*x - 172. Let a be b(-3). Which is smaller: -2 or a?
a
Let m = -59/90 - -163/180. Which is bigger: m or -0.418?
m
Let u be (194/(-6) + 1)*(-141)/94. Does 39 = u?
False
Let k = 35885556 - 112178246497/3126. Let o = -2/1563 - k. Is o greater than 167?
False
Let h = -0.4 + -0.2. Let q be (-1233)/(-12) + (-5)/(-10). Let o = q + -104. Which is smaller: h or o?
o
Let t = -281020.207 - -280782. Let l = 238 + t. Which is greater: l or -2?
l
Let d = -3/1418 + -24807/338902. Does -1 = d?
False
Let k = 66.72 + -711.72. Is 2 less than k?
False
Suppose 5*r = -178 + 193. Let t = -2 - -8. Let f be ((r/9)/(-1))/(1/t). Which is smaller: -6/5 or f?
f
Let k(g) = 38*g**2 - g + 1. Let s be (5 + (-1 - 2))/(-2). Let b be k(s). Let m be 3*(2 + b/(-3)) - -1. Are -33 and m equal?
True
Let c be (-102)/(-8)*(-288)/(-54). Suppose -i + c = -2*w, 6*w + 263 = 4*i + 7*w. Which is greater: 3 or i?
i
Suppose 10 = -11*j - 1. Let n be (j/(8/(-18)))/(7/84). Suppose 38 = r + 4*h, -3*r + 3*h + 69 + 0 = 0. Which is smaller: n or r?
r
Suppose -28*f + 30*f + 2 = -4*a, -2*f - 2 = 3*a. Suppose -4*r - 11 = 33. Which is greater: a or r?
a
Suppose 3*p = 2*f + 367, -p + 78*f = 76*f - 129. Suppose -12*z + 11 - p = 0. Let o = -3905/152 + 310/19. Does z = o?
False
Let h = 25 - 24. Let b(d) = d + 1. Let t be b(h). Suppose 2*f - t = 3*f. Is -11/5 <= f?
True
Let p = -1294/59 + 44723/2596. Is -4 less than p?
False
Let s be -70 - -64 - 1802/(-339). Let a = -4/755 - 1058/85315. Let n = s - a. Are n and -0.2 non-equal?
True
Let k(p) = 6*p**2 - 121*p - 36. Let b be k(21). Is 73 < b?
False
Let p = 21.482 - 13.932. Is p greater than or equal to 5?
True
Let q = -168 + 269. Let f = q + -69. Let n = -31 + f. Is n at least -30?
True
Let c = -4 - -6. Suppose -u + c*u + 4*n - 69 = 0, 0 = 2*u - 2*n - 158. Let g be ((-13)/91)/(6/u). Which is smaller: g or -2?
-2
Let r(h) = -449*h - 4870. Let m be r(-6). Is m at least -2178?
True
Suppose -4*c = -107*l + 106*l - 5, -18 = -3*l + c. Does 197/30 = l?
False
Let f = 1759.8 + -1206. Let c = f - 554. Is -25.3 at least as big as c?
False
Let g(t) = 3*t + 111. Let l be g(-35). Let v(u) = u**3 - 6*u**2 - 2*u. Let x be v(l). Is -12 bigger than x?
False
Let n be (-4)/(-18) + 7/9. Let h be (-2603)/(-646) - 1/(1/4). Is h >= n?
False
Let d = 1/451970 - -1208680772/225985. Which is bigger: 5348 or d?
d
Let n be (403 - -3) + 8/(9 - 5). Let k = n - 502. Are -3 and k equal?
False
Let m = -21.915 - 0.585. Let p = m + 23.2. Is -9/2 bigger than p?
False
Let p = 4775/14807 + -21/67. Which is smaller: p or 1?
p
Let s(c) = 9*c + 7. Let n be s(-7). Let r(y) = -6*y**2 - 4*y + 4. Let b be r(1). Let q(k) = -2*k**2 - 4*k - 9. Let f be q(b). Do f and n have the same value?
False
Suppose -10 = 3*o - 40. Let u be o/50 - (-2838)/10. Let k = 8805/31 - u. Which is greater: k or 0.1?
0.1
Let d = -0.0073 - 47.9927. Which is smaller: d or -10?
d
Let q = -8 - -15. Let i(f) = -6*f**3 + f**2 + 12*f. Let w(r) = r**3 + r**2 - r + 2. Let k(s) = i(s) + 5*w(s). Let j be k(q). Which is bigger: j or 9?
j
Let y = -82054 + 414956/5. Which is smaller: 938 or y?
y
Let k(z) = -30*z - 151. Let p be k(-16). Let m = 315 - p. Is -113/9 smaller than m?
False
Let j = -1 + 3. Let a = 17375/4 + -34735/8. Which is smaller: a or j?
a
Let p be ((-1)/(105/(-102)))/(948/68 - 14). Which is bigger: p or -16?
-16
Suppose 4*z + 6631 = 2114*o - 2117*o, 0 = -4*o + 3*z - 8858. Is -2211 != o?
True
Let g be (836283/98)/(2 + 21/(-6)). Which is smaller: -5691 or g?
-5691
Let z be 2/10 - 5496/(-120). Suppose 8*p - 125 = 3*p + x, z = p + 4*x. Let l be p/91 - 158/406. Is l bigger than -1?
True
Let c = 3121 + -3986. Which is bigger: -869 or c?
c
Suppose 4 = d - 4*a - 5, -3*d = -4*a - 19. Suppose -d*c - 4*t = -58, -4*t - 54 = -5*c - 12. Suppose 2 = -c*r + 262. Which is greater: 25 or r?
r
Suppose -4*p = 4*p - 40. Let q(i) = -i**3 + 4*i**2 - 4*i + 38. Let v be q(p). Is v smaller than -7?
False
Suppose -f - 4*h = 124 + 372, -10*f = h + 4843. Is f at most -0.01?
True
Suppose 566*n + 288 - 1 = -3109. Is -330 at most as big as n?
True
Suppose -5*b + 1407 = -918. Let x be 0 + (-626)/b + 440/330. Which is greater: x or 0?
0
Let y = 3.627 - 3.6. Let g = y - 8.027. Let d = 0.18 + 0.82. Is g greater than d?
False
Let w be -17 - ((-1512)/300 - 12). Are 3/161 and w nonequal?
True
Let x = 581082/199 - 2920. Is x at least as big as 1?
False
Let j be (-4)/(-6)*(-267)/(-2). Let p be (((-71645)/92)/(-35))/(1/4). Is j equal to p?
True
Let a(i) = -i**2 + 2*i + 11. Let v be a(-5). Let t(y) = y**3 + 22*y**2 + 22*y - 1. Let p = 77 + -98. Let n be t(p). Which is smaller: v or n?
v
Let h be 7/112*((-20)/6 + 2). Let q(y) = y. Let z be q(5). Let x be -5*(2 + (-11)/z)*0. Is h <= x?
True
Let p(j) = 2*j**2 + 20*j + 29. Let a be p(-8). Let n be (13 + -3)/((-85)/25 - a). Is -28 at least as big as n?
False
Let z(t) = 13*t**3 + 23*t**2 + 24*t + 49. Let s(m) = -3*m**3 - 6*m**2 - 6*m - 12. Let j(d) = 9*s(d) + 2*z(d). Let c = 58 - 66. Let n be j(c). Is n > 38?
False
Let y = 2268 - 2267. Which is smaller: 2/4591 or y?
2/4591
Suppose -6*r + r + 1640 = 0. Let y be 8 + -12 - (-325 + -7). Is y > r?
False
Let t(c) = 21*c + 41. Let n(l) = 10*l + 20. Let h(f) = -5*n(f) + 2*t(f). Let r be h(-3). Suppose r = -4*z + 6. Whic