 of 11?
False
Let j(k) = -1 + 13*k - 14*k + 1. Let m be j(-7). Suppose 3*w = -z + m*w + 131, -3*z - 3*w + 408 = 0. Is z a multiple of 27?
True
Let u(w) = 13 - 2*w + w - 4 + 16. Let j be u(19). Suppose -j*p + 4*p + 16 = 0. Is 4 a factor of p?
True
Suppose -3*w + 7380 = 2*l, -15978 + 1206 = -4*l - 4*w. Is l a multiple of 25?
False
Let b = -11 - -11. Let x(t) = b*t - 6*t**2 + 10*t + 11*t**2 + 7*t**2. Is 8 a factor of x(-4)?
True
Let d(w) = 27*w**2 - 75*w - 274. Does 18 divide d(-5)?
False
Suppose 2*p = -2*p + 112. Let k = -3802 + 3848. Let r = k - p. Is r a multiple of 4?
False
Suppose 0 = -5*h + 2*h - 2*r + 14, 3*r - 18 = -3*h. Let z be h - ((-2)/(-6))/(2/(-258)). Let d = z - 10. Does 9 divide d?
False
Let x(d) = 4*d - 16. Let o(t) = -1. Let p(i) = -16*o(i) + x(i). Let b be p(-1). Let a = 26 + b. Is a a multiple of 4?
False
Let a(q) = -5*q**3 - 6*q**2 - 7*q. Let m(o) = 12*o**3 + 13*o**2 + 15*o. Let h(v) = 5*a(v) + 2*m(v). Let t be h(-4). Let s = 140 - t. Is s a multiple of 12?
True
Let c(m) = m**3 + 16*m**2 + 23*m - 23. Let h be c(-11). Suppose 11*i - 12*i = -h. Is i a multiple of 18?
False
Suppose m + 8*u - 11*u + 29 = 0, -2*u + 106 = -5*m. Does 15 divide (-948)/m*(-40)/(-12)?
False
Let t = 3828 + -2637. Let q = -840 + t. Is q a multiple of 45?
False
Suppose 0 = -l - 4*a + 507, 5*l + 954 = 7*l - 4*a. Suppose 2*r - 53 = l. Is r a multiple of 12?
False
Let w be 12/8 - (-6)/4. Suppose 0*m - w*m + 15 = 2*n, -25 = -3*n - 5*m. Suppose -3*z + n*z = -315. Does 7 divide z?
True
Let p = -12 + 114. Suppose 6*i - 2*i = -12. Does 25 divide 1/((105/p - -2) + i)?
False
Let i = -3667 + 10283. Does 14 divide i?
False
Let n be (-3 + -1224)*(-1)/(-3)*-1. Suppose -5*y + n = 44. Is 26 a factor of y?
False
Suppose 6*r - 491 = -5*g + 143, 114 = g - 2*r. Let l(f) = 33*f. Let o be l(-3). Let u = o + g. Does 22 divide u?
False
Suppose 3*h = 756 + 45. Let j = -176 + h. Is j a multiple of 7?
True
Let k = 6 - 3. Suppose -4*g = k*z - 380 - 156, -z + 167 = -g. Is 22 a factor of z?
False
Let y be (-60)/(-50)*10/4. Let d be 2746/12 - ((-12)/y)/24. Let q = 436 - d. Is q a multiple of 23?
True
Let q be (-2265)/45*(-3)/(-2)*-2. Suppose -v + u + q = -11, -5*u = 10. Is v a multiple of 16?
True
Let j be -2 + (-3 - -5)/1. Suppose j*i = -5*i + 1265. Let k = -135 + i. Is 25 a factor of k?
False
Suppose -819 = -54*a + 45*a. Suppose -5*y + j + 1040 = 0, -2*j = -y + 126 + a. Is y a multiple of 24?
False
Let b(p) = 206*p - 1064. Does 42 divide b(7)?
True
Let g(x) = -2*x**2 + 56*x + 88. Let d be g(24). Let v(u) = -3*u**3 - 6*u**2 + 6*u - 2. Let q be v(-5). Let k = d - q. Is k a multiple of 19?
False
Suppose 0 = -2*g + 3*g - 4*m + 5, 0 = -4*m + 4. Is (-4)/g - (-278 + 28) a multiple of 19?
False
Is 5 a factor of (-10)/25 - 0 - (-198105)/75?
False
Suppose h + 28762 = p, 5*h - 32 = h. Is p a multiple of 14?
True
Is 10 a factor of -392*(-16)/(-256)*-8*195/2?
True
Suppose -10 = 5*o, -3*o = -4*h + 7*h. Suppose x = h, 0 = 3*u - 5*u + 3*x + 504. Is 15 a factor of u?
True
Suppose -h + 19 - 14 = 0. Suppose 0*t + 3*t - 1022 = -h*o, -4*t + o + 1332 = 0. Is 13 a factor of t?
False
Suppose 18265 = -289*h + 294*h. Is 76 a factor of h?
False
Let g(t) = -3*t + 53. Let n be g(17). Does 32 divide ((1 - n)/(-1))/(11/4609)?
False
Let b(o) = -9*o - 353. Let h be b(-40). Suppose -h*w + 490 = -4102. Is 41 a factor of w?
True
Let i = -124 + 295. Let g = i + -71. Is g a multiple of 10?
True
Let f be (8/1)/((-40)/(-20)). Suppose f*x + j = 8, x = -x + 2*j + 14. Suppose 5*v - 56 = -y, -3*y + x*v - 192 = -8*y. Is y a multiple of 9?
True
Suppose 3*m = -5*k + 81458, -12*m + 65158 = 4*k - 11*m. Does 8 divide k?
True
Let k(n) = n**2 + 9*n - 3. Let u be k(-7). Let g = -14 - u. Suppose 2*r = -2*r - 4*t + 320, -5*r = -g*t - 432. Is r a multiple of 34?
False
Let s = -83 - -79. Let w be 51 - (4 + -2) - s. Suppose -54*b + 102 = -w*b. Does 17 divide b?
True
Suppose -69*h - 124*h = 57*h - 592000. Does 62 divide h?
False
Let v(a) = 65*a**2 + 19*a + 15. Is v(7) a multiple of 81?
False
Suppose -12*r = 323 + 949. Is 5 + 0 + (-24 - r) a multiple of 34?
False
Let c(z) = 406*z**2 - 36*z + 109. Is c(3) a multiple of 34?
False
Let v(h) = -8*h + 78. Let j be v(-17). Let u = -191 + j. Is u a multiple of 7?
False
Let k(n) = 112*n + 12 - 3 + 230*n + 21. Is k(1) a multiple of 31?
True
Suppose 2*u = -4*s - 1 + 27, 0 = -3*s + u + 17. Let l = s - 6. Suppose l = 5*k - r - 169, -2 = 3*r - 5. Does 17 divide k?
True
Let z be -8 + 7336/16 - 1/(-2). Suppose 3*c = 1658 + z. Is c a multiple of 16?
False
Let a be (107394/(-63))/((-4)/6). Suppose -2423 = -6*q + a. Does 83 divide q?
True
Let t be (2/3)/((-10)/(-15)). Suppose -2*s + 3*m + t + 34 = 0, 0 = s + 3*m + 5. Is 6 a factor of 4/s - (-2808)/130?
False
Suppose 113*s + 24 = 116*s. Suppose 0 = 16*k - s*k - 1224. Is k a multiple of 22?
False
Let y = -134 - -140. Suppose 4*o = 4*t - 3124, -1558 = -2*t + 4*o - y*o. Is t a multiple of 30?
True
Suppose 0 = -16*n - 138489 + 598793. Is 12 a factor of n?
False
Suppose 20*k = 259 + 81. Suppose k*c - 219 = 7006. Suppose -6*l = c - 1127. Does 11 divide l?
False
Suppose -6*p + 3*p = 5*k - 93, -3*k - p + 59 = 0. Let q be 18/(-63) - (-48)/k. Is (-3 - -8) + 42/q a multiple of 4?
False
Let j = 18 + 13. Suppose 124 = -3*n + 3*w + j, 0 = -4*n - 2*w - 118. Does 17 divide 51*(-5)/n*10?
True
Let c(l) = -20*l + 17. Let a(d) = 2*d**3 - 10*d**2 - 10. Let j be a(5). Does 5 divide c(j)?
False
Suppose f = -2*h - 1542, -2*h + 890 = -f - 672. Let i = -1020 - f. Suppose -4*r + 2*m + i = m, m = 0. Is r a multiple of 21?
False
Suppose 4*k + 22*y - 24*y + 2826 = 0, 0 = 3*y + 15. Let s = -399 - k. Does 20 divide s?
False
Let i(r) = 168*r**2 + 2*r - 2. Let y be (3/(-4) - -1)/(23/92). Does 42 divide i(y)?
True
Let p(z) = z**2 - 18*z + 17. Suppose 41*j = 587 + 438. Does 6 divide p(j)?
True
Suppose -9 = x - 10. Let u be x/(-5) - 4030/(-25). Suppose 0 = 3*s - u - 85. Is s a multiple of 41?
True
Suppose -3*z = 191 - 725. Let r = z - 80. Does 8 divide r?
False
Let b = -123 - -162. Suppose b + 0 = n. Does 3 divide n?
True
Suppose -2*r - 2*f = -8, r = -2*r - 4*f + 13. Suppose -382 = -r*u + u + 5*k, -955 = -5*u - 5*k. Suppose u = 3*y - 16. Is 13 a factor of y?
False
Let i = 2451 - -7559. Is i a multiple of 35?
True
Let a = 7209 - -771. Is 7 a factor of a?
True
Let b = 182 + -179. Suppose -z + 4*z + b*o = 1842, 5*z + 4*o = 3065. Is 9 a factor of z?
False
Suppose 0 = 5*m - 2*p + 52, -2*m + p - 3*p - 18 = 0. Is 40 + (0 - m/(-2)) a multiple of 27?
False
Let b(q) = -5*q**3 + 6*q**2 - 5*q - 2. Let r be b(2). Let t be -1 + (-6)/(-3) + -274. Is 35 a factor of ((-48)/r)/((-6)/t)?
False
Let t = 207 + -74. Suppose z + 4*p - 16 = -0*p, -t = -3*z + 5*p. Does 4 divide z?
True
Let h be 4/10 + (-2139)/(-15). Let r(b) = -b**2 - 8*b + 7. Let d be r(-14). Let w = d + h. Is 9 a factor of w?
False
Let z(g) = 123*g**2 + 53*g - 672. Is 6 a factor of z(12)?
True
Suppose 0 = 5*k - 5*s + 11599 - 56414, 5*k - 2*s - 44806 = 0. Is 186 a factor of k?
False
Let v be (93 - (-10 - -5)) + -1. Let h = v + -231. Let m = 13 - h. Does 12 divide m?
False
Suppose 2*r + 2*r - 19 = -5*h, -3*r = -h. Suppose 0 = 4*l + t - 19, 0*t + 16 = h*l - t. Suppose k - l*k = 0, -4*u + 832 = -k. Does 12 divide u?
False
Let w = 11273 + 10979. Does 18 divide w?
False
Is 136 a factor of 84/(-70)*25/(-10) - -4236?
False
Let o(m) = -m**3 + 6*m**2 - 4*m + 1. Let s = -29 + 29. Suppose d = -2, x + 0*d - 4*d - 13 = s. Does 2 divide o(x)?
True
Suppose 22 = -7*o + 9*o. Suppose 1204 = o*l - 9*l. Is l a multiple of 43?
True
Let y(v) = 223*v + 2079. Is y(23) a multiple of 17?
True
Suppose 0*i - 2*i = -44. Let s = i - 19. Suppose s*h - 368 = -5*j - 78, 0 = 4*h + j - 381. Is h a multiple of 19?
True
Let w(s) = 146*s**2 + 147*s + 1226. Is w(-8) a multiple of 13?
False
Let t be 0/(5/((-10)/4)). Let z = t - 5. Let p = 8 - z. Is 3 a factor of p?
False
Let q be (2/4)/((-1)/20). Let n(z) = -363 + 12*z - 21 + 424 + 3*z**2. Is 22 a factor of n(q)?
True
Let z = -3750 + 10230. Does 81 divide z?
True
Suppose -3*y - 1671 = -3*a, 4*a = a + y + 1681. Let z = 856 - a. Does 12 divide z?
False
Let o(k) be the second derivative of 1/20*k**5 - 2/3*k**3 + 0 - 11*k**2 + 29*k + 2*k**4. Is o(-24) a multiple of 10?
False
Is 59 a factor of 10683 - 26*32/208?
True
Let j = -511 - -2383. Is 48 