 l(t) = -t**2 + 5*t + 109. Let o be l(13). Is f(o) a multiple of 9?
False
Let t(v) = -3 - 681*v + 1373*v - 647*v. Suppose 1 = -2*u + 5. Does 7 divide t(u)?
False
Let u = 1 - -19. Let l = -276 - -600. Does 2 divide 1 + (-12)/u + l/15?
True
Let c(l) = 8*l - 64. Let r be c(8). Suppose 0 = -5*b - 2*u + 392, 5*b + 5*u - 399 + 19 = r. Does 5 divide b?
True
Let h(v) = v**3 + 7*v**2 - 6*v + 19. Let g be h(-8). Suppose 2*y + 4 = 4*y - n, -3*n + g = -y. Let o(u) = 36*u + 3. Is o(y) a multiple of 23?
False
Let y(b) be the second derivative of -8*b**3/3 - 69*b**2 + b - 20. Does 3 divide y(-11)?
False
Let p be -3 + 16/4 - 3/(-1). Suppose v - 2*v + 13 = p*x, x - 1 = 2*v. Suppose 86 = x*w - 7. Is 4 a factor of w?
False
Suppose m - s = 29 + 3, 0 = -5*s - 20. Suppose -5*q - 2*i = -m, 0 = -i + 3*i - 8. Suppose -q*y + 10 = y, -3*y - 15 = -f. Does 10 divide f?
False
Let n = -3913 + 8521. Is n a multiple of 8?
True
Let g(j) = 56*j + 8. Let f(t) = -2*t - 9. Let x be f(-8). Let n be g(x). Suppose -m + 2*q + 133 = 0, m - 5*q - n = -2*m. Is 19 a factor of m?
False
Suppose -3*n + 3 = 2*t, 3*n + 21 = t + t. Suppose 109 = t*j - 89. Suppose 3*k + 2*p = 102, -k - p + j = -0*p. Is k a multiple of 12?
True
Let x(f) = -f**3 - 4*f**2 + 4. Let a be x(-4). Suppose 5*z = -10, 0 = -g - a*z + 794 - 298. Does 72 divide g?
True
Suppose r - 41*s = -43*s + 93, 3*r + 4*s - 281 = 0. Is r a multiple of 13?
False
Let h be 180*(-3 + (-19)/(-5)). Let o(x) = 2*x**2 - 49*x + 30. Let p be o(24). Suppose -h = -14*s + p*s. Is 9 a factor of s?
True
Let m(i) = i**3 + 7*i**2 - 2*i + 54. Is 53 a factor of m(7)?
False
Suppose 0 = j - 2*j - 8. Is 15 a factor of j/(-36) - (-5668)/9?
True
Suppose z + 28 + 74 = 0. Let c = 18 - 65. Let j = c - z. Is j a multiple of 11?
True
Suppose 16*k - 12*k = p + 37823, 28362 = 3*k + p. Is 61 a factor of k?
True
Let z = 56 + -55. Let s(d) = -3 + z - 26 + 17*d - 4 - d**2. Does 5 divide s(14)?
True
Suppose 4 = -r - 2*s, 3*r - 1 = 5*s + 31. Suppose -r*v = 4*y - 464, 7*y - 356 = -3*v + 2*y. Suppose 0 = -3*t - t - k + v, 2*k = 2*t - 56. Is t a multiple of 4?
True
Suppose -3*j = 2*j - 1995. Let b be (-1)/(-3) + (-1)/(9/j). Does 11 divide (-935)/b - 2/8?
False
Suppose -b - 3*s + 218 = 0, 0 = -25*b + 27*b + 5*s - 442. Is b a multiple of 96?
False
Let z(p) = 11*p**2 - 79*p - 1345. Is z(-21) a multiple of 8?
False
Suppose -6*w - 990 = -16*w. Let t be 4/22 + 1368/w. Let m(d) = d**3 - 15*d**2 + 16*d + 13. Is 12 a factor of m(t)?
False
Does 15 divide (499 + -467)*(1 - 66)/(-1)?
False
Let i = 677 - 669. Let t(o) = o**3 - 5*o**2 + 14*o - 3. Let y(p) = -p**3 + 6*p**2 - 13*p + 2. Let b(d) = -2*t(d) - 3*y(d). Does 22 divide b(i)?
True
Let l = 2239 + -95. Does 134 divide l?
True
Let t(o) = 2627*o + 5. Let p be t(-1). Let x = -1800 - p. Does 55 divide x?
False
Suppose 30*k - 491946 = -89*k. Is 84 a factor of k?
False
Let i(l) = 2*l**2 + 6*l - 7. Let o = -45 + 40. Let a be (o/1)/(2 - 9/6). Does 40 divide i(a)?
False
Suppose 177 = y - 4*y. Let x be 10*2/60*642. Let m = x + y. Is 10 a factor of m?
False
Suppose -32*q + 400 = -37*q. Let p = q - -308. Is p a multiple of 13?
False
Let w be (-30)/3*(21/6 - 2). Let x be 4*1 + (w/(-3) - 3). Is 4 a factor of (x/(-21))/(-1) - 1110/(-35)?
True
Let i = 16299 + -7059. Is 12 a factor of i?
True
Let t(z) = -z**2 - 17*z + 19. Let u be t(-18). Let x be u + ((-56)/24)/((-2)/6). Is (-5)/(-50)*x*90 a multiple of 24?
True
Let x(m) = 22*m**2 - 2*m + 4. Suppose 0 = 3*o + 3*q + 9, -2*o + 14 = -0*o - 2*q. Let l be x(o). Let f = 183 - l. Is f a multiple of 23?
False
Let c(s) = 52*s**3 + 134*s**2 - 685*s + 2. Is c(5) a multiple of 189?
False
Suppose -12*a + 18360 = -2*a. Is 68 a factor of a?
True
Let m(w) = 2*w**3 + 11*w + 3. Let s be m(7). Suppose -v + 2*j = 4*v + 3852, v + 4*j = -s. Let b = -470 - v. Is 50 a factor of b?
True
Let v = 37 + -34. Suppose -3*m = -6, -4*m = j - v*j + 568. Let d = j + -97. Does 43 divide d?
False
Let l = 3564 + -1702. Does 51 divide l?
False
Let s = 153 - 37. Suppose -a - 4*l = -s, -3*a - l + 320 = 4*l. Is a a multiple of 4?
True
Is (-1*(-166 - -7) - 8) + -7 a multiple of 3?
True
Let i be 66/15 - (-2 - (-12)/5). Suppose 3*y = 2*o - 191, i*o - 283 = 4*y - 23. Does 12 divide y/(-1) - (-5 - -7)?
False
Let b(z) = z**3 + 5*z**2 - 2*z - 8. Let n be b(-5). Suppose 3*r + o + 548 = -109, n*r + o = -438. Is r/((-12)/4) + 1*-1 a multiple of 9?
True
Suppose -1531 = -4*n - x, -n = -0*x + 5*x - 359. Suppose -6*o = -7*o + 1, p = -2*o - n. Does 14 divide ((-2)/(-1))/(5 - (-1926)/p)?
False
Let q = 33406 + -12402. Does 212 divide q?
False
Suppose -l = 3*i - 13 - 14, 0 = 3*l + 4*i - 71. Let u = 115 - l. Suppose 4*z + 2*x = 246, -z - 5*x = 28 - u. Does 6 divide z?
False
Let a be 4 - 30/8 - (-206)/8. Suppose -4*m = 5*i + 3 + 7, -4*m = -3*i + a. Is i/(-4)*10*4/(-2) a multiple of 4?
False
Let f = 19566 + -9614. Is 38 a factor of f?
False
Suppose 2*w + 5*i - 10*i - 1285 = 0, 3*i = -3. Let t = -436 + w. Is t a multiple of 12?
True
Let t be -5 + 0 - 1 - -3. Let l be (t + (-640)/6)/(1/3). Let q = -193 - l. Does 38 divide q?
False
Let y(u) = -u**2 - 9*u - 12. Let q be y(-7). Suppose q*w = -2*w + 200. Is 7 a factor of w?
False
Suppose -38*b + 43*b + 4*r - 2385 = 0, 0 = 3*b + 4*r - 1431. Is 113 a factor of b?
False
Suppose -163971 - 620467 = -35*p - 11*p. Is 33 a factor of p?
False
Let z(w) = -w + 7. Suppose -2*t - d = -13, -3*t + 3 + 4 = 4*d. Let c be z(t). Let f = c + 17. Does 5 divide f?
True
Does 167 divide 1509 - (8/(-14))/((-166)/1743)?
True
Suppose -n + 3*o + 528 + 997 = 0, -3*o - 4575 = -3*n. Is n a multiple of 4?
False
Let f(y) = -11 - 4 - 4*y + 4*y**2 - 3 + 9. Let j be f(-3). Suppose -3*u - 5*k + 37 = 0, 3*u + 3*k - j = -0*u. Is u a multiple of 3?
False
Suppose -4*r + 205 = 3*o - 6*o, 260 = 5*r - 3*o. Let w(y) = r - 55 - 22*y. Does 6 divide w(-1)?
False
Suppose -9409*w + 9468*w = 48852. Is 23 a factor of w?
True
Let i = 377 + -360. Suppose i*y - 20800 = -23*y. Is 13 a factor of y?
True
Let r(d) = d**2 - 20*d + 968. Is 8 a factor of r(-36)?
True
Suppose -b = -5*j + 533 - 2216, 3*b = -j + 5097. Is b a multiple of 14?
False
Let r = 3170 + -3058. Is r a multiple of 14?
True
Let k(v) = 9*v**2 - 31*v + 2. Let g(l) = 5*l**2 - 16*l + 1. Let h(n) = 7*g(n) - 4*k(n). Does 7 divide h(4)?
False
Let m = 50 - 44. Let f be 147 + m + 1/(-3 + 2). Suppose 4*h = 4*n - f, 5*n - 137 = 4*h + 55. Is 5 a factor of n?
True
Let n(d) = 270*d**2 + 88*d + 96. Is n(-7) a multiple of 34?
False
Suppose -25*z - 30 = -28*z. Suppose 3*o + z - 7 = 0, -4*r - 4*o = -3528. Is r a multiple of 24?
False
Suppose 0 = -h + 106 + 85. Suppose 27*o = 30*o - 4*p - h, 5 = 5*p. Is 5 a factor of o?
True
Is 20 a factor of (392/(-48))/((-8)/4956) + (-3)/(-4)?
True
Is 66 a factor of ((-103530)/20 + -2)*(3 + -1 + -4)?
False
Let t(r) = 3*r - 81. Let h be t(28). Let l = -745 - 207. Does 9 divide (l/(-17))/(2/h)?
False
Suppose -27*y - 9*y + 886788 = -2*y. Is 9 a factor of y?
True
Let w(o) = 36*o + 24. Let f(q) = -36*q - 23. Let h(t) = 5*f(t) + 4*w(t). Is h(-2) a multiple of 4?
False
Let p = 204 - 206. Let o = 42 - p. Does 21 divide o?
False
Let a(h) be the third derivative of -3*h**4/4 - 7*h**2. Let n be a(-16). Let d = n + -162. Is 22 a factor of d?
False
Let d(f) = 5*f + 31*f**2 + 18 - f**3 - 58*f**2 + 33*f**2. Is d(6) a multiple of 8?
True
Suppose 3*i - 23 = 4*o, 6 = i - o - 1. Suppose i*t - 101 - 89 = 0. Suppose 0 = -r + t - 6. Is r a multiple of 7?
False
Let b(a) = 2*a**2 + 12*a + 8. Let x = -82 + 28. Let f = x + 42. Is b(f) a multiple of 32?
False
Is (106/(-4))/((-6 + 300/48)/(-41)) a multiple of 47?
False
Let l = -272 - -293. Let o = 285 - l. Does 22 divide o?
True
Let y(s) = -9*s**2 - 3. Let m be y(-2). Let i = m - -39. Let v(k) = k**2 - k + 62. Is 31 a factor of v(i)?
True
Let f = -14666 + 25793. Is 31 a factor of f?
False
Let j be (62 + -12)/(4/(-14)). Let y = j + 434. Is y a multiple of 25?
False
Does 8 divide (-380)/6*(-72)/(-7)*12152/(-1860)?
True
Let l(o) = -1429*o + 1 - 4 + 1430*o - 22*o**3 + 1 - 4*o**2. Is 26 a factor of l(-2)?
True
Suppose 333*x - 270*x - 239211 = 0. Is 10 a factor of x?
False
Let b(a) = 5*a - 4. Let u be b(-1). Let c be (12/u)/(4/(-3)). Does 5 divide c - -3 - (-72)/2?
True
Let f(h) be the second derivative of -32*h**3/3 - 11*h**2 + h. Let v be f(-9). Suppose q = 5*q + 2*t - v