r(n) be the first derivative of k(n). Let v be r(-2). Is 2/13 less than v?
False
Let w = -77 - -68. Suppose 0 = 3*n - 3*v + 5 + 1, -2*n - 3*v - 14 = 0. Let t = 3 + n. Which is smaller: w or t?
w
Suppose 12*v - 17*v = 0. Let q be (-1 - (1 + -4)) + v. Let j be (-5)/(-75) - (-12)/9. Which is bigger: q or j?
q
Suppose -z - 5*y = -10, -2*y - 2 + 58 = 3*z. Let a be (-2 + 38/z)*13. Which is smaller: -1 or a?
a
Let s be (332/611046)/(3/(-9)). Do 1 and s have the same value?
False
Let b = -30515 - -30517. Which is smaller: b or -12407?
-12407
Let x(c) = 3*c**3 + c**2 - c - 1. Let k(g) = -19*g**3 - 12*g**2 + g + 7. Let z(n) = k(n) + 6*x(n). Let d be z(-4). Which is smaller: d or -5?
d
Let u = 44/601 - 31490/446543. Do 1 and u have different values?
True
Let a = 1/1483 - 3069/152749. Let r = -1.54 - -1.44. Which is greater: a or r?
a
Suppose 30 = -0*l + 4*l - 2*d, 5 = -4*l - 5*d. Suppose 15 = 2*q - l*j + 4, 3*j + 9 = 0. Let p be (q/6)/((-10)/360). Is 10 > p?
False
Let y = -236013/4 - -57983. Is y equal to -1020?
False
Let c(z) = -1 - 17*z - 60*z + 4*z. Suppose -3*b + 20 = -10*d + 5*d, -d + 2*b - 11 = 0. Let i be c(d). Which is bigger: i or -1?
i
Let g = -336 + 331. Let y be g - 2/(-4)*29. Let f be 8/10*(-25)/(-2). Which is greater: y or f?
f
Let x(i) = 35*i + 2. Let d be x(0). Let t be (d + (-1360)/(-12))*3/2. Is 172 != t?
True
Suppose 3*f - 84 = z - 4*z, 5*z - 116 = f. Let g(w) = -44*w + 93. Let v be g(34). Let k be (v/(-244))/(1/4). Is z less than or equal to k?
False
Suppose -4*s + 43 = -3*l + s, -3*l - 5*s = 23. Suppose 8*j - 5*j = 27. Let b(m) = -m**2 + 9*m - 8. Let x be b(j). Is l at most x?
True
Suppose -179 - 29 = 13*m. Let s(z) = -4*z - 63. Let r be s(m). Do r and 3/490 have different values?
True
Suppose 3*n + 5*s - 316 = -91, -3*s + 9 = 0. Let d = 20068 - 20069. Which is smaller: d or n?
d
Let g = 28.9 + -28.785. Let k = -0.23 + g. Is k less than -1?
False
Suppose -2*g - 292 = -2*h, 3*g + 421*h - 423*h = -437. Which is greater: -144 or g?
-144
Let y = 1.21937 + -0.05267. Is -1 less than or equal to y?
True
Suppose -3*p + p - 130 = 0. Let h = p - -65. Let f = -727 + 6533/9. Does h = f?
False
Suppose 4*o = 272 + 96. Let q be 1484/16 - 7/(-28). Which is smaller: o or q?
o
Suppose -z + u - 66 = 0, -34 = -2*u - 50. Is z smaller than 112?
True
Let c be (-4144)/21 + ((-70)/15)/7. Let i = c - -220. Which is smaller: 17 or i?
17
Let q = -6464/39 + 494/3. Let l = 1 + q. Is l at most -1?
False
Let q(j) = 4*j - 11. Suppose 23*z - 21*z - 16 = 0. Suppose z*w = 4*w + 12. Let k be q(w). Is 1/24 less than k?
True
Let q be 35/(-210) - 2139/(-36). Suppose 5*x = 2*t + 302, 2*x - t - 16 - 105 = 0. Is x not equal to q?
True
Let x = 101641/67 + -1517. Suppose -2*a - 15 = 3*a. Let j be (-3)/(3 + -3 + a). Which is bigger: j or x?
j
Let b be 213/(-4) + (-9)/(-36). Let t = -50 - b. Suppose 4 = 7*r - t. Which is smaller: r or 1/43?
1/43
Let r be (1 - -1 - 3) + -6 + 6. Let j be -4 - r - ((-4522)/(-214))/(-7). Suppose -3*w - 1 - 2 = 0. Is w greater than or equal to j?
False
Suppose -25*a + 99037 + 26185 = -36553. Is 6471 > a?
False
Suppose -4*g - 2786 + 366 = -5*b, 2*g + 4*b = -1210. Let v = 544 + g. Is -61 >= v?
True
Let t be -6 - (-132)/20 - -4. Let i(s) = s - 4. Let g(d) = -d + 4. Let k be g(-4). Let y be i(k). Which is greater: t or y?
t
Let v be 560/(-78) - (-12)/(-18). Let j = -7/155 - -7327/930. Let k = v + j. Is 1 >= k?
True
Let c be -6 + (-18*7)/7. Let t be c/182 - (-22)/77. Which is smaller: t or 9?
t
Let d = 5171 + -848. Is -2 not equal to d?
True
Let m = 280 - 301. Let h be 218/861 - (-6)/m. Is 0 < h?
False
Let k be (2817/9 + (-169)/(-13))/((-4)/(-10)). Is 811 at most as big as k?
True
Let f = -28 + 64. Let j = -19 + f. Let s = 18 - j. Which is smaller: -1/10 or s?
-1/10
Let y = 234.68 + 2.82. Let b = 239 - y. Which is bigger: 6 or b?
6
Let g = -61 - -77. Suppose g*m - 130 - 94 = 0. Let v be 7/m*-1*2. Is v <= 3/79?
True
Let q(a) = -a**2 + 2*a. Let l be q(3). Let u(r) = r**3 + 21*r**2 + 37*r - 12. Let h be u(-19). Let s be (l/(-6))/(h/14). Is 8/5 less than or equal to s?
False
Let b = -4161 - -62413/15. Is -0.1893 >= b?
False
Suppose 2*q + a - 13 = 0, 0 = 4*q - a - a - 22. Suppose -q*o + k = -4*o - 4, k = -4. Let p = 6 + -6.4. Do p and o have different values?
True
Let w = 14923/8397360 + -11/6420. Is w at least as big as 1?
False
Let h be ((-234)/(-4))/(-9)*8/(-216)*-2. Is -1 bigger than h?
False
Let n = -52395 - -52325. Suppose -67 = t + 2*c, -4*t + 3*c - 404 = -114. Is n bigger than t?
True
Let l be (4599/(-876))/((-6)/(-3992)). Are l and -3492 nonequal?
True
Let d = 0.3621 - 0.36. Let y = d + -0.2021. Which is smaller: y or -25?
-25
Let s be (27/(-18))/((-3)/(-4)). Let v be (-705)/360 - (-4)/6. Is v <= s?
False
Suppose -369*y - 66 = 4*q - 364*y, 120 = 5*q - 5*y. Let i be 4*((-5)/(-2) - 2). Suppose -2*o = 5*a - 27, -i*a - 3*o = 1 - 3. Are a and q nonequal?
True
Suppose 3*x + 9 = -3*l + 5*x, -2*l - 2*x - 16 = 0. Let s = 827 - 1385. Let q = -3933/7 - s. Which is smaller: q or l?
l
Suppose -3*k + 12 = 0, -5*k = 2*x - 5*x - 290. Let a be 267/(21 - (18 - -6)). Is x < a?
True
Let j(h) = -h**2 + 10*h - 22. Let r(f) = -2*f**2 + 11*f - 20. Let o(a) = -3*j(a) + 2*r(a). Let m be o(-12). Are m and -16 non-equal?
True
Let j = 2071 + -18625/9. Suppose -5*y + y - 3*m = -7, 4*y + 4*m - 8 = 0. Is y at most j?
True
Let q(j) = 4*j**2 + 3*j - 18. Let d be q(3). Let y be ((-10)/9)/((-1)/d). Does y = 8?
False
Let m(a) be the first derivative of a**4/4 - 13*a**3/3 - 19*a**2/2 + 16*a - 4. Let v be m(14). Let p be 72/v*(11 + 1). Which is smaller: -19 or p?
-19
Let x be 2*-2*(-7)/49. Suppose 0 = 94*h - 90*h - 28. Suppose 2*l - h*l = -5. Is l greater than x?
True
Let q(g) = g**3 - 7*g**2 - 15*g - 29. Let m be q(9). Let a be (m + 42/15)*(-1)/(-2). Which is smaller: a or -2/13?
-2/13
Let i = 4417 - 132511/30. Which is smaller: -118 or i?
-118
Let a = -7.653 - 0.147. Let c = -7.7 - a. Which is bigger: 0.103 or c?
0.103
Suppose 0 = -3*w + 20 - 17. Let k be w + -1 - (-336)/((-49)/7). Let j = 45 + k. Is j less than 10?
True
Let d(s) = -238*s + 892. Let x be d(17). Which is smaller: x or -3153?
x
Let v be (-737)/402 + 861/450. Which is smaller: -14/3 or v?
-14/3
Suppose 4*n + 5*l = 18, -n - 2 = -4*n + 2*l. Let o be (279/5549)/(n*3). Is 1 greater than or equal to o?
True
Let t = 217443/12355 + 1/2471. Let s = -37 - -36.9. Do t and s have the same value?
False
Let c(o) = -614*o - 909. Let i be c(-1). Which is bigger: i or -1477/5?
i
Suppose 0 = 638*r - 634*r + 2320. Is r < -577?
True
Let i = -6 + 10. Suppose -63 = -4*x - 3*n, 9*x - 75 = i*x - 3*n. Suppose -l - 4*u - 17 = 11, 0 = -l + 4*u - x. Which is bigger: -18 or l?
-18
Suppose 4*r + 1155 = 5*v, -v = 2*v - 21. Which is smaller: r or -1950/7?
r
Let r(p) = p**3 - 16*p**2 + 64*p + 77. Let a be r(16). Is a less than 1103?
True
Let y = 52.1 + -52.21. Is y at most as big as 12?
True
Let i be (1 + -4)*(-568)/(-8). Let a = i + 216. Which is smaller: a or -1?
-1
Let c(f) = -52*f - 1. Let l be c(-6). Let v(k) = k**3 - 20*k**2 + 32*k + 64. Let q be v(19). Are l and q nonequal?
False
Suppose -3 = -2*m + 17. Suppose 2*b + 5*z - 11 = 0, 0 = b + b + 4*z - m. Let q = -117 + 121. Which is smaller: q or b?
b
Let g be -1*(3/6)/(4/(-88)). Suppose 6*r = f + g*r + 111, 4*f - r = -360. Which is bigger: 0.3 or f?
0.3
Let u = -8.067 - -0.067. Let k = u - -8.19. Let s be (-30)/45*(-3)/(-2). Which is greater: s or k?
k
Let w be -27*12/(-3615948)*((-8)/36 - 0). Is w smaller than 1?
True
Let q = 20 - 20.11. Let d(x) = 279*x - 555. Let g be d(2). Is g bigger than q?
True
Let x(b) = -182*b + 729. Let v be x(4). Does -2/11889 = v?
False
Let s be (-17 - -33)/(0 - -2). Let j be ((-2)/s*-1)/((-140)/(-1568)). Which is smaller: j or 2?
2
Let m(q) be the second derivative of 0 + q**2 + 4*q + 1/12*q**4 + 1/3*q**3. Let a be m(-1). Which is bigger: a or 1/19?
a
Let x be 1 + 100 - (-21 + 27). Suppose 86*i - x*i = -846. Is 93 at least i?
False
Let p be (-3 + 2)/(17/(-85)). Suppose -12 = -4*x - 5*o, 6*x - p*x - 2*o + 10 = 0. Let u be x/30*1*2. Which is greater: u or 0.06?
0.06
Let m = 36927 - 36929. Is m > -6602?
True
Let w be (105/(-14) + 5)*-10. Let a be (690/w)/(-3) + 8. Suppose 0*d = d. Is d != a?
True
Let u(t) = 4 - 19 - 2 - 23 + 7*t + t**2. Let b be u(-15). Which is greater