 be k(4). Is p smaller than -1/3?
True
Suppose -5*n - n = -18. Let l be n*3/54 - 3/(-18). Is 1 at most l?
False
Let u = -3.1 + -9.6. Let s = u + 13. Do -0.1 and s have different values?
True
Let c(b) be the first derivative of 2*b**3/3 - b**2 + b - 1. Let k be c(2). Suppose 2*d + 7 = p, -4*d + 17 + 11 = 4*p. Is p at least as big as k?
True
Let m be -1 - ((-14)/(-7) - 10) - 7. Which is smaller: -355 or m?
-355
Let h = -174 + 180. Suppose -5*o = h*l - l + 15, 3*l = -9. Let a = -59 + 355/6. Which is greater: a or o?
a
Let p be 1/(4/120*1). Let s be (216/p)/((-3)/(-20)). Suppose 3*g + s - 15 = 0. Is -11 less than or equal to g?
True
Let j(k) be the third derivative of -k**4/24 + 5*k**3/6 - k**2. Let w be j(9). Is w < -5?
False
Suppose 5*l - 14 = o, -5*l + 4*o + 11 = -0*o. Suppose -5*n - 23 = -l. Suppose 4*c - c + 12 = 0. Is c greater than n?
False
Let q = 10 - 5. Suppose 0 = 5*n - 5*l + 50, -3*n + q*l = -15 + 45. Which is smaller: -12 or n?
-12
Let q = -134 + 135. Which is smaller: 38/17 or q?
q
Let h = 4 + -3. Suppose -5*c = -3*a + 7, -c + h = -a - 0. Let f(j) = j**3 + 5*j**2 - 5*j + 9. Let w be f(a). Is w at most as big as 3?
True
Let j(l) = -l**2 + 2*l. Let s be j(3). Let i be (-2)/(-2)*(s + 2 + -2). Which is bigger: i or -30/17?
-30/17
Let i = 620.1 - 618. Let w = 145.9 - 155. Let x = w + i. Which is smaller: -1/3 or x?
x
Let x = 34.3 + -32.9. Let o = -21.3 + 20. Let l = o + x. Is l less than 0.06?
False
Suppose 3*m = -5*j + 72, 3*m - 38 - 22 = -4*j. Let p be ((-18)/10)/(5/(-25)). Let l be 13 + -3*6/p. Are l and j nonequal?
True
Suppose -41*w + 12 = -39*w. Let p be 2/w*(5 + 1 + -3). Is -2/203 at least p?
False
Let h(c) = 19*c + 1. Suppose -2*j - 1 = -9. Let b(s) = s**2 - 2*s - 9. Let m be b(j). Let y be h(m). Is -17 <= y?
False
Let w = -36 + 19. Let t(y) = -y**3 + 13*y**2 - 94*y + 1844. Let f be t(15). Is f > w?
True
Suppose 702 = 3*b - 2*x, 71*b + x = 69*b + 475. Is 235 > b?
False
Let h be 429/75 - (7 + -6 + 4). Is h bigger than 1?
False
Let u = 414 - 414. Is u bigger than -1/124?
True
Let o = 82176/36839 + 10/2167. Which is smaller: o or 3?
o
Suppose 6*z - 7 = -73. Let l = z + 71. Suppose 24 = 2*i + l. Which is bigger: 0 or i?
0
Let c = -35 + 37. Let l be 0*(c/(-6) - 6/9). Is 2 not equal to l?
True
Let k be (15/18)/((-110)/(-18)). Which is smaller: -1 or k?
-1
Let d = 140 + -227. Let f = d - -78. Is f at least as big as -44/5?
False
Let m = 7 + -9. Let r(j) = -j**3 - 7*j**2 - 6*j + 2. Let i be r(-6). Let v = m + i. Is v at most 1?
True
Suppose -5 + 11 = 2*l. Let b(w) = w**3 - 3*w**2 + 2*w - 3. Let i be b(l). Suppose 4*y - 5 = i, 20 = -5*q + 5*y. Which is bigger: -3/4 or q?
-3/4
Let d = -51 - -32. Let p be 312/117*(-10)/(-4)*-3. Let t = d - p. Is t >= 2?
False
Let p(b) = b**2 + 11*b + 12. Let i be p(-7). Let a(w) = w**3 + 17*w**2 + 18*w + 21. Let g be a(i). Is g at least as big as 1?
False
Suppose -2*n + 3*r = 46, 0 = -5*n - r + 17 - 98. Let p be n/(-7) - 18/42. Let h = 117.3 + -117. Is p bigger than h?
True
Let v(x) = 3*x - 7. Let a be v(5). Suppose -2*m + 8 = -a. Let f(d) = d**2 - 8*d + 1. Let u be f(m). Which is greater: u or 0?
u
Suppose 18 = -5*d - 7. Let y(n) = -2*n - 36. Let g = -5 - 10. Let f be y(g). Is f > d?
False
Suppose f - 8 = -5. Suppose 0 = -2*c - 5*q, 0*q = -f*q. Which is smaller: 5/8 or c?
c
Let w be -1 + (4 - 3)*-3. Let i be (8/112)/(1/w). Let m = 2 + -2. Which is smaller: i or m?
i
Let r = -1674 + 1674.3. Is r equal to 0.027?
False
Let f(w) = -w**2 + 22*w - 1. Let r be f(23). Let s be 138/r + (-12)/16. Which is bigger: s or -4/5?
-4/5
Let v = 117.2 + -120.2. Is 44 greater than or equal to v?
True
Let u be 1/(-2) - 186/(-12). Suppose 8*j = 7*j + u. Suppose -s + 2 = j. Is -14 != s?
True
Let a = 268 + -147. Which is smaller: 122 or a?
a
Suppose -8 = -4*c - 0. Let z(d) = d**3 - 6*d**2 + 3*d - 1. Let q be z(c). Let g = -10 - q. Which is bigger: -1.2 or g?
g
Let h = 492 + -847. Is -354 bigger than h?
True
Suppose -3*l + 4*f - 81 = 0, -2*l - 6*f - 74 = -2*f. Let n be 0 + (-89)/(-3) - -1. Let h = l + n. Which is bigger: h or -3?
h
Let r(f) be the third derivative of -f**6/120 - f**5/30 + f**4/6 + 2*f**3/3 - 19*f**2. Let v be r(-3). Which is smaller: -2/57 or v?
-2/57
Let o(m) = m**2 - 17*m - 37. Let q be o(19). Which is greater: q or 5/24?
q
Let l = -2.774 - -2.174. Is 26 at least l?
True
Let s = 711 + -4960/7. Let a be (-18)/(-12) - (-2)/4. Is s smaller than a?
False
Let r be 834/18 - (-1)/(-3). Let q = r - 53. Which is greater: -45/8 or q?
-45/8
Let p = -23/76 + 439/1482. Is p >= 0?
False
Let p = -683.08 - -683. Let l = 0.5 - -0.5. Which is greater: l or p?
l
Let j = -648 - -647. Which is smaller: -133 or j?
-133
Suppose 3*u = -5*m - 14, 22 = 5*u - 2*m - m. Which is greater: 30/17 or u?
u
Let z = -2451 + 3511. Is 1061 at most as big as z?
False
Suppose -19 = 4*w + 3*h, -5*w + 2*h - 16 = -2*h. Let d be (-9)/(5 - 59) + (-82)/24. Which is bigger: w or d?
d
Let r(m) = -m + 9. Let g be r(-5). Let i = g - 13. Let q = 0.6 - 0.9. Which is smaller: i or q?
q
Suppose 4*s - 17 = -z, 3*z - 38 = -4*s + 53. Is 253/7 greater than z?
False
Let y = -13 - -14. Which is greater: y or 4/29?
y
Let k = -39 - -39.366. Let q = k - 0.066. Are q and -0.9 non-equal?
True
Let i = 4.79 + -4.99. Are -193 and i equal?
False
Let n be (-15)/((-75)/(-70)) + 14. Let g = -3 + 2. Is g bigger than n?
False
Suppose 2*t + 4 = -5*i + i, 5*t - 4*i - 4 = 0. Suppose t = -15*b + 9*b + 114. Is 19 smaller than b?
False
Suppose 0 = 45*a - 51*a + 498. Is 83 < a?
False
Let p(i) = -2*i**3 - 124*i**2 + 2*i + 147. Let m be p(-62). Which is smaller: -2/5 or m?
-2/5
Let k = -0.03 - 0.11. Let m = 1 + -1.24. Let q = k - m. Is q smaller than 1/2?
True
Let p(m) = 15*m - 149. Let h be p(10). Which is bigger: h or 61/4?
61/4
Suppose 197 = -5*x + 2*t, -4*t - 221 = -188*x + 193*x. Is -41 < x?
False
Let f be 304/(-6)*((-495)/(-20))/(-11). Suppose 5*t = -f + 9. Is t at most -21?
True
Suppose -7 = -t - 4. Suppose 0 = 10*z - 7*z - 48. Let d = -16 + z. Is d < t?
True
Suppose 5*u + 0*r - 4*r + 8386 = 0, 1 = -r. Which is bigger: -1679 or u?
u
Let f be (-2 - (-3 - -4))/(2/14). Let y be 3/17*(-7)/f. Which is greater: y or 1?
1
Let j be (0 - 1 - -7) + -2 + 6. Let g be 6 - 64/10 - 106/j. Is g greater than -8?
False
Suppose -k + 12*y - 15*y - 1789 = 0, -5*k - 4*y = 8956. Which is smaller: k or -1791?
k
Let a = 150 - 170. Let q = a + 48. Is 26 greater than q?
False
Let h = -1307 + 1305. Is 38.8 smaller than h?
False
Let d be (-1 - 18/(-21))/(793/39). Is d greater than 1?
False
Suppose -3*h + 4*s = 83 + 42, 5*h + 4*s + 155 = 0. Let l be (6/h)/(6/(-160)). Are l and 5 equal?
False
Let f(o) = -o**3 + 23*o**2 - 27*o + 110. Let d be f(22). Is 0.2 >= d?
True
Suppose 3240 = 16*s - 26*s. Which is smaller: s or -323?
s
Let a = 1983 + -1983.1. Is -0.0096 at least as big as a?
True
Let y(a) = a**3 + 9*a**2 - 10*a - 6. Let k be y(-10). Let g(n) = 6*n + 55. Let u be g(-10). Which is smaller: u or k?
k
Suppose 4 = -d - 2. Let j be -1*(d - -3 - -4). Is j smaller than -2/13?
True
Suppose 3*r + 3*n = 6, -37*r - 5*n = -36*r - 2. Is r less than 5.99?
True
Let u be (4 + (-249)/18)*-1. Which is smaller: u or 9?
9
Suppose -2*r = 69*d - 66*d - 32, 5*r - 50 = -5*d. Let y = 136 + -865/7. Is d less than y?
True
Let g be ((-60)/90)/((-1)/3*-5). Let h(r) = -r - 6. Let a be h(-6). Which is smaller: a or g?
g
Let x = -9169 - -9164. Suppose 2*i = 21 - 3. Does x = i?
False
Let w = -0.11 - -5.11. Let u = -6.97 + -1.03. Let f = w + u. Is 1 less than f?
False
Let f be (3854 - 1)/(208*102/12). Let g = -12/221 + f. Is g at least 3?
False
Let c be ((8/(-2))/2)/(60/(-330)). Is 11 >= c?
True
Suppose 2*w - 2*t + 638 - 256 = 0, 2*w = -3*t - 357. Is w bigger than -186?
False
Let v = 63 - 63. Is v smaller than 18/97?
True
Let l(i) = 9*i + 1. Let f(k) = 22*k + 2. Let q(v) = 5*f(v) - 12*l(v). Let j be q(5). Let x = 1772.4 + -1772.3. Which is smaller: j or x?
x
Suppose 2*p = -2*j - 36, 13 + 20 = -2*j - p. Let x be ((-7)/(7210/8))/((-6)/j). Which is greater: x or 1/2?
1/2
Let d be (60/110)/(27*4/8). Is 1 > d?
True
Let g(u) = u**2 - 46*u - 40. Let i be g(52). Is 275 at least i?
True
Let d be -3*2*1/(-10). Let m(t) = 6*t + 14. Let g be m(-6). Let u = g + 24. Is u at most as big as d?
False
Let d = -99.9 - -100. Let t = 9.9 + d. Which is smaller: t 