Let z(k) = 13*k + 4. Let q be z(5). Let w be (-12 + 0)*(-84)/112. Let c = q - w. Is 15 a factor of c?
True
Suppose 18*g = 8*g + 95760. Suppose 0 = 66*w - 52*w - g. Is 38 a factor of w?
True
Does 104 divide ((-1195579)/572 - 1/13)/(5/(-20))?
False
Let m be (4/(-90))/(22/(-220))*9. Suppose -2*p + 206 = -m*j, -p - 9*j + 101 = -12*j. Is p even?
False
Let r(a) = a**3 + 15*a**2 + 16*a + 32. Let v be r(-14). Let p(n) = 2*n**3 - 2*n**2 + 5*n + 8. Is p(v) a multiple of 14?
False
Let i be (-1*1 - (0 - 1)) + 7. Let c be -134*(i/2 - 4). Let k = c + 108. Is k a multiple of 45?
False
Suppose -4*h - 649 = -z, h - 2613 = -2*z - 2*z. Is 36 a factor of z?
False
Suppose 2*v - 142*c - 25918 = -147*c, -3*v - c + 38890 = 0. Is 7 a factor of v?
True
Suppose -35457 = -3*c + 5*o, -3*o = -5*c + 79660 - 20597. Is 8 a factor of c?
False
Let p(d) = -9*d + 14. Let v be p(-10). Suppose u = -0*f + f - 17, -4*f - 5*u + v = 0. Is f*(76/12 + -1) a multiple of 28?
True
Let r(n) = 13*n + 1003. Is r(0) a multiple of 35?
False
Suppose 5*s - 2293 = -0*c - 3*c, 0 = -5*s - 5*c + 2285. Does 19 divide s?
False
Let z(t) = -t**3 + 4*t**2 + 2*t + 12. Let x be z(6). Let c be (x/10)/((-6)/(-20)). Is 4 a factor of c/88 - (-268)/22?
True
Suppose 74121 = 49*d - 121301 - 175361. Is d a multiple of 23?
True
Suppose -3*b + 28 = 4. Suppose 0 = 3*o - b*o + f + 528, -5*f - 308 = -3*o. Does 20 divide o?
False
Let t = 14212 - -4408. Is t a multiple of 20?
True
Let u = -81 + 126. Let p(v) = -115 + 112 + 11*v - 4*v + u*v. Does 41 divide p(4)?
True
Suppose 0 = 3*x + 211 - 256. Suppose x = -0*j - 5*j, 0 = 2*w + j - 467. Is 11 a factor of w?
False
Let w(b) = b**2 - 7*b + 2. Let c be 1 + 3/(-1) - -7. Suppose 25 = c*i - 20. Is w(i) a multiple of 4?
True
Let c(i) = -120*i + 2914. Is c(21) a multiple of 11?
False
Suppose 0 = -4*k - 2*o + 24794, 21 = -3*o + 30. Is k a multiple of 9?
False
Let b(a) = -9*a + 10. Let d(s) = -8*s + 7. Let h(c) = 3*b(c) - 4*d(c). Is h(3) even?
False
Let n(v) = -v**2 + 2*v + 8. Let c be n(-2). Suppose c = -u - 3*l - 6, l = -4*u + 3*l + 32. Is 21 a factor of u/14 + 6282/42?
False
Let x(u) = -u**3 - 12*u**2 + 5*u + 17. Let h = 179 + -192. Is 5 a factor of x(h)?
False
Let c(n) be the first derivative of 49*n**2/2 + 42*n - 80. Does 35 divide c(17)?
True
Suppose 0 = -104*v + 2568024 + 951128. Is 14 a factor of v?
True
Let u = 12577 + -6253. Is 102 a factor of u?
True
Is 33 a factor of ((39/9)/1 + -3)*(-243363)/(-92)?
False
Suppose 4*t - 5*m = 1516, 1944 = 8*t - 3*t + 6*m. Does 33 divide t?
False
Suppose 5 = -9*z + 4*z. Let v be (-238)/(-14) - ((0 - -2) + z). Suppose -19*f + 42 = -v*f. Does 14 divide f?
True
Let p = 69 + -69. Suppose p = -6*h - 12*h + 16956. Is 10 a factor of h?
False
Suppose -2 + 7 = -5*u. Let s = 6 + u. Is 13 a factor of (2/s)/((-924)/(-920) + -1)?
False
Suppose -5*u = -5*j - 101155, -5*u - 29*j + 27*j + 101099 = 0. Is u a multiple of 63?
True
Let d(f) = 202*f + 3850. Does 4 divide d(-14)?
False
Let g = -572 + 3344. Is g a multiple of 9?
True
Let z = 9 + -5. Suppose z*m - 17 = -0*f - f, -3*f + 19 = 4*m. Suppose -4*a + 42 = 2*c, m*a = -c + 38 + 9. Does 4 divide a?
False
Let i(m) be the first derivative of -3*m**4/4 + m**3/3 + 17*m**2/2 + 14*m + 79. Is 14 a factor of i(-4)?
True
Suppose -1016 = -15*b + 17*b. Let l = -328 - b. Is 15 a factor of l?
True
Suppose 6453 = -20*i + 10773. Is i a multiple of 4?
True
Suppose 5*u - 4*m - 273 = 771, -2*u - 4*m = -440. Suppose 0 = -5*f + f + u. Does 4 divide f?
False
Suppose -4*f = 4*r - 4, -2*r + r + 7 = 4*f. Suppose -7*d + 211 = -4*d + f*v, -3 = 3*v. Is 58 a factor of d?
False
Let x be (6 + -4)/1 - -1. Suppose 2*o = -x*o + 4*b + 107, 5*o - 3*b = 104. Suppose -16*q - 447 = -o*q. Is 16 a factor of q?
False
Let b(m) = 30*m**2 + 29*m + 88. Let k be b(-8). Suppose 183*v - 191*v + k = 0. Does 6 divide v?
True
Let k(v) be the third derivative of 7*v**5/60 + v**4/2 + v**3/3 + 5*v**2 - 2. Does 14 divide k(8)?
True
Suppose 278586 = 150*b - 365814. Is b a multiple of 12?
True
Let j(u) = -2*u**3 + u**2 + 3*u. Let i be j(0). Suppose i = -9*b - 125 + 485. Is b a multiple of 4?
True
Suppose -21 = -5*q - 3*v, 2*q + 0*v = -4*v. Does 14 divide 28/(-5)*(855/q)/(-1)?
True
Let x(g) = -2631*g - 1090. Is 127 a factor of x(-3)?
False
Let r(c) = 886*c**2 - 4*c - 6. Let l be r(-3). Suppose -31*t = -50*t + l. Is 30 a factor of t?
True
Suppose -6 = l - 3, 2*q - 5*l - 17 = 0. Is 2 a factor of (q + 2)/24 + (-1561)/(-56)?
True
Let s be (18/30)/(4/5160). Suppose 4*b - 4*o - s = -b, 0 = -b + 4*o + 142. Is 2 a factor of b?
True
Let y(k) = -2*k**2 - 32*k - 12. Let p be y(-14). Is 8/p + (-2628)/(-66) a multiple of 3?
False
Suppose 46635 + 8161 = 38*j. Is j a multiple of 16?
False
Let j be 211/4 - (-189)/(-108). Let o(v) = -v**3 + 53*v**2 - 101*v + 1. Is o(j) a multiple of 30?
False
Suppose 4*h - 3*k = 20785 - 1167, 2*h - 2*k = 9806. Is h a multiple of 9?
False
Suppose -1298459 = -23*v - 214607. Does 33 divide v?
True
Suppose 13*f = 32 - 6. Suppose f*x - 345 + 59 = 0. Is 13 a factor of x?
True
Let r = -2313 + 6638. Is r a multiple of 38?
False
Let t(l) = 149*l**2 + 939*l + 1874. Is 11 a factor of t(-2)?
False
Let q(x) = -x**2 - 17*x - 13. Let w be q(-16). Suppose 2*i - 3*i - w*j - 11 = 0, 0 = 2*i + j + 17. Does 36 divide (-865)/i - 8/64?
True
Does 11 divide 186/(2/(-2))*(-32 - -9)?
False
Let j = 365 - 350. Suppose -3*k + 3*m = 5 - 17, -k = -3*m. Let p = j - k. Is p a multiple of 3?
True
Let c(n) = -1. Let g(v) = 176*v - 12. Let m(a) = 117*a - 8. Let d(y) = 5*g(y) - 7*m(y). Let b(k) = -5*c(k) + d(k). Is 9 a factor of b(1)?
False
Let y(c) = 3*c**2 + 117*c + 1350. Is 8 a factor of y(-37)?
True
Let r = 198 + -215. Let p(o) = 15*o + 27. Let m(j) = 16*j + 28. Let n(w) = 3*m(w) - 4*p(w). Is n(r) a multiple of 20?
True
Suppose -2*u + 4028 = 17*u. Suppose -u = -13*q + 386. Is 46 a factor of q?
True
Suppose 10 + 2 = 6*j. Suppose 5*b + 12 - j = 0. Is 3 a factor of (-3)/(-1 + (-11)/b)*-60?
False
Let r(i) = 16467*i**3 - 6*i**2 - 35*i + 38. Is r(1) a multiple of 112?
True
Suppose -5*h + 13*h - 40 = 0. Suppose 4*z - 3*a = z + 324, -h*a = -3*z + 334. Is z a multiple of 38?
False
Let o = -455 - -520. Let c = o + 47. Is c a multiple of 3?
False
Let c = -30 + 37. Let r(v) = -5 - 5*v**2 + 5*v**3 + 4*v**3 + 2*v**2 - 8*v**3 - 5*v. Is r(c) a multiple of 26?
True
Let l be (-187)/(-5) + 2/(-5). Let g = -33 + l. Suppose -3*b + 19 = -g*h - 49, -b = -2*h - 24. Is 10 a factor of b?
True
Is 11 a factor of (-1558)/(-171) + -9 - (-76407)/27?
False
Suppose -73*l - 36 = -75*l. Suppose -4*s = -46 + l. Suppose -200 - 234 = -s*m. Does 8 divide m?
False
Suppose -3*u + u + 82 = 0. Let p = 359 - 344. Let g = u - p. Is 15 a factor of g?
False
Suppose 277*z - 273326 - 579178 = 1443272. Is z a multiple of 14?
True
Let b(q) = 9*q**2 - 20*q + 3. Let l = -368 - -381. Is 49 a factor of b(l)?
False
Let t = -82 - -173. Let j = 88 - t. Is 4/(-4) - j - -22 a multiple of 24?
True
Let p = 851 + -841. Suppose -4*i - 3*o = -727, o - 6*o = -i + 153. Suppose -i = -5*b + 2*b - l, 0 = 2*l + p. Is 22 a factor of b?
False
Let i(h) = -h**2 - 10*h - 9. Let w(v) = -v**2. Let m(u) = -i(u) - w(u). Is 16 a factor of m(-10)?
False
Let u(g) = 2*g**2 - 43*g - 38. Let x be u(24). Suppose 0 = -5*b - 15, -2*a + 4*b + x = -0*b. Does 5 divide a?
True
Suppose -23*k - 41*k - 90*k = -1484560. Does 8 divide k?
True
Let j(i) = -9*i + 29. Let m be j(3). Suppose -1426 = -5*x - 2*p, m*x - 6*x + 1134 = 5*p. Is x a multiple of 26?
True
Suppose 0 = 18*c - 12*c - 12. Suppose 0 = -g + o + 68, -c*o = g - 0*g - 53. Is 18 a factor of g?
False
Is 50 a factor of 4349/(12 + (-2 - 9))?
False
Let f(c) = 29*c + 22*c**2 - c**3 - 10*c - 17*c**2 - 5 - 4. Is 8 a factor of f(5)?
False
Suppose 0 = 31*i - 74954 - 61911. Is 9 a factor of i?
False
Let i(u) = u**2 - 11*u - 124. Let o be i(-7). Suppose -o*q - 5*g = -499, 2*q - 500 = g - 5*g. Does 14 divide q?
True
Let o(m) = -1 - 16 - 84*m + 11. Is o(-4) a multiple of 11?
True
Let r(s) = -s**3 - 3*s**2 - 3*s - 17. Let j be r(-9). Suppose -o + j = o. Let n = o - 55. Is n a multiple of 16?
False
Let q(o) = -3*o - 19. Let j = -14 + 7. Let n be q(j). Suppose -n*u - 3*t + 45 = 0, -5*u - 54 + 183 = 2*t. Does 10 divide u?
False
Let y(z) = 2*z**2 + 17*z + 143. Does 18 divide y(-5)?
True
Let u = -72 + 144. Let v(j) = 67*j**2 + 4*j