*b**3 + 18*b**2 + 165*b + 1494. Is 53 a factor of k(-12)?
False
Let d(f) be the first derivative of f**3/3 - f**2/2 + 82*f + 70. Is d(-26) a multiple of 28?
True
Suppose -5*v + 0*b = 2*b - 46, -4*b = -v - 4. Suppose -v*p - 4*p = -36. Is p/(27/(-168))*(-1 + -2) a multiple of 14?
True
Let c(p) = 7 + 10*p**2 - p**2 - 23*p + 7*p. Suppose r + 0*r = -4, 0 = 4*o + r - 16. Is 24 a factor of c(o)?
False
Let s = -121 - -122. Let v be s/(-3)*(36/(-4))/1. Suppose 4*f - y - 55 = 0, -v*f - y = 2*f - 62. Does 2 divide f?
False
Suppose y = -58 + 78. Suppose -3*g + y - 8 = 0, -3*r = -3*g - 2058. Is 69 a factor of r?
True
Suppose -y - 2908 = y - 80600. Does 50 divide y?
False
Suppose -891450 - 10347094 = -232*s. Does 106 divide s?
True
Suppose 62893 - 16813 = 8*u. Is 167 a factor of u?
False
Let v(p) = -3 + 18*p**3 - 42*p**2 - 43*p**2 + 9*p**3 - p + 89*p**2. Let m(t) = -3*t**3 - 2*t**2 + 1. Let u be m(-1). Is 44 a factor of v(u)?
False
Suppose 5*n - 1030 = 6070. Let z = -960 + n. Does 10 divide z?
True
Let l = -42 - -116. Let o = l + -2. Suppose o*g = 67*g + 160. Is g a multiple of 16?
True
Let j(c) = 16*c**3 - 17*c**2 + 2*c - 265. Is 89 a factor of j(13)?
True
Let b be 66/14 - (-6)/21 - 2. Let w be (8 + 0 - b)*1. Suppose 46 = w*t - 3*t. Is 14 a factor of t?
False
Suppose -173*o + 470*o - 11110770 = 0. Does 174 divide o?
True
Let w(g) = 4*g**2 - 15*g - 36. Suppose 0 = -f + b + 14, 2*f + 0 = -5*b - 7. Does 9 divide w(f)?
True
Let h(n) = n**2 - 40*n + 89. Let r = -404 - -447. Does 8 divide h(r)?
False
Let h(x) = x**3 - 4*x**2 - 3*x + 18. Let t be h(3). Suppose j + 31*d - 40 = 36*d, t = j - 4*d - 45. Is j a multiple of 24?
False
Let x = -367 + 355. Is 12 a factor of (-3 + 1)/(74/x - -6)?
True
Suppose -o = 4*l - 58, -23*l = 2*o - 21*l - 98. Suppose -o - 28 = -5*k - n, -2*k - 4*n = -26. Is k even?
False
Let l be ((-2)/5)/((-8)/280). Does 75 divide l/(-7) + (-4)/(-2) + 1348?
False
Let o(i) = -i**2 - 7*i - 8. Let s be o(-3). Suppose s*d = 2*f - 46, 5*f - 3*d = -0*d + 150. Is f a multiple of 11?
True
Let h(o) = 18*o**2 - 9*o - 3. Let v be h(-11). Suppose v + 3732 = 13*w. Is w a multiple of 21?
True
Let n = -3448 + 6248. Suppose -2*q + 2637 = -5*y, -3*q + 1147 + n = y. Is q a multiple of 14?
True
Let a(c) = c**2 + 14*c + 352. Is 76 a factor of a(-82)?
True
Let i(j) = 29*j**2 - 130*j - 95. Is i(17) a multiple of 62?
True
Suppose -5*l + 10 = -5*n - 625, -3*l + 6 = 0. Let d = -82 - n. Is d a multiple of 14?
False
Let q(z) = -12*z + 15. Let s be q(9). Let w = s + 298. Is 32 a factor of w?
False
Let d(f) = -f**3 - 8*f**2 - 3*f - 2. Let o be d(-3). Let j = o + 41. Is 3 a factor of (16 + -15)/(1/j)?
True
Suppose 0 = -4*t + 364 + 16. Let g = -15 + t. Does 8 divide g?
True
Let l = -576 + 570. Is 26 a factor of (116/145)/(l/(-1305))?
False
Let f = -5672 - -11412. Does 17 divide f?
False
Suppose 11 = 4*a + 5*j, 0 = 5*j + 23 + 2. Let d(i) = -i**2 + 9*i + 2. Let f be d(a). Is (34/(-4))/((-1)/f) a multiple of 17?
True
Let c be 0*((-16)/72 - (-14)/(-18)). Suppose c = -2*l - 65 + 495. Is l a multiple of 17?
False
Let l = 275 - 270. Suppose l*a - 1485 = -4*u, u - 745 = -u - 5*a. Does 6 divide u?
False
Suppose -635 = -2*b + 5*u, 355 = 15*b - 14*b + 5*u. Let k = b + -215. Is 30 a factor of k?
False
Does 9 divide (-20)/(-15 - 52048/(-3472))?
False
Let j be -772 - (-12)/(-3 - 3). Let v = -594 - j. Does 36 divide v?
True
Let h(u) = 4*u**3 + 5*u**2 + 4*u - 9. Let y be h(-5). Let b = y + 622. Suppose -14*a - b + 3312 = 0. Is 13 a factor of a?
True
Suppose 383 = -m - 5*f + 1342, 5*f + 1993 = 2*m. Let r = m - 574. Is 41 a factor of r?
True
Let i(x) = -x**2 - 293*x + 6552. Is i(0) a multiple of 12?
True
Is 13 a factor of ((-5842)/184)/((-1)/208)?
True
Suppose 0 = -25*t + 94 + 20406. Suppose -4*p = -5*y + 2*y - t, 0 = -4*y. Is p a multiple of 13?
False
Suppose -236523 - 960237 = -10*g - 20*g. Is 215 a factor of g?
False
Let o(j) = 18*j**2 + 13*j - 143. Does 53 divide o(8)?
True
Let x be (-1 - -4) + -3 + 0. Suppose x = -4*k + 6*k, 5*a - 2450 = 2*k. Is a a multiple of 14?
True
Let c be (-1)/4 - (68/16)/(-17). Suppose 3*n + 2*s = -c*s + 1054, 2*n - 698 = s. Is 70 a factor of n?
True
Let q(c) = 128*c - 3. Let n be q(-2). Let t = 147 - n. Is 29 a factor of t?
True
Suppose 1332596 = 69*c - 899830. Is c a multiple of 14?
True
Let g = 573 + -297. Suppose -h - 327 = -4*f + g, 3*f + 3*h - 471 = 0. Is 76 a factor of f?
True
Let q = 158 - 170. Let v = q - -57. Does 10 divide v?
False
Is 3/4*298 - (-235)/470 a multiple of 8?
True
Let c(f) be the third derivative of f**6/120 + 2*f**5/15 - 5*f**4/24 - 2*f**3/3 - 3*f**2. Let z = 81 - 89. Does 9 divide c(z)?
True
Suppose j + 11 + 10 = 5*o, 4*o - 28 = -2*j. Suppose -j*n = -2*d - 234, 0 = -3*d - 2*n - n - 342. Is (d/2)/((-3)/6) a multiple of 13?
False
Let b(q) = 5*q**2 + 11*q. Let l be b(6). Suppose 2*i - i = -k + l, -3*k = -4*i - 717. Does 11 divide k?
False
Let k(x) = 12*x**3 - 7*x**2 + 3*x + 4. Let b be k(4). Suppose l - 4*l + 3*q = -b, -900 = -4*l + 3*q. Does 57 divide l?
True
Suppose 27 = 4*s + 5*u, -3*s - 8*u + 10*u = -3. Is 15 a factor of (s/6)/(2/900)?
True
Let j be 23/6 - 2/(-12) - -77. Does 33 divide (j - 52)/(2/74)?
False
Suppose 5*s = -y + 1028, -77*y = -74*y - s - 3020. Is 8 a factor of y?
True
Is (2 + -368)/((-144)/1200) a multiple of 95?
False
Let b(w) = 16*w - 94. Let j(d) = -33*d + 187. Let y(l) = 9*b(l) + 4*j(l). Does 28 divide y(20)?
False
Let g be 0/19*2/6. Suppose g*z - z = h - 122, -2*z = -h - 241. Is z a multiple of 11?
True
Suppose s - 3*m = -s + 20, 2*s + 5*m - 36 = 0. Let t(a) = a - 13. Let b be t(s). Suppose 2*f - 47 = -5*i, 2*f - f + 4 = b. Does 11 divide i?
True
Suppose -5*d - 10 + 25 = 0. Suppose i = -d*a + 23, 4 = 5*a + 14. Does 2 divide i?
False
Is 74 a factor of (-21 + -2510)*(-3)/3?
False
Let l = -2996 + 5789. Let m = l - 1921. Is m a multiple of 34?
False
Suppose -1946*o = -1961*o + 6225. Is 5 a factor of o?
True
Let t(h) = -1559*h**2 + 43*h - 36. Let j(n) = -3120*n**2 + 87*n - 70. Let x(q) = 2*j(q) - 5*t(q). Is 110 a factor of x(1)?
False
Suppose -3*o - 111 = 645. Let z = 439 - o. Suppose -z - 739 = -5*q. Is q a multiple of 29?
False
Let q(a) = -4*a + 20. Let i be q(5). Suppose -2*n + i*n = -12. Let u = n - -46. Is u a multiple of 13?
True
Suppose 0 = -4*z + 6*z - 10. Suppose 127 = -5*k + z*i + 567, 299 = 3*k + 4*i. Let c = k + -39. Is 9 a factor of c?
True
Suppose -2*w + 6*w - 3*p - 195 = 0, -w = -5*p - 53. Let n = 234 - w. Does 50 divide n?
False
Let g be (10064/740)/((-2)/(-5)). Suppose -22 = -v - 3*b, -5*b + b - 131 = -3*v. Suppose -300 = g*p - v*p. Is p a multiple of 33?
False
Let m = 15772 - -1180. Does 52 divide m?
True
Let v = -669 + 1569. Is 45 a factor of v?
True
Let s = 333 + -333. Suppose -4*r + 487 + 17 = s. Is 12 a factor of r?
False
Suppose -11*u = 186 + 265. Let r = u + 497. Suppose 0 = 9*n - 5*n - r. Is 16 a factor of n?
False
Let h = 36 - -2. Let w be h/209 - 3049*(-2)/(-22). Let o = -81 - w. Does 14 divide o?
True
Is 158 a factor of 3/2 - 327/18*4809/(-7)?
True
Let o(t) = -33*t - 38. Let h be o(-10). Suppose 8*l + 4 = h. Is 25 a factor of l?
False
Let t(i) = -i**3 + 102*i**2 + 92*i + 707. Does 56 divide t(102)?
False
Suppose 5*g - 248 = -3*g. Let v = g - 104. Is 15 a factor of 2/5 + v/(-5)?
True
Let j(n) = 333*n - 15. Let z be j(5). Let w = z + -1121. Is 60 a factor of w?
False
Suppose 65*v - 64*v - 206 = 0. Suppose 4*d + h - 149 = v, -d + h = -85. Suppose 0 = 4*p - d - 68. Does 13 divide p?
True
Suppose -13*h + 16*h = -l - 7, 0 = 2*l + 5*h + 12. Does 36 divide l/3 - (-129648)/144?
True
Suppose 3*b = -b + 44. Suppose 2*s - 3 = b. Suppose 0*g - 448 = -s*g. Is 32 a factor of g?
True
Suppose -3*j - 4*t + 0 = -8, 2*t = 4. Suppose j = i - 37 - 413. Is 15 a factor of i?
True
Let k be (-5748)/12 + -1*(3 - -1). Does 18 divide (-8736)/k + 6/(-69)?
True
Let z be (1 - (-9)/(-15)) + (-252)/(-70). Suppose -z*p = 4*k - 700, 379 = 2*k - 5*p + 57. Is 19 a factor of k?
True
Let j(s) = s**3 + 31*s**2 - 31*s - 57. Is 18 a factor of j(-31)?
False
Let s = -201 - -193. Let o(n) = 1 - 2*n - 1 + 0 - 2. Is o(s) a multiple of 7?
True
Does 41 divide (-43935)/(-9) - 552/207?
True
Let x(q) = -6*q - 126. Let y be x(-26). Does 24 divide ((-12)/y)/((-5)/300)?
True
Let d(r) = -15*r**2 - 12 + r**3 - 2*r + 5*r + 7*r + 6*r. Let u be d(14). Le