 o = 49.3 + 5.7. Is 3 bigger than o?
False
Suppose -2*o + 5*l - 2*l + 1162 = 0, -4*l - 2891 = -5*o. Is o greater than or equal to 575?
True
Let q(c) = c**2 - 3*c - 1. Let v be -13 + 2*(0 - 1). Let i be 6/v - 34/(-10). Let f be q(i). Is 0 not equal to f?
True
Let f(n) be the third derivative of 5*n**4/24 + 6*n**3 + 40*n**2. Let z be f(0). Which is smaller: z or 35?
35
Let m = 0.077 - -0.933. Let i = -0.91 + m. Is -7 equal to i?
False
Suppose -2 + 3 = -v. Let p = -1 - v. Is -2 less than p?
True
Let v(m) be the third derivative of m**4/24 - 8*m**3/3 - 8*m**2. Let h be v(15). Is h at least -1?
True
Let y(r) = -r**3 + 30*r**2 + 138*r - 66. Let j be y(34). Which is smaller: 64 or j?
j
Let z = 3021340 + -3849186925/1274. Let h be -1 + 389/98 - 3. Let m = h + z. Are 1 and m equal?
False
Let z = -0.383 + 0.283. Is z at most 1/214?
True
Let l be (-2)/3 - 30/(-18). Let p be 1 - (l + 3 + -4). Which is smaller: 0 or p?
0
Suppose -5*h = -h. Let c(o) = 6 - 4 + h - 2*o. Let b be c(-1). Is b at most -0.3?
False
Suppose -u = u - z - 6, -4*u + 3*z = -14. Let j(p) = 9*p - 5. Let y be j(u). Let l = y + -13. Is l greater than 2/5?
False
Let t(b) = b**3 - 3*b - 2. Let w be t(-2). Let c(l) = l**2 + 5*l - 3. Let d be c(3). Let h be (-84)/8*9/d. Is h at most as big as w?
True
Suppose 22*m + 17*m = 47*m. Which is greater: -1/88 or m?
m
Let s(l) = -l**3 - 5*l**2 + 43*l + 187. Let k be s(-5). Which is bigger: -85/3 or k?
k
Let t be 0 - (-5)/(5/(-6)). Let n(w) = w**3 + 5*w**2 - 9*w - 2. Let m be n(t). Which is smaller: 13 or m?
13
Suppose -28 - 4 = -4*b. Suppose -3*h - b = 121. Is -43 bigger than h?
False
Let d(n) = 46*n - 27. Let h be d(13). Is 573 at most h?
False
Let c(k) = -7*k**2 + 9*k. Let p be c(1). Let s(r) = -r**2 - 13*r + 9. Let d be s(-13). Is p smaller than d?
True
Suppose 0 = 74*k - 115 - 33. Which is smaller: 5 or k?
k
Let l = -0.2 + 0.3. Let s = -2.33 - 123.67. Let w = s + 127.5. Which is greater: w or l?
w
Suppose k = 4*r + 3, -2*r - 5*k = -0*k - 15. Let s = -578 + 577.89. Is s <= r?
True
Let h = 783/88 + -102/11. Which is smaller: 0.26 or h?
h
Let v = 40 - 21. Suppose 0 = -4*o - 25 - v. Let g be (4*(-3)/(-12))/((-2)/20). Which is greater: o or g?
g
Suppose v + 3*c = 40 - 151, -c = -3*v - 353. Are v and -0.2 unequal?
True
Let m(c) = -13*c + 27. Let d(z) = 6*z - 14. Let o(i) = 7*d(i) + 3*m(i). Let u be o(6). Which is bigger: u or 2/23?
u
Let t = -138639/349160 + 33/1624. Let v = 1/43 - t. Which is smaller: v or -1/34?
-1/34
Let d be 99/(-6)*4/(-18)*3. Let g = -14 + d. Which is greater: g or -2?
-2
Suppose 0 = 2*c - 3*y + 1, 0 = 5*c + y - 23. Let r(g) = -4*g + 1 + g**2 + 9*g - 2 + c*g. Let a be r(-9). Which is greater: a or -1/22?
-1/22
Let i be 1379/(-35) + (-2)/(-5). Let w be (-6 - -3 - -4) + i. Let o be 2/(-4) + w/(-68). Is o greater than 1?
False
Let o = 829 + -830. Is 5/43 less than o?
False
Let x = -0.048 + -0.23. Is -0.1 smaller than x?
False
Let o = 0.2 + -0.1. Let h(u) = -2*u - 20. Let j be h(-8). Let a be j/(-12)*12/34. Which is bigger: o or a?
a
Let k be 21/(-49) + 2/(28/(-106)). Is 0 less than or equal to k?
False
Let r = 1063/7 + -11399/77. Which is bigger: 5 or r?
5
Let n = -1733 - -58911/34. Let w = -53/374 - n. Is 0 < w?
True
Let i = -2 - -16. Let k be 10/i - (5 - 111/21). Are k and -2/97 non-equal?
True
Let r = 38 + -141. Let v = 95 - r. Let u = 605/3 - v. Is u at least 3?
True
Suppose -43*n = -39*n + 5*j - 19, 4*j = 3*n - 53. Let f be 0 + 96/10 + 1. Is f at least n?
False
Let s = -12 - -2. Let a = s - -23. Let z be 0 - (-2)/(-4)*-26. Is a bigger than z?
False
Let x = -0.258 + 0.048. Let w = x - -0.4. Let s = 0.61 + w. Is s bigger than 2?
False
Let x = 14 + -13.48. Let n = x - 0.7. Let y = n - 0.82. Are -1/4 and y nonequal?
True
Let w(n) = -n**2 + 23*n - 28. Let u be w(17). Let k = u + -69. Which is smaller: 0.01 or k?
0.01
Let y = -9756 + 9713.99. Let d = 42 + y. Let c = 0.3 + 0.7. Which is bigger: d or c?
c
Let n be 8/22*(210/(-204) - -1). Which is smaller: n or 0?
n
Let z = 0.0829 - -0.0671. Is z at least as big as 1.8?
False
Let q = 129/10 - 12007/930. Suppose -17*z = 15*z - 32. Is z at most as big as q?
False
Let a = 5/14 + 80/21. Suppose 0 = 20*j - 21*j + 3. Is a greater than j?
True
Let b(g) = 8 - 11*g - 10*g + 16*g. Let u be b(6). Is -21 > u?
True
Let j be (32/(-100)*-5)/((-4)/30). Which is smaller: -11 or j?
j
Suppose -3*s - 960 = -3*z, 15*s + 1259 = 11*s - 3*z. Is s != -317?
False
Suppose 0 = -p + 10*p - 909. Let z = -63 + p. Is z <= 39?
True
Let k(r) = -r**3 - 9*r**2 + r + 6. Let z(j) = j**2 + 7*j + 1. Let a be z(-5). Let h be k(a). Which is greater: 0 or h?
0
Let x = 2090 - 1631. Does x = 457?
False
Let y be (1 - (-3 - 1)) + 0. Suppose -y*f + 48 = -62. Let g = f - 17. Which is bigger: g or 4?
g
Let j be ((-3)/(-9))/(2/(-6)). Let n = 2 + j. Let r = -228 - -229. Is n != r?
False
Let w(h) = 7*h - 75. Let v be w(11). Suppose -8*n - 36 = -6*n. Is v >= n?
True
Suppose 106*d - 114*d = -8. Let o(z) = 3 + z - 2 - 5. Let s be o(5). Is d equal to s?
True
Let r be (2/(-42)*3)/((-4)/(-40)). Which is smaller: r or 0?
r
Let b = 50 - 137. Which is smaller: b or -88?
-88
Let x = -0.076 - -0.052. Let i = x + 5.024. Which is greater: 1/3 or i?
i
Let t = -4.45 + 4.41. Which is bigger: -1/3 or t?
t
Suppose -4*h - 6 = -6*h. Suppose -2*o + h*d + 69 = -o, -12 = 4*d. Let g be ((-4)/3)/(o/36). Which is greater: 0 or g?
0
Let s = -0.04 + -0.36. Let f = 0.6 - s. Which is bigger: -0.4 or f?
f
Suppose -t + 37 - 8 = 0. Suppose -t = 4*d - 4*z + 7, -z - 11 = 3*d. Let k be (-15)/d - 119/39. Do k and 0 have the same value?
False
Let d be (2 + -1)/((-10)/(-2)). Suppose u + 4*k - 10 = 0, 4*k - 7 = -4*u + 33. Suppose 0 = u*r - 6*r. Which is smaller: d or r?
r
Suppose z - 7*z = -6. Which is bigger: z or 5/27?
z
Let g = -29 - -55. Let c = g - 24.9. Let t = c - 1.2. Is t > -1/2?
True
Let x = 486 - 1444/3. Suppose -17 = -q - 12. Which is greater: x or q?
q
Let u(i) = -i**3 - 2*i**2 + 3*i. Let f be u(-3). Let j be (-1)/(-2)*(-10 + f). Let c be j/2*6/5. Which is bigger: -12/7 or c?
-12/7
Suppose 35 - 11 = 3*p - 5*f, 0 = -5*f. Suppose 5*c = -p + 33. Suppose -c*x + x - 8 = 0. Is -2 equal to x?
True
Let b = -6 + 11. Let x be 4 - (15 + 0)/b. Is 1/15 <= x?
True
Suppose -3*c - 50 = 5*a - 13, -c - 18 = -4*a. Which is bigger: c or -11?
-11
Let k(i) be the third derivative of -i**5/30 + 3*i**4/8 + i**3/3 + 32*i**2. Let j be k(5). Is j >= -4?
True
Let h = 385 + -412. Which is smaller: -25 or h?
h
Suppose 4*d + 2*a + 86 = 0, d - 3*d + a = 53. Let i = -32 - d. Which is smaller: -10 or i?
-10
Suppose 9*a - 6*a - 43 = -t, 5*t - 155 = -3*a. Which is bigger: t or 5?
t
Let u = 13871/1180 - 3/590. Let d = -12 + u. Let i be 10/8 + -2 + 0. Which is smaller: d or i?
i
Let k be (-10)/(480/18)*1172/97. Let q = -3/97 - k. Let t = -2 + 6. Is t at least q?
False
Let o = 6 + -10. Let f(y) be the first derivative of -y**4/4 - 2*y**3 - y**2 + y - 24. Let z be f(o). Is z greater than -22?
False
Let n(x) = -x**2 + 4*x - 3. Let v be n(2). Let f be -2*8/16 + 1*19. Let l be (9/(-267))/(f/(-4) - -3). Which is smaller: v or l?
l
Let c be 22/10 - (-1)/(-5). Suppose -c*n - 2*n = 2*l + 16, 2*n = -4*l - 8. Let a be 3/(-12)*-7 - 1. Does a = l?
False
Let s be (-9)/3 + (-9)/(-3). Suppose -6*h + 5*h = -33. Let f be (-126)/h + 6 + -2. Which is smaller: s or f?
s
Let q be (3/5)/(34/(-170)). Is q >= -13?
True
Let a(f) = 4*f**2 - 3*f - 2. Let o be a(3). Suppose -4*w = w - o. Suppose -5 = q, -w*k + q + 0*q = 15. Is k != -1?
True
Let h(o) = o**3 + 5*o**2 + 6*o + 4. Let n be h(-2). Which is bigger: 8 or n?
8
Let n be (0 - 5/(-20)) + 1. Suppose -5*j - 2*d = 14, -3*j + 0*d - 10 = 2*d. Let c be -1 - 3/j*2. Which is smaller: c or n?
n
Suppose 0 = -3*i + a + 14, -a - a = -8. Suppose i*h - 324 = -3*h. Which is smaller: h or 37?
h
Let v be (-9 - 195/35)/((-6)/56). Which is smaller: 134 or v?
134
Let t = -32.81 - -33. Let x = -0.15 + 0.24. Let l = t - x. Is 2.8 equal to l?
False
Suppose -4*j + j - 3 = 0. Let k = 18 - 14. Let m be (-27)/12 + k/16. Is m equal to j?
False
Let w(a) = -40*a**2 - 3*a - 2. Let f be w(-1). Let u = f + 38. Let t = -2244/38045 - -2/1087. Which is bigger: u or t?
t
Let s be 6*8/(-6) - -3. Let z = -5 - s. Let q be 2 + 22/8*-1. Is q != z?
True
Let b = 602/9 + -482/9. Is 12 <= b?
True
Let u = 267.15 - 267.2