f r?
False
Let h be 10/(-3)*12/(-5). Let w(t) be the third derivative of t**5/60 - t**4/24 + 3*t**2 - 8. Does 28 divide w(h)?
True
Let k(u) be the first derivative of -u**3/3 + 13*u**2/2 - 15*u - 1. Suppose 700*c = 693*c + 77. Is k(c) a multiple of 7?
True
Suppose 2*x - 24014 = 2*b, 5*x - 23676 = b + 36331. Is 250 a factor of x?
True
Let w(v) = 5*v**2 + 134*v + 416. Is w(-37) a multiple of 9?
False
Suppose 50*n - 4*y - 9224 = 48*n, -n + 3*y + 4606 = 0. Is 47 a factor of n?
False
Is 11 a factor of -9*(-8 + 10) - -4581?
False
Let r(t) = 52*t**2 + 12*t + 9. Let x be r(-4). Let f = -313 + x. Is 80 a factor of f?
True
Is 11 a factor of -5 + 14012 + -99*(-1)/9?
False
Let q(z) = -z**2 + 8*z + 15. Let i be q(0). Suppose -i*n - 22*n + 4292 = 0. Does 4 divide n?
True
Let u = 1493 - -5509. Is 53 a factor of u?
False
Is ((0 - 282) + 0)/((-728)/1820) a multiple of 2?
False
Suppose -373*h = -368*h - 16445. Is h a multiple of 23?
True
Let q = 1939 + 596. Is 18 a factor of q?
False
Suppose 27427 = 6*k - 96455. Suppose -18*u - 3637 + k = 0. Is u a multiple of 63?
True
Let j = 153410 - 79710. Is j a multiple of 134?
True
Suppose -1988 = 247*k - 248*k. Suppose 0 = 8*g - k - 228. Is g a multiple of 4?
False
Suppose 5*h - 91338 = -3*o, -93*o + 5*h = -84*o - 274014. Is 13 a factor of o?
True
Let p = -16235 + 39549. Is 96 a factor of p?
False
Let b(k) = 289*k + 8. Suppose -4*d + 9*d - 5*z = 30, -3*d = -4*z - 23. Is b(d) a multiple of 11?
True
Let y = 65 - 63. Suppose 4*v - 121 = -5*f, 3*v - 6*v + y*f = -62. Is v a multiple of 12?
True
Suppose -2*h + 27725 = -3*o, -51*h + 53*h - 27726 = 4*o. Is 167 a factor of h?
True
Let j(y) = 80*y - 120. Let g be j(13). Suppose 0 = k + k - g. Is k a multiple of 21?
False
Let u = 983 + -356. Let t be (2*(-2)/(-4))/(19/u). Suppose -3*f = -x + t, 5*x + 5*f = 97 + 88. Is 6 a factor of x?
True
Let c(r) = -39*r**3 - 3*r**2 - 47*r - 315. Is 251 a factor of c(-6)?
True
Suppose -4*p + 12 = -s, 3*s = 9*p - 11*p + 6. Suppose -p*x + 3665 = q, -2*q = 5*x - 4975 - 1133. Is 14 a factor of x?
False
Let w(o) = o**3 - 28*o**2 + 27*o + 3. Let l be w(27). Suppose -5*t = -4*q + l, 3*t - 9 + 8 = q. Suppose 126 = -0*j + q*j. Is j a multiple of 17?
False
Let p(t) = 31 - 35 - 119*t + 68 + 308*t. Is p(4) a multiple of 41?
True
Suppose -46845 - 37253 + 26453 = -61*s. Is s a multiple of 21?
True
Suppose 8 = 3*g + 2. Suppose -3*n = 0, 0*i + g*i + 68 = 4*n. Let c = 92 - i. Is 18 a factor of c?
True
Let n(u) = u**3 - 25*u**2 + 22*u + 54. Let a be n(24). Let k(f) = -20*f - a*f + 12 - 34*f. Does 16 divide k(-4)?
False
Let x(p) = -p**3 - 25*p**2 - 33*p - 7. Let g be x(-22). Is (g/(-5))/((-29)/(-145)) a multiple of 43?
False
Let z(r) = -2849*r + 121. Is z(-3) a multiple of 22?
True
Let h(n) = 115*n**2 - 5*n + 7. Let o be 3/15 + 32/(-20)*2. Does 16 divide h(o)?
False
Let j(s) = 30*s. Suppose 5*v + 6 = 11. Let p be j(v). Is 28 a factor of p/((-11)/14 - -1)?
True
Let k = 624 + -607. Suppose -k*s + 28*s = 550. Does 4 divide s?
False
Suppose -1101*o - 13248 = -1117*o. Does 36 divide o?
True
Let s = 9787 - 3895. Is s a multiple of 116?
False
Let g = -201 + 197. Let u(c) = -5*c**3 + 5*c**2 - 2*c - 9. Does 19 divide u(g)?
True
Suppose 9*l = -22*l + 136803. Suppose -10*i + l = -1587. Does 25 divide i?
True
Suppose -2*f - 150 = -7*f. Let d = 34 - f. Does 11 divide (-4 + 8)/d + 12?
False
Suppose 5*k - 29 + 26 = 2*r, 3*r + 3*k = 6. Is 14 a factor of (4088/24 - 4/12)*r?
False
Let w = -8047 - -16363. Does 231 divide w?
True
Suppose 5*r + a - 36192 = 0, 0 = -4*r - 4*a + 33513 - 4569. Does 127 divide r?
True
Let a(w) = w**3 - 16*w**2 + 14*w + 18. Let i be a(15). Suppose -2*v - 2*v - i*k + 2042 = 0, -v + 514 = -k. Is 16 a factor of v?
True
Suppose -11*b = -7*b - 2052. Suppose 0 = -4*k + k + b. Suppose -k - 99 = -3*p - 4*j, -4*j + 458 = 5*p. Is 47 a factor of p?
True
Let w(v) = -v**3 - 15*v**2 + 32*v + 18. Suppose -3*s - 2*s = -4*s. Suppose 2*h + 24 + 10 = s. Is 13 a factor of w(h)?
True
Let d = -4635 - -8126. Is 6 a factor of d?
False
Let s(r) = -7*r**3 - 12*r**2 - 32*r + 66. Let n(o) = -o**3 + o**2 - 2*o + 1. Let p(d) = 6*n(d) - s(d). Does 8 divide p(-16)?
False
Let n be ((-30)/(-4))/(54/(-72)). Let g(c) = -c**2 - 28*c - 17. Is g(n) even?
False
Let m(g) = 2*g**3 - 2*g**2 + 43*g + 473. Is 12 a factor of m(0)?
False
Let q(l) = 3*l**2 + 26*l - 525. Is q(46) a multiple of 18?
False
Does 5 divide ((-34100)/(-24) - 1) + (-12)/(-72)?
True
Suppose 95*a - 259*a + 603046 = -459182. Is 17 a factor of a?
True
Let o be 8/3*((-42)/12 - -5). Suppose 1428 = 5*v + 2*m, -2*m - 1152 = -o*v - 6*m. Is 22 a factor of v?
False
Let s(v) = -6*v**3 + v - 2. Let n be s(-2). Let m be (-5 - n/12)/(4/(-18)). Let a = 74 - m. Is 7 a factor of a?
True
Let y(c) = 68*c**2 + 2*c + 3. Let t be y(4). Let l = t + -1693. Does 15 divide (-21)/(-28) - l/8?
True
Let t = 4210 + -2332. Let r = t + -1338. Does 63 divide r?
False
Suppose 609 = 10*h - 1481. Is 16 a factor of h?
False
Suppose -2*y + 1974 = -4*m + 27674, 0 = 5*m - 3*y - 32124. Does 18 divide m?
True
Let j(n) = 153*n - 45*n - 80*n + 21. Suppose -27 = -f - 4*f - 4*w, -5*f + 5*w = 0. Is j(f) a multiple of 14?
False
Let z(r) = -136*r - 3900. Is z(-42) a multiple of 12?
True
Let g(s) be the second derivative of 13*s**3/6 - 5*s**2/2 - 116*s. Let x(l) = -l + 6. Let w be x(-6). Is 20 a factor of g(w)?
False
Let o be ((-126)/24)/(18/(-24)). Let u(q) = 80*q + 16. Is 16 a factor of u(o)?
True
Suppose 2*r - 20*r = -9378. Let f = -479 + r. Is f a multiple of 42?
True
Let x(f) = 3*f**3 + 6*f**2 - 11*f + 3. Let d(w) = 4*w**3 + 7*w**2 - 11*w + 2. Let j(u) = -2*d(u) + 3*x(u). Is j(9) a multiple of 90?
False
Suppose 5*x = 0, 4*w + 4*x - 12 = 7*x. Suppose 0 = -a - 2*c - 6, 5*a + 4*c + w = -3. Let o(u) = 4*u**3 - u**2 + 3*u - 4. Is o(a) a multiple of 5?
True
Let x(d) = d**3 - 56*d**2 + 89*d - 336. Is 28 a factor of x(60)?
True
Suppose -2*t - 99 = 5*v, -74 = 4*v + 2*t - 3*t. Let z(r) = 2*r**2 + 20*r + 26. Is z(v) a multiple of 27?
False
Let h(d) = d**2 + 11*d - 37. Suppose 3*z + 0*z + 4*m - 34 = 0, -5*z + 4*m = -78. Is 25 a factor of h(z)?
False
Let w(z) = z**3 - z**2 - 5*z + 3. Let h be w(4). Suppose -4 - h = -m. Suppose m*q - 32*q - 162 = 0. Is q a multiple of 9?
True
Let v = 141 - 185. Does 55 divide 5/((13/v)/(-13))?
True
Let l(x) = x**2 - 15*x + 46. Let b be l(5). Let p(v) be the third derivative of v**5/30 - v**4/24 + 5*v**3/6 + 2*v**2. Does 41 divide p(b)?
True
Suppose 0 = -3*y - 6, -u = u + 3*y - 254. Let w = 54 - u. Let z = 2 - w. Is z a multiple of 34?
False
Let t be (-4)/(-3)*(3 + -4 - -4). Suppose t*j - 9*j - 1605 = 0. Does 22 divide (-50)/(-75)*1/((-2)/j)?
False
Suppose 0 = -2*z - 56 + 6. Let q = 469 - z. Is 38 a factor of q?
True
Is 53 a factor of (2130/(-168) + -4*3/(-28))*-2344?
False
Suppose 5*z = -3*l + 9984, -3*z + 5976 = -190*l + 187*l. Does 21 divide z?
True
Suppose 55 = 2*h - 3*l, -5*h + 4*l + 90 = 6*l. Suppose -19*b = -h*b + 630. Suppose -483 = -4*k - 3*t, 5*k - 8*t = -3*t + b. Is 41 a factor of k?
True
Suppose -58*p - 59761 = -5*u - 59*p, -u = -2*p - 11961. Is u a multiple of 164?
False
Let a be -3*2/(-3)*1. Suppose -a*f + 1315 = 5*k, k + 3*f - 58 - 205 = 0. Is 13 a factor of k?
False
Is 19 a factor of (-636)/53 + (2941 - 2)?
False
Let j(r) = r**3 - 14*r**2 + r - 18. Let a be j(14). Let l be a*(13/(-2) + 0). Let q = 61 - l. Does 14 divide q?
False
Let p be ((-92)/92)/((-1)/713). Let y = p + -305. Is 24 a factor of y?
True
Let b(m) be the second derivative of -m**3/2 + 67*m**2/2 + 14*m - 2. Is 4 a factor of b(8)?
False
Let o be 1098/8 - (-1)/(-4). Suppose 5*a - a - 5*p = 123, -a + 15 = 4*p. Suppose 3*i = l - a, -5*l = -2*i - o + 41. Is l a multiple of 4?
False
Let x be (-890)/4*(-1398)/1165. Let p(k) = -k**2 - k + 187. Let y be p(0). Let f = x - y. Does 16 divide f?
True
Let n = 2159 - 644. Is n a multiple of 15?
True
Let z be -1*(-1 + (-11 - 1)). Suppose -165*f + 142*f + 69 = 0. Let h = z + f. Does 2 divide h?
True
Let o = 42 - 63. Let w = o - -22. Is 3 a factor of w + (2 - (-6)/(-2)) + 54?
True
Let j(z) = -6*z**3 + 2*z**2 + z. Let v(s) = 10*s**3 - 5*s**2 - 3*s + 1. Let t(l) = 11*j(l) + 6*v(l). Is 8 a factor of t(-5)?
False
Let a = 1823 - 550. Suppose p - 2*z - a = 0, -2*p + 9*z + 2537 = 8*z. Is p a multiple of 21?
False
Let f(k) = -5*k**2 - 7. Let s be f