 l(p) = 247*p**3 - 2*p**2 + p. Let g be l(1). Which is smaller: 245 or g?
245
Let j = 0.1064 - 18.9064. Is j > 1?
False
Let h = 0.9 - -0.1. Let w = -79.2 + 78.2. Is w greater than or equal to h?
False
Let a be (-2)/(-7) + (5280/70)/(-12). Is a != -7?
True
Let n = -20.56 - -23.06. Is n at most -3?
False
Let i = 4423/190 + 236/19. Which is smaller: 37 or i?
i
Let m = 73.92 - 73. Let t = m - 1.02. Which is smaller: -4/15 or t?
-4/15
Let q = -5/113 + -859/1017. Suppose 4*f + 14 = -4*d - d, 2*f = 4*d + 6. Which is smaller: f or q?
f
Let g = 1650 + -1656. Is -17 bigger than g?
False
Let v = -5636/143 - -442/11. Let c(k) = -k**3 - 5*k**2 - 4*k. Let j be c(-4). Is v less than j?
False
Suppose -a - 10 = -2*q, 4*q = 3*q - 5*a + 5. Suppose 0 = -q*i + 12 + 13. Suppose i*k - 2*v = 6 - 1, 2*k - 2 = 4*v. Which is greater: 1/12 or k?
k
Let b(o) = o**2 + 2*o + 5. Let g be b(-5). Suppose -2*c - 8 = -4*n + c, -5*c = g. Let a be 2 + -5 - (n + -8). Which is smaller: 5 or a?
5
Let b(y) = y**2 - 21*y - 82. Let h be b(25). Which is greater: h or 19?
19
Let i be (-8)/(-16) + -3 + (1 - -1). Let o be 30/50 + (-1)/5. Is i < o?
True
Suppose 31 - 18 = 13*a. Is a greater than -6/115?
True
Let p = -0.68 - -0.18. Let h = -0.6 - p. Which is bigger: h or -15?
h
Let g = -1686.043 + 1685. Let r = g + 0.043. Which is smaller: 3/17 or r?
r
Let r(c) = 5*c - c**2 - 12 + 14 + c**3 + 6 - 9*c**2. Let w be r(9). Is 2/7 <= w?
False
Let v = -0.1093 + 0.0093. Which is smaller: -46 or v?
-46
Let s(a) = -5*a**3 + 10*a**2 - 5*a - 1. Let i(x) = -11*x**3 + 21*x**2 - 10*x - 2. Let n(w) = 6*i(w) - 13*s(w). Let t be n(-5). Is t <= -4/15?
False
Let l be ((-14)/(-4) - 3)*21. Which is bigger: 11 or l?
11
Let l = -161 + -299. Let f = -14259/31 - l. Is f > 0?
True
Suppose -2*a - c + 23 = 0, 5*a = a - c + 43. Let q be (-1 + 5/a)*-6. Let f be 15/(-5)*2/q. Is f < 15?
True
Let d = -18/43 + 1407/3053. Let v = d + -345/3124. Is 0 != v?
True
Let k = 12.72 + 2.08. Are -3 and k nonequal?
True
Let j be 31594/110 - (-2)/(-5). Suppose 0*w - 4*k = 3*w + 869, 0 = -w - k - 289. Let v = w + j. Which is smaller: 1 or v?
v
Let b = -38.975 + -0.025. Let l = -39 - b. Do l and -1/11 have different values?
True
Let d = -14 + 3. Let u = d + 8. Let k be -3 - (0 - ((1 - -3) + -3)). Is u smaller than k?
True
Suppose 0 = -2*a + 9*t - 10*t + 1, -5*a = -4*t - 9. Does 3/35 = a?
False
Suppose u + 2*u + 102 = 0. Suppose 4*l - 5*i + 135 = 0, 29 - 28 = -i. Which is bigger: u or l?
u
Let h(x) be the first derivative of -x**2/2 + 1. Let t be h(1). Let i be (-3 - (-3)/1)/3. Is t not equal to i?
True
Let u(q) = q**2 - 6*q + 6. Let d be u(5). Let s = -764/5529 - -10/97. Which is smaller: d or s?
s
Let p = -3 + 4. Let s be 2*((-111551)/98)/(-11). Let v = s - 207. Is p <= v?
False
Let r = 46 - 30. Let p = 39 - r. Which is smaller: 22 or p?
22
Suppose 4*v = -7*j + 2*j + 30, 4*v - 16 = 2*j. Suppose 2*x + 1 = -0*c - v*c, -3*x - c - 34 = 0. Which is smaller: 0 or x?
x
Let g(b) = -2 + 4*b - 3 + b**2 - 3*b**2. Let t be g(2). Let x be (-2)/6 - 119/21. Which is smaller: x or t?
x
Let p be 2*6 + (-18)/6. Suppose 0 = 3*r - 0*r - p, -3 = -4*g + 3*r. Suppose g*f + j + 3 = -3*j, 5*f + 3*j = -5. Are f and -3 equal?
False
Suppose 6*p - 1680 = 3*p. Which is smaller: 0.1 or p?
0.1
Let p(a) = -a**2 - 13*a - 31. Let g be p(-6). Suppose -g*f = -6*f - 10. Are 5 and f nonequal?
True
Let r = -21 - -9. Let k be r/(-105)*1/2. Which is bigger: k or -1?
k
Let b = 0.4 - -1.9. Let d = 4.71 - 0.41. Let s = b - d. Which is smaller: 7 or s?
s
Let i = -1427 - -1457. Which is bigger: i or 546/19?
i
Let s be (45/(-5))/(-1 - 0). Let h(w) = 2*w - 18. Let l be h(s). Is -1/86 at least l?
False
Suppose 1076 = 4*h + 2*i, 3*i + 6 = -0*i. Is 272 >= h?
True
Let b(s) = s**2 + 18*s - 37. Let f be b(-19). Which is greater: -12 or f?
-12
Let b = -1904 + 1914. Which is smaller: b or 41?
b
Suppose 2*q = -5*s - 24, -q - 5 = -0*s - s. Let i be 173/q + 12/(-42). Is -25 > i?
False
Let p be (6/(-10))/(11/(-55)). Suppose 2*f + 60 = 7*f + 3*o, -p*f = -2*o - 17. Let a = -4 + f. Which is greater: 2 or a?
a
Let k = 165 + -178. Suppose -3*w = 4*p + 63, -5*p - 2*w = 2*w + 80. Which is smaller: p or k?
k
Let g be (5/(10/4))/61. Suppose 2*z + 2*r - 6 = -12, -4*r = -3*z + 12. Which is bigger: z or g?
g
Let b = 109.9213 - -0.0787. Is b >= 0.2?
True
Let k(m) = -m**2 + m. Let w be k(0). Suppose -2*g + 3*t + 17 = 0, -5*t + w = -g - 2. Which is bigger: g or 14?
14
Let w be (-1263)/(-13) - 11*(-2)/(-143). Is 97 >= w?
True
Let r be 93/9 - (-4)/6. Let z = r - 11. Suppose 3*o + 26 + 4 = z. Which is greater: -9 or o?
-9
Let i(x) = 116*x**2 + 4*x + 25. Let h be i(-10). Let k be 5 + h/(-2150) - 2/(-5). Which is greater: -1 or k?
k
Let r = -6 + 6.14. Let q = r - 0.14. Which is greater: q or -1/5?
q
Let x = 1 + -11. Let r be (-4)/(((-3)/(-9))/((-2)/(-3))). Which is smaller: x or r?
x
Suppose -4*y + 21 = -55. Suppose 8*m - 223 = 3*m - 2*s, -m - 4*s = -41. Suppose m = 2*b + 3*q, 4*b - 99 + 24 = -q. Which is smaller: y or b?
b
Let k = -80 + 57. Let c = k + 36. Let v = 0.3 + -0.4. Which is smaller: v or c?
v
Let w = -836 - -580. Is -255 greater than or equal to w?
True
Let p = 88 - 92.4. Which is smaller: p or -0.4?
p
Let b(r) = 43*r + 6. Let t be b(2). Let m = 109 - t. Suppose 2*q = 5*q - 48. Which is greater: m or q?
m
Let y(r) = r**3 + 6*r**2 + 6*r + 4. Suppose z = -z. Suppose z = -v - l, -4*v - 8 = -2*l + 16. Let q be y(v). Which is bigger: q or 13?
13
Let f(a) = -2*a**3 - 4*a**2 - 4*a - 3. Let j be f(-2). Let n be 6*(j/(-15))/(-1). Is 1 <= n?
True
Let g = -111.9 - -114. Which is smaller: -5 or g?
-5
Let o(x) = -x**2 + 2*x + 3. Let w(g) = 6*g**2 + g - 1. Let z be w(1). Let b be o(z). Which is bigger: b or -20?
-20
Let g be (2 + 2)/(2 + 0). Suppose g*l - 5*c = -11, 0*c = 5*l - 4*c + 2. Suppose -5*w = -5*r + 20, -4*r + 3*w = -18 + 4. Is l at least r?
True
Suppose 2416 = 13*a - 4604. Which is greater: a or 539?
a
Let y = 358 + -359. Which is smaller: y or 1/42?
y
Let n be (4/(-3))/((-116)/(-87)). Which is bigger: n or -4/57?
-4/57
Let j(p) = -p - 9. Let s be j(-6). Let q be 90/(-105)*(-4)/s. Which is smaller: q or 0?
q
Suppose -3*n = n + 4. Let k = -23 + 12. Let l = -23/2 - k. Is l equal to n?
False
Let l = 247.9 + -248. Are l and 3/7 unequal?
True
Let g = -1841/19 - -97. Suppose k - 3 = -6. Is g bigger than k?
True
Let d be 4732/35 - (-2)/(-10). Let v be 3 + 141/d + -4. Let t = v - 77/45. Which is smaller: t or -2?
-2
Let t be -2 + (0 - 0) - -1. Suppose 2*p + 0*p = -4, b + 34 = -4*p. Let m = 26 + b. Are m and t equal?
False
Let i(m) = -2*m**2 - m**3 - 5*m**2 + 3*m**2 + 3*m**2 - 2*m - 3. Let y be i(-2). Suppose -3*a - 3*u + 6 = 0, -5*a + 22 = u - 2*u. Which is bigger: a or y?
y
Suppose -6 = 3*z + 5*a, 0 = 2*z + 5*a + 2 + 7. Suppose -52 = -5*o - 5*i + z, -3*o + i + 17 = 0. Which is greater: 8 or o?
8
Let v be (-2)/(-1) - (-3)/((-3)/2). Suppose 7*m - 144 + 599 = v. Is m > -66?
True
Let t be (9/(-12))/((-21)/56). Suppose -t*y - 13 + 9 = 0. Is y at least as big as -2?
True
Let m(h) = h**2 - 33*h + 1. Let q be m(33). Is 9/139 at most q?
True
Let i(g) be the third derivative of g**6/120 - g**5/10 - g**4/4 + g**3/6 - 6*g**2. Let v be i(7). Which is bigger: v or 9?
9
Let l be (2/(-4))/(14/(-140)). Let g be (4 - 32/20)*10/4. Is l less than or equal to g?
True
Suppose -4*y = 4*v - v - 12, 4*v + 9 = 3*y. Let q be 6114/(-8)*5/30. Let s = q + 128. Which is bigger: s or v?
s
Suppose -4*l = -156 - 168. Let s be 8/9 + (-18)/l. Is -1 > s?
False
Suppose -4*v + 20 + 0 = 0. Suppose -v*h + 6 = 36. Is h >= -8?
True
Let l(n) = 53*n - 628. Let q be l(12). Which is smaller: q or 33/4?
q
Let h = -725 - -669. Is -45 greater than or equal to h?
True
Suppose -12 = 4*p - 8. Let o be 111/12 + p - 5. Is 3 > o?
False
Suppose 38*v + 3*b = 41*v, 5*b - 2 = 3*v. Let u = -123 - -1847/15. Is u > v?
False
Suppose 0 = -4*n + 2*o + 3*o + 347, 3*n + 3*o - 240 = 0. Let r = -83 + n. Let d = 0 - 0. Is r > d?
False
Let c = -3393/1400 - 1/200. Let f = c - -769/308. Is f at least -1?
True
Let m(i) = -2*i**2 + 11*i + 13. Let l be m(6). Let k = l - -15. Which is smaller: 23 or k?
k
Let q be (-135)/(-1)*-1*(-2)/3. Suppose -11*v - q = -v. Which is greater: -8 or v?
-8
Let z(y) = -2*y - 11. Let x be z(-5). Are x and 1/123 equal?
False
Let t be 8 + -1 - (-80)/(-10 + 0). Wh