2 or s?
s
Let q = -6330 + 6596. Is 5 at most as big as q?
True
Let q(i) = 649*i + 366. Let h be q(-7). Which is greater: -4178 or h?
h
Let w = -14956/7 - -493546/231. Which is smaller: w or -1/77?
-1/77
Let t(u) be the third derivative of u**5/20 + 47*u**4/12 - 43*u**3/6 - 5*u**2. Let y be t(-32). Is 28 at least y?
True
Suppose -4*l + 3*s - 2 - 3 = 0, -4*l - 2 = -2*s. Let i = -0.125 + 1.415. Let w = i + -5.29. Is l greater than or equal to w?
True
Let t be 5 + (-1)/(-4) + 525/(-100). Suppose m + 17 = -3*v, -7 = -2*v - t*v + 3*m. Is 29 greater than v?
True
Let g be 3 + (0 - (-98)/40)/(38985/(-47610)). Which is smaller: g or 0?
0
Let y = 134 - 130. Suppose -y*r = 3*i + 845, 140 = 2*i + 4*r + 710. Which is greater: -274 or i?
-274
Let t = 157/574 + 1/82. Which is smaller: 0.10545 or t?
0.10545
Let z = 9916 + -19819/2. Is z bigger than 61?
False
Suppose 4*m = -2*m + 30. Suppose 0*x + 2*o + 540 = 5*x, -5*o = m*x - 540. Suppose 8*h = -44 - x. Is -19 less than h?
False
Suppose -3*m + 2*l + 31 = -3*l, 3*l + 11 = -2*m. Let q be 2*7/m*(-4)/(-4). Suppose -17 = -2*w - q. Is w greater than 5?
False
Let c = 117.08 + -114. Let s = c - 3.61. Is 3 smaller than s?
False
Let j be (-246)/47*(192/(-160) + (-34)/(-20)). Is j < -2?
True
Suppose -4*g = -5*q - 20, 4*q + 4*g - 19 = 1. Let x be q + 8 + 5 + -7. Are x and 3/14 non-equal?
True
Let p be 734/8195 + 4/(-44). Let w = p + -13349/45445. Are 1 and w equal?
False
Let z = 27 - 47. Let m be 4*(-5)/z*2 - 1. Is m greater than or equal to 5/47?
True
Suppose w - 2555 - 7055 = 0. Let d be (-5)/15 - w/(-30). Is 322 != d?
True
Suppose 0 = 152*r - 132*r + 60. Is -73/24 > r?
False
Let z = 13748 - 13894. Is z at most -2?
True
Let g = 122.9 + 24.1. Let v = 150 - g. Which is smaller: -19 or v?
-19
Let a be -2*2*(-189)/84 - 6. Suppose 0 = -3*g + 2 + 37. Suppose 2 = z + i + g, 0 = 4*z + i + 41. Which is greater: z or a?
a
Let k = -36.6 - -186.6. Let f = k + -149. Which is smaller: 13 or f?
f
Let y(w) = -4*w**2 + 6*w - 31. Let x be y(-9). Let d be (3/((-69)/2))/((-10)/x). Let c = d + 22/23. Which is bigger: -3 or c?
c
Let u = 118 - 110. Let f(w) = w**3 - 6*w**2 - 9*w + 9. Let x be f(u). Is 64 less than or equal to x?
True
Let a be (0 - -4)/1464*(-4)/18. Which is smaller: a or 1?
a
Let s = -41 + 21. Let l(x) = x**3 + 2*x**2 + 103*x - 18. Let i be l(0). Which is smaller: s or i?
s
Let s = -3891 + 3714. Is s greater than -351/2?
False
Let d = 4 - 3. Let q = -710 - -716. Suppose d = -q*n - 5. Which is smaller: n or -11?
-11
Let k(f) = -f**2 - 20*f - 141. Let l(w) = -w**2 - w - 2. Let j(r) = k(r) - 2*l(r). Let b be j(12). Is -210 at least b?
False
Let i be (2/2)/(6/192). Suppose -10*p - 18 = i. Let g be -1*6/((-6)/p). Which is smaller: -6 or g?
-6
Suppose l - 7054 - 384 = 0. Suppose 2038 = 36*j + l. Is j < -744/5?
True
Let h be 2/(-4) + (-114)/(-4). Let b(g) be the first derivative of g**4/4 - 8*g**3/3 + 6*g**2 - 7*g + 17. Let f be b(7). Is h at most as big as f?
True
Let x = -120 + 116.66. Let f = x + 1.34. Are f and -60 unequal?
True
Let l = 0.11 - 1.11. Let s = -0.119 - -69.119. Let g = s - 72. Is g at most as big as l?
True
Let v = 647 + -38174/59. Suppose -439 - 2991 = 10*i. Let m = i - -342. Is v not equal to m?
True
Let v = 15 + -7. Let w be 2/(-2*v/98). Let s = -102979 - -102967. Which is greater: w or s?
s
Let y be (-2 - -2)/7 + 50798630261807/12243566546. Let l = y - 1/36331058. Let f = l - 4149. Which is smaller: f or -1?
-1
Let x(r) = -r**3 + 22*r**2 + 6*r. Let v be x(22). Suppose 4*s = -2*o + 242, -2*o + 0*s = -3*s - 277. Is v != o?
True
Let a be (-52704)/180 + -3*1. Let z = a - -295. Is 45 at least as big as z?
True
Let t = 369 + -360. Let s = t - 20. Which is greater: -3 or s?
-3
Suppose z + 6 - 9 = 0. Suppose -3*l - 5*x + 0*x = 20, 0 = -5*l + z*x + 12. Is -1/163 > l?
False
Let k = -1.079 - -0.865. Which is bigger: k or -5?
k
Let t = 2091 - 2088. Is t not equal to 60?
True
Let y = 3 + 0. Suppose 2*v - 3*v + 2 = -4*g, y*v + 3*g = -9. Let a = 128/129 - 143/43. Which is bigger: v or a?
v
Let h = -4340 - -4340. Does 827 = h?
False
Suppose -5*o = t - 4*t - 5552, 3*o + 5*t = 3304. Let a be (1 + (-1110)/o)*(-2 - -6). Which is greater: 0 or a?
0
Let t(y) be the second derivative of -25*y**3/6 - 33*y**2/2 - 35*y + 2. Let f be t(-3). Do 42 and f have different values?
False
Let p = -2015 - -2111. Do 957/10 and p have the same value?
False
Let h be 120/1260 + ((-6758)/42)/(-1). Let m = 83 - h. Are -77 and m equal?
False
Suppose 6*v - v + 35 = 0. Let y be (-1167 - (-21)/v)*2/(-3). Suppose 0 = -7*d + 255 - y. Is -74 at most d?
False
Let g = 42 + -87. Let a = -881 - -832. Which is bigger: g or a?
g
Let t = 947211424/8023 + -118062. Which is smaller: t or 0?
t
Suppose -7*b + 2*b = 0. Let k(d) = -d + 7 + 0*d - 3. Let h be k(8). Is h at most b?
True
Let h be 185/165 - 4/6. Let i = -4427.3 - -4427. Which is greater: h or i?
h
Let y = 5540 - 5540. Is 137 >= y?
True
Let l(h) be the second derivative of -h**5/5 + h**4/3 - 5*h**3/6 - 3*h**2/2 + 2*h - 3. Let f be l(-2). Suppose 3*g - 2*x = 172, 152 = 3*g + x + x. Is f < g?
False
Let r = 8012 + -8011. Which is greater: r or -34?
r
Suppose 127*c - 41255 = 5227. Is 364 less than c?
True
Let f(q) = q**2 - 16*q + 23. Let r be f(16). Suppose -5*d - 19 = -4*x + 10, r = 3*x - 4*d. Which is smaller: 1/36 or x?
1/36
Let c(a) = -a + 0 + 16 - 24 + 9 + 15. Let w = 22 - 14. Let l be c(w). Is l greater than or equal to 9?
False
Let j be (-2 - 5) + ((2264/(-221))/(-2) - -2). Which is smaller: j or 1?
j
Let p(c) be the third derivative of c**5/60 - c**4/8 - 2*c**3/3 + 38*c**2. Let a be p(4). Suppose a = 6*k - 23*k. Which is greater: k or 2/127?
2/127
Suppose -5*x - l + 78 - 5 = 0, -56 = -4*x - 2*l. Let d be (-590)/x - 6/9. Let g be ((-5)/d)/(6/(-15)). Which is smaller: g or 0?
g
Suppose -117*j - 4098 = 3360 - 672. Suppose -l + 3*i = 46, 0*i - 3*i = -5*l - 278. Is l >= j?
True
Let v(q) = -q**2 - 23*q + 52. Let r be v(-25). Suppose -3*s + 0*s = 2*k - 25, 0 = -5*s - 25. Suppose -k*x + r = -18*x. Are x and 2/253 equal?
False
Suppose -1462 = 2*t + 4*r, 0 = -135*t + 138*t - 5*r + 2149. Which is bigger: -721 or t?
-721
Suppose -7*l - 4175 = -87. Let w = 585 + l. Is 6/139 equal to w?
False
Suppose -f + 3*h - 4*h = 3, -h = 3*f + 3. Let g(p) = -p**3 + p**2 + p + 44. Let k be g(f). Suppose 0*i + 5*i + 3*s = -k, -i + 2*s - 14 = 0. Is i less than -11?
False
Let q = -284 - -293. Suppose 2*s - 2*i + 6 = 0, -i - 3*i = -s - q. Is -21/23 at least s?
True
Let o = 137 - -122. Let x = 672 - o. Is 412 less than or equal to x?
True
Let a(u) = -13*u - 37. Let q be a(-4). Suppose 12 = 18*l - q*l. Which is smaller: 7/2 or l?
7/2
Suppose -62 + 50 = 12*n. Let u be ((5/15)/((-4)/6))/(-137). Which is bigger: n or u?
u
Let x(t) = t**3 + 4*t**2 - t + 2. Let y be x(-4). Suppose 2*m = -4*d - 36, d - 8*m = -5*m + 12. Let n be y*(-3 - ((-108)/(-5))/d). Is n < 3?
False
Let a be ((-105)/(-315) + (-46)/42)*(-15)/(-26). Is 3 at most as big as a?
False
Let a be 7 + (-105)/(-14) - 4. Suppose -8*q + 79 = -1. Which is bigger: a or q?
a
Let q = -10451 - -10704. Which is greater: q or 251?
q
Let j = -37 - -67. Suppose j = 3*s - 0. Suppose i - 2*c = 5, i + 2*c - 3 = -s. Which is bigger: 5 or i?
5
Let o = 6 - 3. Suppose 2*r - 2 = 4*w, -81*r = -85*r + 4*w + 12. Suppose 0 = q - o*l - 11, 3*l + r = -5*q - 12. Which is bigger: q or -3/67?
-3/67
Let p = -496 - -402.8. Let i = p + 93. Which is smaller: -37 or i?
-37
Let f be (1136/120 - 2)/(66/20259). Let q = f + -2292. Which is bigger: 1 or q?
1
Let y = -164536/11 + 14958. Is 16/11 != y?
True
Let w = -4044 + 4043. Is -4/1147 < w?
False
Suppose 4*p = 2*u - 6*u - 4, 3*p - 5*u = -35. Suppose 688*i = 682*i + 102. Let k(d) = d**3 - 19*d**2 + 33*d + 14. Let o be k(i). Is o bigger than p?
True
Suppose -25 = 107*b - 112*b. Let d(q) = -q**2 - 11*q + 2. Let n(p) = -11*p + 3. Let k(h) = 2*d(h) - 3*n(h). Let o be k(b). Are o and -2/29 unequal?
True
Let o(f) = -f**3 - 14*f**2 + 9. Let d be o(-14). Suppose -9 + 0 = -d*v. Let b(h) = h**3 + 5*h**2 + 4*h - 1. Let r be b(-3). Which is bigger: r or v?
r
Let j = -0.0816 - -6.0816. Is j at most as big as -18?
False
Let q = -76 + 145. Let a = -66 + q. Suppose -a*d + 16 = -2*n + n, -36 = 3*n - 5*d. Which is bigger: n or -6?
-6
Suppose 0 = 4*s + 3*w + 224, 5*s + 247 + 38 = -5*w. L