 Let z be x + 2 + -2 + 3. Is -29 greater than or equal to z?
False
Let p = 89.5 - 89.4. Is p smaller than 22.37?
True
Let n(w) = -w**2 + w. Let g be n(1). Let p be 5241/(-18975) + 312/1144. Is g greater than p?
True
Suppose 2*j + 2*j = 16. Let o(s) = -2*s + 7. Let q be o(7). Which is greater: q or j?
j
Let f(o) = o**3 - 3*o**2 + 21*o - 131. Let r be f(18). Is 5108 >= r?
True
Let t(p) = -60*p + 1310. Let f be t(55). Is -1 at most f?
False
Let r = -2169 + 10844/5. Let k = -54836/1755 - -406/13. Which is greater: k or r?
k
Suppose -101*p + 74*p = 2268. Let l be 6/157*(-56)/p. Is 1 less than l?
False
Let k = 0.333 + -0.878. Let g = 24.455 - k. Let y = 2.1 + -2. Is g < y?
False
Let n = 1004 + -679. Let l = 322 - n. Which is bigger: l or 0.2?
0.2
Let s(m) = -1 - 2*m**2 - 3*m + 37*m**2 + 20*m**2 + 20*m**2 + 57*m**2. Let b be s(-1). Is 135 equal to b?
False
Suppose b + 3 = 0, 5*c + 3*b - 451 = -0*c. Is 90 equal to c?
False
Let z = -293599715/2002 - -3690733/26. Let d = z - -4702. Is d less than 1?
True
Let h = 7068 + -13055. Which is smaller: h or 0?
h
Let c be (-2)/8*9*(-52)/631683. Is 0 != c?
True
Let w be (3 + (-54)/30)/(12/(-34040)). Are w and -3403 non-equal?
True
Let h = 581 + -551. Suppose h*o = 39*o + 3915. Is o >= -434?
False
Let i = -4126 - -4127. Let s = 387/1717 - -1/101. Which is greater: s or i?
i
Let r = -213918413/5372 - -39821. Which is bigger: r or 1?
1
Let h = -285802882/11 - -25916509. Let o = h - -65651. Let b = o + -80. Which is bigger: -3 or b?
b
Let x = 289.7 - 289.7. Which is greater: -6756 or x?
x
Let l be (-3573)/(-6)*(-69)/(-135) - (-10)/12. Is 306 at least as big as l?
True
Let v = -365/276 - -74/69. Which is bigger: 2404 or v?
2404
Suppose 4*c = -458 - 618. Let p = 5091/19 + c. Is 0 less than p?
False
Let k(y) = y**2 + 17*y + 42. Let a(w) = -7*w + 4. Let z be a(3). Let m be k(z). Let b = 37 - m. Is b bigger than -2?
False
Let p(n) = 477*n + 4896. Let x be p(-9). Which is smaller: 593 or x?
593
Suppose s - 7 = 0, 132 - 111 = -3*j + 3*s. Is j at least -8/367?
True
Suppose -5*i = 3*i + 464. Let m = 73 + i. Suppose 4*r + 2*c + 12 = 0, r - c + m = -4*r. Which is smaller: -6 or r?
-6
Suppose -3 = 43*p - 34*p + 6. Which is greater: 1/915 or p?
1/915
Let p(k) = -k**3 - 6*k**2 + 4*k + 12. Let s be p(-5). Let l = s - -31. Let m be (1/3)/(l/(-30)). Which is smaller: m or 4?
4
Suppose -3*h = -6*h + 246. Let r(i) = -2*i**2 + 8*i - 18. Let p be r(8). Let w = h + p. Which is greater: w or 2/61?
2/61
Let d = -827.41 - -827. Let s = 0.1 - -0.1. Which is smaller: d or s?
d
Let r = 93717/40 + -11199/5. Is r at most as big as 102?
False
Suppose 3822 = 86*s - 88*s - 2*m, 0 = 6*s - 2*m + 11514. Is -1917 != s?
False
Let v = -30959 - -31076. Which is greater: v or 103?
v
Let w = 16887 - 16689. Which is smaller: 0.2 or w?
0.2
Suppose -25 = 8*r - 3*r + 5*s, 4*r = 2*s + 4. Is r bigger than 39/140?
False
Let j = -0.016 + 0.056. Let a = j - 0.22. Let i = 0.18 + a. Which is smaller: -44 or i?
-44
Let i = 6868348/67 + -102510. Which is smaller: 2 or i?
2
Suppose -2*p - 5 = 2*r + 1, -10 = 3*p + 2*r. Let w(n) = n**3 - 4*n**2 - 5*n + 674. Let z be w(0). Let h = -678 + z. Is h greater than p?
False
Let n(a) be the third derivative of a**5/60 - a**4/2 - 7*a**3/3 + 2*a**2. Let d be n(13). Suppose 62 = -6*p + 97 + 97. Do d and p have the same value?
False
Let s(u) = 19*u**2 - 13*u + 16. Let i be s(2). Suppose 17*m - 83 = -i. Is m > 1/836?
True
Let y(u) = -4*u + 12 + 1 - 8. Let g be y(1). Let n = 1/483 + -64/483. Is n < g?
True
Let n(a) = a**3 + 11*a**2 - 15*a - 18. Let q be n(-12). Let p = -20 + q. Let v be (-16 + -1 + 0)/5. Is v at most as big as p?
True
Let j be ((-141)/5 - -3)*20/6. Let i = j - -82. Is i at least as big as -16/7?
True
Let u = 12735.97 + -12568. Let m = u - 7.97. Is m greater than or equal to 1?
True
Suppose -3*l = -3*u + 10044, -270*u - 6690 = 2*l - 275*u. Do l and -3350 have the same value?
True
Suppose -4*o - 2*b - 10 = 0, -5*o - 3 - 14 = 4*b. Let k be 7/(-35) - o/5. Let m be 357/(-238)*(-2)/(-6)*-2. Which is smaller: m or k?
k
Let y be 18/63 + 3555/(-21). Let m = 170 + y. Which is smaller: 1/73 or m?
1/73
Suppose 5*s = 7*s + 5*o - 72, 209 = 5*s - 2*o. Suppose 7 = 48*f - s*f. Is 1/300 bigger than f?
False
Let a be ((-4)/65)/(14/(-5)). Let n = 2205 - 1553. Let p = n - 652. Is a at least p?
True
Let h = 3209 + -3218. Do -92 and h have different values?
True
Let d be (19/38)/((-2)/(-8)). Let n(z) = 19*z + z**3 - 19*z**d - 5 - 14 - 6. Let o be n(18). Is -11 less than o?
True
Let t be ((-1)/6)/(-13 - 10/(-4)). Let w = 0 - -1. Is w equal to t?
False
Let z = -14 + 21. Suppose -z + 31 = -3*c. Let b be 2/(-9) - c/(-18). Is b greater than 0?
False
Let u = -1653 - -2611. Let k = 957 - u. Is k at most 32?
True
Suppose 3*q - 38 - 70 = 0. Suppose 3*s + q = -s. Let y be 42/s + -1 - -1. Which is smaller: y or -4?
y
Let o be 13 + (-3 - (320 - -10)). Which is bigger: -319 or o?
-319
Let f = 71 - 31. Suppose 7*a + a - f = 0. Suppose a*s = -5*n + 30 + 10, -4*n + 2*s = -62. Are n and 13 unequal?
False
Let g = -217103 + 18019780/83. Is 4 < g?
False
Let w = -7/20 - -1/4. Suppose 10 = 116*h - 111*h. Which is smaller: h or w?
w
Let c(m) = -m**2 - 3*m + 8. Let d be c(-3). Let u(i) be the first derivative of -i**2/2 + 7*i + 27. Let z be u(-2). Does z = d?
False
Suppose -2*c - 15831 = -3*c - 8*c. Is 1759 != c?
False
Let v = 4/5241 - 1808201/73374. Is v at least -24?
False
Let v = -466 - 2424. Is v equal to -2889?
False
Let m be -1 + -1 + (-102)/(-12). Let z = 1283 + -3853/3. Which is bigger: z or m?
m
Let w = -1 + -5. Suppose -26*x + 10198 = 1514. Suppose -x*k = -336*k - 18. Is k >= w?
False
Suppose -a + 3*a - b - 191 = 0, 2*b = -5*a + 464. Suppose -34*y - 5 = -3269. Is y < a?
False
Let w be ((-92463)/(-74444) - (-15)/(-12))*-7. Which is bigger: 1 or w?
1
Suppose -7*p + 2*p + 164 = -3*z, 5*z = 3*p - 92. Suppose -a = -5*u - p, -3*u + 10*a = 13*a + 6. Let r be (16/u)/(8/(-120)). Is r > 39?
True
Let k be 2737/51 + -4 - (8/3 - 2). Do k and 524/11 have the same value?
False
Suppose -2*d + 2*l = 94 - 74, 0 = 5*d - 6*l + 59. Let r = -16.1 + 16.1199. Which is bigger: d or r?
r
Suppose -55*d = 1105 - 1050. Is d < 2/25301?
True
Let b(r) = -r**3 - 4*r**2 - 3*r - 6. Let j be b(-4). Suppose 0*z - 90 = j*z. Do -2 and z have the same value?
False
Let j = -185 - -100. Let h = j + 95. Which is smaller: -4 or h?
-4
Let m = 55 + -55. Suppose -3*j - 4*z + 18 = m, -2*j + 2*z + 19 = 7*z. Suppose -q = j*q. Is q bigger than -7/15?
True
Let w = 19546 + -20999. Is -5811/4 <= w?
False
Let y = 741 + -469. Suppose -b + 1 = 0, 5*z + 834 = -3*b + y. Which is bigger: z or 0.2?
0.2
Suppose -48 = 7*j - 23*j. Let b be (-3)/(-15) + (-2)/10. Suppose -2*p = k - p - 16, b = 5*k - j*p - 40. Is k equal to -2?
False
Let j be (-4)/(-18) + 1/(-6). Let i(w) = -2*w**2 + 14*w - 15. Let o be i(5). Suppose -5*r + 0*r = o*r. Is r at least as big as j?
False
Let q = -5 + -6. Let d = q - -17. Suppose p + 63 = 3*x, 2*x - d = 5*p + 36. Which is bigger: 23 or x?
23
Let w = 12.23872 + -0.03872. Which is bigger: w or 0.2?
w
Let h be (-51894)/(-4340) - 1*12. Let i(f) = -f - 4. Let g be i(-3). Is g smaller than h?
True
Suppose 2*i + 10 = -5*l, -4*l - 3*i = -9*l + 15. Is l equal to 20/209?
False
Let y(m) = -4*m - 2. Let v be y(-5). Let a(i) = 209*i - 2498. Let g be a(12). Which is smaller: v or g?
g
Let n = 17616 - 17620. Let m(b) = -b**2 + 6*b - 4. Let t be m(6). Let i be 7/t - 1 - 1. Is n greater than i?
False
Let h(l) be the first derivative of -l**2/2 + 21. Let f be h(8). Let t be 8/20 - (-376)/(-40). Which is bigger: t or f?
f
Let h = 3118 + -3119. Which is smaller: 46.5 or h?
h
Let q be ((-1)/3)/(3/(-36)). Let y(z) = 3*z - 10. Let r be y(q). Suppose 0 = 5*g + 2*j + 19 - 3, 0 = r*g + 5*j - 2. Is -4 less than or equal to g?
True
Let p = -34 - -170. Let d be 6/(-51) - (-16)/p. Which is smaller: -2/43 or d?
-2/43
Let l be ((-2034)/36 + 11 - (-6)/4) + 6. Is l at least -19?
False
Let c(d) = -5*d**2 - 118*d + 34. Let a be c(-25). Which is smaller: -147 or a?
-147
Let z(o) = 149*o + 2085. Let s be z(-14). Is 3/2273 at least as big as s?
True
Let n(v) = -v**3 - 2*v**2 + 1. Let y be n(-1). Let p(z) = z - 11. Let w be p(y). Let b = 5391 + -48607/9. Which is bigger: w or b?
b
Let b = 433 + -441. Which is smaller: b or -0.106